906 resultados para Timed and Probabilistic Automata
Resumo:
Two experiments were conducted to investigate the effects of equine chorionic gonadotropin (eCG) at progestin removal and gonadotropin-releasing hormone (GnRH) at timed artificial insemination (TA!) on ovarian follicular dynamics (Experiment 1) and pregnancy rates (Experiment 2) in suckled Nelore (Bos indicus) cows. Both experiments were 2 x 2 factorials (eCG or No eCG, and GnRH or No GnRH), with identical treatments. In Experiment 1, 50 anestrous cows, 134.5 +/- 2.3 d postpartum, received a 3 mg norgestomet ear implant se, plus 3 mg norgestomet and 5 mg estradiol valerate im on Day 0. The implant was removed on Day 9, with TAI 54 h later. Cows received 400 IU eCG or no further treatment on Day 9 and GnRH (100 mu g gonadorelin) or no further treatment at TAI. Treatment with eCG increased the growth rate of the largest follicle from Days 9 to 11 (means +/- SEM, 1.53 +/- 0.1 vs. 0.48 +/- 0.1 mm/d; P < 0.0001), its diameter on Day 11(11.4 +/- 0.6 vs. 9.3 +/- 0.7 mm; P = 0.03), as well as ovulation rate (80.8% vs. 50.0%, P = 0.02), whereas GnRH improved the synchrony of ovulation (72.0 +/- 1.1 VS. 71.1 +/- 2.0 h). In Experiment 2 (n = 599 cows, 40 to 120 d postpartum), pregnancy rates differed (P = 0.004) among groups (27.6%, 40.1%, 47.7%, and 55.7% for Control. GnRH, eCG, and eCG + GnRH groups). Both eCG and GnRH improved pregnancy rates (51.7% vs. 318%, P = 0.002; and 48.0% vs 37.6%, P = 0.02, respectively), although their effects were not additive (no significant interaction). In conclusion, eCG at norgestomet implant removal increased the growth rate of the largest follicle (LF) from implant removal to TAI, the diameter of the LF at TAI, and rates of ovulation and pregnancy rates. Furthermore, GnRH at TAI improved the synchrony of ovulations and pregnancy rates in postpartum Nelore cows treated with a norgestomet-based TAI protocol. (C) 2010 Elsevier Inc. All rights reserved.
Resumo:
Two experiments evaluated the effects of the first GnRH injection of the 5-d timed artificial insemination (AI) program on ovarian responses and pregnancy per AT (P/AI), and the effect of timing of the final GnRH to induce ovulation relative to AT on P/AI. In experiment 1, 605 Holstein heifers were synchronized for their second insemination and assigned randomly to receive GnRH on study d 0 (n = 298) or to remain as untreated controls (n = 307). Ovaries were scanned on study d 0 and 5. All heifers received a controlled internal drug-release (CIDR) insert containing progesterone on d 0, a single injection of PGF(2 alpha),, and removal of the CIDR on d 5, and GnRH concurrent with timed AT on d 8. Blood was analyzed for progesterone at AI. Pregnancy was diagnosed on d 32 and 60 after AI. Ovulation on study d 0 was greater for GnRH than control (35.4 vs. 10.6%). Presence of a new corpus luteum (CL) at PGF(2 alpha),, injection was greater for GnRH than for control (43.1 vs. 20.8%), although the proportion of heifers with a CL at PGF(2 alpha) did not differ between treatments and averaged 87.1%. Progesterone on the day of AT was greater for GaRH than control (0.50 +/- 0.07 vs. 0.28 +/- 0.07 ng/mL). The proportion of heifers at AI with progesterone <0.5 ng/mL was less for GURH than for control (73.8 vs. 88.2%). The proportion of heifers in estrus at AI did not differ between treatments and averaged 66.8%. Pregnancy per AI was not affected by treatment at d 32 or 60 (GnRH = 52.5 and 49.8% vs. control = 54.1 and 50.0%), and pregnancy loss averaged 6.0%. Responses to GnRH were not influenced by ovarian status on study d 0. In experiment 2, 1,295 heifers were synchronized for their first insemination and assigned randomly to receive a CIDR on d 0, PGF(2 alpha) and removal of the CIDR on d 5, and either GnRH 56 h after PGF(2 alpha) and AI 16 h later (OVS56, n = 644) or GnRH concurrent with AI 72 h after PGF(2 alpha) (COS72; n = 651). Estrus at AI was greater for COS72 than for OVS56 (61.4 vs. 47.5). Treatment did not affect P/AI on d 32 in heifers displaying signs of estrus at AI, but COS72 improved P/AI compared with OVS56 (55.0 vs. 47.6%) in those not in estrus at AI. Similarly, P/AI on d 60 did not differ between treatments for heifers displaying estrus, but COS72 improved P/AI compared with OVS56 (53.0 vs. 44.7%) in those not in estrus at AI. Administration of GnRH on the first day of the 5-d timed AI program resulted in low ovulation rate and no improvement in P/AI when heifers received a single PGF(2 alpha) injection 5 d later. Moreover, extending the proestrus by delaying the finAI GnRH from 56 to 72 h concurrent with AI benefited fertility of dairy heifers that did not display signs of estrus at insemination following the 5-d timed AI protocol.
Resumo:
The objectives were to evaluate the effects of equine chorionic gonadotropin (eCG) supplementation (with or without eCG) and type of ovulatory stimulus (GnRH or ECP) on ovarian follicular dynamics, luteal function, and pregnancies per AI (P/AI) in Holstein cows receiving timed artificial insemination (TAI). On Day 0, 742 cows in a total of 782 breedings, received 2 mg of estradiol benzoate (EB) and one intravaginal progesterone (P4) insert (CIDR). On Day 8, the CIDR was removed, and all cows were given PGF2 alpha and assigned to one of four treatments in a 2 x 2 factorial arrangement: (1) CG: GnRH 48 h later; (2) CE: ECP; (3) EG: eCG + GnRH 48 It later; (4) EE: eCG + ECP. There were significant interactions for eCG x ovulatory stimulus and eCG x BCS. Cows in the CG group were less likely (28.9% vs. 33.8%; P < 0.05) to become pregnant compared with those in the EG group (odds ratio [OR] = 0.28). There were no differences in P/AI between CE and EE cows (30.9% vs. 29.1%; OR = 0.85; P = 0.56), respectively. Thinner cows not receiving eCG had lower P/AI than thinner cows receiving eCG (15.2% vs. 38.0%; OR = 0.20; P < 0.01). Treatment with eCG tended to increase serum progestesterone concentrations during the diestrus following synchronized ovulation (P < 0.10). However, the treatment used to induce ovulation did not affect CL volume or serum progesterone concentrations. In conclusion, both ECP and GnRH yielded comparable P/AI. However, eCG treatment at CIDR removal increased pregnancy rate in cows induced to ovulate with GnRH and in cows with lower BCS. (C) 2009 Elsevier Inc. All rights reserved.
Resumo:
In this article, we present the first study on probabilistic tsunami hazard assessment for the Northeast (NE) Atlantic region related to earthquake sources. The methodology combines the probabilistic seismic hazard assessment, tsunami numerical modeling, and statistical approaches. We consider three main tsunamigenic areas, namely the Southwest Iberian Margin, the Gloria, and the Caribbean. For each tsunamigenic zone, we derive the annual recurrence rate for each magnitude range, from Mw 8.0 up to Mw 9.0, with a regular interval, using the Bayesian method, which incorporates seismic information from historical and instrumental catalogs. A numerical code, solving the shallow water equations, is employed to simulate the tsunami propagation and compute near shore wave heights. The probability of exceeding a specific tsunami hazard level during a given time period is calculated using the Poisson distribution. The results are presented in terms of the probability of exceedance of a given tsunami amplitude for 100- and 500-year return periods. The hazard level varies along the NE Atlantic coast, being maximum along the northern segment of the Morocco Atlantic coast, the southern Portuguese coast, and the Spanish coast of the Gulf of Cadiz. We find that the probability that a maximum wave height exceeds 1 m somewhere in the NE Atlantic region reaches 60 and 100 % for 100- and 500-year return periods, respectively. These probability values decrease, respectively, to about 15 and 50 % when considering the exceedance threshold of 5 m for the same return periods of 100 and 500 years.
Resumo:
In developed countries, civil infrastructures are one of the most significant investments of governments, corporations, and individuals. Among these, transportation infrastructures, including highways, bridges, airports, and ports, are of huge importance, both economical and social. Most developed countries have built a fairly complete network of highways to fit their needs. As a result, the required investment in building new highways has diminished during the last decade, and should be further reduced in the following years. On the other hand, significant structural deteriorations have been detected in transportation networks, and a huge investment is necessary to keep these infrastructures safe and serviceable. Due to the significant importance of bridges in the serviceability of highway networks, maintenance of these structures plays a major role. In this paper, recent progress in probabilistic maintenance and optimization strategies for deteriorating civil infrastructures with emphasis on bridges is summarized. A novel model including interaction between structural safety analysis,through the safety index, and visual inspections and non destructive tests, through the condition index, is presented. Single objective optimization techniques leading to maintenance strategies associated with minimum expected cumulative cost and acceptable levels of condition and safety are presented. Furthermore, multi-objective optimization is used to simultaneously consider several performance indicators such as safety, condition, and cumulative cost. Realistic examples of the application of some of these techniques and strategies are also presented.
Resumo:
La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.
Resumo:
We analyze the classical Bertrand model when consumers exhibit some strategic behavior in deciding from which seller they will buy. We use two related but different tools. Both consider a probabilistic learning (or evolutionary) mechanism, and in the two of them consumers' behavior in uences the competition between the sellers. The results obtained show that, in general, developing some sort of loyalty is a good strategy for the buyers as it works in their best interest. First, we consider a learning procedure described by a deterministic dynamic system and, using strong simplifying assumptions, we can produce a description of the process behavior. Second, we use nite automata to represent the strategies played by the agents and an adaptive process based on genetic algorithms to simulate the stochastic process of learning. By doing so we can relax some of the strong assumptions used in the rst approach and still obtain the same basic results. It is suggested that the limitations of the rst approach (analytical) provide a good motivation for the second approach (Agent-Based). Indeed, although both approaches address the same problem, the use of Agent-Based computational techniques allows us to relax hypothesis and overcome the limitations of the analytical approach.
Resumo:
Continuing developments in science and technology mean that the amounts of information forensic scientists are able to provide for criminal investigations is ever increasing. The commensurate increase in complexity creates difficulties for scientists and lawyers with regard to evaluation and interpretation, notably with respect to issues of inference and decision. Probability theory, implemented through graphical methods, and specifically Bayesian networks, provides powerful methods to deal with this complexity. Extensions of these methods to elements of decision theory provide further support and assistance to the judicial system. Bayesian Networks for Probabilistic Inference and Decision Analysis in Forensic Science provides a unique and comprehensive introduction to the use of Bayesian decision networks for the evaluation and interpretation of scientific findings in forensic science, and for the support of decision-makers in their scientific and legal tasks. Includes self-contained introductions to probability and decision theory. Develops the characteristics of Bayesian networks, object-oriented Bayesian networks and their extension to decision models. Features implementation of the methodology with reference to commercial and academically available software. Presents standard networks and their extensions that can be easily implemented and that can assist in the reader's own analysis of real cases. Provides a technique for structuring problems and organizing data based on methods and principles of scientific reasoning. Contains a method for the construction of coherent and defensible arguments for the analysis and evaluation of scientific findings and for decisions based on them. Is written in a lucid style, suitable for forensic scientists and lawyers with minimal mathematical background. Includes a foreword by Ian Evett. The clear and accessible style of this second edition makes this book ideal for all forensic scientists, applied statisticians and graduate students wishing to evaluate forensic findings from the perspective of probability and decision analysis. It will also appeal to lawyers and other scientists and professionals interested in the evaluation and interpretation of forensic findings, including decision making based on scientific information.
Resumo:
Forensic scientists working in 12 state or private laboratories participated in collaborative tests to improve the reliability of the presentation of DNA data at trial. These tests were motivated in response to the growing criticism of the power of DNA evidence. The experts' conclusions in the tests are presented and discussed in the context of the Bayesian approach to interpretation. The use of a Bayesian approach and subjective probabilities in trace evaluation permits, in an easy and intuitive manner, the integration into the decision procedure of any revision of the measure of uncertainty in the light of new information. Such an integration is especially useful with forensic evidence. Furthermore, we believe that this probabilistic model is a useful tool (a) to assist scientists in the assessment of the value of scientific evidence, (b) to help jurists in the interpretation of judicial facts and (c) to clarify the respective roles of scientists and of members of the court. Respondents to the survey were reluctant to apply this methodology in the assessment of DNA evidence.
Resumo:
Altitudinal tree lines are mainly constrained by temperature, but can also be influenced by factors such as human activity, particularly in the European Alps, where centuries of agricultural use have affected the tree-line. Over the last decades this trend has been reversed due to changing agricultural practices and land-abandonment. We aimed to combine a statistical land-abandonment model with a forest dynamics model, to take into account the combined effects of climate and human land-use on the Alpine tree-line in Switzerland. Land-abandonment probability was expressed by a logistic regression function of degree-day sum, distance from forest edge, soil stoniness, slope, proportion of employees in the secondary and tertiary sectors, proportion of commuters and proportion of full-time farms. This was implemented in the TreeMig spatio-temporal forest model. Distance from forest edge and degree-day sum vary through feed-back from the dynamics part of TreeMig and climate change scenarios, while the other variables remain constant for each grid cell over time. The new model, TreeMig-LAb, was tested on theoretical landscapes, where the variables in the land-abandonment model were varied one by one. This confirmed the strong influence of distance from forest and slope on the abandonment probability. Degree-day sum has a more complex role, with opposite influences on land-abandonment and forest growth. TreeMig-LAb was also applied to a case study area in the Upper Engadine (Swiss Alps), along with a model where abandonment probability was a constant. Two scenarios were used: natural succession only (100% probability) and a probability of abandonment based on past transition proportions in that area (2.1% per decade). The former showed new forest growing in all but the highest-altitude locations. The latter was more realistic as to numbers of newly forested cells, but their location was random and the resulting landscape heterogeneous. Using the logistic regression model gave results consistent with observed patterns of land-abandonment: existing forests expanded and gaps closed, leading to an increasingly homogeneous landscape.
Resumo:
Abstract Sitting between your past and your future doesn't mean you are in the present. Dakota Skye Complex systems science is an interdisciplinary field grouping under the same umbrella dynamical phenomena from social, natural or mathematical sciences. The emergence of a higher order organization or behavior, transcending that expected of the linear addition of the parts, is a key factor shared by all these systems. Most complex systems can be modeled as networks that represent the interactions amongst the system's components. In addition to the actual nature of the part's interactions, the intrinsic topological structure of underlying network is believed to play a crucial role in the remarkable emergent behaviors exhibited by the systems. Moreover, the topology is also a key a factor to explain the extraordinary flexibility and resilience to perturbations when applied to transmission and diffusion phenomena. In this work, we study the effect of different network structures on the performance and on the fault tolerance of systems in two different contexts. In the first part, we study cellular automata, which are a simple paradigm for distributed computation. Cellular automata are made of basic Boolean computational units, the cells; relying on simple rules and information from- the surrounding cells to perform a global task. The limited visibility of the cells can be modeled as a network, where interactions amongst cells are governed by an underlying structure, usually a regular one. In order to increase the performance of cellular automata, we chose to change its topology. We applied computational principles inspired by Darwinian evolution, called evolutionary algorithms, to alter the system's topological structure starting from either a regular or a random one. The outcome is remarkable, as the resulting topologies find themselves sharing properties of both regular and random network, and display similitudes Watts-Strogtz's small-world network found in social systems. Moreover, the performance and tolerance to probabilistic faults of our small-world like cellular automata surpasses that of regular ones. In the second part, we use the context of biological genetic regulatory networks and, in particular, Kauffman's random Boolean networks model. In some ways, this model is close to cellular automata, although is not expected to perform any task. Instead, it simulates the time-evolution of genetic regulation within living organisms under strict conditions. The original model, though very attractive by it's simplicity, suffered from important shortcomings unveiled by the recent advances in genetics and biology. We propose to use these new discoveries to improve the original model. Firstly, we have used artificial topologies believed to be closer to that of gene regulatory networks. We have also studied actual biological organisms, and used parts of their genetic regulatory networks in our models. Secondly, we have addressed the improbable full synchronicity of the event taking place on. Boolean networks and proposed a more biologically plausible cascading scheme. Finally, we tackled the actual Boolean functions of the model, i.e. the specifics of how genes activate according to the activity of upstream genes, and presented a new update function that takes into account the actual promoting and repressing effects of one gene on another. Our improved models demonstrate the expected, biologically sound, behavior of previous GRN model, yet with superior resistance to perturbations. We believe they are one step closer to the biological reality.
Resumo:
This monthly report from the Iowa Department of Transportation is about the water quality management of Iowa's rivers, streams and lakes.
Resumo:
Dorsal and ventral pathways for syntacto-semantic speech processing in the left hemisphere are represented in the dual-stream model of auditory processing. Here we report new findings for the right dorsal and ventral temporo-frontal pathway during processing of affectively intonated speech (i.e. affective prosody) in humans, together with several left hemispheric structural connections, partly resembling those for syntacto-semantic speech processing. We investigated white matter fiber connectivity between regions responding to affective prosody in several subregions of the bilateral superior temporal cortex (secondary and higher-level auditory cortex) and of the inferior frontal cortex (anterior and posterior inferior frontal gyrus). The fiber connectivity was investigated by using probabilistic diffusion tensor based tractography. The results underscore several so far underestimated auditory pathway connections, especially for the processing of affective prosody, such as a right ventral auditory pathway. The results also suggest the existence of a dual-stream processing in the right hemisphere, and a general predominance of the dorsal pathways in both hemispheres underlying the neural processing of affective prosody in an extended temporo-frontal network.
Resumo:
We have investigated hysteresis and the return-point memory (RPM) property in deterministic cellular automata with avalanche dynamics. The RPM property reflects a partial ordering of metastable states, preserved by the dynamics. Recently, Sethna et al. [Phys. Rev. Lett. 70, 3347 (1993)] proved this behavior for a homogeneously driven system with static disorder. This Letter shows that the partial ordering and the RPM can be displayed as well by systems driven heterogeneously, as a result of its own evolution dynamics. In particular, we prove the RPM property for a deterministic 2D sandpile automaton driven at a central site.
Resumo:
Aim Conservation strategies are in need of predictions that capture spatial community composition and structure. Currently, the methods used to generate these predictions generally focus on deterministic processes and omit important stochastic processes and other unexplained variation in model outputs. Here we test a novel approach of community models that accounts for this variation and determine how well it reproduces observed properties of alpine butterfly communities. Location The western Swiss Alps. Methods We propose a new approach to process probabilistic predictions derived from stacked species distribution models (S-SDMs) in order to predict and assess the uncertainty in the predictions of community properties. We test the utility of our novel approach against a traditional threshold-based approach. We used mountain butterfly communities spanning a large elevation gradient as a case study and evaluated the ability of our approach to model species richness and phylogenetic diversity of communities. Results S-SDMs reproduced the observed decrease in phylogenetic diversity and species richness with elevation, syndromes of environmental filtering. The prediction accuracy of community properties vary along environmental gradient: variability in predictions of species richness was higher at low elevation, while it was lower for phylogenetic diversity. Our approach allowed mapping the variability in species richness and phylogenetic diversity projections. Main conclusion Using our probabilistic approach to process species distribution models outputs to reconstruct communities furnishes an improved picture of the range of possible assemblage realisations under similar environmental conditions given stochastic processes and help inform manager of the uncertainty in the modelling results