SEARCH · Search NASA
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.
For digital twins (DTs) to become a central fixture in mission critical systems, a better understanding is required of potential modes of failure, quantification of uncertainty, and the ability to explain a model’s behavior. These aspects are particularly important as the performance of a digital twin will evolve during model development and deployment for real-world operations.
Many of us regularly enjoy the online resources provided by the National Security Research Center (NSRC), which is the Lab’s classified library. However, you may not be aware of all the work that goes on behind the scenes to digitize articles, reports, photographs, and correspondence. This process not only preserves documents, many of which date back to the Manhattan Project era, but also ensures they are searchable and accessible for today’s national security work. You also may not be aware that a vast majority of the Laboratory’s information holdings have not yet been digitized. And by vast majority, I mean perhaps 90% of the millions of holdings in the NSRC is only available in hard copy.
Gamma-ray spectrometry is one of the most effective ways to determine the activity of 239 Pu, depending on activity levels. However, often high backgrounds in complex spectra with low amounts of 239 Pu can increase detection limits. The effectiveness of the use of gamma-gamma spectrometry in the characterization of 239 Pu was studied for the first time. Using the XIA Pixie-16 digital pulse processor, the gamma-gamma system was studied to establish unshielded background radiation, source to detector distances, Poisson statistics and gating of several gamma-rays from 239 Pu. The results clearly show that the distance between gamma ray spectrometers has a much bigger effort in counting statistics for the gamma-gamma coincidence detectors than a single detector. In addition, measurements demonstrated the background radiation to be virtually negligible, meaning gammagamma spectroscopy can still be very effective without requiring the usual lead shielding. Other measurements were taken to assure Poisson statistics were attained in the digital system. Preliminary measurements revealed 3 orders of magnitude background reduction for the measurement of 239 Pu using gated gamma-rays.
We completed all the Milestones and disseminated results at the 2021 Computational Approaches for Cancer Workshop (CAFCW21) at the SuperComputing21 conference. As part of Milestone 1, we developed and implemented a prototype digital twin of metastatic melanoma patients, performed quality checks on the code and released it as open source. The work has directly driven major grant proposals by the team on computational digital twins and supporting software infrastructure, including a successful fellowship application by the PI. Work was lead by Paul Macklin (Contact PI, Indiana University), in collaboration with Ilya Shmulevich (PI, Institute for Systems Biology), Tina Hernandez-Boussard (PI, Stanford Univ.), Jeffrey Bryan (Co-I, University of Missouri), Snigdhansu Chatterjee (Co-I, University of Minnesota), and Mohammad Fallahi-Sichani (Co-I, U. of Virginia). Postdoctoral student Heber L. Rocha (Macklin lab, IU) performed intensive computational work, in collaboration with Senior Research Scientist Boris Aguilar (Shmulevich lab, ISB).
ORNL Manufacturing Demonstration Facility and Perisense worked on a low-cost solution for machining process monitoring to enable a digital factory. Enabling machine connectivity for digital factors is expensive for many small to medium manufacturers. The hypothesis for the research project is that a lowcost sensor suite, which can be retrofitted to a legacy machine tool or a new machine tool, can effectively provide real-time, in-situ sensing for manufacturing processes, which can enable improvements in process performance and efficiency. The Perisense sensor node was installed on the Haas TM1 machine with a current sensor and an accelerometer. Cutting tests were performed at different process parameters and sensor data was recorded. Results show a correlation of the current sensor to the spindle load. The accelerometer, mounted on the machine base, showed a correlation to the spindle speed as well as the spindle load. The sensor data can be used to monitor the machining process and provide insights on the machine spindle load utilization.
The overarching goal of this Light Water Reactor Sustainability Program–supported research and development project is to provide planning tools and comprehensive guidance to utilities considering or undertaking full nuclear plant modernization. The results of this research will provide the nuclear industry with a comprehensive and usable solution, including guidance, lessons learned, methods, and planning tools. This research is currently working to provide guidance on digitalization and information automation to enable the evolution of data to information, insight, and action—thereby allowing utilities to operate safely and cost-competitively with all other electrical generation sources. Light Water Reactor Sustainability Program researchers have also recently started investigating how human and technology integration principles, information automation, and digitalization enable data evolution. These researchers are currently in the process of validating the use of System-Theoretic Process Analysis to define high-level safety constraints in the United States Nuclear Regulatory Commission’s problem identification and resolution process (i.e., a plant compliance information gathering activity). The next step in this research, which is described in the following sections of this report, is to map out data evolution in a use case to identify inefficiencies in another aspect of plant compliance information gathering and communication activities—event investigations and root cause analyses.
Presentation slides that discuss the NSRC Digital Collections' mission of preserving weapons programs’ knowledge via digitization of various media types improving accessibility of information.
Dr. Fitzgerald, a postdoc at Sandia National Laboratories, works in a materials of mechanics group characterizing material properties of ductile materials. Her presentation focuses specifically on increasing throughput of coefficient of thermal expansion (CTE) measurements with the use of optical strain measurements, called digital image correlation (DIC). Currently, the coefficient of thermal expansion is found through a time intensive process called dilatometry. There are multiple types of dilatometers. One type, a double push rod mechanical dilatometer, uses and LVDT to measure the expansion of a specimen in one direction. It uses a reference material with known properties to determine the CTE of the specimen in question. Testing about 500 samples using the double push rod mechanical dilatometer would take about 2 years if testing Monday through Friday, because the reference material needs to be at a constant temperature and heating must done slowly to ensure no thermal gradients across the rod. A second type, scissors type dilatometer, pinches a sample using a “scissor-like” appendage that also uses a LVDT to measure thermal expansion as the sample is heated. Finally, laser dilatometry, was created to provide a non-contact means to measure thermal expansion. This process greatly reduces the time required to setup a measurement but is still only able to measure one sample at a time. The time required to test 500 samples gets reduced to 3.5 weeks. Additionally, to measure expansion in different directions, multiple lasers must be used. Dr. Fitzgerald solved this conundrum by using an optical measurement technique called digital image correlation to create strain maps in multiple orientations as well as measuring multiple samples at once. Using this technique, Dr. Fitzgerald can test 500 samples, conservatively, in 2 days.
Modeling and simulation constitute two important parts in constructing a sensible digital twin to mimic the dynamics of hydropower systems. Because of the physical nature of a hydropower system, the basic modeling should cover the water flow systems from the reservoir to the penstock (inlet water pipes), penstock to hydro turbine, and hydro turbine to generator and from the linkage of the hydropower systems to the grid. This report describes initial attempts to model these dynamic components, including the formulation of the linearized state space model for hydro turbine systems using the well-known six-coefficients linearization method and the formulation of the voltage and power dynamical models of a synchronous generator. To validate the accuracy of the proposed model, data collected from Norwegian University of Science and Technology were used to obtain relevant parameters for the model, and the desired simulation results were obtained. Additionally, neural network modeling and learning were also developed and applied to model the generation torque and water flow rate subsystems to demonstrate a potential learning scheme, which can be used in the development of a digital twin.
This work package is focused on creating a digital twin (DT) of the Facility to Alleviate Salt Technology Risks (FASTR) experiment. FASTR is a high-profile facility tasked with maturing molten salt applications such as liquid salt energy storage, concentrated solar power facilities, and molten salt cooling systems supporting other advanced reactor technologies, all of which may be incorporated as components within the Integrated Energy Systems (IES) program. As part of creating a digital twin (DT), verification and validation (V&V) has been performed for the physics-based model, and gaps have been identified. Additionally, a preliminary integration of the FASTR model has been completed with the existing physics-based model of the Thermal Energy Distribution System (TEDS)/Microreactor AGile Non-nuclear Experimental Testbed (MAGNET) facility at Idaho National Laboratory (INL). A Functional Mock-up Unit (FMU) of the physics-based system model and a reduced-order model (ROM) were both used to test for a preliminary hardware in the loop operation when the physical loop was offline. Future tasks could include improving the physics-based model to better match the available experimental data, improving the hardware in the loop integration, and improving the integration with the TEDS model.
The overall goal of the project was to build a low-cost digital CO 2 sensor made of N5’s patented sensing architecture using a digital application specific integrated circuit (ASIC) to reduce the amount of energy usage in residential and commercial buildings. The proposed small form-factor CO 2 monitoring device contains a molecular sieve membrane filter capable of monitoring indoor air quality which indicates the content of CO 2 inside a residential or commercial building.
The US and UK share the vision for fusion as a vital part of the clean energy future. This vision is reflected in the respective national plans in the form of the Bold Decadal Vision for Commercial Fusion (BDV) in the US and the Spherical Tokamak for Energy Production (STEP) program in the UK. Digital tools such as simulation and control frameworks, design tools, AI/ML, high performance computing (HPC), and virtual reality (VR) will play an important role in developing, diagnosing, operating, and further improving burning-plasma-class fusion power plants. Therefore, a collaborative approach, involving both the public and private sectors, to developing these digital tools can accelerate the path to fusion energy commercialization. In this report we discuss previous and ongoing collaborations and opportunities to expand these collaborations into new areas. We conclude this report with near term actions and a vision of the collaboration to the Joint Coordinating Committee.
This report describes work originally performed in FY19 that assembled a workflow enabling formal verification of high-consequence digital controllers. The approach builds on an engineering analysis strategy using multiple abstraction levels (Model-Based Design) and performs exhaustive formal analysis of appropriate levels – here, state machines and C code – to assure always/never properties of digital logic that cannot be verified by testing alone. The operation of the workflow is illustrated using example models and code, including expected failures of verification when properties are violated.
The design of high consequence controllers (in weapons systems, autonomy, etc.) that do what they are supposed to do is a significant challenge. Testing simply does not come close to meeting the requirements for assurance. Today circuit designers at Sandia (and elsewhere) typically capture the core behavior of their components using state models in tools such as STATEFLOW. They then check that their models meet certain requirements (e.g. “The system bus must not deadlock” or “both traffic lights at an intersection must not be green at the same time”) using tools called model checkers. If the model checker returns “yes” then the property is guaranteed to be satisfied by the model. However, there are several drawbacks to this industry practice: (1) there is a lot of detail to get right, this is particularly challenging when there are multiple components requiring complex coordination (2) any errors returned by the model checker have to be traced back through the design and fixed, necessitating rework, (3) there are severe scalability problems with this approach, particularly when dealing with concurrency. All this places high demands on the designers who now face not only an accelerated schedule but also controllers of increasing complexity. This report describes a new and fundamentally different approach to the construction of safety-critical digital controllers. Instead of directly constructing a complete model and then trying to verify it, the designer can start with an initial abstract (think “sketch”) model plus the requirements, from which a correct concrete model is automatically synthesized. There is no need for post-hoc verification of required functional properties. Having tool to carry this out will significantly impact the nation’s ability to ensure the safety of high-consequence digital systems. The approach has been implemented in a prototype tool, along with a suite of examples, including ones that reflect actual problems faced by designers. Our approach operates on a variant of Statecharts developed at Sandia called Qspecs. Statecharts are a widely used formalism for developing concurrent reactive systems, supporting scalability through allowing state models containing composite states, which are the serial or parallel composition of substates which can themselves contain statecharts. Statecharts enable an incremental style of development, in which states are progressively refined to incorporate greater detail in an incremental model of software development. Our approach formulates a set of constraints from the structure of the models and the requirements and propagates these constraints to a fixpoint. The solution to the constraints is an inductive invariant along with guards on the transitions. We also show how our approach extends to implementation refinement, decomposition, composition, and elaboration. We currently handle safety requirements written in LTL (Linear Temporal Logic)
Digital Image Correlation (DIC) is “a non-contact means of measuring motion and deformation using digital images of the object of interest”, capable of full-field measurements over large areas. Getting started in DIC can be difficult, since there are many different techniques, and the body of literature on DIC is extensive. IEEE Xplore alone lists nearly 11,000 references, including magazines, conference proceedings, journal articles, books, etc. A Google search returns around 145 million results. The intent of this annotated bibliography is to provide an entry point for beginners and to collect references that may be useful to more advanced practitioners.
In Fermilab's PIP-II machine protection system, beam loss signals from various detectors are digitized at 125 MS/s. Noise from both high-frequency sources and low-frequency 60 Hz AC power equipment can con-taminate the data. To suppress noise across these ranges especially 60 Hz and its harmonics, which overlap with beam loss signal frequencies advanced digital processing beyond standard filtering is re-quired. Several real-time functional blocks were simu-lated and tested on an FPGA: (1) a dual time-constant discharging integrator filter, (2) a de-ripple baseline extraction and storage block, and (3) a fast-recovery discharging integrator. The nonlinear IIR integrator filter removes high-frequency noise and feeds into the baseline extractor. Upon detecting abrupt beam loss, it switches to a longer time constant to prevent baseline distortion. The de-ripple block calculates a valid base-line by averaging over multiple 60 Hz periods, storing results in a 4096-word FPGA RAM. This baseline is subtracted from raw data before integration by the fast-recovery block, which resets quickly after use. All blocks achieved expected performance.
This report provides an analysis of the U.S. standards and regulatory landscape for digital energy systems, focusing on cybersecurity, safety, and reliability requirements. It examines the interplay between federal mandates, state regulations, voluntary industry standards, and utility-specific policies, highlighting critical gaps between compliance and real-world risk mitigation. While NERC CIP standards enforce cybersecurity for Bulk Electric System assets, distribution-level infrastructure and emerging technologies often fall outside mandatory oversight, creating vulnerabilities. The report identifies systemic challenges such as reliance on self-attestation, uneven state adoption of safety codes, and lagging standards for advanced technologies like battery energy storage and inverter-based resources. Through a detailed gap analysis, it underscores the urgency of proactive risk-based approaches, independent verification, and strategic engagement with state and federal entities. Recommendations include adopting tiered security frameworks, strengthening procurement practices, and addressing emerging technology risks to ensure resilient and secure digital energy infrastructure. This guidance is intended for utilities, regulators, and stakeholders navigating compliance obligations and seeking to enhance cybersecurity and safety beyond minimum standards.
Inspection and certification comprise the most significant bottlenecks in advanced manufacturing for NNSA applications, often requiring far more time and resources than the fabrication of the parts themselves. Traditional methods, such as manual review and X-ray computed tomography, are not only slow and costly, but also struggle to provide a clear connection between manufacturing instructions and the final performance of critical components. This gap limits both the agility and assurance needed to support the modernization and safety of the United States nuclear stockpile. In response, our Strategic Initiative established a digital twin framework that integrates realtime process monitoring, automated data analysis, and immersive virtual reality collaboration into a unified inspection pipeline. By leveraging data from sensors, machine instructions, and imaging, we created high-fidelity virtual models of manufactured parts that could be rapidly analyzed and certified. This approach was first demonstrated with Direct Ink Write, and then extended to other manufacturing settings, including conventional (or “subtractive”) manufacturing and to predict the end of life performance of parts per the aging and lifetimes programs. The result is a transformational capability: inspection times have been reduced by a factor of 120,000 without loss of accuracy and while simultaneously improving traceability and confidence in part quality. This framework not only streamlines certification for critical applications, but also positions the national security enterprise to respond more flexibly to emerging challenges, supporting agile manufacturing and digital engineering practices across a broad range of mission-relevant domains.