SEARCH · Search NASA

Results for “programming tools”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 919 records · Page 51

All sources NASA NTRS DOE OSTI

DOE OSTI2024

SAM Code Enhancements for Modeling of Liquid Metal-Cooled Fast Reactor Concepts

The SAM code is under development and supported by DOE-NE’s Nuclear Energy Advanced Modeling and Simulation program as a modern system-level modeling and simulation tool for advanced non-light water reactor safety analyses. These advanced reactor concepts incorporate novel and improved approaches to achieve safety and economic feasibility. This report summarizes two major efforts in addressing the modeling gaps in SAM for liquid-metal-cooled fast reactor (LMFR) applications, i.e. thermal mixing and stratification phenomena in large pools and corrosion-oxidation of components in flowing lead. A new one-dimensional model for thermal mixing and stratification effects in large pools and enclosures is developed and implemented. Thermal mixing and stratification occur when fluid enters a pool at a temperature different than the bulk fluid itself, a scenario often encountered during transients in pool-type systems. These phenomena are critical for the safety of reactors, impacting phenomena like natural circulation, which is essential for passive cooling. The improved model in SAM addresses limitations of state-of-the-art approaches by combining one-dimensional (1D) channels, representing the coolant jet flow, with lumped-parameter zero-dimensional (0D) pools, representing the rest of coolant in the tank. Energy exchange between the 1D jet and the 0D pools is based on heat transfer correlations calibrated against 3D simulations. It is verified that this model can handle various flow configurations, including hot jets in colder pools, cold jets in hotter pools, and the presence of features like ceilings, free surfaces, and obstacles. Additionally, validation against experimental data demonstrates the ability of the model to capture mixing and stratification effects in a wide range of conditions. The flexibility and improved accuracy of the new model make it a valuable tool for reactor safety analysis, allowing for the simulation of different geometries encountered in advanced reactors. A system-level corrosion modeling capability is developed and implemented in SAM to support Lead Fast Reactor (LFR) development. Although the initial focus of this capability will be on LFR application, this can later be expanded to include other liquid metals such as Lead-Bismuth Eutectic (LBE) and PbLi. This report summarizes the common corrosion mitigation strategies and outlines the progress on implementing and validating a corrosion-oxidation model in SAM. Verification and validation of the corrosion-oxidation portion of the model was performed using analytical solution and measured data from samples tested in the non-isothermal pumped lead loop at IPPE Obninsk. The iron transport and corrosion/precipitation portion of the model was assessed using an analytical model and measured corrosion depths from a natural convection lead loop experiment performed at CEA. It is demonstrated that the model implemented in SAM performed well in these assessments.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

DOE OSTI2024

Shorter function summaries for finite state machine-based high consequence systems using logic synthesis and tautologies (Final Report LDRD 24-1302)

Computer programs are often viewed as collections of functions – each function has parameters (inputs) and computes a return value, and each has potential side effects that modify program state (outputs). In this research, a Sandia symbolic execution tool designed to support “human-in-the-loop” analysis was modified to automatically create “function summaries,” and a new tool, “diaboolical,” was created to support enhancing readability of the summary using a novel approach to bit-vector simplification that leverages logic synthesis and tautologies. For this effort, students at Auburn University created several finite state machines (FSMs) to serve as exemplars for high-consequence systems. Function summaries for each of the machines were obtained, and then portions of the summaries were simplified using both diaboolical and the simplification procedure of a popular SMT solver. A comparison of the results shows that diaboolical can often produce smaller function summaries, with expression length improvements over the unsimplified function summaries ranging from 0% to 90% for diaboolical and 0% to 65% for the SMT solver, though diaboolical had a significantly greater cost in time. Diaboolical was evaluated against a collection of “arbitrary” C-code as well as FSM exemplars, and for both datasets it achieved an approximately 10% improvement in expression length compared to simplifications that could be obtained using existing techniques. Function summaries can assist assurance efforts that evaluate existing systems and their executable code. A smaller function summary is likely easier for humans to understand and could thus increase the ability and efficacy of assurance practices centered around the analysis of executable artifacts.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2024

SAM Code Improvements for Molten Salt Reactor Transient and Species Transport Modeling

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

DOE OSTI2025

MRCI Task 3: Facilitating Data Collection, Sharing, and Analysis Final Technical Summary Report

The Midwest Regional Carbon Initiative (MRCI) Task 3.0 was defined to facilitate development of carbon capture, utilization, and storage (CCUS) in the region by collection and sharing of existing and new technical data from CCUS projects and research. The task also included support for further analysis and assessment of tools by the project team and by researchers working on programs such as National Risk Assessment Partnership (NRAP), machine learning (ML) techniques, and assessment and improvement of CCUS site assessment, operations, and monitoring aspects. Work under Task 3.0 addressed key issues related to CCUS deployment and provided foundational research and datasets to help establish CCUS projects in the MRCI. Report Authors and Principal Technical Contributors: Joel Sminchak, Laura Keister, Mackenzie Scharenberg, Priya Ravi-Ganesh, Autumn Haagsma, Srikanta Mishra, Jared Hawkins, Jared Schuetter, Amy Lang, Jaelen Lewis, Derrick James, Jorge Barrios, Stuart Skopec, and Sanjay Mawalkar (Battelle). Chris Korose, Carl Carmen, Nate Grigsby, Nathan Webb (Illinois State Geological Survey). Principal Investigators: Dr Neeraj Gupta, Dr. Chris Korose.

MRCI,NRAP,data collection,data compilation,legacy ↗

DOE OSTI2025

SAM Enhancements for Air-Ingress Event Modeling in HTGRs

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

DOE OSTI2025

SLIA Reference Architecture Models

The SLIA Reference Architecture Models project, sponsored by the DOE CESER Energy CyberSense Program (Oct 2024–Sep 2025), advanced LLNL’s PySCES simulation tool to better support CyTRICS Prioritization and Initial Risk Assessment (PIRA) reference architectures. Key achievements include enhancements to the PySCES transmission substation facility model, expanded asset coverage, and enhancements to the PySCES code base. Software improvements reduced code complexity, migrated PySCES to Python version 3.11, introduced an object-oriented design, and added a schema database for easier updates and validation. New features support device criticality assessments and a more precise parametric simulation mode. Remaining gaps include model validation, workflow limitations, Monte Carlo convergence issues, full device criticality metric implementation, model fidelity, and general software improvements. Continued development is recommended to address these gaps and fully align PySCES with CyTRICS PIRA requirements.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2022

Detector Simulation Challenges for Future Accelerator Experiments

Detector simulation is a key component for studies on prospective future high-energy colliders, the design, optimization, testing and operation of particle physics experiments, and the analysis of the data collected to perform physics measurements. This review starts from the current state of the art technology applied to detector simulation in high-energy physics and elaborates on the evolution of software tools developed to address the challenges posed by future accelerator programs beyond the HL-LHC era, into the 2030–2050 period. New accelerator, detector, and computing technologies set the stage for an exercise in how detector simulation will serve the needs of the high-energy physics programs of the mid 21st century, and its potential impact on other research domains.

43 PARTICLE ACCELERATORS↗

DOE OSTI2012

AN OVERVIEW OF TOOL FOR RESPONSE ACTION COST ESTIMATING (TRACE)

Tools and techniques that provide improved performance and reduced costs are important to government programs, particularly in current times. An opportunity for improvement was identified for preparation of cost estimates used to support the evaluation of response action alternatives. As a result, CH2M HILL Plateau Remediation Company has developed Tool for Response Action Cost Estimating (TRACE). TRACE is a multi-page Microsoft Excel{reg_sign} workbook developed to introduce efficiencies into the timely and consistent production of cost estimates for response action alternatives. This tool combines costs derived from extensive site-specific runs of commercially available remediation cost models with site-specific and estimator-researched and derived costs, providing the best estimating sources available. TRACE also provides for common quantity and key parameter links across multiple alternatives, maximizing ease of updating estimates and performing sensitivity analyses, and ensuring consistency.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

DOE OSTI2018

Before the Battlefield: Competition Spurs Warfighter Innovations

In an effort funded by the Defense Threat Reduction Agency’s (DTRA) Joint Science and Technology Office, Pacific Northwest National Laboratory’s Dr. Lauren Charles and Mr. Michael Henry run an Intern-based Biosurveillance Ecosystem (BSVE) Web Application Development Contest. The competition topics target specific gaps in data collection, integration, analysis, and visualization of essential information needed for situational awareness of chemical and biological threats. The 10-week long summer internship program leverages the creativity and talent of graduate students as well as exposes bright, young professionals to the field of biosurveillance. For this past summer’s competition, Dr. Charles decided to try something different. She devised a new way to inspire innovation and gain higher quality results for the development of novel applications to aid in chemical and biological situational awareness. To this end, Dr. Charles developed and instantiated an Innovation Bootcamp Program aimed at training the student interns how to work effectively in interdisciplinary teams and quickly tackle new challenging problems while still producing top quality products. This new program was founded on three main components for success: people, tools, and application.

Innovation, Innovation, Biosurveillance, Intern Co↗

DOE OSTI2021

Global Power System Transformation Consortium

The Global Power System Transformation (G-PST) Consortium, an expert- and practitioner-driven initiative, engages key power system operators, research and educational institutes, governments, businesses, and stakeholders in all regions of the world to accelerate clean energy transitions at the ambitious scope and scale that is required. The G-PST Consortium provides coordinated, holistic support and knowledge infusion for system operators pursuing clean energy transitions, including performing cutting-edge research; providing implementation support for world-class engineering and operational solutions; supporting workforce development; building and disseminating open-access data and tools; and accelerating localized technology adoption, standards development, and testing programs.

consortium↗

DOE OSTI2020

All Hands On Deck: Raising the Bar on Whole Building Performance-Based Code Compliance and Above-Code Programs

In 2019 a large-scale national effort was launched with support from U.S. Department of Energy, Pacific Northwest National Laboratory and Northwest Energy Efficiency Alliance (NEEA). The project aimed to develop a long-term vision and a roadmap for achieving a practical application of whole building performance-based code and above code program compliance in commercial buildings. The work was aided by engaging over 70 stakeholders across the country representing jurisdictions, above-code programs such as LEED and ENERGY STAR Multifamily Program, members of the ASHRAE Standard 90.1 and other Standard committees, IBPSA and software developers. The performance path requires whole building energy modeling and is gaining momentum. Many see it as the future of the commercial energy codes and the main pathway for achieving zero energy buildings. The paper describes the findings from a stakeholder survey funded by NEEA on the current state of performance-based path, its market penetration, trends, implementation practices and adoption challenges. It discusses the patterns revealed by experience of the states with decades-long history of performance-based compliance such as Florida and California and opportunities for taking advantage of the synergies between code and above-code programs. In addition, the paper provides an overview of the tools and resources developed as part of the effort including the compliance form for ASHRAE Standard 90.1 Section 11 and Appendix G, modeling submittal review manual, and modeler and reviewer qualification requirements. The tools and resources would help remove market barriers, deliver immediate benefits to jurisdictions and rating authorities, and achieve energy efficiency through whole-building performance path.

TSPR, Performance Based Complinace, Washington Sta↗

DOE OSTI2022

A comprehensive guide to the physics and usage of PYTHIA 8.3

This manual describes the PYTHIA 8.3 event generator, the most recent version of an evolving physics tool used to answer fundamental questions in particle physics. The program is most often used to generate high-energy-physics collision "events", i.e. sets of particles produced in association with the collision of two incoming high-energy particles, but has several uses beyond that. The guiding philosophy is to produce and reproduce properties of experimentally obtained collisions as accurately as possible. The program includes a wide ranges of reactions within and beyond the Standard Model, and extending to heavy ion physics. Emphasis is put on phenomena where strong interactions play a major role. The manual contains both pedagogical and practical components. All included physics models are described in enough detail to allow the user to obtain a cursory overview of used assumptions and approximations, enabling an informed evaluation of the program output. A number of the most central algorithms are described in enough detail that the main results of the program can be reproduced independently, allowing further development of existing models or the addition of new ones. Finally, a chapter dedicated fully to the user is included towards the end, providing pedagogical examples of standard use cases, and a detailed description of a number of external interfaces. The program code, the online manual, and the latest version of this print manual can be found on the PYTHIA web page: https://www.pythia.org/

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

DOE OSTI2023

Assessing Solar Cybersecurity: Questions for States to Ask Electric Utilities

To help State Energy Officials and Public Utility Commissions engaging investor-and consumer-owned utilities and the solar industry in topical discussions about their cybersecurity practices and priorities in general, and for interconnected solar systems, specifically, this report outlines discussions prompts for these discussions. By using the questions in this tool states can explore aspects of utilities’ cybersecurity risk management programs that target solar devices, systems, and communication pathways. Such discussions help states identify cybersecurity gaps and assist in emergency response planning, as well as general risk awareness.

14 SOLAR ENERGY↗

DOE OSTI2023

Geomechanical Characterization of the Mount Simon Sandstone and Eau Claire Formation of Northern Illinois Basin

The purpose of this paper is to analyze publicly available geomechanical data from two carbon storage sites in the Illinois Basin: the Illinois Basin-Decatur Project (IBDP) in Macon County, IL and the FutureGen2.0 project in Morgan County, IL, cancelled before injection began. This study estimates the magnitudes and directions of the least compressive principal stress gradient using hydraulic fracture-based stress measurement tests, borehole breakouts, and sonic logs in the Eau Claire Formation (primary confining zone) and the Mount Simon Sandstone (targeted reservoir). The range of stresses expected in the underlying Precambrian basement is also investigated. The evaluation of the state of stress is carried out in a probabilistic manner using the State of Stress Analysis Tool (SOSAT) developed under the National Risk Assessment Partnership (NRAP) program. Finally, the paper also provides a discussion on distinctions between fracture initiation pressure, propagation pressure, and fracture closure pressure, given that hydraulic fracture testing results show a significant difference between these three values. The discussion also addresses why the fracture closure pressure should be preferred in injection pressure determinations, a critical point in geological carbon storage projects.

de Toledo Camargo, Julia↗

DOE OSTI2023

UPGrants LCA Overview

Presentation providing an overview of the LCA requirements and tools for potential vendors in the Utilization Procurement Grants (UPGrants) program.

Krynock, Michelle↗

DOE OSTI2024

MFANS 2024 - Formally Proving Characteristics of Cyber-Physical Systems

Cyber-physical systems (CPS) are engineered systems that rely on the smooth integration of computational algorithms and physical elements. This integration presents new challenges for verifying that systems will behave as expected. The goal of this presentation is to present current challenges and potential solutions for the formal verification of cyber-physical systems. For cyber systems, formal methods refer to systematically rigorous mathematical techniques employed in the specification, development, analysis, and verification of both software and hardware systems. Recent advancements in computer science have yielded sophisticated tools specifically designed to address challenges associated with formal methods in complex systems. These tools leverage various foundational concepts such as logic, formal languages, program semantics, type systems, type theory, and automata theory. A notable achievement in the application of formal methods is the seL4 microkernel, claimed to be the first general-purpose operating-system kernel to be verified. Its proof implies the absence of bugs and guarantees that the kernel meets specifications. For physical systems, dynamic and control theory has a history of using rigorous analytic techniques to prove functional correctness. Lyapunov, optimal, classical, modern, and robust control theories all provide rigorous mathematical methods both to analyze system performance and to design controller that can be guaranteed to meet certain objectives. Recent computational techniques like level set theory and reachability analysis provide assertions that a system's state will avoid unsafe regions. Even though success has been independently achieved for cyber systems and physical systems, the integration of such systems creates new challenges. In particular, there is an obvious discrepancy between finite-state machines and infinite-state systems, resulting in different approaches for modeling and analyzing these system. While it is possible to simulate hybrid systems, this provides only a demonstration of a performance and not proof. For hybrid systems, current formal methods and system analysis approaches typically require a workarounds to work on hybrid systems like CPS. This paper will outline the state of the art and limits of current practice for formally verifying CPS and will identify possible research directions that require attention.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2018

Aerial Lidar and Geomorphic Change Detection Software- Tools for Monitoring Canyon Sediments at LANL - 18668

The Los Alamos National Laboratory Environmental Remediation program has conducted extensive geomorphic surveys of sediment deposits in the canyon bottoms within and surrounding the facility. The goal of the geomorphic surveys was to provide basic information needed to characterize chemical inventories of the sediments downstream of historical release sites. Sediment units were mapped based on depositional setting and age. Representative characterization samples were collected for each unit and submitted for chemical analysis. Chemical inventories were estimated by calculating the total volume of each depositional unit and multiplying by average chemical concentration. This method of characterization provides a spatial distribution of chemical data based on fluvial processes. In general, for the canyon bottom sediments, the higher concentrations of industrial chemicals were associated with fine-grained floodplain deposits closest to the source. Since initial characterization, many of the reaches have undergone changes in response to post-wildfire floods and severe rain events. These events impacted the channel and floodplain deposits. Much of the elevated concentrations are confined to the over-bank deposits distal from the primary channel. In order to ensure that the sediment units containing elevated chemical concentrations are stable, repeat aerial light detection and ranging (LiDAR) surveys are conducted and changes are assessed using the Geomorphic Change Detection (GCD) plug-in for ArcGIS. These tools provide high confidence uncertainty estimates and extensive areal coverage. This is a valuable method for long-term monitoring of surface sediments with low-level but widespread contaminant distributions. All of the monitored canyon bottom reaches pass risk assessment and present technically infeasible sediment removal options. Following the 2014 monsoon season, aerial LiDAR data has been collected annually and the resulting digital elevation models (DEMs) processed using the GCD method. Changes are identified using GCD and are verified by field walk downs. If erosion is identified in areas which are vulnerable to mobilizing contaminated sediment, enhanced controls can be installed to stabilize banks or other areas with high erosion potential. Annual sediment monitoring samples are collected where there is evidence for flow and deposition within the past year. Since 2014, no severe floods have been catalogued using the LiDAR surveys and GCD software. The recent rainfall/runoff events have not caused major changes to the canyon bottom channels and floodplains. Geomorphic processes identified in the monitoring results include channel aggradation and incision that over the course of a monsoon season results in minor changes to the system. Other active processes contributing to observed changes are minor slides, flows, slumps, and falls of unconsolidated sediment on steep bedrock or soil surfaces. A comprehensive baseline has been established by geomorphic mapping and characterization sampling. Periodic monitoring consists of LiDAR surveys and GCD analysis which offers an effective and defensible methodology for documenting stability of surface sediments. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

DOE OSTI2019

Preparing for the Next Generation of EUV Lithography at the Center for X-ray Optics

The introduction of EUV lithography into high-volume semiconductor manufacturing this year represents a monumental milestone for EUV technology. After nearly 30 years of development, the EUV research community has overcome many of the key obstacles required to enable the long-awaited integration of EUV lithography into the lab. These obstacles have included: the development of a stable, high-powered EUV source to ensure adequate exposure tool reliability; controlling EUV mask defects and mask contamination; and the development of EUV resists with adequate sensitivity, resolution, and line width roughness to meet the tolerances required for high-volume manufacturing. As EUV moves into its second generation, there will be new challenges facing the community as it works to push EUV technology into the future. Smaller feature sizes will be achieved using higher numerical aperture optics, which are planned to have an anamorphic geometry (asymmetric magnification and numerical aperture between horizontal and vertical axes) to overcome 3D effects at the mask. This new geometry and its larger angle ranges make understanding mask absorber and multilayer effects all the more important. New methods for high-NA wavefront metrology need to be tested to ensure that these optical systems can be aligned to operate with minimal aberrations. Mask defects need to continue to be studied, and the inclusion of EUV pellicles in the roadmap requires that mask inspection and review systems adapt accordingly. Finally, new resists must be developed to support the increased resolution of feature sizes below 8 nm half pitch. The Center for X-ray Optics (CXRO) at Berkeley Lab has been a leader in EUV research for the past 25 years. Leveraging 13.5 nm EUV light from the Advanced Light Source synchrotron facility, CXRO is home to several EUV and soft X-ray (SXR) research tools that have provided important insights into EUV resists, masks, and coatings. The 0.3 NA Microfield exposure tool (MET) and Dose Calibration Tool (DCT) have played an instrumental role in the development of the current generation of high-resolution EUV resists. The Actinic Inspection Tool (AIT) and its successor, SHARP, have enabled aerial image analysis, providing key insights into mask defects, 3D mask effects, illumination, and aberrations. And the CXRO Reflectometer continues to be the industry standard in multilayer coating and EUV mask scattering metrology. To address the new challenges facing the next generation of EUV lithography, CXRO has upgraded its suite of EUV research tools. The 0.5 NA MET5 is a newly commissioned projection lithography tool that is capable of printing feature sizes down to 8 nm half pitch. A new radiation chemistry program is deploying several techniques aimed at dissecting the role of primary photoelectrons and secondary electrons in EUV resists. The SHARP microscope has been outfitted with anamorphic zone plate lenses that can emulate the geometry of next-generation EUV scanners, and the reflectometer has been applied to new scattering experiments for the purpose of understanding the 3D effects of EUV mask multilayers, as well as determining mask properties using scattering profiles. In parallel with these tools, the CXRO High-NA Wavefront Sensing Program is developing high-resolution wavefront sensors suitable for measuring aberrations at high NA. This article presents an overview of these programs and describes how they will address the primary challenges that face the EUV community as it moves to the next generation of EUV lithography.

47 OTHER INSTRUMENTATION↗