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

ThickBrick: optimal event selection and categorization in high energy physics. Part I. Signal discovery

We provide a prescription called ThickBrick to train optimal machine-learning-based event selectors and categorizers that maximize the statistical significance of a potential signal excess in high energy physics (HEP) experiments, as quantified by any of six different performance measures. For analyses where the signal search is performed in the distribution of some event variables, our prescription ensures that only the information complementary to those event variables is used in event selection and categorization. This eliminates a major misalignment with the physics goals of the analysis (maximizing the significance of an excess) that exists in the training of typical ML-based event selectors and categorizers. In addition, this decorrelation of event selectors from the relevant event variables prevents the background distribution from becoming peaked in the signal region as a result of event selection, thereby ameliorating the challenges imposed on signal searches by systematic uncertainties. Our event selectors (categorizers) use the output of machine-learning-based classifiers as input and apply optimal selection cutoffs (categorization thresholds) that are functions of the event variables being analyzed, as opposed to flat cutoffs (thresholds). These optimal cutoffs and thresholds are learned iteratively, using a novel approach with connections to Lloyd’s k-means clustering algorithm. We provide a public, Python implementation of our prescription, also called ThickBrick, along with usage examples.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
NASA NTRS2019

SPARROW: A Steam Propelled Autonomous Retrieval Robot for Ocean Worlds

This paper presents the results of a NIAC Phase I study into the use of a propulsively hopping robot for the exploration of Europa’s rugged, icy surface. Named the“Steam Propelled Retrieval Robot for Ocean Worlds,” SPARROW is a multi-thruster robot passively gimballed within a protective, spherical shell, which enables it to freely rotate, self-right, and tumble over chaotic terrains. SPARROW is envisioned as a soccerball-sized payload to a primary lander mission. Europa’s abundant surface ice would be harvested as an in situ propellant source. The principal objective of SPARROW would be to increase the science return of a Europa landed asset by enabling access to distal, spatially distributed geologic units. The design of mobility systems for Europa is challenging, due in part to its almost entirely unconstrained surface topography and strength. Images returned by Voyager and Galileo yielded resolutions on the order of hundreds of meters per pixel, with localized regions reaching 6 meters per pixel—still far larger than a typical rover. A key benefit of SPARROW’s hopping, impact-tolerant design, is that it eliminates the need for a piori information on the terrain topography and surface strength; no surface reaction forces are required for motion. In this context, SPARROW is entirely terrain agnostic. In this paper we detail the results of three study objectives: i) to quantify the energy required to collect surface ice, change its phase, and maintain propellant temperature, ii) to identify control and estimation strategies that enable SPARROW to successfully reach, and return from, regions of scientific interest, and iii) to characterize the impact of SPARROW’s range on likely science return. Five water-based propellant architectures are presented alongside their mass, power, and volume requirements. Monte Carlo simulations of SPARROW hopping and tumbling over 1 km of glacial ice are summarized, characterizing SPARROW’s sensitivity to uncertainty in: initial conditions, thrust control, and cage-terrain interaction. Finally, a science traceability matrix is presented, which details the effect of sortie range on three science goals: constraining Europa’s evolutionary morphology, assessing sub-surface ocean habitability, and searching for life and/or biosignatures.

Phillips, Cynthia↗
DOE OSTI2022

A Physics-Based DNI Model for Advancing Solar Resource Assessment and Forecasting: Preprint

Direct Normal Irradiance (DNI) is one of the most used quantities to quantify the magnitude of solar energy resource. The concept of DNI is often interpreted differently for ground measurements and solar forecasting by numerical weather prediction (NWP) models, leading to substantial bias during evaluation of DNI forecasts especially under cloudy-sky conditions. To eliminate the bias, we use the Fast All-sky Radiation Model for Solar applications with DNI (FARMS-DNI) to provide a physics-based solution of solar radiation in the circumsolar region. The FARMS-DNI is implemented in the Weather Research and Forecasting model with solar extensions (WRF-Solar) to forecast day-ahead DNI in the north America. By comparing with conventional predictions from WRF-Solar and satellite observations from the National Solar Radiation Data Base (NSRDB), we found significant improvements in our prediction of DNI.

DNI↗
DOE OSTI2020

Nexus of thermal resilience and energy efficiency in buildings: A case study of a nursing home

Extreme weather events become more frequent and severe due to climate change. Although energy efficiency technologies can influence thermal resilience of buildings, they are traditionally studied separately, and their interconnections are rarely quantified. This study developed a methodology of modeling and analysis to provide insights into the nexus of thermal resilience and energy efficiency of buildings. In this work, we conducted a case study of a real nursing home in Florida, where 12 patients died during Hurricane Irma in 2017 due to HVAC system power loss, to understand and quantify how passive and active energy efficiency measures (EEMs) can improve thermal resilience to reduce heat-exposure risk of patients. Results show that passive measures of opening windows and doors for natural ventilation, as well as miscellaneous load reduction, are very effective in eliminating the extreme dangerous occasions. However, to maintain safe conditions, active measures such as on-site power generators and thermal storage are also needed. The nursing home was further studied by changing its location to two other cities: San Francisco (mild climate) and Chicago (cold winter and hot summer). Results revealed that the EEMs' impacts on thermal resilience vary significantly by climate and building characteristics. The study also estimated the costs of EEMs to help stakeholders prioritize the measures. Passive measures that may not save energy may greatly improve thermal resilience, and thus should be considered in building design or retrofit. Findings from this study indicate energy efficiency technologies should be evaluated not only by their energy savings performance but also by their influence on a building's resilience to extreme weather events.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
NASA NTRS2002

Investigation of Fundamental Modeling and Thermal Performance Issues for a Metallic Thermal Protection System Design

A study was performed to develop an understanding of the key factors that govern the performance of metallic thermal protection systems for reusable launch vehicles. A current advanced metallic thermal protection system (TPS) concept was systematically analyzed to discover the most important factors governing the thermal performance of metallic TPS. A large number of relevant factors that influence the thermal analysis and thermal performance of metallic TPS were identified and quantified. Detailed finite element models were developed for predicting the thermal performance of design variations of the advanced metallic TPS concept mounted on a simple, unstiffened structure. The computational models were also used, in an automated iterative procedure, for sizing the metallic TPS to maintain the structure below a specified temperature limit. A statistical sensitivity analysis method, based on orthogonal matrix techniques used in robust design, was used to quantify and rank the relative importance of the various modeling and design factors considered in this study. Results of the study indicate that radiation, even in small gaps between panels, can reduce significantly the thermal performance of metallic TPS, so that gaps should be eliminated by design if possible. Thermal performance was also shown to be sensitive to several analytical assumptions that should be chosen carefully. One of the factors that was found to have the greatest effect on thermal performance is the heat capacity of the underlying structure. Therefore the structure and TPS should be designed concurrently.

Blosser, Max L.↗
DOE OSTI2025

Game Theory Approaches for System-level Incentive Design

This report presents a generalized Stackelberg game framework for designing and evaluating financial incentives that enhance power system resilience through strategic deployment of distributed energy resources(DERs) under various contingencies. The proposed approach addresses the challenge of coordinating individual community investment decisions to meet system-wide resilience objectives. The framework is demonstrated in a three-community test system subjected to two transmission contingency scenarios: inter-community line failure (Case 1) and complete main grid disconnection (Case 2). In both cases, three incentive levels are compared: a Base case with no financial incentives, and low and high incentive cases. In Case 1, the Base case (no incentives) results in a total installed DER capacity of 217.2 MW, with no load shedding due to alternative routing, but community costs remain high. Increasing incentives raises DER deployment to 286.9 MW, lowers aggregate community costs by $22M annually, and completely avoids the need for costly new transmission line construction. In Case 2, the Base case results in 24.3 MWh of unserved load; introducing incentives eliminates all load shedding and ensures up to 89 MWh of battery storage is available for emergency reserve. These results demonstrate that targeted incentives can dramatically improve grid resilience and cost-effectiveness. The framework thus offers policymakers and system planners a robust tool to quantify and compare the effectiveness of incentive programs for multi-community transmission networks behavior, system resilience, and economic efficiency.

24 POWER TRANSMISSION AND DISTRIBUTION↗
NASA NTRS2019

SPARROW: Steam Propelled Autonomous Retrieval Robot for Ocean Worlds

The Steam Propelled Autonomous Retrieval Robot (SPARROW) for Ocean Worlds was a Phase I mission concept study funded under the NASA NIAC program. This report represents the findings of that study and recommendations for future work. SPARROW, envisioned as a soccer ball-sized payload to a primary lander mission, is a propulsively hopping robot for the exploration of Europa's rugged, icy surface. A multi-thruster, passively gimballed robot within a protective, spherical shell, SPARROW is able to freely rotate, self-right, and tumble over chaotic terrains. Europa's abundant surface ice would be harvested as an in situ propellant source. The principal objective of SPARROW is to increase the science return of a Europa landed asset by enabling access to distal, spatially distributed geologic units. The design of mobility systems for Europa is challenging, due in part to its almost entirely unconstrained surface topography and strength. Images returned by Voyager and Galileo yielded resolutions on the order of hundreds of meters per pixel, with localized regions reaching 6 meters per pixel—still far larger than a typical rover. A key benefit of SPARROW's hopping, impact-tolerant design, is that it eliminates the need for a priori information regarding terrain topography and surface strength; no surface reaction forces are required for motion. In this context, SPARROW is believed to be entirely terrain agnostic. In this report we detail the results of three study objectives: i) to quantify the energy required to collect surface ice, change its phase, and maintain propellant temperature, ii) to identify control and estimation strategies that enable SPARROW to successfully reach, and return from, regions of scientific interest, and iii) to characterize the impact of SPARROW's range on likely science return. Five water-based propellant architectures are presented alongside their mass, power, and volume requirements. Monte Carlo simulations of SPARROW hopping and tumbling over 1 km of glacial ice are summarized, characterizing SPARROW's sensitivity to uncertainty in: initial pose, thrust profile, and vehicle-terrain interaction. A science traceability matrix is presented, which details the effect of sortie range on three science goals: constraining Europa's evolutionary morphology, assessing sub-surface ocean habitability, and searching for life and/or biosignatures.

Autonomous↗
DOE OSTI2026

Continuous Counter‐Current Microfluidic Liquid–Liquid Extraction Achieved Using a Pair of Wettable Screen Meshes

Continuous counter‐current microfluidic liquid–liquid extraction performs separations by flowing immiscible liquids in opposing directions within a single flow channel. In principle, this flow arrangement enables a large number of theoretical separation units in a small footprint, without using interstage valving, pumping, and phase separation. Despite its potential for excellent separation performance, this microfluidic scheme rarely appears in literature due to the requirement for capillary forces to be greater than hydrodynamic forces for stable flow. We present a novel microfluidic device and flow approaches that overcome this force‐balance challenge, enabling stable, long‐duration continuous counter‐current flow. Additionally, we cover a suite of methodologies for quantifying the performance of the microfluidic device, revealing the number of theoretical equilibrium stages achieved. The enabling technologies include a woven mesh screen‐based microfluidic device architecture that is easily fabricated outside of a clean room, surface functionalization strategies to promote conjugate (organic/aqueous) wettability, flow approaches to eliminate bubbles and carryover, and computer‐aided flow automation with optical measurement of extraction performance. The reported experiments lasted for over 36 h, terminated only at experiment conclusion, where the device still exhibited good performance. Automated Raman spectroscopy was used for solute quantitation of the ternary system tert‐butanol in a toluene/water matrix, a ternary system that was specifically chosen to analyze the device's performance with a small solute partition ratio and to enable in‐line Raman measurements of solute concentrations in both phases. The microfluidic device possessed a 55 mm contact length and a 38.5 µL internal volume. During counter‐current flow, we observed approximately 37 equilibrium stages (37 ± 13) based on a best‐fit of the solute fraction remaining in the aqueous phase using a Kremser Group Method analysis.

36 MATERIALS SCIENCE↗
DOE OSTI2022

IER 557: Godiva Pulse Repeatability and Characterization (CED-3A Report)

Godiva IV is a fast burst critical assembly constructed of approximately 65 kg of highly enriched uranium (HEU) fuel alloyed with 1.5% molybdenum for strength. Godiva IV is proposed as the radiation source for IER 498: Design a Shielding Benchmark with a Metal Critical Source. IER 498 proposes a two-burst method to determine the performance of shielding samples, comparing the transmission of the source radiation to detectors with and without a shielding sample present. This eliminates the need for an absolute calibration and allows many uncertainties to cancel. However, the source term variability must be low compared to other sources of experimental uncertainty to ensure the overall uncertainty meets acceptable levels to provide useful measurements. The primary goal of this experiment is to quantify the source term variability, or reproducibility, of Godiva bursts, focusing on the 70 °C bursts planned for IER 498 measurements. Discussions during IER 498 noted that a number of bursts (on the order of six to ten) as identical as possible would be performed and that a 5-7% standard deviation in source intensity would be acceptable.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
NASA NTRS1986

Design requirements for the NASA Langley supersonic low-disturbance wind tunnel

The high intensity, high frequency acoustic disturbances that cause large adverse boundary layer transition effects on test models in conventional supersonic wind tunnels consist of finite length wavelets radiating from eddies in the turbulent boundary layers of the wind tunnel walls. NASA Langley has undertaken 'quiet' supersonic tunnel research that demonstrates the ability to maintain laminarity at high unit Reynolds numbers on limited upstream regions of the nozzle wall boundary layers in small, Mach 3.0, 3.5, and 5.0 pilot tunnels. The high level acoustic disturbances are then eliminated, and the transition Reynolds numbers measured on cones approach those for atmospheric flight. Attention is presently given to the design requirements that can be extrapolated from these results for a large wind tunnel facility; high quality air filtering, noise attenuation, nozzle coordinate accuracy, and surface finish, are quantified with pilot tunnel data.

Beckwith, I. E.↗
DOE OSTI2020

Development and Demonstration of a Class 6 Range-Extended Electric Vehicle for Commercial Pickup and Delivery Operation: Preprint

Range-extended hybrids are an attractive option for medium- and heavy-duty commercial vehicle fleets because they offer the efficiency of an electrified powertrain with the driving range of a conventional diesel powertrain. The vehicle essentially operates as if it was purely electric for most trips, while ensuring that all commercial routes can be completed in any weather conditions or geographic terrain. Fuel use and point-source emissions can be significantly reduced, and in some cases eliminated, as many shorter routes can be fully electrified with this architecture. Under a U.S. Department of Energy (DOE)-funded project for Medium- and Heavy-Duty Vehicle Powertrain Electrification, Cummins has developed a plug-in hybrid electric Class 6 truck with a range-extending engine designed for pickup and delivery application. The National Renewable Energy Laboratory (NREL) assisted by developing representative workday drive cycles for Class 6 operation and an adapted cycle to enable vehicle track testing. A novel, automated driving system was utilized by Southwest Research Institute (SwRI) to improve the repeatability of the track testing conducted to quantify vehicle energy consumption. Cummins used a drivetrain model to design the hybrid control system for increased fuel savings. The control system functionality and fuel savings objective of 50% or more were confirmed by track testing described in this paper.

ADVANCED PROPULSION SYSTEMS↗
DOE OSTI2021

Modeling household online shopping demand in the U.S.: a machine learning approach and comparative investigation between 2009 and 2017

Despite the rapid growth of online shopping and research interest in the relationship between online and in-store shopping, national-level modeling and investigation of the demand for online shopping with a prediction focus remain limited in the literature. Here, this paper differs from prior work and leverages two recent releases of the U.S. National Household Travel Survey (NHTS) data for 2009 and 2017 to develop machine learning (ML) models, specifically gradient boosting machine (GBM), for predicting household-level online shopping purchases. The NHTS data allow for not only conducting nationwide investigation but also at the level of households, which is more appropriate than at the individual level given the connected consumption and shopping needs of members in a household. We follow a systematic procedure for model development including employing Recursive Feature Elimination algorithm to select input variables (features) in order to reduce the risk of model overfitting and increase model explainability. Among several ML models, GBM is found to yield the best prediction accuracy. Extensive post-modeling investigation is conducted in a comparative manner between 2009 and 2017, including quantifying the importance of each input variable in predicting online shopping demand, and characterizing value-dependent relationships between demand and the input variables. In doing so, two latest advances in machine learning techniques, namely Shapley value-based feature importance and Accumulated Local Effects plots, are adopted to overcome inherent drawbacks of the popular techniques in current ML modeling. The modeling and investigation are performed at the national level, with a number of findings obtained. The models developed and insights gained can be used for online shopping-related freight demand generation and may also be considered for evaluating the potential impact of relevant policies on online shopping demand.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2023

Ultraviolet digital holographic microscopy (DHM) of micron-scale particles from shocked Sn ejecta

A cloud of very fast, O (km/s), and very fine, O (µm), particles may be ejected when a strong shock impacts and possibly melts the free surface of a solid metal. To quantify these dynamics, this work develops an ultraviolet, long-working distance, two-pulse Digital Holographic Microscopy (DHM) configuration and is the first to replace film recording with digital sensors for this challenging application. A proposed multi-iteration DHM processing algorithm is demonstrated for automated measures of the sizes, velocities, and three-dimensional positions of non-spherical particles. Ejecta as small as 2 µm diameter are successfully tracked, while uncertainty simulations indicate that particle size distributions are accurately quantified for diameters ≥4 µm. These techniques are demonstrated on three explosively driven experiments. Measured ejecta size and velocity statistics are shown to be consistent with prior film-based recording, while also revealing spatial variations in velocities and 3D positions that have yet to be widely investigated. Having eliminated time-consuming analog film processing, the methodologies proposed here are expected to significantly accelerate future experimental investigation of ejecta physics.

47 OTHER INSTRUMENTATION↗
NASA NTRS1989

The influence of advanced processing on PWA 1480

High thermal gradient casting of PWA 1480 was evaluated as an avenue for reducing the size of casting porosity. Hot isostatic pressing (HIP) was also employed for the elimination of casting pores. An alternate to the standard PWA 1480 coating plus diffusion bonding aging heat treatment cycle was also evaluated for potential improvements in the properties of interest to the Space Shuttle Main Engine (SSME) application. Microstructural changes associated with the high thermal gradient casting process were quantified by measurement of the size and density of the casting porosity, the amount of retained casting eutectic, and dendrite arm spacings. The results of the advanced processing have shown an improvement in material microstructure due to high thermal gradient casting. Improved homogeneity of PWA 1480 is advantageous in providing an improved solution heat treatment window and, potentially, easier HIP. High thermal gradient casting improves fatigue life by reducing casting pore size. The alternate heat treatment improves the balance of strength and ductility which appears to improve low cycle fatigue life, but with a reduction in short time stress rupture life. Based upon these tests, hot isostatic pressing appears to afford further improvements in cyclic life, though additional evaluation is suggested. Development of the alternate heat treatment is not recommended due to the reduced stress rupture capability and the need to develop a new properties data base. High thermal gradient casting and HIP are recommended for application to single crystal castings.

Fritzemeier, L. G.↗
NASA NTRS2003

Stochastic Control Synthesis of Systems with Structured Uncertainty

This paper presents a study on the design of robust controllers by using random variables to model structured uncertainty for both SISO and MIMO feedback systems. Once the parameter uncertainty is prescribed with probability density functions, its effects are propagated through the analysis leading to stochastic metrics for the system's output. Control designs that aim for satisfactory performances while guaranteeing robust closed loop stability are attained by solving constrained non-linear optimization problems in the frequency domain. This approach permits not only to quantify the probability of having unstable and unfavorable responses for a particular control design but also to search for controls while favoring the values of the parameters with higher chance of occurrence. In this manner, robust optimality is achieved while the characteristic conservatism of conventional robust control methods is eliminated. Examples that admit closed form expressions for the probabilistic metrics of the output are used to elucidate the nature of the problem at hand and validate the proposed formulations.

Padula, Sharon L.↗
NASA NTRS2011

Potential Alternatives Report for Validation of Alternatives to Aliphatic Isocyanate Polyurethanes

Identifying and selecting alternative materials and technologies that have the potential to reduce the identified HazMats and hazardous air pollutants (HAPs), while incorporating sound corrosion prevention and control technologies, is a complicated task due to the fast pace at which new technologies emerge and rules change. The alternatives are identified through literature searches, electronic database and Internet searches, surveys, and/or personal and professional contacts. Available test data was then compiled on the proposed alternatives to determine if the materials meet the test objectives or if further)laboratory or field-testing will be required. After reviewing technical information documented in the PAR, government representatives, technical representatives from the affected facilities, and other stakeholders involved in the process will select the list of viable alternative coatings for consideration and testing under the project's Joint Test Protocol entitled Joint Test Protocol for Validation of Alternatives to Aliphatic Isocyanate Polyurethanes and Field Test Plan entitled Field Evaluations Test Plan for Validation of Alternatives to Aliphatic Isocyanate Polyurethanes, both prepared by ITB. Test results will be reported in a Joint Test Report upon completion oftesting. The selection rationale and conclusions are documented in this PAR. A cost benefit analysis will be prepared to quantify the estimated capital and process costs of coating alternatives and cost savings relative to the current coating processes, however, some initial cost data has been included in this PAR. For this coatings project, isocyanates, as found in aliphatic isocyanate polyurethanes, were identified as the target HazMat to be eliminated. Table 1-1 lists the target HazMats, the related process and application, current specifications, and affected programs.

Lewis, pattie↗
DOE OSTI2025

Visualizing diverse lithium growth and stripping behaviors in anode-free solid-state batteries with operando X-ray tomography

Anode-free solid-state batteries (SSBs), which eliminate the need for lithium metal use during cell assembly, have the potential to enable high energy densities and simplified manufacturing. However, the factors that control lithium growth/stripping at the anode current collector are not well understood. Here, we use operando X-ray microcomputed tomography to comprehensively image and quantify lithium deposition and stripping under various conditions in three different Li|Li 6 PS 5 Cl|current collector cells, revealing diverse behavior that depends on interface morphology, cell resistance, and solid-state electrolyte (SSE) microstructure. A cell with high resistance exhibits extensive lithium filament growth across the entire current collector interface, with filaments that grow around pre-existing pores in the SSE rather than lithium filling these pores. Lithium filament formation is partially reversible, with the cracks shrinking as lithium metal is stripped. Uniform lithium deposition is achievable at low current densities in low-resistance cells, whereas higher current densities in these cells cause an increase in interfacial roughness, which is correlated with subsequent filamentary growth at the edges of the cell. These results provide insight into filamentary vs. planar lithium growth and highlight that the evolution of lithium is sensitively dependent on SSE microstructure and electrochemical processes.

25 ENERGY STORAGE↗
DOE OSTI2024

Computational Study of Additively Manufactured Internally Cooled Airfoils for Industrial Gas Turbine Applications

Internal cooling features such as pin-fins, impingement jets, and rib-turbulators are necessary to keep turbine components cool, but if sufficiently advanced can potentially also eliminate the need for film cooling on turbine blades particularly in industrial gas turbines where temperatures are not extreme. Furthermore, by leveraging additive manufacturing, other advanced designs such as lattice and incremental impingement configurations are possible and have recently been experimentally tested. While the performance of such configurations has been quantified through means of overall cooling effectiveness, it is not as clear why certain designs were better than others, or what the mechanisms were behind the observed external cooling patterns. The purpose of this study was to computationally analyze different advanced turbine blade internal cooling designs previously tested by the National Energy Technology Laboratory.

CFD↗