Search NASA⌕ Search

SEARCH · Search NASA

Results for “Bounding Analysis”

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 289 records · Page 16
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

AdS bulk locality from sharp CFT bounds

It is a long-standing conjecture that any CFT with a large central charge and a large gap Δ gap in the spectrum of higher-spin single-trace operators must be dual to a local effective field theory in AdS. We prove a sharp form of this conjecture by deriving numerical bounds on bulk Wilson coefficients in terms of Δ gap using the conformal bootstrap. Our bounds exhibit the scaling in Δ gap expected from dimensional analysis in the bulk. Our main tools are dispersive sum rules that provide a dictionary between CFT dispersion relations and S-matrix dispersion relations in appropriate limits. This dictionary allows us to apply recently-developed flat-space methods to construct positive CFT functionals. We show how AdS 4 naturally resolves the infrared divergences present in 4D flat-space bounds. Our results imply the validity of twice-subtracted dispersion relations for any S-matrix arising from the flat-space limit of AdS/CFT.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2025

New state of matter between the hadronic phase and the quark-gluon plasma?

Lattice-quantum chromodynamics (QCD) simulations and theoretical arguments hint at the existence of an intermediate phase of strongly interacting matter between a confined hadron gas and a deconfined quark-gluon plasma (QGP). We qualitatively and semiquantitatively explore and differentiate the phase structures in the temperature window from the QCD pseudocritical temperature 𝑇 c ≃ 160 MeV to the pure gluonic deconfinement temperature 𝑇 d ≃ 285 MeV. We propose a three-regime picture using a hadron resonance gas description augmented with the exponential spectrum of strings, corresponding to highly excited mesons and glueballs, based on the analysis of a large number 𝑁 c of colors. We estimate the entropy density from our model to confirm that the lattice-QCD data are bracketed with three regimes, i.e., a hadron gas, a QGP, and a new phase for 𝑇 c ≲ 𝑇 ≲ 𝑇 d . In this new phase, which we name a spaghetti of quarks with glueballs (SQGBs), thermal degrees of freedom of quarks are liberated, yet gluons remain confined in glueballs. Since the Hagedorn temperature 𝑇 H ∼ 285 MeV is universal in the meson and the glueball sectors, in the infinite-𝑁 c limit, the phase diagram in the plane of the baryon chemical potential and the temperature is reduced to one with the confined and deconfined phases and quarkyonic matter at high density. At large but finite 𝑁 c , an SQGB window may open between these phases. We point out that the SQGB has interesting similarities with quarkyonic matter and that this matter in the large-𝑁 c limit is confined as measured by the interaction between heavy quarks, but behaves in other respects like a quasifree gas of quarks. As a result of the extrapolation to 𝑁 c = 3, we present a revised phase diagram with the SQGB phase bounded by thermal crossovers. Finally, we give a quantitative analysis of chiral-symmetry restoration in the SQGB phase.

Color confinement↗
NASA NTRS1992

Mechanical properties of silicate glasses exposed to a low-Earth orbit

The effects of a 5.8 year exposure to low earth orbit environment upon the mechanical properties of commercial optical fused silica, low iron soda-lime-silica, Pyrex 7740, Vycor 7913, BK-7, and the glass ceramic Zerodur were examined. Mechanical testing employed the ASTM-F-394 piston on 3-ball method in a liquid nitrogen environment. Samples were exposed on the Long Duration Exposure Facility (LDEF) in two locations. Impacts were observed on all specimens except Vycor. Weibull analysis as well as a standard statistical evaluation were conducted. The Weibull analysis revealed no differences between control samples and the two exposed samples. We thus concluded that radiation components of the Earth orbital environment did not degrade the mechanical strength of the samples examined within the limits of experimental error. The upper bound of strength degradation for meteorite impacted samples based upon statistical analysis and observation was 50 percent.

Wiedlocher, David E.↗
NASA NTRS1984

A validation methodology for fault-tolerant clock synchronization

A validation method for the synchronization subsystem of a fault-tolerant computer system is presented. The high reliability requirement of flight crucial systems precludes the use of most traditional validation methods. The method presented utilizes formal design proof to uncover design and coding errors and experimentation to validate the assumptions of the design proof. The experimental method is described and illustrated by validating an experimental implementation of the Software Implemented Fault Tolerance (SIFT) clock synchronization algorithm. The design proof of the algorithm defines the maximum skew between any two nonfaulty clocks in the system in terms of theoretical upper bounds on certain system parameters. The quantile to which each parameter must be estimated is determined by a combinatorial analysis of the system reliability. The parameters are measured by direct and indirect means, and upper bounds are estimated. A nonparametric method based on an asymptotic property of the tail of a distribution is used to estimate the upper bound of a critical system parameter. Although the proof process is very costly, it is extremely valuable when validating the crucial synchronization subsystem.

Johnson, S. C.↗
NASA NTRS1972

A critical examination of the validity of simplified models for radiant heat transfer analysis.

Examination of the directional effects of the simplified models by comparing the experimental data with the predictions based on simple and more detailed models for the radiation characteristics of surfaces. Analytical results indicate that the constant property diffuse and specular models do not yield the upper and lower bounds on local radiant heat flux. In general, the constant property specular analysis yields higher values of irradiation than the constant property diffuse analysis. A diffuse surface in the enclosure appears to destroy the effect of specularity of the other surfaces. Semigray and gray analyses predict the irradiation reasonably well provided that the directional properties and the specularity of the surfaces are taken into account. The uniform and nonuniform radiosity diffuse models are in satisfactory agreement with each other.

Toor, J. S.↗
NASA NTRS2011

Directed Incremental Symbolic Execution

The last few years have seen a resurgence of interest in the use of symbolic execution -- a program analysis technique developed more than three decades ago to analyze program execution paths. Scaling symbolic execution and other path-sensitive analysis techniques to large systems remains challenging despite recent algorithmic and technological advances. An alternative to solving the problem of scalability is to reduce the scope of the analysis. One approach that is widely studied in the context of regression analysis is to analyze the differences between two related program versions. While such an approach is intuitive in theory, finding efficient and precise ways to identify program differences, and characterize their effects on how the program executes has proved challenging in practice. In this paper, we present Directed Incremental Symbolic Execution (DiSE), a novel technique for detecting and characterizing the effects of program changes. The novelty of DiSE is to combine the efficiencies of static analysis techniques to compute program difference information with the precision of symbolic execution to explore program execution paths and generate path conditions affected by the differences. DiSE is a complementary technique to other reduction or bounding techniques developed to improve symbolic execution. Furthermore, DiSE does not require analysis results to be carried forward as the software evolves -- only the source code for two related program versions is required. A case-study of our implementation of DiSE illustrates its effectiveness at detecting and characterizing the effects of program changes.

Person, Suzette↗
NASA NTRS1979

A generalized modal shock spectra method for spacecraft loads analysis

Unlike the traditional shock spectra approach, the generalization presented in this paper permits elastic interaction between the spacecraft and launch vehicle in order to obtain accurate bounds on the spacecraft response and structural loads. In addition, the modal response from a previous launch vehicle transient analysis - with or without a dummy spacecraft - is exploited in order to define a modal impulse as a simple idealization of the actual forcing function. The idealized modal forcing function is then used to derive explicit expressions for an estimate of the bound on the spacecraft structural response and forces.

Trubert, M.↗
DOE OSTI2020

Iron mineral dissolution releases iron and associated organic carbon during permafrost thaw

It has been shown that reactive soil minerals, specifically iron(III) (oxyhydr)oxides, can trap organic carbon in soils overlying intact permafrost, and may limit carbon mobilization and degradation as it is observed in other environments. However, the use of iron(III)-bearing minerals as terminal electron acceptors in permafrost environments, and thus their stability and capacity to prevent carbon mobilization during permafrost thaw, is poorly understood. We have followed the dynamic interactions between iron and carbon using a space-for-time approach across a thaw gradient in Abisko (Sweden), where wetlands are expanding rapidly due to permafrost thaw. We show through bulk (selective extractions, EXAFS) and nanoscale analysis (correlative SEM and nanoSIMS) that organic carbon is bound to reactive Fe primarily in the transition between organic and mineral horizons in palsa underlain by intact permafrost (41.8 ±10.8 mg carbon per g soil, 9.9 to 14.8% of total soil organic carbon). During permafrost thaw, water-logging and O 2 limitation lead to reducing conditions and an increase in abundance of Fe(III)-reducing bacteria which favor mineral dissolution and drive mobilization of both iron and carbon along the thaw gradient. By providing a terminal electron acceptor, this rusty carbon sink is effectively destroyed along the thaw gradient and cannot prevent carbon release with thaw.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2023

Non-asymptotic analysis of ensemble Kalman updates: effective dimension and localization

Many modern algorithms for inverse problems and data assimilation rely on ensemble Kalman updates to blend prior predictions with observed data. Ensemble Kalman methods often perform well with a small ensemble size, which is essential in applications where generating each particle is costly. This paper develops a non-asymptotic analysis of ensemble Kalman updates, which rigorously explains why a small ensemble size suffices if the prior covariance has moderate effective dimension due to fast spectrum decay or approximate sparsity. Here, we present our theory in a unified framework, comparing everal implementations of ensemble Kalman updates that use perturbed observations, square root filtering and localization. As part of our analysis, we develop new dimension-free covariance estimation bounds for approximately sparse matrices that may be of independent interest.

Mathematics↗
DOE OSTI2024

A detailed chemical study of the extreme velocity stars in the galaxy

ABSTRACT Two decades on, the study of hypervelocity stars is still in its infancy. These stars can provide novel constraints on the total mass of the Galaxy and its dark matter distribution. However how these stars are accelerated to such high velocities is unclear. Various proposed production mechanisms for these stars can be distinguished using chemo-dynamic tagging. The advent of Gaia and other large surveys have provided hundreds of candidate hyper velocity objects to target for ground-based high-resolution follow-up observations. We conduct high-resolution spectroscopic follow-up observations of 16 candidate late-type hyper velocity stars using the Apache Point Observatory and the McDonald Observatory. We derive atmospheric parameters and chemical abundances for these stars. We measure up to 22 elements, including the following nucleosynthetic families: $\alpha$ (Mg, Si, Ca, and Ti), light/odd-Z (Na, Al, V, Cu, and Sc), Fe-peak (Fe, Cr, Mn, Co, Ni, and Zn), and neutron capture (Sr, Y, Zr, Ba, La, Nd, and Eu). Our kinematic analysis shows one candidate is unbound, two are marginally bound, and the remainder are bound to the Galaxy. Finally, for the three unbound or marginally bound stars, we perform orbit integration to locate possible globular cluster or dwarf galaxy progenitors. We do not find any likely candidate systems for these stars and conclude that the unbound stars are likely from the the stellar halo, in agreement with the chemical results. The remaining bound stars are all chemically consistent with the stellar halo as well.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2023

Fungal organic acid uptake of mineral-derived K is dependent on distance from carbon hotspot

Fungal mineral weathering regulates the bioavailability of inorganic nutrients from mineral surfaces to organic matter and increase the bioavailable fraction of nutrients. Such weathering strategies are classified as biomechanical or biochemical. In the case of fungal uptake of mineral nutrients through biochemical weathering, it is widely hypothesized that uptake of inorganic nutrients occurs through organic acid chelation, but such processes have not been directly visualized. This is in part due to challenges in probing the complex and heterogeneous soil environment. Here, using an epoxy-based, mineral-doped soil micromodel platform, which emulates soil mineralogy and porosity, we visualize the molecular mechanisms of mineral weathering. Mass spectrometry imaging revealed differences in the distribution of fungal exudates, citric acid, and tartaric acid on the soil micromodels in presence of minerals. Citric acid was detected closer to the nutrient-rich inoculation point, whereas tartaric acid was highly abundant away from inoculation point. This suggested that the organic acid exuded by the fungi depended on the proximity from the carbon-rich organic substrate at the point of inoculation. Using a combination of X-ray fluorescence and X-ray near edge structure analysis, we identified citric acid- and tartaric acid-bound K within fungal hyphae networks grown in the presence of minerals. Combined, our results provide direct evidence that fungi uptake and transport mineral derived nutrient organic acid chelation. The results of this study provided unprecedented visualization of fungal uptake and transport of K + , while resolving the indirect weathering mechanism of fungal K uptake from mineral interfaces.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2021

Lower bound for the neutrino magnetic moment from kick velocities induced at the birth of neutron stars

We show that the neutrino chirality flip, which can take place in the core of a neutron star at birth, is an efficient process to allow neutrinos to anisotropically escape, thus providing a to induce the neutron star kick velocities. The process is not subject to the no-go theorem since although the flip from left- to right-handed neutrinos happens at equilibrium, the reverse process does not take place given that right-handed neutrinos do not interact with matter and therefore detailed balance is lost. For simplicity, we model the neutron star core as being made of strange quark matter. We find that the process is efficient when the neutrino magnetic moment is not smaller than [Formula: see text], where [Formula: see text] is the Bohr magneton. When this lower bound is combined with the most stringent upper bound, which uses the luminosity data obtained from the analysis of SN 1987A, our results set a range for the neutrino magnetic moment given by [Formula: see text]. The obtained kick velocities for natal conditions are consistent with the observed ones and span the correct range of radii for typical magnetic field intensities.

Physics↗
DOE OSTI2022

Safety Analysis for the Versatile Test Reactor Conceptual Design

Safety analysis simulations have been carried out using the SAS4A/SASSYS-1 safety analysis code system to update the baseline set of results for the Versatile Test Reactor conceptual design. Results from a previous revision of this work provided input for the Conceptual Safety Design Report summarizing the overall safety basis for the VTR. This work will also support future analyses that will be required for Chapter 13, “Accident Analysis,” of a preliminary safety analysis report. A number of transients have been evaluated based on categories of postulated accident sequences suggested for consideration in NUREG-1537. Ultimately, the full spectrum of event initiators and subsequent accident sequences will be defined through a probabilistic risk assessment of the plant design following the implementation of the Licensing Modernization Project guidelines as described in the VTR Safety Design Strategy. Since that process is ongoing, the present analysis addresses several transients that are expected to be bounding accident scenarios that represent the three key ways to perturb a reactor: through changes to the core inlet temperature, mass flow rate, or reactivity. These correspond to a loss of heat sink (LOHS), loss of flow (LOF) or station blackout (SBO), and transient overpower (TOP), respectively. Both Protected and Unprotected versions of these transients have been evaluated, along with additional transients that include transient overpower with one stuck rod, pump coast-down failures, seismic events, and overcooling events. At the current stage of design, transient simulation results for the Versatile Test Reactor indicate that large safety margins exist for many event initiators. However, several “enabling” assumptions have been made, in terms of both design features and design limits, in order to perform the analyses; and these assumptions will need to be revised as the design matures. In addition, a larger spectrum of events needs to be evaluated as part of the on-going probabilistic risk assessment process.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
NASA NTRS1972

Possible variation of the gravitational constant over the elements.

We re-examine the theory and data of the Kreuzer experiment to measure the relative difference in the gravitational constant between two elements. Significant errors appear in the statistical analysis of Kreuzer which vitiate his conclusions. The upper bound for the relative difference of F and Br from his experimental data correctly becomes .02, about 10 times the limit already set on the general variation of the gravitational constant over the elements by direct use of a Cavendish balance.

Gilvarry, J. J.↗
NASA NTRS1983

Advanced ion thruster and electrochemical launcher research

The theoretical model of orificed hollow cathode operation predicted experimentally observed cathode performance with reasonable accuracy. The deflection and divergence characteristics of ion beamlets emanating from a two grid optics system as a function of the relative offset of screen and accel grids hole axes were described. Ion currents associated with discharge chamber operation were controlled to improve ion thruster performance markedly. Limitations imposed by basic physical laws on reductions in screen grid hole size and grid spacing for ion optics systems were described. The influence of stray magnetic fields in the vicinity of a neutralizer on the performance of that neutralizer was demonstrated. The ion current density extracted from a thruster was enhanced by injecting electrons into the region between its ion accelerating grids. Theoretical analysis of the electrothermal ramjet concept of launching space bound payloads at high acceleration levels is described. The operation of this system is broken down into two phases. In the light gas gun phase the payload is accelerated to the velocity at which the ramjet phase can commence. Preliminary models of operation are examined and shown to yield overall energy efficiences for a typical Earth escape launch of 60 to 70%. When shock losses are incorporated these efficiencies are still observed to remain at the relatively high values of 40 to 50%.

Wilbur, P. J.↗
NASA NTRS1982

Information Science Panel joint meeting with Imaging Science Panel

Specific activity in information extraction science (taken to include data handling) is needed to: help identify the bounds of practical missions; identify potential data handling and analysis scenarios; identify the required enabling technology; and identify the requirements for a design data base to be used by the disciplines in determining potential parameters for future missions. It was defined that specific analysis topics were a function of the discipline involved, and therefore no attempt was made to define any specific analysis developments required. Rather, it was recognized that a number of generic data handling requirements exist whose solutions cannot be typically supported by the disciplines. The areas of concern were therefore defined as: data handling aspects of system design considerations; enabling technology for data handling, with specific attention to rectification and registration; and enabling technology for analysis. Within each of these areas, the following topics were addressed: state of the art (current status and contributing factors); critical issues; and recommendations for research and/or development.

Source record↗
NASA NTRS1986

Control design for robust stability in linear regulators: Application to aerospace flight control

Time domain stability robustness analysis and design for linear multivariable uncertain systems with bounded uncertainties is the central theme of the research. After reviewing the recently developed upper bounds on the linear elemental (structured), time varying perturbation of an asymptotically stable linear time invariant regulator, it is shown that it is possible to further improve these bounds by employing state transformations. Then introducing a quantitative measure called the stability robustness index, a state feedback conrol design algorithm is presented for a general linear regulator problem and then specialized to the case of modal systems as well as matched systems. The extension of the algorithm to stochastic systems with Kalman filter as the state estimator is presented. Finally an algorithm for robust dynamic compensator design is presented using Parameter Optimization (PO) procedure. Applications in a aircraft control and flexible structure control are presented along with a comparison with other existing methods.

Yedavalli, R. K.↗
NASA NTRS2012

Determination of Barometric Altimeter Errors for the Orion Exploration Flight Test-1 Entry

The Exploration Flight Test 1 (EFT-1) mission is the unmanned flight test for the upcoming Multi-Purpose Crew Vehicle (MPCV). During entry, the EFT-1 vehicle will trigger several Landing and Recovery System (LRS) events, such as parachute deployment, based on on-board altitude information. The primary altitude source is the filtered navigation solution updated with GPS measurement data. The vehicle also has three barometric altimeters that will be used to measure atmospheric pressure during entry. In the event that GPS data is not available during entry, the altitude derived from the barometric altimeter pressure will be used to trigger chute deployment for the drogues and main parachutes. Therefore it is important to understand the impact of error sources on the pressure measured by the barometric altimeters and on the altitude derived from that pressure. The error sources for the barometric altimeters are not independent, and many error sources result in bias in a specific direction. Therefore conventional error budget methods could not be applied. Instead, high fidelity Monte-Carlo simulation was performed and error bounds were determined based on the results of this analysis. Aerodynamic errors were the largest single contributor to the error budget for the barometric altimeters. The large errors drove a change to the altitude trigger setpoint for FBC jettison deploy.

Brown, Denise L.↗