906 resultados para Timed and Probabilistic Automata
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Coordenação de Apoio de Pessoal de Nível Superior (CAPES)
Resumo:
The effects of estradiol benzoate (EB) and estradiol cypionate (EC) on induction of ovulation after a synchronized LH surge and on fertility of Bos indicus females submitted to timed AI (TAI) were evaluated. In Experiment 1, ovariectomized Nelore heifers were used to evaluate the effect of EB (n = 5) and EC (n = 5) on the circulating LH profile. The LH surge timing (19.6 and 50.5 h; P = 0.001), magnitude (20.5 and 9.4 ng/mL; P = 0.005), duration (8.6 and 16.5 h; P = 0.001), and area under the LH curve (158.6 and 339.4 ng/mL; P = 0.01) differed between the EB and EC treatments, respectively. In Experiment 2 (follicular responses; n = 60) and 3 (pregnancy per AI; P/AI; n = 953) suckled Bos indicus beef cows submitted to an estradiol/progesterone-based synchronization protocol were assigned to receive one of two treatments to induce synchronized ovulation: 1 mg of EB im 24 h after progesterone (P4) device removal or 1 mg of EC im at P4 device removal. There was no difference (P > 0.05) between EB and EC treatments on follicular responses (maximum diameter of the ovulatory follicle, 13.1 vs. 13.9 mm; interval from progesterone device removal to ovulation, 70.2 vs. 68.5 h; and ovulation rate, 77.8 vs. 82.8%, respectively). In addition, P/AI was similar (P < 0.22) between the cows treated with EB (57.5%; 277/482) and EC (61.8%; 291/471). In conclusion, despite pharmacologic differences, both esters of estradiol administered either at P4 device removal (EC) or 24 h later (EB) were effective in inducing an LH surge which resulted in synchronized ovulations and similar P/AI in suckled Bos indicus beef cows submitted to TAI. (C) 2012 Elsevier Inc. All rights reserved.
Resumo:
Palhano H.B., Jesus V.L.T., Abidu-Figueiredo M., Baldrighi J.M. & Mello M.R.B. [Effect of nAellore cows ciclicity on conception and pregnant rates after synchronization protocols for fixed timed artificial insemination]. Efeito da ciclicidade de vacas Nelore sobre as taxas de concepcao e de prenhez apos protocolos de sincronizacao para inseminacao artificial em tempo fixo. Revista Brasileira de Medicina Veterinaria, 34(1):63-68, 2012. Departamento de Biologia Animal, Universidade Federal Rural do Rio de Janeiro, BR 465 km 7, Seropedica, RJ 23890-000, Brasil. Email: hbpalhano@gmail.com The present study evaluated the effect on conception and pregnancy rates of Nellore cows selected for Fixed Timed Artificial Insemination (FTAI) program, submitted to four synchronization protocols. Four hundred and ninety lactating females were used and assigned to eight groups: I-OvSynch, n=68, with selection of cycling cows; II-OvSynch + progesterone (P-4), n=67, after selection of non-cycling animals; III-OvSynch, without selection, n=68; IV-OvSynch + P-4, without selection, n=67; V-Co-Synch, n=55, with selection of cycling cows; VI-Co-Synch + P-4, n=55, with selection non-cycling cows; VII- Co-Synch without selection, n=55; VIII- Co-Synch + P-4, without selection, n=55. The conception and pregnancy rates were, respectively, 45.6%, 27.9% and 82.4%, 48.5% for groups I and III; 61.2%, 37.3% and 85.1%, 58.2% for groups II and IV; 43.6%, 25.5% and 80%, 41.8% for groups V and VII; 52.7%, 32.7% and 83.6%, 50.9% for groups VI and VIII. When compared these rates, the results after chi-square test showed significant difference (P < 0.05) among protocols with or without selection. There was no significant difference (P > 0.05) between OvSynch and Co-Synch protocols, with or without P-4 and with selection, considering Co-Synch a viable option for optimization of FTAI. In conclusion, the selection of cows before FTAI program contributed significantly to improve the conception and pregnancy rates.
Resumo:
Objective: To determine the accuracy of the Timed Up and Go Test (TUGT) for screening the risk of falls among community-dwelling elderly individuals. Method: This is a prospective cohort study with a randomly by lots without reposition sample stratified by proportional partition in relation to gender involving 63 community-dwelling elderly individuals. Elderly individuals who reported having Parkinson's disease, a history of transitory ischemic attack, stroke and with a Mini Mental State Exam lower than the expected for the education level, were on a wheelchair and that reported a single fall in the previous six months were excluded. The TUGT, a mobility test, was the measure of interested and the occurrence of falls was the outcome. The performance of basic activities of daily living (ADL) and instrumental activities of daily living (IADL) was determined through the Older American Resources and Services, and the socio-demographic and clinical data were determined through the use of additional questionnaires. Receiver Operating Characteristic Curves were used to analyze the sensitivity and specificity of the TUGT. Results: Elderly individuals who fell had greater difficulties in ADL and IADL (p<0.01) and a slower performance on the TUGT (p=0.02). No differences were found in socio-demographic and clinical characteristics between fallers and non- fallers. Considering the different sensitivity and specificity, the best predictive value for discriminating elderly individuals who fell was 12.47 seconds [(RR= 3.2) 95% CI: 1.3- 7.7]. Conclusions: The TUGT proved to be an accurate measure for screening the risk of falls among elderly individuals. Although different from that reported in the international literature, the 12.47 second cutoff point seems to be a better predictive value for Brazilian elderly individuals.
Resumo:
This paper addresses the numerical solution of random crack propagation problems using the coupling boundary element method (BEM) and reliability algorithms. Crack propagation phenomenon is efficiently modelled using BEM, due to its mesh reduction features. The BEM model is based on the dual BEM formulation, in which singular and hyper-singular integral equations are adopted to construct the system of algebraic equations. Two reliability algorithms are coupled with BEM model. The first is the well known response surface method, in which local, adaptive polynomial approximations of the mechanical response are constructed in search of the design point. Different experiment designs and adaptive schemes are considered. The alternative approach direct coupling, in which the limit state function remains implicit and its gradients are calculated directly from the numerical mechanical response, is also considered. The performance of both coupling methods is compared in application to some crack propagation problems. The investigation shows that direct coupling scheme converged for all problems studied, irrespective of the problem nonlinearity. The computational cost of direct coupling has shown to be a fraction of the cost of response surface solutions, regardless of experiment design or adaptive scheme considered. (C) 2012 Elsevier Ltd. All rights reserved.
Resumo:
In order to provide information that may help researchers to understand the main cause(s) of differences in bull fertility frequently observed in field trials, this study aimed to investigate conception rates as well as several in vitro sperm characteristics of different sires of unknown fertility utilized in a Timed-AI (TAI) program. Suckled Nelore cows submitted to the same TAI protocol were allocated into eight breeding groups of approximately 120 animals each. Frozen semen doses from three Angus bulls and three different batches from each bull were utilized. Approximately 100 doses from each batch were used in TAI. Sires, batches and AI technicians were equally distributed across breeding groups. Cows were examined for pregnancy diagnosis 40 d after TAI. For in vitro sperm analyses, the same thawing procedure was repeated in the laboratory to mimic field conditions. The following in vitro sperm characteristics were assessed: computerized motility, thermal resistance, plasma and acrosomal membrane integrity, lipid peroxidation, morphology, morphometry and chromatin structure. No effect of breeding group, body condition score, AI technician and sire was observed. However, some significant differences among bulls were detected in laboratory analyses. Semen from sire presenting numerically lower (P > 0.05) pregnancy/AI also presented lower (P < 0.05) values in all sperm characteristics analyzed in thermal resistance test at 4 h (Total Motility, Progressive Motility, Average Path Velocity, Straight-Line Velocity, Curvilinear Velocity, Amplitude of Lateral Head Displacement, Beat Cross Frequency, Straightness, Linearity, and Percentage of Rapidly Moving Cells), higher (P < 0.05) Major and Total Defects in sperm morphological test, lower (P < 0.05) Length, Ellipticity and Fourier parameter (Fourier 0) in sperm morphometric analysis as well as higher (P < 0.05) chromatin heterogeneity. It was concluded that, although no bull effect was observed in the field experiment, the sire that presented numerically lower pregnancy/AI also presented lower semen quality according to the laboratory analyses performed. (C) 2012 Elsevier B.V. All rights reserved.
Resumo:
The aim of the present study was to evaluate the effects of the PGF2˛treatment givenat the onset of a synchronization of ovulation protocol using a norgestomet (NORG) earimplant on ovarian follicular dynamics (Experiment 1) and pregnancy per AI (P/AI; Exper-iment 2) in cyclic (CL present) Bos indicus heifers. In Experiment 1, a total of 46 heiferswere presynchronized using two consecutive doses of PGF2˛12 days apart. At first dayof the synchronization protocol the heifers received implants containing 3 mg of NORGand 2 mg of estradiol benzoate (EB). At the same time, heifers were randomly assignedto receive 150 mg of d-cloprostenol (n = 23; PGF2˛) or no additional treatment (n = 23;Control). When the ear implants were removed 8 days later, all heifers received a PGF2˛treatment and 1 mg of EB was given 24 h later. The follicular diameter and interval toovulation were determined by transrectal ultrasonography. No effects of PGF2˛treat-ment on the diameter of the largest follicle present were observed at implant removal(PGF2˛= 9.8 ± 0.4 vs. Control = 10.0 ± 0.3 mm; P = 0.73) or after 24 h (PGF2˛= 11.1 ± 0.4 vs.Control = 11.0 ± 0.4 mm; P = 0.83). No differences in the time of ovulation after ear implantremoval (PGF2˛= 70.8 ± 1.2 vs. Control = 73.3 ± 0.9 h; P = 0.10) or in the ovulation rate(PGF2˛= 87.0 vs. Control = 82.6%; P = 0.64) between treatments were observed. In Experi-ment 2, 280 cyclic heifers were synchronized using the same experimental design describedabove (PGF2˛; n = 143 and Control; n = 137), at random day of the estrous cycle. All heifersreceived 300 IU of equine chorionic gonadotropin (eCG) and 0.5 mg of estradiol cypionate(as ovulatory stimulus) when the NORG ear implants were removed. Timed artificial insem-ination (TAI) was performed 48 h after implant removal and the pregnancy diagnosis wasconducted 30 days later. No effects on the P/AI due to PGF2˛treatment were observed(PGF2˛= 51.7 vs. Control = 57.7%; P = 0.29). In conclusion, PGF2˛treatment at the onset ofNORG-based protocols for the synchronization of ovulation did not alter the ovarian follic-ular responses or the P/AI in cyclic Bos indicus beef heifers synchronized for TAI.
Resumo:
The inherent stochastic character of most of the physical quantities involved in engineering models has led to an always increasing interest for probabilistic analysis. Many approaches to stochastic analysis have been proposed. However, it is widely acknowledged that the only universal method available to solve accurately any kind of stochastic mechanics problem is Monte Carlo Simulation. One of the key parts in the implementation of this technique is the accurate and efficient generation of samples of the random processes and fields involved in the problem at hand. In the present thesis an original method for the simulation of homogeneous, multi-dimensional, multi-variate, non-Gaussian random fields is proposed. The algorithm has proved to be very accurate in matching both the target spectrum and the marginal probability. The computational efficiency and robustness are very good too, even when dealing with strongly non-Gaussian distributions. What is more, the resulting samples posses all the relevant, welldefined and desired properties of “translation fields”, including crossing rates and distributions of extremes. The topic of the second part of the thesis lies in the field of non-destructive parametric structural identification. Its objective is to evaluate the mechanical characteristics of constituent bars in existing truss structures, using static loads and strain measurements. In the cases of missing data and of damages that interest only a small portion of the bar, Genetic Algorithm have proved to be an effective tool to solve the problem.
Resumo:
In this thesis we provide a characterization of probabilistic computation in itself, from a recursion-theoretical perspective, without reducing it to deterministic computation. More specifically, we show that probabilistic computable functions, i.e., those functions which are computed by Probabilistic Turing Machines (PTM), can be characterized by a natural generalization of Kleene's partial recursive functions which includes, among initial functions, one that returns identity or successor with probability 1/2. We then prove the equi-expressivity of the obtained algebra and the class of functions computed by PTMs. In the the second part of the thesis we investigate the relations existing between our recursion-theoretical framework and sub-recursive classes, in the spirit of Implicit Computational Complexity. More precisely, endowing predicative recurrence with a random base function is proved to lead to a characterization of polynomial-time computable probabilistic functions.
Resumo:
Studies are suggesting that hurricane hazard patterns (e.g. intensity and frequency) may change as a consequence of the changing global climate. As hurricane patterns change, it can be expected that hurricane damage risks and costs may change as a result. This indicates the necessity to develop hurricane risk assessment models that are capable of accounting for changing hurricane hazard patterns, and develop hurricane mitigation and climatic adaptation strategies. This thesis proposes a comprehensive hurricane risk assessment and mitigation strategies that account for a changing global climate and that has the ability of being adapted to various types of infrastructure including residential buildings and power distribution poles. The framework includes hurricane wind field models, hurricane surge height models and hurricane vulnerability models to estimate damage risks due to hurricane wind speed, hurricane frequency, and hurricane-induced storm surge and accounts for the timedependant properties of these parameters as a result of climate change. The research then implements median insured house values, discount rates, housing inventory, etc. to estimate hurricane damage costs to residential construction. The framework was also adapted to timber distribution poles to assess the impacts climate change may have on timber distribution pole failure. This research finds that climate change may have a significant impact on the hurricane damage risks and damage costs of residential construction and timber distribution poles. In an effort to reduce damage costs, this research develops mitigation/adaptation strategies for residential construction and timber distribution poles. The costeffectiveness of these adaptation/mitigation strategies are evaluated through the use of a Life-Cycle Cost (LCC) analysis. In addition, a scenario-based analysis of mitigation strategies for timber distribution poles is included. For both residential construction and timber distribution poles, adaptation/mitigation measures were found to reduce damage costs. Finally, the research develops the Coastal Community Social Vulnerability Index (CCSVI) to include the social vulnerability of a region to hurricane hazards within this hurricane risk assessment. This index quantifies the social vulnerability of a region, by combining various social characteristics of a region with time-dependant parameters of hurricanes (i.e. hurricane wind and hurricane-induced storm surge). Climate change was found to have an impact on the CCSVI (i.e. climate change may have an impact on the social vulnerability of hurricane-prone regions).