Search NASA⌕ Search

SEARCH · Search NASA

Results for “Compositional verification”

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.

32 records · Page 2
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Synthesis of Correct Digital Controller Models from Specifications by Model Transformation (21-0320)

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)

42 ENGINEERING↗
DOE OSTI2025

Developing a Nuclear Quality Assurance Compliant Design Methodology for Neutronic Analysis of Xe-100 Design

The primary objective of this work is to develop a design methodology compliant with nuclear quality assurance standards for the Xe-100 neutronic design verification studies. To achieve this, a Monte Carlo model of the Xe-100 reactor was constructed using the exclusion principle, transformation technique, and universe-based level specification following Idaho National Laboratory (INL) NQA level-1 compliant standards and an NQA-1 compliant version of MCNP6. The model encompasses the entire reactor core structures, including the upper plenum, core region, and lower plenum sections, along with all sub-components. The active core section was represented using the spectral regions, each comprising a particular fuel composition and temperature averaged over the considered zone, calculated by X-energy using Very Superior Old Programs (VSOP). Additionally, a component-wise temperature map was implemented into the model, not only for the core region but also for the structural components. Temperature-dependent cross-section libraries, along with thermal scattering law libraries, generated using INL NQA-1 compliant version of NJOY21, were utilized for each isotope in the burnt fuel and the structural materials. Furthermore, the volume of each modeled component was estimated using a stochastic approach with the ray tracing method in MCNP and criticality calculations were performed.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2026

Annual Summary Report for the Remote-Handled Low-Level Waste Disposal Facility—FY 2025

The U.S. Department of Energy (DOE) requires the performance assessment (PA) (Department of Energy Idaho Operations Office [DOE-ID] 2018a), composite analysis (CA) (DOE-ID 2012), and CA addendum (DOE-ID 2018b) for the Remote-Handled Low-Level Waste (RHLLW) Disposal Facility at the Idaho National Laboratory (INL) Site shall be maintained to evaluate changes that could affect the performance, design, and operating basis for the facility (DOE Manual 435.1-1 Change 3, “Radioactive Waste Management Manual,” Section IV.P. [4]). The RHLLW Disposal Facility became operational in September 2018 after the completion of operational readiness activities required by DOE Order 425.1D, “Verification of Readiness to Start Up or Restart Nuclear Facilities,” and the issuance of the startup authorization by the Startup Approval Authority (Boston 2018). The first waste disposals at the RHLLW Disposal Facility began in Fiscal Year (FY) 2019. In Fiscal Year (FY) 2025, no significant operational changes or other activities occurred that would cause deviation from the assumptions in the PA and CA pertaining to disposal geometry, verification of waste characteristics, tracking disposal inventories against total limits, facility closure design, or institutional controls. This FY 2025 annual summary report (ASR) documents the continued adequacy of the PA, CA, operating disposal authorization statement (ODAS) (ODAS 2018), ODAS technical-basis documents, and the radioactive waste management basis (RWMB) (INL 2024a) to meet DOE Order 435.1, “Radioactive Waste Management,” performance objectives for the RHLLW Disposal Facility. Annual review of the adequacy of the PA and CA at the RHLLW Disposal Facility ensures that conclusions of the analyses remain valid in accordance with requirements of DOE Order 435.1.

12 - MGMT OF RADIOACTIVE AND NON-RADIOACTIVE WASTE↗
DOE OSTI2025

Presentation on the INL Remote-Handled Low-Level Waste Disposal Facility FY-2024 Annual Summary Report

The abstract below is from the report INL/RPT-24-82600. The powerpoint presentation contains information taken from the report. This Fiscal Year (FY) 2024 annual summary report (ASR) documents the continued adequacy of the performance assessment (PA), the composite analysis (CA), and associated operating disposal authorization statement (ODAS) technical basis documents for the Remote Handled Low Level Waste (RHLLW) Disposal Facility at Idaho National Laboratory (INL). Annual review of the adequacy of the PA and CA for RHLLW Disposal Facility ensures that conclusions of the analyses remain valid in accordance with requirements of the U.S. Department of Energy (DOE) Order 435.1, “Radioactive Waste Management.” In FY 2024, no significant operational changes or other activities occurred that would cause deviation from the assumptions in the PA and CA pertaining to disposal geometry, verification of waste characteristics, tracking disposal inventories against total limits, facility closure design, or institutional controls. Nineteen waste canister shipments were received at the RHLLW Disposal Facility, and all nineteen waste canisters were emplaced in disposal vaults.

12 - MGMT OF RADIOACTIVE AND NON-RADIOACTIVE WASTE↗
DOE OSTI2024

Capability Enhancements for System-level thermal Hydraulic Modeling of Lead Fast Reactors

This project has focused on the use, assessment, and development of the SAS4A/SASSYS-1 (SAS) safety analysis software. Although SAS was originally intended as a safety analysis tool for Liquid Metal cooled Fast Reactors (LMFRs), which includes both Sodium Fast Reactors (SFRs) and Lead Fast Reactors (LFRs), the vast majority of its recent development and customization has been tailored to SFRs. In general, enhancements that are made to the software for SFRs are applicable to LFRs, however, the fuel composition and corrosive nature of lead requires careful consideration when performing safety analysis of an LFR. In this project an emphasis was placed on closing gaps that are associated with modeling LFRs using SAS. The principal objective of the project was to enhance the ability of SAS as a licensing tool for LFRs. This objective was to be accomplished through three tasks: 1) Enhance the ability of SAS to couple with external software; 2) Improve the underlying physics models in SAS, with priority given to models that are highly relevant to LFRs; 3) Extend the Verification and Validation (V&V) basis of the software

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2025

Annual Summary Report for the Remote-Handled Low-Level Waste Disposal Facility—FY 2024

This Fiscal Year (FY) 2024 annual summary report (ASR) documents the continued adequacy of the performance assessment (PA), the composite analysis (CA), and associated operating disposal- authorization statement (ODAS) technical-basis documents for the Remote-Handled (RH) Low-Level Waste (LLW) Disposal Facility at Idaho National Laboratory (INL). Annual review of the adequacy of the PA and CA for the Remote-Handled Low-Level Waste (RHLLW) Disposal Facility ensures that conclusions of the analyses remain valid in accordance with requirements of Department of Energy (DOE) Order 435.1, “Radioactive Waste Management.” In FY 2024, no significant operational changes or other activities occurred that would cause deviation from the assumptions in the PA and CA pertaining to disposal geometry, verification of waste characteristics, tracking disposal inventories against total limits, facility-closure design, or institutional controls. Nineteen waste canister shipments were received at the RHLLW Disposal Facility, and all nineteen waste canisters were emplaced in disposal vaults.

12 - MGMT OF RADIOACTIVE AND NON-RADIOACTIVE WASTE↗
DOE OSTI2024

Identify and Assess Technical Challenges in Safeguards Measurements of Spent Advanced Reactor Fuels

Advanced reactor (AR) designs use various nuclear fuel types that can be significantly different than conventional light-water reactor (LWR) fuels, including differences in sizes, compositions, and chemical forms (e.g., oxide, carbide, metal). Nearly all the proposed AR fuels use high-assay low-enriched uranium (HALEU), which will have higher enrichments (5–20 wt% 235 U) than LWR fuels (currently limited to <5 wt% 235 U). In advance of the wide use of these new fuel types around the world, international safeguards organizations such as the International Atomic Energy Agency (IAEA]) are working with some of the AR vendors to formulate safeguards approaches for these AR fuel cycles. As part of the overall safeguards approach, it is important to identify the potential technical challenges in performing safeguards verification measurements of these AR fuels (both fresh and spent fuels) in advance of the widespread adoption of these new fuel types, because new safeguards technologies can take several years to develop, test, and approve for use. This report documents work performed in fiscal year 2024 based on modeling and simulation to assess the performance of the existing safeguards measurement technologies for irradiated or spent AR fuel elements or items. This work is a continuation of the work performed in fiscal year 2023 that focused on fresh AR fuels. Spent AR fuels have a distinct difference from their LWR counterparts: unlike the spent LWR fuels typically stored in a water-filled pool, some spent AR fuels—such as tristructural-isotropic (TRISO)-based fuels—will most likely be stored in air-filled hot cells. Because most safeguards measurements on spent fuel performed to date have been conducted under water, the air-filled hot cell environment could present unique challenges to safeguards measurements. Fork detector (FDET) and Cerenkov viewing device (CVD) systems have been the two primary instruments used by the IAEA for several decades to measure spent LWR fuel assemblies stored in pools for safeguards verification purposes. Because the lower refractive index of air causes Cerenkov light to be of lower intensity in air than in water, existing CVDs are likely unable to perform safeguards verification measurements for spent fuel stored in an air-filled hot cell, as is the case for the TRISO-based spent fuel elements (e.g., pebbles, graphite fuel blocks). Unlike FDET measurements, CVD measurements do not require fuel be moved, so they are a simpler and faster to take than FDET measurements. The inability to perform CVD measurements on the TRISO-based AR fuel types presents a major technical challenge in the effort to use existing technology to perform safeguards measurements on spent AR fuels. This study was mainly conducted through the modeling and simulation of an FDET or an FDET-like system on five spent AR fuel types, including one metallic fuel type and four TRISO-based fuel types in both pebble and graphite block forms in their respective storage configurations and environments. Because the various AR fuel types have significantly different dimensions, FDET systems must be adapted to accommodate them. Partial defect tests were also simulated in this study to assess the FDET’s ability to detect potential fuel diversions. The FDET measures the fuel’s total passive neutron and gamma emissions. The simulated FDET results from spent AR fuel items are compared against results from a typical spent pressurized water reactor (PWR) assembly. High-purity germanium (HPGe) gamma detector measurements were also simulated for the spent AR fuel types and the PWR assembly because the signature photopeaks have been used in LWR safeguards verifications, although HPGe is usually not used to detect diversions because of the fuel’s self-attenuation effects on those photopeaks. The results indicate that these detectors have significant challenges in performing safeguards measurements of the spent AR fuel items, including incompatibilities between AR fuel items and existing FDETs, lower neutron count rates, lower sensitivities to fuel diversions in certain AR fuel items, and significantly higher interference from a neighboring fuel item when the measurement is performed in air. These results suggest that an alternative technology or significant and timely technology development is needed to perform adequate safeguards measurements of some of these AR fuel items.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2025

Synthetic Scientific Image Generation with VAE, GAN, and Diffusion Model Architectures

Generative AI (genAI) has emerged as a powerful tool for synthesizing diverse and complex image data, offering new possibilities for scientific imaging applications. This review presents a comprehensive comparative analysis of leading generative architectures, ranging from Variational Autoencoders (VAEs) to Generative Adversarial Networks (GANs) on through to Diffusion Models, in the context of scientific image synthesis. We examine each model's foundational principles, recent architectural advancements, and practical trade-offs. Our evaluation, conducted on domain-specific datasets including microCT scans of rocks and composite fibers, as well as high-resolution images of plant roots, integrates both quantitative metrics (SSIM, LPIPS, FID, CLIPScore) and expert-driven qualitative assessments. Results show that GANs, particularly StyleGAN, produce images with high perceptual quality and structural coherence. Diffusion-based models for inpainting and image variation, such as DALL-E 2, delivered high realism and semantic alignment but generally struggled in balancing visual fidelity with scientific accuracy. Importantly, our findings reveal limitations of standard quantitative metrics in capturing scientific relevance, underscoring the need for domain-expert validation. We conclude by discussing key challenges such as model interpretability, computational cost, and verification protocols, and discuss future directions where generative AI can drive innovation in data augmentation, simulation, and hypothesis generation in scientific research.

Generative Adversarial Networks↗
DOE OSTI2026

Conceptual design study of neutron detectors for safeguards measurement of an irradiated pebble

Nuclear material control and accounting (MC&A) of pebble-bed reactors (PBRs) is challenging because a PBR utilizes hundreds of thousands of identical, unmarked pebbles that are continuously recirculated through the core. To develop tools that enable the implementation of international safeguards, especially in the context of MC&A of spent pebbles, we designed and simulated three neutron detection concepts to determine fissile content in individual pebbles: a differential die-away (DDA) detector, a californium interrogation prompt neutron (CIPN) detector, and a passive neutron albedo reactivity (PNAR) detector using Monte Carlo calculations. Burnup calculations were performed on the spent pebbles from the PBMR-400 classic PBR. The varying neutron and gamma source terms, and isotopic compositions in the spent pebbles calculated at various burnup levels were used in the neutron detector models. DDA was found to be sensitive to the number of passes a pebble has had through the core and to the fissile content contained in a spent pebble. Optimization in the DDA design further increased the neutron count rates and thus reduced counting uncertainty. Meanwhile, passive neutron counting using the same detector body could distinguish pebbles with different numbers of passes, but its response was dominated by neutron-emitting actinides and was not sensitive to fissile content. On the other hand, the PNAR technique was not viable for a single pebble but performed reasonably for a 27-pebble array, which suggested potential use for verification measurements of containers filled with 27 or more spent pebbles.

CIPN↗
DOE OSTI2026

Prediction and Experimental Verification of Electrolyte Solvation Structure from an OMol25-Trained Interatomic Potential

A molecular-level understanding of electrolyte solvation structure and ion–ion correlations is critical to developing next-generation battery chemistries. Atomistic simulation capabilities with sufficient accuracy, speed, and transferability to deliver reliable structural insights while avoiding arduous system-specific reparameterization are thus highly desirable. Machine learning interatomic potentials (MLIPs) trained on large, chemically diverse data sets are revolutionizing computational chemistry, enabling molecular dynamics simulations of battery electrolytes with near-DFT accuracy over 10,000× faster than DFT. While previous MLIP training data sets with suitable elemental coverage for electrolytes have been based on inorganic materials, the Open Molecules 2025 (OMol25) data set provides large-scale molecular DFT MLIP training data with broad elemental coverage and specifically samples tens of millions of electrolyte configurations. Here, we integrate computational modeling with experimental validation to systematically assess the ability of large-scale MLIPs pretrained on materials data or on OMol25 to accurately resolve nanoscale structural organization and ion-solvation characteristics in Na-ion battery electrolytes across diverse physicochemical conditions and compositional regimes. We find that the OMol25-trained Universal Model of Atoms (UMA-OMol) predicts experimentally measured densities and X-ray structure factors in substantially better agreement compared to state-of-the-art models trained only on inorganic materials data. Using UMA-OMol, we further analyze systematic trends in solvation structure as a function of cation identity, anion chemistry, salt concentration, and solvent topology. We observe that increasing system temperature amplifies the heterogeneity within the solvation environment, perturbing cation–solvent interactions and promoting the formation of contact ion pairs (CIPs). Moreover, subtle variations in the solvent topology of glyme-based electrolytes cause pronounced changes in ion correlations and solvation structure. The experimental agreement and microscopic insights shown here position OMol25-trained MLIPs as a practical route to predictive, high-throughput electrolyte simulations beyond the limits of classical force fields and direct DFT molecular dynamics, serving as a powerful tool for accelerating the design of next-generation Na-ion battery electrolytes and beyond.

MLIPs↗
DOE OSTI2024

Tandem pyrolysis evolved gas–gas chromatography–mass spectrometry

Analysis of byproducts from thermal degradation of polymer materials provides a wealth of information about a materials’ composition, thermal stability, degradation mechanisms, and kinetics. However, regardless of the instrumentation used, only limited information is obtainable from a single experiment. Microfurnace technology, when interfaced to a gas chromatography-mass spectrometry (GC-MS), can be used to obtain both thermal and chemical information via evolved gas analysis-MS (EGA-MS) and GC-MS analysis modes. While both EGA-MS and Py-GC-MS are valuable when characterizing polymer materials, at least two experiments on distinct samples are required, which can be a liability for clear interpretation of results from inhomogeneous samples. Here, we seek to overcome this limitation by combining EGA-MS and Py-GC-MS modes in a single experimental setup. Further, this was done by developing new gas line modifications to allow for tandem Pyrolysis Evolved Gas-Gas Chromatography-Mass Spectrometry (Py/EG-GC-MS) analysis. Verification of Py/EG-GC-MS analysis was performed using a polystyrene standard. Results demonstrate successful Py/EG-GC-MS analysis for the first-time showing the potential of these modifications for application in areas where sample is limited or direct correlation of products to the thermal profile is desirable such as in forensics or product-specific kinetics.

36 MATERIALS SCIENCE↗
DOE OSTI2025

Voucher Opportunity 5-15: Independent Assessment of Monitoring, Reporting, and Verification (MRV) Technologies and Practices for Enhanced Rock Weathering (CRADA 718) Abstract

Development of robust, transparent, and precise monitoring, reporting, and verification (MRV) technologies and practices is critical for carbon dioxide removal (CDR) project developers to comply with regulatory and permitting requirements, voluntary carbon market (VCM) protocols, and to ensure safety while reducing environmental impacts. Enhanced rock weathering (ERW)-based CDR technologies focus on removing atmospheric carbon through conversion into thermodynamically stable solid or aqueous carbonate forms for permanent storage (i.e., mineralization). This highly durable form of CDR enhances naturally occurring silicate rock weathering cycles by optimizing application of finely-ground silicate rock particles (i.e., from basalt) on terrestrial agricultural lands to accelerate natural silicate rock weathering and mineralization. Enhanced rock weathering may also provide improved crop yields and enhance soil health. A critical aspect for commercialization of these technologies is the development of MRV to quantify the net removal and durable storage of atmospheric CO 2 . For ERW systems, it is essential to accurately characterize the mineral feedstock selected for application to establish the baseline geochemical composition, mineral dissolution rates, and carbon removal potential of the feedstocks to estimate overall net removal. Given the difficulty with conducting MRV for ERW in diverse soil/environment types, over large application areas, and due to complex chemical reaction networks, this project will accelerate understanding towards consensus on best practices for MRV. The overall objectives of the proposed voucher project are to: 1) Characterize and analyze feedstock(s) intended for ERW field application by Lithos Carbon (“Voucher Recipient”/ “CRADA Participant”) to determine overall mineralization potential; 2) Facilitate knowledge transfer and documentation of experimental protocols, instrumentation, and other relevant best practices; and 3) Support the Voucher Recipient’s broader technology commercialization and ERW Research Facility development plans. This work will align with the Voucher Recipient’s MRV plans for field sites and build upon complementary efforts conducted by PNNL on mineralization MRV.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2026

Determining the Solubility Behavior of Kogarkoite in Simulated Nuclear Waste

Kogarkoite (Na 3 FSO 4 ) is a sparingly soluble fluoride–sulfate double salt that has been identified in high level nuclear waste sludge at the Hanford Site and, more recently, in sludge batch compilation samples at the Savannah River Site (SRS). Due to its complex dissolution behavior, which exhibits an inverse dependence on sodium ion activity, the presence of this mineral poses significant challenges to waste retrieval and processing. Incomplete dissolution during sludge washing can lead to the retention of fluoride and sulfate in the high-level waste feed, potentially causing the formation of corrosive, immiscible molten salt layers, known as "glass gall,” in vitrification melters. Current efforts to optimize flowsheet parameters and wash-water volumes are hindered by the absence of a commercially available, certified reference material, which prevents the accurate calibration of analytical methods and the verification of dissolution kinetics. To address this critical gap, this research focuses on the laboratory synthesis of pure Kogarkoite to serve as a standard for comprehensive solubility and washing performance testing. A coupled synthesis and simulant campaign was executed using an evaporative crystallization protocol designed to replicate the dynamic concentration effects observed in tank farm operations. Thirteen simulant matrices were prepared by dissolving systematically varied ratios of sodium fluoride (NaF) and sodium sulfate (Na 2 SO 4 ) in deionized water under three distinct caustic regimes: 0.0 g (control), 4.0 g (~1 M), and 12.0 g (~3 M) sodium hydroxide (NaOH). While thermodynamic equilibrium models suggest that high-caustic environments should favor the stability of the double salt7, results from this evaporative study at 25 0 C revealed a distinct kinetic divergence. Simulants with high hydroxide loading predominantly yielded large, blocky crystals of sodium sulfate decahydrate (Na 2 SO 4 .10H 2 O). Successful synthesis of pure Kogarkoite was achieved exclusively in specific NaOH-free compositional windows, where the precipitate manifested as fine, opaque granular aggregates. Ion chromatography (IC) analysis confirmed phase purity through the simultaneous stoichiometric depletion of both fluoride and sulfate from the supernatant. This successful synthesis establishes a reproducible route to generate bulk Kogarkoite, enabling the subsequent phase of quantitative dissolution testing using inhibited water to optimize sludge-batch assembly.

Sarker, Md Sharif [Florida International Univ. (FI↗
DOE OSTI2026

Evaluation of RMI Ejecta Sourcing from Reconstructed Interfaces in 2D FLAG Flyer-Plate Simulations

This study investigates the performance of RMI ejecta sourcing from a reconstructed interface in two-dimensional FLAG ejecta flyer-plate simulations. Enabling the RMI ejecta model to operate on reconstructed interfaces has been a longstanding challenge in FLAG, limiting its applicability to experiments in which interface reconstruction is not required. Addressing this limitation is therefore an important step toward expanding the model’s predictive capability. The first phase of this effort focused on identifying a flyer-plate/target configuration that produces large ejecta clouds from two distinct shocks using the standard RMI ejecta model. A series of simulations examined the effects of flyer composition, layer thickness, and mesh resolution on shock structure and ejecta formation. VISAR traces were used to evaluate shock timing and identify configurations that produced a clear double-shock response. A copper middle-layer flyer with a doubled tin layer yielded the most favorable shock characteristics and was selected as the baseline configuration. After confirming this configuration performed as expected when running a reference FLAG version, it became the basis for three simulations: (1) a standard two-dimensional ejecta flyer-plate calculation using a reference FLAG version, (2) the same calculation with the reconstructed interface option enabled, and (3) a calculation employing ALE strategies to force the ejecta model to operate on the reconstructed interface. While the baseline simulation produced the expected ejecta response, the reconstructed interface approach did not result in measurable ejecta, indicating that this capability remains under development. These results highlight both the progress made and the remaining challenges in extending the RMI ejecta model to reconstructed interfaces.

36 MATERIALS SCIENCE↗