Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “toolkit”

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

Radial Shift Lattice Design using BMAD toolkit

The electron-ion collider (EIC) conceptual design [1] requires that the hadron storage ring (HSR) be able to demonstrate radial shifts using a dual rigidity system. The dual rigidity system is a system in which the dipoles in the utility straight sections(USS) of the EIC lattice have a different rigidity than the arc dipoles thus affecting the beam orbit in the lattice arcs. This difference in rigidity allows the orbital offset in the arc magnets to reach approximately 18.7 mm offset, with a circumference lengthening of 73.2 mm.

43 PARTICLE ACCELERATORS↗
DOE OSTI2018

Bringing Home Energy Information to Real Estate: A Toolkit

This report collects the results of DOE’s Better Buildings Home Energy Information Accelerator, a collaborative effort focused on expanding the availability and use of reliable home energy information at relevant points in residential real estate transactions. It features guidance and informational resources for energy program administrators and efficiency leaders, REALTORS ® , appraisers, lenders, and homeowners.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2020

NRAP Toolkit Screening for CarbonSAFE Illinois - Macon County

In this report we take stratigraphic data from the ISGS-led Macon County Phase 2 CarbonSAFE’s proposed site in Christian County, Illinois, and conduct reservoir simulations to generate pressure and CO 2 saturation plume data as a function of time. We then use this plume data along with the stratigraphic data as inputs to the NRAP Open-source Integrated Assessment Model (NRAP-Open-IAM) to evaluate project risks. For this report we focus on the probabilistic risk associated with hypothetical leakage of CO 2 and brine along the injection well and one monitoring well. We also study the resulting impact to two overlying aquifers, which could be used to inform monitoring technology selection.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2021

CSPlib - A Software Toolkit for the Analysis of Dynamical Systems and Chemical Kinetic Models

CSPlib is an open source software library for analyzing general ordinary differential equation (ODE) systems and detailed chemical kinetic ODE systems. It relies on the computational singular perturbation (CSP) method for the analysis of these systems. The software provides support for: General ODE models (gODE model class) for computing source terms and Jacobians for a generic ODE system; TChem model (ChemElemODETChem model class) for computing source term, Jacobian, other necessary chemical reaction data, as well as the rates of progress for a homogenous batch reactor using an elementary step detailed chemical kinetic reaction mechanism. This class relies on the TChem [2] library; A set of functions to compute essential elements of CSP analysis (Kernel class). This includes computations of the eigensolution of the Jacobian matrix, CSP basis vectors and co-vectors, time scales (reciprocals of the magnitudes of the Jacobian eigenvalues), mode amplitudes, CSP pointers, and the number of exhausted modes. This class relies on the Tines library; A set of functions to compute the eigensolution of the Jacobian matrix using Tines library GPU eigensolver; A set of functions to compute CSP indices (Index Class). This includes participation indices and both slow and fast importance indices.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2021

Systematic Enterprise Risk Management by Integrating the RISMC Toolkit and Cost-Benefit Analysis (Final Report)

The goal of this research is to theorize and quantify the relationships between safety and the financial performance of nuclear power plants (NPPs). The Socio-Technical Risk Analysis (SoTeRiA) theoretical framework, which connects the social aspects (e.g., safety culture) and structural features (e.g., safety practices) of an organization with organizational safety and financial risks, is used to theorize the direct and indirect relationships between safety and the financial performance of NPPs. An Integrated Enterprise Risk Management (I-ERM) methodological framework is developed to operationalize SoTeRiA to quantify NPP safety and financial performance in a unified platform where their underlying physical degradation mechanisms, coupled with maintenance performance (considering human and organizational factors), are explicitly incorporated to depict the interconnections and dependencies between safety and financial performance. In this study, NPP safety refers to both occupational safety and system safety (estimated from Probabilistic Risk Assessment, PRA), and financial performance refers to the monetary values associated with NPP operation and maintenance (O&M) strategies. This report covers a case study demonstrating the feasibility of the I-ERM methodological framework. More detailed development of one of the I-ERM modules, i.e., Probabilistic Physics-of-Failure (PPoF) analysis, and its connection with other I-ERM modules is demonstrated in a second case study. The outcome of this research will help NPP decision-makers create cost-saving maintenance strategies while maintaining safety by providing cost- and risk-informed recommendations regarding maintenance work processes and operational strategies.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
DOE OSTI2021

R3IT, Rapid Rural Resilient Interconnection Toolkit, Final Technical Report

Utilities nationwide are beginning to experience multiple solar interconnection requests per day. This request volume will soon overwhelm utility engineers, especially at smaller utilities which serve the majority of the landmass of the United States. In this project, we developed open-source software tool that automates the interconnection approval process and removes 80% of the time required to approve an interconnection and hence allow more solar to be quickly and safely integrated with the grid. This software is accompanied by a guidebook detailing interconnection best practices and utility lessons learned. Competing solar interconnection software is extremely expensive at ten times the cost of typical distribution engineering tools, it’s closed source which makes it hard to integrate into utility workflows, and it doesn’t address the hardest power flow modeling challenges of interconnection screening. Our solution was built built with our utility partners who are already experiencing multiple interconnection requests per day and integrates best practices from our past work with DOE and the cooperative community on solar integration. The resulting free and open-source solution has been disseminated through our media channels and conferences that engage over 1,900 utilities nationwide.

14 SOLAR ENERGY↗
DOE OSTI2021

NETL 45Q Addendum to the CO2U LCA Guidance Toolkit

This document provides additional guidance and changes to the Carbon Dioxide Utilization Life Cycle Analysis Guidance for the U.S. DOE Office of Fossil Energy and Carbon Management, Version 2.0 to make it more applicable to taxpayers preparing life cycle analyses for the 45Q tax credit.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗
DOE OSTI2022

Software Verification Toolkit (SVT): Survey on Available Software Verification Tools and Future Direction

Writing software is difficult. However, writing complex, well tested and designed, and functionally correct software is incredibly difficult. An entire field of study is devoted to the validation and verification of software to address this problem, and in this paper we analyze the landscape of currently available third party software. We have divided our analyses into three separate subsections with regards to software validation: formal methods, static analysis, and test generation. Formal verification is the most complex method in which to validate software correctness, but also the most thorough as it truly validates the mathematical validity of the source code. Static analysis generally is relegated to abstract syntax tree traversal techniques to find errors related to faulty software such as memory leaks or stack overflow issues. Automatic test generation is similar in implementation to static analysis, but pushes a bit further in verifying the boundedness of function inputs and outputs with regards to annotated or parsed criteria. The crux of this report is to analyze and describe the software tools that implement these techniques to validate and verify software. Pros and cons related to installation, utilization, and capabilities of the frameworks are described, and reproducible examples are provided with a focus on usability. The initial survey concluded that the most interesting tools of note are Z3, Isabelle/HOL, and TLA+ with regards to formal verification; and Infer, Frama-C, and SonarQube with regards to static analysis. With these tools in mind, a final conjecture is provided that describes future avenues of utilizing these tools for developing a verification framework to assist in validating existing software at Sandia National Laboratories.

97 MATHEMATICS AND COMPUTING↗