Results for “property-based testing”

DOE OSTI2025

Multiple Operando Fields Can Identify a Predictive Mass Transport Theory in Electrolytes

An electrolyte transport theory connects its transport properties, evolution of spatiotemporal fields (e.g., concentration), and corresponding macroscopic current and voltage responses. Given this interconnection, the transport properties are typically inferred by analyzing the macroscopic response through the lens of a chosen electrolyte transport theory. Unfortunately, the same macroscopic measurements can be analyzed by using different theories to arrive at seemingly dissimilar properties that are inconsistent with each other. Here, we offer a resolution to this dilemma by analyzing multiple spatiotemporal (i.e., operando) fields for a given electrolyte. We show that predictive transport theory can analyze operando fields to estimate underlying transport properties and subsequently predict another operando field. A theory passing this test identifies meaningful transport properties such that the electrolyte behavior can be accurately predicted over a wide range of excitations, and is critical to property-based electrolyte screening and electrolyte discovery efforts.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2026

Development of a Framework and Methodology for an Advanced Reactor Materials Environmental Effects Design Guide

Advanced non-light-water reactor components may operate at elevated temperature while experiencing cyclic loading, significant neutron irradiation, and exposure to reactor coolant. ASME Boiler and Pressure Vessel Code, Section III, Division 5, provides design rules for elevated-temperature service but does not include specific procedures to account for environmental effects on material properties. This report develops an initial framework and methodology for an Environmental Effects Design Guide (EEDG) focused on neutron irradiation; coolant-environment effects are reserved for future work. The proposed approach treats irradiation as a property-based overlay on the existing Division 5 design process, with two routes: a sparse-data route applying two reduction factors — FCR on creep-rupture strength and FF on fatigue life — for the creep-fatigue evaluations that typically control the design of advanced high-temperature reactor components, and a fuller framework developing the property-to-rule chain across the four Division 5 checks (primary load, strain limits and ratcheting, creep-fatigue, and buckling), together with swelling and weldments as scope items. Both routes are scoped by an in-pile qualification that restricts the use of post-irradiation-examination-derived properties in regimes where an in-pile mechanism could control the design outcome. Illustrative outputs derived on a compiled annealed Type 316 database — FCR ≈ 0.78–0.86 and FF ≈ 0.4 — demonstrate the calculation method within that specific dataset. The framework is an initial, testable design-rule concept; it identifies a practical path for preliminary design evaluations under sparse data and the material data and testing needed to develop the framework further.

Barua, Bipul (ORCID:0000000247184113)↗