Search NASA⌕ Search

SEARCH · Search NASA

Results for “COMPILER PROGRAM”

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 415 records · Page 23

Agentic AI vs ML-Based Autotuning: A Comparative Study for Loop Reordering Optimization

High Performance Computing (HPC) applications rely heavily on code optimizations to achieve good performance on modern CPU and GPU architectures. Traditional Machine Learning auto-tuning approaches have demonstrated success in exploring high-dimensional spaces, but they often require expensive compile-run evaluations and lack adaptability for large HPC applications. The recent advances in Large Language Models (LLMs) and Agentic AI systems raise intriguing questions about the potential of these approaches to address specific optimization methodologies. This work aims to answer an essential question for the HPC community: “How Agentic AI Systems Compare to Traditional ML Autotuning Techniques?” To address this question, we present a comparative analysis between a traditional ML-based optimization approach and an Agentic AI system, evaluating their respective capabilities and limitations for loop-level optimization. In addition, we introduced a new Agentic AI system named LoopGen-AI using three different Large Language Models: GPT-4.1, Claude 4.0, and Gemini 2.5. A key finding is that LoopGen-AI achieves competitive per-formance with only a few program runs, the reasoning logs from the agents revealed that their decisions rely heavily on the combination of semantic understanding of the target kernel with dynamic feedback from the environment, highlighting a promising new dimension in performance tuning. In contrast, ML-based autotuners focus on statistical exploration, and require orders of magnitude more runs to reach peak performance. Additionally, our analysis shows that prompt engineering, particularly using Persona + Context Manager patterns, significantly impacts the effectiveness of Agentic AI. Our results indicate that while Agentic AI systems are not yet a complete replacement for ML-based autotuners, it can effectively complement traditional methods.

Rosas, Miguel Romero↗

Battery Testing FY 2017 Annual Progress Report

Abuse tests are designed to determine the safe operating limits of HEV\PHEV energy storage devices. Testing is intended to achieve certain worst-case scenarios to yield quantitative data on cell\module\pack response, allowing for failure mode determination and guiding developers toward improved materials and designs. Standard abuse tests with defined start and end conditions are performed on all devices to provide comparison between technologies. New tests and protocols are developed and evaluated to more closely simulate real-world failure conditions. When scaling from cell to the battery level, a detailed understanding of cell interactions provides insight on safety performance. Single point failures from a cell or group of cells can be initiated by a number of triggers including internal short circuit, misuse or abuse, or component failure at the battery or system level. Propagation of a single failure event (regardless of the initiation trigger) through an entire battery, system, or vehicle is an unacceptable outcome with regards to EV battery safety. In this FY, our work has focused on evaluating the propagation of a single cell thermal runaway event through a battery using a variety of design considerations with an emphasis on passive thermal management impacts. This has been coupled with thermal modeling by NREL for these testing conditions. In addition, alternative failure initiation methods have been evaluated to provide direct comparisons of possible energy injection between modes. This data was compiled to better identify what propagation test method is appropriate given certain battery designs. Expanding the analysis of short circuit current during failure propagation has been done for EV relevant chemistries. Ongoing test development and validation to obtain these values has been achieved. While robust mechanical models for vehicles and vehicle components exist, there is a gap for mechanical modeling of EV batteries. The challenge with developing a mechanical model for a battery is the heterogeneous nature of the materials and components (polymers, metals, metal oxides, liquids). Our work will provide empirical data on the mechanical behavior of batteries under compressive load to understand how a battery may behave in a vehicle crash scenario. This work is performed in collaboration with the U.S. Council for Automotive Research (USCAR) and Computer Aided Engineering of Batteries (CAEBAT). These programs have supported the design and development of a drop tower testing apparatus to close the gap between cell/string level testing and full scale crash testing with true dynamic rate effects.

25 ENERGY STORAGE↗

Using FENOSOL{sup TM} Phenolic Foam as a Shock Absorber for Type B Packaging - 17256

Type B and fissile material transportation packages are designed to withstand deformation from dynamic forces experienced during impacts in hypothetical accident conditions. A critical aspect is to ensure the containment system is not breached. The package design normally includes impact limiters made up of a shell filled with energy-absorbing material. Various types of materials are used as energy absorbers, including wood, foam, and honeycomb structures. Synthetic foam is an ideal material for impact limiters; it has isotropic material properties, it acts as a heat insulator during fire conditions, and it maintains structural integrity at high temperatures. In addition, the density of the foam may be controlled during the manufacturing process, allowing the cask designer flexibility to select the right density for each application. The foam properties can be used as inputs for numerical simulations of dynamic impacts. These simulations are a key component of the safety analysis report for Type B transportation casks. Robatel has recently invested in equipment to produce FENOSOL{sup TM} phenolic foam in our factory for use in our cask designs. This acquisition was made jointly between Robatel and the CEA, with Robatel ensuring the industrialization of the product. In the past decade, this foam was successfully integrated into more than 10 European cask designs, and there has been extensive in-laboratory characterization of its properties. FENOSOL{sup TM} has already been accepted by the French Nuclear Safety Authority (ASN) as a shock absorbing material for use in cask designs. Since the acquisition of the phenolic foam production process by Robatel, a new research and development program has been launched to provide more accurate information to our clients, extend the range of application of this foam, and to improve its properties. Robatel has built an extensive database of material characteristics through the use of a universal mechanical tester, a scanning electron microscope, and a nuclear magnetic resonance spectrometer. In addition, Robatel has successfully implemented FENOSOL{sup TM} in two recent cask designs. This included scale model drop testing of a 9 meter drop in three orientations, and a pin puncture drop test. Robatel is in the process of producing FENOSOL{sup TM} samples for testing according to ASTM standards. Various densities will be included in the study. The testing will include duro-meter hardness, specific heat, thermal conductivity, compressive strength and modulus, and tensile strength. Once the testing is complete, Robatel will compile the data in the form of product specification sheets for each density. These information sheets and test reports will be used to validate FENOSOL{sup TM} for use in future impact limiters for the North American Type B cask market. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

American Made Challenges Battery Voucher Program Cooperative Research and Development Agreement (Cooperative Research and Development Final Report, CRADA Number CRD-21-17533)

Renewance is a Phase II winner of the U.S. Department of Energy Lithium-ion Battery Recycling Prize. The Prize is designed to incentivize American entrepreneurs to develop and demonstrate processes that, when scaled, have the potential to profitably capture 90% of all discarded or spent lithium-based batteries (LIB) in the Unites States for eventual recovery of key materials for re-introductions into the U.S. supply chain. The objective of this work is to enable a more efficient evaluation of battery sources for second life applications prior to ultimately being recycled, through evaluation of chemistry characteristics, projected battery lifetime, and application history. This work will develop the capability to identify groups of batteries that may be useful for second life and reduce the cost of end-of-life (EOL) LIB evaluation and repurposing. To meet the objective, NREL will use existing and new data to create a refined algorithm that could be used to evaluate batches of batteries for potential reuse based on manufacturing date and historical use characteristics. Based on current battery market prices and compiled literature data, a starting-point estimate of the market value of the batteries for reuse based on expected lifetime will be included in the algorithm. With the projected surge in LIB demand, battery second life is a new area ripe for development and investment from companies like Renewance. With so few large format batteries reaching EOL to date, this is a new market with a variety of areas for optimization and adding value. This work with Renewance is an example of how existing expertise in battery degradation at NREL can be used to reduce the cost of shifting a battery into a second life application. With these cost reductions, this work is also facilitating the development of a battery circular economy in the United States. A robust circular economy can maximize the utilization of critical metals demanded by battery technology such as nickel and cobalt while also reducing the costs of batteries in the marketplace for the many end-uses needed for the green energy transition. The supply of these metals is limited, and we face a supply chain shortage both domestically and globally unless we can ensure they are being used to their maximum potential. This research can improve the economics of a battery circular economy to make it a more likely path for EOL batteries with critical metals. CRADA benefit to DOE, Participant, and US Taxpayer: assists laboratory in achieving programmatic scope competencies, uses the laboratory's core competencies.

25 ENERGY STORAGE↗

tapir: A tool for topologies, amplitudes, partial fraction decomposition and input for reductions

The demand for precision predictions in the field of high energy physics has dramatically increased over recent years. Experiments conducted at the LHC, as well as precision measurements at the intensity frontier such as Belle II require equally precise theoretical predictions to make full use of the acquired data. To match the experimental precision, second-, third- and, for certain quantities, even higher-order calculations in perturbative quantum field theory are required. To facilitate such calculations, computer software automating as many steps as possible is required. Yet, each calculation poses different challenges and thus, a high level of configurability is required. In this context we present tapir: a tool for identification, manipulation and minimization of Feynman integral families. It is designed to integrate in toolchains based on the computer algebra system FORM, the use of which is common practice in the field. tapir can be used to reduce the complexity of multi-loop problems with cut-filters, topology mapping, partial fraction decomposition and alike. Program Title:tapir CPC Library link to program files:https://doi.org/10.17632/ptc9t46xyn.1 Developer's repository link:https://gitlab.com/tapir-devs/tapir Licensing provisions: GPLv3 Programming language:python 3, C++ Nature of problem: Multi-loop computations require the automatization of a large number of different tasks related to Feynman integral topologies. Among them are the identification and minimization of integral topologies, partial fraction decomposition of topologies in the case of linearly dependent propagators as well as mapping scalar products of loop momenta to scalar functions. Solution method: The minimization of topologies is performed by comparison of their respective Nickel indices [1], even further minimization utilizes Pak's algorithm [2]. To efficiently map scalar products of loop momenta to scalar functions FORM [3] code is generated. Additional comments including restrictions and unusual features: Minimization based on Pak's algorithm slows down for many lines and scales. A coarser minimization using the Nickel indices, however, is still possible. [1]B. Nickel, D. Meiron, G.A.J. Baker, Compilation of 2-pt and 4-pt graphs for continuous spin model, Report, University of Guelph, 1977.[2]A. Pak, J. Phys. Conf. Ser. 368 (2012) 012049, https://doi.org/10.1088/1742-6596/368/1/012049, arXiv:1111.0868.[3]B. Ruijl, T. Ueda, J. Vermaseren, FORM version 4.2, arXiv:1707.06453, 7 2017.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

National Wind Technology Center-Characterization of Atmospheric Conditions

Data provided by the instrumentation located at the National Wind Technology Center (NWTC) is compiled below for the purposes of characterizing the atmospheric operating conditions at the National Renewable Energy Laboratories (NREL) wind site. Conditions are presented conditioned on month of the year to show seasonal variation, and based on characteristic quantities seen in the atmospheric flow including, bulk wind speed, direction, and atmospheric stability. All data reported and analyzed in the following document were collected from instrumentation mounted on the 135 m-tall masts erected at the NWTC near Boulder, Colorado. Each of the two met-masts (named M4 and M5) were sited specifically to measure the inflow wind to several of the utility-scale turbines at the NWTC. The construction, operation, and maintenance of the masts has been supported since their commissioning in 2011 by the Department of Energy, Office of Energy Efficiency and Renewable Energy, Wind and Water Power Program. Data from the masts are publicly available for download or basic visualization, hosted on NREL's website (https://nwtc.nrel.gov/135mData). Data from the masts have been used in the past for a wide range of projects including wind turbine power performance measurements, high fidelity model development and validation, and atmospheric science research. An interactive visualization platform has been developed on NREL's Open Energy Information platform and can be used to reproduce many of the graphics included in the current work. This report describes in detail the atmospheric conditions recorded by M5, the inflow mast for the DOE-owned GE 1.5 MW wind turbine. The report focuses on data recorded from August 2012 to May 2018 and includes: an introduction to the wind climate at the NWTC; a physical description of the met masts; a review of installed instrumentation; and data collection, processing, and quality control methods. In addition to a concise description of the instrumentation from the met masts and the data channels they provide, this report characterizes the behavior of the atmospheric resource first in a cumulative sense, discussing mainly the distributions wind speeds, flow directions and thermodynamic properties at several heights along the towers. Periodicity in atmospheric conditions is then detailed through analysis of diurnal and annual cycles of the data streams. Periods of both low turbulence and extreme atmospheric events that are of interest in terms of wind turbine operation and wind energy research are detailed in the final chapter of this report. Low turbulence events are somewhat rare at the NWTC and are of interest from the perspective of validating the operation of new wind turbine and blade designs. Similarly, the NTWC is known for a relatively higher rate of occurrence of extreme weather events.

17 WIND ENERGY↗

Nuclear Safety [Vol. 32, No. 4, October-December 1991]

Nuclear Safety is a review journal that covers significant developments in the field of nuclear safety. Its scope includes the analysis and control of hazards associated with nuclear energy, operations involving fissionable materials, and the products of nuclear fission and their effects on the environment. Primary emphasis is on safety in reactor design, construction, and operation; however, the safety aspects of the entire fuel cycle, including fuel fabrication, spent-fuel processing, nuclear waste disposal, handling of radioisotopes, and environmental effects of these operations, are also treated. Table of Contents for this issue follows. GENERAL SAFETY CONSIDERATIONS: 477 Report on the International Symposium on the Use of Probabilistic Safety Assessment for Operational Safety—PSA '91, S. Chakraborty and M. Khatib-Rahbar; 488 Good Relationships Are Pivotal in Nuclear Data Bases, A. S. Heger and B. V. Koen; 494 Technical Note: The Interagency Nuclear Safety Review Panel's Evaluation of the Ulysses Space Mission, J. A. Sholtis, Jr., D. A. Huff, L. B. Gray, N. P. Klug, and R. O. Winchester; ACCIDENT ANALYSIS: 502 The Severe Accident Analysis Program for the Savannah River Nuclear Production Reactors, M. L. Hyder; CONTROL AND INSTRUMENTATION: 511 A Framework for Selecting Suitable Control Technologies for Nuclear Power Plant Systems, R. A. Kisner; DESIGN FEATURES: 521 Containments for Gas-Cooled Power Reactors History and Status, P.W. Williams; ENVIRONMENTAL EFFECTS: 537 Indoor Radon: A Natural Risk, N. H. Harley and J.H. Harley; On the Importance of the Atmospheric Parameters in the Fission Products Distribution of a Severe Reactor Accident, M. C. Barla and A. R. Bayulken; Book Review: Health Effects of Exposure to Low Levels of Ionizing Radiation BEIR V, C. R. Richmond; WASTE AND SPENT FUEL MANAGEMENT: 555 Activities Related to Waste and Spent Fuel Management, M. D. Muhlheim and E. G. Silver OPERATING EXPERIENCES: 567 Effects of Component Aging on the Westhinghouse Control Rod Drive System, K. Sullivan and W. Gunther; 577 Reactor Shutdown Experience, Compiled by J. W. Cletcher, 580 Selected Safety-Related Events, Compiled by G. A. Murphy; 582 Operating U 8 Power Reactors, Compiled by M. D. Muhlheim and E. G. Silver, RECENT DEVELOPMENTS: 596 General Administrative Activities, Compiled by M. D. Muhlheim and E. G. Silver; 610 Reports, Standards, and Safety Guides, D. S. Queener; 614 Proposed Rule Changes as of June 30, 1991; ANNOUNCEMENTS: 520 Workshop on PC PRAISE: A Probabilistic Fracture Mechanics Personal Computer Code for Nuclear Power Plant Piping Reliability Assessment; 536 Fifth Workshop on Nuclear Power Plant Containment Integrity; 624 New OECD "International Information System on Occupational Exposure (ISOE)"; 625 Harvard School of Public Health Announces Short Courses; 625 Eighth Power Plant Dynamics, Control and Testing Symposium; 626 Second Training Course on Off-Site Emergency Planning and Response for Nuclear Accidents; 618 The Authors; 622 Reviewers of Nuclear Safety, Vol 32.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Nuclear Safety [Vol. 32, No. 4, October-December 1991]

Nuclear Safety is a review journal that covers significant developments in the field of nuclear safety. Its scope includes the analysis and control of hazards associated with nuclear energy, operations involving fissionable materials, and the products of nuclear fission and their effects on the environment. Primary emphasis is on safety in reactor design, construction, and operation; however, the safety aspects of the entire fuel cycle, including fuel fabrication, spent-fuel processing, nuclear waste disposal, handling of radioisotopes, and environmental effects of these operations, are also treated. Table of Contents for this issue follows. GENERAL SAFETY CONSIDERATIONS: 477 Report on the International Symposium on the Use of Probabilistic Safety Assessment for Operational Safety—PSA '91, S. Chakraborty and M. Khatib-Rahbar; 488 Good Relationships Are Pivotal in Nuclear Data Bases, A. S. Heger and B. V. Koen; 494 Technical Note: The Interagency Nuclear Safety Review Panel's Evaluation of the Ulysses Space Mission, J. A. Sholtis, Jr., D. A. Huff, L. B. Gray, N. P. Klug, and R. O. Winchester; ACCIDENT ANALYSIS: 502 The Severe Accident Analysis Program for the Savannah River Nuclear Production Reactors, M. L. Hyder; CONTROL AND INSTRUMENTATION: 511 A Framework for Selecting Suitable Control Technologies for Nuclear Power Plant Systems, R. A. Kisner; DESIGN FEATURES: 521 Containments for Gas-Cooled Power Reactors History and Status, P.W. Williams; ENVIRONMENTAL EFFECTS: 537 Indoor Radon: A Natural Risk, N. H. Harley and J.H. Harley; On the Importance of the Atmospheric Parameters in the Fission Products Distribution of a Severe Reactor Accident, M. C. Barla and A. R. Bayulken; Book Review: Health Effects of Exposure to Low Levels of Ionizing Radiation BEIR V, C. R. Richmond; WASTE AND SPENT FUEL MANAGEMENT: 555 Activities Related to Waste and Spent Fuel Management, M. D. Muhlheim and E. G. Silver OPERATING EXPERIENCES: 567 Effects of Component Aging on the Westhinghouse Control Rod Drive System, K. Sullivan and W. Gunther; 577 Reactor Shutdown Experience, Compiled by J. W. Cletcher, 580 Selected Safety-Related Events, Compiled by G. A. Murphy; 582 Operating U 8 Power Reactors, Compiled by M. D. Muhlheim and E. G. Silver, RECENT DEVELOPMENTS: 596 General Administrative Activities, Compiled by M. D. Muhlheim and E. G. Silver; 610 Reports, Standards, and Safety Guides, D. S. Queener; 614 Proposed Rule Changes as of June 30, 1991; ANNOUNCEMENTS: 520 Workshop on PC PRAISE: A Probabilistic Fracture Mechanics Personal Computer Code for Nuclear Power Plant Piping Reliability Assessment; 536 Fifth Workshop on Nuclear Power Plant Containment Integrity; 624 New OECD "International Information System on Occupational Exposure (ISOE)"; 625 Harvard School of Public Health Announces Short Courses; 625 Eighth Power Plant Dynamics, Control and Testing Symposium; 626 Second Training Course on Off-Site Emergency Planning and Response for Nuclear Accidents; 618 The Authors; 622 Reviewers of Nuclear Safety, Vol 32.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Validation and Independent Uncertainty Analysis of the MIX-SOL-THERM-003 ICSBEP Benchmark

The International Criticality Safety Benchmark Evaluation Project (ICSBEP) was started in 1992 by the United States Department of Energy and later in 1995 became an international project with contributions from 22 countries. The project is now organized by the OECD (Organisation for Economic Co-operation and Development) Nuclear Energy Agency (NEA). In its most recent iteration, the ICSBEP handbook contains over five thousand evaluations of critical, near-critical, and subcritical experiments conducted in facilities all around the world. These benchmarks serve as valuable information for criticality safety engineers who can use them to validate calculation techniques and establish minimum subcritical margins for operations with fissionable materials. The benchmarks in the handbook are categorized by their fissile material composition, material form (oxide, solution, or metal), and fission energy spectra. This is especially useful for those looking for benchmarks similar to a system they are working on to compare methods and identify trends. The ICSBEP Handbook Uncertainty Guide is document outlining recommended practices and methods for determining uncertainties in these benchmarks. Quantifying these uncertainties thoroughly is crucial as it allows a higher degree of confidence that data used from them is valid and relevant. The guide stresses the importance of a thorough and well documented uncertainty analysis when evaluating an experiment. All measured values of a system, whether they be dimensions or material compositions, have a certain amount of uncertainty associated with them and can be analyzed one by one to determine their effects on the system. Many evaluated benchmarks in the handbook present this in detail, however some do not, mostly earlier evaluations performed in the 1990’s and early 2000’s. Recently at Los Alamos National Laboratory (LANL), the Nuclear Criticality Safety Division (NCSD) of LANL has been validating MCNP6.2 ® input files of criticality benchmarks for use by Whisper, a criticality safety code developed at LANL. This effort is also part of the OECD NEA Working Party on International Nuclear Data Evaluation Co-operation (WPEC) Subgroup 45, also known as Validation of Nuclear Data Libraries (VaNDaL). The goal of VaNDaL is to compile a set of validated simulation inputs for use in validating nuclear data and simulation codes. As part of these efforts, one of the benchmarks reviewed was the MIX SOL-THERM-003 ICSBEP benchmark. This paper provides an independent uncertainty analysis of this benchmark experiment.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

A semi-agnostic ansatz with variable structure for variational quantum algorithms

Quantum machine learning—and specifically Variational Quantum Algorithms (VQAs)—offers a powerful, flexible paradigm for programming near-term quantum computers, with applications in chemistry, metrology, materials science, data science, and mathematics. Here, one trains an ansatz, in the form of a parameterized quantum circuit, to accomplish a task of interest. However, challenges have recently emerged suggesting that deep ansatzes are difficult to train, due to flat training landscapes caused by randomness or by hardware noise. This motivates our work, where we present a variable structure approach to build ansatzes for VQAs. Our approach, called VAns (Variable Ansatz), applies a set of rules to both grow and (crucially) remove quantum gates in an informed manner during the optimization. Consequently, VAns is ideally suited to mitigate trainability and noise-related issues by keeping the ansatz shallow. We employ VAns in the variational quantum eigensolver for condensed matter and quantum chemistry applications, in the quantum autoencoder for data compression and in unitary compilation problems showing successful results in all cases.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Development of a Quality and Safety Competency Curriculum for Radiation Oncology Residency: An International Delphi Study

Purpose: To develop an entry-to-practice quality and safety competency profile for radiation oncology residency. Methods and Materials: A comprehensive list of potential quality and safety competency items was generated from public and professional resources and interprofessional focus groups. Redundant or out-of-scope items were eliminated through investigator consensus. Remaining items were subjected to an international 2-round modified Delphi process involving experts in radiation oncology, radiation therapy, and medical physics. During Round 1, each item was scored independently on a 9-point Likert scale indicating appropriateness for inclusion in the competency profile. Items indistinctly ranked for inclusion or exclusion were re-evaluated through web conference discussion and reranked in Round 2. Results: An initial 1211 items were compiled from 32 international sources and distilled to 105 unique potential quality and safety competency items. Fifteen of the 50 invited experts participated in round 1: 10 radiation oncologists, 4 radiation therapists, and 1 medical physicist from 13 centers in 5 countries. Round 1 rankings resulted in 80 items included, 1 item excluded, and 24 items indeterminate. Two areas emerged more prominently within the latter group: change management and human factors. Web conference with 5 participants resulted in 9 of these 24 items edited for content or clarity. In Round 2, 12 participants rescored all indeterminate items resulting in 10 items ranked for inclusion. The final 90 enabling competency items were organized into thematic groups consisting of 18 key competencies under headings adapted from Deming's System of Profound Knowledge. Conclusions: This quality and safety competency profile may inform minimum training standards for radiation oncology residency programs.

61 RADIATION PROTECTION AND DOSIMETRY↗

MCNP® Code Version 6.3.1: Build Guide (Rev. 1)

This is a build guide for the MCNP® code, version 6.3.1, that expands upon the README.md included with the source code. It covers compilers, dependencies, building, testing, and installing the code in one of its supported configurations.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Replication Package for "Union-Find and Usability: A Case Study and Analysis of Rust Formal Verifier

This replication package is a case study on automated deductive verification for Rust for practical programs. It is a companion artifact to a corresponding usability study on verification titled "Union-Find and Usability: A Case Study and Analysis of Rust Formal Verifiers". It seeks to answer the question "Can Rust developers today use Rust verifiers to verify their code?". To answer this question, the study contrasts the verification experience of two mature Rust verifiers, Creusot and Prusti, by using the tools to develop a verified implementation of union-find in Rust. The union-find implementation is based on real-world code as used in the popular egg E-graph library. The artifact consists of two different verified libraries, one using Creusot and one using Prusti. The libraries have similar Rust interfaces and high-level proofs but differ in their details: Creusot and Prusti have different annotation languages and support different proof styles. Each implementation can be verified with its respective tool and compiles as a traditional Rust development.

Sarracino, John↗

Safety Testing and Destructive Examination of SGR-2 UCO Compact 2-1-2

Post-irradiation examination (PIE) and elevated-temperature safety testing are being performed on tristructural-isotropic (TRISO) coated-particle fuel compacts from the Advanced Gas Reactor (AGR) Fuel Development and Qualification Program’s second irradiation experiment (AGR-2). Details on this irradiation experiment have been previously reported. The AGR-2 PIE effort builds upon the understanding acquired throughout the AGR-1 PIE campaign and is establishing a database for the different AGR-2 fuel designs. The AGR-2 irradiation experiment included TRISO fuel particles coated at BWX Technologies (BWXT) with an engineering-scale coater, which had a coating chamber 150 mm in diameter. Two coating batches were tested in the AGR-2 irradiation experiment. Batch G73H-10-93085B had uranium dioxide (UO2) kernels with an average diameter of 508 µm. Batch G83J-14-93073A had UCO kernels with an average diameter of 427 µm; in this kernel design, some of the uranium oxide is converted to uranium carbide during fabrication to provide a getter for oxygen liberated during fission and to limit CO production. Fabrication and property data for the AGR-2 coating batches have been compiled and compared to AGR-1. The AGR-2 TRISO coatings were most like the AGR-1 Variant 3 TRISO deposited in the Oak Ridge National Laboratory (ORNL) laboratory-scale coater, which had a coating chamber 50 mm in diameter (Hunn and Lowden 2006). In both cases, the hydrogen and methyltrichlorosilane coating gas mixture that was used to deposit the SiC was diluted with argon to produce a finer grained, more equiaxed SiC microstructure. In addition to the fact that AGR-1 fuel had smaller UCO kernels that were 350 µm in diameter, other notable differences in the TRISO particle properties included (1) the pyrocarbon anisotropy, which was slightly higher in the particles coated in the engineering-scale coater, and (2) the exposed kernel defect fraction, which was higher for AGR-2 fuel due to the detected presence of particles with impact damage that was introduced during TRISO particle handling.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Safety Testing and Destructive Examination of AGR-2 UCO Compact 6-4-3

Post-irradiation examination (PIE) and elevated-temperature safety testing are being performed on tristructural-isotropic (TRISO) coated-particle fuel compacts from the Advanced Gas Reactor (AGR) Fuel Development and Qualification Program’s second irradiation experiment (AGR-2). Details on this irradiation experiment have been previously reported. The AGR-2 PIE effort builds upon the understanding acquired throughout the AGR-1 PIE campaign (Demkowicz et al. 2015) and is establishing a database for the different AGR-2 fuel designs. The AGR-2 irradiation experiment included TRISO fuel particles coated at BWX Technologies (BWXT) with an engineering-scale coater, which had a coating chamber 150 mm in diameter. Two coating batches were tested in the AGR-2 irradiation experiment. Batch G73H-10-93085B had uranium dioxide (UO2) kernels with an average diameter of 508 µm. Batch G83J-14-93073A had UCO kernels with an average diameter of 427 µm; in this kernel design, some of the uranium oxide is converted to uranium carbide during fabrication to provide a getter for oxygen liberated during fission and to limit CO production. Fabrication and property data for the AGR-2 coating batches have been compiled and compared to AGR-1. The AGR-2 TRISO coatings were most like the AGR-1 Variant 3 TRISO deposited in the Oak Ridge National Laboratory (ORNL) laboratory-scale coater, which had a coating chamber 50 mm in diameter (Hunn and Lowden 2006). In both cases, the hydrogen and methyltrichlorosilane coating gas mixture that was used to deposit the SiC was diluted with argon to produce a finer grained, more equiaxed SiC microstructure. In addition to the fact that AGR-1 fuel had smaller UCO kernels that were 350 µm in diameter, other notable differences in the TRISO particle properties included (1) the pyrocarbon anisotropy, which was slightly higher in the particles coated in the engineering-scale coater, and (2) the exposed kernel defect fraction, which was higher for AGR-2 fuel due to the detected presence of particles with impact damage that was introduced during TRISO particle handling.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Nuclear Safety [Vol. 36, No. 2, July-December 1995]

Nuclear Safety is a journal that covers significant issues in the field of nuclear safety. Its primary scope is safety in the design, construction, operation, and decommissioning of nuclear power reactors worldwide and the research and analysis activities that promote this goal, but it also encompasses the safety aspects of the entire nuclear fuel cycle, including fuel fabrication, spent-fuel processing and handling, and nuclear waste disposal, the handling of fissionable materials and radioisotopes, and the environmental effects of all these activities. Table of Contents for this issue follows. THE CHORNOBYL ACCIDENT: 195 The Chornobyl Accident Revisited, Part III: Chernobyl Source Term Release Dynamics and Reconstruction of Events During the Active Phase, A. R. Sich; GENERAL SAFETY CONSIDERATIONS: 218 Second ANS Workshop on the Safety of Soviet-Designed Nuclear Power Plants, R. A. Bari; 234 Elements of a Nuclear Criticality Safety Program, C. M. Hopper; 243 Rickover, Excellence, and Criticality Safety Programs, R. E. Wilson; ACCIDENT ANALYSIS: 249 Transient Analysis of the PIUS Advanced Reactor Design with the TRAC-PF1/MOD2 Code, B. E. Boyack, J. L Steiner, S. C. Harmony, H. J. Stumpf, and J. F. Lime; 278 The Hierarchy-By-Interval Approach to Identifying Important Models that Need Improvement in Severe-Accident Simulation Codes, T. J. Heames, M. Khatib-Rahbar, J. E. Kelly, R. P. Jenks-Johnson, and Y.-S. Chen; 290 RELAP5/MOD3 Code Coupling Model, R. P. Martin; 299 Missiles Caused by Severe Pressurized-Water Reactor Accidents, R. Krieg; DESIGN FEATURES: 310 Validation of COMMIX with Westinghouse AP-600 PCCS Test Data, J. G. Sun, T. H. Chien, J. Ding, and W T. Sha; ENVIRONMENTAL EFFECTS: 321 Spent Nuclear Fuel Characterization for a Bounding Reference Assembly for the Receiving Basin for Off-Site Fuel, S. D. Kahook, R. L. Garrett, L. R. Canas, and M J. Beckum; OPERATING EXPERIENCES: 332 Reactor Shutdown Experience, Compiled by J. W. Cletcher; U.S. NUCLEAR REGULATORY COMMISSION INFORMATION AND ANALYSES: 335 Reactor Coolant System Blowdown at Wolf Creek on September 17, 1994, J. V. Kauffman and S. L. Israel; RECENT DEVELOPMENTS: 344 Reports, Standards, and Safety Guides, D. S. Oueener; 349 Proposed Rule Changes as of June 30, 1995; ANNOUNCEMENTS: 320 Symposium on Acceptability of Risk From Radiation—Application to Manned Space Flight; 320 24th DOE/NRC Nuclear Air Cleaning and Treatment Conference; 361 Radiation Biology and Radiation Protection— Modern Developments and Tendencies in Radiation Biology; 362 1997 IEEE Sixth Conference on Human Factors and Power Plants; 354 The Authors; 360 Reviewers of Nuclear Safety, Vol. 36.

05 NUCLEAR FUELS↗

Nuclear Safety [Vol. 36, No. 2, July-December 1995]

Nuclear Safety is a journal that covers significant issues in the field of nuclear safety. Its primary scope is safety in the design, construction, operation, and decommissioning of nuclear power reactors worldwide and the research and analysis activities that promote this goal, but it also encompasses the safety aspects of the entire nuclear fuel cycle, including fuel fabrication, spent-fuel processing and handling, and nuclear waste disposal, the handling of fissionable materials and radioisotopes, and the environmental effects of all these activities. Table of Contents for this issue follows. THE CHORNOBYL ACCIDENT: 195 The Chornobyl Accident Revisited, Part III: Chernobyl Source Term Release Dynamics and Reconstruction of Events During the Active Phase, A. R. Sich; GENERAL SAFETY CONSIDERATIONS: 218 Second ANS Workshop on the Safety of Soviet-Designed Nuclear Power Plants, R. A. Bari; 234 Elements of a Nuclear Criticality Safety Program, C. M. Hopper; 243 Rickover, Excellence, and Criticality Safety Programs, R. E. Wilson; ACCIDENT ANALYSIS: 249 Transient Analysis of the PIUS Advanced Reactor Design with the TRAC-PF1/MOD2 Code, B. E. Boyack, J. L Steiner, S. C. Harmony, H. J. Stumpf, and J. F. Lime; 278 The Hierarchy-By-Interval Approach to Identifying Important Models that Need Improvement in Severe-Accident Simulation Codes, T. J. Heames, M. Khatib-Rahbar, J. E. Kelly, R. P. Jenks-Johnson, and Y.-S. Chen; 290 RELAP5/MOD3 Code Coupling Model, R. P. Martin; 299 Missiles Caused by Severe Pressurized-Water Reactor Accidents, R. Krieg; DESIGN FEATURES: 310 Validation of COMMIX with Westinghouse AP-600 PCCS Test Data, J. G. Sun, T. H. Chien, J. Ding, and W T. Sha; ENVIRONMENTAL EFFECTS: 321 Spent Nuclear Fuel Characterization for a Bounding Reference Assembly for the Receiving Basin for Off-Site Fuel, S. D. Kahook, R. L. Garrett, L. R. Canas, and M J. Beckum; OPERATING EXPERIENCES: 332 Reactor Shutdown Experience, Compiled by J. W. Cletcher; U.S. NUCLEAR REGULATORY COMMISSION INFORMATION AND ANALYSES: 335 Reactor Coolant System Blowdown at Wolf Creek on September 17, 1994, J. V. Kauffman and S. L. Israel; RECENT DEVELOPMENTS: 344 Reports, Standards, and Safety Guides, D. S. Oueener; 349 Proposed Rule Changes as of June 30, 1995; ANNOUNCEMENTS: 320 Symposium on Acceptability of Risk From Radiation—Application to Manned Space Flight; 320 24th DOE/NRC Nuclear Air Cleaning and Treatment Conference; 361 Radiation Biology and Radiation Protection— Modern Developments and Tendencies in Radiation Biology; 362 1997 IEEE Sixth Conference on Human Factors and Power Plants; 354 The Authors; 360 Reviewers of Nuclear Safety, Vol. 36.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

250 kWth Pilot Testing in Support of a 10 MWe Coal-Direct Chemical Looping Demonstration Feasibility Study

The Coal-Direct Chemical Looping (CDCL) process is emerging as a promising technology capable of high efficiency for producing electricity with low cost for carbon capture. In the CDCL process, coal is fully combusted to form carbon dioxide (CO2) and water via reaction with Fe2O3-based oxygen-carrier particles in a moving-bed reducer reactor. During reaction with coal, the Fe2O3 is reduced to form a mixture of Fe and FeO. The reduced particles are then transported to the combustor reactor where they are re-oxidized with air. The oxidation of the Fe and FeO mixture generates heat that can be used to produce steam for power generation. Once the particles are fully regenerated, they are pneumatically recycled to the reducer reactor where another reduction-oxidation (Redox) cycle begins. The Babcock & Wilcox Company (B&W) and The Ohio State University (OSU) have been developing the CDCL technology based on iron-based metal oxide particles circulating in a moving-bed reducer coupled with an entrained-flow combustor. As part of a Phase I effort of a DOE-sponsored project, B&W identified scale-up technology gaps for the coal-direct chemical looping reactor process, most of which fall under the moving-bed reactor design and operation. However, after the Phase I research, B&W concluded that the CDCL technology has the potential of generating electricity while meeting the DOE goals of greater than 90% CO2 capture and less than 35% increase in levelized cost of electricity (LCOE). B&W then moved to a Phase II project to design, build and demonstrate the CDCL technology at a 250 kWth capacity. B&W finished the construction and commissioning of the pilot test facility in 2017. The approach used to design a 250 kWth pilot-scale CDCL facility to investigate the technology gaps is presented. Important lessons from the commissioning activities that would transfer to commercial plant start-up are also shared. The findings from the test program are being incorporated into a Pre-FEED study for a 10 MWe large pilot demonstration. Under a separately-funded heat integration project, B&W and OSU are developing a multiphase computational fluid dynamic model (MFIX) of the combustor to quantify heat transfer to embedded steam generation surface, utilizing pinch analysis (ASPEN Energy Analyzer) to identify potential improvements of the heat integration scheme, and developing an integrated dynamic model (ProTRAX) of the steam turbine coupled with the chemical looping process to identify potential start-up and transient operation issues. Under an advanced control system for optimizing operation, B&W is supporting OSU to install a rules-based optimizer (B&W’s FocalPoint) on their 25 kWt bench-scale facility on the OSU West Campus. Finally, B&W and OSU were recently selected to perform a Phase I Feasibility study to evaluate installation of the 10 MWe pilot at the Dover Power & Light Municipal Power Plant in Dover, Ohio. The feasibility study includes compiling an Environmental Information Volume and generating a cost estimate for the design, construction and commissioning of the plant as well as lining up commitments from potential project participants and funding contributors. Updates on each project will be presented. The status of the technology development will be discussed. We focus on the progress made to date towards closing the technology gaps under each project.

20 FOSSIL-FUELED POWER PLANTS↗