Search NASA⌕ Search

SEARCH · Search NASA

Results for “transition state specificity”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS1973

Aircraft Range Optimization Using Singular Perturbations

An approximate analytic solution is developed for the problem of maximizing the range of an aircraft for a fixed end state. The problem is formulated as a singular perturbation and solved by matched inner and outer asymptotic expansions and the minimum principle of Pontryagin. Cruise in the stratosphere, and on transition to and from cruise at constant Mach number are discussed. The state vector includes altitude, flight path angle, and mass. Specific fuel consumption becomes a linear function of power approximating that of the cruise values. Cruise represents the outer solution; altitude and flight path angle are constants, and only mass changes. Transitions between cruise and the specified initial and final conditions correspond to the inner solutions. The mass is constant and altitude and velocity vary. A solution is developed which is valid for cruise but which is not for the initial and final conditions. Transforming of the independent variable near the initial and final conditions result in solutions which are valid for the two inner solutions but not for cruise. The inner solutions can not be obtained without simplifying the state equations. The singular perturbation approach overcomes this difficulty. A quadratic approximation of the state equations is made. The resulting problem is solved analytically, and the two inner solutions are matched to the outer solution.

Oconnor, Joseph Taffe↗
NASA NTRS1987

Guidelines for applying the Composite Specification Model (CSM)

The Composite Specification Model (CSM) is an approach to representing software requirements. Guidelines are provided for applying CSM and developing each of the three descriptive views of the software: the contextual view, using entities and relationships; the dynamic view, using states and transitions; and the function view, using data flows and processes. Using CSM results in a software specification document, which is outlined.

Agresti, William↗
NASA NTRS1996

Monitoring the Photosynthetic Apparatus During Space Flight: Interspecific Variation in Chlorophyll Fluorescence Signatures Induced by Different Root Zone Stresses

Chlorophyll fluorescence has been used extensively as a tool to indicate stress to the photosynthetic apparatus in green plants. A rise in fluorescence has been attributed to the blockage of photosystem II photochemistry, and patterns of fluorescence decay (quenching) from dark adapted leaves can be related to specific photochemical and non-photochemical deexcitation pathways of light trapped by the photosynthetic apparatus and thus result in characteristically different fluorescence signatures. Four distantly related plant species, Hypocharis radicata (Asteraceae), Brassica rapa (Brassicaceae), Spinacea oleracea (Chenopodiaceae) and Triticum aestivum (Poaceae), were grown hydroponically for three weeks before the initiation of three different root zone stresses (10 mM Cu, 100 mM NaCl and nitrogen deficient nutrition). After 10 days, characteristic fluorescence signatures for each stress could be noted although the degree varied between species. Fast kinetics analysis showed a reduction in plastoquinone pool size for copper and nitrogen stress for all species but a more species specific result with NaCl stress. Photochemical quenching kinetics varied between species and stress treatments from no quenching in S. oleracea in copper treatments to increased photochemical quenching in NaCl treatments. Non-photochemical quenching kinetics demonstrated a distinct pattern between stresses for all species. Copper treatments characteristically exhibited a shallow, flat non-photochemical quenching profile suggesting a general blockage of electron transport whereas NaCl treatments exhibited a slow rising profile that suggested damage to thylakoid acidification kinetics and nitrogen deficiency exhibited a fast rising and declining profile that suggested an altered state 1-state 2 transition regulated by the phosphorylation of LHCII. These results demonstrate characteristic fluorescence signatures for specific plant stresses that may be applied to different, unrelated plant species. In addition, the potential use of chlorophyll fluorescence for both basic research and diagnostic physiology in space biology is presented.

Bubenheim, David L.↗
NASA NTRS2004

A Novel Liquid-Liquid Transition in Undercooled Ti-Zr-Ni Liquids

If crystallization can be avoided, liquids enter a metastable (undercooled) state below their equilibrium liquidus temperatures, T(sub l), finally 'freezing' into a glass below a characteristic temperature called the glass transition temperature, T(sub g). In rare cases, the undercooled liquid may undergo a liquid-liquid phase transition (liquid polymorphism) before entering the glassy state. This has been suggested from experimental studies of H2O and Si. Such phase transitions have been predicted in some stable liquids, ie. above T(sub l) at atmospheric pressure, for SiO2 and BeF2, but these have not been verified experimentally. They have been observed in liquids of P, Si and C, but only under high pressure. In this letter we present the first experimental evidence for a phase transition in a low viscosity metallic liquid that is driven by an approach to a constant entropy configuration state and correlated with a growing icosahedral order in the liquid. A maximum in the specific heat at constant pressure, similar to what is normally observed near T(sub g), is reported for undercooled liquids of quasicrystal-forming Ti-Zr-Ni alloys. A two-state excitation model that includes cooperativity by incorporating a temperature-dependent excitation energy, fits the specific heat data well, signaling a phase transition. An inflection in the liquid density with decreasing temperature instead of a discontinuity indicates that this is not a typical first order phase transition; it could be a weakly first order or higher order transition. While showing many similarities to a glass transition, this liquid-liquid phase transition occurs in a mobile liquid, making it novel.

Lee, G. W.↗
NASA NTRS1995

ASSIST user manual

Semi-Markov models can be used to analyze the reliability of virtually any fault-tolerant system. However, the process of delineating all the states and transitions in a complex system model can be devastatingly tedious and error prone. The Abstract Semi-Markov Specification Interface to the SURE Tool (ASSIST) computer program allows the user to describe the semi-Markov model in a high-level language. Instead of listing the individual model states, the user specifies the rules governing the behavior of the system, and these are used to generate the model automatically. A few statements in the abstract language can describe a very large, complex model. Because no assumptions are made about the system being modeled, ASSIST can be used to generate models describing the behavior of any system. The ASSIST program and its input language are described and illustrated by examples.

Johnson, Sally C.↗
NASA NTRS2014

Data Automata in Scala

The field of runtime verification has during the last decade seen a multitude of systems for monitoring event sequences (traces) emitted by a running system. The objective is to ensure correctness of a system by checking its execution traces against formal specifications representing requirements. A special challenge is data parameterized events, where monitors have to keep track of the combination of control states as well as data constraints, relating events and the data they carry across time points. This poses a challenge wrt. efficiency of monitors, as well as expressiveness of logics. Data automata is a form of automata where states are parameterized with data, supporting monitoring of data parameterized events. We describe the full details of a very simple API in the Scala programming language, an internal DSL (Domain-Specific Language), implementing data automata. The small implementation suggests a design pattern. Data automata allow transition conditions to refer to other states than the source state, and allow target states of transitions to be inlined, offering a temporal logic flavored notation. An embedding of a logic in a high-level language like Scala in addition allows monitors to be programmed using all of Scala's language constructs, offering the full flexibility of a programming language. The framework is demonstrated on an XML processing scenario previously addressed in related work.

runtime verification↗
NASA NTRS1991

Generating target system specifications from a domain model using CLIPS

The quest for reuse in software engineering is still being pursued and researchers are actively investigating the domain modeling approach to software construction. There are several domain modeling efforts reported in the literature and they all agree that the components that are generated from domain modeling are more conducive to reuse. Once a domain model is created, several target systems can be generated by tailoring the domain model or by evolving the domain model and then tailoring it according to the specified requirements. This paper presents the Evolutionary Domain Life Cycle (EDLC) paradigm in which a domain model is created using multiple views, namely, aggregation hierarchy, generalization/specialization hierarchies, object communication diagrams and state transition diagrams. The architecture of the Knowledge Based Requirements Elicitation Tool (KBRET) which is used to generate target system specifications is also presented. The preliminary version of KBRET is implemented in the C Language Integrated Production System (CLIPS).

Sugumaran, Vijayan↗
NASA NTRS1991

Effect of isotopic substitution on the visible absorption spectrum of ozone

Gas-phase spectra for (O-16)3 and (O-18)3 are examined to consider the electronic states which cause the Chappuis bands. Specifications of the spectrometer and spectra calibrations are given. The results of both a conventional description of the vibrational structure and an examination of the autocorrelation functions are discussed. Transitions to two electronically excited states are the significant features of the isotope shifts. The transitions are characterized by adiabatic energies about 750/cm apart, and the higher energy approaches 16,400/cm. The vibrational structure of the higher state accompanies a relatively simple progression, and the lower state accompanies one isolated band. The autocorrelation analysis shows that for (O-16)3, major recurrences near 31 and 41 fs are found, and longer equivalent times are found for (O-18)3. At longer times, minor recurrences are also found. The results are considered significant for the understanding of the electronic and vibrational structures of the Chappuis bands. Suggestions for future work based on these results are discussed.

Anderson, Stuart M.↗
NASA NTRS2003

A Liquid-Liquid Transition in an Undercooled Ti-Zr-Ni Liquid

If crystallization can be avoided, liquids enter a metastable (undercooled) state below their equilibrium liquidus temperatures, TI, finally freezing into a glass below a characteristic temperature called the glass transition temperature, T,. In rare cases, the undercooled liquid may undergo a liquid-liquid phase transition (liquid polymorphism) before entering the glassy state. This has been suggested from experimental studies of HzO and Si4. Such phase transitions have been predicted in some stable liquids, i.e. above TI at atmospheric pressure, for Si02 and BeF;, but these have not been verified experimentally. They have been observed in liquids of P7, Sis and C9, but only under high pressure. All of these transitions are driven by an anomalous density change, i.e. change in local structure, with temperature or pressure. In this letter we present the first experimental evidence for a phase transition in a low viscosity liquid that is not driven by an anomalous density change, but by an approach to a constant configuration state. A maximum in the specific heat at constant pressure, similar to what is normally observed near T,, is reported here for undercooled low viscosity liquids of quasicrystal- forming Ti-Zr-Ni alloys. that includes cooperativity, by incorporating a temperature dependent excitation energy fits the data well, signaling a phase transition.

Lee, G. W.↗
NASA NTRS1976

Introduction to Cyg X-1 X-ray panel

The status of X-ray observations is summarized in tabular form along with general aspects of X-ray emission. Specific questions that arise when the observed phenomena are pieced together into a coherent picture are presented. Spectral states, transitions, periodic behavior, fluctuations, and bursts are among the topics discussed.

Boldt, E. A.↗
NASA NTRS2007

Minnowbrook I: 1993 Workshop on End-Stage Boundary Layer Transition

This volume contains materials presented at the Minnowbrook I-1993 Workshop on End-Stage Boundary Layer Transition, held at the Syracuse University Minnowbrook Conference Center, New York, from August 15 to 18, 1993. This volume was previously published as a Syracuse University report edited by John E. LaGraff. The workshop organizers were John E. LaGraff (Syracuse University), Terry V. Jones (Oxford University), and J. Paul Gostelow (University of Technology, Sydney). The workshop focused on physical understanding of the late stages of transition from laminar to turbulent flows, with the specific goal of contributing to improving engineering design of turbomachinery and wing airfoils. The workshop participants included academic researchers from the United States and abroad, and representatives from the gas-turbine industry and U.S. government laboratories. To improve interaction and discussions among the participants, no formal papers were required. The physical mechanisms discussed were related to natural and bypass transition, wake-induced transition, effects of freestream turbulence, turbulent spots, hairpin vortices, nonlinear instabilities and breakdown, instability wave interactions, intermittency, turbulence, numerical simulation and modeling of transition, heat transfer in boundary-layer transition, transition in separated flows, laminarization, transition in turbomachinery compressors and turbines, hypersonic boundary-layer transition, and other related topics. This volume contains abstracts and copies of the viewgraphs presented, organized according to the workshop sessions. The workshop summary and the plenary discussion transcript clearly outline future research needs.

LaGraff, John E.↗
NASA NTRS1974

Thermoelastic constitutive equations for chemically hardening materials

Thermoelastic constitutive equations are derived for a material undergoing solidification or hardening as the result of a chemical reaction. The derivation is based upon a two component model whose composition is determined by the degree of hardening, and makes use of strain-energy considerations. Constitutive equations take the form of stress rate-strain rate relations, in which the coefficients are time-dependent functions of the composition. Specific results are developed for the case of a material of constant bulk modulus which undergoes a transition from an initial liquidlike state into an isotropic elastic solid. Potential applications are discussed.

Shaffer, B. W.↗
NASA NTRS2002

Theoretical Studies of Liquid He-4 Near the Superfluid Transition

We performed theoretical studies of liquid helium by applying state of the art simulation and finite-size scaling techniques. We calculated universal scaling functions for the specific heat and superfluid density for various confining geometries relevant for experiments such as the confined helium experiment and other ground based studies. We also studied microscopically how the substrate imposes a boundary condition on the superfluid order parameter as the superfluid film grows layer by layer. Using path-integral Monte Carlo, a quantum Monte Carlo simulation method, we investigated the rich phase diagram of helium monolayer, bilayer and multilayer on a substrate such as graphite. We find excellent agreement with the experimental results using no free parameters. Finally, we carried out preliminary calculations of transport coefficients such as the thermal conductivity for bulk or confined helium systems and of their scaling properties. All our studies provide theoretical support for various experimental studies in microgravity.

Manousakis, Efstratios↗
NASA NTRS1973

Magnetic properties of Dy2Ti2O7

Measurements were made of the magnetization, differential magnetic susceptibility, and magnetic entropy of powered samples of Dy2Ti2O7. The saturation magnetic moment is 4.7 + or - 0.2 Bohr magnetons per Dy ion, instead of 10 as predicted by Hund's rules. A temperature-independent magnetization is observed in the saturation region. Absolute values of magnetic entropy have been obtained for temperatures from 1.25 to 20 K, in applied fields up to 10.4 tesla. The magnetic entropy approaches a maximum value consistent with a ground-state multiplicity of 2. Low field magnetization and differential susceptibility data show a transition to antiferromagnetism near 1.35 K. A construction of the magnetic specific heat from the zero field entropy shows an anomaly near the same temperature.

Flood, D. J.↗
NASA NTRS1985

An abstract specification language for Markov reliability models

Markov models can be used to compute the reliability of virtually any fault tolerant system. However, the process of delineating all of the states and transitions in a model of complex system can be devastatingly tedious and error-prone. An approach to this problem is presented utilizing an abstract model definition language. This high level language is described in a nonformal manner and illustrated by example.

Butler, R. W.↗
NASA NTRS1987

Digital control of highly augmented combat rotorcraft

Proposed concepts for the next generation of combat helicopters are to be embodied in a complex, highly maneuverable, multiroled vehicle with avionics systems. Single pilot and nap-of-the-Earth operations require handling qualities which minimize the involvement of the pilot in basic stabilization tasks. To meet these requirements will demand a full authority, high-gain, multimode, multiply-redundant, digital flight-control system. The gap between these requirements and current low-authority, low-bandwidth operational rotorcraft flight-control technology is considerable. This research aims at smoothing the transition between current technology and advanced concept requirements. The state of the art of high-bandwidth digital flight-control systems are reviewed; areas of specific concern for flight-control systems of modern combat are exposed; and the important concepts are illustrated in design and analysis of high-gain, digital systems with a detailed case study involving a current rotorcraft system. Approximate and exact methods are explained and illustrated for treating the important concerns which are unique to digital systems.

Tischler, Mark B.↗
NASA NTRS2003

Helicity in supercritical temporal mixing layers

Databases of transitional states obtained from Direct Numerical Simulations (DNS) of temporal, supercritical mixing layers for two species systems, 02/H2 and C7Hle/N2, are analyzed to elucidate species-specific turbulence aspects.

helicity supercritical flows↗