Submitted by (ana.araujo@ufrpe.br) on 2016-06-28T15:42:47Z No. of bitstreams: 1 Danila Maria Almeida de Abreu Silva.pdf: 4560746 bytes, checksum: e5e26a41955264a16144ee035716e1fb (MD5) / Made available in DSpace on 2016-06-28T15:42:47Z (GMT). No. of bitstreams: 1 Danila Maria Almeida de Abreu Silva.pdf: 4560746 bytes, checksum: e5e26a41955264a16144ee035716e1fb (MD5) Previous issue date: 2013-04-04 / The toxinfections caused by eating food contaminated with the bacillus of Salmonella represents a major concern for public health and for large producers of pork and derivatives. The presence of any Salmonella serovar in foods is enough to classify it as unfit for consumption, both domestically and internationally. The Salmonella is a bacterium that affects the animal’s intestinal tract, causing malaise, weight loss and death in consequence of infection. For a study of the dynamics of spreading disease in swine are developed mathematical models that provide the state of the population regarding the infection. The proposed model describes the dynamics of a population over time, divided into three classes of states regarding the presence or absence of the bacillus of Salmonella: Susceptible, Latent and Infected. This dynamics is governed by a system of ordinary differential equations, perturbed by the presence of random factors that pose a risk of infection to the farm. These factors are characterized as white noise whose impact on the dynamics is controlled by two constant functions, T1 and T2. The solution to the system of differential equations is obtained by the Runge-Kutta method of approximating 2a order, computationally implemented and simulated in different scenarios. The average rates of birth and contact were drawn from the literature and used as basis for parameters in the mathematical model. The results of computer simulations to calculate the probability of a farm infection levels reach any given time and observing the rules of management and creation. / As toxinfecções causadas por ingestão de alimentos contaminados pelo bacilo da Salmonella representam uma grande preocupação para a saúde púublica e para as grandes produtoras de carne suína e derivados. A presença de qualquer sorovar de Salmonella em alimentos é o suficiente para classificá-lo como impróprio para consumo, tanto no mercado nacional quanto internacional. A Salmonella é uma bactéria que afeta o trato intestinal do animal, causando indisposição, perda de peso e , na maioria dos casos, morte em consequência da infecção. Para um estudo da dinâmica de espalhamento da doença em suinos, são desenvolvidos modelos matemáticos que fornecem o estado da população em relação à infecção. O modelo proposto descreve a dinâmica de uma população ao longo do tempo, dividida em três classes de estados em relação a presença ou não do bacilo da Salmonella: Suscetível , Latente e Infectado . Esta dinâmica é regida por um sistema de equações diferenciais ordinárias, perturbadas pela presença de fatores aleatórios que representam risco de infecção para a granja. Esses fatores são caracterizados como ruído branco cujo impacto na dinâmica é controlado por duas funções constantes, T1 e T2. A solução para o sistema de equações diferenciais é obtido através do Método Runge-Kutta de aproximação de 2a ordem, implementado computacionalmente e simulado em diferentes cenários. A taxas médias de contato e natalidade foram retiradas da literatura e usadas como parâmetros base para o modelo matemático. O resultado das simulações permitiram calcular a probabilidade de uma granja atingir quaisquer níveis de infecção dado o tempo e observadas as normas de manejo e criação.

Made available in DSpace on 2014-06-12T15:59:55Z (GMT). No. of bitstreams: 2 arquivo5803_1.pdf: 2496332 bytes, checksum: b4666e127bf620dbcb7437f9d83c2344 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Faculdade de Amparo à Ciência e Tecnologia do Estado de Pernambuco / A análise da segurança (Safety Assessment) é um processo bem conhecido que serve para garantir que as restrições de segurança de um sistema crítico sejam cumpridas. Dentro dele, a análise de segurança quantitativa lida com essas restrições em um contexto numérico (probabilístico). Os métodos de análise de segurança, como a tradicional Fault Tree Analysis (FTA), são utilizados no processo de avaliação da segurança quantitativo, seguindo as diretrizes de certificação (por exemplo, a ARP4761 Guia de Práticas Recomendadas da Aviação). No entanto, este método é geralmente custoso e requer muito tempo e esforço para validar um sistema como um todo, uma vez que para uma aeronave chegam a ser construídas, em média, 10.000 árvores de falha e também porque dependem fortemente das habilidades humanas para lidar com suas limitações temporais que restringem o âmbito e o nível de detalhe que a análise e os resultados podem alcançar. Por outro lado, as autoridades certificadoras também permitem a utilização da análise de Markov, que, embora seus modelos sejam mais poderosos que as árvores de falha, a indústria raramente adota esta análise porque seus modelos são mais complexos e difíceis de lidar. Diante disto, FTA tem sido amplamente utilizada neste processo, principalmente porque é conceitualmente mais simples e fácil de entender. À medida que a complexidade e o time-to-market dos sistemas aumentam, o interesse em abordar as questões de segurança durante as fases iniciais do projeto, ao invés de nas fases intermediárias/finais, tornou comum a adoção de projetos, ferramentas e técnicas baseados em modelos. Simulink é o exemplo padrão atualmente utilizado na indústria aeronáutica. Entretanto, mesmo neste cenário, as soluções atuais seguem o que os engenheiros já utilizavam anteriormente. Por outro lado, métodos formais que são linguagens, ferramentas e métodos baseados em lógica e matemática discreta e não seguem as abordagens da engenharia tradicional, podem proporcionar soluções inovadoras de baixo custo para engenheiros. Esta dissertação define uma estratégia para a avaliação quantitativa de segurança baseada na análise de Markov. Porém, em vez de lidar com modelos de Markov diretamente, usamos a linguagem formal Prism (uma especificação em Prism é semanticamente interpretada como um modelo de Markov). Além disto, esta especificação em Prism é extraída de forma sistemática a partir de um modelo de alto nível (diagramas Simulink anotados com lógicas de falha do sistema), através da aplicação de regras de tradução. A verificação sob o aspecto quantitativo dos requisitos de segurança do sistema é realizada utilizando o verificador de modelos de Prism, no qual os requisitos de segurança tornam-se fórmulas probabilísticas em lógica temporal. O objetivo imediato do nosso trabalho é evitar o esforço de se criar várias árvores de falhas até ser constatado que um requisito de segurança foi violado. Prism não constrói árvores de falha para chegar neste resultado. Ele simplesmente verifica de uma só vez se um requisito de segurança é satisfeito ou não no modelo inteiro. Finalmente, nossa estratégia é ilustrada com um sistema simples (um projeto-piloto), mas representativo, projetado pela Embraer

Předkládaná práce se zabývá problémem automatizované syntézy pravděpodobnostních systémů: máme-li rodinu Markovských řetězců, jak lze efektivně identifikovat ten který odpovídá zadané specifikaci? Takové rodiny často vznikají v nejrůznějších oblastech inženýrství při modelování systémů s neurčitostí a rozhodování i těch nejjednodušších syntézních otázek představuje NP-těžký problém. V dané práci my zkoumáme existující techniky založené na protipříklady řízené induktivní syntéze (counterexample-guided inductive synthesis, CEGIS) a na zjemňování abstrakce (counterexample-guided abstraction refinement, CEGAR) a navrhujeme novou integrovanou metodu pro pravděpodobnostní syntézu. Experimenty nad relevantními modely demonstrují, že navržená technika je nejenom srovnatelná s moderními metodami, ale ve většině případů dokáže výrazně překonat, někdy i o několik řádů, existující přístupy.

京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第20737号 / 情博第651号 / 新制||情||112(附属図書館) / 京都大学大学院情報学研究科社会情報学専攻 / (主査)教授 吉川 正俊, 教授 石田 亨, 教授 美濃 導彦, 准教授 馬 強 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM

Jet grouting is a groundimprovement method that creates cemented columns in the soil. The soil isinjected with different pressurized fluids, through the monitor, to replace andcement the soil, often with water cement grout. There are three different commonsystems for ejecting the fluids, the single, double and triple fluid system.The process is performed from the ground surface by drilling to desired depthand then withdrawing the monitor while rotating and ejecting and thus creatinga column. There are many applications for this technique. However, this thesisfocus on using jet grouted columns in formation to seal sheet pile excavationsfrom water.

No description available.

No description available.

No description available.

Site investigations are often performed prior to the design of pile foundations with the aim to collect data regarding soil properties including boulder content. The obtained data is typically limited due to non-homogeneous characteristic of the soil. The geological conditions of the Mälardalen region are characterized by glacial and post glacial clay overlaying on the layer of moraine containing boulders on a bedrock. Thus, pile refusal in results of encountering boulders is a common issue during pile driving in this region. The current methods to assess the pile refusal risk are mostly qualitative and relies on the expertise gained from experience.This thesis aims to develop a numerical model to quantify the boulder content in a soil strata with a confidence interval based on the site investigation results. Furthermore, this study estimates the probability and the consequences of hitting boulders while installing piles.The model simulations show that an increase in the boulder content raises the probability of hitting a boulder, but it is not proportional to the diameter of piles. It means that even in low rate of boulder content with small piles there is a high probability to hit a boulder. Results from simulations using simplified quantitative method show that slender piles have substantial consequences in case they encounter boulders. Thus, these piles are more prone to pile refusal or breakage. It is suggested that in projects where small piles are preferred due to the superstructure design, enough tests be performed to have an estimate of boulder content with tighter interval and more precise design. On the other hand, in projects with low pile counts, it is recommended to have a conservative design with large diameter piles instead of performing numerous in-situ tests. This is because the price for piling becomes relatively low compared to site investigations’ cost.

No / This paper proposes that the changes which occur in composition of the bed load during the transport of mixed-grain-size sediments are largely controlled by the distributions of critical entrainment shear stress for the various size fractions. This hypothesis is examined for a unimodal sediment mixture by calculating these distributions with a discrete particle model and using them in a probabilistic calculation of bed-load composition. The estimates of bed-load composition compare favorably with observations of fractional transport rates made in a laboratory flume for the same sediment, suggesting that the hypothesis is reasonable. The analysis provides additional insight, in terms of grain mechanics, into the processes that determine bed-load composition. These insights strongly suggest that better prediction methods will result from taking account of the variation of threshold within size fractions, something that most previous studies have neglected.