Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Transition state”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 91 records · Page 5
All sourcesNASA NTRSDOE OSTI
NASA NTRS1978

Field ionization kinetic and electron impact studies of gas phase transition states - The cyclic bromonium ion

Cis- and trans-isomers of 4-t-butylcyclohexyl bromide were studied to determine the mechanism of cyclic bromonium ion formation. The field ionization kinetic and electron impact data indicate that the formation of the cyclic structure occurs simultaneously with loss of the neutral fragment. The data also show that little or no gas-phase cis-trans isomerization occurs.

Green, M. M.↗
NASA NTRS1991

Use of scaled external correlation, a double many-body expansion, and variational transition state theory to calibrate a potential energy surface for FH2

New ab initio results and a double many-body expansion formalism have been used to parameterize a new FH2 potential energy surface with improved properties near the saddle point and in the region of long-range attraction. The functional form of the new surface includes dispersion forces by a double many-body expansion. Stationary point properties for the new surface are calculated along with the product-valley barrier maxima of vibrationally adiabatic potential curves for F + H2 - HF(nu-prime = 3) + H, F + HD - HF(nu-prime = 3) + D, and F + D2 - DF(nu-prime = 4) + D. The new surface should prove useful for studying the effect on dynamics of a low, early barrier with a wide, flat bend potential.

Lynch, Gillian C.↗
NASA NTRS1991

Improved techniques for outgoing wave variational principle calculations of converged state-to-state transition probabilities for chemical reactions

Improved techniques and well-optimized basis sets are presented for application of the outgoing wave variational principle to calculate converged quantum mechanical reaction probabilities. They are illustrated with calculations for the reactions D + H2 yields HD + H with total angular momentum J = 3 and F + H2 yields HF + H with J = 0 and 3. The optimization involves the choice of distortion potential, the grid for calculating half-integrated Green's functions, the placement, width, and number of primitive distributed Gaussians, and the computationally most efficient partition between dynamically adapted and primitive basis functions. Benchmark calculations with 224-1064 channels are presented.

Mielke, Steven L.↗
NASA NTRS1997

Analyzing Tabular and State-Transition Requirements Specifications in PVS

We describe PVS's capabilities for representing tabular specifications of the kind advocated by Parnas and others, and show how PVS's Type Correctness Conditions (TCCs) are used to ensure certain well-formedness properties. We then show how these and other capabilities of PVS can be used to represent the AND/OR tables of Leveson and the Decision Tables of Sherry, and we demonstrate how PVS's TCCs can expose and help isolate errors in the latter. We extend this approach to represent the mode transition tables of the Software Cost Reduction (SCR) method in an attractive manner. We show how PVS can check these tables for well-formedness, and how PVS's model checking capabilities can be used to verify invariants and reachability properties of SCR requirements specifications, and inclusion relations between the behaviors of different specifications. These examples demonstrate how several capabilities of the PVS language and verification system can be used in combination to provide customized support for specific methodologies for documenting and analyzing requirements. Because they use only the standard capabilities of PVS, users can adapt and extend these customizations to suit their own needs. Those developing dedicated tools for individual methodologies may find these constructions in PVS helpful for prototyping purposes, or as a useful adjunct to a dedicated tool when the capabilities of a full theorem prover are required. The examples also illustrate the power and utility of an integrated general-purpose system such as PVS. For example, there was no need to adapt or extend the PVS model checker to make it work with SCR specifications described using the PVS TABLE construct: the model checker is applicable to any transition relation, independently of the PVS language constructs used in its definition.

Owre, Sam↗
NASA NTRS2000

Coherence Measurements for Excited to Excited State Transitions in Barium

Experimental studies concerning elastic and inelastic electron scattering by coherently ensembles of Ba (...6s6p (sub 1)P(sub 1)) atoms with various degrees of alignment will be described. An in-plane, linearly-polarized laser beam was utilized to prepare these target ensembles and the electron scattering signal as a function of polarization angle was measured for several laser geometries at fixed impact energies and scattering angles. From these measurements, we derived cross sections and electron-impact coherence parameters associated with the electron scattering process which is time reverse of the actual experimentally studied process. This interpretation of the experiment is based on the theory of Macek and Herte. The experimental results were also interpreted in terms of cross sections and collision parameters associated with the actual experimental processes. Results obtained so far will be presented and plans for further studies will be discussed.

Trajmar, S.↗
NASA NTRS2012

Radio Detections During Two State Transitions of the Intermediate-Mass Black Hole HLX-1

Relativistic jets are streams of plasma moving at appreciable fractions of the speed of light. They have been observed from stellar-mass black holes (approx. 3 to 20 solar masses) as well as supermassive black holes (approx.. 10(exp 6) to 10(exp 9) Solar Mass) found in the centers of most galaxies. Jets should also be produced by intermediate-mass black holes (approx. 10(exp 2) to 10(exp 5) Solar Mass), although evidence for this third class of black hole has, until recently, been weak. We report the detection of transient radio emission at the location of the intermediate-mass black hole candidate ESO 243-49 HLX-1, which is consistent with a discrete jet ejection event. These observations also allow us to refine the mass estimate of the black hole to be between approx. 9 × 10(exp 3) Solar Mass and approx. 9 × 10(exp 4) Solar Mass.

transitions↗