Search NASA⌕ Search

SEARCH · Search NASA

Results for “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 343 records · Page 19
All sourcesNASA NTRSDOE OSTI
NASA NTRS1989

Ideal state reconstructor for deterministic digital control systems

A state reconstructor for deterministic digital systems is presented which is ideal in the following sense: if the plant parameters are known exactly, the output of the state reconstructor will exactly equal the true state of the plant, not just approximate it. Furthermore, this ideal state reconstructor adds no additional states or eigenvalues to the system. Nor does it affect the plant equation for the system in any way; it affects only the measurement equation. While there are countless ways of choosing the ideal state reconstructor parameters, two distinct methods are described here. An example is presented which illustrates the procedures to completely design the ideal state reconstructor using both methods.

Polites, Michael E.↗
NASA NTRS1992

Conservative-variable average states for equilibrium gas multi-dimensional fluxes

Modern split component evaluations of the flux vector Jacobians are thoroughly analyzed for equilibrium-gas average-state determinations. It is shown that all such derivations satisfy a fundamental eigenvalue consistency theorem. A conservative-variable average state is then developed for arbitrary equilibrium-gas equations of state and curvilinear-coordinate fluxes. Original expressions for eigenvalues, sound speed, Mach number, and eigenvectors are then determined for a general average Jacobian, and it is shown that the average eigenvalues, Mach number, and eigenvectors may not coincide with their classical pointwise counterparts. A general equilibrium-gas equation of state is then discussed for conservative-variable computational fluid dynamics (CFD) Euler formulations. The associated derivations lead to unique compatibility relations that constrain the pressure Jacobian derivatives. Thereafter, alternative forms for the pressure variation and average sound speed are developed in terms of two average pressure Jacobian derivatives. Significantly, no additional degree of freedom exists in the determination of these two average partial derivatives of pressure. Therefore, they are simultaneously computed exactly without any auxiliary relation, hence without any geometric solution projection or arbitrary scale factors. Several alternative formulations are then compared and key differences highlighted with emphasis on the determination of the pressure variation and average sound speed. The relevant underlying assumptions are identified, including some subtle approximations that are inherently employed in published average-state procedures. Finally, a representative test case is discussed for which an intrinsically exact average state is determined. This exact state is then compared with the predictions of recent methods, and their inherent approximations are appropriately quantified.

Iannelli, G. S.↗
NASA NTRS1990

PLA realizations for VLSI state machines

A major problem associated with state assignment procedures for VLSI controllers is obtaining an assignment that produces minimal or near minimal logic. The key item in Programmable Logic Array (PLA) area minimization is the number of unique product terms required by the design equations. This paper presents a state assignment algorithm for minimizing the number of product terms required to implement a finite state machine using a PLA. Partition algebra with predecessor state information is used to derive a near optimal state assignment. A maximum bound on the number of product terms required can be obtained by inspecting the predecessor state information. The state assignment algorithm presented is much simpler than existing procedures and leads to the same number of product terms or less. An area-efficient PLA structure implemented in a 1.0 micron CMOS process is presented along with a summary of the performance for a controller implemented using this design procedure.

Gopalakrishnan, S.↗
NASA NTRS1994

Probing the antiferromagnetic long-range order with Glauber spin states

It is well known that the ground state of low-dimensional antiferromagnets deviates from Neel states due to strong quantum fluctuations. Even in the presence of long-range order, those fluctuations produce a substantial reduction of the magnetic moment from its saturation value. Numerical simulations in anisotropic antiferromagnetic chains suggest that quantum fluctuations over Neel order appear in the form of localized reversal of pairs of neighboring spins. In this paper, we propose a coherent state representation for the ground state to describe the above situation. In the one-dimensional case, our wave function corresponds to a two-mode Glauber state, when the Neel state is used as a reference, while the boson fields are associated to coherent flip of spin pairs. The coherence manifests itself through the antiferromagnetic long-range order that survives the action of quantum fluctuations. The present representation is different from the standard zero-point spin wave state, and is asymptotically exact in the limit of strong anisotropy. The fermionic version of the theory, obtained through the Jordan-Wigner transformation, is also investigated.

Cabrera, Guillermo G.↗
NASA NTRS1994

Time-dependent evolution of cosmic-ray-modified shock structure: Transition to steady state

Steady state solutions to the two-fluid equations of cosmic-ray-modified shock structure were investigated first by Drury and Volk (1981). Their analysis revealed, among other properties, that there exist regions of upstream parameter space where the equations possess three different downstream solutions for a given upstream state. In this paper we investigate whether or not all these solutions can occur as time-asymptotic states in a physically realistic evolution. To do this, we investigate the time-dependent evolution of the two-fluid cosmic-ray equations in going from a specified initial condition to a steady state. Our results indicate that the time-asymptotic solution is strictly single-valued, and it undergoes a transition from weakly to strongly cosmic-ray-modified at a critical value of the upstream cosmic ray energy density. The expansion of supernova remnant shocks is considered as an example, and it is shown that the strong to weak transition is in fact more likely. The third intermediate solution is shown to influence the time-dependent evolution of the shock, but it is not found to be a stable time-asymptotic state. Timescales for convergence to these states and their implications for the efficiency of shock acceleration are considered. We also investigate the effects of a recently introduced model for the injection of seed particles into the shock accelerated cosmic-ray population. The injection is found to result in a more strongly cosmic-ray-dominated shock, which supports our conclusion that for most classes of intermediate and strong cosmic-ray-modified shocks, the downstream cosmic-ray pressure component is at least as large as the thermal gas pressure, independent of the upstream state. As a result, cosmic rays almost always play a significant role in determining the shock structure and dissipation and they cannot be regarded as test particles.

Donohue, D. J.↗
NASA NTRS1996

Quantum Probability Cancellation Due to a Single-Photon State

When an N-photon state enters a lossless symmetric beamsplitter from one input port, the photon distribution for the two output ports has the form of Bernouli Binormial, with highest probability at equal partition (N/2 at one outport and N/2 at the other). However, injection of a single photon state at the other input port can dramatically change the photon distribution at the outputs, resulting in zero probability at equal partition. Such a strong deviation from classical particle theory stems from quantum probability amplitude cancellation. The effect persists even if the N-photon state is replaced by an arbitrary state of light. A special case is the coherent state which corresponds to homodyne detection of a single photon state and can lead to the measurement of the wave function of a single photon state.

Ou, Z. Y.↗
NASA NTRS1994

The Low-Lying States of AlCu and AlAg

The singlet and triplet states of AlCu and AlAg below about 32 000/cm are studied using the internally contracted multireference configuration-interaction method. A more elaborate study of the X(sup 1)Sum(sup +) ground state of AlCu is undertaken using extended Gaussian basis sets, including the effect of inner-shell correlation and including a perturbational estimate of relativistic effects. Our best estimate of the spectroscopic constants (r(sub 0), DeltaG(sub 1/2), and D(sub 0)) for the X(sup 1)Sum(sup+) state with the experimental values in parentheses are: 4.416(4.420) a(sub 0), 295 (294) /cm, and 2.318 (2.315) eV. The calculations definitively assign the upper state in the observed transition at 14 892/cm to the lowest (sup 1)Prod state. The calculated spectroscopic constants and radiative lifetime for the (sup 1)Prod state are in good agreement with experiment. The calculations support the tentative assignments of Behm et al. for three band systems observed in the visible region between 25 000 and 28 000 / cm. However, the computed spectroscopic constants are in very poor agreement with those deduced from an analysis of the spectra. Analogous theoretical results for AlAg suggest that the (2)(sup 3)Prod, (3)(sup 3)Prod, and (3)(sup 1)Sum(sup +) states account for the bands observed, but not assigned, by Duncan and co-workers.

Bauschlicher, Charles W., Jr.↗
NASA NTRS1999

A Multiphase Equation of State for Hydrazine and Monomethylhydrazine

The objective of this work was to obtain a validated equation of state for hydrazine and monomethylhydrazine (MMH) and use this equation to calculate thermodynamic properties. The approach was based on using both reliable critical property values and a value of the acentric factor in the Soave Redlich Kwong and the Peng Robinson model equations of state. These equations were validated by comparing calculated molar volumes for phase equilibrium with published experimental values and comparing calculated vapor pressures with published experimental values over the temperature range appropriate for the corresponding state equations. The equation of state giving the best results was used to calculate enthalpy and entropy departure functions and fugacity values. Additional thermodynamic property calculations were performed to produce partial Mollier diagrams and thermodynamic properties containing internal energy, enthalpy, and entropy values for hydrazine and MMH. The analyses of systems in which either adiabatic or near-adiabatic compression of liquid or vapor hydrazine or low velocity detonations occur require a validated equation of state for representing occurring molar volumes and for energy calculations. Other calculations for thermodynamic properties of hydrazine are available, but the values are for a strict ideal gas state. This work characterized destructive events using hydrazine by calculating for isentropic compression temperatures. The final temperatures were calculated and compared using the ideal and real gas fluid equations of state.

Barragan, Michelle↗
NASA NTRS2001

State-Dependent Pseudo-Linear Filter for Spacecraft Attitude and Rate Estimation

This paper presents the development and performance of a special algorithm for estimating the attitude and angular rate of a spacecraft. The algorithm is a pseudo-linear Kalman filter, which is an ordinary linear Kalman filter that operates on a linear model whose matrices are current state estimate dependent. The nonlinear rotational dynamics equation of the spacecraft is presented in the state space as a state-dependent linear system. Two types of measurements are considered. One type is a measurement of the quaternion of rotation, which is obtained from a newly introduced star tracker based apparatus. The other type of measurement is that of vectors, which permits the use of a variety of vector measuring sensors like sun sensors and magnetometers. While quaternion measurements are related linearly to the state vector, vector measurements constitute a nonlinear function of the state vector. Therefore, in this paper, a state-dependent linear measurement equation is developed for the vector measurement case. The state-dependent pseudo linear filter is applied to simulated spacecraft rotations and adequate estimates of the spacecraft attitude and rate are obtained for the case of quaternion measurements as well as of vector measurements.

Bar-Itzhack, Itzhack Y.↗
NASA NTRS2001

The Air Transportation Policy of Small States: Meeting the Challenges of Globalization

The air transport policies of small states are currently at a crossroad. Policy makers in these countries are facing a difficult dilemma: either follow the general trend of liberalization and pay the high cost of the resulting restructuring or maintain the existing regulatory and ownership structures at the risk of isolation thus undermining the viability and sustainability of their air transport sector and their economies in general. This paper proposes to explore the broad issues raised by this difficult dilemma, to outline its special significance in the context of small states and to delineate the options opened to the economic policymakers; in these states. After a brief note on the method of research, we sketch the main elements of the international air transport industry in which the airlines of small states are called upon to act. We then propose to review the main features of the analytical framework of this debate as it pertains to the special circumstances of these states. Then we focus on the challenges facing the airlines of Small States, while the next section proposes a number of the alternative policy options open to the policy makers in these states. The main conclusions are drawn in the final section.

Antoniou, Andreas↗
NASA NTRS2000

State Relationships of Laminar Permanently-Blue Opposed-Jet Hydrocarbon-Fueled Diffusion Flames

The structure and state relationships of laminar soot-free (permanently-blue) diffusion flames at various strain rates were studied experimentally using an opposed-jet configuration, motivated by the importance of soot-free hydrocarbon-fueled diffusion flames for many practical applications. Measurements of gas velocities, temperatures and compositions were carried out along the stagnation stream line. Flame conditions studied included propylene- and 1,3-butadiene-fueled opposed-jet diffusion flames having a stoichiometric mixture fractions of 0.7 and strain rates of 60-240/s at normal temperature and pressure. It was found that oxygen leakage to fuel-rich conditions and carbon monoxide leakage to fuel-lean conditions both increased as strain rates increased. Furthermore, increased strain rates caused increased fuel concentrations near the flame sheet decreased peak gas temperatures, and decreased concentrations of carbon dioxide and water vapor throughout the flames. State relationships for major gas species and gas temperatures for these flames were found to exist over broad ranges of strain rates. In addition, current measurements, as well as previous measurements and predictions of ethylene-fueled permanently-blue diffusion flames, all having a stoichiometric mixture fraction of 0.7, were combined to establish generalized state relationships for permanently-blue diffusion flames for this stoichiometric mixture fraction. The combined measurements and predictions support relatively universal generalized state relationships for N2, CO2, H2O and fuel over a broad range of strain rates and fuel types. State relationships for O2 in the fuel-rich region, and for CO in the fuel-lean region, however, are functions of strain rate and fuel type. State relationships for H2 and temperature exhibit less universality, mainly due to the increased experimental uncertainties for these variables. The existence of state relationships for soot-free hydrocarbon-fueled diffusion flames provides potential for significant computational simplifications for modeling purposes in many instances, allowing for effects of finite-rate chemistry while avoiding time-consuming computations of Arrhenius expressions.

Lin, K.-C.↗
NASA NTRS2000

State Relationships of Laminar Permanently-Blue Opposed-Jet Hydrocarbon-Fueled Diffusion Flames

The structure and state relationships of laminar soot-free (permanently-blue) diffusion flames at various strain rates were studied experimentally using an opposed-jet configuration, motivated by the importance of soot-free hydrocarbon-fueled diffusion flames for many practical applications. Measurements of gas velocities, temperatures and compositions were carried out along the stagnation stream line. Flame conditions studied included propylene- and 1,3-butadiene-fueled opposed-jet diffusion flames having a stoichiometric mixture fractions of 0.7 and strain rates of 60-240 s (exp -1) at normal temperature and pressure. It was found that oxygen leakage to fuel-rich conditions and carbon monoxide leakage to fuel-lean conditions both increased as strain rates increased. Furthermore, increased strain rates caused increased fuel concentrations near the flame sheet, decreased peak gas temperatures, and decreased concentrations of carbon dioxide and water vapor throughout the flames. State relationships for major gas species and gas temperatures for these flames were found to exist over broad ranges of strain rates. In addition, current measurements, as well as previous measurements and predictions of ethylene-fueled permanently-blue diffusion flames, all having a stoichiometric mixture fraction of 0.7, were combined to establish generalized state relationships for permanently-blue diffusion flames for this stoichiometric mixture fraction. The combined measurements and predictions support relatively universal generalized state relationships for N2, CO2, H2O and fuel over a broad range of strain rates and fuel types. State relationships for O2 in the fuel-rich region, and for CO in the fuel-lean region, however, are functions of strain rate and fuel type. State relationships for H2 and temperature exhibit less universality, mainly due to the increased experimental uncertainties for these variables. The existence of state relationships for soot-free hydrocarbon-fueled diffusion flames provides potential for significant computational simplifications for modeling purposes in many instances, allowing for effects of finite-rate chemistry while avoiding time-consuming computations of Arrhenius expressions.

Lin, K.-C.↗
NASA NTRS1991

Applying state diagrams to food processing and development

The physical state of food components affects their properties during processing, storage, and consumption. Removal of water by evaporation or by freezing often results in formation of an amorphous state (Parks et al., 1928; Troy and Sharp, 1930; Kauzmann, 1948; Bushill et al., 1965; White and Cakebread, 1966; Slade and Levine, 1991). Amorphous foods are also produced from carbohydrate melts by rapid cooling after extrusion or in the manufacturing of hard sugar candies and coatings (Herrington and Branfield, 1984). Formation of the amorphous state and its relation to equilibrium conditions are shown in Fig. 1 [see text]. The most important change, characteristic of the amorphous state, is noticed at the glass transition temperature (Tg), which involves transition from a solid "glassy" to a liquid-like "rubbery" state. The main consequence of glass transition is an increase of molecular mobility and free volume above Tg, which may result in physical and physico-chemical deteriorative changes (White and Cakebread, 1966; Slade and Levine, 1991). We have conducted studies on phase transitions of amorphous food materials and related Tg to composition, viscosity, stickiness, collapse, recrystallization, and ice formation. We have also proposed that some diffusion-limited deteriorative reactions are controlled by the physical state in the vicinity of Tg (Roos and Karel, 1990, 1991a, b, c). The results are summarized in this article, with state diagrams based on experimental and calculated data to characterize the relevant water content, temperature, and time-dependent phenomena of amorphous food components.

Non-NASA Center↗
NASA NTRS2009

Model Checking - My 27-Year Quest to Overcome the State Explosion Problem

Model Checking is an automatic verification technique for state-transition systems that are finite=state or that have finite-state abstractions. In the early 1980 s in a series of joint papers with my graduate students E.A. Emerson and A.P. Sistla, we proposed that Model Checking could be used for verifying concurrent systems and gave algorithms for this purpose. At roughly the same time, Joseph Sifakis and his student J.P. Queille at the University of Grenoble independently developed a similar technique. Model Checking has been used successfully to reason about computer hardware and communication protocols and is beginning to be used for verifying computer software. Specifications are written in temporal logic, which is particularly valuable for expressing concurrency properties. An intelligent, exhaustive search is used to determine if the specification is true or not. If the specification is not true, the Model Checker will produce a counterexample execution trace that shows why the specification does not hold. This feature is extremely useful for finding obscure errors in complex systems. The main disadvantage of Model Checking is the state-explosion problem, which can occur if the system under verification has many processes or complex data structures. Although the state-explosion problem is inevitable in worst case, over the past 27 years considerable progress has been made on the problem for certain classes of state-transition systems that occur often in practice. In this talk, I will describe what Model Checking is, how it works, and the main techniques that have been developed for combating the state explosion problem.

Clarke, Ed↗
NASA NTRS2012

Best Practices for the Application of Functional Near Infrared Spectroscopy to Operator State Sensing

Functional Near Infrared Spectroscopy (fNIRS) is an emerging neuronal measurement technique with many advantages for application in operational and training contexts. Instrumentation and protocol improvements, however, are required to obtain useful signals and produce expeditiously self-applicable, comfortable and unobtrusive headgear. Approaches for improving the validity and reliability of fNIRS data for the purpose of sensing the mental state of commercial aircraft operators are identified, and an exemplary system design for attentional state monitoring is outlined. Intelligent flight decks of the future can be responsive to state changes to optimally support human performance. Thus, the identification of cognitive performance decrement, such as lapses in operator attention, may be used to predict and avoid error-prone states. We propose that attentional performance may be monitored with fNIRS through the quantification of hemodynamic activations in cortical regions which are part of functionally-connected attention and resting state networks. Activations in these regions have been shown to correlate with behavioral performance and task engagement. These regions lie beneath superficial tissue in head regions beyond the forehead. Headgear development is key to reliably and robustly accessing locations beyond the hair line to measure functionally-connected networks across the whole head. Human subject trials using both fNIRS and functional Magnetic Resonance Imaging (fMRI) will be used to test this system. Data processing employs Support Vector Machines for state classification based on the fNIRS signals. If accurate state classification is achieved based on sensed activation patterns, fNIRS will be shown to be useful for monitoring attentional performance.

Harrivel, Angela R.↗
NASA NTRS2013

A Turn-Projected State-Based Conflict Resolution Algorithm

State-based conflict detection and resolution (CD&R) algorithms detect conflicts and resolve them on the basis on current state information without the use of additional intent information from aircraft flight plans. Therefore, the prediction of the trajectory of aircraft is based solely upon the position and velocity vectors of the traffic aircraft. Most CD&R algorithms project the traffic state using only the current state vectors. However, the past state vectors can be used to make a better prediction of the future trajectory of the traffic aircraft. This paper explores the idea of using past state vectors to detect traffic turns and resolve conflicts caused by these turns using a non-linear projection of the traffic state. A new algorithm based on this idea is presented and validated using a fast-time simulator developed for this study.

Butler, Ricky W.↗
NASA NTRS2012

An Ontology for State Analysis: Formalizing the Mapping to SysML

State Analysis is a methodology developed over the last decade for architecting, designing and documenting complex control systems. Although it was originally conceived for designing robotic spacecraft, recent applications include the design of control systems for large ground-based telescopes. The European Southern Observatory (ESO) began a project to design the European Extremely Large Telescope (E-ELT), which will require coordinated control of over a thousand articulated mirror segments. The designers are using State Analysis as a methodology and the Systems Modeling Language (SysML) as a modeling and documentation language in this task. To effectively apply the State Analysis methodology in this context it became necessary to provide ontological definitions of the concepts and relations in State Analysis and greater flexibility through a mapping of State Analysis into a practical extension of SysML. The ontology provides the formal basis for verifying compliance with State Analysis semantics including architectural constraints. The SysML extension provides the practical basis for applying the State Analysis methodology with SysML tools. This paper will discuss the method used to develop these formalisms (the ontology), the formalisms themselves, the mapping to SysML and approach to using these formalisms to specify a control system and enforce architectural constraints in a SysML model.

Wagner, David A.↗
NASA NTRS2011

Excited State Chemistry in the Free Stream of the NASA IHF Arc Jet Facility Observed by Emission Spectroscopy

Spectroscopic measurements of non-equilibrium emission were made in the free stream of the 60 megawatts Interaction Heating Facility at NASA Ames Research Center. In the visible near infrared wavelength region, the most prominent emission was from molecular N2, and in the ultra violet region, the spectra were dominated by emission from molecular NO. The only atomic lines observed were those of copper (an erosion product of the electrodes). The bands of the 1st Positive system of N2 (if B is true then A is true) differed significantly from spectra computed spectra assuming only thermal excitation, suggesting overpopulation of the high vibrational states of the B state of N2. Populations of these high vibrational levels (peaking at v (sub upper) equals 13) of the N2 B state were determined by scaling simulated spectra; calculations were performed for each upper vibrational state separately. The experimental-theoretical procedure was repeated for several radial positions away from the nozzle axis to obtain spatial distributions of the upper state populations; rotational symmetry of the flow was assumed in simulations. The overpopulation of the high vibrational levels has been interpreted as the effect of inverse pre-dissociation of neutral atoms in the N2 A state, which populates the N2 B state through a level crossing process at v (sub upper) is greater than 10.

arc-jet testing↗