985 resultados para Timed AI
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:
The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.
Resumo:
In a world increasingly conscientious about environmental effects, power and energy systems are undergoing huge transformations. Electric energy produced from power plants is transmitted and distributed to end users through a power grid. The power industry performs the engineering design, installation, operation, and maintenance tasks to provide a high-quality, secure energy supply while accounting for its systems’ abilities to withstand uncertain events, such as weather-related outages. Competitive, deregulated electricity markets and new renewable energy sources, however, have further complicated this already complex infrastructure.Sustainable development has also been a challenge for power systems. Recently, there has been a signifi cant increase in the installation of distributed generations, mainly based on renewable resources such as wind and solar. Integrating these new generation systems leads to more complexity. Indeed, the number of generation sources greatly increases as the grid embraces numerous smaller and distributed resources. In addition, the inherent uncertainties of wind and solar energy lead to technical challenges such as forecasting, scheduling, operation, control, and risk management. In this special issue introductory article, we analyze the key areas in this field that can benefi t most from AI and intelligent systems now and in the future.We also identify new opportunities for cross-fertilization between power systems and energy markets and intelligent systems researchers.
Resumo:
A recent trend in distributed computer-controlled systems (DCCS) is to interconnect the distributed computing elements by means of multi-point broadcast networks. Since the network medium is shared between a number of network nodes, access contention exists and must be solved by a medium access control (MAC) protocol. Usually, DCCS impose real-time constraints. In essence, by real-time constraints we mean that traffic must be sent and received within a bounded interval, otherwise a timing fault is said to occur. This motivates the use of communication networks with a MAC protocol that guarantees bounded access and response times to message requests. PROFIBUS is a communication network in which the MAC protocol is based on a simplified version of the timed-token protocol. In this paper we address the cycle time properties of the PROFIBUS MAC protocol, since the knowledge of these properties is of paramount importance for guaranteeing the real-time behaviour of a distributed computer-controlled system which is supported by this type of network.
Resumo:
Dissertação submetida à Escola Superior de Teatro e Cinema para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teatro, especialização em Encenação.
Resumo:
Dissertação de Mestrado em Ensino do Português como Língua Segunda e Estrangeira
Resumo:
Dissertação para obtenção do Grau de Doutor em Engenharia Química
Resumo:
Tese de Doutoramento Programa Doutoral em Engenharia Electrónica e Computadores
Resumo:
Publicado en la página web de la Consejería de Igualdad, Salud y Políticas Sociales: www.juntadeandalucia.es/salud (Consejería de Salud / Profesionales / Nuestro Compromiso por la Calidad / Procesos Asistenciales Integrados)