Search NASA⌕ Search

SEARCH · Search NASA

Results for “constrained 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 235 records · Page 13
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

Beam breakup instability studies of powerful energy recovery linac for experiments

The maximum achievable beam current in an energy recovery linac (ERL) is often constrained by beam breakup (BBU) instability. Our previous research highlighted that filling patterns have a substantial impact on BBU instabilities in multipass ERLs. In this study, we extend our investigation to the eight-cavity model of the Powerful ERL for Experiment (PERLE). We evaluate its requirements for damping cavity higher order modes (HOMs) and propose optimal filling patterns and bunch timing strategies. Our findings reveal a significant new insight: while filling patterns are crucial, the timing of bunches also plays a critical role in mitigating HOM beam loading and BBU instability. This previously underestimated factor is essential for effective BBU control. We estimated the PERLE threshold current using both analytical and numerical models, incorporating the designed PERLE HOM dampers. During manufacturing, HOM frequencies are expected to vary slightly. Our study found no significant difference in BBU suppression for relative rms frequency jitters of 0.001, 0.002, and 0.005 for the same HOM. Introducing a jitter of 0.001 into our models, we found that the dampers effectively suppressed BBU instability, achieving a threshold current an order of magnitude higher than the design requirement. Our results offer new insights into ERL BBU beam dynamics and have important implications for the design of future ERLs. Published by the American Physical Society 2025

43 PARTICLE ACCELERATORS↗
DOE OSTI2025

Baseflow Identification via Explainable AI With Kolmogorov‐Arnold Networks

Abstract Hydrological models often involve constitutive laws that may not be optimal in every application. We propose to replace such laws with the Kolmogorov‐Arnold networks (KANs), a class of neural networks designed to identify symbolic expressions. We demonstrate KAN's potential on the problem of baseflow identification, a notoriously challenging task plagued by significant uncertainty. KAN‐derived functional dependencies of the baseflow components on the aridity index outperform their original counterparts; they demonstrate that water availability, rather than potential evapotranspiration, drives baseflow by constraining actual evapotranspiration under arid conditions. On a test set, they increase the Nash‐Sutcliffe efficiency (NSE) by 65%, decrease the root mean squared error by 29%, and increase the Kling‐Gupta efficiency by 34%. This superior performance is achieved while reducing the number of fitting parameters from three to two. Next, we use data from 378 catchments across the continental United States to refine the water‐balance equation at the mean‐annual scale. The KAN‐derived equations based on the refined water balance outperform both the current aridity index model, with up to a 105% increase in NSE, and the KAN‐derived equations based on the original water balance. While the performance of our model and tree‐based machine learning methods is similar, KANs offer the advantage of simplicity and transparency and require no specific software or computational tools. This case study focuses on the aridity index formulation, but the approach is flexible and transferable to other hydrological processes. Plain Language Summary Equations used in hydrologic model are often suboptimal, resulting in reduced prediction accuracy and efficiency. We implemented Kolmogorov‐Arnold networks (KAN), a machine learning algorithm for deriving symbolic formulations, to estimate groundwater recharge and showed that it outperforms an existing state‐of‐the‐art semi‐empirical formulation. In hydrology, Nash‐Sutcliffe efficiency (NSE), root mean squared error (RMSE), and Kling‐Gupta efficiency (KGE) are commonly used to evaluate model performance. Higher NSE and KGE values indicate better performance, while lower RMSE values are preferable. Our results show that NSE increased by 71%, RMSE decreased by 32%, and KGE improved by 25%. In addition, KAN identifies an optimal functional form and can be used to derive new analytical formulas using the prior knowledge. The KAN‐inspired equation outperformed the original formulation and reduced the fitting parameters. Furthermore, we refined the water‐balance equation at the mean‐annual scale and showed that, based on the new water‐balance equation, KAN can derive new formulations that are superior to the original aridity index formulations (up to 105% increase in NSE) and KAN‐derived equations based on the original water balance. These findings highlight the significant potential of KAN to advance the scientific understanding of a wide range of hydrologic processes. Key Points Kolmogorov‐Arnold networks (KANs) enhance interpretability of machine‐learned hydrological models KAN‐derived symbolic formulations outperform state‐of‐the‐art semi‐empirical aridity indices KAN‐identified functional form yields an analytical index with fewer fitting parameters and improved performance

baseflow↗
DOE OSTI2024

Quantum computation of stopping power for inertial fusion target design

Stopping power is the rate at which a material absorbs the kinetic energy of a charged particle passing through it—one of many properties needed over a wide range of thermodynamic conditions in modeling inertial fusion implosions. First-principles stopping calculations are classically challenging because they involve the dynamics of large electronic systems far from equilibrium, with accuracies that are particularly difficult to constrain and assess in the warm-dense conditions preceding ignition. Here, we describe a protocol for using a fault-tolerant quantum computer to calculate stopping power from a first-quantized representation of the electrons and projectile. Our approach builds upon the electronic structure block encodings of Su et al. [ PRX Quant. 2 , 040332 (2021)], adapting and optimizing those algorithms to estimate observables of interest from the non-Born–Oppenheimer dynamics of multiple particle species at finite temperature. We also work out the constant factors associated with an implementation of a high-order Trotter approach to simulating a grid representation of these systems. Ultimately, we report logical qubit requirements and leading-order Toffoli costs for computing the stopping power of various projectile/target combinations relevant to interpreting and designing inertial fusion experiments. We estimate that scientifically interesting and classically intractable stopping power calculations can be quantum simulated with roughly the same number of logical qubits and about one hundred times more Toffoli gates than is required for state-of-the-art quantum simulations of industrially relevant molecules such as FeMoco or P450.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2026

A Review on Direct Air Capture of Carbon Dioxide: Sorbent Materials, Process Engineering, Industrial Scale-Up, and Future Perspectives

The relentless accumulation of anthropogenic greenhouse gases has driven atmospheric carbon dioxide concentrations to approximately 426 ppm, necessitating the aggressive deployment of negative-emission technologies to achieve net zero by 2050. Direct air capture (DAC) offers a scalable, location-independent approach to atmospheric carbon removal; however, it is fundamentally constrained by the significant thermodynamic barriers associated with capturing CO 2 from ultradilute ambient conditions, requiring minimum thermodynamic energy inputs substantially higher than those for postcombustion point sources. This comprehensive review critically examines the technological landscape of DAC, focusing on the interdependent triad of sorbent material design, contactor engineering, and regeneration thermodynamics. We evaluate the fundamental boundaries of adsorption, emphasizing that an optimal adsorption enthalpy and isosteric heat of adsorption must balance the high CO 2 uptake capacity with the energetic penalties of sorbent regeneration. A systematic, comparative analysis of state-of-the-art sorbents is presented, encompassing mesoporous silicas, zeolites, carbon-based materials (CBMs), metal−organic frameworks (MOFs), porous organic polymers (POPs), and polymeric membranes. Special attention is devoted to surface functionalization strategies, particularly amine grafting and impregnation, which transition capture mechanisms from physisorption to chemisorption to enhance selectivity under ambient moisture and low partial pressures. Furthermore, we assess the operational merits of various reactor configurations, including gas−solid, gas−liquid, and membrane contactors, alongside regeneration cycles such as temperature, vacuum, pressure, and moisture swing adsorption. Finally, the review bridges fundamental materials science with industrial application by chronicling the scale-up milestones of pioneering entities and providing a strategic roadmap for advancing DAC technology readiness levels toward global deployment.

Adsorption↗
DOE OSTI2024

Rapid 235 U/ 238 U determination by matrix assisted ionization–time-of-flight mass spectrometry

Matrix-assisted ionization (MAI) of inorganic analytes is a nascent research domain that holds promise for rapid, potentially facility-deployable analytical applications. Here, we present results of MAI uranium isotopic analysis ( 235 U/ 238 U) obtained on the timescale of minutes utilizing simple sample preparation and an ambient ionization time-of-flight mass spectrometer (ToF MS). Experimental MAI-ToF MS characterization of uranium Certified Reference Materials (CRMs) was used to establish method calibration and validate quantitative 235 U/ 238 U determination spanning depleted, natural, and low-enriched uranium isotopic compositions. Secondary standard analyses with total uranium mass loadings of 5–500 ng per analysis yield accurate calibrated 235 U/ 238 U results and relative uncertainties of 4.7–17.2% (approx. ±95% confidence level), with weighted-mean uncertainties approaching 1.5%. This method permits accurate determination of uranium isotopic composition in a sample with uranium content as low as 200 pg for equal atom 235 U: 238 U. Instrument detection limits constrain the minimum uranium mass required to identify the presence of highly enriched uranium (HEU ≥20% 235 U) as only 500 pg using the method presented here. MAI-ToF MS quantitation of relatively extreme isotope ratios ( 235 U/ 238 U ≤ 0.01) is limited by detection of minor 235 U (LoD 100 pg 235 U/analysis ≈ 10 ng total U/analysis), and subsequent method optimization is anticipated to further reduce these limits. These findings underscore the potential of MAI-ToF MS for isotopic characterization of uranium and other inorganic species for both basic and applied science.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2025

Structural Tuning of Self‐Conductive Polymer as Gas Diffusion Layer for Electrocatalytic Reactions at High Current

Electrocatalytic conversions offer a promising route for sustainable chemical production using renewable energy. Gas diffusion layers (GDLs) enable selective product formation at high current densities but suffer from electrolyte flooding, and polytetrafluoroethylene (PTFE)-based GDLs typically require metal conductive layers, which constrain catalyst development. A recently developed GDL configuration, electropolymerized poly(3,4-ethylenedioxythiophene) (PEDOT)-coated PTFE, demonstrates notable flooding resistance, but suffers from gas diffusion limitations at elevated currents due to limited gas diffusion through the PEDOT layer. Here, different dopants in PEDOT are exploited to modify the physical properties and enhance gas transport. ClO 4 − -doped PEDOT exhibits superior performance due to optimized physical structure, leading to increased gas permeance and faradaic efficiency (FE) for CO production during electrocatalytic CO 2 reduction. Further optimization of coverage and thickness achieved by adjusting charge density led to an optimal configuration at 33 mC cm −2 . This GDL supports various metal electrocatalysts and demonstrates FE CO of > 90% for over 150 h at −200 mA cm −2 using a commercial silver electrocatalyst. This work highlights the importance of GDL engineering in enhancing performance and durability for long-term electrocatalytic processes.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2026

A mathematical design framework for membrane pre-concentration in energy-efficient recovery of fermentation products

Due to the dilute nature of products manufactured via fermentation and cell-free bioprocessing, dewatering is a common unit operation in downstream processing (DSP) for bioproduct recovery, but it is typically energy intensive. To improve DSP energy efficiency for bio-based small molecules, integrating high-pressure membrane pre-concentration is a promising process option. However, this approach is typically constrained by a tradeoff between concentration factor (CF) and product recovery (PR), namely increasing the CF typically results in greater product loss, and vice versa. Here we developed a model that enables process design guidelines to: (i) identify scenarios in which the additional energy consumption and product loss from membrane pre-concentration are justified for use in DSP, and (ii) determine the optimal CF that minimizes process specific energy consumption. We compared the energy consumption of high-pressure membrane-integrated processes to evaporation-only processes and applied the model to an experimental case study for the separation and purification of butyric acid from Clostridium tyrobutyricum fermentation using an in situ product recovery (ISPR) process. The model estimated that integrating a tangential-flow reverse osmosis (RO) pre-concentration unit could reduce process energy consumption up to 45%. The use of advanced membrane pre-concentration technologies, such as negative rejection membranes and organic solvent reverse osmosis (OSRO), have the potential to further reduce the overall process specific energy consumption up to 96%, projected based on modeling. Overall, membrane pre-concentration, especially when strategically integrated prior to an evaporation step with optimized process conditions, holds significant potential for improving DSP energy efficiency, particularly in applications requiring substantial solvent removal for product recovery from dilute mixtures.

09 BIOMASS FUELS↗
DOE OSTI2025

Unified architecture for quantum lookup tables

Quantum access to arbitrary classical data encoded in unitary black-box oracles underlies interesting data-intensive quantum algorithms, such as machine learning or electronic structure simulation. The feasibility of these applications depends crucially on gate-efficient implementations of these oracles, which are commonly some reversible versions of the Boolean circuit for a classical lookup table. Here, we present a general parametrized architecture for quantum circuits implementing a lookup table that encompasses all prior work in realizing a continuum of optimal trade-offs between qubits, non-Clifford gates, and error resilience, up to logarithmic factors. Our architecture assumes only local 2D connectivity, yet recovers results, with the appropriate parameters, polylogarithmic error scaling. We also identify regimes, such as simultaneous sublinear scaling, in all parameters. These results enable tailoring implementations of the commonly used lookup table primitive to any given quantum device with constrained resources.

quantum circuits↗
DOE OSTI2025

Near-Efficient and Non-Asymptotic Multiway Inference

We establish non-asymptotic efficiency guarantees for tensor decomposition–based inference in count data models. Under a Poisson framework, we consider two related goals: (i) parametric inference , the estimation of the full distributional parameter tensor, and (ii) multiway analysis , the recovery of its canonical polyadic (CP) decomposition factors. Our main result shows that in the rank-one setting, a rank-constrained maximum-likelihood estimator achieves multiway analysis with variance matching the Cramér–Rao Lower Bound (CRLB) up to absolute constants and logarithmic factors. This provides a general framework for studying “near-efficient” multiway estimators in finite-sample settings. For higher ranks, we illustrate that our multiway estimator may not attain the CRLB; nevertheless, CP-based parametric inference remains nearly minimax optimal, with error bounds that improve on prior work by offering more favorable dependence on the CP rank. Numerical experiments corroborate near-efficiency in the rank-one case and highlight the efficiency gap in higher-rank scenarios.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

Sparse measurement medical CT reconstruction using multi-fused block matching denoising priors

A major challenge for medical X-ray CT imaging is reducing the number of X-ray projections to lower radiation dosage and reduce scan times without compromising image quality. However these under-determined inverse imaging problems rely on the formulation of an expressive prior model to constrain the solution space while remaining computationally tractable. Traditional analytical reconstruction methods like Filtered Back Projection (FBP) often fail with sparse measurements, producing artifacts due to their reliance on the Shannon-Nyquist Sampling Theorem. Consensus Equilibrium, which is a generalization of Plug and Play, is a recent advancement in Model-Based Iterative Reconstruction (MBIR), has facilitated the use of multiple denoisers are prior models in an optimization free framework to capture complex, non-linear prior information. However, 3D prior modelling in a Plug and Play approach for volumetric image reconstruction requires long processing time due to high computing requirement. Instead of directly using a 3D prior, this work proposes a BM3D Multi Slice Fusion (BM3D-MSF) prior that uses multiple 2D image denoisers fused to act as a fully 3D prior model in Plug and Play reconstruction approach. Our approach does not require training and are thus able to circumvent ethical issues related with patient training data and are readily deployable in varying noise and measurement sparsity levels. In addition, reconstruction with the BM3D-MSF prior achieves similar reconstruction image quality as fully 3D image priors, but with significantly reduced computational complexity. We test our method on clinical CT data and demonstrate that our approach improves reconstructed image quality.

Hossain, Maliha [ORNL]↗
DOE OSTI2025

Large deviations of ionic currents in dilute electrolytes

Here, we evaluate the exponentially rare fluctuations of the ionic current for a dilute electrolyte by means of macroscopic fluctuation theory. We consider the fluctuating hydrodynamics of a fluid electrolyte described by a stochastic Poisson–Nernst–Planck equation. We derive the Euler–Lagrange equations that dictate the optimal concentration profiles of ions conditioned on exhibiting a given current, whose form determines the likelihood of that current in the long-time limit. For a symmetric electrolyte under small applied voltages, number density fluctuations are small, and ionic current fluctuations are Gaussian with a variance determined by the Nernst–Einstein conductivity. Under large applied potentials, the ionic current distribution is generically non-Gaussian. Its structure is constrained thermodynamically by Gallavotti–Cohen symmetry and the thermodynamic uncertainty principle.

Farhadi, Jafar [University of California, Berkeley↗
DOE OSTI2025

Distinguishing prompt-collapse binary neutron star mergers from binary black Holes: Tidal effects and remnant properties

We study the properties of remnants formed in prompt-collapse binary neutron star mergers. We consider nonspinning neutron star binaries over a range of total masses and mass ratios across a set of 22 equations of state, totaling 107 numerical relativity simulations. We report the final mass and spin of the systems (including the accretion disk and ejecta) to be constrained in a narrow range—0.98 ≲ 𝑀 𝑓 /𝑀 ≲ 0.99 for the mass and 0.85 ≲ 𝑎 𝑓 ≲ 0.95 for the dimensionless spin—regardless of the binary configuration and matter effects. This sets them apart from binary black hole merger remnants. We assess the detectability of the postmerger signal in a future 40 km Cosmic Explorer observatory and find that the signal-to-noise ratio in the postmerger of an optimally located and oriented binary at a distance of 100 Mpc can range from <1 to 8, depending on the binary configuration and equation of state, with a majority of them greater than 4 in the set of simulations that we consider. We also consider the distinguishability between prompt-collapse binary neutron star and binary black hole mergers with the same masses and spins. We find that Cosmic Explorer will be able to distinguish such systems primarily via the measurement of tidal effects in the late inspiral. Neutron star binaries with reduced tidal deformability $\tilde{Λ}$ as small as ∼ 3.5 can be identified up to a distance of 100 Mpc, while neutron star binaries with $\tilde{Λ}$ ∼ 22 can be identified to distances greater than 250 Mpc. This is larger than the distance up to which the postmerger will be visible. Finally, we discuss the possible implications of our findings for the equation of state of neutron stars from the gravitational wave event GW230529.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2025

Optimal Control of Differentially Private EV Charging: A Scalable Learning Approach Under Uncertainty

Internet of Things (IoT)-enabled electric vehicles (IoEVs) enable intelligent charging coordination that accounts for grid congestion. However, increased data exchange raises privacy concerns, as charging patterns can reveal sensitive driver behavior to grid operators. Here, we propose a differentially private (DP) EV charging framework that enables coordinated control while protecting driver data with theoretical privacy guarantees. Nevertheless, integrating DP inevitably introduces uncertainty into the control strategy for EVs, which can lead to infeasible solutions. To tackle this challenge, we develop a feasible and scalable control algorithm based on constrained reinforcement learning (CRL) and convex hulls. While our framework is designed to handle the uncertainty introduced by DP, it is general and also applicable to other sources of uncertainty in EV charging, such as the stochastic nature of driver behavior and renewable variability. This ensures feasible and privacy-preserving coordination of EV charging at scale. Our method constructs convex hulls within the action space to guarantee feasibility under stochastic constraints and incorporates constraint reduction techniques to improve scalability. Case studies based on IEEE benchmark systems demonstrate that the proposed approach effectively balances feasibility under uncertainty, scalability, and privacy in large-scale EV charging control.

Engineering - Power transmission and distribution↗
DOE OSTI2024

A hybrid-kinetic simulation tool for non-thermal warm x-ray z-pinch sources, with gas-puff and wire array exemplars

Increasing the fluence of z-pinch x-ray radiation sources above ∼ 10 keV has been a long-standing goal for scientists at Sandia National Laboratories’ Z Machine. Optimizing sources for non-thermal “cold Kα” emission in higher atomic-number materials appears to be a promising path to increase warm x-ray yield. However, this emission is generated by supra-thermal electrons, which are not treated in the magnetohydrodynamic (MHD) codes that are typically used in z-pinch source development. MHD codes do not allow for charge separation or space-charge-generated electric fields, and constrain particle kinematics to Maxwellian distributions. The kinetic codes which do accommodate discrete, non-thermal energy distributions are computationally prohibitive when modeling plasmas near solid density and when modeling/tracking higher ionization states. Thus, modeling non-thermal z-pinch sources requires a new simulation tool. In this report, we present a new hybrid modeling capability that uses the fast features of MHD-type particles to the greatest extent possible, then transitions to the slower but more complete kinetic particle treatment to correctly capture the particle energy spectra that generate non-thermal emission. This capability is founded on the fully-relativistic particle-in-cell code Chicago, which already includes fluid particle treatments. The governing equations and hybrid methodology presented here are applied in simulations of an argon gas-puff and a molybdenum wire-array to provide preliminary code validation. The argon simulation is compared to measured implosion times and yields from Jones et al., Phys. Plasmas 22, 020706 (2015). The simulated x-ray yield is within 25% of measurements and the implosion times agree within a few percent. The molybdenum wire array simulation captures the implosion timing reported in Hansen et al., Phys. Plasmas 21, 031202 (2014), but work is needed to verify the available EOS table. These exemplar simulations represents the type of non-thermal sources that will be developed using the hybrid code capability going forward.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2024

Search for the nonresonant production of Higgs boson pairs via gluon fusion and vector-boson fusion in the $b\bar{b}$τ + τ – final state in proton-proton collisions at $\sqrt{s}$ = 13 TeV with the ATLAS detector

A search for the nonresonant production of Higgs boson pairs in the HH → $b\overline{b}$$\tau^{+}\tau^{-}$ channel is performed using 140 fb -1 of proton-proton collisions at a center-of-mass energy of 13 TeV recorded by the ATLAS detector at the CERN Large Hadron Collider. The analysis strategy is optimized to probe anomalous values of the Higgs boson self-coupling modifier $\kappa_{\tau}$ and of the quartic HHVV (v = W,Z) coupling modifier $\kappa$ 2⁢V . No significant excess above the expected background from Standard Model processes is observed. An observed (expected) upper limit μ HH < 5.9⁢(3.3) is set at 95% confidence-level on the Higgs boson pair production cross section normalized to its Standard Model prediction. The coupling modifiers are constrained to an observed (expected) 95% confidence interval of -3.1 <$\kappa_{\tau}$ < 9.0 (-2.5 < $\kappa_{\tau}$ < 9.3) and -0.5 <$\kappa$ 2⁢V < 2.7 (-0.2 <$\kappa$ 2⁢V < 2.4), assuming all other Higgs boson couplings are fixed to the Standard Model prediction. The results are also interpreted in the context of effective field theories via constraints on anomalous Higgs boson couplings and Higgs boson pair production cross sections assuming different kinematic benchmark scenarios.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2025

Fast Adaptive Neural Control of Resonant Extraction at Fermilab

We present the development of a machine learning (ML) based regulation system for third-order resonant beam extraction in the Mu2e experiment at Fermilab. Classical and ML-based controllers have been optimized using semi-analytic simulations and evaluated in terms of regulation performance and training efficiency. We compare several controller architectures and discuss the integration of neural control into an adaptive framework. We also present progress on surrogate models that predict the controller response given a spill intensity and controller action history. To enable real-time deployment, we report progress on implementing low-latency, edge-based inference suitable for hardware-constrained environments. Our results demonstrate the feasibility and advantages of ML-based control in managing complex, time-varying physical systems, with broader implications for accelerator operations and other domains requiring fast, adaptive regulation.

Berlioz, Jose Rene [Fermilab]↗
DOE OSTI2026

Applications of Multibody for Everybody (M4E) in Marine Energy

Multibody for Everybody (M4E) is an open-source symbolic dynamics modeling framework designed to automate the derivation of equations of motion and simulation of constrained multibody systems using the joint coordinate formulation.

16 TIDAL AND WAVE POWER↗