36 resultados para Corpo formalmente real
Resumo:
We present an efficient and robust method for calculating state-to-state reaction probabilities utilising the Lanczos algorithm for a real symmetric Hamiltonian. The method recasts the time-independent Artificial Boundary Inhomogeneity technique recently introduced by Jang and Light (J. Chem. Phys. 102 (1995) 3262) into a tridiagonal (Lanczos) representation. The calculation proceeds at the cost of a single Lanczos propagation for each boundary inhomogeneity function and yields all state-to-state probabilities (elastic, inelastic and reactive) over an arbitrary energy range. The method is applied to the collinear H + H-2 reaction and the results demonstrate it is accurate and efficient in comparison with previous calculations. (C) 2002 Elsevier Science B.V. All rights reserved.
Resumo:
In this paper we explore the relative performance of two recently developed wave packet methodologies for reactive scattering, namely the real wave packet Chebyshev domain propagation of Gray and Balint-Kurti [J. Chem. Phys. 108, 950 (1998)] and the Lanczos subspace wave packet approach of Smith [J. Chem. Phys. 116, 2354 (2002); Chem. Phys. Lett. 336, 149 (2001)]. In the former method, a modified Schrodinger equation is employed to propagate the real part of the wave packet via the well-known Chebyshev iteration. While the time-dependent wave packet from the modified Schrodinger equation is different from that obtained using the standard Schrodinger equation, time-to-energy Fourier transformation yields wave functions which differ only trivially by normalization. In the Lanczos subspace approach the linear system of equations defining the action of the Green operator may be solved via either time-dependent or time-independent methods, both of which are extremely efficient due to the simple tridiagonal structure of the Hamiltonian in the Lanczos representation. The two different wave packet methods are applied to three dimensional reactive scattering of H+O-2 (total J=0). State-to-state reaction probabilities, product state distributions, as well as initial-state-resolved cumulative reaction probabilities are examined. (C) 2002 American Institute of Physics.
Resumo:
The study of viral-based processes is hampered by (a) their complex, transient nature, (b) the instability of products, and (c) the lack of accurate diagnostic assays. Here, we describe the use of real-time quantitative polymerase chain reaction to characterize baculoviral infection. Baculovirus DNA content doubles every 1.7 h from 6 h post-infection until replication is halted at the onset of budding. No dynamic equilibrium exists between replication and release, and the kinetics are independent of the cell density at the time of infection. No more than 16% of the intracellular virus copies bud from the cell. (C) 2002 John Wiley & Sons, Inc. Biotechnol Bioeng 77: 476-480, 2002; DOI 10.1002/bit.10126.
Resumo:
The ability of introduced organisms to invade undisturbed native habitats is a major concern in conservation biology and has resulted in a re-evaluation of the introduction of exotic biocontrol agents, especially of generalist predators. One such agent is Stratiolaelaps miles (Berlese), a predatory mite described from Italy, known from throughout the Holarctic, and apparently accidentally introduced to other areas of the world, including Australia. Initial investigations revealed that putative S. miles could be found in both disturbed and relatively pristine habitats in Queensland, Australia. However, analysis of the mitochondrial DNA of five populations showed most to be highly divergent genetically. Subsequent morphological analysis established two species groups: the lamington-group from cool-temperate to subtropical rainforests in Eastern Australia and the more eurytopic miles-group with a cosmopolitan distribution. We describe two new species from each of these complexes (Stratiolaelaps womersleyi, Stratiolaelaps lamington; Stratiolaelaps marilyn, Stratiolaelaps lorna, respectively), and resurrect Stratiolaelaps scimitus (Womersley), a species which often appears to have been confused with S. miles. Additionally, the large genetic distances among morphologically homogenous species in the miles-group suggest that the apparently cosmopolitan S. miles may be composed of a suite of cryptic species of potentially varying utility in biological control. (C) 2002 Elsevier Science (USA). All rights reserved.
Resumo:
The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.