880 resultados para TCTL (timed computation tree logic)
Resumo:
Little is known about the responses of Australian plants to excess metal, including Mn. It is important to remedy this lack of information so that knowledgeable decisions can be made about managing Mn contaminated sites where inhabited by Australian vegetation. Acacia holosericea, Melaleuca leucadendra, Eucalyptus crebra and Eucalyptus camaldulensis were grown in dilute solution culture for 10 weeks. The seedlings ( 42 days old) were exposed to six Mn treatments viz., 1, 8, 32, 128, 512 and 2048 muM. The order of tolerance to toxic concentrations of Mn was A. holosericea congruent to = E. crebra < M. leucadendra < E. camaldulensis, the critical external concentrations being approximately 5.1, 5.0, 21 and 330 muM, respectively. The critical tissue Mn concentrations for the youngest fully expanded leaf and total shoots were, respectively, 265 and 215 mug g(-1) DM for A. holosericea, 445 and 495 mug g(-1) DM for M. leucadendra, 495 and 710 mug g(-1) DM for E. crebra and 7230 and 6510 mug g(-1) DM for E. camaldulensis. The high tolerance of E. camaldulensis ( as opposed to the sensitivity of E. crebra) to excess Mn raises concern about fauna feeding on the plant and is consistent with hypotheses suggesting the Eucalyptus subgenus Symphomyrtus is particularly tolerant of stress, including excess Mn. The results from this paper provide the first comprehensive combination of growth responses, critical external concentrations, critical tissue concentrations and plant toxicity symptoms for three important Australian genera, viz., Eucalyptus, Acacia and Melaleuca, for use in the management of Mn toxic sites.
Resumo:
To investigate the ability of pioneer and late-successional species to adapt to a strong light environment in a reforestation area, we examined the activities of antioxidant enzymes in relation to photosystem chlorophyll a fluorescence and photosynthetic pigment concentration for eight tropical tree species grown under 100% (sun) and 10% (shade) sunlight irradiation. The pioneer (early-succession) species (PS) were Cecropia pachystachya, Croton urucurana, Croton floribundus and Schinus terebinthifolius. The non-pioneer (late succession) species (LS) were Hymenaea courbaril L var. stilbocarpa, Esenbeckia leiocarpa, Cariniana legalis and Tabebuia roseo-alba. We observed a greater decline in the ratio of variable to maximum chlorophyll a fluorescence (F(v)/F(m)) under full sunlight irradiation in the late-successional species than in the pioneer species. The LS species most sensitive to high irradiance were C. legalis and H. courbaril. In LS species, chlorophyll a, chlorophyll b and total chlorophyll concentrations were higher in the shade-grown plants than in plants that developed under full sunlight, but in the PS species C. floribundus and C. pachystachya, we did not observe significant changes in chlorophyll content when grown in the two contrasting environments. The carotenoids/total chlorophyll ratio increased significantly when plants developed under high-sunlight irradiation, but this response was not observed in the PS species S. terebinthifolius and C. pachystachya. The improved performance of the pioneer species in high sunlight was accompanied by an increase in superoxide dismutase (SOD. EC 1.15.1.1) activity, though no light-dependent increase in the activity of ascorbate peroxidase (APX. EC 1.11.1.11) was observed. The activity of catalase (CAT, EC 1.11.1.6) was reduced by high irradiation in both pioneer and late-successional species. Our results show that pioneer species perform better under high-sunlight irradiation than late-successional species, as indicated by increased SOD activity and a higher F IF,, ratio. C. legalis was the LS species most susceptible to photoinhibition under full sunlight conditions. These results suggest that pioneer plants have more potential tolerance to photo-oxidative damage than late-successional species associated with the higher SOD activity found in pioneer species. Reduced photoinhibition in pioneer species probably results from their higher photosynthetic capacities, as has been observed in a previous survey carried out by our group. (C) 2010 Elsevier B.V. All rights reserved.
Resumo:
Ficus arpazusa Casaretto is a fig tree native to the Atlantic Rain Forest sensu lato. High levels of genetic diversity and no inbreeding were observed in Ficus arpazusa. This genetic pattern is due to the action of its pollinator, Pegoscapus sp., which disperses pollen an estimated distance of 5.6 km, and of Ficus arpazusa`s mating system which, in the study area, is allogamous. This study highlights the importance of adding both ecological and genetic data into population studies, allowing a better understanding of evolutionary processes and in turn increasing the efficacy of forest management and revegetation projects, as well as species conservation.
Resumo:
Extended gcd computation is interesting itself. It also plays a fundamental role in other calculations. We present a new algorithm for solving the extended gcd problem. This algorithm has a particularly simple description and is practical. It also provides refined bounds on the size of the multipliers obtained.
Resumo:
The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.
Resumo:
Numerical methods related to Krylov subspaces are widely used in large sparse numerical linear algebra. Vectors in these subspaces are manipulated via their representation onto orthonormal bases. Nowadays, on serial computers, the method of Arnoldi is considered as a reliable technique for constructing such bases. However, although easily parallelizable, this technique is not as scalable as expected for communications. In this work we examine alternative methods aimed at overcoming this drawback. Since they retrieve upon completion the same information as Arnoldi's algorithm does, they enable us to design a wide family of stable and scalable Krylov approximation methods for various parallel environments. We present timing results obtained from their implementation on two distributed-memory multiprocessor supercomputers: the Intel Paragon and the IBM Scalable POWERparallel SP2. (C) 1997 by John Wiley & Sons, Ltd.
Resumo:
A straightforward method is proposed for computing the magnetic field produced by a circular coil that contains a large number of turns wound onto a solenoid of rectangular cross section. The coil is thus approximated by a circular ring containing a continuous constant current density, which is very close to the real situation when sire of rectangular cross section is used. All that is required is to evaluate two functions, which are defined as integrals of periodic quantities; this is done accurately and efficiently using trapezoidal-rule quadrature. The solution can be obtained so rapidly that this procedure is ideally suited for use in stochastic optimization, An example is given, in which this approach is combined with a simulated annealing routine to optimize shielded profile coils for NMR.
Resumo:
Nursing diagnoses associated with alterations of urinary elimination require different interventions, Nurses, who are not specialists, require support to diagnose and manage patients with disturbances of urine elimination. The aim of this study was to present a model based on fuzzy logic for differential diagnosis of alterations in urinary elimination, considering nursing diagnosis approved by the North American Nursing Diagnosis Association, 2001-2002. Fuzzy relations and the maximum-minimum composition approach were used to develop the system. The model performance was evaluated with 195 cases from the database of a previous study, resulting in 79.0% of total concordance and 19.5% of partial concordance, when compared with the panel of experts. Total discordance was observed in only three cases (1.5%). The agreement between model and experts was excellent (kappa = 0.98, P < .0001) or substantial (kappa = 0.69, P < .0001) when considering the overestimative accordance (accordance was considered when at least one diagnosis was equal) and the underestimative discordance (discordance was considered when at least one diagnosis was different), respectively. The model herein presented showed good performance and a simple theoretical structure, therefore demanding few computational resources.