Search NASA⌕ Search

SEARCH · Search NASA

Results for “Program Optimization”

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

Mapping Spiking Neural Networks to Heterogeneous Crossbar Architectures using Integer Linear Programming

Advances in novel hardware devices and architectures allow Spiking Neural Network (SNN) evaluation using ultra-low power, mixed-signal, memristor crossbar arrays. As individual network sizes quickly scale beyond the dimensional capabilities of single crossbars, networks must be mapped onto multiple crossbars. Crossbar sizes within modern Memristor Crossbar Architectures (MCAs) are determined predominately not by device technology but by network topology; more, smaller crossbars consume less area thanks to the high structural sparsity found in larger, brain-inspired SNNs. Motivated by continuing increases in SNN sparsity due to improvements in training methods, we propose utilizing heterogeneous crossbar sizes to further reduce area consumption. This approach was previously unachievable as prior compiler studies only explored solutions targeting homogeneous MCAs. Our work improves on the state-of-the-art by providing Integer Linear Programming (ILP) formulations supporting arbitrarily heterogeneous architectures. By modeling axonal interactions between neurons, our methods produce better mappings while removing inhibitive a priori knowledge requirements. We first show a 16.7-27.6% reduction in area consumption for square-crossbar homogeneous architectures. Then, we demonstrate 66.9-72.7% further reduction when using a reasonable configuration of heterogeneous crossbar dimensions. Next, we present a new optimization formulation capable of minimizing the number of inter-crossbar routes. When applied to solutions already near-optimal in area, an 11.9-26.4% routing reduction is observed without impacting area consumption. Finally, we present a profile-guided optimization capable of minimizing the number of runtime spikes between crossbars. Compared to the best-area-then-route optimized solutions, we observe a further 0.5-14.8% inter-crossbar spike reduction while requiring 1–3 orders of magnitude less solver time.

Pohl, Devin [ORNL] (ORCID:0009000040149027)↗

Multi-parametric analysis for mixed integer linear programming: An application to transmission upgrade and congestion management

Upgrading the capacity of existing transmission lines is essential for meeting the growing energy demands, facilitating the integration of renewable energy, and ensuring the security of the transmission system. This study focuses on the selection of lines whose capacities and by how much should be expanded from the perspective of the Independent System Operators (ISOs) to minimize the total system cost. We employ advanced multi-parametric programming and an enhanced branch-and-bound algorithm to address complex mixed-integer linear programming (MILP) problems, considering multi-period time constraints and physical limitations of generators and transmission lines. To characterize the various decisions in transmission expansion, we model the increased capacity of existing lines as parameters within a specified range. This study first relaxes the binary variables to continuous variables and applies the Lagrange method and Karush-Kuhn-Tucker (KKT) conditions to obtain optimal solutions and identify critical regions associated with active and inactive constraints. Moreover, we extend the traditional branch-and-bound (B&B) method by determining the problem’s upper and lower bounds at each node of the B&B decision tree, helping to manage computational challenges in large-scale MILP problems. Here, we compare the difference between the upper and lower bounds to obtain an approximate optimal solution within the decision-makers’ tolerable error range. In addition, the first derivative of the objective function on the parameters of each line is used to inform the selection of lines for easing congestion and maximizing social welfare. Finally, the capacity upgrades are selected by weighing the reductions in system costs against the expense of upgrading line capacities. The findings are supported by numerical simulations and provide transmission-line planners with decision-making guidance.

24 POWER TRANSMISSION AND DISTRIBUTION↗

MTUQ: a framework for estimating moment tensors, point forces, and their uncertainties

SUMMARY We introduce MTUQ, an open-source Python package for seismic source estimation and uncertainty quantification, emphasizing flexibility and operational scalability. MTUQ provides MPI-parallelized grid search and global optimization capabilities, compatibility with 1-D and 3-D Green’s function database formats, customizable data processing, C-accelerated waveform and first-motion polarity misfit functions, and utilities for plotting seismic waveforms and visualizing misfit and likelihood surfaces. Applicability to a range of full- and constrained-moment tensor, point force, and centroid inversion problems is possible via a documented application programming interface, accompanied by example scripts and integration tests. We demonstrate the software using three different types of seismic events: (1) a 2009 intraslab earthquake near Anchorage, Alaska; (2) an episode of the 2021 Barry Arm landslide in Alaska; and (3) the 2017 Democratic People’s Republic of Korea underground nuclear test. With these events, we illustrate the well-known complementary character of body waves, surface waves, and polarities for constraining source parameters. We also convey the distinct misfit patterns that arise from each individual data type, the importance of uncertainty quantification for detecting multimodal or otherwise poorly constrained solutions, and the software’s flexible, modular design.

58 GEOSCIENCES↗

Scaling Decarbonization Development Innovation with Emerging Community-Based Developers: Preprint

The building real estate development industry is being asked to lead in delivering building decarbonization solutions across the United States. However, creating decarbonized best practices and development innovation while increasing developer diversity and community ownership is often not a primary focus of this sector. To address these issues, we have created an incubator and support ecosystem specifically for the innovation scaling we have found in a leading group of emerging, small-scale developers. These leaders are not just working at the forefront of decarbonized development but addressing diversity and bolstering community generational wealth. We have found that small development firms are the ones who often take risks to innovate and demonstrate despite lacking a specific set of resources or support ecosystems focused on emerging decarbonization developers. Those with the fewest resources are being asked to lead our decarbonization innovation efforts. This paper documents the necessity of a cohort and incubator program to provide a decarbonization-specific ecosystem to support small developers and scale innovation. The incubator creates connections, fosters innovative strategies to access incentives and alternative funding, and assembles resources for small and emerging minority developers with the goal of sustainability and affordability. For instance, collaborative efforts with leading developers and utilities can enable the seamless integration of distributed energy resources through optimal metering and interconnection and significantly reduce the utility cost of electrification, benefiting the utility, the developer, and the tenant economically. The process described in this paper will result in case studies and how-to resources to provide tangible examples of innovation within the emerging development field.

carbon↗

Mic-hackathon 2024: hackathon on machine learning for electron and scanning probe microscopy

Microscopy is one of the primary sources of information on materials structure and functionality at the nanometer and atomic scales. The data generated through microscopy is often contained in well-structured datasets, enriched with extensive metadata and sample histories, although not always with the same level of detail or storage format. The broad incorporation of data management plans by major funding agencies ensures the preservation and accessibility of this data. However, deriving insights from these rich datasets remains challenging due to the lack of established code ecosystems, standardized benchmarks, and integration strategies. Correspondingly, the efficiency of data usage is very low, and time expenditures at the analysis stage are enormous. In addition to post-acquisition data analysis, the emergence of application programming interfaces by major microscope manufacturers now creates opportunities for real-time ML-based data analytics to enable automated decision making, and particularly ML-agent controlled real-time microscope operation. Despite these opportunities, there is a significant gap in integrating the ML community with the broader microscopy community, limiting the value that these methods bring to physics and materials discovery and materials optimization. Hackathons address these challenges by fostering collaboration between ML experts and microscopy professionals, encouraging the development of innovative solutions that leverage ML for microscopy and preparing the workforce of the future both for microscopy-intensive domains areas, instrument manufacturers, and ML scientists interested in real world applications for fundamental research, materials optimization, and manufacturing. The hackathon generated benchmark datasets and digital twins of microscopes that further contribute to the development of the field and establish data analysis ecosystems. All the codes can be found at GitHub(https://github.com/KalininGroup/Mic-hackathon-2024-codes-publication/tree/1.0.0.1) and Zenodo (https://zenodo.org/records/15579940).

97 MATHEMATICS AND COMPUTING↗

Safeguards Technology Program FY2026 Mid-Year Report for Project WBS# 24.1.3.3: Development of Procedures for Th-U Radiochronometry of Uranium Particles by LG-SIMS

Implementing 230 Th- 234 U radiochronometry of environmental uranium particles by large geometry secondary ion mass spectrometry (LG-SIMS) requires assessment, validation, and technical support before safeguards conclusions can be drawn from the information. This project investigates the most challenging aspects of LG-SIMS particle radiochronometry 230 Th- 234 U measurements through a collaboration between LANL and NIST, to provide best practices and procedures for determining high quality ages with optimized uncertainties. This includes exploration of reducing detector backgrounds, investigating the best ways to report uncertainties, and establishing recommended instrument setups.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗

Application of Banking Scoring and Rating for Coherent Risk Measures in Electricity Systems ABSCORES

This project developed a framework for asset and system risk management that can be incorporated into current electricity system operations to improve economic efficiency and establish an Electric Assets Risk Bureau. We leveraged scoring and ratings from banking and financial institutions alongside current optimization methods in dispatching power systems to help system operators and electricity markets schedule resources. This approach is based on the observation that there are major discrepancies between the power scheduled by a system operator and the actual power generated/consumed. These discrepancies—exacerbated by unplanned contingencies (e.g., natural disasters)—are caused by multiple factors, including the different financial, environmental and risk preferences of power producers, consumers, and aggregators. We developed a framework that counteracts two failures in electricity system operations: imperfect information and missing markets for products. The technical approach included five tasks. Tasks 1 and 2 supported the development of risk scores at the asset level with historical data collected for this project. Tasks 3, 4, and 5 incorporated scoring into decision-making at the system level. The proposed effort achieved PERFORM's Program Objectives because the proposed outputs and algorithms do not exist in the electricity industry and are an innovative approach to managing risk. Since the acknowledged need to better assess and act upon risk profiles for grid assets has not been met by the industry, this project will also impact ARPA-E's Mission Areas, including improving energy efficiency and giving the U.S. a technological lead in advanced energy technologies.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

Metabolic flux and resource balance in the oleaginous yeast Rhodotorula toruloides

The yeast Rhodotorula toruloides is a promising bioproduction organism due to its high lipid yields and ability to grow on cheap and abundant substrates. Quantitative, systems-level assessment of its metabolic activity is accordingly merited. Resource-balance analysis (RBA) models capture not only reaction stoichiometry but also enzyme requirements for catalysis, providing valuable tools for understanding metabolic trade-offs and optimizing metabolic engineering strategies. Here, in this work, we present systems-level measurements of R. toruloides metabolic flux based on isotope tracing and metabolic flux analysis. In combination with new proteomic measurements, these flux data are used to parameterize a genome-scale resource balance model rtRBA. We find that S. cerevisiae and R. toruloides grow at nearly indistinguishable rates using similar biosynthetic but dramatically different central metabolic programs. R. toruloides consumes one-fifth as much glucose, which it metabolizes primarily via the pentose phosphate pathway and TCA cycle unlike primarily glycolysis in S. cerevisiae . Overall, across these two divergent yeasts, protein abundances aligned more closely than metabolic flux. Resource balance modeling of these metabolic programs predicts superior theoretical yields but lower productivities in R. toruloides than S. cerevisiae for industrial chemicals, highlighting the value of rapid glucose uptake for productivity but respiratory metabolism for yields.

60 APPLIED LIFE SCIENCES↗

Structure-Based Discovery and Development of Highly Potent Dihydroorotate Dehydrogenase Inhibitors for Malaria Chemoprevention

Malaria remains a serious global health challenge, yet treatment and control programs are threatened by drug resistance. Dihydroorotate dehydrogenase (DHODH) was clinically validated as a target for treatment and prevention of malaria through human studies with DSM265, but currently no drugs against this target are in clinical use. We used structure-based computational tools including free energy perturbation (FEP+) to discover highly ligand efficient, potent, and selective pyrazolebased Plasmodium DHODH inhibitors through a scaffold hop from a pyrrole-based series. Optimized pyrazole-based compounds were identified with low nM-to-pM Plasmodium falciparum cell potency and oral activity in a humanized SCID mouse malaria infection model. The lead compound DSM1465 is more potent and has improved absorption, distribution, metabolism and excretion/pharmacokinetic (ADME/PK) properties compared to DSM265 that support the potential for once-monthly chemoprevention at a low dose. This compound meets the objective of identifying compounds with potential to be used for monthly chemoprevention in Africa to support malaria elimination efforts.

60 APPLIED LIFE SCIENCES↗

Using interfaces to: create strongly-coupled magnetic-ferroelectrics

Starting at the level of electrons and atoms our long-term goal is to rationally design complex oxide heterostructures and interface-materials with targeted emergent behaviors. This is not a matter of simply optimizing material parameters, but rather begins with understanding a mechanism to control the interplay between the diverse microscopic degrees of freedom prevalent in complex oxides in order to create targeted macroscopic phenomena and ends with the design of new material realizations. These realizations are in turn created with atomic-layer precision, structurally assessed to see that they are the intended realization, and finally their relevant properties are measured. During this program we have developed the scientific ideas necessary to apply this materials-by-design paradigm to the creation of materials offering electrical control of magnetism. At the heart of our approach lies a partnership between theory, synthesis, and characterization. These are the areas of expertise of the three co-PIs, who have worked closely together since their arrival at Cornell. During this project bold ideas on where to put the atoms to provide electrical control of magnetism were met with the latest methods of synthesis science and electron microscopy in an attempt create targeted new multiferroics. Our work applying this materials-by-design methodology to multiferroics has enjoyed multiple successes. The Co-PIs have invented new mechanisms for multiferroics, which provide strong coupling between polarization and magnetism, and reduced them to practice. Specifically, we pioneered multiferroics based on spin-phonon coupling, rotation-driven multiferroicity, and novel geometric multiferroics. Importantly, the latter two of these mechanisms enable the deterministic switching of magnetism by an applied electric field, which is key to the application of multiferroics to future device technologies. Most recently, we performed detailed theoretical analysis on a system involving the combination of magnetoelectric and colossal magnetoresistance behaviors and predict that electrical control of a metal-insulator transition is possible in appropriately strained SmBaMn2O6. The research enabled by this grant led to 63 publications in leading refereed journals including Nature, Nature Materials, Physical Review Letters, and Advanced Materials demonstrating a materials-by-design paradigm to the creation of materials offering electrical control of magnetism.

36 MATERIALS SCIENCE↗

MFANS 2024 - Formally Proving Characteristics of Cyber-Physical Systems

Cyber-physical systems (CPS) are engineered systems that rely on the smooth integration of computational algorithms and physical elements. This integration presents new challenges for verifying that systems will behave as expected. The goal of this presentation is to present current challenges and potential solutions for the formal verification of cyber-physical systems. For cyber systems, formal methods refer to systematically rigorous mathematical techniques employed in the specification, development, analysis, and verification of both software and hardware systems. Recent advancements in computer science have yielded sophisticated tools specifically designed to address challenges associated with formal methods in complex systems. These tools leverage various foundational concepts such as logic, formal languages, program semantics, type systems, type theory, and automata theory. A notable achievement in the application of formal methods is the seL4 microkernel, claimed to be the first general-purpose operating-system kernel to be verified. Its proof implies the absence of bugs and guarantees that the kernel meets specifications. For physical systems, dynamic and control theory has a history of using rigorous analytic techniques to prove functional correctness. Lyapunov, optimal, classical, modern, and robust control theories all provide rigorous mathematical methods both to analyze system performance and to design controller that can be guaranteed to meet certain objectives. Recent computational techniques like level set theory and reachability analysis provide assertions that a system's state will avoid unsafe regions. Even though success has been independently achieved for cyber systems and physical systems, the integration of such systems creates new challenges. In particular, there is an obvious discrepancy between finite-state machines and infinite-state systems, resulting in different approaches for modeling and analyzing these system. While it is possible to simulate hybrid systems, this provides only a demonstration of a performance and not proof. For hybrid systems, current formal methods and system analysis approaches typically require a workarounds to work on hybrid systems like CPS. This paper will outline the state of the art and limits of current practice for formally verifying CPS and will identify possible research directions that require attention.

97 MATHEMATICS AND COMPUTING↗

CABLE Stage 3 – Ultra‐High Strength/Highly Conductive Al Alloys

This work is to be conducted in support of the CABLE Conductor Manufacturing Prize Program awarded by NREL. The intent is to connect competitor teams with national laboratories that can help accelerate the development of innovative solutions and products. Teams who receive CABLE Prize awards are eligible to utilize vouchers at national laboratories to advance their ideas. NanoAL LLC has been awarded a voucher to utilize at Ames National Laboratory. Ames National Laboratory will perform a scale‐up trial of Nano 6000‐T9 to evaluate and optimize the heat treatment and other processing variables to validate the lab‐scale work done at NanoAL. The final processing schedule will be used to fabricate the submission samples for the Stage 3 contest. All work will be supported by mechanical and electrical conductivity testing be performed by Ames.

36 MATERIALS SCIENCE↗

High-burnup boiling water reactor steady-state operating conditions and fuel performance analysis

The primary operational costs for existing nuclear reactors are plant operation costs, maintenance costs, and fuel costs, all of which are influenced by the materials used and the design of the reactor core. Optimizing core design parameters—including burnup limits and enrichment levels—can lengthen cycles, reduce outages, reduce reload batch fractions and spent fuel storage requirements, and lower maintenance and operating expenses, thereby enhancing economic viability. Furthermore, developing higher-fidelity tools to simulate these parameters enables better identification of the available margin, improves overall plant safety, and improves the understanding a given plant’s responses to accident scenarios. Here, in the US, much of the research and development focus has traditionally been on pressurized water reactors (PWRs), but boiling water reactors (BWRs) comprise approximately one-third of the US reactor fleet. Modeling and simulation advances for BWRs and PWRs—particularly those achieved through the Nuclear Energy Advanced Modeling and Simulation (NEAMS) program—are crucial to the long-term viability of the light–water reactor industry. A key research area of the high burnup and increased enriched fuel initiative is focused on addressing issues related to postulated loss-of-coolant accident (LOCA) scenarios. NEAMS has dedicated significant effort to enhancing tools to better support BWRs. A current focus is showcasing the BWR framework for high-burnup LOCA analysis. This high-fidelity steady-state analysis is a first step toward demonstrating a best-estimate, pin-by-pin high-burnup BWR LOCA analysis to assess full-core cladding rupture behavior for a representative BWR. The objective of this effort is to provide a modeling capability that will help elucidate and provide a best-estimate evaluation for cladding rupture susceptibility in BWRs. This modeling capability could then be used to prevent and/or mitigate cladding ruptures in postulated accident scenarios without penalizing operational parameters. Additionally, the results of this work will help identify strategies for finding additional margins or potentially limiting cladding ruptures through core design optimizations to enable more efficient core designs.

Capps, Nathan [Oak Ridge National Laboratory (ORNL↗

CommBench: Micro-Benchmarking Hierarchical Networks with Multi-GPU, Multi-NIC Nodes

Modern high-performance computing systems have multiple GPUs and network interface cards (NICs) per node. The resulting network architectures have multilevel hierarchies of subnetworks with different interconnect and software technologies. These systems offer multiple vendor-provided communication capabilities and library implementations (IPC, MPI, NCCL, RCCL, OneCCL) with APIs providing varying levels of performance across the different levels. Understanding this performance is currently difficult because of the wide range of architectures and programming models (CUDA, HIP, OneAPI). We present CommBench, a library with cross-system portability and a high-level API that enables developers to easily build microbenchmarks relevant to their use cases and gain insight into the performance (bandwidth & latency) of multiple implementation libraries on different networks. We demonstrate CommBench with three sets of microbenchmarks that profile the performance of six systems. Our experimental results reveal the effect of multiple NICs on optimizing the bandwidth across nodes and also present the performance characteristics of four available communication libraries within and across nodes of NVIDIA, AMD, and Intel GPU networks.

Hidayetoglu, Mert↗

Integrating Resilience Planning in Distribution System Planning

Electric utilities, regulators, and stakeholders face increasing risks of severe storms, freezes, floods, and heat waves damaging grid infrastructure and causing power outages—and increasing risks of utility equipment igniting wildfires. At the same time, customer electricity rates have risen substantially in recent years, due in part to replacing aging infrastructure and improving resilience to natural hazards and physical threats. To address these challenges, utilities are beginning to move beyond traditional, siloed planning processes to balance resilience with other fundamental grid objectives such as affordability, reliability, safety, and serving new loads. This study presents a framework for states and utilities that want to advance integration of resilience and distribution planning processes to improve planning efficiency, better prioritize cost-effective grid expenditures, and balance planning objectives. The framework includes 7 key integration points between these planning processes: -Strategy process -Data -Threat assessments -Solution identification and prioritization -Optimization opportunities -Consideration of other grid needs -Metrics Lawrence Berkeley National Laboratory reviewed utility distribution system plans and interviewed subject matter experts to identify emerging practices for each of the 7 integration points. This report presents these practices, which can be used as a guide toward more holistic planning and cohesive investment strategies. It also includes 3 case studies to provide practical examples of how utilities apply such integrated planning processes: two pole hardening programs and one microgrid planning effort. The report concludes by identifying opportunities for future research.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Near-Optimal Solutions for Day-Ahead Unit Commitment

Given the difficulty and the time pressure of solving unit commitment problems, near -optimal solutions (those with 0.1 or 0.001% optimality gaps) are often used in practice. The choice in which of the near -optimal solutions is used, however, is random. We investigate the impact of solution choice on the revenues obtained by generator owners across a variety of pricing schemes and problem instances.

market-clearing↗

A compact and portable gamma-ray spectrometer (GRASP) for inertial confinement fusion and basic science experiments

A compact and portable gamma-ray spectrometer has been designed to diagnose different components of the inertial confinement fusion-relevant γ-ray spectrum with energies between ∼3.7–17.9 MeV. The system is designed to be as compact as possible for convenient transportation and fielding in diagnostic ports on the OMEGA laser, the National Ignition Facility, and other photon-source facilities. The system consists of a conversion foil for Compton scattering in front of four magnetic spectrometer “arms,” each covering a different energy range and constructed out of cylindrical permanent magnet Halbach arrays. Monte Carlo simulations have been used to optimize and assess the performance of the conversion foil, and COSY INFINITY ion-optical simulations have been used to optimize the spectrometer magnets. The performance of the design is assessed for a simulated direct-drive γ-ray spectrum. Spanning its total γ-ray energy bandwidth and using a 1.7 mm thick boron conversion foil, the system’s total energy resolution and efficiency are ∼15.8%–4.5% and 5.4 × 10−7–3.7 × 10−7e−/γ, respectively, with room for improvement. Spectral γ-ray measurements will provide guidance to the inertial confinement fusion program toward achieving high-energy gain relevant to inertial fusion energy and enable new measurement capabilities for basic discovery science.

Instruments & Instrumentation↗

Modeling Approach for the Aluminum-clad Dry Storage Pilot using HFIR Fuel

To confirm that the dry storage of aluminum-clad research reactor spent nuclear fuel (ASNF) will remain within the safety envelope after applied drying schemes and that the resulting evolution of the gas space composition, temperature, and pressure conditions are understood, a dry storage pilot project is being established. The pilot will incorporate an instrumented lid for discrete interval or for on-demand gas composition and temperature monitoring of two DOE Standard Canisters (DSCs) loaded with three High Flux Isotope Reactor (HFIR) inner cores per DSC. Each DSC would be subjected to a separate alternative candidate drying scheme. Canisters will undergo 1 to 5 years of monitoring, including internal temperature and gas sampling to track pressure and composition changes. This report outlines the approach for modeling the ASNF-in-canister behavior in terms of evolving gas space conditions for the ASNF dry storage pilot using HFIR fuel. The ASNF has an adherent surface oxyhydroxide layer comprised of boehmite/bayerite that generates hydrogen when subjected to irradiation. Three-dimensional multi-physics computational fluid dynamics simulations will be executed to compute the thermal field within the DSC and provide inputs to a chemical model employed to compute pressure buildup as hydrogen is generated in the system. Implemented in Cantera, the chemical model solves gas phase and aluminum oxyhydroxide surface-mediated radiolysis reactions. Gas phase reactions are sourced from Wittman and Hanson (2015), whereas surface-mediated reactions are incorporated by fitting experimental data using an optimization algorithm (Abboud, 2023). Water radiolysis reactions from Wren and Ball (2001) are adopted with modifications as described in Abboud (2023c). Understanding the effect of the hydrogen buildup over time is important for long-term storage safety considerations. Modeling results will include the canister pressure, temperature, and composition evolution from the initial helium backfill with the addition of radiolytically-evolved chemical species (e.g., hydrogen and oxygen). The specific HFIR cores for the pilot program have not yet been selected, and the overall design is still in development. The CFD-chemical model used for this work will be based on prior models with necessary updates to allow for improved accuracy and efficiency. The experimental data obtained from the HFIR demonstration will be used to improve and validate the computational models to predict the ASNF-in-canister behavior.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗