Search NASASearch

SEARCH · Search NASA

Results for “system requirements”

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 19 records

LSE-61: Rubin Observatory Data Management System (DMS) Requirements

This document contains the top-level requirements for the Data Management subsystem of the LSST, when combined with the Data Management-related requirements in the LSST System Requirements (LSR, LSE-29) and Observatory System Specifications (OSS, LSE-30).

79 ASTRONOMY AND ASTROPHYSICS

Frontier Job-Centric Telemetry Dataset

Comprehensive analysis of high-performance computing (HPC) systems requires linking workload execution to system behavior. This kind of analysis is vital for diagnosing performance issues, managing capacity, detecting anomalous workloads, and understanding how applications interact with system hardware. This job-centric telemetry dataset unifies scheduler job records with node-level measurements, enabling direct association between workloads and their corresponding power, thermal, and performance characteristics. It contains sanitized, scheduler related metadata for 152,400 individual jobs that ran on the Frontier supercomputer and ended on selected days throughout 2024 and 2025, a subpopulation of ~6.8% of the total number of allocated jobs with non-zero run time on the system over that same period. Each is linked with files that contain telemetry time series records of the power utilization and temperature behavior of its allocated nodes and their processors during the run time of the job. Where available, a portion of the job files also contain network performance time series. Jobs are sampled from select days that reflect normal levels of user activity and possess job size distributions with large numbers of leadership class jobs (>20% of Frontier nodes). Jobs in this dataset attempt to best represent successful user workflows.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI

Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL

The clean energy transformation includes the integration of distributed energy resources with the power grid, which has led to a substantial increase in the complexity of power grids infrastructure and the underlying operational technology environment. Power grids infrastructure represents an operational technology environment that has become a system of systems, integrating heterogeneous devices which are both software-and hardware-intensive; as a result, there are increasing demands to exploit advances in the commodity of software-hardware infrastructures to improve energy systems requirements such as cybersecurity and resilience. In such a setting, system requirements at different levels mix, which leads to vulnerabilities and undesirable outcomes. The use of formal methods to characterize and prove system requirements removes ambiguity, increases automation, and provides high levels of assurance and reliability. In this paper, we contribute a methodology and a framework for the system-level verification of zero trust architecture requirements in operational technology environments. We define a formal specification for the core functionalities of operational technology environments, the corresponding invariants, and security proofs. Of particular note is our modular approach for the formal verification of asynchronous interactions in operational technology environments. The formal specification and the proofs have been mechanized using the interactive theorem proving environment Isabelle/HOL.

formal methods

Reinforcement Learning to Enhance Optimal Operation of Resilient Community Energy Systems

This paper presents a novel model-free multi-agent Reinforcement Learning (RL) control method to enhance the resilience of community energy systems in island mode, which coordinates multiple objectives without the necessity of identifying system models that require expert knowledge. Specifically, a community-level coordinator agent is designed to allocate renewable energy resources among different buildings, and multiple building-level agents are developed to optimize load schedules based on limited energy resources and requirements of building loads and occupants’ comfort. In a two-day evaluation, our RL approach demonstrated a similar performance against MPC without requiring system models and formulation of optimization problems as required in MPC.

ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATION

The Method of Finite Averages

The Method of Finite Averages (MoFA) is a rigorous multiscale modeling methodology for efficiently modeling multi-physical phenomena in heterogeneous porous media. The code developed in this project aims to perform the numerical calculations required to formulate, implement, and verify MoFA models for Earth and Energy systems (i.e., model verification refers to performing fully-resolved simulations of the systems and comparing their results to those of the models). In general, MoFA transforms partial differential equations (PDEs) describing the fine-scale physics of a system into coupled ordinary differential equations (ODEs)---in time---that describe the coarse-scale---or "average"---physical behaviors of the system. This transformation significantly expedites system simulation, as the coarse-scale ODEs involve vastly fewer degrees of freedom than the fine-scale PDEs. The code developed under this project will allow users to 1.) generate system geometries and numerical meshes, 2.) solve the PDE and ODE systems required for MoFA model formulation and implementation, 3.) solve the PDE systems required to obtain fully-resolved simulation results for model verification, and 4.) compare and plot results (e.g., the model and fully-resolved simulation solutions, the error between the solutions, etc.).

Pietrzyk, KyleM [Lawrence Livermore National Labor

Combining High-Throughput Experiments and Active Learning to Characterize Deep Eutectic Solvents

The high tunability of deep eutectic solvents (DESs) stems from the ease of changing their precursors and relative compositions. However, measuring the physicochemical properties across large composition and temperature ranges, necessary to properly design target-specific DESs, is tedious and error-prone and represents a bottleneck in the advancement and scalability of DES-based applications. As such, active learning (AL) methodologies based on Gaussian processes (GPs) were developed in this work to minimize the experimental effort necessary to characterize DESs. Owing to its importance for large-scale applications, the reduction of DES viscosity through the addition of a low-molecular-weight solvent was explored as a case study. A high-throughput experimental screening was initially performed on nine different ternary DESs. Then, GPs were successfully trained to predict DES viscosity from its composition and temperature, showcasing the ability of these stochastic, nonparametric models to accurately describe the physicochemical properties of complex mixtures. Finally, the ability of GPs to provide estimates of their own uncertainty was leveraged through an AL framework to minimize the number of data points necessary to obtain accurate viscosity modes. This led to a significant reduction in data requirements, with many systems requiring only five independent viscosity data points to be properly described.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH

Development of Readily Available & Robust High Heat Flux Gardon Gauges

Concentrated solar power (CSP) technologies deliver concentrated solar energy as a heat source to industrial processes, power generation cycles, and chemical cycles. CSP systems require accurate and reliable high flux measurements, and next generation CSP systems will require flux measurement up to 1000 W/cm2. Existing flux measurement devices do not comprehensively meet the flux rating, cycle life, cost, and lead-time needs of stakeholders, necessitating the development of an improved flux sensor. In this study, Sandia National Laboratories (SNL) partnered with Hukseflux Thermal Sensors to develop a low-cost, short lead-time, and robust flux sensor rated to 250 W/cm2. Three prototype circular foil gauge designs were assessed for performance at the National Solar Thermal Test Facility (NSTTF) at SNL. Each gauge design measured flux up to 250 W/cm2 with <5% measurement error. Following baseline error quantification, gauges were exposed to flux above 500 W/cm2 to assess gauge failure mechanisms. Gauges physically survived >500 W/cm2 flux exposure, but measurement error was found to increase after foil coatings reached 400 °C. The results of this study suggest that coating optical properties change at excessive temperatures and that foil coating temperature, rather than heat flux level, dictates the acceptable gauge measurement range.

McLaughlin, Luke (ORCID:0000000303711310)

Options for Achieving Cost Reduction in Advanced Reactors through Open Architecture

A key contributor to high capital costs and schedule overruns for new nuclear power plants is lack of standardization, driven by site-specific customization and construction of multiple designs by competing vendors rather than commitment to a single standardized program. While advanced reactor vendors typically individually target repeat construction of standardized units, the many competing designs could exacerbate the problem. “Open Architecture”, the open specification of requirements and interfaces for structures, systems and components (SSCs), has been proposed as a means of promoting standardization, by facilitating existing non-nuclear suppliers to enter the industry and/or allowing SSCs to be configured for more than one reactor within the same technology type. Contracting mechanisms that facilitate information sharing and alignment of incentives between stakeholders may complement such an approach. A preliminary scheme is presented for selection of SSCs for which such strategies could be adopted, based on a vendor make/buy decision model and stakeholder interviews. SSCs are categorized according to number of suppliers and their contribution to the reactor’s competitive edge. SSCs with many potential suppliers and a high contribution to competitive edge may be attractive for widening the supply chain via open specification of system requirements and interfaces, e.g., SSCs in the power island. SSCs with few suppliers and low contribution to competitive edge may be potential avenues for common system specification between vendors, e.g., some of the auxiliary SSCs. Potential cost reductions from such strategies will depend upon the size of the build program and the reactor type.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS

Electrochemical Random-Access Memory: Progress, Perspectives, and Opportunities

Non-von Neumann computing using neuromorphic systems based on analogue synaptic and neuronal elements has emerged as a potential solution to tackle the growing need for more efficient data processing, but progress toward practical systems has been stymied due to a lack of materials and devices with the appropriate attributes. Recently, solid state electrochemical ion-insertion, also known as electrochemical random access memory (ECRAM) has emerged as a promising approach to realize the needed device characteristics. ECRAM is a three terminal device that operates by tuning electronic conductance in functional materials through solid-state electrochemical redox reactions. This mechanism can be considered as a gate-controlled bulk modulation of dopants and/or phases in the channel. Early work demonstrating that ECRAM can achieve nearly ideal analogue synaptic characteristics has sparked tremendous interest in this approach. More recently, the realization that electrochemical ion insertion can be used to tune the electronic properties of many types of materials including transition metal oxides, layered two-dimensional materials, organic and coordination polymers, and that the changes in conductance can span orders of magnitude has further attracted interest in ECRAM as the basis for analogue synaptic elements for inference accelerators as well as for dynamical devices that can emulate a wide range of neuronal characteristics for implementation in analogue spiking neural networks. At its core, ECRAM shares many fundamental aspects with rechargeable batteries, where ion insertion materials are used extensively for their ability to reversibly store charge and energy. Computing applications, however, present drastically different requirements: systems will require many millions of devices, scaled down to tens of nanometers, all while achieving reliable electronic-state tuning at scaled-up rates and endurances, and with minimal energy dissipation and noise. Further, in this review, we discuss the history, basic concepts, recent progress, as well as the challenges and opportunities for different types of ECRAM, broadly grouped by their primary mobile ionic charge carrier, including Li, protons, and oxygen vacancies.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH

Package Testing Program Process for Validation and Verification of Software

The purpose of this document is to define the process for validation and verification (V&V) of software used to test the thermal data acquisition equipment in the Oak Ridge National Laboratory (ORNL) Package Testing Program (PTP) as part of the testing configuration(s). This process adheres to all applicable ORNL Standards Based Management System requirements and correlates with the PTP Quality Management System and the Software Quality Assurance Plan.

97 MATHEMATICS AND COMPUTING

Exergy Analysis of a Convective Heat Pump Dryer Integrated with a Membrane Energy Recovery Ventilator

To increase energy efficiency, heat pump dryers and membrane dryers have been proposed to replace conventional fossil fuel dryers. Both conventional and heat pump dryers require substantial energy for condensing and reheating, while “active” membrane systems require vacuum pumps that are insufficiently developed. Lower temperature dehumidification systems make efficient use of membrane energy recovery ventilators (MERVs) that do not need vacuum pumps, but their high heat losses and lack of vapor selectivity have prevented their use in industrial drying. In this work, we propose an insulating membrane energy recovery ventilator for moisture removal from drying exhaust air, thereby reducing sensible heat loss from the dehumidification process and reheating energy. The second law analysis of the proposed system is carried out and compared with a baseline convective heat pump dryer. Irreversibilities in each component under different ambient temperatures (5–35 °C) and relative humidity (5–95%) are identified. At an ambient temperature of 35 °C, the proposed system substantially reduces sensible heat loss (47–60%) in the dehumidification process, resulting in a large reduction in condenser load (45–50%) compared to the baseline system. The evaporator in the proposed system accounts for up to 59% less irreversibility than the baseline system. A maximum of 24.5% reduction in overall exergy input is also observed. The highest exergy efficiency of 10.2% is obtained at an ambient condition of 35 °C and 5% relative humidity, which is more than twice the efficiency of the baseline system under the same operating condition.

Balaraman, Anand (ORCID:0000000218355788)

OLCF Test Harness

Acceptance and regression testing of a High Performance Computing (HPC) system requires an automated and reproducible framework and tool for running and logging results. Manually running tests across a system is labor intensive and prone to reproducibility errors. The OLCF Test Harness (OTH) provides a framework in which to document required tests for a HPC system. The OTH then provides tools to execute and log results of these tests in an automated fashion.

Dietz, Dan [Oak Ridge National Laboratory (ORNL),

MSD CoP Webinar: "Generative agents: A new frontier for representing human actors and their behavior in MSD models"

Context: This webinar was hosted by the MultiSector Dynamics Community of Practice (MSD CoP; https://multisectordynamics.org). Talk #1: Behavioral Generative Agents for Energy Operations Presenter: Dr. Cong Chen (Thayer School of Engineering, Dartmouth College) Abstract: Accurately modeling consumer behavior in energy operations remains challenging due to inherent uncertainties, behavioral complexities, and limited empirical data. This talk introduces a novel approach leveraging generative agents--artificial agents powered by large language models--to realistically simulate customer decision-making in dynamic energy operations. Talk #2: Simulating multiple human perspectives in socio-ecological systems using large language models Presenter: Dr. Yongchao Zeng (Institute of Meteorology and Climate Research, Atmospheric Environmental Research (IMK-IFU) of the Karlsruhe Institute of Technology in Germany) Abstract: Understanding socio-ecological systems requires insights from diverse stakeholder perspectives. This talk describes a novel simulation system called HoPeS (Human-oriented Perspective Shifting). HoPeS enables model users to not only explore simulated socio-ecological systems (SESs) from a third-person observer's perspective but also take any of the simulated stakeholder roles, like playing an RPG game. By shifting multiple perspectives, model users can reflect and integrate the situated knowledge learned through the participatory simulation, approximating a more holistic and less biased understanding of SESs. Moderators: Jim Yoon (MSD CoP Human Systems Modeling Working Group Co-Chair); Stefano Galelli (MSD CoP Using AI to Enhance MSD Research Working Group Co-Chair); Patrick M. Reed (MSD CoP Facilitation Team) This webinar was held on: November 13th, 2025 from 12-1 PM EST.

Artificial Intelligence

An Open-Source Parallel EMT Simulation Framework

As the integration level of inverter-based resources (IBRs) increases, ensuring the reliable operation of the bulk power systems requires the use of electromagnetic transient (EMT) simulation tools to identify and mitigate system-wide stability risks. Conducting EMT studies for large-scale, IBR-rich grids, however, is challenging due to the inherent computational bottleneck caused by the underlying high-fidelity models and required small time steps. This paper introduces ParaEMT: an open-source, generic EMT simulation framework designed to accelerate simulations by leveraging advanced parallel computational technologies, such as high-performance computers. This paper presents a comprehensive exposition of ParaEMT, covering its modeling library, simulation strategy, framework structure, operational procedures, and auxiliary features, alongside its extensible parallel computational architecture. Notably, ParaEMT is a publicly accessible and modularized framework written in Python, thereby facilitating future development and the integration of new models and algorithms. The accuracy and efficiency of ParaEMT are demonstrated by rigorous validations via multiple case studies.

electromagnetic transient simulation

Review of Technical Requirements for Inverter-Based Resources in Chile

This document compares the technical requirements in the grid code of Chile (NTSyCS) against the EirGrid (Ireland transmission system operator) and National Grid Electricity System Operator (NESO) grid codes and the Institute of Electrical and Electronics Engineers (IEEE) 2800-2022 standard for conventional inverter technology at the transmission and subtransmission levels in the process of being adopted by system operators in the U.S. The document is intended to be a guide and reference for future updates of the NTSyCS, considering the local system requirements and present improvements in inverter-based resource (IBR) technology. In light of the findings of the aforementioned comparative review, this document proposes and describes the requirements for conventional IBRs that could be incorporated and updated into the Chilean grid code. The document is structured around the main grid challenges posed by the transition to an IBR-dominated grid and conventional IBRs capabilities to help address them. This document does not provide guidance on how this specification should be implemented (e.g., through a mandate or market solution).

24 POWER TRANSMISSION AND DISTRIBUTION

Digital Twin Based Condition Monitoring of LCC-LCC Inductive Power Transfer Systems

Inductive power transfer (IPT) systems provide a flexible, hands-free charging opportunity to electric vehicles (EV). The resonant network components and the transmitter and receiver coils are often subjected to high voltages or currents. Component aging in the compensation network and coils of resonant IPT systems is detrimental to the reliability and power transfer efficiency of the IPT system. Monitoring the component health of such multi-element complex systems requires robust optimization algorithms. This paper discusses condition monitoring of a resonant IPT system for an EV charger using a digital twin model. A hybrid estimation algorithm based on genetic algorithms and adaptive particle swarm optimization is developed to estimate the parameters of the digital twin model. Simulation results are used to verify the monitoring capabilities of the developed algorithm under various operating conditions of the IPT system.

Weldehawaryat, Lidya Mussie [graduate research ass

Quantum Circuits for the Preparation of Spin Eigenfunctions on Quantum Computers

The application of quantum algorithms to the study of many-particle quantum systems requires the ability to prepare wave functions that are relevant in the behavior of the system under study. Hamiltonian symmetries are important instruments used to classify relevant many-particle wave functions and to improve the efficiency of numerical simulations. In this work, quantum circuits for the exact and approximate preparation of total spin eigenfunctions on quantum computers are presented. Two different strategies are discussed and compared: exact recursive construction of total spin eigenfunctions based on the addition theorem of angular momentum, and heuristic approximation of total spin eigenfunctions based on the variational optimization of a suitable cost function. The construction of these quantum circuits is illustrated in detail, and the preparation of total spin eigenfunctions is demonstrated on IBM quantum devices, focusing on three- and five-spin systems on graphs with triangle connectivity.

97 MATHEMATICS AND COMPUTING

Evaluation of a 5kW Solid Oxide Electrolysis Cell Stack

Solid oxide electrolysis cells (SOECs) are a developing technology for hydrogen production. They are promising due to their utilization of thermal energy to reduce their electricity consumption. The Department of Energy (DOE) has set goals to reduce the price per kilogram of hydrogen, and Idaho National Laboratory (INL) is conducting research to develop and demonstrate advanced methods and technologies to achieve making hydrogen a more affordable, efficient, and sustainable energy source. In this project, INL is collaborating with a vendor to evaluate and validate the design of a 5kW SOEC stack. The test aims to demonstrate a safe startup, operation, and shutdown on INL’s 5kW test stand, providing third-party validation in a different environment. A successful 50-hour test with stable hydrogen production will pave the way for a subsequent 1000-hour test. This project emphasized learning about electrolysis and the various support systems, referred to as balance of plant (BOP) equipment. These systems required modification while swapping to the vendor 5kW SOEC stack, most prominently the furnace door design and the controls system. It also included gaining skills in creating computer-aided design (CAD) drawings for the new door while using available materials and ensuring it met high-temperature requirements. Upon completion of modifications to the test stand, the SOEC will be test-fitted with respective wiring and piping. Instrumentation and piping will be checked for leaks and quality. This must be completed before the vendor’s engineers arrive to observe the test plan, startup, and a collection of 50 hours of data. The vendor’s engineers will ensure their stack performed sufficiently in the 50-hour test to enable the progression to a 1000-hour test.

08 - HYDROGEN