Search NASA⌕ Search

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.

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

At least 1,027 records · Page 57

Automata-based Debugging for Dissimilar Parallel Tasks

AutomaDeD is a tool that automatically diagnoses performance and correctness faults in MPI applications. It creates time and control-flow models of processes in an MPI program, and when a failure occus, these models are analyzed probabilistically to find the origin of the failure. The output of the tool is MPI processes ranked by the abnormality degree and regions of code where faults are first manifested. The granularity of code region is an MPI call or a computation region between two MPI calls.

Source record↗

Automata-based Debugging for Dissimilar Parallel Tasks

AutomaDeD is a tool that automatically diagnoses performance and correctness faults in MPI applications. It creates time and control-flow models of processes in an MPI program, and when a failure occus, these models are analyzed probabilistically to find the origin of the failure. The output of the tool is MPI processes ranked by the abnormality degree and regions of code where faults are first manifested. The granularity of code region is an MPI call or a computation region between two MPI calls.

Source record↗

Verification test suite for systems analysis tools

This report documents strategies and test problems to support Verification and Validation (V&V) of the systems analysis tools currently being developed under the Reactor Product Line (RPL) of DOE’s Nuclear Energy Advanced Modeling and Simulation (NEAMS) program. A suite of verification test cases has been developed. This test suite supports development of new codes as well as maintenance of existing codes. For advanced tools that are under development like RELAP-7 for light water reactor analysis [1] and the MOOSE based component models for SFR (M-SFR) analyses [2], verification of simulation results must be performed throughout the entire development phase. This test suite is also useful for established codes as part of automated testing to ensure that general code maintenance does not change existing results.

Sumner, T.↗

Development of Employee Health Services Scorecards and Dashboards for Sandia National Laboratories (SAND2020-2243 J)

The mission of Employee Health Services (EHS) at Sandia National Laboratories is to positively and efficiently impact the health of Sandia through patient-centered, cost-effective, community-connected care in support of its mission and people. We strive to continuously improve the delivery of health and wellness services. For the past few years, we have modeled our health programs around findings from the 2010 World Economics Forum (WEF): there are 8 top health risks and behaviors that drive 15 chronic conditions which account for 80% of the total health-care costs for all chronic illness worldwide. The WEF goes on to state that information and innovation are the keys to prevention, and EHS has decided to take a strong stand in both categories by utilizing health scorecards and department dashboards to visualize and share metrics with Sandia Leadership to foster improvements in employee wellness and optimize wellness offerings. Finally, these 2 types of information-sharing tools allow us to track the dollars spent and saved on our wellness programs, and show leadership where there is risk, where there is progress, and where there is need by providing current data that gives monthly, quarterly, and yearly feedback.

60 APPLIED LIFE SCIENCES↗

WildFire Ignition Resistance Estimator (WildFIRE) Wizard Software Development Report

This report describes the development of a software tool, entitled “WildFire Ignition Resistance Estimator Wizard” (WildFIRE Wizard, Version 2.10). This software was developed within the Wildfire Ignition Resistant Home Design (WIRHD) program, sponsored by the U. S. Department of Homeland Security, Science and Technology Directorate, Infrastructure Protection & Disaster Management Division. WildFIRE Wizard is a tool that enables homeowners to take preventive actions that will reduce their home’s vulnerability to wildfire ignition sources (i.e., embers, radiant heat, and direct flame impingement) well in advance of a wildfire event. This report describes the development of the software, its operation, its technical basis and calculations, and steps taken to verify its performance.

97 MATHEMATICS AND COMPUTING↗

Procurement Analysis Tool (PAT)

This a poster on PAT for the CESA National Energy Summit for States: Navigating Energy Trends and Federal Programs Conference.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

Foundational Tools for Petascale Computing

The Paradyn project has a history of developing algorithms, techniques, and software that push the cutting edge of tool technology for high-end computing systems. Under this funding, we are working on a three-year agenda to make substantial new advances in support of new and emerging Petascale systems. The overall goal for this work is to address the steady increase in complexity of these petascale systems. Our work covers two key areas: (1) The analysis, instrumentation and control of binary programs. Work in this area falls under the general framework of the Dyninst API tool kits. (2) Infrastructure for building tools and applications at extreme scale. Work in this area falls under the general framework of the MRNet scalability framework. Note that work done under this funding is closely related to work done under a contemporaneous grant, “High-Performance Energy Applications and Systems”, SC0004061/FG02-10ER25972, UW PRJ36WV.

97 MATHEMATICS AND COMPUTING↗

High-Performance Energy Applications and Systems

The Paradyn project has a history of developing algorithms, techniques, and software that push the cutting edge of tool technology for high-end computing systems. Under this funding, we are working on a three-year agenda to make substantial new advances in support of new and emerging Petascale systems. The overall goal for this work is to address the steady increase in complexity of these petascale systems. Our work covers two key areas: (1) The analysis, instrumentation and control of binary programs. Work in this area falls under the general framework of the Dyninst API tool kits. (2) Infrastructure for building tools and applications at extreme scale. Work in this area falls under the general framework of the MRNet scalability framework. Note that work done under this funding is closely related to work done under a contemporaneous grant, “Foundational Tools for Petascale Computing”, SC0003922/FG02-10ER25940, UW PRJ27NU.

97 MATHEMATICS AND COMPUTING↗

Sensitivity Analysis Tool for Electrochemical Conversion of CO 2 To CO: User Guide

This is the user guide for the tool described here: Development of technologies that convert carbon dioxide (CO 2 ) into products is part of the U.S. Department of Energy's Office of Fossil Energy and Carbon Management Carbon Conversion Program portfolio. One such technology under development converts CO 2 to value-added products via electrochemical reduction, where catalysts are used on the cathode to promote CO 2 conversion across the electrochemical catalyst (ECC) cell. Broadly, the ECC is integrated with balance of plant (BOP) equipment (e.g., compressors, pumps, heat exchangers, purification units) in system configurations to produce the desired product. To guide research and development (R&D) toward advancements that may make such conversion technologies economically competitive, researchers may use sensitivity analyses related to the ECC system cost and performance, including that of the cathodic and anodic catalysts. This tool is intended to inform developers and Program in assessing proposed R&D on ECC systems early in the development process. Results will guide researchers on where efforts would be best directed. The tool may be accessed here: https://www.netl.doe.gov/energy-analysis/details?id=55293cb1-6881-4181-a2b0-d00b711ce74b.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Advancements in Multiphysics Microdepletion Analysis of an eVinci TM -like Microreactor Leveraging OpenMC-CRAB Workflow

Nuclear microreactors (MRs) are a class of nuclear reactor technology, characterized by reduced dimensions, modular design, and reduced power output in contrast to conventional Light Water Reactors (LWRs). MRs are proposed for supplying electricity and eventual process heat to remote locations, such as military installations and disaster-affected areas. Current research work sponsored by the US Department of Energy Microreactor Program (MRP) is devoted to the development of novel modeling and simulation tools to better support MR vendors and regulatory bodies. Notably, the NRC is projected to utilize the CRAB multiphysics software driver for executing both design and beyond-design-basis accident analyses. Furthermore, the NRC has been utilizing the MELCOR code to calculate mechanistic source terms during accidents. Since MELCOR relies on isotopic inventory and reactor temperature/power profiles under accident conditions, which theoretically can be derived from CRAB, the goal is to establish a comprehensive CRAB-MELCOR computational framework. Past work was focused on testing and demonstrating CRAB's capability to generate results that can be used to inform mechanistic source term calculations in MELCOR. In particular, a computational workflow leveraging OpenMC-generated microscopic cross sections and CRAB was first applied to perform multiphysics microscopic depletion calculation followed by an accident scenario for a stylized microreactor problem. In fiscal year 2024, the research work has been focused on applying the OpenMC-CRAB workflow, which was first tested in fiscal year 2023, to a realistic 3D heat-pipe cooled MR problem representative of the eVinci TM design. The latter computational problem was developed with inputs from WEC to conserve selected neutronic and thermal characteristics of the eVinci TM design without releasing proprietary data. The results of this simulation, encompassing isotopic inventory, power density distribution, and kinetic parameters, will inform both MELCOR and the WEC-developed FATE code for mechanistic source terms calculations. The results from the two codes will then be compared for code verification purposes. This report contains the design characteristics of the realist heat pipe cooled microreactor developed as a use-case for the verification exercise, and the current results for the multiphysics microscopic depletion performed with the OpenMC-CRAB workflow. The results include eigenvalue as a function of time, power distribution at EOL, in addition to nuclides inventory's time evolution and spatial distribution. Finally, we report improvements to the workflow efficiency achieved through a collaboration with the NEAMS programs. Through this collaborative effort, we were able to strongly decrease the computational time for the multiphysics microdepletion calculation (i.e., from 17.4 hours to 5.7 hours on 280 processors) in addition to simplifying the interface to generate isotopics spatial distribution utilizable by FATE and MELCOR. Future work, including the improvement of the current microscopic cross-sections' library and the simulation of an accident scenario at EOL, is also discussed.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

KETCHUP: Parameterizing of large-scale kinetic models using multiple datasets with different reference states

Large-scale kinetic models provide the computational means to dynamically link metabolic reaction fluxes to metabolite concentrations and enzyme levels while also conforming to substrate level regulation. However, the development of broadly applicable frameworks for efficiently and robustly parameterizing models remains a challenge. Challenges arise due to both the heterogeneity, paucity, and difficulty in obtaining flux and/or concentration data but also due to the computational difficulties of the underlying parameter identification problem. Both the computational demands for parameterization, degeneracy of obtained parameter solutions and interpretability of results has so far limited widespread adoption of large-scale kinetic models despite their potential. Herein, we introduce the Kinetic Estimation Tool Capturing Heterogeneous Datasets Using Pyomo (KETCHUP), a flexible parameter estimation tool that leverages a primal-dual interior-point algorithm to solve a nonlinear programming (NLP) problem that identifies a set of parameters capable of recapitulating the (non)steady-state fluxes and concentrations in wild-type and perturbed metabolic networks. KETCHUP is benchmarked against previously parameterized large-scale kinetic models demonstrating an at least an order of magnitude faster convergence than the tool K-FIT while at the same time attaining better data fits. Finally, this versatile toolbox accepts different kinetic descriptions, metabolic fluxes, enzyme levels and metabolite concentrations, under either steady-state or instationary conditions to enable robust kinetic model construction and parameterization. KETCHUP supports the SBML format and can be accessed at https://github.com/maranasgroup/KETCHUP.

59 BASIC BIOLOGICAL SCIENCES↗

eCC++ : A Compiler Construction Framework for Embedded Domain-Specific Languages

eCC++ is a new compiler construction framework for embedding domain-specific programming languages within C++. That is, the host language is C++, the guest language is the DSL to be embedded in C++, and eCC++ is the tool that enables the embedding. The eCC++ framework is composed of three main components: a front-end, an API for program verification based on a functional and declarative intermediate representation (IR), and a Multi-Level Intermediate Representation (MLIR) code generator. The eCC++ front-end consists of a library of C++ classes and operators that can be used to define the guest language. Guest sources are compiled with any standard C++ compiler, and when run, the resulting executable generates an eCC++ IR representation of the program, which can be verified within the eCC++ framework. Finally, eCC++ allows for high-level and domain-specific optimizations before generating MLIR. In summary, eCC++ aims to act as a generic front-end that enables embedding guest languages into C++, and provides necessary compiler technology for program verification, targeting the existing capabilities in the MLIR infrastructure. The paper evaluates the eCC++ expressiveness and usability describing the process of embedding GraphIt, a high-performance graph language in C++.

Gonzalez Tallada, Marc↗

In service inspection and repair of sodium cooled ASTRID prototype

In the frame of the large R and D work which is performed for the future ASTRID sodium cooled prototype, In Service Inspection and Repair (ISI and R) has been identified as a major issue to be taken into account in order to enlarge the plant safety, to consolidate its availability and to protect the associated investment. After the first part of pre-conceptual design phase (2008-2012), the running second part of pre-conceptual phase (2013-2015) allows to increase the ISI and R tool ability for immersed sodium structures of ASTRID, at about 200 deg. C, on the basis of consolidated specifications and thanks to their qualification through more and more realistic laboratory tests and simulation with CIVA code. ISI and R items are being developed and qualified during a pluri-annual program which mainly deals with the reactor block structures, the primary components and circuit, and the Power Conversion System. It ensures a strong connection between the reactor designers and inspection specialists, as the optimization of inspectability and repairability is looked at: this already induced specific rules for design, in order to shorten and ease the ISI and R operations, which have been merged into RCC-MRx rules. In the frame of increasing technology readiness level with corresponding performance demonstration, this paper presents R and D dealing with the ISI and R items: it highlights the sensor development (both ultrasonic and electromagnetic concepts, compatible with sodium at 200 deg. C), then their applications for ASTRID structure control (under sodium telemetry, imaging and NDE). Activity for repair is also presented (a single laser tool for sodium sweeping, machining and welding), and finally the effort for associated robotic (generic program for ASTRID applications, specific technological tools for sodium medium, tight immersed bell). The main results of testing and simulation are given for telemetry, vision, NDE applications, laser process repair and under sodium sealing. (authors)

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

ASCENDS: Advanced Data SCiENce Toolkit for Non-Data Scientists

Data science capabilities are becoming important more and more. Even though there exist many data science and machine learning tools, they are not intuitive for many traditional scientists who are not familiar with programming. ASCENDS provides easy and intuitive interfaces (command-line interface, graphical user interface) to users so they can use data science capabilities without having to understand programming language. ASCENDS performs data visualization, machine learning model training, storing and prediction (regression problem), automatic hyperparameter tuning, and supports various machine learning models including random forest, kernel ridge, nearest neighbor, neural network, etc. Users can use standard CSV (comma separated values) format data set and investigate the feature columns that are highly correlated to a target column; further, they can learn ML models, then store and use them for predictions. The tool is supposed to be generically applicable so that it can be used for many different applications.

Sangkeun, MattLee↗

Overview of the NCSP Nuclear Data Program [Slides]

The mission of the NCSP is to provide sustainable expert leadership, direction and the technical infrastructure necessary to develop, maintain and disseminate the essential technical tools, training and data required to support safe, efficient fissionable material operations within the Department of Energy. The vision of the NCSP is to create a continually improving, adaptable and transparent program that communicates and collaborates globally to incorporate technology, practices and programs to be responsive to the essential technical needs of those responsible for developing, implementing and maintaining nuclear criticality safety.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Advanced probabilistic risk analysis using RAVEN and RELAP-7

RAVEN, under the support of the Nuclear Energy Advanced Modeling and Simulation (NEAMS) program [1], is advancing its capability to perform statistical analyses of stochastic dynamic systems. This is aligned with its mission to provide the tools needed by the Risk Informed Safety Margin Characterization (RISMC) path-lead [2] under the Department Of Energy (DOE) Light Water Reactor Sustainability program [3]. In particular this task is focused on the synergetic development with the RELAP-7 [4] code to advance the state of the art on the safety analysis of nuclear power plants (NPP). The investigation of the probabilistic evolution of accident scenarios for a complex system such as a nuclear power plant is not a trivial challenge. The complexity of the system to be modeled leads to demanding computational requirements even to simulate one of the many possible evolutions of an accident scenario (tens of CPU/hour). At the same time, the probabilistic analysis requires thousands of runs to investigate outcomes characterized by low probability and severe consequence (tail problem). The milestone reported in June of 2013 [5] described the capability of RAVEN to implement complex control logic and provide an adequate support for the exploration of the probabilistic space using a Monte Carlo sampling strategy. Unfortunately the Monte Carlo approach is ineffective with a problem of this complexity. In the following year of development, the RAVEN code has been extended with more sophisticated sampling strategies (grids, Latin Hypercube, and adaptive sampling). This milestone report illustrates the effectiveness of those methodologies in performing the assessment of the probability of core damage following the onset of a Station Black Out (SBO) situation in a boiling water reactor (BWR). The first part of the report provides an overview of the available probabilistic analysis capabilities, ranging from the different types of distributions available, possible sampling strategies, and post processing analysis capabilities. The first part of the report provides an extensive description of two major developments introduced this year: adaptive sampling for limit surface sampling and multi variate distributions. The document concludes with a description of the demo case (BWR-SBO) and a discussion of the results obtained.

97 MATHEMATICS AND COMPUTING↗

Using Performance Tools to Support Experiments in HPC Resilience

The high performance computing (HPC) community is working to address fault tolerance and resilience concerns for current and future large scale computing platforms. This is driving enhancements in the programming environ- ments, specifically research on enhancing message passing libraries to support fault tolerant computing capabilities. The community has also recognized that tools for resilience experimentation are greatly lacking. However, we argue that there are several parallels between performance tools and resilience tools . As such, we believe the rich set of HPC performance-focused tools can be extended (repurposed) to benefit the resilience community. In this paper, we describe the initial motivation to leverage standard HPC per- formance analysis techniques to aid in developing diagnostic tools to assist fault tolerance experiments for HPC applications. These diagnosis procedures help to provide context for the system when the errors (failures) occurred. We describe our initial work in leveraging an MPI performance trace tool to assist in provid- ing global context during fault injection experiments. Such tools will assist the HPC resilience community as they extend existing and new application codes to support fault tolerances.

Boehm, Swen↗