Search NASA⌕ Search

SEARCH · Search NASA

Results for “programming systems”

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 649 records · Page 36
All sourcesNASA NTRSDOE OSTI
DOE OSTI2020

Detecting gas leaks using unmanned aerial vehicles

Methods, systems and computer program products for detecting gas leaks using a drone are provided. Aspects include capturing a first set of data regarding a presence of a gas in the geographic area while flying along the initial flight path. Aspects also include creating secondary flight paths through regions in the geographic area in which the presence of the gas exceeds a threshold amount and capturing a second set of data regarding a concentration of the gas in the one or more regions while flying along the secondary flight paths. Aspects further include capturing wind data while flying along the initial and second flight paths and creating a three-dimensional gas plume model for gas leaks identified in the geographic area based on the first set of data, the second set of data and the wind data, wherein the three-dimensional gas plume model identifies a source of the gas leaks.

47 OTHER INSTRUMENTATION↗
DOE OSTI2021

Cycle accurate and cycle reproducible memory for an FPGA based hardware accelerator

A method, system and computer program product are disclosed for using a Field Programmable Gate Array (FPGA) to simulate operations of a device under test (DUT). The DUT includes a device memory having a number of input ports, and the FPGA is associated with a target memory having a second number of input ports, the second number being less than the first number. In one embodiment, a given set of inputs is applied to the device memory at a frequency Fd and in a defined cycle of time, and the given set of inputs is applied to the target memory at a frequency Ft. Ft is greater than Fd and cycle accuracy is maintained between the device memory and the target memory. In an embodiment, a cycle accurate model of the DUT memory is created by separating the DUT memory interface protocol from the target memory storage array.

Asaad, Sameh W.↗
DOE OSTI2021

Generating clock signals for a cycle accurate, cycle reproducible FPGA based hardware accelerator

A method, system and computer program product are disclosed for generating clock signals for a cycle accurate FPGA based hardware accelerator used to simulate operations of a device-under-test (DUT). In one embodiment, the DUT includes multiple device clocks generating multiple device clock signals at multiple frequencies and at a defined frequency ratio; and the FPG hardware accelerator includes multiple accelerator clocks generating multiple accelerator clock signals to operate the FPGA hardware accelerator to simulate the operations of the DUT. In one embodiment, operations of the DUT are mapped to the FPGA hardware accelerator, and the accelerator clock signals are generated at multiple frequencies and at the defined frequency ratio of the frequencies of the multiple device clocks, to maintain cycle accuracy between the DUT and the FPGA hardware accelerator. In an embodiment, the FPGA hardware accelerator may be used to control the frequencies of the multiple device clocks.

Asaad, Sameh W.↗
DOE OSTI2021

Hydrogen Wide Area Monitoring of LH2 Releases at HSE for the PRESHLY Project

The characterization of liquid hydrogen (LH2) releases has been identified as an international research priority to expand the safe use of hydrogen as an energy carrier. Empirical field measurements such as those afforded by Hydrogen Wide Area Monitoring (HyWAM) can elucidate the behavior of LH2 releases, which can then be used to support and validate dispersion models. HyWAM can be defined as the quantitative three-dimensional spatial and temporal profiling of planned or unintentional hydrogen releases. The NREL Sensor Laboratory developed a HyWAM based upon a distributed array of hydrogen Sensors. The NREL Sensor Laboratory and Health and Safety Executive (HSE) formally committed to collaborate on profiling GH2 and LH2 releases, which allowed for the integration of the NREL HyWAM into the HSE LH2 release behavior investigation supported by the FCH JU Prenormative Research for the Safe Use of Liquid Hydrogen (PRESLHY) program. A HyWAM system consisting of 32 hydrogen measurement points and co-located temperature sensors were distributed downstream of the LH2 release apparatus developed by HSE. In addition, there were proximal wind and weather monitors. In a separate presentation at this conference "HSE SD Experimental Summary for the Characterisation, Dispersion and Electrostatic Hazards of LH2 for the PRESLHY Project" HSE researchers summarize the experimental apparatus and experimental protocols utilized in the HSE LH2 releases that were performed under the auspices of PRESLHY. To supplement the HSE presentation, this presentation will focus on the spatial and temporal behavior LH2 releases as measured by the NREL HyWAM. Correlations to ambient conditions, such as wind speed and direction, plume temperature and hydrogen concentrations will be discussed in addition to the design and performance of the NREL HyWAM, and its potential for improving hydrogen facility safety.

HYDROGEN↗
DOE OSTI2023

Xe-100 Pebble Bed Small Modular Reactor: Solving Critical Challenges to Enable the Xe-100 Pebble Bed Advanced Reactor Concept (ARC) (Final Scientific and Technical Report)

This is the final progress report for the Department of Energy (DOE) – X Energy, LLC cooperative agreement DENE0008472. This report provides a high-level summary of the work performed during the entire period of performance, running from July 1, 2016 – June 30, 2022. This span of time covers the original 5-year award and a one year no-cost extension. There were four tasks within this project: (1) project management, (2) reactor design furtherance, (3) fuel development, and (4) Nuclear Regulatory Commission (NRC) engagement. Detailed reporting during execution of the project was provided by a total of 23 quarterly reports, 42 X-energy technical reports, and voluntary monthly update presentations. Other technical work products include 2 white papers and 2 Topical Report submitted to the Nuclear Regulatory Commission, 15 Potential Inventions documented, 4 patents issued, 3 patents pending, 8 peer reviewed journal articles, and 2 Oak Ridge National Laboratory Technical Manuscripts. All the X Energy milestones/deliverables were met early or on time and are archived in the DOE Office of Nuclear Energy’s Program Information Control System: Nuclear Energy under Fiscal Year 2016, Work Breakdown Structure 2.07 – X-Energy. All other work products are available to DOE upon request.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2023

Reducing the cost of n modular redundancy for neural networks

An N modular redundancy method, system, and computer program product include a computer-implemented N modular redundancy method for neural networks, the method including selectively replicating the neural network by employing one of checker neural networks and selective N modular redundancy (N-MR) applied only to critical computations.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2023

Summary of INL Integrated Energy Systems Research for the Global National Laboratories Consortium on IES

The DOE Office of Nuclear Energy (DOE-NE) program on Integrated Energy Systems (IES) is led by researchers at Idaho National Laboratory (INL), and work is conducted in partnership with an array of other DOE laboratories, industry, and academia. IES research and development activities are additionally complimented by the DOE-NE Light Water Reactor Sustainability (LWRS) program, where work under the Flexible Plant Operations & Generation pathway supports analysis of opportunities for non-electric applications of current fleet nuclear plants and collaborates with multiple plants on near-term hydrogen production demonstration opportunities. The DOE-NE programs additionally partner with the Hydrogen and Fuel Cell Technologies Office under the DOE Office of Energy Efficiency and Renewable Energy to jointly fund the development of analysis tools, technologies, and nuclear-integrated hydrogen demonstration projects. This document provides a brief, high-level summary of IES work as contribution to the annual report for the Global National Laboratories Consortium on IES.

08 HYDROGEN↗
DOE OSTI2025

ON THE EFFECTIVENESS OF LLMS IN UNIT TEST GENERATION FOR STRUCTURED TEXT PROGRAMS

The reliability of industrial automation systems heavily depends on the correctness of Programmable Logic Controller (PLC) programs, which are often written in Structured Text (ST). While Large Language Models (LLMs) have shown promise in automating test generation for mainstream programming languages, their effectiveness for the syntactically strict ST language remains underexplored. This thesis presents a systematic empirical evaluation of three state-of-the-art LLMs—GPT-4o, Gemini 2.5 Pro, and Claude Sonnet 4.5—for generating ST unit tests. We examine three prompting strategies: Natural Language (NL), Code Language (CL), and Chain-of-Thought (CoT), across a curated set of 11 ST function blocks. The quality of the generated tests is assessed using Compilation Success Rate (CSR), Statement Coverage (SC), and Branch Coverage (BC). In the zero-shot setting, Claude Sonnet 4.5 achieves the highest CSR, while Gemini 2.5 Pro consistently delivers the best statement and branch coverage, particularly under CL prompts. By incorporating a one-shot CL prompt, all models exhibit substantial improvements—most notably GPT-4o, whose CSR increases from 45.45% to 90.91%, with substantial gains in both SC and BC. To further contextualize these findings, we compare GPT-4o’s one-shot results with PLCAutoTester, a state-ofthe- art ST unit test generation tool, on an additional benchmark dataset. While LLMgenerated tests approach competitive coverage levels, PLCAutoTester maintains significantly higher and more stable coverage across programs. This study provides the first comprehensive benchmark of modern LLMs for ST unit testing, highlighting their strengths, limitations, and improvements through one-shot prompting, and positioning their performance relative to specialized automated testing tools in industrial automation.

42 ENGINEERING↗
DOE OSTI2017

User-Preference-Driven Model Predictive Control of Residential Building Loads and Battery Storage for Demand Response: Preprint

This paper presents a user-preference-driven home energy management system (HEMS) for demand response (DR) with residential building loads and battery storage. The HEMS is based on a multi-objective model predictive control algorithm, where the objectives include energy cost, thermal comfort, and carbon emission. A multi-criterion decision making method originating from social science is used to quickly determine user preferences based on a brief survey and derive the weights of different objectives used in the optimization process. Besides the residential appliances used in the traditional DR programs, a home battery system is integrated into the HEMS to improve the flexibility and reliability of the DR resources. Simulation studies have been performed on field data from a residential building stock data set. Appliance models and usage patterns were learned from the data to predict the DR resource availability. Results indicate the HEMS was able to provide a significant amount of load reduction with less than 20% prediction error in both heating and cooling cases.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2016

A Hartree-Fock Application Using UPC++ and the New DArray Library

The Hartree-Fock (HF) method is the fundamental first step for incorporating quantum mechanics into many-electron simulations of atoms and molecules, and it is an important component of computational chemistry toolkits like NWChem. The GTFock code is an HF implementation that, while it does not have all the features in NWChem, represents crucial algorithmic advances that reduce communication and improve load balance by doing an up-front static partitioning of tasks, followed by work stealing whenever necessary. To enable innovations in algorithms and exploit next generation exascale systems, it is crucial to support quantum chemistry codes using expressive and convenient programming models and runtime systems that are also efficient and scalable. Here, this paper presents an HF implementation similar to GTFock using UPC++, a partitioned global address space model that includes flexible communication, asynchronous remote computation, and a powerful multidimensional array library. UPC++ offers runtime features that are useful for HF such as active messages, a rich calculus for array operations, hardware-supported fetch-and-add, and functions for ensuring asynchronous runtime progress. We present a new distributed array abstraction, DArray, that is convenient for the kinds of random-access array updates and linear algebra operations on block-distributed arrays with irregular data ownership. Finally, we analyze the performance of atomic fetch-and-add operations (relevant for load balancing) and runtime attentiveness, then compare various techniques and optimizations for each. Our optimized implementation of HF using UPC++ and the DArrays library shows up to 20% improvement over GTFock with Global Arrays at scales up to 24,000 cores.

97 MATHEMATICS AND COMPUTING↗