SEARCH · Engineering Papers

Results for “BOUND 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.

SourceResearch connectionFrom yearThrough year

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

At least 415 records · Page 23

All sources NASA NTRS DOE OSTI

NASA NTRS2007

Model Checking a Byzantine-Fault-Tolerant Self-Stabilizing Protocol for Distributed Clock Synchronization Systems

This report presents the mechanical verification of a simplified model of a rapid Byzantine-fault-tolerant self-stabilizing protocol for distributed clock synchronization systems. This protocol does not rely on any assumptions about the initial state of the system. This protocol tolerates bursts of transient failures, and deterministically converges within a time bound that is a linear function of the self-stabilization period. A simplified model of the protocol is verified using the Symbolic Model Verifier (SMV) [SMV]. The system under study consists of 4 nodes, where at most one of the nodes is assumed to be Byzantine faulty. The model checking effort is focused on verifying correctness of the simplified model of the protocol in the presence of a permanent Byzantine fault as well as confirmation of claims of determinism and linear convergence with respect to the self-stabilization period. Although model checking results of the simplified model of the protocol confirm the theoretical predictions, these results do not necessarily confirm that the protocol solves the general case of this problem. Modeling challenges of the protocol and the system are addressed. A number of abstractions are utilized in order to reduce the state space. Also, additional innovative state space reduction techniques are introduced that can be used in future verification efforts applied to this and other protocols.

Malekpour, Mahyar R.↗

NASA NTRS1979

Application of Model Reference Adaptive Control System to Instrument Pointing System /IPS/

A Model Reference Adaptive Controller (MRAC) is derived for a Shuttle payload called the Instrument Pointing System (IPS). The unique features of this MRAC design are that total state feedback is not required, that the internal structure of the model is independent of the internal structure of the IPS, and that the model input is of bounded variation and not required a priori. An application of Liapunov's stability theorems is used to synthesize a control signal which assures MRAC asymptotic stability. Exponential observers are used to obtain the necessary state information to implement the control synthesis. Results are presented which show how effectively the MRAC can maneuver the IPS.

Waites, H. B.↗

NASA NTRS1981

Theoretical Treatment of the X(sup 1)Sigma(sup +), A(sup 1)Sigma(sup +), and B(sup 1)Pi states of LiH

Ab initio self-consistent-field plus configuration-interaction calculations are reported for the X(sup 1)Sigma(sup +), A(sup 1)Sigma(sup +), and B(sup 1)Pi states of LiH using a 22(sugma)12(pi)7(delta) function Slater basis set. The resulting dissociation energies, with the experimental values in parentheses, are D(sub e)(X(sup 1)Sigma(sup +)) = 19 972 (20288)/ cm, and D(sub e)(A(sup 1)Sigma(sup +)) = 9042 (8682)/ cm, and D(sup e)(B(sup 1)Pi) = 284 (288) /cm. This is the first ab initio treatment to quantitatively account for the binding in the B(sup 1)Pi state. Calculated dipole moments and electronic transition moments for the X(sup 1)Sigma(sup+)-A(sup 1)Sigma(sup +), X(sup 1)Sigma(sup +)-B((sup 1)Pi, and A(sup 1)Sigma(sup +)- B(sup 1)PI band systems are in excellent agreement with existing theoretical and experimental data. Radiative transition probabilities and lifetimes, including both the bound-bound and bound-free contributions, are computed for all vibrational levels of the A(sup 1)Sigma(sup+) and B(sup 1)Pi states. Comparison with previous results using experimentally based potentials provides insight into the sensitivity of the radiative lifetimes to the detailed nature of the uppermost region of the potentials. Our calculated lifetimes for the lower vibrational levels of the A(sup 1)Sigma(sup +) state are within the experimental uncertainty. Our calculated lifetimes for the three vibrational levels of the B(sup 1)Pi state are in excellent agreement with those of Zemke and Stwalley (values in parentheses), increasing with (upsilon)' from 11.3 (11.3) nsec at (upsilon)' = 0, to 17.0 (17.0) nsec at (upsilon)' = 1, and then to 23.5 (24.0) nsec at (upsilon)' = 2.

Partridge, Harry↗

NASA NTRS2001

Preparation and Preliminary Characterization of Crystallizing Fluorescent Derivatives of Chicken Egg White Lysozyme

Fluorescence is one of the most versatile and powerful tools for the study of macromolecules. While most proteins are intrinsically fluorescent, working at crystallization concentrations require the use of covalently prepared derivatives added as tracers. This approach requires derivatives that do not markedly affect the crystal packing. We have prepared fluorescent derivatives of chicken egg white lysozyme with probes bound to one of two different sites on the protein molecule. Lucifer yellow and 5-(2-aminoethyl)aminonapthalene-1-sulfonic acid (EDANS) have been attached to the side chain carboxyl of Asp(sup 101) using a carbodiimide coupling procedure. Asp(sup 101) lies within the active site cleft, and it is believed that the probes are "buried" within that cleft. Lucifer yellow and MANS probes with iodoacetamide reactive groups have been bound to His(sup 15), located on the "back side" of the molecule relative to the active site. All the derivatives fluoresce in the solution and the crystalline states. Fluorescence characterization has focused on determination of binding effects on the probe quantum yield, lifetime, absorption and emission spectra, and quenching by added solutes. Quenching studies show that, as postulated, the Asp(sup 101)-bound probes are partially sheltered from the bulk solution by their location within the active site cleft. Probes bound to His(sup 15) have quenching constants about equal to those for the free probes, indicating that this site is highly exposed to the bulk solution.

Sumida, John↗

NASA NTRS2001

Preparation and Preliminary Characterization of Crystallizing Fluorescent Derivatives of Chicken Egg White Lysozyme

Fluorescence is one of the most versatile and powerful tools for the study of macromolecules. While most proteins are intrinsically fluorescent, working at crystallization concentrations require the use of covalently prepared derivatives added as tracers. This approach requires derivatives that do not markedly affect the crystal packing. We have prepared fluorescent derivatives of chicken egg white lysozyme with probes bound to one of two different sites on the protein molecule. Lucifer yellow and 5-(2-aminoethyl)aminonapthalene-i-sulfonic acid (EDANS) have been attached to the side chain carboxyl of Asp(sup 101) using a carbodiimide coupling procedure. Asp(sup 101) lies within the active site cleft, and it is believed that the probes are 'buried' within that cleft. Lucifer yellow and MANS probes with iodoacetamide reactive five groups have been bound to His(sup 15), located on the 'back side' of the molecule relative to the active site. All the derivatives fluoresce in the solution and the crystalline states. Fluorescence characterization has focused on determination of binding effects on the probe quantum yield, lifetime, absorption and emission spectra, and quenching by added solutes. Quenching studies show that, as postulated, the Asp(sup 101)-bound probes are partially sheltered from the bulk solution by their location within the active site cleft. Probes bound to His(sup 15) have quenching constants about equal to those for the free probes, indicating that this site is highly exposed to the bulk solution.

Sumida, John P.↗

NASA NTRS1984

Fast solutions to the steady state compressible and incompressible fluid dynamic equations

For low speed flows the use of the compressible fluid dynamic equations is inefficient. The use of an explicit scheme requires delta t to be bounded by 1/c. However, the physical parameters change over time scales of order 1/u which is much larger. Hence, it is not appropriate to use explicit schemes for very subsonic flows. Implicit schemes are hard to vectorize and frequently do not converge quickly for very subsonic flows. If one is only interested in the steady state then a minor change to an existing code can greatly increase the efficiency of an explicit method. Even when using an implicit method the proposed changes increase the efficiency of the scheme. The Euler equations for low speed flows will be considered first and then incompressible flows. The method is generalized to include viscous effects. Supersonic flow is accelerated by essentially decoupling the equations.

Turkel, E.↗

NASA NTRS1978

Exchange and relaxation effects in low-energy radiationless transitions

The effect on low-energy atomic inner-shell Coster-Kronig and super Coster-Kronig transitions that is produced by relaxation and by exchange between the continuum electron and bound electrons was examined and illustrated by specific calculations for transitions that deexcite the 3p vacancy state of Zn. Taking exchange and relaxation into account is found to reduce, but not to eliminate, the discrepancies between theoretical rates and measurements.

Chen, M. H.↗

NASA NTRS1985

An ab initio investigation of possible intermediates in the reaction of the hydroxyl and hydroperoxyl radicals

Ab initio quantum chemical techniques are used to investigate covalently-bonded and hydrogen-bonded species that may be important intermediates in the reaction of hydroxyl and hydroperoxyl radicals. Stable structures of both types are identified. Basis sets of polarized double zeta quality and large scale configuration interaction wave functions are utilized. Based on electronic energies, the covalently bonded HOOOH species is 26.4 kcal/mol more stable than the OH and HO2 radicals. Similarly, the hydrogen bonded HO---HO2 species has an electronic energy 4.7 kcal/mol below that of the component radicals, after correction is made for the basis set superposition error. The hydrogen bonded form is planar, possesses one relatively normal hydrogen bond, and has the lowest energy 3A' and 1A' states that are essentially degenerate. The 1A" and 3A" excited states produced by rotation of the unpaired OH electron into the molecular plane are very slightly bound.

Jackels, C. F.↗

NASA NTRS1990

Time optimal feedback control of discrete systems with bounded inputs

Deadbeat control theory gives a feedback solution to the time optimal control of discrete time systems. Experience has shown the results to be impractical because they ignore bounds on the actuator strength. This paper develops two algorithms for generating time optimal control in feedback form for discrete systems with bounded controls. The results are also applicable for generating recovery regions and the set of reachable states. For multiple control problems a method of generating sublayers is developed which decreases off-line and on-line computational effort. Two algorithms are presented with somewhat different computational and storage requirements. The algorithms are practical within certain dimension constraints, and are natural for implementation with parallel processing.

Chen, Xin↗

NASA NTRS1991

The formation of peroxonitrites and oxygen on Mars

When Martian regolith samples are moistened with water, a strong oxidant and oxygen gas are released. The many possible oxidants which have been suggested as present, including superoxide (O2(-)) hydrogen peroxide (H2O2(-)), and manganese (IV) oxide (MnO2), as well as peroxonitrite (ONOO(-)), can be distinguished by their ability to account for the numerous observations of the Viking Labelled Release (LR) and Gas Exchange (GEX) experiments. The magnitudes, kinetics, and heat labilities of the LR experiments and the magnitudes and heat labilities of the GEX experiments have been quantitatively replicated with peroxonitrites. Further, it is to be expected from information about the photochemistry of nitrogen in the atmosphere, the calculated fluxes of the NO(x) to the surface, the known reactions of NO(x) with carbonates to produce nitrates and photolysis studies of nitrates, that peroxonitrites are present on Mars. However, considerable uncertainty has existed about the form in which oxygen is stored in photolyzed nitrate crystals. Models have ranged from micropores of O2 to chemically bound oxygen as peroxonitrite (O2NOO(-)), as well as peroxonitrite. Studies of the solution chemistry and solid state photochemistry were completed, which show that much of the oxygen evolved on wetting comes from thermal breakdown of peroxonitrite after it is dissolved. A chemical model is developed for the photochemical processes occurring during UV irradiation of solid nitrates which resolves the several contradictory models discussed in the literature in recent years.

Plumb, Robert C.↗

NASA NTRS1999

The Transient Dendritic Solidification Experiment (TDSE)

The study of steady-state dendritic growth has both validated many element of transport phenomena in dendritic growth, and yielded many new insights. Further development in simulation and modeling are needed, as is further understanding of the role of selection or scaling in dendritic growth. The TDSE contributes to the further study of dendritic phenomena by carefully measuring and modeling transient effects on dendritic growth. The major challenge encountered in measuring and analyzing the transient behavior of isothermal dendrites is defining precisely the initial conditions from which or to which the dendrite evolves. Our proposed pressure-mediated TDSE microgravity experiment, obviates this difficulty, because the transient occurs between two well-characterized steady-states, rather than between an ill-defined initial state and the final steady state. The major results expected are unique data on transient behavior that will extend the scientific bounds from the now well-understood thermal effects, and provide insight into interfacial dynamics where open questions remain.

Koss, M. B.↗

NASA NTRS1991

The energy separation between the classical and nonclassical isomers of protonated acetylene - An extensive study in one- and n-particle space saturation

The energy separation between the classical and nonclassical forms of protonated acetylene has been reinvestigated in light of the recent experimentally deduced lower bound to this value of 6.0 kcal/mol. The objective of the present study is to use state-of-the-art ab initio quantum mechanical methods to establish this energy difference to within chemical accuracy (i.e., about 1 kcal/mol). The one-particle basis sets include up to g-type functions and the electron correlation methods include single and double excitation coupled-cluster (CCSD), the CCSD(T) extension, multireference configuration interaction, and the averaged coupled-pair functional methods. A correction for zero-point vibrational energies has also been included, yielding a best estimate for the energy difference between the classical and nonclassical forms of 3.7 + or - 1.3 kcal/mol.

Lindh, Roland↗

NASA NTRS2013

Analytical Algorithms to Quantify the Uncertainty in Remaining Useful Life Prediction

This paper investigates the use of analytical algorithms to quantify the uncertainty in the remaining useful life (RUL) estimate of components used in aerospace applications. The prediction of RUL is affected by several sources of uncertainty and it is important to systematically quantify their combined effect by computing the uncertainty in the RUL prediction in order to aid risk assessment, risk mitigation, and decisionmaking. While sampling-based algorithms have been conventionally used for quantifying the uncertainty in RUL, analytical algorithms are computationally cheaper and sometimes, are better suited for online decision-making. While exact analytical algorithms are available only for certain special cases (for e.g., linear models with Gaussian variables), effective approximations can be made using the the first-order second moment method (FOSM), the first-order reliability method (FORM), and the inverse first-order reliability method (Inverse FORM). These methods can be used not only to calculate the entire probability distribution of RUL but also to obtain probability bounds on RUL. This paper explains these three methods in detail and illustrates them using the state-space model of a lithium-ion battery.

Sankararaman, Shankar↗

NASA NTRS2015

Analytical Methodology Used To Assess/Refine Observatory Thermal Vacuum Test Conditions For the Landsat 8 Data Continuity Mission

Thermal and Fluids Analysis Workshop Silver Spring, MD NCTS 21070-15 The Landsat 8 Data Continuity Mission, which is part of the United States Geologic Survey (USGS), launched February 11, 2013. A Landsat environmental test requirement mandated that test conditions bound worst-case flight thermal environments. This paper describes a rigorous analytical methodology applied to assess refine proposed thermal vacuum test conditions and the issues encountered attempting to satisfy this requirement.

0000↗

NASA NTRS1988

Robust adaptive regulation without persistent excitation

A globally convergent adaptive regulator for minimum or nonminimum phase systems subject to bounded distrubances and unmodeled dynamics is presented. The control strategy is designed for a particular input-output representation obtained from the state space representation of the system. The leading coefficient of the new representation is the product of the observability and controllability matrices of the system. The controller scheme uses a Least Squares identification algorithm with a dead zone. The dead zone is chosen to obtain convergence properties on the estimates and on the covariance matrix as well. This allows the definition of modified estimates which secure well-conditioned matrices in the adaptive control law. Explicit bounds on the plant output are given.

Lozano-Leal, Rogelio↗

NASA NTRS1989

Robust adaptive regulation without persistent excitation

A globally convergent adaptive regulator for minimum- or nonminimum-phase systems subject to bounded disturbances and unmodeled dynamics is presented. The control strategy is designed for a particular input-output representation obtained from the state space representation of the system. The leading coefficient of the representation is the product of the observability and controllability matrices of the system. The controller scheme uses a Least-Squares identification algorithm a with dead zone. The dead zone is chosen to obtain convergence properties on the estimates and on the covariance matrix as well. This allows the definition of modified estimates which secure well-conditioned matrices in the adaptive control law. Explicit bounds on the plant output are given.

Lozano-Leal, Rogelio↗

NASA NTRS2011

Evaluation of the Analysis Influence on Transport in Reanalysis Regional Water Cycles

Regional water cycles of reanalyses do not follow theoretical assumptions applicable to pure simulated budgets. The data analysis changes the wind, temperature and moisture, perturbing the theoretical balance. Of course, the analysis is correcting the model forecast error, so that the state fields should be more aligned with observations. Recently, it has been reported that the moisture convergence over continental regions, even those with significant quantities of radiosonde profiles present, can produce long term values not consistent with theoretical bounds. Specifically, long averages over continents produce some regions of moisture divergence. This implies that the observational analysis leads to a source of water in the region. One such region is the Unite States Great Plains, which many radiosonde and lidar wind observations are assimilated. We will utilize a new ancillary data set from the MERRA reanalysis called the Gridded Innovations and Observations (GIO) which provides the assimilated observations on MERRA's native grid allowing more thorough consideration of their impact on regional and global climatology. Included with the GIO data are the observation minus forecast (OmF) and observation minus analysis (OmA). Using OmF and OmA, we can identify the bias of the analysis against each observing system and gain a better understanding of the observations that are controlling the regional analysis. In this study we will focus on the wind and moisture assimilation.

Bosilovich, M. G.↗

NASA NTRS2002

On the Numerical Convergence to Steady State of Hypersonic Flows Over Bodies with Concavities

Two recent numerical studies of hypersonic flows over bodies with concavities revealed problems with convergence to a steady state with an oft-used application of local-time-stepping. Both simulated flows showed a time-like, periodic shedding of vortices in a subsonic domain bounded by supersonic external flow although the simulations, using local-time-stepping, were not time accurate. Simple modifications to the numerical algorithm were implemented to enable implicit, first-order accurate in time simulations. Subsequent time-accurate simulations of the two test problems converged to a steady state. The baseline algorithm and modifications for temporal accuracy are described. The requirement for sub-iterations to achieve convergence is demonstrated. Failure to achieve convergence without time accuracy is conjectured to arise from temporal errors being continuously refocused into a subsonic domain.

Gnoffo, Peter A.↗