Search NASA⌕ Search

SEARCH · Search NASA

Results for “program analysis”

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 307 records · Page 17

Optimal Economic Dispatch and Load-Following Strategies for Nuclear Integrated Energy Systems

The need for distributed and adaptable energy resources that can handle the growing unpredictability in both supply and demand is rising as the power system continues to modernize. In order to satisfy those needs and maintain grid resilience, nuclear power plants can dynamically control their output, despite typically being used as baseload generators. By incorporating energy storage and renewable energy sources, nuclear integrated energy systems are designed to satisfy the electrical and thermal demands of different end-user applications while ensuring flexible power operation. These systems generate revenue by participating in both wholesale and ancillary services electricity markets, as well as commodity markets for various byproducts generated from coupled industrial processes. This study addresses the economic dispatch efficiency of a tightly coupled nuclear integrated energy system comprising a gigawatt-scale light water reactor, commercialized in the U.S., a high-temperature steam electrolysis unit, a district heating network, and specified electrical loads. To demonstrate the nuclear power plant’s flexibility within the day-ahead unit commitment and economic dispatch framework, while maintaining equilibrium even during periods of refueling outages, this paper develops a mixed-integer linear programming framework that models the subsystems and components of its nuclear steam supply system. A systematic comparative analysis of flexible versus baseload nuclear power plant operation under varying levels of renewable energy integration indicates that flexible operation enhances system profitability by more than 18% while also increasing energy storage utilization, improving reactor responsiveness to load fluctuations, and allowing for greater participation across numerous electricity markets.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

Toward Automated Detection of Portability Bugs in Kokkos Parallel Programs

Performance-portable programming frameworks provide abstractions for parallel execution to allow easily porting an application to multiple backend programming models, such as CUDA, HIP, and OpenMP. However, programs may still have portability bugs that manifest only on specific backends. Traditional testing is ineffective in discovering these bugs, as it would require concrete execution on all supported hardware configurations for a potentially infinite set of inputs. To mitigate this issue, we focused on a specific programming framework, Kokkos, and identified several categories of common portability bugs. We then developed Klokkos, a static analysis approach based on symbolic execution that can run on commodity hardware, before execution on supercomputers. As a proof-of-concept, we ran Klokkos on examples encoding the identified bugs. Our results show that Klokkos is effective, efficient, and precise: it detected all the considered bugs, quickly, and without any false positives. Although preliminary, our results motivate further research and development in this direction.

Kale, Vivek↗

OptiMX

OptiMX is a GUI-oriented program with principal aim to be an easy to use, yet comprehensive, interactive accelerator optics design and analysis tool. It was originally developed starting in the 1990s as an MS Windows centric application using the commercial Borland OWL framework. In the spring of 2014, a decision was made to port OptiM to Qt, a modern, portable and open framework. As much as possible, the original interface was preserved.While a significant amount of refactoring was required, the underlying physics has been for the most, left unchanged. The custom plots of the original application have been replaced with functional equivalents based on a stable and well-established library (qwt). With very few minor exceptions the new refactored OptiMX should be a drop-in replacement for the original OWL version.

Lebedev, ValeriA. [Joint Inst. for Nuclear Researc↗

Community Solar Consolidated Billing: An Exploration of Implementation and Alternatives

The report presents an analysis of the considerations, costs, and benefits surrounding the implementation of utility consolidated billing in community solar programs while also exploring alternatives to achieve similar benefits in its absence. Consolidated billing simplifies the billing process for customers by combining all charges and credits associated with electricity service and community solar subscriptions into a single bill. The potential benefits of consolidated billing implementation include increased transparency, improved customer experience, and ultimately increased retention rates and decreased subscriber acquisition costs. Currently, community solar subscribers often receive two separate bills - one from the utility and one from a third-party community solar provider - potentially causing confusion. Consolidated billing seeks to resolve this by offering a unified bill, which, while beneficial to numerous stakeholders, presents administrative, technical, and financial hurdles that utilities and program administrators must address.

14 SOLAR ENERGY↗

Shared and Ownership Mobility Technologies in the US: Data Availability and Usage Trends

This report supports the vision for a more sustainable transportation future by summarizing and analyzing the latest data on new mobility technologies, including ridesharing, shared and privately owned bikes, e-bikes, and scooters that have emerged over the past two decades. Having access to accurate and current data that is representative of new mobility systems and individual usage of these systems across different parts of the country is critical for researchers, city and regional planning professionals, and current and potential industry technology developers to better understand and forecast usage trends both nationwide as well as across different existing and potential future markets across the country. Building on the previous study published in 2022, this report incorporates the latest available market and usage data on new mobility technologies and compares usage by Chicago and New York City demographic characteristics. Moreover, this report includes recent developments and insights on privately owned micromobility technologies. Our analysis found that more downtown areas in Chicago show high per capita usage for all three modes than in the previous study, likely due to the full launch of shared e-scooter systems citywide in 2022. Notably, the majority of high shared mobility usage is concentrated in high-income, densely populated downtown areas in Chicago, which also have good public transit access. In contrast, TNC and bikeshare usage hotspots in central Manhattan are more widely distributed, though also appear to be shaped by the geography of the public transit system. Analysis of privately owned micromobility shows that the greatest energy savings occurred when e-bikes replaced single-occupancy vehicle (SOV) trips (i.e., gasoline-powered cars driven alone). Based on the literature review and analysis results, we also make recommendations for supporting the development of both shared and privately owned micromobility programs.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Community Solar Consolidated Billing: An Exploration of Implementation and Alternatives [Slides]

This presentation is an abridged version of the report it is based on that presents an analysis of the considerations, costs, and benefits surrounding the implementation of utility consolidated billing in community solar programs while also exploring alternatives to achieve similar benefits in its absence. Consolidated billing simplifies the billing process for customers by combining all charges and credits associated with electricity service and community solar subscriptions into a single bill. The potential benefits of consolidated billing implementation include increased transparency, improved customer experience, and ultimately increased retention rates and decreased subscriber acquisition costs. Currently, community solar subscribers often receive two separate bills - one from the utility and one from a third-party community solar provider - potentially causing confusion. Consolidated billing seeks to resolve this by offering a unified bill, which, while beneficial to numerous stakeholders, presents administrative, technical, and financial hurdles that utilities and program administrators must address.

14 SOLAR ENERGY↗

AGR-1 UCO Kernel Phase Analysis Imaging Archive

UCO kernels in tri-structural isotropic (TRISO) particles consist of a heterogeneous mixture of uranium oxide and uranium carbide. During the Advanced Gas Reactor Fuel Development and Qualification (AGR) Program, mean kernel composition was specified based on bulk measurements of uranium, oxygen, and carbon content, as well as the resulting O/U, C/U, and O+C/U ratios. Further development of quality control characterization methods has resulted in a method for more direct measurement of phase fractions on a per-kernel basis using optical microscopy of polished kernel cross sections. This report provides benchmark values for this analysis method when applied to kernels from the AGR-1 campaign and to the raw images used.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Near-Optimal Performance of Stochastic Model Predictive Control

Here, this article presents a regret analysis for stochastic model predictive control (SMPC) in linear systems with quadratic performance index and additive and multiplicative uncertainties. Under a finite support assumption, the problem can be cast as a finite-dimensional quadratic program, but the problem becomes quickly intractable as the problem size grows exponentially in the horizon length. SMPC aims to compute approximate solutions by solving a sequence of problems with truncated prediction horizons and committing the solution in a receding-horizon fashion. Although this approach is widely used in practice, its performance relative to the optimal solution is not well understood. This article reports for the first time a rigorous near-optimal performance guarantee of SMPC: under stabilizability and detectability conditions, the regret of SMPC is exponentially small in the prediction horizon length, allowing SMPC to achieve near-optimal performance at a substantially reduced computational expense.

93E20, 93B45↗

Pandora-based muon neutrino disappearance search in the SBN program with 1muonNp quasi-elastic like channel

The Short-Baseline Neutrino (SBN) program at Fermilab aims to perform a definitive search for light sterile neutrinos using multiple liquid argon time projection chamber detectors. We present the status of an analysis of muon neutrino charged-current interactions in two SBN detectors (SBND and ICARUS), selecting fully contained events with one muon and at least one proton in the final state, inspired by the recent ICARUS standalone results. This topology-driven selection reduces dependence on neutrino interaction cross-section modeling while preserving high statistics and good neutrino energy resolution, enabled by robust reconstruction and particle identification. Fully contained events enable precise kinematic reconstruction and support relative measurements between detectors, directly addressing the core goals of the SBN program. A detailed evaluation of systematic uncertainties is currently underway, with the objective of reducing the dominant systematics to the percent level. The current status of this analysis, with a particular focus on the event selection performance, will be presented in this poster.

Artero Pons, Maria [Padua U.; INFN, Padua]↗

Validation of the DESI DR2 Ly$α$ forest full-shape analysis

We present the validation of the Dark Energy Spectroscopic Instrument (DESI) Data Release 2 (DR2) Lyman-$α$ (Ly$α$) forest full-shape analysis. This analysis combines three-dimensional Ly$α$ forest auto-correlations and cross-correlations with quasars to extract information from both the baryon acoustic oscillation (BAO) feature and the broadband clustering signal, with primary emphasis on the Alcock-Paczynski (AP) measurement. Compared to the DESI DR1 analysis, the DR2 validation uses substantially larger and more realistic mock datasets, including CoLoRe 2LPT and AbacusSummit Ly$α$ forest simulations. The modeling framework is also improved through analytic marginalization over small scales ($<10$$h^{-1}$Mpc) and the impact of ultraviolet background fluctuations. The validation program was completed prior to unblinding and defines quantitative requirements for the cosmological parameters of interest, which are evaluated using hundreds of mock realizations. We further test the analysis through independent fits to the auto- and cross-correlations, multiple catalog splits, and a broad suite of analysis and modeling variations applied to both mocks and blinded observational data. We find that the BAO and AP parameters satisfy all validation requirements and remain stable across all tests. In contrast, mock studies reveal a significant bias in the inferred growth-rate parameter $fσ_8$, leading us to exclude this measurement from the final analysis. The consistency across mocks, data splits, and robustness tests demonstrates that the DR2 Ly$α$ full-shape analysis provides a reliable and substantially improved broadband AP measurement over previous Ly$α$ forest studies.

Herbold, M. [Chicago U., KICP; Ohio State U.] (ORC↗

Integration of Online Cross-Section Generation Capability with Depletion and Transient Solvers in Griffin

Griffin is a Multiphysics Object-Oriented Simulation Environment (MOOSE)-based reactor multiphysics analysis application jointly developed by Argonne and Idaho National Laboratories under the DOENE Nuclear Energy Advanced Modeling and Simulation (NEAMS) program. In FY25, an online crosssection generation capability based on the Self-Shielding Application Programming Interface (SSAPI) was demonstrated for TRISO-fueled reactor problems under steady-state conditions. This fiscal year, that capability was extended to support depletion and transient multiphysics calculations, enabling high-fidelity analyses that generate self-shielded cross sections on the fly from the actual evolving composition and temperature states rather than from pre-tabulated libraries. For depletion, a two-way coupling was established in which SSAPI computes compact-averaged self-shielded cross sections that the depletion solver then uses to advance the Bateman equations, with the updated compositions returned to SSAPI at each step; the depletion module was refactored to support both library-based and SSAPI-based cross sections, and additional logic was added to track daughter isotopes and to exclude minor isotopes for efficiency. For transient analysis, the SSAPI multigroup library was extended with the kinetics data required for time-dependent calculations, the Improved Quasi-Static (IQS) scheme was coupled with SSAPI, and several supporting capabilities were implemented, including a self-shielding treatment that lets control rods and drums move within a self-shielded model, which had previously been impossible and had ruled out rod- and drum-movement transients with on-the-fly cross sections altogether, a new mixing scheme for delayed-neutron precursor decay constants, a checkpoint-based restart workflow, and performance improvements such as pointwise cross-section interpolation and the bypassing of unnecessary Dancoff factor calculations. The implemented capabilities were verified against Serpent Monte Carlo solutions. For depletion, a prismatic pin-cell problem based on a Next Generation Nuclear Plant (NGNP) Very High Temperature Reactor benchmark showed excellent agreement, with eigenvalue differences within 200 pcm over the entire burnup range (up to 140 MWD/kgU) and fission-product and actinide inventories agreeing to within 0.8% and 2.5%, respectively; a heat-pipe microreactor assembly problem with a much higher fuel loading confirmed the same behavior and quantified the bias introduced when the multigroup equivalence effect is neglected. For transient analysis, a pin-cell problem with a step reactivity insertion and temperature feedback reproduced the analytically expected asymptotic power and showed close agreement between the direct and IQS solutions, and a two-dimensional microreactor core problem with control-drum rotation exercised the new moving-drum self-shielding treatment and demonstrated successful coupling of the online crosssection generation with both the direct and IQS transient methods. The capability was further exercised on a full-core pebble-bed problem, in which Griffin was coupled with the System Analysis Module (SAM) to simulate load-following operation of the gPBR with the Doppler feedback resolved at the TRISO fuel kernel temperature. These developments in Griffin provide a convenient, high-fidelity approach to cross-section generation for advanced thermal reactors with geometrically complex and highly heterogeneous configurations, including TRISO-fueled prismatic and pebble-bed systems, and support steady-state, depletion, and transient multiphysics calculations. They also enable self-shielded cross sections to be evaluated directly at the actual coupled state of the system, thereby establishing a foundation for high-fidelity, fully coupled multiphysics analysis of advanced reactors

Park, H.↗

The DECADE cosmic shear project III: validation of analysis pipeline using spatially inhomogeneous data

We present the pipeline for the cosmic shear analysis of the Dark Energy Camera All Data Everywhere (DECADE) weak lensing dataset: a catalog consisting of 107 million galaxies observed by the Dark Energy Camera (DECam) in the northern Galactic cap. The catalog derives from a large number of disparate observing programs and is therefore more inhomogeneous across the sky compared to existing lensing surveys. First, we use simulated data-vectors to show the sensitivity of our constraints to different analysis choices in our inference pipeline, including sensitivity to residual systematics. Next we use simulations to validate our covariance modeling for inhomogeneous datasets. Finally, we show that our choices in the end-to-end cosmic shear pipeline are robust against inhomogeneities in the survey, by extracting relative shifts in the cosmology constraints across different subsets of the footprint/catalog and showing they are all consistent within 1σ to 2σ. This is done for forty-six subsets of the data and is carried out in a fully consistent manner: for each subset of the data, we re-derive the photometric redshift estimates, shear calibrations, survey transfer functions, the data vector, measurement covariance, and finally, the cosmological constraints. Our results show that existing analysis methods for weak lensing cosmology can be fairly resilient towards inhomogeneous datasets. This also motivates exploring a wider range of image data for pursuing such cosmological constraints.

79 ASTRONOMY AND ASTROPHYSICS↗

CEC Quest: Long Duration Energy Storage Impact Analysis Tool

SAND2025-14389O CEC Quest is a Python tool with a user interface designed to analyze the greenhouse gas impacts of long-duration energy storage projects in California. The tool automates data collection from public sources and uses an Application Programming Interface (API) to enable users to download photovoltaic resource availability, marginal operating emissions rate, and utility rate data. It guides users in inputting parameters for a battery energy storage model and uploading site electrical load data, while also prompting for relevant analysis parameters like timestep and grid limits. CEC Quest performs monthly optimization of one year of data to assess impacts on the site’s electrical bill and the grid’s greenhouse gas emissions. Finally, it conducts a lifecycle analysis to evaluate changes over a defined quantification period, with results aggregated through automated report generation. Sandia National Laboratories is a multimission laboratory managed and operated by National Technology & Engineering Solutions of Sandia, LLC, a wholly owned subsidiary of Honeywell International Inc., for the U.S. Department of Energy’s National Nuclear Security Administration under contract DE-NA0003525.

Rosewater, David [Sandia National Lab. (SNL-CA), L↗

Fuel Fabrication Specification Impact Analysis for NBSR LEU Conversion

As part of a national initiative to enhance nuclear security and reduce proliferation risks, significant efforts have been undertaken by the National Nuclear Security Administration Material Management and Minimization Office of Reactor Conversion Program to convert U.S. high performance research reactors (USHPRRs) from the use of highly enriched uranium (HEU) to low-enriched uranium (LEU), including the National Bureau of Standards Reactor (NBSR). The current plan is to procure LEU fuel assemblies from commercial fabricators according to fuel specifications tailored for each USHPRR. The analysis conducted at Brookhaven National Laboratory was part of an effort to identify the sources of uncertainty in the fuel specifications that may impact the performance of the NBSR core after its conversion and, in particular, to assess the range of acceptable tolerance limits from the perspective of core safety and reactor performance. Using the stochastic neutronics code MCNP 6.2, the variations in important NBSR neutronics characteristics were analyzed as a function of the specification parameters independently and in combination. The important NBSR specification parameters analyzed were the fuel isotopic composition, the amount of impurity content in cladding, the fuel plate thickness, and the fuel element 235U mass loading. The range of variation of each specification parameter was based on the technical specification limit or available as-fabricated assay data and uncertainties. The NBSR neutronics characteristics selected for analysis were the reactor reactivity characteristics at equilibrium and the equilibrium fuel cycle length. Results show that with variations in the fabrication parameters of the as-fabricated U-10Mo fuel within the specification limitations, the excess reactivity of the NBSR LEU core remains well below the 15% Δk/k technical specification limit, and the shutdown margin is always significantly greater than the required 0.68% Δk/k. This ensures that the NBSR can be operated safely and reliably shut down for all analyzed cases within the specified fabrication limits after the LEU conversion. In the prototypic case, the fuel cycle length was 1.5 days longer than the targeted 38.5 days. In a credible worst-case scenario, where all low-reactivity parameters were combined, the fuel cycle length was reduced to 35.5 days, which is still considered manageable for reactor operations. Variations in cycle length are primarily driven by changes in 235U loading, with other parameters having secondary effects.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Space Cooling: Recovery, Reuse, Recycling and Supply Chain Impacts

The global cooling sector has undergone tremendous growth in recent years, and cooling demand is projected to double or triple by 2050. Surging air conditioning demand will continue to be driven by increased populations, incomes and occurrences of extreme heat and humidity events. Cooling equipment growth has important pollution and material implications as they are made up of critical metals and precious raw materials - including ferrous metals, copper, aluminum and printed circuit boards composed of copper, silver, gold and palladium - that generate significant electronic waste at end-of-life. Air conditioning equipment also contains fluorinated gas (F-gas) refrigerants, which are potent gases that are thousands of times more heat-trapping than carbon dioxide (CO2). While recovery, reuse, and recycling strategies have been assessed for cold chain and refrigeration, there is currently limited analysis on how these strategies could be adopted for the global space cooling industry and potential supply chain implications. This paper aims to address this research gap by qualitatively evaluating product and material recovery, reuse and recycling frameworks from both demand and supply-side perspectives and with the support of cooling-specific case studies. It also focuses on quantitatively assessing potential energy, emissions and resource benefits of such strategies for space cooling equipment. This paper first analyzes how existing recovery, reuse and recycling frameworks can be applied to space cooling, with emphasis on the demand-side enablers (e.g., innovative business models, supporting policies and regulations) and changes in supply-side production network throughout the supply chain (e.g., design, production and distribution, end-of-life recovery) needed to overcome existing barriers. It will present case studies of innovative business models for space cooling technologies, including reuse and recycling, and how effective refrigerant reclamation and recovery programs have been operationalized. Lastly, the paper will highlight global modeling results of energy, emissions and material recovery from scenario analysis of selected strategies for air conditioners. The findings of this paper are intended to inform the development of product and material recovery, reuse and recycling strategies for a rapidly growing stock of space conditioning equipment by addressing existing organizational, economic and regulatory barriers and potential supply-chain bottlenecks.

Khanna, Nina↗

Semiglobal Safety-Filtered Extremum Seeking With Unknown CBFs

We introduce a safe extremum-seeking (Safe ES) algorithm which achieves the minimization of an unknown objective function while ensuring that an unknown, yet measured, control barrier function (CBF) remains above an arbitrarily small negative value for all time. In other words, “practical safety” is maintained during the entire period of convergence to the constrained extremum. Our design is based on quadratic program (QP) CBF style filters for safety, which is applied in an average and estimated sense. Using nonsmooth analysis tools, we guarantee semiglobal practical asymptotic (SPA) stability of the global constrained optimum, practical convergence to the safe set if starting in a condition violating the CBF, and practical safety for all time—semiglobally—if starting in safe set. The safety result of the paper is analogous with modern notions of SPA stability, guaranteeing that, for any small violation of safety, there exist design coefficients which guarantee that such a small violation is not exceeded. The paper outlines a set of sufficient conditions on the barrier and objective functions, and by way of a Lyapunov argument, we demonstrate that nonconvex constrained optimization problems can be solved. We present these results in the setting of a static map and a dynamical system. A simulation example illustrates the results.

97 MATHEMATICS AND COMPUTING↗

PaRSEC: Scalability, flexibility, and hybrid architecture support for task-based applications in ECP

This paper highlights the most significant enhancements made to PaRSEC, a scalable task-based runtime system designed for hybrid machines, during the Exascale Computing Project (ECP). The enhancements focus on expanding the capabilities of PaRSEC to address the evolving landscape of parallel computing. Notable achievements include the integration of support for three major types of accelerators (NVIDIA, AMD, and Intel GPUs), the refinement and increased flexibility of the communication subsystem, and the introduction of new programming interfaces tailored for irregular applications. Additionally, the project resulted in the development of powerful debugging and performance analysis tools aimed at assisting users in understanding and optimizing their applications. We present a comprehensive demonstration of these advancements through a series of benchmarks and applications within ECP and beyond, thereby showcasing the enhanced capabilities of PaRSEC across the diverse architectures within the ECP, providing valuable insights into the runtime system’s adaptability and performance across varied computing environments.

Bouteiller, Aurelien↗

Analysis of Radioactive 65 Zn Contamination using 3D Position Sensitive CdZnTe Detectors

SRNL NMG Goal: In collaboration with ORNL, the aim is to identify and explore innovative technology opportunities that accelerate disposition, reduce life cycle costs, minimize worker radiation exposure, and improve worker safety and minimize program risks. • This process will include 3 glovebox systems that require personnel to dilute and package the plutonium for safe storage at WIPP. • For holdup monitoring and verification, gamma ray spectroscopy and imaging are the methods employed to achieve real time analysis of the plutonium waste. 2

Nwadeyi, Valerie E.↗