Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “State functions”

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 307 records · Page 17
All sourcesNASA NTRSDOE OSTI
NASA NTRS1977

Correlated wave functions for three-particle systems with Coulomb interaction - The muonic helium atom

A computational procedure for calculating correlated wave functions is proposed for three-particle systems interacting through Coulomb forces. Calculations are carried out for the muonic helium atom. Variational wave functions which explicitly contain interparticle coordinates are presented for the ground and excited states. General Hylleraas-type trial functions are used as the basis for the correlated wave functions. Excited-state energies of the muonic helium atom computed from 1- and 35-term wave functions are listed for four states.

Huang, K.-N.↗
NASA NTRS2009

The Principle of Energetic Consistency

A basic result in estimation theory is that the minimum variance estimate of the dynamical state, given the observations, is the conditional mean estimate. This result holds independently of the specifics of any dynamical or observation nonlinearity or stochasticity, requiring only that the probability density function of the state, conditioned on the observations, has two moments. For nonlinear dynamics that conserve a total energy, this general result implies the principle of energetic consistency: if the dynamical variables are taken to be the natural energy variables, then the sum of the total energy of the conditional mean and the trace of the conditional covariance matrix (the total variance) is constant between observations. Ensemble Kalman filtering methods are designed to approximate the evolution of the conditional mean and covariance matrix. For them the principle of energetic consistency holds independently of ensemble size, even with covariance localization. However, full Kalman filter experiments with advection dynamics have shown that a small amount of numerical dissipation can cause a large, state-dependent loss of total variance, to the detriment of filter performance. The principle of energetic consistency offers a simple way to test whether this spurious loss of variance limits ensemble filter performance in full-blown applications. The classical second-moment closure (third-moment discard) equations also satisfy the principle of energetic consistency, independently of the rank of the conditional covariance matrix. Low-rank approximation of these equations offers an energetically consistent, computationally viable alternative to ensemble filtering. Current formulations of long-window, weak-constraint, four-dimensional variational methods are designed to approximate the conditional mode rather than the conditional mean. Thus they neglect the nonlinear bias term in the second-moment closure equation for the conditional mean. The principle of energetic consistency implies that, to precisely the extent that growing modes are important in data assimilation, this term is also important.

Cohn, Stephen E.↗
NASA NTRS1973

A m-ary linear feedback shift register with binary logic

A family of m-ary linear feedback shift registers with binary logic is disclosed. Each m-ary linear feedback shift register with binary logic generates a binary representation of a nonbinary recurring sequence, producible with a m-ary linear feedback shift register without binary logic in which m is greater than 2. The state table of a m-ary linear feedback shift register without binary logic, utilizing sum modulo m feedback, is first tubulated for a given initial state. The entries in the state table are coded in binary and the binary entries are used to set the initial states of the stages of a plurality of binary shift registers. A single feedback logic unit is employed which provides a separate feedback binary digit to each binary register as a function of the states of corresponding stages of the binary registers.

Perlman, M.↗
NASA NTRS2016

Orion Exploration Mission Entry Interface Target Line

The Orion Multi-Purpose Crew Vehicle is required to return to the continental United States at any time during the month. In addition, it is required to provide a survivable entry from a wide range of trans-lunar abort trajectories. The Entry Interface (EI) state must be targeted to ensure that all requirements are met for all possible return scenarios, even in the event of no communication with the Mission Control Center to provide an updated EI target. The challenge then is to functionalize an EI state constraint manifold that can be used in the on-board targeting algorithm, as well as the ground-based trajectory optimization programs. This paper presents the techniques used to define the EI constraint manifold and to functionalize it as a set of polynomials in several dimensions.

Rea, Jeremy R.↗
NASA NTRS1981

Study of sulfur-containing molecules in the EUV region. I - Photoabsorption cross section of SO2

Using synchrotron radiation as a continuum background, the absorption cross sections of SO2 have been measured using a double ionization chamber. The cross sections range from 10 to a maximum value of 56 Mb in the 175-760 A region. A possible window resonance series was observed and tentatively assigned to a Ryberg series converging to the (6a sub 1) to the -1st ion state. From the fluorescence excitation function the vibrational progressions of the SO2(+) ion states have been measured and found in good agreement with those observed from photoelectron spectroscopy. The same correspondence between peaks in the fragment fluorescence excitation function and the photoelectron spectrum suggests that these ion states of SO2 are dissociative in nature.

Wu, C. Y. R.↗
NASA NTRS1973

Degenerate R-S perturbation theory

A concise, systematic procedure is given for determining the Rayleigh-Schrodinger energies and wave functions of degenerate states to arbitrarily high orders even when the degeneracies of the various states are resolved in arbitrary orders. The procedure is expressed in terms of an iterative cycle in which the energy through the (2n+1)st order is expressed in terms of the partially determined wave function through the n-th order. Both a direct and an operator derivation are given. The two approaches are equivalent and can be transcribed into each other. The direct approach deals with the wave functions (without the use of formal operators) and has the advantage that it resembles the usual treatment of nondegenerate perturbations and maintains close contact with the basic physics. In the operator approach, the wave functions are expressed in terms of infinite order operators which are determined by the successive resolution of the space of the zeroth order functions.

Hirschfelder, J. O.↗
NASA NTRS1974

Degenerate RS perturbation theory

A concise, systematic procedure is given for determining the Rayleigh-Schroedinger energies and wave functions of degenerate states to arbitrarily high orders even when the degeneracies of the various states are resolved in arbitrary orders. The procedure is expressed in terms of an iterative cycle in which the energy through the (2n + 1)-th order is expressed in terms of the partially determined wave function through the n-th order. Both a direct and an operator derivation are given. The two approaches are equivalent and can be transcribed into each other. The direct approach deals with the wave functions (without the use of formal operators) and has the advantage that it resembles the usual treatment of nondegenerate perturbations and maintains close contact with the basic physics. In the operator approach, the wave functions are expressed in terms of infinite-order operators which are determined by the successive resolution of the space of the zeroth-order functions.

Hirschfelder, J. O.↗
NASA NTRS1997

Generating Test Templates via Automated Theorem Proving

Testing can be used during the software development process to maintain fidelity between evolving specifications, program designs, and code implementations. We use a form of specification-based testing that employs the use of an automated theorem prover to generate test templates. A similar approach was developed using a model checker on state-intensive systems. This method applies to systems with functional rather than state-based behaviors. This approach allows for the use of incomplete specifications to aid in generation of tests for potential failure cases. We illustrate the technique on the cannonical triangle testing problem and discuss its use on analysis of a spacecraft scheduling system.

Kancherla, Mani Prasad↗
NASA NTRS2018

Learning Model Structural Uncertainty with Gaussian Processes

The advent of commercially available quantum computers has marked the beginning of quantum computing as a reality. Both quantum gate and annealing computers have been released by major computer hardware companies. In this work, the D-Wave 2XTM quantum annealing computer housed at the NASA Advanced Systems computational facility is investigated to accelerate Machine Learning (ML) for image registration. NASA collects large amounts of images over the globe remotely using space-based monitoring. Images of a fixed areas of the land surface are taken over time. Due to the orbit of the sensors, the viewing angles deviate slightly, and it is necessary to align or register the images precisely to create image time series over the land surface. Unaligned images can lead to substantial analysis errors. These time-series are then used in modeling Earth Systems models such as hydrological, weather, and carbon monitoring models. In this work, we consider the Moderate Resolution Image Spectrometer (MODIS) data collected by the NASA's terra satellite. Artificial Neural Networks (ANNs) is a natural fit for ML modelling of images. Several successes have been reported using machine learning related to image processing. We investigate the use of ML to register MODIS images. ANNs are investigated in combination with a Restricted Boltzmann Machines (RBM) as an auto-encoder. We will present results showing the accuracy and efficiency of this approach.The D-Wave 2XTM quantum annealer samples the ground-state wave-function of a spin-Ising systems with quadratic interactions between qubits and a Chimera connectivity. The system sits in a ~15 mK thermal bath. One can think of the system as being placed in the ground state initially and subject to thermal excitations governed by Boltzmann statistics. If this is assumed true, one can use the statistics from the D-Wave 2XTM to train RBMs. Generating statistics for training Boltzmann machines is an NP-hard problem and constitutes the largest compute cost. We investigate the use of the D-Wave 2XTM to accelerate the training of the RBMs in our ANNs and report on the results.

Kouatchou, Jules↗
NASA NTRS2015

Calibration of Predictor Models Using Multiple Validation Experiments

This paper presents a framework for calibrating computational models using data from several and possibly dissimilar validation experiments. The offset between model predictions and observations, which might be caused by measurement noise, model-form uncertainty, and numerical error, drives the process by which uncertainty in the models parameters is characterized. The resulting description of uncertainty along with the computational model constitute a predictor model. Two types of predictor models are studied: Interval Predictor Models (IPMs) and Random Predictor Models (RPMs). IPMs use sets to characterize uncertainty, whereas RPMs use random vectors. The propagation of a set through a model makes the response an interval valued function of the state, whereas the propagation of a random vector yields a random process. Optimization-based strategies for calculating both types of predictor models are proposed. Whereas the formulations used to calculate IPMs target solutions leading to the interval value function of minimal spread containing all observations, those for RPMs seek to maximize the models' ability to reproduce the distribution of observations. Regarding RPMs, we choose a structure for the random vector (i.e., the assignment of probability to points in the parameter space) solely dependent on the prediction error. As such, the probabilistic description of uncertainty is not a subjective assignment of belief, nor is it expected to asymptotically converge to a fixed value, but instead it casts the model's ability to reproduce the experimental data. This framework enables evaluating the spread and distribution of the predicted response of target applications depending on the same parameters beyond the validation domain.

Crespo, Luis G.↗
NASA NTRS1973

Liquid lubricants - functions and requirements

The state of liquid lubricant technology is discussed. The limit of present knowledge, especially in the boundary regime, is analyzed. Factors such as colloid behavior, viscoelastic effects, and relaxation times are investigated. Specific applications problems and some lubricant requirements which have not been met are reported.

Lansdown, A. R.↗
NASA NTRS1976

A method for the selection of a functional form for a thermodynamic equation of state using weighted linear least squares stepwise regression

A method was developed for establishing a rational choice of the terms to be included in an equation of state with a large number of adjustable coefficients. The methods presented were developed for use in the determination of an equation of state for oxygen and nitrogen. However, a general application of the methods is possible in studies involving the determination of an optimum polynomial equation for fitting a large number of data points. The data considered in the least squares problem are experimental thermodynamic pressure-density-temperature data. Attention is given to a description of stepwise multiple regression and the use of stepwise regression in the determination of an equation of state for oxygen and nitrogen.

Jacobsen, R. T.↗
NASA NTRS1980

Measurements of control stability characteristics of a wind-tunnel model using a transfer function method

Recent state-of-the-art techniques in rotor systems include the use of active feedback to augment the dynamic control characteristics of an aircraft system. A recent test of a stoppable rotor with blade circulation blowing was conducted in the Ames Research Center's 40by 80-ft wind tunnel. A major part of the test schedule was dedicated to the acquisition of data to determine the stability of a closed-loop hub-moment feedback control system. Therefore, the open-loop control response was measured at several flight conditions to ascertain the stability of the system prior to the final closed-loop feedback control test. Measurements were made during both the stopped and rotating rotor modes, and open-loop Bode plots were obtained for the control loops associated with the moments about the longitudinal and lateral axis.

Chopra, I.↗