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 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

Are light curve classification metrics good proxies for SN Ia cosmological constraining power?

Context. When selecting a light curve classifier for use as part of a photometric supernova Ia (SN Ia) cosmological analysis, it is common to make decisions based on metrics of classification performance, such as the contamination within the photometrically classified SN Ia sample, rather than a measure of cosmological constraining power. If the former is an appropriate proxy for the latter, this practice would eliminate the computational expense of a full cosmology forecast in the analysis pipeline design process. Aims. This study tests the assumption that light curve classification metrics are an appropriate proxy for cosmology metrics. Methods. We emulated photometric SN Ia cosmology light curve samples with controlled contamination rates of individual contaminant classes and evaluated each of them under a set of classification metrics. We then derived cosmological parameter constraints from all samples under two common analysis approaches and quantified the impact of contamination by each contaminant class on the resulting cosmological parameter estimates. Results. We observe that cosmology metrics are sensitive to both the contamination rate and the class of the contaminating population, whereas the classification metrics are shown to be insensitive to the latter. Conclusions. Based on these findings, we discourage any exclusive reliance on light curve classification-based metrics for analysis design decisions, which (counterintuitively) include but are not limited to the classifier choice. Instead, we recommend optimising science analysis pipeline design choices using a metric of the information gained about the physical parameters of interest.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2026

Access and limits of RMP ELM suppression with n = 1 fields in DIII-D

This work reports on DIII-D experiments aimed at extending resonant magnetic perturbation (RMP) suppression of edge localized modes (ELMs) to n = 1 fields, where n is the toroidal mode number. Modeling of the 3D ideal MHD plasma response to the RMPs using the GPEC code is used to quantify edge and core resonant fluxes, guiding experimental strategies to increase plasma resilience against core error field penetration, optimize multicoil phasing, and explore higher q 95 operation. In DIII-D, ELM mitigation is regularly observed across a wide range of n = 1 RMP scenarios. A ∼100 ms phase of complete ELM suppression was achieved at q 95 ∼ 3.9 using an odd-parity coil configuration. The suppressed phase exhibited clear signatures of RMP ELM suppression, including the elimination of Dα spikes, increased pedestal rotation, enhanced magnetic response, and elevated broadband density turbulence. An optimized coil configuration for edge-to-core resonant flux did show increased edge resonance indicated by increased density pumpout, but did not yield RMP ELM suppression. At q 95 ∼ 5.1, a bifurcation to a grassy-like ELM regime occurred, while large type-I ELMs persisted. These results demonstrate progress in experimental access to n = 1 RMP ELM suppression in DIII-D, motivating further study for robust access. This work also highlights the potential role of 3D edge stability as well as rational surface alignment in RMP ELM suppression access, which has important implications for the use of low-n RMPs in future reactor-scale devices.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
NASA NTRS2018

Quantified, Localized Health Benefits of Accelerated Carbon Dioxide Emissions Reductions

Societal risks increase as Earth warms, and increase further for emissions trajectories accepting relatively high levels of near-term emissions while assuming future negative emissions will compensate, even if they lead to identical warming as trajectories with reduced near-term emissions. Accelerating carbon dioxide (CO2) emissions reductions, including as a substitute for negative emissions, hence reduces long-term risks but requires dramatic near-term societal transformations. A major barrier to emissions reductions is the difficulty of reconciling immediate, localized costs with global, long-term benefits. However, 2 C trajectories not relying on negative emissions or 1.5 C trajectories require elimination of most fossil-fuel-related emissions. This generally reduces co-emissions that cause ambient air pollution, resulting in near-term, localized health benefits. We therefore examine the human health benefits of increasing 21st-century CO2 reductions by 180 GtC, an amount that would shift a 'standard' 2 C scenario to 1.5 C or could achieve 2 C without negative emissions. The decreased air pollution leads to 153 +/- 43 million fewer premature deaths worldwide, with approx.40% occurring during the next 40 years, and minimal climate disbenefits. More than a million premature deaths would be prevented in many metropolitan areas in Asia and Africa, and greater than 200,000 in individual urban areas on every inhabited continent except Australia.

Atmospheric science↗
DOE OSTI2022

Mapping thermal energy storage technologies with advanced nuclear reactors

Advanced nuclear power plants (NPPs) will potentially need to operate in environments where power generation flexibility is more highly valued than the stability or baseload generation capability for conventional demand curves. Thermal energy storage (TES) systems would enable NPPs to respond nimbly to market variability and could also position advanced NPPs to participate differently in restructured markets, thus further enhancing their economic competitiveness. TES systems could also benefit the electric grid by eliminating the need for peaking plants, as well as by improving the economic performance of baseload NPPs. While TES technologies afford a unique opportunity to address many of these challenges, the applicability of these systems is also complicated by the fact that various advanced NPPs are designed differently, each with its own temperature range, size, operating fluids, and operating conditions. Hence, TES systems face significant barriers to investment, as more information on their compatibility and performance metrics is needed to quantify the advantages provided by each, as well as the challenges these technologies might face if coupled with a particular type of advanced NPP. This study explores the possibility of integrating a wide variety of TES technologies with various categories of advanced NPPs, based on their operating characteristics. To help decision makers, users and developers decide which TES technology is best suited to a particular category of advanced NPPs, this research present a Phenomena Identification and Ranking Table (PIRT) analysis of 10 TES systems that could potentially be coupled with advanced NPPs, which themselves are divided into nine categories based on their operating conditions. Then, each advanced NPP category is evaluated for compatibility with the 10 TES systems by assembling and discussing a database of information concerning 10 engineering questions, defined herein in as figures of merit (FOMs), such as: technology readiness level (TRL), temperature compatibility, energy density, size, cycle frequency, ramp time, realignment frequency, geographic needs, environmental impact, and interventions. By assembling a database of information concerning the TES technologies' compatibility with various advanced NPP systems, this study can help developers acquaint themselves with a particular TES technology before choosing to build a new integrated installation.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2021

Phenomenon Identification and Ranking Table Analysis for Thermal Energy Storage Technologies Integration with Advanced Nuclear Reactors

This report provides an overview of the Phenomena Identification and Ranking Table (PIRT) analysis of thermal energy storage (TES) systems for possible integration with various types of advanced nuclear power plants (NPPs). Advanced NPPs will potentially need to operate in environments where power generation flexibility is more highly valued than the stability or baseload generation capability for conventional demand curves. TES systems would enable NPPs to respond nimbly to market variability and could also position advanced NPPs to participate differently in restructured markets, thus further enhancing their economic competitiveness. TES systems could also benefit the electric grid by eliminating the need for peaking plants, as well as by improving the economic performance of baseload NPPs. While TES technologies afford a unique opportunity to address many of these challenges, the applicability of these systems is also complicated by the fact that various advanced NPPs are designed differently, each with its own temperature range, size, operating fluids, and operating conditions. Hence, TES systems face significant barriers to investment, as more information on their compatibility and performance metrics is needed to quantify the advantages provided by each, as well as the challenges these technologies might face if coupled with a particular type of advanced NPP. This report explores the possibility of integrating a wide variety of TES technologies with various categories of advanced NPPs, based on their operating characteristics. To help users and developers decide which TES technology is best suited to a particular category of advanced NPPs, this research developed a PIRT of 10 TES systems that could potentially be coupled with advanced NPPs, which themselves are divided into nine categories based on their operating conditions. Each advanced NPP category is evaluated for compatibility with the 10 TES systems by assembling and discussing a database of information concerning 10 engineering questions (defined herein in as figures of merit [FOMs]), such as: technology readiness level (TRL), temperature compatibility, energy density, size, cycle frequency, ramp time, realignment frequency, geographic needs, environmental impact, and interventions. By assembling a database of information concerning the TES technologies’ compatibility with various advanced NPP systems, this study can help developers acquaint themselves with a particular TES technology before choosing to build a new integrated installation.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
NASA NTRS2003

Simulated Fuel Usage for Drag Compensated Spacecraft in Low Earth Orbit

Atmospheric drag causes the greatest uncertainty in the spacecraft flight dynamics equation for spacecraft in Low Earth Orbit (LEO). The continuously varying atmospheric density levels require increased spacecraft tracking to accurately predict spacecraft location. In addition, periodic propulsive maneuvers must be designed and performed to counteract the effects of drag on the spacecraft orbit. If atmospheric drag effects can be continuously and autonomously counteracted through the use of a drag-free control system, they will essentially be eliminated from the spacecraft flight dynamics equation. The main perturbations on the spacecraft will then be those due to the Earth s gravitational field, which are easily predicted. Although theoretically beneficial from a flight dynamics perspective, the costs associated with drag-free control must be determined and weighed against those benefits before the feasibility of drag-free control of spacecraft in LEO can be determined. Through the use of a MATLAEV Satellite Tool Kit simulation, this paper attempts to quantify one such cost associated with drag-free control: the amount of fuel needed for continuous drag compensation as measured by cumulative orbital velocity changes, or AV. This AV cost can then be compared to the fuel required for more traditional, periodic orbit raising maneuvers of every two to four weeks. The simulation considers various sized spacecraft, as measured by the spacecraft ballistic coefficient, in circular orbits of various altitudes and inclinations. The time between orbit raising maneuvers is allowed to decrease until it approaches near continuous. In this manner, the trend in AV cost can be seen as drag compensation moves from periodic to near continuous.

Fleck, Melissa E.↗
DOE OSTI2025

Radiation-Induced Chemical Yields of Carbon-Centered Radicals and Hydrogen Atoms from the Gamma Irradiation of n -Dodecane

Here, this study investigates the radiolytic yields of carbon-centered radicals and hydrogen atoms in n-dodecane under gamma irradiation. Utilizing molecular iodine (I 2 ) and 2,4,6-tri-tert-butylnitrosobenzene (3tBNB) as radical scavengers, we quantified the yields of molecular hydrogen and various carbon-centered radicals formed from bond scission of the solvent excited states. The yield of primary alkyl radicals was significantly lower than that of the secondary radicals, aligning with expected stabilities and bond dissociation energies. For the overall loss of n-dodecane, total yields of 0.598 ± 0.004 species/100 eV for C–C bond scission, 1.648 ± 0.012 species/100 eV for C–H bond scission, and 3.20 ± 0.10 species/100 eV for unimolecular H 2 elimination were determined. Notably, the I 2 scavenging data provided robust estimates, while the 3tBNB displayed lower efficiency in radical trapping. This research enhances our understanding of radiolytic processes in n-dodecane and offers insights for future studies on the behavior of hydrocarbons under ionizing radiation, with implications for improving UNF reprocessing strategies.

38 - RADIATION CHEMISTRY, RADIOCHEMISTRY, AND NUCL↗
DOE OSTI2024

Refueling Infrastructure Deployment in Low-Income and Non-Urban Communities

The U.S. National Blueprint for Transportation Decarbonization identifies the need to invest in infrastructure supporting low- and zero-emission vehicles, especially in low-income and overburdened communities, to eliminate nearly all greenhouse gas emissions from the transportation sector by 2050. The alternative fuel vehicle refueling property tax credit (26 U.S. Code § 30C) includes eligibility criteria intended to encourage investment in underserved communities based on the economic characteristics or urban character of the census tract in which the fueling infrastructure is installed. Eligible census tracts are those that qualify for the New Markets Tax Credit or that are not located within urban areas as defined by the U.S. Census Bureau. This study quantifies how many fueling-related amenities are currently located in census tracts that qualify and do not qualify for the 30C tax credit based on IRS Notice 2024-20. For existing electric vehicle charging stations, 51% of Level 2 and 60% of Direct Current Fast Charging public stations are located in eligible census tracts. 73% of natural gas, propane, and hydrogen fueling stations are in qualifying census tracts and 75% of biodiesel and renewable fuel stations are in qualifying census tracts. This compares with 73% of existing gas stations in eligible census tracts. For deploying the refueling infrastructure to satisfy future demand, this study shows that truck stops (94%), commercial truck stops (92%), and Federal Highway alternative fuel corridors (89%) are predominantly located in eligible locations. Additionally, significant percentages of the population (62%), light-duty vehicle registrations (64%), and medium- and heavy-duty vehicle registrations (68%) fall within eligible areas.

33 ADVANCED PROPULSION SYSTEMS↗
NASA NTRS2016

Climate and Health Impacts of US Emissions Reductions Consistent with 2 C

An emissions trajectory for the US consistent with 2 C warming would require marked societal changes, making it crucial to understand the associated benefits. Previous studies have examined technological potentials and implementation costs and public health benefits have been quantified for less-aggressive potential emissions-reduction policies, but researchers have not yet fully explored the multiple benefits of reductions consistent with 2 C. We examine the impacts of such highly ambitious scenarios for clean energy and vehicles. US transportation emissions reductions avoid approx.0.03 C global warming in 2030 (0.15 C in 2100), whereas energy emissions reductions avoid approx.0.05-0.07 C 2030 warming (approx.0.25 C in 2100). Nationally, however, clean energy policies produce climate disbenefits including warmer summers (although these would be eliminated by the remote effects of similar policies if they were undertaken elsewhere). The policies also greatly reduce damaging ambient particulate matter and ozone. By 2030, clean energy policies could prevent approx.175,000 premature deaths, with approx.22,000 (11,000-96,000; 95% confidence) fewer annually thereafter, whereas clean transportation could prevent approx.120,000 premature deaths and approx.14,000 (9,000-52,000) annually thereafter. Near-term national benefits are valued at approx.US$250 billion (140 billion to 1,050billion) per year, which is likely to exceed implementation costs. Including longer-term, worldwide climate impacts, benefits roughly quintuple, becoming approx.5-10 times larger than estimated implementation costs. Achieving the benefits, however, would require both larger and broader emissions reductions than those in current legislation or regulations.

policies↗
DOE OSTI2022

Power-transfer and fixed-point analysis of sawtooth simulations of a current-carrying stellarator

Power-transfer and fixed-point analysis of previous NIMROD simulations (Roberds et al. , Phys. Plasmas , vol. 23, issue 9, 2016, 092513) improved the understanding of the effect of 3D (non-axisymmetric equilibrium) magnetic fields on sawtooth oscillations in the Compact Toroidal Hybrid (CTH) experiment. Computing the locations of order-1 fixed points, their Greene's residues, and local values for the rotational transform results in a description of CTH sawteeth consistent with Kadomtsev's model. A power-transfer analysis quantifies the distribution of energy among toroidal Fourier modes and their nonlinear interactions. The Lorentz power transfer drives sawtooth growth, and it is unambiguously interpreted as the flow of energy from toroidal mode $n'$ to mode $n$ , catalysed by $\boldsymbol {B}_{n-n'}$ . It has been reported previously that the CTH sawtooth frequency increases with the 3D field strength. This is attributed to an increased growth rate of the internal kink that drives sawtooth oscillations. Here, 3D fields remove energy from the kink, eliminating the possibility that these fields are an additional energy source that drives growth. Instead, 3D fields catalyse energy transfer from large-to-small scales, where magnetic reconnection is stronger. It is proposed that this energy transfer increases the reconnection rate at small scales, which is consistent with the increased growth rate observed at higher 3D field strengths.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2020

Switchable resolution in soft x-ray tomography of single cells

The diversity of living cells, in both size and internal complexity, calls for imaging methods with adaptable spatial resolution. Soft x-ray tomography (SXT) is a three-dimensional imaging technique ideally suited to visualizing and quantifying the internal organization of single cells of varying sizes in a near-native state. The achievable resolution of the soft x-ray microscope is largely determined by the objective lens, but switching between objectives is extremely time-consuming and typically undertaken only during microscope maintenance procedures. Since the resolution of the optic is inversely proportional to the depth of focus, an optic capable of imaging the thickest cells is routinely selected. This unnecessarily limits the achievable resolution in smaller cells and eliminates the ability to obtain high-resolution images of regions of interest in larger cells. Here, we describe developments to overcome this shortfall and allow selection of microscope optics best suited to the specimen characteristics and data requirements. We demonstrate that switchable objective capability advances the flexibility of SXT to enable imaging cells ranging in size from bacteria to yeast and mammalian cells without physically modifying the microscope, and we demonstrate the use of this technology to image the same specimen with both optics.

59 BASIC BIOLOGICAL SCIENCES↗
NASA NTRS1989

Results of inphase axial-torsional fatigue experiments on 304 stainless steel

A series of axial-torsional, inphase, strain-controlled, low-cycle fatigue tests were performed at room temperature on tubular specimens of 304 stainless steel. The program was conducted in cooperation with the task group on multiaxial fatigue research of ASTM committee E-09. The objective was to quantify the variability in multiaxial test results among several laboratories. Only included is data which was generated at the NASA Lewis Research Center's High Temperature Fatigue and Structures Laboratory. The experimental equipment and procedures used are described. The tubular specimens were polished on the outer surface to aid in the use of a cellulose film surface replication technique for crack detection. However, cracking initiated predominantly on the internal surface for all specimens. Honing of the bore of the tubular specimens lessened but did not entirely eliminate this problem. The observed fatigue lives are compared with lives calculated from three multiaxial life models. Constants for the life prediction models were obtained from uniaxial and torsional tests performed on the same heat of material. The observed fatigue lives agreed with calculated lives to within a factor of two for all but one of the life prediction models.

Bonacuse, Peter J.↗
DOE OSTI2021

Optimizing Layered Control Strategies for Reducing Exposure to SARS-CoV-2

While there is growing understanding of the predominance of the airborne mode of transmission of the SARS-CoV-2 virus, there is a lack of guidance on how to build an effective system of controls to mitigate transmission in enclosed spaces. Such a system integrates multiple hazard-specific control measures to both eliminate or replace a hazard, and safeguard individuals against potential exposure and infection. Controls are defined by the US Occupational Safety and Health Association (OSHA) as the use of engineering methods to reduce the level of hazard inside a confined space. The Hierarchy of Controls provides a framework through which a system of controls can be examined; identifying those which directly remove or replace a hazard as the most effective, and individual behavioral measures (e.g., masking or shielding) as least effective. Use of such a framework to quantify control effectiveness might allow for the promotion of spaces as meeting a certain threshold of safety, likely adding to the confidence of space users resulting in increases in various metrics such as sales, visits, or likes.

99 GENERAL AND MISCELLANEOUS↗
DOE OSTI2020

A Phenomenological Model for Cavitation

A phenomenological model of cavitation is presented, based on observations that both large relative negative pressures and large negative time derivatives of pressure are required for cavitation onset. We simulated two cavitation experiments to generate cavitation scaling parameters for relative pressure drop and rate of pressure drop. Our results show the model, while simple, is effective at reproducing results from laboratory experiments of cavitation. The parameters were then used in conjunction with a human surrogate computational model to predict, at any position within the head, the probability of intracranial cavitation caused by exposure to a blast event. The results suggest that the magnitude of blast overpressure observed in field data is sufficient to cause intracranial cavitation. Our analysis indicates that the helmeted head, when compared to the unhelmeted head configuration, results in a decrease but not elimination of cavitation exposure. When density functions of cavitation probability versus cumulative brain volume are combined with an injury severity model, the results show helmet efficacy at low and moderate risk levels. However, the convergence of unhelmeted and helmeted probability density functions at high-to-excessive risk thresholds indicates the helmet offers diminishing protection at elevated exposure levels, relative to the unhelmeted baseline. Future investigation and collaboration with neuroscience subject matter experts are needed to contextualize the current computational results. While the present work contributes specific and quantified predictions of intracranial cavitation location and severity, more research is required to apply our results to clinical settings with population-based brain injury subjects and controls. The relationship between our intracranial cavitation predictions with their anticipated clinical sequelae remains a topic in need of exploration.

60 APPLIED LIFE SCIENCES↗
NASA NTRS1980

Application of digital terrain data to quantify and reduce the topographic effect on LANDSAT data

Integration of LANDSAT multispectral scanner (MSS) data with 30 m U.S. Geological Survey (USGS) digital terrain data was undertaken to quantify and reduce the topographic effect on imagery of a forested mountain ridge test site in central Pennsylvania. High Sun angle imagery revealed variation of as much as 21 pixel values in data for slopes of different angles and aspects with uniform surface cover. Large topographic effects were apparent in MSS 4 and 5 was due to a combination of high absorption by the forest cover and the MSS quantization. Four methods for reducing the topographic effect were compared. Band ratioing of MSS 6/5 and MSS 7/5 did not eliminate the topographic effect because of the lack of variation in MSS 4 and 5 radiances. The three radiance models examined to reduce the topographic effect required integration of the digital terrain data. Two Lambertian models increased the variation in the LANDSAT radiances. The nonLambertian model considerably reduced (86 per cent) the topographic effect in the LANDSAT data. The study demonstrates that high quality digital terrain data, as provided by the USGS digital elevation model data, can be used to enhance the utility of multispectral satellite data.

Justice, C. O.↗
DOE OSTI2026

A funnel approach to enable analyses of epitope-specific human CD4 T cells specific for influenza and SARS-CoV-2

Protection against pathogens relies heavily on the adaptive immune response, whose key regulators are CD4 T cells. CD4 T cells, notable for their complex repertoire and functional potential, can most easily be dissected by identifying, quantifying, characterizing, and isolating epitope-specific cells. In the study reported here, we present a systematic and unbiased strategy that has enabled the identification of highly immunogenic peptide epitopes derived from influenza virus and SARS-CoV-2, presented by human HLA-DR proteins. Coupling the use of HLA-DR transgenic mice with infection and vaccination and highly sensitive epitope-specific cytokine ELISpot assays, we have narrowed the potential epitopes from 450 to 600 peptides to 5–15 peptides for each allele by an iterative process of elimination and selection, which we have termed a funnel approach. These epitopes have been validated in HLA-DR-typed human CD4 T cells directly ex vivo and enabled the derivation and implementation of HLA-DR peptide tetramers. Tetramer staining of human PBMCs enriched for CD4 T memory populations from healthy adult subjects, highlighted this approach as a sensitive and specific method for identifying novel epitopes, and subsequent CD4 T-cell responses to human viral infections.

CD4 T cell↗
DOE OSTI2021

Modeling geogenic and atmospheric nitrogen through the East River Watershed, Colorado Rocky Mountains

There is a growing understanding of the role that bedrock weathering can play as a source of nitrogen (N) to soils, groundwater and river systems. The significance is particularly apparent in mountainous environments where weathering fluxes can be large. However, our understanding of the relative contributions of rock-derived, or geogenic, N to the total N supply of mountainous watersheds remains poorly understood. In this study, we develop the High-Altitude Nitrogen Suite of Models (HAN-SoMo), a watershed-scale ensemble of process-based models to quantify the relative sources, transformations, and sinks of geogenic and atmospheric N through a mountain watershed. Our study is based in the East River Watershed (ERW) in the Upper Colorado River Basin. The East River is a near-pristine headwater watershed underlain primarily by an N-rich Mancos Shale bedrock, enabling the timing and magnitude of geogenic and atmospheric contributions to watershed scale dissolved N-exports to be quantified. Several calibration scenarios were developed to explore equifinality using >1600 N concentration measurements from streams, groundwater, and vadose zone samples collected over the course of four years across the watershed. When accounting for recycling of N through plant litter turnover, rock weathering accounts for approximately 12% of the annual dissolved N sources to the watershed in the most probable calibration scenario (0–31% in other scenarios), and 21% (0–44% in other scenarios) when considering only “new” N sources (i.e. geogenic and atmospheric). On an annual scale, instream dissolved N elimination, plant turnover (including cattle grazing) and atmospheric deposition are the most important controls on N cycling.

54 ENVIRONMENTAL SCIENCES↗