Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Bounds”

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 451 records · Page 25
All sourcesNASA NTRSDOE OSTI
NASA NTRS2001

The Lag Model, a Turbulence Model for Wall Bounded Flows Including Separation

A new class of turbulence model is described for wall bounded, high Reynolds number flows. A specific turbulence model is demonstrated, with results for favorable and adverse pressure gradient flowfields. Separation predictions are as good or better than either Spalart Almaras or SST models, do not require specification of wall distance, and have similar or reduced computational effort compared with these models.

Olsen, Michael E.↗
NASA NTRS1995

Theoretical Studies of the Quasi-Bound Vibrational Levels in the B State of CH3

Consider the calculation of the oscillator strength of th B yielded by X electronic transition in CH3. The X state is strongly bound, but in the B state, CH3 is pre-dissociated by H atom tunneling through a potential energy barrier to form CH2+H. If we turn off pre-dissociation by making the potential outside of the barrier repulsive, the calculated 0-0 oscillator strength for CD3 from high quality ab initio potential and transition moment data along with accurate ro-vibrational wavefunctions is 0.0212, which is a factor of two greater than experiment. This discrepancy is largely due to the neglect of pre-dissociation. In this poster we explore techniques for including pre-dissociation in the calculations.

Schwenke, David W.↗
NASA NTRS2002

Improved Bounds on Violation of the Strong Equivalence Principle

I describe a unique, 20-year-long timing program for the binary pulsar B0655+64, the stalwart control experiment for measurements of gravitational radiation damping in relativistic neutron-star binaries. Observed limits on evolution of the B0655+64 orbit provide new bounds on the existence of dipolar gravitational radiation, and hence on violation of the Strong Equivalence Principle.

Arzoumanian, Z.↗
NASA NTRS2004

IR Fine-Structure Line Signatures of Central Dust-Bounded Nebulae in Luminous Infrared Galaxies

To date, the only far-infrared spectroscopic observations of ultraluminous infrared galaxies have been obtained with the European Space Agency s Infrared Space Observatory Long Wavelength Spectrometer. The spectra of these galaxies are characterized by molecular absorption lines and weak emission lines from photodissociation regions (PDRs), but no far-infrared (greater than 40 microns) lines from ionized regions have been detected. ESA s Herschel Space Observatory, slated for launch in 2007, will likely be able to detect these lines in samples of local and moderate redshift ultra luminous galaxies and to enable measurement of the ionization parameters, the slope of the ionizing continuum, and densities present in the ionized regions of these galaxies. The higher spatial resolution of proposed observatories discussed in this workshop will enable isolation of the central regions of local galaxies and detection of these lines in high-redshift galaxies for study of the evolution of galaxies. Here we discuss evidence for the e.ects of absorption by dust within ionized regions and present the spectroscopic signatures predicted by photoionization modeling of dust-bounded regions.

Fischer, J.↗
NASA NTRS2004

Precise and Efficient Static Array Bound Checking for Large Embedded C Programs

In this paper we describe the design and implementation of a static array-bound checker for a family of embedded programs: the flight control software of recent Mars missions. These codes are large (up to 250 KLOC), pointer intensive, heavily multithreaded and written in an object-oriented style, which makes their analysis very challenging. We designed a tool called C Global Surveyor (CGS) that can analyze the largest code in a couple of hours with a precision of 80%. The scalability and precision of the analyzer are achieved by using an incremental framework in which a pointer analysis and a numerical analysis of array indices mutually refine each other. CGS has been designed so that it can distribute the analysis over several processors in a cluster of machines. To the best of our knowledge this is the first distributed implementation of static analysis algorithms. Throughout the paper we will discuss the scalability setbacks that we encountered during the construction of the tool and their impact on the initial design decisions.

Venet, Arnaud↗
NASA NTRS2000

Parameterization of Model Validating Sets for Uncertainty Bound Optimizations

Given measurement data, a nominal model and a linear fractional transformation uncertainty structure with an allowance on unknown but bounded exogenous disturbances, easily computable tests for the existence of a model validating uncertainty set are given. Under mild conditions, these tests are necessary and sufficient for the case of complex, nonrepeated, block-diagonal structure. For the more general case which includes repeated and/or real scalar uncertainties, the tests are only necessary but become sufficient if a collinearity condition is also satisfied. With the satisfaction of these tests, it is shown that a parameterization of all model validating sets of plant models is possible. The new parameterization is used as a basis for a systematic way to construct or perform uncertainty tradeoff with model validating uncertainty sets which have specific linear fractional transformation structure for use in robust control design and analysis. An illustrative example which includes a comparison of candidate model validating sets is given.

Lim, K. B.↗
NASA NTRS1986

Do the higher oxidation states of the photosynthetic O2-evolving system contain bound H2O?

A modified mass spectrometer was used to determine whether the higher oxidation states of the photosynthetic O2-evolving system contain substrate water that is not freely exchangeable with the external medium. Our data indicated that the higher oxidation states contain no appreciable bound, non-exchangeable H2O. This suggests that H2O oxidation takes place via a rapid, concerted, all-or-none mechanism rather than by a mechanism involving stable, partially oxidized, H2O-derived intermediates. These findings set definite constraints on possible mechanisms of O2 evolution.

NASA Discipline Life Support Systems↗
NASA NTRS1998

Parameterization of Model Validating Sets for Uncertainty Bound Optimizations

Given experimental data and a priori assumptions on nominal model and a linear fractional transformation uncertainty structure, feasible conditions for model validation is given. All unknown but bounded exogenous inputs are assumed to occur at the plant outputs. With the satisfaction of the feasible conditions for model validation, it is shown that a parameterization of all model validating sets of plant models is possible. The new parameterization can be used as a basis for the development of a systematic way to construct model validating uncertainty models which have specific linear fractional transformation structure for use in robust control design and analysis. The proposed feasible condition (existence) test and the parameterization is computationally attractive as compared to similar tests currently available.

Lim, K. B.↗
NASA NTRS1997

On the Directional Dependence and Null Space Freedom in Uncertainty Bound Identification

In previous work, the determination of uncertainty models via minimum norm model validation is based on a single set of input and output measurement data. Since uncertainty bounds at each frequency is directionally dependent for multivariable systems, this will lead to optimistic uncertainty levels. In addition, the design freedom in the uncertainty model has not been utilized to further reduce uncertainty levels. The above issues are addressed by formulating a min- max problem. An analytical solution to the min-max problem is given to within a generalized eigenvalue problem, thus avoiding a direct numerical approach. This result will lead to less conservative and more realistic uncertainty models for use in robust control.

Lim, K. B.↗
NASA NTRS1997

Identification of the prooxidant site of human ceruloplasmin: a model for oxidative damage by copper bound to protein surfaces

Free transition metal ions oxidize lipids and lipoproteins in vitro; however, recent evidence suggests that free metal ion-independent mechanisms are more likely in vivo. We have shown previously that human ceruloplasmin (Cp), a serum protein containing seven Cu atoms, induces low density lipoprotein oxidation in vitro and that the activity depends on the presence of a single, chelatable Cu atom. We here use biochemical and molecular approaches to determine the site responsible for Cp prooxidant activity. Experiments with the His-specific reagent diethylpyrocarbonate (DEPC) showed that one or more His residues was specifically required. Quantitative [14C]DEPC binding studies indicated the importance of a single His residue because only one was exposed upon removal of the prooxidant Cu. Plasmin digestion of [14C]DEPC-treated Cp (and N-terminal sequence analysis of the fragments) showed that the critical His was in a 17-kDa region containing four His residues in the second major sequence homology domain of Cp. A full length human Cp cDNA was modified by site-directed mutagenesis to give His-to-Ala substitutions at each of the four positions and was transfected into COS-7 cells, and low density lipoprotein oxidation was measured. The prooxidant site was localized to a region containing His426 because CpH426A almost completely lacked prooxidant activity whereas the other mutants expressed normal activity. These observations support the hypothesis that Cu bound at specific sites on protein surfaces can cause oxidative damage to macromolecules in their environment. Cp may serve as a model protein for understanding mechanisms of oxidant damage by copper-containing (or -binding) proteins such as Cu, Zn superoxide dismutase, and amyloid precursor protein.

NASA Discipline Regulatory Physiology↗
NASA NTRS2005

Bounding the Spacecraft Atmosphere Design Space for Future Exploration Missions

The selection of spacecraft and space suit atmospheres for future human space exploration missions will play an important, if not critical, role in the ultimate safety, productivity, and cost of such missions. Internal atmosphere pressure and composition (particularly oxygen concentration) influence many aspects of spacecraft and space suit design, operation, and technology development. Optimal atmosphere solutions must be determined by iterative process involving research, design, development, testing, and systems analysis. A necessary first step in this process is the establishment of working bounds on the atmosphere design space.

Lange, Kevin E.↗
NASA NTRS2005

Deciding Termination for Ancestor Match- Bounded String Rewriting Systems

Termination of a string rewriting system can be characterized by termination on suitable recursively defined languages. This kind of termination criteria has been criticized for its lack of automation. In an earlier paper we have shown how to construct an automated termination criterion if the recursion is aligned with the rewrite relation. We have demonstrated the technique with Dershowitz's forward closure criterion. In this paper we show that a different approach is suitable when the recursion is aligned with the inverse of the rewrite relation. We apply this idea to Kurth's ancestor graphs and obtain ancestor match-bounded string rewriting systems. Termination is shown to be decidable for this class. The resulting method improves upon those based on match-boundedness or inverse match-boundedness.

Geser, Alfons↗
NASA NTRS2001

Upper bound on Io's heat flow

Analysis of the temperatures and areas of Io's thermal anomalies yields an upper bound on the total heat flow.

Thermal emmission infrared observationstemperature↗
NASA NTRS2006

Formation of Triplet Positron-helium Bound State by Stripping of Positronium Atoms in Collision with Ground State Helium

Formation of triplet positron-helium bound state by stripping of positronium atoms in collision with ground state helium JOSEPH DI RlENZI, College of Notre Dame of Maryland, RICHARD J. DRACHMAN, NASA/Goddard Space Flight Center - The system consisting of a positron and a helium atom in the triplet state e(+)He(S-3)(sup e) was conjectured long ago to be stable [1]. Its stability has recently been established rigorously [2], and the values of the energies of dissociation into the ground states of Ps and He(+) have also been reported [3] and [4]. We have evaluated the cross-section for this system formed by radiative attachment of a positron in triplet He state and found it to be small [5]. The mechanism of production suggested here should result in a larger cross-section (of atomic size) which we are determining using the Born approximation with simplified initial and final wave functions.

Drachman, Richard J.↗
NASA NTRS2007

Finite-Size Effects on the Behavior of the Susceptibility in van der Waals Films Bounded by Strongly Absorbing Substrates

We study critical point finite-size effects in the case of the susceptibility of a film in which interactions are characterized by a van der Waals-type power law tail. The geometry is appropriate to a slab-like system with two bounding surfaces. Boundary conditions are consistent with surfaces that both prefer the same phase in the low temperature, or broken symmetry, state. We take into account both interactions within the system and interactions between the constituents of the system and the material surrounding it. Specific predictions are made with respect to the behavior of 3He and 4He films in the vicinity of their respective liquid-vapor critical points.

phase-transition↗
NASA NTRS2008

Bounding Extreme Spacecraft Charging in the Lunar Environment

Robotic and manned spacecraft from the Apollo era demonstrated that the lunar surface in daylight will charge to positive potentials of a few tens of volts because the photoelectron current dominates the charging process. In contrast, potentials of the lunar surface in darkness which were predicted to be on the order of a hundred volts negative in the Apollo era have been shown more recently to reach values of a few hundred volts negative with extremes on the order of a few kilovolts. The recent measurements of night time lunar surface potentials are based on electron beams in the Lunar Prospector Electron Reflectometer data sets interpreted as evidence for secondary electrons generated on the lunar surface accelerated through a plasma sheath from a negatively charged lunar surface. The spacecraft potential was not evaluated in these observations and therefore represents a lower limit to the magnitude of the lunar negative surface potential. This paper will describe a method for obtaining bounds on the magnitude of lunar surface potentials from spacecraft measurements in low lunar orbit based on estimates of the spacecraft potential. We first use Nascap-2k surface charging analyses to evaluate potentials of spacecraft in low lunar orbit and then include the potential drops between the ambient space environment and the spacecraft to the potential drop between the lunar surface and the ambient space environment to estimate the lunar surface potential from the satellite measurements.

Minow, Joseph I.↗
NASA NTRS2009

Error-Rate Bounds for Coded PPM on a Poisson Channel

Equations for computing tight bounds on error rates for coded pulse-position modulation (PPM) on a Poisson channel at high signal-to-noise ratio have been derived. These equations and elements of the underlying theory are expected to be especially useful in designing codes for PPM optical communication systems. The equations and the underlying theory apply, more specifically, to a case in which a) At the transmitter, a linear outer code is concatenated with an inner code that includes an accumulator and a bit-to-PPM-symbol mapping (see figure) [this concatenation is known in the art as "accumulate-PPM" (abbreviated "APPM")]; b) The transmitted signal propagates on a memoryless binary-input Poisson channel; and c) At the receiver, near-maximum-likelihood (ML) decoding is effected through an iterative process. Such a coding/modulation/decoding scheme is a variation on the concept of turbo codes, which have complex structures, such that an exact analytical expression for the performance of a particular code is intractable. However, techniques for accurately estimating the performances of turbo codes have been developed. The performance of a typical turbo code includes (1) a "waterfall" region consisting of a steep decrease of error rate with increasing signal-to-noise ratio (SNR) at low to moderate SNR, and (2) an "error floor" region with a less steep decrease of error rate with increasing SNR at moderate to high SNR. The techniques used heretofore for estimating performance in the waterfall region have differed from those used for estimating performance in the error-floor region. For coded PPM, prior to the present derivations, equations for accurate prediction of the performance of coded PPM at high SNR did not exist, so that it was necessary to resort to time-consuming simulations in order to make such predictions. The present derivation makes it unnecessary to perform such time-consuming simulations.

Moision, Bruce↗
NASA NTRS2008

Bounded Linear Stability Margin Analysis of Nonlinear Hybrid Adaptive Control

This paper presents a bounded linear stability analysis for a hybrid adaptive control that blends both direct and indirect adaptive control. Stability and convergence of nonlinear adaptive control are analyzed using an approximate linear equivalent system. A stability margin analysis shows that a large adaptive gain can lead to a reduced phase margin. This method can enable metrics-driven adaptive control whereby the adaptive gain is adjusted to meet stability margin requirements.

Nguyen, Nhan T.↗