Search NASA⌕ Search

SEARCH · Search NASA

Results for “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.

At least 595 records · Page 33

IAEA Facility-Level Safeguards and Implementation and Advanced Verification Technologies

IAEA Facility-Level Safeguards and Implementation - This presentation is intended to introduce the audience to the application of international safeguards by the International Atomic Energy Agency at nuclear facilities around the world. It covers the State Level Approach, random statistical sampling processes, material balance area structure, non-destructive assay techniques, and inspection areas. Addition of advanced verification technologies for the IAEA

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗

Verification of the 3-Region Advanced Test Reactor MCNP Model

The verification of the 3-region homogenized fuel Advanced Test Reactor MCNP model. The 3-region model was compared to the 19-plate model found in the 94-CIC report. Flux tallies, energy deposition tallies, and quarter core mesh tallies were used to compare the two models. The 3-region model needed updating in order to make good comparisons between the models. The percent error from the flux and energy deposition tallies data shows that experiment positions inside the flux trap have higher errors than positions outside the fuel ring. The standard deviation data obtained from the mesh tallies shows that the two models agree within two standard deviations throughout the reactor. It is concluded that the model works adequately for what it is used for.

99 GENERAL AND MISCELLANEOUS↗

Verification of the 3-Region Advanced Test Reactor MCNP Model

The verification of the 3-region homogenized fuel Advanced Test Reactor MCNP model. The 3-region model was compared to the 19-plate model found in the 94-CIC report. Flux tallies, energy deposition tallies, and quarter core mesh tallies were used to compare the two models. The 3-region model needed updating in order to make good comparisons between the models. The percent error from the flux and energy deposition tallies data shows that experiment positions inside the flux trap have higher errors than positions outside the fuel ring. The standard deviation data obtained from the mesh tallies shows that the two models agree within two standard deviations throughout the reactor. It is concluded that the model works adequately for what it is used for.

99 GENERAL AND MISCELLANEOUS↗

Non-Nuclear Test Facility Development to Support Verification and Validation Needs

This study focuses on developing a non-nuclear test facility to help meet the verification and validation (V&V) requirements of a water-cooled small modular reactor (SMR) system. The scaling analysis necessary for reactor system experimentation and assessment model V&V considers various reactor system accident scenarios such as main steam line break (MSLB), steam generator tube rupture (SGTR), and containment condensation and heat transfer. The goal is to identify key physics based phenomena of interest (POI), specific figures of merit (FOMs), and the state of knowledge (SOK) by employing phenomena identification and ranking table (PIRT) studies. Important physics phenomena such as heat transfer, fluid dynamics, structural integrity, and material selection must be addressed when scaling a thermal-hydraulics system. Alongside these considerations, modifications to the facility may be needed to align the scaled system with the available footprint (height and space) of the facility. These modifications may include infrastructure upgrades, changes to the piping layout, implementation of safety measures, and installation of new instrumentation and control systems. The test facility aims to provide a scaled-down version of prototypic facilities for comprehensive V&V activities by overcoming these challenges and making the necessary modifications. This approach minimizes scaling distortion, simulates prototypic plant conditions, and accurately models accident event progressions. Thus, the facility will be capable of adequately modeling a scaled SMR system to support the design, development and licensing needs.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

Verification and Validation of the New MCNP6.3 Criticality Features

The MCNP6® code, version 6.3, has been extensively verified and validated for many applications. The use of the same default capabilities existing in the MCNP6.2 code are also used in the verification and validation (V&V) of the MCNP6.3 code. In this paper, selected new features, code enhancements, and bug fixes in the MCNP6.3 code that impact criticality safety applications are described and investigated. More specifically, the changes within the MCNP6.3 code that are studied in this work include both the new fission matrix and the Doppler broadening resonance correction (DBRC) features. For nuclear criticality safety applications, the V&V benchmark problems within the criticality, extended criticality, and Rossi-α suites are used to study the upgrades within the MCNP6.3 code. Some additional investigations into benchmarks at elevated temperatures are used to showcase the impacts of the temperature-specific capabilities.

97 MATHEMATICS AND COMPUTING↗

Verification of Special Nuclear Material (SNM) using Active Well Coincidence Counter (AWCC) and a High Purity Germanium (HPGe) Detector

SNM verification can be accomplished via two methods i.e. destructive analysis (DA) or nondestructive analysis (NDA). The DA modes are much more accurate compared to NDA modes; nevertheless, the sample's physical integrity is destroyed in the process. Techniques such as ICP-MS, ID-ICP-MS, TI-MS are few examples of DA, where a bulk material is ground and mixed with a solution (some form of acid) to acquire a homogenous sample. In contrast, NDA modes utilize signals emitted by the sample such as gamma, neutrons, light, or heat to analyze samples under investigation. HPGe detectors are some of the most frequently used gamma detectors to assay SNM. However, in a high activity scenario it provides a large uncertainty and sometimes becomes unfeasible to measure low energy gamma rays. Meanwhile, neutron detectors are not affected by the gamma background, therefore they can be used in addition to the gamma detectors to verify total fissile mass ({sup 235}U + {sup 239}Pu) of SNM. The AWCC is one of the thermal neutron NDA systems developed at the Los Alamos National Laboratory (LANL). It consists of 42 {sup 3}He detectors to measure gross neutrons (singles), coincidence neutrons (doubles), higher order multiplicity counting (triples, quadruples, etc.). It can effectively operate in both active and passive neutron interrogation modes. It can utilize AmLi, AmBe, or {sup 252}Cf active interrogation neutron sources. It is used to verify declared fissile mass ({sup 235}U or {sup 239}Pu) present in SNM. Objectives: Calibrate HPGe and AWCC for lightly irradiated (with enough {sup 137}Cs gamma background) ∼93% enriched HEU fuels; Verify fissile mass ({sup 235}U +{sup 239}Pu) content using AWCC and HPGe; Model and benchmark AWCC in MCNP6. Neutron coincidence and multiplicity counting: Two or more neutrons are coincident if they are detected by the system within the specified gate window; In AWCC: Gate window is 128 μsec; Induced fission in fissile material such as {sup 235}U and {sup 239}Pu - emission of time correlated neutrons - Singles, Doubles, Triples, or Quadruples; No induced fission in non-fissile materials- no correlated neutrons - only singles. SNM can be verified with high accuracy and precision using gamma and neutron NDA instruments such as HPGe and AWCC. Interaction with thermal neutrons. Non-fissile atoms - do not emit correlated neutrons. Fissile atoms - emit correlated neutrons during induced fission events. The time correlated neutrons can be detected by using coincidence or multiplicity counters such as AWCC. Likewise, {sup 235}U produces 186 keV gamma peak that can be measured by a HPGe gamma detector. Counts under 186 keV gamma peak provide information about {sup 235}U content. Combining AWCC and HPGe results can provide better understanding of special nuclear material under investigation.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Sockeye Heat Pipe Analysis Code Verification and Validation

Some of the most promising microreactor designs currently under development utilize heat pipe technology to transfer heat from the reactor core to the secondary side heat exchanger, due to the technology’s compactness, efficiency, passivity, and reliability. Sockeye is an engineering-scale heat pipe tool developed under the Nuclear Energy Advanced Modeling and Simulation Program to be used for the design and safety analysis of microreactors. Sockeye’s core capability lies in a 1D, two-phase, compressible flow model, used to simulate the working fluid inside the heat pipe. Sockeye is built on the Multiphysics Object-Oriented Simulation Environment framework, which allows for seamless multiphysics coupling with other Nuclear Energy Advanced Modeling and Simulation tools and can thus be used in a full-scale simulation of a microreactor assembly, which can include hundreds of heat pipes. This paper presents some initial verification and validation assessments performed for Sockeye. We demonstrate good agreement between Sockeye’s numerical results and steady-state analytic solutions for velocity and pressure drop, with differences attributable to the underlying assumptions made by the analytic solutions. We also show that Sockeye reproduces analytic predictions of key operational limits, such as the capillary limit and the sonic limit. Finally, we compare Sockeye results to experimental data for the SAFE-30 heat pipe module test.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

Laser Based Ultrasound for Verification of Circuit Card Assemblies

This IR is a follow-up conference Paper to the IR approved abstract; PNNL-SA-194096. --- Verification that equipment is authentic and not changed; even at the circuit card assembly (CCA) level will likely be an important component of future arms control treaties. This effort was an initial evaluation of the potential for laser-based ultrasound (LBU) as an inspection tool for Unique Identification (UID) of Circuit Card Assembly (CCA) boards and CCA components. The LBU system used a laser pulse for ultrasound generation and an Optical Microphone for ultrasound detection to image subsurface structures without physical contact and in a dry state. This paper described the selected CCA surrogate, CCA components that were examined, the LBU system, LBU images of the CCA components, and the initial development of UID algorithms. Receiver operating characteristics (ROC) curves indicated good performance for two algorithms as a potential means for UID of CCA boards and CCA components.

Laser Ultrasound, Equipment Verification, Arms Con↗

Verification of the Uniformly-Ordered Binary Decision Algorithm in Correlated-Benchmark Whisper Calculations

Whisper is a nuclear criticality safety code package that aids analysts in validation exercises by computing upper subcritical limits (USL) for applications of interest. To obtain statistically meaningful, significant, and conservative USLs, the analyst must ensure that Whisper selects a sufficient number of benchmarks that are neutronically similar to the application. Many of the available benchmarks are correlated but are currently treated as independent, leading to an artificially small sample size, as their individual information contributions will be overestimated. To aid the analyst in obtaining a sufficient sample size, prior work [2] demonstrated application of the Uniformly-Ordered Binary Decision (UOBD) algorithm in adjusting benchmark weights to account for benchmark correlations. This work provides verification of the Whisper implementation and considers the impact of updated benchmark correlations compared to those available previously. We demonstrate that the UOBD algorithm performs as expected with an analytic example. With HEU-SOL-THERM-001 cases 1 through 10 as the applications, we compare the USLs computed with benchmark correlations available in the Whisper 1.1 release only to those computed with additional benchmark correlations from DICE 2023 and demonstrate substantive differences.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

The HTR-Proteus Benchmark: Analysis and Use as a Verification and Validation Case

This presentation outlines the evaluation and application of the HTR-Proteus benchmark as a verification and validation (V&V) case for advanced reactor modeling tools. The work supports the U.S. Department of Energy’s HALEU Availability Program (HAP) and the joint DOE/NRC DNCSH project, which aims to reduce criticality safety uncertainties in commercial-scale HALEU fuel cycle and transportation systems. The HTR-Proteus experiments, conducted at the Paul Scherrer Institute, provide high-fidelity data for TRISO-fueled, graphite-moderated pebble bed reactors with high neutron leakage—conditions relevant to HALEU transport scenarios. This study focuses on Cores 4.2 and 4.3 of the HTR-Proteus benchmark, analyzing key sources of uncertainty including pebble packing, TRISO particle positioning, and core height. Using Project Chrono for realistic pebble geometries and Serpent, SHIFT, and MCNP for neutronics simulations, the study quantifies the impact of these uncertainties on the effective multiplication factor (keff). Results show that a sample size of 110 pebble configurations is sufficient to converge keff, with ±30 pcm uncertainty due to packing randomness. TRISO positioning and core height variations also significantly influence keff, highlighting the importance of detailed modeling in V&V efforts. The benchmark serves as a valuable test case for validating the Griffin reactor physics code and improving confidence in HALEU system simulations.

73 - NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Implementation and verification of a user-defined element (UEL) for coupled thermal-hydraulic-mechanical-chemical (THMC) processes in saturated geological media

Efficient and accurate modeling of the coupled thermal-hydraulic-mechanical-chemical (THMC) processes in various rock formations is indispensable for designing energy geo-structures such as underground repositories for high-level nuclear wastes. Here, this work focuses on developing and verifying an implicit finite element solver for generic coupled THMC problems in geological settings. Starting from the mass, momentum, and energy balance laws, a specialized set of governing equations and a thermoporoelastic constitutive model is derived. This system is then solved by an implicit finite element (FE) scheme. Specifically, the residuals and the Jacobians are scripted in a user-defined element (UEL) subroutine which is then combined with the general-purpose FE software Abaqus Standard to solve initial-boundary value problems. Considering the complexity of the system, the UEL development follows a stepwise manner by first solving the coupled hydraulic-mechanical (HM) and thermal-hydraulic-mechanical (THM) equations before moving on to the full THMC problem. Each implementation step consists of at least one verification test by comparing computed results with closed-form analytical solutions to ensure that the various coupling effects are correctly realized. To demonstrate the robustness of the algorithm and to validate the UEL, a three-dimensional case study is performed with reference to the in-situ heating test of ATLAS at Belgium in 1980s. A hypothetical radionuclide leakage event is then simulated by activating the chemical-concentration degree of freedom and prescribing a constant high concentration at the heater's surface. The model predicts a limited contaminated regime after six years considering both diffusion and advection effects on species transport.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

OC6 Phase II: Integration and verification of a new soil–structure interaction model for offshore wind design

Abstract This paper provides a summary of the work done within the OC6 Phase II project, which was focused on the implementation and verification of an advanced soil–structure interaction model for offshore wind system design and analysis. The soil–structure interaction model comes from the REDWIN project and uses an elastoplastic, macroelement model with kinematic hardening, which captures the stiffness and damping characteristics of offshore wind foundations more accurately than more traditional and simplified soil–structure interaction modeling approaches. Participants in the OC6 project integrated this macroelement capability to coupled aero‐hydro‐servo‐elastic offshore wind turbine modeling tools and verified the implementation by comparing simulation results across the modeling tools for an example monopile design. The simulation results were also compared to more traditional soil–structure interaction modeling approaches like apparent fixity, coupled springs, and distributed springs models. The macroelement approach resulted in smaller overall loading in the system due to both shifts in the system frequencies and increased energy dissipation. No validation work was performed, but the macroelement approach has shown increased accuracy within the REDWIN project, resulting in decreased uncertainty in the design. For the monopile design investigated here, that implies a less conservative and thus more cost‐effective offshore wind design.

17 WIND ENERGY↗

Development of integrated screening, cultivar optimization, and verification research (DISCOVR): A coordinated research-driven approach to improve microalgal productivity, composition, and culture stability for commercially viable biofuels production

To address major knowledge gaps and barriers to the commercial development of algal biomass for biofuels and co-products, a collaborative consortium, Development of Integrated Screening, Cultivar Optimization, and Verification Research (DISCOVR), was established in 2016. Funded by the U.S. Department of Energy (DOE) Bioenergy Technologies Office (BETO), this consortium constitutes a partnership between four DOE national laboratories - Pacific Northwest National Laboratory (PNNL), Los Alamos National Laboratory (LANL), the National Renewable Energy Laboratory (NREL), and Sandia National Laboratories (SNL) - and the Arizona Center for Algae Technology and Innovation (AzCATI) at Arizona State University. To address the barriers of strain selection for achieving high seasonal productivities with a suitable composition and culture resilience, a tiered strain down-selection pipeline is implemented. At Tier I, the temperature and salinity tolerance of strains is determined in flask cultures; at Tier II, the areal biomass productivity and composition is determined in climate-simulation photobioreactors; at Tier III, the productivity and culture stability are determined in outdoor raceways. The top performing strains move forward to long-term testing at the algae testbed site at AzCATI to generate annual biomass productivity data. Concurrent to the strain down-selection in the DISCOVR pipeline, hypotheses for increasing biomass productivity, shifting biomass composition to enhance intrinsic value, and improving culture stability and resistance to pests are also tested. Techno-economic analyses are carried out to determine whether promising findings from laboratory studies or proposed modifications in outdoor pond cultivation conditions translate into reductions in the minimum biomass selling price (MBSP). Notably, in the three years following the launch of DISCOVR, annual biomass productivity has increased from 11.7 to 17.6 g m -2 day -1 , resulting in an MBSP decrease from 824 to 611 $ ton -1 .

09 BIOMASS FUELS↗

Fuel cycle depletion validation and code-to-code verification studies for High Flux Isotope Reactor highly and low-enriched uranium fuel designs

Here, this paper documents fuel cycle depletion validation and code-to-code verification studies for the High Flux Isotope Reactor (HFIR) highly enriched uranium (HEU) and proposed low-enriched uranium (LEU) fuel designs. In support of HFIR’s world-leading performance, transport and depletion simulations are performed to ensure safe operations, design and qualify irradiation experiments, enhance core components and irradiation facilities, and design and characterize LEU fuel designs. Identifying well-validated, computationally efficient codes is required for the success of these efforts. The HFIR Controller, Shift, and VESTA codes were deployed to simulate HEU uranium–oxide dispersion fuel cycles at 85, 95, and 100 MW operations, as well as LEU fuel cycles operating at 95 MW with uranium–silicide dispersion and uranium–molybdenum monolithic alloy fuel forms. Excellent agreement between the codes and with experimentally obtained 235 U enrichment distributions provides increased confidence in the ability of these codes to model and simulate HFIR’s unique core design.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

An approach for spent nuclear fuel containment integrity verification using gas tagging

Verification of containment integrity is required for spent nuclear fuel (SNF) managed by the commercial nuclear industry and U.S. Department of Energy (DOE), especially after extended storage. Certain SNF storage systems, such as the DOE road-ready dry storage system, hold several packaged containments within a welded over-canister. These packaged containments are called Department of Energy Standard Canisters (DOESCs). DOESC leakage identification is challenging because their containment boundary cannot be accessed for testing and their contents (i.e., SNF and fill gas) are often similar. There are concerns that this could result in costly characterization and repackaging operations of DOE road-ready dry storage systems if compromised DOESCs are suspected. Here, to address these concerns, this paper presents an approach for applying a gas tagging process using xenon to uniquely identify compromised inaccessible containments following extended storage. The containments considered for this application are seven DOESCs, each packaged within a single over-canister. Two different SNF loading configurations from the Advanced Test Reactor and Fort Saint Vrain nuclear power plant are considered. These configurations are used to represent research reactor aluminum-clad spent nuclear fuel (ASNF) and TRi-structural ISOtropic (TRISO) SNF types. Results for this application show that for ASNF and TRISO type fuels for which the selected fuels are representative, the volume of taggant required at loading is determined primarily by the lower detection limit and leak rate of taggant from a compromised DOESC, rather than the amount of fission-generated xenon in the loaded fuel. While the application presented is suited for larger leaks, smaller leaks could be detected by modifying certain design parameters. This gas tagging approach can also be applied to other DOE containments and advanced reactor SNF storage systems.

07 - ISOTOPES AND RADIATION SOURCES↗

Agent-based simulation and child protection systems: Rationale, implementation, and verification

Simulation models are an important tool used in health care and other disciplines to support operational research and decision-making. In the child protection literature, simulation models are an under-utilized source of research evidence. Here, in this paper, we describe the rationale for and the development of an agent-based simulation of a child protection system in the US. Using the investigation, prevention service, and placement histories of 600,000 children served in an urban child welfare system, we walk the reader through the development of a prototype known as OSPEDALE. The governing equations built into OSPEDALE probabilistically simulate the onset of investigations. Then, drawing from empirical survival distributions, the governing equations trace the probability of subsequent interactions with the system (recurrence of maltreatment, service referrals, and placement) conditional on the characteristics of children, their assessed risk level, and prior child protection system involvement. As an initial test of OSPEDALE's utility, we compare empirical admission counts with counts generated from OSPEDALE. Though the verification step is admittedly simple, the comparison shows that OSPEDALE replicates the empirical count of new admissions closely enough to justify further investment in OSPEDALE. Management of public child protection systems is increasingly research evidence-dependent. The emphasis on research evidence as a decision-support tool has elevated evidence acquired through randomized clinical trials. Though important, the evidence from clinical trials represents only one type of research evidence. Properly specified, simulation models are another source of evidence with real-world relevance.

60 APPLIED LIFE SCIENCES↗

Shutdown dose rate analysis with the Shift Monte Carlo radiation transport code and modular verification workflow

Calculation of the shutdown dose rate is crucial for safe fusion reactor operations. The Rigorous-two-step (R2S) method is a method that requires connected neutron transport, activation, and gamma transport. Shift has integrated variance reduction with a deterministic solver Denovo, supports multiple geometry formats, and is scalable. These features make it an attractive transport solver choice for an R2S workflow. An R2S workflow for the Shift Monte Carlo code is developed and compared to the existing Oak Ridge National Laboratory Shutdown Dose Rate Code Suite (ORCS) workflow. Also, a Python framework for integrating two R2S workflows is developed to mix and match each step in the R2S workflow for improved collaboration and verification experience. In this study, results show that the Shift-Denovo R2S workflow and the ORCS workflow calculate the shutdown dose rate of the ITER Shutdown Dose Rate benchmark problem with an average relative error of 2.285%.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗