Search NASA⌕ Search

SEARCH · Search NASA

Results for “Quantifier Elimination”

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 91 records · Page 5
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

Plasma Abatement of Volatile Organic Compounds

One difficulty with crewed space operations is the potential for the contamination of the spacecraft habitable volume from volatile organic compounds (VOCs) that may be present. One possible VOC abatement process is to apply a plasma to the contaminated gases. Plasmas provide high energy electrons and ions that are capable of breaking down gaseous organic species generally into smaller compounds. To explore plasma VOC abatement, the authors constructed a plasma gas system that recirculates a particular VOC-laden gas mixture through a plasma torch. This allows for the periodic collection of aliquots of gaseous samples for subsequent analyses via gas chromatography mass spectrometry, designed to quantify the remaining VOC materials. The VOCs evaluated included 100 ppm of acetone, benzene, ethanol, and pentane in a background of carbon dioxide. The plasma conversion of all analytes followed first-order rate kinetics, and VOC elimination was observed after 10 min or less of treatment for all analytes measured. Additionally, it was observed that the plasma caused the conversion of CO 2 into oxygen and CO.

Joel A. Olson↗
DOE OSTI2025

Dual-season thermal energy storage-integrated heat pump system for load shifting: experiments, modeling and nationwide analysis

Here, this paper proposes and validates a dual-season thermal energy storage-integrated heat pump (TES-HP) system that shifts building electric load in both cooling and heating modes using a single phase-change TES. The design uses the TES as a heat sink for the condenser in summer and a heat source for the evaporator in winter, thereby reducing on-peak electric demand while ensuring compatible with existing air-distribution systems. A 14-kW TES-HP prototype with six operating modes and novel refrigerant charge management strategies was experimentally tested under varied conditions. Subsequently, data-driven polynomial performance curves were developed and validated against experiments, then coupled with a phase change material (PCM) model and a calibrated building model within a rule-based controller. Single-day case studies demonstrated effective on-peak demand reduction while maintaining thermal comfort. During cooling, hourly power was lowered by up to 1.5 kW; in heating, average hourly power decreased from over 3.5 kW to 1.8 kW, compared to an HP-only system, achieving 64.5 % load shifting, and the need for resistance heating was eliminated. Seasonal simulations showed typical on-peak electricity savings of 25–35 % in cooling and 40–65 % in heating, with the largest benefits on the hottest and coldest days. Extended response-surface analysis and nationwide mapping quantified load shifting as functions of ambient and TES temperatures, revealing a seasonal trade-off in TES phase-change temperature. These results demonstrate the TES-HP system as a practical and scalable solution for grid-interactive buildings that reduces on-peak demand and electricity use while maintaining thermal comfort and enhancing grid flexibility and reliability.

Grid-interactive buildings↗
NASA NTRS1974

The use of color infrared imagery for the study of marsh buggy tracks

Color infrared imagery is used to determine the location of buggy routes and to quantify the extent of tracks in a selected area where the marsh is seriously dissected. The imagery is used to show successive stages of destruction. It is recommended that alternate routes be identified in the operating area to eliminate continuous use of the same route and facilitate faster revegetation.

Whitehurst, C. A.↗
NASA NTRS2021

J. E. Nichols and D. M. Peteet reply

The quantification of northern peatland carbon stocks is vital to our understanding of the global carbon cycle, and we welcome the opportunity to respond to the comments submitted in the preceding “Matters Arising” (Yu et al., Ratcliffe et al.). In response to Yu et al., we provide additional clarification of how data from the Neotoma Paleoecological Database (NPD) are stored and used. We also repeated our quantification of northern peat carbon stocks using only radiocarbon data vetted by other publications. However, our conclusions are unchanged by the elimination of the additional data. We respond to Ratcliffe et al. by addressing the conflict between the “time-history” and “inventory methods.” We calculated northern peatland carbon stocks by the inventory method using our dataset and carefully quantify the uncertainties. We find that while the mean values for carbon stock differ by twofold, the uncertainties around those means are larger than previously acknowledged and are overlapping. This result emphasizes the need for continued work by the carbon cycle science community to understand and quantify uncertainty in terrestrial carbon stock estimates.

Peatlands↗
NASA NTRS2014

Musculoskeletal-induced Nucleation in Altitude Decompression Sickness

Musculoskeletal activity has the potential to both improve and compromise decompression safety. Exercise enhances inert gas elimination during oxygen breathing prior to decompression (prebreathe), but it may also promote bubble nuclei formation (nucleation), which can lead to gas phase separation and bubble growth and increase the risk of decompression sickness (DCS). The timing, pattern and intensity of musculoskeletal activity and the level of tissue supersaturation may be critical to the net effect. There are limited data available to evaluate cost-benefit relationships. Understanding the relationship is important to improve our understanding of the underlying mechanisms of nucleation in exercise prebreathe protocols and to quantify risk in gravity and microgravity environments. Data gathered during NASA's Prebreathe Reduction Program (PRP) studies combined oxygen prebreathe and exercise followed by low pressure (4.3 psi; altitude equivalent of 30,300 ft [9,235 m]) microgravity simulation to produce two protocols used by astronauts preparing for extravehicular activity. Both the Phase II/CEVIS (cycle ergometer vibration isolation system) and ISLE (in-suit light exercise) trials eliminated ambulation to more closely simulate the microgravity environment. The CEVIS results (35 male, 10 female) serve as control data for this NASA/Duke study to investigate the influence of ambulation exercise on bubble formation and the subsequent risk of DCS.

Pollock, N. W.↗
DOE OSTI2021

Strategies for solving the excited-state self-consistent-field problem for highly excited and multiply ionized states

The dynamics of molecules exposed to intense x-ray radiation involve a large number of multiply ionized and highly excited electronic configurations. To model these dynamics a reliable and efficient electronic structure model is imperative. Employing the Hartree-Fock-Slater electronic structure model in combination with the maximum overlap method, we quantify the associated convergence failures when calculating electronic states of carbon monoxide with multiple vacancies in the core and valence levels. Here, we characterize these cases and describe strategies to overcome the convergence problems. The described techniques not only eliminate all convergence issues for CO but also result in a significant reduction of convergence failures for simulations of the x-ray-induced multiple ionization dynamics of the phenol molecule.

74 ATOMIC AND MOLECULAR PHYSICS↗
DOE OSTI2021

A Stochastic Intracellular Model of Anthrax Infection With Spore Germination Heterogeneity

We present a stochastic mathematical model of the intracellular infection dynamics of Bacillus anthracis in macrophages. Following inhalation of B. anthracis spores, these are ingested by alveolar phagocytes. Ingested spores then begin to germinate and divide intracellularly. This can lead to the eventual death of the host cell and the extracellular release of bacterial progeny. Some macrophages successfully eliminate the intracellular bacteria and will recover. Here, a stochastic birth-and-death process with catastrophe is proposed, which includes the mechanism of spore germination and maturation of B. anthracis . The resulting model is used to explore the potential for heterogeneity in the spore germination rate, with the consideration of two extreme cases for the rate distribution: continuous Gaussian and discrete Bernoulli. We make use of approximate Bayesian computation to calibrate our model using experimental measurements from in vitro infection of murine peritoneal macrophages with spores of the Sterne 34F2 strain of B. anthracis . The calibrated stochastic model allows us to compute the probability of rupture, mean time to rupture, and rupture size distribution, of a macrophage that has been infected with one spore. We also obtain the mean spore and bacterial loads over time for a population of cells, each assumed to be initially infected with a single spore. Our results support the existence of significant heterogeneity in the germination rate, with a subset of spores expected to germinate much later than the majority. Furthermore, in agreement with experimental evidence, our results suggest that most of the spores taken up by macrophages are likely to be eliminated by the host cell, but a few germinated spores may survive phagocytosis and lead to the death of the infected cell. Finally, we discuss how this stochastic modelling approach, together with dose-response data, allows us to quantify and predict individual infection risk following exposure.

59 BASIC BIOLOGICAL SCIENCES↗
NASA NTRS2001

Automated quantification of mitral valve regurgitation based on normalized centerline velocity distribution

Previous echocardiographic techniques for quantifying valvular regurgitation are limited by factors including uncertainties for orifice location and a hemispheric convergence assumption that often results in over- and underestimation of flow rate and regurgitant orifice area. Using computational fluid dynamics simulations, these factors were eliminated, allowing a more accurate assessment of regurgitation. A model was developed to allow automated quantification of regurgitant orifice diameter based on the centerline velocity data available from color M-mode echocardiography. The model, validated using in vitro unsteady flow data, demonstrated improved accuracy for orifice diameter (y=0.95x + 0.38, r=0.96) and volume (y=1.18x - 4.72, r=0.93).

NASA Program Biomedical Research and Countermeasur↗
NASA NTRS2001

Fiber-type susceptibility to eccentric contraction-induced damage of hindlimb-unloaded rat AL muscles

Slow oxidative (SO) fibers of the adductor longus (AL) were predominantly damaged during voluntary reloading of hindlimb unloaded (HU) rats and appeared explainable by preferential SO fiber recruitment. The present study assessed damage after eliminating the variable of voluntary recruitment by tetanically activating all fibers in situ through the motor nerve while applying eccentric (lengthening) or isometric contractions. Muscles were aldehyde fixed and resin embedded, and semithin sections were cut. Sarcomere lesions were quantified in toluidine blue-stained sections. Fibers were typed in serial sections immunostained with antifast myosin and antitotal myosin (which highlights slow fibers). Both isometric and eccentric paradigms caused fatigue. Lesions occurred only in eccentrically contracted control and HU muscles. Fatigue did not cause lesions. HU increased damage because lesioned- fiber percentages within fiber types and lesion sizes were greater than control. Fast oxidative glycolytic (FOG) fibers were predominantly damaged. In no case did damaged SO fibers predominate. Thus, when FOG, SO, and hybrid fibers are actively lengthened in chronically unloaded muscle, FOG fibers are intrinsically more susceptible to damage than SO fibers. Damaged hybrid-fiber proportions ranged between these extremes.

Non-NASA Center↗
DOE OSTI2021

Quantification of energy and cost reduction from decreasing dissolved oxygen levels in full‐scale water resource recovery facilities

Abstract Aeration systems often lack the efficiency to maintain a desired residual dissolved oxygen (DO) concentration in the tank in part because little consideration is given to the dynamic daily and seasonal loading conditions. Although advanced aeration controllers exist, the majority of plants have DO set points typically based on common practice and literature values rather than site‐specific conditions, which can result in DO set points higher than those necessary to meet treatment objectives. DO set point reduction strategies have primarily been proposed through either static or dynamic simulations. In this study, the substantial improvements associated with DO set point reduction are demonstrated at full scale. A yearlong characterization of full‐scale aeration dynamics captured the effect of diurnal and seasonal fluctuations on oxygen transfer and energy demand and so facilitated the estimation of the potential savings of DO reduction strategies. Full‐scale validation provided direct evidence of DO reduction strategies inducing an overall enhancement of oxygen transfer efficiency along the different bioreactors, while confirming that energy savings as high as 20% were feasible. This study quantifies the influence of oxygen transfer efficiency on operating choices and site‐specific conditions (control strategy, loading conditions, and influent flow variability). Practitioner points We quantified the energy reduction and cost savings associated with a DO reduction in an aeration tank. For each 0.2 mg/L of DO decreased, the average power demand reduction per unit water treated exceeded 17%. Field measurements of dynamic alpha values eliminate the uncertainty in estimating aeration energy and cost savings from DO variations.

Pasini, Federico↗
DOE OSTI2025

Benchmark microgravity experiments and computations for 3D dendritic-array stability in directional solidification

In this study, we present a comprehensive quantitative analysis of stability bands for dendritic arrays during directional solidification of a transparent succinonitrile-0.46 wt % camphor alloy, spanning a broad range of pulling velocities. Taking advantage of the microgravity environment aboard the International Space Station where most convection effects are suppressed, we obtain unique measurements that quantify the stable primary spacing range of spatially extended three-dimensional dendritic array structures under purely diffusive growth conditions. Through carefully designed velocity jump experiments and detailed examination of sub-grain boundary dynamics, we characterize key instabilities, including elimination and tertiary branching, shedding new light on the mechanisms governing dynamic dendritic spacing selection in extended 3D arrays. Phase field simulations are performed to characterize the stability limits of dendritic array structures for quantitative comparison with the flight experiments. Although the simulations capture general trends, significant deviations are noted at the upper stability boundary, indicating the influence of additional, unexplored factors. These findings contribute to a deeper understanding of dendritic growth dynamics and offer valuable benchmark data that could aid in refining predictive models and improving control of dendritic microstructures in metallurgical applications.

36 MATERIALS SCIENCE↗
DOE OSTI2024

Cyber-Informed Engineering (CIE) Benefits Quantification: Recommendations for Consideration

Cyber-Informed Engineering (CIE) integrates engineering principles into the design, development, and operation of cyber-physical systems (CPS) to mitigate or eliminate the impact of cyber-enabled attacks. In July 2024, Idaho National Laboratory (INL) engaged MITRE researchers to investigate methods for systematically measuring the benefits of CIE implementation. This included evaluating the success and outcomes of CIE, identifying and quantifying the value of early adoption, and determining the business justification for its implementation, especially in existing infrastructure. MITRE reviewed existing methods in engineering and cybersecurity to understand how organizations prioritize security investments, considering their strengths, weaknesses, and relevance to CIE stakeholders. Based on this analysis, MITRE proposed potential approaches for quantifying CIE benefits and provided recommendations for INL's consideration.

42 ENGINEERING↗
NASA NTRS1991

The effects of pressure sensor acoustics on airdata derived from a High-angle-of-attack Flush Airdata Sensing (HI-FADS) system

The accuracy of a nonintrusive high angle-of-attack flush airdata sensing (HI-FADS) system was verified for quasi-steady flight conditions up to 55 deg angle of attack during the F-18 High Alpha Research Vehicle (HARV) Program. The system is a matrix of nine pressure ports arranged in annular rings on the aircraft nose. The complete airdata set is estimated using nonlinear regression. Satisfactory frequency response was verified to the system Nyquist frequency (12.5 Hz). The effects of acoustical distortions within the individual pressure sensors of the nonintrusive pressure matrix on overall system performance are addressed. To quantify these effects, a frequency-response model describing the dynamics of acoustical distortion is developed and simple design criteria are derived. The model adjusts measured HI-FADS pressure data for the acoustical distortion and quantifies the effects of internal sensor geometries on system performance. Analysis results indicate that sensor frequency response characteristics very greatly with altitude, thus it is difficult to select satisfactory sensor geometry for all altitudes. The solution used presample filtering to eliminate resonance effects, and short pneumatic tubing sections to reduce lag effects. Without presample signal conditioning the system designer must use the pneumatic transmission line to attenuate the resonances and accept the resulting altitude variability.

Whitmore, Stephen A.↗
NASA NTRS1995

UHB Engine Fan Broadband Noise Reduction Study

A study has been completed to quantify the contribution of fan broadband noise to advanced high bypass turbofan engine system noise levels. The result suggests that reducing fan broadband noise can produce 3 to 4 EPNdB in engine system noise reduction, once the fan tones are eliminated. Further, in conjunction with the elimination of fan tones and an increase in bypass ratio, a potential reduction of 7 to 10 EPNdB in system noise can be achieved. In addition, an initial assessment of engine broadband noise source mechanisms has been made, concluding that the dominant source of fan broadband noise is the interaction of incident inlet boundary layer turbulence with the fan rotor. This source has two contributors, i.e., unsteady life dipole response and steady loading quadrupole response. The quadrupole contribution was found to be the most important component, suggesting that broadband noise reduction can be achieved by the reduction of steady loading field-turbulence field quadrupole interaction. Finally, for a controlled experimental quantification and verification, the study recommends that further broadband noise tests be done on a simulated engine rig, such as the GE Aircraft Engine Universal Propulsion Simulator, rather than testing on an engine statically in an outdoor arena The rig should be capable of generating forward and aft propagating fan noise, and it needs to be tested in a large freejet or a wind tunnel.

Gliebe, Philip R.↗
DOE OSTI2022

Molecular orbital projectors in non-empirical jmDFT recover exact conditions in transition-metal chemistry

Low-cost, non-empirical corrections to semi-local density functional theory are essential for accurately modeling transition-metal chemistry. Here, we demonstrate the judiciously modified density functional theory (jmDFT) approach with non-empirical U and J parameters obtained directly from frontier orbital energetics on a series of transition-metal complexes. We curate a set of nine representative Ti(III) and V(IV) d 1 transition-metal complexes and evaluate their flat-plane errors along the fractional spin and charge lines. We demonstrate that while jmDFT improves upon both DFT+U and semi-local DFT with the standard atomic orbital projectors (AOPs), it does so inefficiently. We rationalize these inefficiencies by quantifying hybridization in the relevant frontier orbitals. To overcome these limitations, we introduce a procedure for computing a molecular orbital projector (MOP) basis for use with jmDFT. We demonstrate this single set of d 1 MOPs to be suitable for nearly eliminating all energetic delocalization and static correlation errors. In all cases, MOP jmDFT outperforms AOP jmDFT, and it eliminates most flat-plane errors at non-empirical values. Unlike DFT+U or hybrid functionals, jmDFT nearly eliminates energetic delocalization and static correlation errors within a non-empirical framework.

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

Development of male-sterile lines of Setaria viridis to accelerate C 4 model plant genetics

Setaria viridis is a diploid C 4 grass in the Poaceae family, notable for its rapid life cycle of 6–8 weeks from sowing to seed—much shorter than the 4–5 months required by crops such as Zea mays and Sorghum bicolor . This fast growth makes S. viridis a valuable model for C 4 crop research. Genetic crosses are essential for studying gene function, but manual crossing is labor-intensive and time-consuming. Here, to address this, we developed a male-sterile line by targeting the S. viridis ortholog of Setaria italica NO POLLEN 1 ( SiNP1 ), which encodes a glucose–methanol–choline oxidoreductase required for pollen exine formation. Using Cas9 and TREX2 -mediated genome editing, we generated SiNP1 knockouts in both the S. viridis ME034V and A10.1 backgrounds that were fully male-sterile. Backcrossing T 0 male-sterile plants to ME034V wild-type followed by selfing yielded a stable BC 1 F 2 line homozygous for a 59 bp deletion in the S. viridis NO POLLEN 1 gene, easily genotyped by PCR and maintained by heterozygous siblings. Using this line, we developed a simple and efficient crossing protocol that eliminates the need for emasculation. This method enables a single person to perform up to 100 crosses per day—compared to 15 using traditional methods—and yields 20–32 F 1 hybrid seeds per panicle with 100% genetic purity. We also quantified pollen flow and outcrossing frequencies under greenhouse conditions to develop optimal bagging strategies and prevent unintended pollination. This resource accelerates genetic research in S. viridis , enhancing its utility as a premier C 4 model for mapping and functional genomics.

C4 research↗
DOE OSTI2021

A Comprehensive Investigation into the Effect of a Low Surface Energy Treatment on Gas Hydrate, Asphaltene, and Wax Formation, Deposition, and Adhesion

The formation/precipitation and deposition of pipeline solids, such as gas hydrates, asphaltenes, and waxes have long plagued production fields. Given the vast differences in chemistries of these solids, any current prevention or mitigation strategy, particularly for cases in which multiple issues are a concern, is likely to involve an extensive assortment of chemical additives that are both costly and add complexity to the system. Surface treatments (coatings), on the other hand, present a relatively viable option for management strategies. A chemically and physically robust surface treatment with the ability to address deposition issues for multiple pipeline solids could not only decrease the operating expenditures for a field through material cost savings and obviation of downstream separation, but could also simplify produced fluids by eliminating additional chemicals from the mixture. The purpose of this study was to explore the feasibility of a particular surface treatment as part of a solids management strategy. This work used an omniphobic surface treatment to probe its effects on gas hydrate, asphaltene, and wax deposition. Specifically, an interfacial tensiometer (IFT) collected contact angle measurements for wettability studies. High-pressure rocking cells studied gas hydrate nucleation and deposition. A bench-scale flow loop quantified the deposition of oil and asphaltenes after a set time period. Finally, a mechanical shear device measured the adhesion force of wax deposits on untreated/treated surfaces. Static contact angle results showed that the omniphobic surface treatment had reduced surface interaction with water droplets in air, altering from the complete wetting on corroded surfaces to slightly hydrophobic conditions of greater than 100°. In addition, rocking-cell tests indicated that these omniphobic surface treatments may prevent gas hydrate deposition for up to 72 hours. The gas hydrate rocking-cell tests also demonstrated possible increases in induction time and occasional elimination of hydrate nucleation with the surface treatment. Finally, the surface treatment application, which also decreased surface roughness, showed that crude oil and asphaltene particles deposition, as well as the shear required to remove solidified wax deposits, could be reduced by a large factor. Overall, promising results were recorded for all major flow-assurance solids in the presence of the surface treatment.

Engineering↗
DOE OSTI2022

D 3 -creatine dilution for skeletal muscle mass measurement: historical development and current status

The French chemist Michel Eugène Chevreul discovered creatine in meat two centuries ago. Extensive biochemical and physiological studies of this organic molecule followed with confirmation that creatine is found within the cytoplasm and mitochondria of human skeletal muscles. Two groups of investigators exploited these relationships five decades ago by first estimating the creatine pool size in vivo with 14 C and 15 N labelled isotopes. Skeletal muscle mass (kg) was then calculated by dividing the creatine pool size (g) by muscle creatine concentration (g/kg) measured on a single muscle biopsy or estimated from the literature. This approach for quantifying skeletal muscle mass is generating renewed interest with the recent introduction of a practical stable isotope (creatine-(methyl-d 3 )) dilution method for estimating the creatine pool size across the full human lifespan. The need for a muscle biopsy has been eliminated by assuming a constant value for whole-body skeletal muscle creatine concentration of 4.3 g/kg wet weight. The current single compartment model of estimating creatine pool size and skeletal muscle mass rests on four main assumptions: tracer absorption is complete; tracer is all retained; tracer is distributed solely in skeletal muscle; and skeletal muscle creatine concentration is known and constant. Three of these assumptions are false to varying degrees. Not all tracer is retained with urinary isotope losses ranging from 0% to 9%; an empirical equation requiring further validation is used to correct for spillage. Not all tracer is distributed in skeletal muscle with non-muscle creatine sources ranging from 2% to 10% with a definitive value lacking. Lastly, skeletal muscle creatine concentration is not constant and varies between muscles (e.g. 3.89–4.62 g/kg), with diets (e.g. vegetarian and omnivore), across age groups (e.g. middle-age, ~4.5 g/kg; old-age, 4.0 g/kg), activity levels (e.g. athletes, ~5 g/kg) and in disease states (e.g. muscular dystrophies, <3 g/kg). Some of the variability in skeletal muscle creatine concentrations can be attributed to heterogeneity in the proportions of wet skeletal muscle as myofibres, connective tissues, and fat. These observations raise serious concerns regarding the accuracy of the deuterated-creatine dilution method for estimating total body skeletal muscle mass as now defined by cadaver analyses of whole wet tissues and in vivo approaches such as magnetic resonance imaging. A new framework is needed in thinking about how this potentially valuable method for measuring the creatine pool size in vivo can be used in the future to study skeletal muscle biology in health and disease.

body composition↗