Search NASA⌕ Search

SEARCH · Search NASA

Results for “requirement formalization”

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 109 records · Page 6

Ab Initio-Based Bond Order Potential for Arsenene Polymorphs Developed via Hierarchical Reinforcement Learning

Arsenene, a less-explored two-dimensional material, holds the potential for applications in wearable electronics, memory devices, and quantum systems. This study introduces a bond-order potential model with Tersoff formalism, the ML-Tersoff, which leverages multireward hierarchical reinforcement learning (RL), trained on an ab initio data set. This data set covers a spectrum of properties for arsenene polymorphs, enhancing our understanding of its mechanical and thermal behaviors without the complexities of traditional models requiring multiple parameter sets. Our RL strategy utilizes decision trees coupled with a hierarchical reward strategy to accelerate convergence in high-dimensional continuous search spaces. Unlike the Stillinger-Weber approach, which demands separate formalisms for buckled and puckered forms, the ML-Tersoff model concurrently captures multiple properties of the two polymorphs by effectively representing the local environment, thereby avoiding the need for different atomic types. Here, we apply the ML model to understand the mechanical and thermal properties of the arsenene polymorphs and nanostructures. We observe an inverse relationship between the critical strain and temperature in arsenene. Thermal conductivity calculations in nanosheets show good agreement with ab initio data, reflecting a decrease in thermal conductivity attributable to increased anharmonic effects at higher temperatures. We also apply the model to predict the thermal behavior of arsenene nanotubes.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

QED medium effects in (anti)neutrino-nucleus and electron-nucleus scattering: Elastic scattering on nucleons

Interpretation of current and future neutrino oscillation and electron scattering experiments requires knowledge of lepton-nucleon and lepton-nucleus interactions at the percent level. We study the exchange of photons between charged particles and the nuclear medium for (anti)neutrino-, electron-, and muon-induced reactions inside a large nucleus. While quantum electrodynamics (QED)-medium contributions are formally suppressed by two powers of the electromagnetic coupling constant α when compared to the leading-order cross sections, low-energy modes and the nuclear size enhance the effect by orders of magnitude. They require a proper infrared regularization, which we implement as a screening of the electromagnetic interactions at atomic length scales or above. We provide approximate analytic expressions for the distortion of (anti)neutrino-nucleus and charged lepton-nucleus cross sections and evaluate the QED-medium effects for realistic values of the screening scale on the example of elastic scattering with nucleons inside the nucleus. We find new permille- to percent-level effects, which were not considered in either (anti)neutrino-nucleus or electron-nucleus scattering.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Semiclassical transition state theory through the lens of the restricted partition function

The wide adoption of transition state theory in resolving the rates of molecular processes relies on the simplification from reducing the formal and numerical expense of dynamics by a geometric constraint. Such a reduction is at odds with the uncertainty in localization that the uncertainty principle requires. While many forms of semiclassical transition state theory (SCTST) have been aimed at addressing this challenge, a popular approach has relied on resolving the underlying phase space structure of the exact rate formula to leverage Bohr–Sommerfeld quantization. Here, the Hernandez–Miller SCTST reframed the thermal rate formula into an integral of the so-called restricted partition function (RPF) over the action associated with the reaction. The density-of-state SCTST has reframed the rate formula in terms of the instanton’s density of states (DoS). Here, we show the relationship between the RPF-SCTST and the DoS-SCTST and derive the latter from the former. In this way, we help unify these branches of SCTST and provide a clearer formalism for future advances.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Exploring the effects of policy on stakeholder adoption and deployment of agrivoltaics: A case study of Massachusetts

Further deployment of agrivoltaics is likely to require a better understanding of how policies and agreements can shape the outcomes of solar siting on farmland. This study evaluates the Massachusetts agrivoltaics policy in terms of its implications on deployment and stakeholder experiences in adoption. We present findings from interviews with 26 state policymakers, Extension agents, representatives of non-governmental organizations, farm owners and operators, and solar developers. Our findings demonstrate how the policy has mixed effects on deployment processes and outcomes—in some instances, the policy enables deployment by formalizing cross-sector collaboration, increasing farm owner and operator participation in development, and facilitating novel business models. In other instances, the policy constrains deployment by prescribing operational requirements, creating liability risk, and developing dependency on empirical data to inform eligibility decisions. Interviewees explained how these mixed policy effects create both benefits and burdens for adopters, particularly farm owners and operators. These insights indicate the value of cross-sector collaboration during all phases of agrivoltaic policy implementation and project development; the importance of coordination across policy, research, and commercial activities; and the significant role of regulators and policy design in deployment. The evidence presented in this paper can inform decision making for emerging agrivoltaic policies and markets, both in the United States and internationally.

14 SOLAR ENERGY↗

Homobenzylic Oxygenation Enabled by Dual Organic Photoredox and Cobalt Catalysis

Activation of aliphatic C(sp 3 )–H bonds in the presence of more activated benzylic C(sp 3 )–H bonds is often a nontrivial, if not impossible task. Herein we show that leveraging the reactivity of benzylic C(sp 3 )–H bonds to achieve reactivity at the homobenzylic position can be accomplished using dual organic photoredox/cobalt catalysis. Through a two-part catalytic system, alkyl arenes undergo dehydrogenation followed by an anti-Markovnikov Wacker-type oxidation to grant benzyl ketone products. This formal homobenzylic oxidation is accomplished with high atom economy without the use of directing groups, achieving valuable reactivity that traditionally would require multiple chemical transformations.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Variational multiscale reinforcement learning for discovering reduced order closure models of nonlinear spatiotemporal transport systems

Abstract A central challenge in the computational modeling and simulation of a multitude of science applications is to achieve robust and accurate closures for their coarse-grained representations due to underlying highly nonlinear multiscale interactions. These closure models are common in many nonlinear spatiotemporal systems to account for losses due to reduced order representations, including many transport phenomena in fluids. Previous data-driven closure modeling efforts have mostly focused on supervised learning approaches using high fidelity simulation data. On the other hand, reinforcement learning (RL) is a powerful yet relatively uncharted method in spatiotemporally extended systems. In this study, we put forth a modular dynamic closure modeling and discovery framework to stabilize the Galerkin projection based reduced order models that may arise in many nonlinear spatiotemporal dynamical systems with quadratic nonlinearity. However, a key element in creating a robust RL agent is to introduce a feasible reward function, which can be constituted of any difference metrics between the RL model and high fidelity simulation data. First, we introduce a multi-modal RL to discover mode-dependant closure policies that utilize the high fidelity data in rewarding our RL agent. We then formulate a variational multiscale RL (VMRL) approach to discover closure models without requiring access to the high fidelity data in designing the reward function. Specifically, our chief innovation is to leverage variational multiscale formalism to quantify the difference between modal interactions in Galerkin systems. Our results in simulating the viscous Burgers equation indicate that the proposed VMRL method leads to robust and accurate closure parameterizations, and it may potentially be used to discover scale-aware closure models for complex dynamical systems.

97 MATHEMATICS AND COMPUTING↗

Kinetic description of site ensembles on catalytic surfaces

Significance The kinetic assessment of catalytic reactions is essential to the design and application of thermochemical processes useful in petrochemical synthesis, energy conversion, and environmental remediation. We demonstrate that the ubiquitously used Langmuir–Hinshelwood formalism is incomplete and fails to correctly describe even simple catalytic reactions (e.g., A + A → A 2 ). An accurate kinetic description requires explicit rate equations for multisite configurations (e.g., A*–A* pairs) to account for the nonrandom clustering/isolation of surface species. We rigorously describe clustering/isolation phenomena by derivation of coverage-dependent stoichiometric coefficients, which capture the distinct influence each elementary step exerts on each catalytic site ensemble—thereby overcoming limitations of the mean-field (i.e., Hinshelwood) assumption in describing reactions of mobile Langmuirian adsorbates on catalytic surfaces.

36 MATERIALS SCIENCE↗

Paradigm for universal quantum information processing with integrated acousto-optic frequency beamsplitters

Frequency-bin encoding offers tremendous potential in quantum photonic information processing, in which a single waveguide can support hundreds of lightpaths in a naturally phase-stable fashion. This stability, however, comes at a cost: arbitrary unitary operations can be realized by cascaded electro-optic phase modulators and pulse shapers, but require nontrivial numerical optimization for design and have thus far been limited to discrete tabletop components. In this article, we propose, formalize, and computationally evaluate a new paradigm for universal frequency-bin quantum information processing using acousto-optic scattering processes between distinct transverse modes. We show that controllable phase matching in intermodal processes enables 2 × 2 frequency beamsplitters and transverse-mode-dependent phase shifters, which together comprise cascadable FRequency-transverse-mODe Operations (FRODOs) that can synthesize any unitary via analytical decomposition procedures. Modeling the performance of both random gates and discrete Fourier transforms, we demonstrate the feasibility of high-fidelity quantum operations with existing integrated photonics technology, highlighting prospects of parallelizable operations achieving 100% bandwidth utilization. Our approach is realizable with CMOS technology, opening the door to scalable on-chip quantum information processing in the frequency domain.

Lukens, Joseph M. [Purdue Univ., West Lafayette, I↗

Corrective Actions Plan for Real Property Asset Management

The purpose of this Triad Infrastructure Programs Office (IFPROG) Real Property Asset Management (RPAM) Corrective Actions Plan (CAP) is to formally identify and document completion of the associated corrective actions. It presents IFPROG work scope in the context of executing RPAM requirements and Comprehensive Site Planning; the drivers and rationale for the corrective actions; and, a corrective actions summary table that includes the scope, owner, deliverables with dates, and implementation status.

99 GENERAL AND MISCELLANEOUS↗

Fission Battery Initiative: Research and Development Plan

The Fission Battery Initiative has been established by the Idaho National Laboratory’s (INL’s) Nuclear Science and Technology Directorate [6] to define, focus, and coordinate research and development (R&D) of technologies that can fully achieve battery-like functionality for nuclear energy systems. The notion of a “fission battery” conveys a vision focused on realizing very simple “plug-and-play” nuclear systems that can be integrated into a variety of applications requiring affordable, reliable energy in the form of electricity and/or heat and function without operations and maintenance staff. In order to formalize the desired functionality, the initiative has adopted the following key attributes to be achieved: economic, standardized, installed, unattended and reliable

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Nuclear Security Interface Considerations for Regaining Control of Discovered Nuclear and Radioactive Materials

Recognizing that regaining control of orphan radioactive and nuclear material is challenging, the international community has developed requirements and guidance to support countries in addressing the problem. However, limited guidance is available on the practical nuclear security related issues that arise when nuclear or other radioactive material out of regulatory control (MORC) is encountered and efforts are undertaken to regain control. For example, the IAEA Specific Safety Guide No. SSG-19, “National Strategy for Regaining Control over Orphan Sources and Improving Control over Vulnerable Sources”, provides recommendations on a methodology for establishing a national strategy for regaining control of orphan sources. However, except for Pu239 in radioactive sources, nuclear material is outside the scope of this safety guide, and practical safety and security measures below the level of national strategy are not discussed adequately.This paper discusses the interfaces between the stakeholder groups and the responsibilities of each when encountering common scenarios that deal with MORC transitioning to regulatory control. The stakeholders include but are not limited to individuals who encounter MORC, and providers of formal and informal transport systems, and traditional and ad hoc storage solutions. This paper explores practical legal, financial, and institutional issues that hinder implementation of required safety and security practices. This paper also offers strategies that can be implemented on the individual, organizational, national, and international level to regain control of MORC.

Shannon, Michael↗

GFINNs: GENERIC formalism informed neural networks for deterministic and stochastic dynamical systems

Here we propose the GENERIC formalism informed neural networks (GFINNs) that obey the symmetric degeneracy conditions of the GENERIC formalism. GFINNs comprise two modules, each of which contains two components. We model each component using a neural network whose architecture is designed to satisfy the required conditions. The component-wise architecture design provides flexible ways of leveraging available physics information into neural networks. We prove theoretically that GFINNs are sufficiently expressive to learn the underlying equations, hence establishing the universal approximation theorem. We demonstrate the performance of GFINNs in three simulation problems: gas containers exchanging heat and volume, thermoelastic double pendulum and the Langevin dynamics. In all the examples, GFINNs outperform existing methods, hence demonstrating good accuracy in predictions for both deterministic and stochastic systems.

97 MATHEMATICS AND COMPUTING↗

Jet-veto resummation at N 3 LL p + NNLO in boson production processes

Vetoing energetic jet activity is a crucial tool for suppressing backgrounds and enabling new physics searches at the LHC, but the introduction of a veto scale can introduce large logarithms that may need to be resummed. We present an implementation of jet-veto resummation for color-singlet processes at the level of N 3 LL p matched to fixed-order NNLO predictions. Our public code MCFM allows for predictions of a single boson, such as Z/γ*, W ± or H, or with a pair of vector bosons, such as W + W – , W ± Z or ZZ. The implementation relies on recent calculations of the soft and beam functions in the presence of a jet veto over all rapidities, with jets defined using a sequential recombination algorithm with jet radius R. However one of the ingredients that is required to reach full N 3 LL accuracy is only known approximately, hence N 3 LL p . We describe in detail our formalism and compare with previous public codes that operate at the level of NNLL. Our higher-order predictions improve significantly upon NNLL calculations by reducing theoretical uncertainties. We demonstrate this by comparing our predictions with ATLAS and CMS results.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

From natural language to control signals: a conceptual framework for semantic channel finding in complex experimental infrastructure

Modern experimental platforms such as particle accelerators, fusion devices, telescopes, and industrial process control systems expose tens to hundreds of thousands of control and diagnostic channels, accumulated over decades of hardware evolution. Operators and AI systems alike depend on informal expert knowledge, inconsistent naming conventions, and scattered documentation to locate the signals required for monitoring, troubleshooting, and automated control, creating a persistent bottleneck for reliability, scalability, and emerging language-model-driven interfaces. We formalize semantic channel finding, the task of mapping natural-language intent to concrete control-system signals, as a general problem in complex experimental infrastructure, and introduce a four-paradigm conceptual framework to guide architecture selection based on facility-specific data regimes. The paradigms span (i) direct in-context lookup over small, curated channel dictionaries, (ii) constrained hierarchical navigation through structured trees, (iii) interactive agent exploration using iterative reasoning and tool-based database queries, and (iv) ontology-grounded semantic search that decouples channel meaning from facility-specific naming conventions. We demonstrate the practical feasibility of each paradigm through proof-of-concept implementations at four operational facilities spanning two orders of magnitude in scale: from compact free-electron lasers to large synchrotron light sources, operating under diverse control-system architectures ranging from clean hierarchical naming schemes to legacy environments with decades of heterogeneous conventions. Where evaluated against expert-curated operational queries, these instantiations achieve 90%–97% accuracy, validating the framework’s applicability across real-world deployment scenarios. To accelerate adoption across the broader scientific and industrial control-system community, we release open-source, plug-and-play implementations of all three interactive paradigms-direct lookup, hierarchical navigation, and middle-layer exploration-within the Osprey framework, together with tools for channel database generation, interactive testing, and minimal-configuration deployment. This work establishes semantic channel finding as a foundational capability for human-centric and agentic AI interfaces at large-scale facilities, providing both a systematic framework for architecture design and practical resources to enable adoption without building custom infrastructure from scratch.

channel finding↗

A comparative analysis of US state-level policies and programs to advance energy justice

Abstract The US energy system is undergoing massive changes that have environmental, technological, and societal implications. Decisions and actions taken now will dramatically alter the trajectory of our future energy system. Though new technologies can lessen the dangers of anthropogenic climate change, an effective and sustainable transition requires addressing social justice issues as a priority. To this end, many states have implemented policies and programs that address energy justice. A formal survey of state-level energy justice policies and programs is needed to better understand the methods used to assist communities targeted and the impacts of these efforts. Such an analysis should include an analysis of the metrics used to judge the effectiveness of the enacted policies and programs. In this paper, we analyze the energy justice policies and programs of seven different US states. From this analysis, we identify three important aspects of state energy policies. First, most policies and programs do not articulate their goals, nor cite metrics to judge their successes. This lack of transparency and accountability is a major roadblock to truly just solutions. Second, states focus on a very narrow range of solutions for energy justice issues. The most prevalent being utility bill assistance, which does not address the systemic and enduring challenges faced by many low-income or historically marginalized communities. Lastly, comprehensive energy policy does not acknowledge and address housing, employment, education, and healthcare inequities that exacerbate energy system inequities. The work presented in this paper sheds light on the progress of state-level energy justice policies and programs across the United States, and we argue more work needs to be done to understand best practices in energy justice policymaking.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

Compositional phase stability of correlated electron materials within DFT+DMFT

Predicting the compositional phase stability of strongly correlated electron materials is an outstanding challenge in condensed matter physics, requiring precise computations of total energies. In this work, we employ the density functional theory plus dynamical mean-field theory (DFT+DMFT) formalism to address local correlations due to transition metal $\textit{d}$ electrons on compositional phase stability in the prototype rechargeable battery cathode material Li x CoO 2 , and detailed comparisons are made with the simpler DFT+$\textit{U}$ approach (i.e., the Hartree-Fock solution of the DMFT impurity problem). Local interactions are found to strongly impact the energetics of the band insulator LiCoO 2 , most significantly via the $E_g$ orbitals, which are partially occupied via hybridization with $\textit{O p}$ states. We find CoO 2 and Li 1/2 CoO 2 to be moderately correlated Fermi liquids with quasiparticle weights of 0.6–0.8 for the $T_{2g}$ states, which are most impacted by the interactions. Further, as compared to DFT+$\textit{U}$, DFT+DMFT considerably dampens the increase in total energy as $\textit{U}$ is increased, which indicates that dynamical correlations are important to describe this class of materials despite the relatively modest quasiparticle weights. Unlike DFT+$\textit{U}$, which can incorrectly drive Li x CoO 2 toward spurious phase separating or charge-ordered states, DFT+DMFT correctly captures the system's phase stability and does not exhibit a strong charge-ordering tendency. Most importantly, the error within DFT+$\textit{U}$ varies strongly as the composition changes, challenging the common practice of artificially tuning $\textit{U}$ within DFT+$\textit{U}$ to compensate the errors of Hartree-Fock. DFT+DMFT predicts the average intercalation voltage decreases relative to DFT, opposite to the result of DFT+$\textit{U}$, which would yield favorable agreement with experiment in conjunction with the overprediction of the voltage by the strongly constrained and appropriately normed DFT functional.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

Fusion Energy Sciences Network Requirements Review. Final Report, April - October 2021

The Energy Sciences Network (ESnet) is the high-performance network user facility for the US Department of Energy (DOE) Office of Science (SC) and delivers highly reliable data transport capabilities optimized for the requirements of data-intensive science. In essence, ESnet is the circulatory system that enables the DOE science mission by connecting all of its laboratories and facilities in the US and abroad. ESnet is funded and stewarded by the Advanced Scientific Computing Research (ASCR) program and managed and operated by the Scientific Networking Division at Lawrence Berkeley National Laboratory (LBNL). ESnet is widely regarded as a global leader in the research and education networking community. Throughout 2021, ESnet and the Office of Fusion Energy Sciences (FES) of the DOE SC organized an ESnet requirements review of FES-supported activities. Preparation for these events included identification of key stakeholders: program and facility management, research groups, and technology providers. Each stakeholder group was asked to prepare formal case study documents about their relationship to the FES program to build a complete understanding of the current, near-term, and long-term status, expectations, and processes that will support the science going forward.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Quantifying the propagation of parametric uncertainty on flux balance analysis

Flux balance analysis (FBA) and associated techniques operating on stoichiometric genome-scale metabolic models play a central role in quantifying metabolic flows and constraining feasible phenotypes. At the heart of these methods lie two important assumptions: (i) the biomass precursors and energy requirements neither change in response to growth conditions nor environmental/genetic perturbations, and (ii) metabolite production and consumption rates are equal at all times (i.e., steady-state). Despite the stringency of these two assumptions, FBA has been shown to be surprisingly robust at predicting cellular phenotypes. In this paper, we formally assess the impact of these two assumptions on FBA results by quantifying how uncertainty in biomass reaction coefficients, and departures from steady-state due to temporal fluctuations could propagate to FBA results. In the first case, conditional sampling of parameter space is required to re-weigh the biomass reaction so as the molecular weight remains equal to 1 g mmol –1 , and in the second case, metabolite (and elemental) pool conservation must be imposed under temporally varying conditions. Results confirm the importance of enforcing the aforementioned constraints and explain the robustness of FBA biomass yield predictions.

59 BASIC BIOLOGICAL SCIENCES↗