Search NASA⌕ Search

SEARCH · Search NASA

Results for “assurance”

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 235 records · Page 13

Annual Site Environmental Report: 2021 (ASER) for the SLAC National Accelerator Laboratory

This report, prepared by the SLAC National Accelerator Laboratory (SLAC) for the U.S. Department of Energy (DOE), SLAC Site Office (SSO), provides a comprehensive summary of the environmental program activities at SLAC for calendar year 2021. Annual Site Environmental Reports (ASERs) are prepared for all DOE sites with significant environmental activities and distributed to relevant external regulatory agencies and other interested organizations or individuals. To the best of my knowledge, this report accurately summarizes the results of the 2021 environmental monitoring, compliance, and restoration programs at SLAC. This assurance can be made based on SSO and SLAC review of the ASER, and quality assurance protocols applied to monitoring and data analyses at SLAC.

54 ENVIRONMENTAL SCIENCES↗

Progress Towards NQA-1 for Cardinal in FY25

Cardinal is a wrapping of the GPU-oriented spectral element Computational Fluid Dynamics (CFD) code NekRS and the Monte Carlo particle transport code OpenMC within the Multiphysics Object-Oriented Simulation Environment (MOOSE). Cardinal provides high-resolution thermal-hydraulics and/or radiation transport feedback to MOOSE multiphysics simulations. Multiphysics feedback is implemented in a geometry-agnostic manner which eliminates the need for rigid one-to-one mappings. A generic data transfer implementation also allows NekRS and OpenMC to couple to any MOOSE application, enabling a broad set of multiphysics capabilities. Cardinal simulations can also leverage combinations of MPI, OpenMP, and GPU resources. Cardinal continuous development and improvement efforts have led to the software being considered as a high-fidelity design and licensing tool for key areas of nuclear reactor relevant physics, including neutron transport, fluid flow, heat transfer, and mechanical processes. The fast development and expansion of the software from a pure R&D framework towards its application in the nuclear industry and regulation require a focus on developing, enhancing,and maintaining Cardinal’s software quality through strict adherence to a Software Quality Assurance (SQA) framework and SQA program. To facilitate compliance with SQA standards, the Cardinal SQA Program was initiated during Fiscal Year 2023 (FY23). During the development of the Cardinal SQA Program, multiple gaps have been identified. These gaps are primarily related to model verification and code pedigree as they relate to the use of Cardinal as an analysis tool. These gaps were captured in a report published in 2023. A second report highlighted the progress made during Fiscal Year 2024 (FY24) and described Argonne’s effort to document and integrate software verification within Cardinal’s software development process. This report documents the progress made towards NQA-1 for Cardinal in the Fiscal Year 2025 (FY25). All cases in the expanded Continuous Integration (CI) suite of NekRS are included in this report which test the solvers and modules available in NekRS exhaustively. The NekRS tests are integrated with the Cardinal CI suite and made available in publicly accessible Github documentation. Following the CI practice permits integrating of source code changes frequently and ensuring that the integrated codebase clears the verification testing for the software. Also in this report is a brief overview of the development of the Cardinal Software Quality Assurance Plan (SQAP) that was done in FY25, though it should be noted that the rest of the documentation for the SQA program needs to be developed in a future step of this task.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

Evaluation and Development of Phase Array Ultrasonic Testing (PAUT) System for Additively Manufactured Parts

This research focuses on the application of advanced ultrasonic testing techniques developed by The Phased Array Company (TPAC) for inspecting defects in additive manufacturing (AM) parts. Traditionally, X-ray computed tomography is the standard for inspecting AM components. Although, the long inspection and analysis time, along with relatively high cost make implementation difficult. Thus, an alternative nondestructive evaluation (NDE) approach is necessary to support quality assurance efforts within the field of AM. TPAC is recognized as a leader in ultrasonic testing innovation, deploying sophisticated algorithms such as Total Focusing Method (TFM) and Phased Wave Imaging (PWI) for ultrasonic data processing and interpretation. This work will explore how the TFM and PWI algorithms can assist defect detection within polymer AM parts. The AM field is seeking novel NDE methods to provide support within quality control and assurance efforts. Advanced ultrasonics inspection have the potential to fulfill this need.

99 GENERAL AND MISCELLANEOUS↗

COnfirmation using Gamma-ray Non-Imaging Zero-knowledge ANti-mask Time-encoding (COGNIZANT) Final Summary Report

In potential future arms reduction treaties in which the numbers of nuclear warheads may approach small numbers, using delivery systems as a proxy for the warheads themselves may be insufficient. Therefore, a technical means of verifying the presence of a nuclear warhead may become necessary. Verifying that a declared item actually is a warhead is technically challenging within a verification regime: providing assurance to the monitoring party that a presented item is a warhead while protecting sensitive information about that warhead may be required. It is generally believed that strong assurance will require the confirmation of key attributes that may reveal closely-guarded critical design information. This provides high confidence to the monitoring party, but presents a risk of information loss to the host. A verification system must overcome this hurdle. Over the last several decades, systems have been developed that balance host and monitoring partner needs by using sensitive information to confirm treaty accountable items (TAI) as warheads while sequestering that information behind an information barrier (1). These are designed to meet the needs of the host but places the onus on the monitor to authenticate the hardware, firmware, and software. Authentication requires that the monitor confirm that all components of the system have not been modified and work as intended. In 2014, Glaser et al. proposed applying the concept of “zero knowledge protocols” (ZKP) from the field of cryptography to the problem of warhead verification (2). In mathematical cryptography, ZKP is accomplished by challenging one party to solve a problem that is only possible if that party possesses the information being authenticated. After repeated challenges, the party provides confidence that it possesses this information without revealing any details about the information itself. Systems have been in development based on this idea at both Princeton and MIT (2) (3) (4). The final measurement results produced by these systems can be viewed by both the host and the monitoring party without the worry of revealing sensitive information. However, in both of these physical implementations, there remains an information barrier within the system. The need for a digital information barrier to protect a measurement result is eliminated, but it has been replaced with the need to sequester physical components of the system, potentially obfuscating the measurement process itself. Both implementations physically insert information into the system that requires protection to prevent undesired disclosure of sensitive information: in the Princeton method, one must physically load the complement of the expected image of a true warhead into the system, and in the MIT technique, one loads a collection of spectator foils whose thicknesses physically encrypt a measured spectrum. This complicates authentication of the hardware and measurement process. The CONFIDANTE/COGNIZANT concept developed in this project do not load sensitive information into the system at any time, and could therefore open the possibility of allowing the inspector to not only view the final data but also the measurement as it is being performed and all associated equipment.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗

Evaluation and Development of Phase Array Ultrasonic Testing (PAUT) System for Additively Manufactured Parts

This research focuses on the application of advanced ultrasonic testing techniques developed by The Phased Array Company (TPAC) for inspecting defects in additive manufacturing (AM) parts. Traditionally, X-ray computed tomography is the standard for inspecting AM components. Although, the long inspection and analysis time, along with relatively high cost make implementation difficult. Thus, an alternative nondestructive evaluation (NDE) approach is necessary to support quality assurance efforts within the field of AM. TPAC is recognized as a leader in ultrasonic testing innovation, deploying sophisticated algorithms such as Total Focusing Method (TFM) and Phased Wave Imaging (PWI) for ultrasonic data processing and interpretation. This work will explore how the TFM and PWI algorithms can assist defect detection within polymer AM parts. The AM field is seeking novel NDE methods to provide support within quality control and assurance efforts. Advanced ultrasonics inspection have the potential to fulfill this need.

36 MATERIALS SCIENCE↗

Evaluation of Neutron Detection Technology and Analysis Techniques to Support Fukushima Daiichi Decommissioning [Poster]

Decommissioning efforts and associated fuel debris retrieval from the damaged Units 1-3 require robust methods to monitor and assure subcriticality. These include adequate detection technologies capable to withstand high gamma radiation conditions within the units; as well as analysis methods capable to provide robust signatures to assure agile criticality monitoring in situation where material distribution is changing. This poster presents overview of experimental and analytical efforts focused on evaluation of neutronbased technologies and development of real-time analysis using state-of-the art capabilities available within the 1F Fuel Retrieval and Monitoring Experiments (1FRAME) project.

1FRAME↗

An In Situ Feed Monitoring System for Molten Salt Reactors with Fast Neutron Energy Spectrum Molten Salt Reactor Applications

Molten salt reactors (MSRs) are one of the six promising advanced reactor technologies selected for further research and development by the Generation IV International Forum. More than twenty MSR designs are actively being developed around the world. Several of these designs are liquid-fueled and intended for operation within the fast neutron energy spectrum.1 National regulations will require liquid-fueled MSRs to control and account for nuclear material within licensed facilities. Additionally, states with comprehensive safeguards agreements with the International Atomic Energy Agency (IAEA) are obligated to declare nuclear material quantities within facilities. In return, the IAEA Department of Safeguards independently verifies these quantities and provides assurance that the nuclear material and facility are being used only for peaceful purposes. One key distinction of liquid-fueled MSRs compared with other types of reactors is that in portions of the facility, the nuclear material is in bulk form rather than discrete items. Traditional nuclear material accounting techniques such as physical item counting and verification of serial numbers on fresh fuel assemblies do not translate directly to all process streams within liquid-fueled reactors. Liquid-fueled MSRs are typically designed with low excess reactivity. This feature provides safety benefits but also means that most MSRs require the addition of makeup fuel salt while a reactor is operational. The nuclear material in the initial fuel salt and in any makeup fuel salt must be quantified. Additionally, distinct nuclear material diversion and reactor misuse scenarios form the basis of the detection methods and monitoring systems developed for liquid-fueled MSRs. For example, the IAEA provides assurance that fuel salt containing nuclear material is not being diverted from the system, that the feed salt matches the reported actinide concentrations and uranium enrichment, and that no additional fertile material is being introduced into the system. Measurement systems currently used for nuclear material control and accounting are not directly applicable to achieving MSR safeguards goals. This paper concerns a system being designed to account for the nuclear material added to liquid-fueled MSRs and monitor for diversion and misuse scenarios related to MSR feed systems.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

Resilience Through Data-Driven, Intelligent Designed Control: A Formal Methods Approach

The PNNL and GTRI team developed a strategy to integrate temporal logic rule specification for detection of cyber-intrusion in the source code and control algorithms of CPS using advanced cyber-data. The GTRI team utilized its capabilities in rule synthesis and temporal logic specifications for software assurance and verification to detect and predict impact of cyber-intrusions and malware in the computational and control algorithms of cyber-physical systems. The team also developed a testing and verification approach that could be used to validate the suggested approach against a realistic use-case CPS showcasing improvements in system impact prediction performance. Temporal logic offers a compact expression of events in absolute and relative time and has a formalized translation to state machines. As such, temporal logic rules can feasibly be synthesized to any system as a rule engine, with the process being formally verified to be correct. The goal here is to utilize temporal logic rules to detect cyber-attacks and manipulations in the computational algorithms and provide real-time software assurance and verification guarantees.

97 MATHEMATICS AND COMPUTING↗

Virtual Power Plant Architecture and Resilient Design

Virtual Power Plants (VPPs) represent a fundamental shift in electric grid operations, aggregating distributed energy resources (DERs) such as solar panels and battery storage to deliver utility-scale grid services traditionally provided by centralized power plants. This report examines the unique architectural, operational, and digital assurance considerations that distinguish VPPs from conventional utility infrastructure as they scale from pilot projects to mainstream deployment across the United States. While VPPs offer significant opportunities for grid modernization and enhanced flexibility, their distributed, multi-stakeholder architecture introduces distinct security challenges that differ fundamentally from traditional generation facilities. The analysis identifies risks in VPP operations, including device-level security gaps, platform vulnerabilities, and communication protocol weaknesses that create expanded attack surfaces compared to centralized power plants. Through examination of real-world incidents and emerging threat patterns, the report demonstrates how some VPPs' reliance on consumer-owned devices, public internet infrastructure, and complex vendor ecosystems require new approaches to digital assurance and operational security. The findings provide practical guidance for utilities, regulators, and aggregators to implement robust security frameworks and operational best practices essential for maintaining grid reliability as VPP deployment accelerates under the Federal Energy Regulatory Commission (FERC) Order 2222 and related regulatory initiatives.

24 - POWER TRANSMISSION AND DISTRIBUTION↗

Securing the Modern Grid: Federal Investments, Digitization, and Supply Chain Strategy

Across the United States (U.S.) grid expansion and modernization is underway, paving the way for accelerated load growth and intelligent resource management. Digitization of the grid is supported by several state and federal programs, providing support for utilities installing advanced metering infrastructure (AMI), AI-powered analytics systems, battery energy storage systems (BESS), and distributed energy resource management systems (DERMS) to transform the grid from a one-way power delivery system into an intelligent, responsive network that will enable faster load growth and power expansion of data centers for advanced artificial intelligence (AI) applications. The digital transformation of America's grid presents opportunity for increased efficiency and resiliency but also introduces new digital risks that require careful management. Digital equipment often contains several vulnerabilities such as unencrypted communication protocols, and persistent remote access capabilities that could be exploited to manipulate device settings, coordinate service disruptions, or inject false data into grid operations. These digital risks become particularly important as the grid must rapidly scale to support AI-driven data centers, which the administration has identified as essential for maintaining U.S. technological leadership and economic competitiveness. These vulnerabilities are compounded by supply chain realities: Chinese manufacturers currently produce 70-90% of essential grid components including inverters, batteries, and control systems, with the U.S. lacking domestic manufacturing capacity for critical assets like extra-high voltage transformers. Recent federal legislation has established Foreign Entity of Concern (FEOC) restrictions to address these risks, requiring projects to achieve escalating thresholds of non-FEOC content to receive tax credits while utilities work to expand sourcing channels for their supply chains and strengthen security measures. These restrictions arrive precisely when utilities face unprecedented electricity demand growth driven by the rapid growth in data centers, creating a considerable challenge: rapidly expanding infrastructure while navigating complex compliance requirements while lacking viable alternatives for many critical components. Idaho National Laboratory (INL) and its partners have developed practical approaches to help utilities navigate these intersecting challenges as they leverage federal investment to strengthen and grow the grid. These solutions include Cyber-Informed Engineering (CIE) principles that build resilience directly into systems, the Cirrus tool for secure cloud migration, and enhanced procurement guidance that embeds security requirements throughout equipment lifecycles. Federal initiatives, such as the Technical Assistance for Digital Assurance (TADA) project, provide direct support to utilities implementing these approaches while facilitating knowledge sharing across the industry. While these tools and frameworks cannot eliminate all risks inherent in foreign supply chain dependencies, they offer pragmatic pathways for strengthening security posture without sacrificing the deployment momentum essential to meeting surging electricity demand. Ultimately, securing America's digital energy infrastructure demands dedicated coordination across multiple fronts: building domestic supply chains, implementing robust digital assurance practices, and maintaining the aggressive modernization timeline necessary for reliability, resilience, and energy independence.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Analysis Report for Hydrolyzed UF 6 Samples

Under the auspices of the US Department of Energy/National Nuclear Security Agency’s Nuclear Reference Material Program (NRMP), the Material Signatures and Isotopic Standards (MSIS) group of Oak Ridge National Laboratory was tasked with analyzing two UF6 filled hoke tubes for uranium isotopic composition. This report documents the results of the measurements performed by the MSIS group’s International Organization for Standardization/International Electrotechnical Commission 17025:2017 accredited operating procedure CSD-AM-CIMS-IN20, Determination of Uranium and Plutonium Isotopic Composition using Thermal Ionization Mass Spectrometry, and in accordance with the quality assurance plan as described in QAP-X-96-CSD/RML-001, Nuclear Analytical Chemistry Laboratory Section Quality Assurance Plan.

38 RADIATION CHEMISTRY, RADIOCHEMISTRY, AND NUCLEA↗

ORNL Report for Hydrolyzed UF 6 Samples 439451, 438792, 439144, 439616, and 439617

Under the auspices of the US Department of Energy/National Nuclear Security Agency’s Nuclear Reference Material Program (NRMP), the Material Signatures and Isotopic Standards (MSIS) group of Oak Ridge National Laboratory was tasked with analyzing five UF 6 filled P-10 tubes for uranium isotopic composition. This report documents the results of the measurements performed by the MSIS group’s International Organization for Standardization/International Electrotechnical Commission 17025:2017 accredited operating procedure CSD-AM-CIMS-IN20, Determination of Uranium and Plutonium Isotopic Composition using Thermal Ionization Mass Spectrometry, and in accordance with the quality assurance plan as described in QAP-X-96-CSD/RML-001, Nuclear Analytical Chemistry Laboratory Section Quality Assurance Plan.

38 RADIATION CHEMISTRY, RADIOCHEMISTRY, AND NUCLEA↗

ORNL Report of Analysis for the Verification of NRMP CRM U030A

In support of the Certified Reference Material (CRM) program managed by the Nuclear Reference Material Program (NRMP), the Material Signatures and Isotopic Standards (MSIS) group of Oak Ridge National Laboratory (ORNL) was asked to prepare a set of CRM U030A units for use as standards for isotopic analysis using multicollector thermal ionization mass spectrometry (TIMS) and inductively coupled plasma mass spectrometry (ICP-MS) instruments. This report documents the results of the verification measurements performed on three randomly selected units by the MSIS group’s ISO/IEC 17025:2017 accredited operating procedure CSD-AM-CIMS-IN20, Determination of Uranium and Plutonium Isotopic Composition using Thermal Ionization Mass Spectrometry [1], and in accordance with the quality assurance plan as described in QAP-X-96-CSD/RML-001, Nuclear Analytical Chemistry Laboratory Section Quality Assurance Plan [2].

Mathew, Kattathu [Oak Ridge National Laboratory (O↗

Progress Report on SFR Metallic Fuel Data Qualification

This report summarizes the progress of SFR metallic fuel qualification related activities, which are focused on providing quality assurance relevant information applicable to experiments irradiated during the Integral Fast Reactor (IFR) program. An overview of the metallic fuel performance data and the associated databases, including the EBR-II Fuels Irradiation & Physics Database (FIPD), Out-of-Pile Transient Database (OPTD), and TREAT Experimental Relational Database (TREXR) is included. The legacy data in the databases, including as-built, post-irradiation examination (PIE), operating parameters, and out-of-pile experiment post-test data are introduced. The SFR metallic fuel Quality Assurance Program Plan (QAPP) and its implementation to qualify these legacy data is described in detail. Important PIE data QA documents and the specifications of seven types of PIE measurements (contact profilometry, laser profilometry, neutron radiography, gamma scan, fission gas release fission gas chemistry, and metallography) are provided. Examples of the implementation of the QAPP to qualify each of those types of PIE data are provided.

Mo, Kun [Argonne National Laboratory (ANL), Argonn↗

Verifiable Security Templates for Hardware

High-level synthesis (HLS) research generally focuses on transferring "software engineering virtues" (e.g., modularity, abstraction, extensibility, etc.) to hardware development with the ultimate goal of making hardware development as agile as software development. And recent HLS research has focused on transferring ideas and techniques from high assurance software formal methods to hardware development. Just as it has introduced software engineering virtues, we believe HLS can also become a vector for adapting software formal methods to the challenge of high assurance security in hardware. This paper introduces the Device Calculus and its mechanization in the Agda proof checking system. The Device Calculus is a starting point for exploring the formal methods and security of high-level synthesis flows. We illustrate the Device Calculus with a number of examples of formally verifiable security templates-i.e., functions in the Device Calculus that express common security structures at a high-level of abstraction.

Harrison, Bill↗

The effect of monitoring complexity on stakeholder acceptance of CO2 geological storage projects in the US gulf coast region

Environmental monitoring at geologic CO 2 storage sites is required by regulations for the purposes of environmental protection and emissions accounting in the case of leakage to surface. However, another very important goal of environmental monitoring is to assure stakeholders that the project is monitored for safety and effectiveness. With current efforts to optimize monitoring for cost-effectiveness, the question remains: will optimization of monitoring approaches degrade stakeholder assurance, or do heavily-instrumented sites communicate higher risk to a stakeholder? We report the results of a stakeholder survey in Gulf Coast states of the US where carbon capture and storage (CCS) is developing quickly. We rely on a 2 by 2 factorial experiment in which we manipulate message complexity (complex v. simple) and social norm (support from scientists v. support from community members). Subjects were randomly assigned to one of four conditions: 1) complex message with scientist support; 2) complex message with community member support; 3) simple message with scientist support; or 4) simple message with community member support. In addition to the experimental stimuli, subjects were also asked about their need for cognition, attitudes toward science and scientists, attitudes about climate change and support for carbon capture and storage (CCS). Our sample is drawn from residents in states bordering the western Gulf of Mexico (Texas, Louisiana, Florida) where CO 2 geologic storage is being planned both onshore and offshore. The results offer important implications for public outreach efforts to key stakeholders.

54 ENVIRONMENTAL SCIENCES↗

Machine Learning Applications to Maintain the NuMI Neutrino Beam Quality at Fermilab

The NuMI target facility at Fermilab produces an intense muon neutrino beam for NOvA (NuMI Off-axis νe Appearance) long baseline neutrino experiment. Three arrays of muon monitors located in the downstream of the hadron absorber in the NuMI beamline provide the measurements of the primary beam and horn current quality. We have studied the response of muon monitors with the proton beam profile changes and focusing horn current variations. The responses of muon monitors are used to develop Machine Learning (ML) algorithms to monitor the beam quality. We present the development of the machine learning applications and the future plans. This effort is important for future applications such as beam quality assurance, anomaly detections, neutrino beam systematics studies and neutrino beam quality assurance. Our results demonstrate the advantages of developing useful ML applications that can be leveraged for future beamlines such as LBNF.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Surface Treatment Strategies for Mitigating Gas Hydrate & Asphaltene Formation, Growth, and Deposition in Flowloops

Abstract Numerous solids including gas hydrates, waxes, and asphaltenes have the potential to form in the production lines of gas and oil fields. This creates a highly non-ideal scenario as the accumulation of said species leads to flow assurance issues, especially with long-term processes like deposition. Since an ever-increasing amount of material is deposited in place at the pipe surface, production stoppage or active mitigation efforts become inevitable. The latter production issues result in increased safety risks and operational expenditures. Therefore, a cost-effective, passive deposition mitigation technology, such as a pipeline coating or surface treatment is especially appealing. The ability to address multiple pipeline flow assurance issues simultaneously without actively disrupting production would represent a dramatic step forward in this area. This study is part of a long-term ongoing effort that evaluates the performance and application of an omniphobic surface treatment for solids deposition prevention in industrially relevant systems. In particular, this specific work concentrates on the efficacy and robustness of the treatment under fully flowing conditions. The apparatuses utilized for this include two flowloops: a lab-scale, high-pressure flowloop for gas hydrate and surface treatment durability studies, and a bench-scale, atmospheric pressure loop for crude oil and asphaltene experiments. Film growth in high-pressure flowloop tests corroborated previous reports of delayed gas hydrate nucleation observed in rocking cells. Without the aid of the memory effect, treated oil-dominated experiments never experienced hydrate formation, spending upwards of a week in the hydrate stability zone (at the subcooled/fluid test conditions). Subsequent tests which utilized the memory effect then revealed that the hydrate formation rate reduced in the presence of the surface treatment compared to a bare stainless-steel surface. This testing was part of a larger set of trials conducted in the flowloop, which lasted about one year. The surface treatment durability under flowing conditions was evaluated during this time. Even after experiencing ∼4000 operating hours and 2 full pressure cycles, no evidence of delamination or damage was detected. Finally, as part of an extension to previous work, corroded surface asphaltene deposition experiments were performed in a bench-top flowloop. Treated experiments displayed an order of magnitude reduction in both total oil (all fractions of crude oil) and asphaltene fraction deposited.

03 NATURAL GAS↗