880 resultados para TCTL (timed computation tree logic)
Resumo:
A high-resolution mtDNA phylogenetic tree allowed us to look backward in time to investigate purifying selection. Purifying selection was very strong in the last 2,500 years, continuously eliminating pathogenic mutations back until the end of the Younger Dryas (∼11,000 years ago), when a large population expansion likely relaxed selection pressure. This was preceded by a phase of stable selection until another relaxation occurred in the out-of-Africa migration. Demography and selection are closely related: expansions led to relaxation of selection and higher pathogenicity mutations significantly decreased the growth of descendants. The only detectible positive selection was the recurrence of highly pathogenic nonsynonymous mutations (m.3394T>C-m.3397A>G-m.3398T>C) at interior branches of the tree, preventing the formation of a dinucleotide STR (TATATA) in the MT-ND1 gene. At the most recent time scale in 124 mother-children transmissions, purifying selection was detectable through the loss of mtDNA variants with high predicted pathogenicity. A few haplogroup-defining sites were also heteroplasmic, agreeing with a significant propensity in 349 positions in the phylogenetic tree to revert back to the ancestral variant. This nonrandom mutation property explains the observation of heteroplasmic mutations at some haplogroup-defining sites in sequencing datasets, which may not indicate poor quality as has been claimed.
Resumo:
The purpose of this study was to evaluate the determinism of the AS-lnterface network and the 3 main families of control systems, which may use it, namely PLC, PC and RTOS. During the course of this study the PROFIBUS and Ethernet field level networks were also considered in order to ensure that they would not introduce unacceptable latencies into the overall control system. This research demonstrated that an incorrectly configured Ethernet network introduces unacceptable variable duration latencies into the control system, thus care must be exercised if the determinism of a control system is not to be compromised. This study introduces a new concept of using statistics and process capability metrics in the form of CPk values, to specify how suitable a control system is for a given control task. The PLC systems, which were tested, demonstrated extremely deterministic responses, but when a large number of iterations were introduced in the user program, the mean control system latency was much too great for an AS-I network. Thus the PLC was found to be unsuitable for an AS-I network if a large, complex user program Is required. The PC systems, which were tested were non-deterministic and had latencies of variable duration. These latencies became extremely exaggerated when a graphing ActiveX was included in the control application. These PC systems also exhibited a non-normal frequency distribution of control system latencies, and as such are unsuitable for implementation with an AS-I network. The RTOS system, which was tested, overcame the problems identified with the PLC systems and produced an extremely deterministic response, even when a large number of iterations were introduced in the user program. The RTOS system, which was tested, is capable of providing a suitable deterministic control system response, even when an extremely large, complex user program is required.
Resumo:
Magdeburg, Univ., Fak. für Geistes-, Sozial- und Erziehungswiss., Diss., 2011
Resumo:
We studied the pattern of habitat use by the tree frog Scinax aff. perereca. Fieldworks were performed from August 1996 to August 1997 at Parque das Mangabeiras, Belo Horizonte, State of Minas Gerais, southeastern Brazil. Calling males were observed in September, October and December 1996, February to April and June 1997. Females were found only in October 1996. Specimens were found perched on vegetation, on the ground or on stones near waterfall. At Parque das Mangabeiras, S. aff. perereca occupied nine types of substrata. The most frequently used substrata were shrubs, stones at the stream edges, and fallen trunks. The pattern of spatial occupation varied among months. Males were found calling in aggregations on the vegetation and spatial niche breadth was related to species abundance.
Resumo:
ABSTRACT In forest ecosystems, numerous species of insectivorous birds use certain tree species as feeding and nesting substrates. Between 2009 and 2010, the use of different floristic components as feeding substrate by the Pygarrhichas albogularis King, 1831 was evaluated in a southern Chilean secondary native forest. From a total of 13 trees and bush species, six tree species were used by P. albogularis as a feeding substrate. Tree use was limited to intermediate heights (11-20 m) and, mainly, to the trunk (40% of observations) and secondary branches (26%). Pygarrhichas albogularis showed a disproportionated use of N. dombeyi and an important use of trees with a greater age structure (DBH 81-100 cm). Nothofagus dombeyi presented a significantly greater tree bark crevice depth than E. cordifolia. In turn, covariance between crevice depth and invertebrate supply in tree bark was positive and significant. We consider bark depth and invertebrate supply to be the proximate causes explaining P. albogularis disproportionated use of Nothofagus dombeyi.
Resumo:
El presente proyecto tenía como objetivo final el desarrollo de un sistema de control basado en Lógica Fuzzy que permita que el proceso de secado tenga una regulación continua y con una menor dependencia de la experiencia del personal experto, evitando además la formación de encostrado. Asimismo, se plantearon una serie de objetivos parciales, cuya consecución permitiría, además de alcanzar el objetivo final descrito, obtener un conocimiento científico adicional. Por ello, a continuación se resumen los resultados en relación con los objetivos parciales propuestos. Como paso previo, antes de abordar los objetivos planteados se diseñó y construyó un equipo experimental de secado, donde se controló de forma precisa la temperatura, la humedad relativa y la velocidad del aire.
Resumo:
Las redes de interconexión juegan un papel importante en el rendimiento de los sistemas de altas prestaciones. Actualmente la gestión del encaminamiento de los mensajes es un factor determinante para mantener las prestaciones de la red. Nuestra propuesta es trabajar sobre un algoritmo de encaminamiento adaptativo, que distribuye el encaminamiento de los mensajes para evitar los problemas de congestión en las redes de interconexión, que aparecen por el gran volumen de comunicaciones de aplicaciones científicas ó comerciales. El objetivo es ajustar el algoritmo a una topología muy utilizada en los sistemas actuales como lo es el fat‐tree, e implementarlo en una tecnología Infiniband. En la experimentación realizada comparamos el método de control de congestión de la arquitectura Infiniband, con nuestro algoritmo. Los resultados obtenidos muestran que mejoramos los niveles de latencia por encima de un 50% y de throughput entre un 38% y un 81%.
Resumo:
We prove that automorphisms of the infinite binary rooted tree T2 do not yield quasi-isometries of Thompson's group F, except for the map which reverses orientation on the unit interval, a natural outer automorphism of F. This map, together with the identity map, forms a subgroup of Aut(T2) consisting of 2-adic automorphisms, following standard terminology used in the study of branch groups. However, for more general p, we show that the analgous groups of p-adic tree automorphisms do not give rise to quasiisometries of F(p).
Resumo:
BACKGROUND: Children with atopic diseases in early life are frequently found with positive IgE tests to peanuts/tree nuts without a history of previous ingestion. We aimed to identify risk factors for reactions to nuts at first introduction. METHODS: A retrospective case-note and database analysis was performed. Recruitment criteria were: patients aged 3-16 yr who had a standardized food challenge to peanut and/or tree nuts due to sensitisation to the peanut/tree nut (positive spIgE or SPT) without previous consumption. A detailed assessment was performed of factors relating to food challenge outcome with univariate and multivariate logistic regression analysis. RESULTS: There were 98 food challenges (47 peanut, 51 tree nut) with 29 positive, 67 negative and 2 inconclusive outcomes. A positive maternal history of allergy and a specific IgE >5 kU/l were strongly associated with a significantly increased risk of a positive food challenge (OR 3.73; 95% CI 1.31-10.59; p = 0.013 and OR 3.35; 95% CI 1.23-9.11; p = 0.007, respectively). Adjusting for age, a three year-old with these criteria has a 67% probability of a positive challenge. There was no significant association between types of peanut/tree nut, other food allergies, atopic conditions or severity of previous food reactions and positive challenges. CONCLUSIONS: We have demonstrated an association between the presence of maternal atopic history and a specific IgE >5 kU/l, with a significant increase in the likelihood of a positive food challenge. Although requiring further prospective validation these easily identifiable components should be considered when deciding the need for a challenge.
Resumo:
"Vegeu el resum a l'inici del document del fitxer adjunt."
Resumo:
"Vegeu el resum a l'inici del document del fitxer ajunt."
Resumo:
In this paper, we develop numerical algorithms that use small requirements of storage and operations for the computation of invariant tori in Hamiltonian systems (exact symplectic maps and Hamiltonian vector fields). The algorithms are based on the parameterization method and follow closely the proof of the KAM theorem given in [LGJV05] and [FLS07]. They essentially consist in solving a functional equation satisfied by the invariant tori by using a Newton method. Using some geometric identities, it is possible to perform a Newton step using little storage and few operations. In this paper we focus on the numerical issues of the algorithms (speed, storage and stability) and we refer to the mentioned papers for the rigorous results. We show how to compute efficiently both maximal invariant tori and whiskered tori, together with the associated invariant stable and unstable manifolds of whiskered tori. Moreover, we present fast algorithms for the iteration of the quasi-periodic cocycles and the computation of the invariant bundles, which is a preliminary step for the computation of invariant whiskered tori. Since quasi-periodic cocycles appear in other contexts, this section may be of independent interest. The numerical methods presented here allow to compute in a unified way primary and secondary invariant KAM tori. Secondary tori are invariant tori which can be contracted to a periodic orbit. We present some preliminary results that ensure that the methods are indeed implementable and fast. We postpone to a future paper optimized implementations and results on the breakdown of invariant tori.
Resumo:
Pond-breeding amphibians are affected by site-specific factors and regional and landscape-scale patterns of land use. Recent anthropogenic landscape modifications (drainage, agriculture intensification, larger road networks, and increased traffic) affect species by reducing the suitable habitat area and fragmenting remaining populations. Using a robust concentric approach based on permutation tests, we evaluated the impact of recent landscape changes on the presence of the endangered European tree frog (Hyla arborea.) in wetlands. We analyzed the frequency of 1 traffic and 14 land-use indices at 20 circular ranges (from 100-m up to 2-km radii) around 76 ponds identified in western Switzerland. Urban areas and road surfaces had a strong adverse effect on tree frog presence even at relatively great distances (from 100 m up to 1 km). When traffic measurements were considered instead of road surfaces, the effect increased, suggesting a negative impact due to a vehicle-induced effect. Altogether, our results indicate that urbanization and traffic must be taken into account when pond creation is an option in conservation management plans, as is the case for the European tree frog in western Switzerland. We conclude that our easy-to-use and robust concentric method of analysis can successfully assist managers in identifying potential sites for pond creation, where probability of the presence of tree frogs is maximized.