Search NASA⌕ Search

SEARCH · Search NASA

Results for “TRANSFORM INTEGRAL”

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 127 records · Page 7

Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL

The clean energy transformation includes the integration of distributed energy resources with the power grid, which has led to a substantial increase in the complexity of power grids infrastructure and the underlying operational technology environment. Power grids infrastructure represents an operational technology environment that has become a system of systems, integrating heterogeneous devices which are both software-and hardware-intensive; as a result, there are increasing demands to exploit advances in the commodity of software-hardware infrastructures to improve energy systems requirements such as cybersecurity and resilience. In such a setting, system requirements at different levels mix, which leads to vulnerabilities and undesirable outcomes. The use of formal methods to characterize and prove system requirements removes ambiguity, increases automation, and provides high levels of assurance and reliability. In this paper, we contribute a methodology and a framework for the system-level verification of zero trust architecture requirements in operational technology environments. We define a formal specification for the core functionalities of operational technology environments, the corresponding invariants, and security proofs. Of particular note is our modular approach for the formal verification of asynchronous interactions in operational technology environments. The formal specification and the proofs have been mechanized using the interactive theorem proving environment Isabelle/HOL.

formal methods↗

A Generation-Storage Coordination Dispatch Strategy for Power System Based on Causal Reinforcement Learning

In the backdrop of global energy transformation, power systems integrating high proportions of renewable energy sources are facing unprecedented challenges in operational stability and dispatch efficiency. To address these challenges, this study introduces a generation-storage coordination real-time dispatch strategy based on Causal Power System Dynamic Reinforcement Learning (CPSDRL). Diverging from traditional reinforcement learning approaches, CPSDRL innovatively incorporates causal inference within the state prediction model - the crux of model-based reinforcement learning - thereby establishing the Power Causal Dynamic Model (PCDM). Assisted by the prior knowledge of power systems, the model significantly enhances prediction accuracy and reliability through a two-stage training process. Utilizing PCDM, this study further applies a direct policy search algorithm to optimize the real-time dispatch strategy. Experimental results indicate that the proposed method improves the stability of generation-storage coordination real-time dispatch and exhibits competitive advantages in sample efficiency and computational speed, compared to traditional model-based and model-free reinforcement learning algorithms. This method is expected to enhance the practicality and adaptability of causal reinforcement learning techniques in power system scheduling and control.

causal reinforcement learning↗

Graphene-assisted spontaneous relaxation towards dislocation-free heteroepitaxy

While conventional homoepitaxy forms high-quality epitaxial layers, the limited set of material systems for commercially available wafers restricts the range of materials that can be grown homoepitaxially. At the same time, conventional heteroepitaxy of lattice-mismatched systems produces dislocations above a critical strain energy to release the accumulated strain energy as the film thickness increases. The formation of dislocations, which severely degrade electronic/photonic device performances, is fundamentally unavoidable in highly lattice-mismatched epitaxy. Herein, we introduce a unique mechanism of relaxing misfit strain in heteroepitaxial films that can enable effective lattice engineering. We have observed that heteroepitaxy on graphene-coated substrates allows for spontaneous relaxation of misfit strain owing to the slippery graphene surface while achieving single-crystalline films by reading the atomic potential from the substrate. This spontaneous relaxation technique could transform the monolithic integration of largely lattice-mismatched systems by covering a wide range of the misfit spectrum to enhance and broaden the functionality of semiconductor devices for advanced electronics and photonics.

77 NANOSCIENCE AND NANOTECHNOLOGY↗

A perspective on Bayesian methods applied to materials discovery and design

For more than two decades, there has been increasing interest in developing frameworks for the accelerated discovery and design of novel materials that could enable promising and transformative technologies. The Integrated Computational Materials Engineering (ICME) program called for integrating computational tools to establish linkages along process-structure-property-performance (PSPP) chains. The Materials Genome Initiative called for integrating experiments and computations within data science frameworks as a strategy to accelerate the materials development cycle. While these frameworks and paradigms have been quite influential, traditional ICME or data science-based approaches tend to have some limitations, mainly when querying the materials space is costly and very little information is available. Bayesian methods are more suitable in this context due to their efficiency gains. To this end, the materials discovery problem is framed as a Bayesian Optimization (BO). Different examples in which BO has been applied to solve materials discovery problems are presented. The methods/examples discussed include BO under model uncertainty, multi-information source BO, multi-objective and multi-constraint BO, and batch BO. Bayesian Materials Discovery is a promising area of research that is likely to become more influential as more attention is put on autonomous materials discovery platforms. Therefore, a discussion is provided on the potential development of such methods to increase the ability of existing platforms in materials discovery. Here, the ultimate goal is to pave the way to autonomous materials discovery.

36 MATERIALS SCIENCE↗

Novel GLIDES Technology for Grid Resiliency. Final Report

The transformative Ground Level Integrated Diverse Energy Storage (GLIDES) technology was invented and had early stage success demonstrated at Oak Ridge National Laboratory (ORNL) in 2013–2017. The first proof-of-concept demonstration prototype of GLIDES has been successfully developed. In May 2016, this unique technology was a featured story in the ASHRAE newsletter.1 A detailed thermophysical analysis of this system has also been already published.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Progress Towards a New Model Chemolithoautotrophic Host (CRADA Final Report)

Some of the largest scale chemical processes for the production of important commodity chemicals and fuels involve an H 2 -containing gas mixture as an intermediate [e.g. ammonia, urea, methanol, Fischer-Tropsch (F-T) diesel, and hydrotreatment of crude petroleum to refined fuels]. The successful development of a model H 2 -oxidizing chemoautotrophic host could expand the range of fuels and chemicals produced from H 2 and CO 2 intermediates in the chemical, oil, and gas sectors in the near term, as well as from renewable and waste-derived sources of these gases that are expected to greatly expand in coming years. Among non-photosynthetic bacteria that can utilize H 2 and CO 2 , Cupriavidus necator (C. necator, formerly Ralstonia eutropha), is the best studied. C. necator is an excellent microbial host for the production of a variety of chemicals because it grows extremely quickly to very high cell densities autotrophically on H 2 and CO 2 , is genetically tractable, and has the ability to accumulate polymers, such as polyhydroxybutyrate, at industrial levels. Despite having great potential as a platform bioproduction host, genetic tools are limited, making metabolic engineering of this organism slow and laborious. In this CRADA project, we developed a number of genetic tools for C. necator: 1) Improvement of C. necator genetic transformation efficiency 2) Integration of heterologous genes into the C. necator chromosome and development of promoter library 3) Development of graded RBSs to control heterologous protein expression 4) Use of RBSs to demonstrate fatty alcohol production in C. necator 5) Demonstration of CRISPR-Cas9 gene editing in C. necator

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Equipment List Comparing Balance of Plant Containing a Heat Pump against a Reference Electricity Generating Plant

Approximately two-thirds of U.S. energy consumption in the industrial and transportation sectors relies on fossil fuels. These sectors require high-quality heat, i.e., thermal energy at very high temperatures, for molecular transformation processes. The Integrated Energy Systems (IES) program aims to assess the economic potential of utilizing nuclear-grade heat from Advanced Reactors (ARs) to meet the high-quality heat demands. By having industrial processes (IPs) supplied with nuclear-generated heat, manufacturers could benefit from more stable and potentially lower energy costs, reducing reliance on volatile fossil fuel markets. The main outcome of the FY24 research was the thermodynamic assessment and gap analysis of steam generation for IP applications. The study completed in June 2024 demonstrated that the required steam temperatures could be achieved by integrating a heat pump into an AR power plant. After identifying the thermal demands of target IPs, multiple balance of plant configurations for the Xe-100 reactor by X-energy, incorporating a heat pump, were analyzed. Their technical feasibilities were assessed, including the design of suitable axial compressors for these applications. Comparative performance analysis showed that thermal efficiency alone is insufficient to evaluate system suitability. To address this, a new indicator (heat factor) was introduced in the report released in September 2024 to quantify the low-quality thermal power needed to produce one unit of high-quality heat for the IP. Results showed that integrating heat pumps into Rankine cycles enables higher steam temperatures, though at the expense of increased thermal energy input. This report builds upon and completes the foundational work previously undertaken. It focuses on the design of two Balance of Plant (BOP) configurations, both based on Rankine energy conversion cycles: “Case 1”, which involves electricity generation only, and “Case 2”, which combines electricity and high-temperature heat generation for industrial use. For each configuration, a comprehensive equipment list was developed, detailing all major components such as turbines, compressors, heat exchangers, pumps, and control systems. These lists will serve as the basis for future comparative cost analyses, with the goal of assessing the number and type of components required to integrate a heat pump into the Rankine cycle and to establish a heat transport system capable of delivering thermal energy from the nuclear plant to an industrial facility. Using the constitutive equations presented in the June 2024 milestone, the operating conditions of all BOP components for both “Case 1” and “Case 2” were evaluated. These parameters—such as temperature, pressure, mass flow rate, and steam quality—served as the basis for calculating the associated thermal and mechanical power flows. The net power required from the heat pump to raise the steam temperature to the target level was also determined. The thermodynamic performance of the configuration was then assessed using the heat factor metric. The key outcome of this analysis is a comparative table that presents the equipment that was used in the “Case 1” and “Case 2” configurations. This study offers a preliminary comparison of the two designs, providing insight into the impact of integrating a heat pump in terms of component requirements and thermal efficiency. This equipment list, together with the evaluated operating conditions, also serves as a foundation for the economic analyses scheduled for the current fiscal year.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

A Semi-Supervised Learning Method for the Identification of Bad Exposures in Large Imaging Surveys

As the data volume of astronomical imaging surveys rapidly increases, traditional methods for image anomaly detection, such as visual inspection by human experts, are becoming impractical. We introduce a machine-learning-based approach to detect poor-quality exposures in large imaging surveys, with a focus on the DECam Legacy Survey (DECaLS) in regions of low extinction (i.e., E ( B − V ) < 0.04 ). Our semi-supervised pipeline integrates a vision transformer (ViT), trained via self-supervised learning (SSL), with a k-Nearest Neighbor (kNN) classifier. We train and validate our pipeline using a small set of labeled exposures observed by surveys with the Dark Energy Camera (DECam). A clustering-space analysis of where our pipeline places images labeled in good and bad categories suggests that our approach can efficiently and accurately determine the quality of exposures. Applied to new imaging being reduced for DECaLS Data Release 11, our pipeline identifies 780 problematic exposures, which we subsequently verify through visual inspection. Being highly efficient and adaptable, our method offers a scalable solution for quality control in other large imaging surveys.

Luo, Yufeng (ORCID:0000000246230683)↗

TX$^2$: Transformer eXplainability and eXploration

The Transformer eXplainability and eXploration (Martindale & Stewart, 2021), or TX 2 software package, is a library designed for artificial intelligence researchers to better understand the performance of transformer models (Vaswani et al., 2017) used for sequence classification. The tool is capable of integrating with a trained transformer model and a dataset split into training and testing populations to produce an ipywidget (Project Jupyter Contributors, 2021) dashboard with a number of visualizations to understand model performance with an emphasis on explainability and interpretability. The TX 2 package is primarily intended to integrate into a workflow centered around Jupyter Notebooks (Kluyver et al., 2016), and currently assumes the use of PyTorch (Paszke et al., 2019) and Hugging Face transformers library (Wolf et al., 2020). The dashboard includes visualization and data exploration features to aid researchers, including an interactive UMAP embedding graph (McInnes et al., 2018) to understand classification clusters, a word salience map that can be updated as researchers alter textual entries in near real time, a set of tools to understand word frequency and importance based on the clusters in the UMAP embedding graph, and a set of traditional confusion matrix analysis tools.

97 MATHEMATICS AND COMPUTING↗

Defining a Platform Approach and Market Participation: Data Driven Business Models for Solid State Transformer-Based Synthetic Inertia and Voltage Stability Controls (CRADA Final Report, Project 1, Mod 1)

The primary objective of this project is to determine the incremental value created with the medium voltage solid-state transformer (MV SST) technology to different stakeholders in view of the updated DER grid regulations. This includes studying the benefits of the MV SST technology in a range of use cases for EV and DER penetration including (1) “corridor charging” for EVs and (2) solar plus storage (FERC 2222). The potential customers of this technology include utilities for EV charging, DER installers who must meet utility interconnection requirements, balancing authorities, and DER aggregators. The traditional transformers on the grid could be a limiting factor for the EV-grid integration as the distribution transformers were not designed to handle the dynamic and fluctuating EV charging loads. Thus, the issues such as voltage fluctuations, increased losses and reduced efficiency [1] can negatively impact the grid operation. To address these challenges, transformers with flexibility and adaptability become imperative to meet the evolving energy demands. In this regard, the concept of Medium Voltage Solid-State Transformers.

14 SOLAR ENERGY↗

Integrable field theories and their CCFT duals

We compute the Mellin transforms of various two-dimensional integrable S-matrices, providing the first explicit, non-perturbative realizations of celestial CFT. In two dimensions, the Mellin transform is simply the Fourier transform in rapidity space, and the “celestial correlator” has no position dependence. The simplified setting allows us to study the analytic properties of CCFT correlators exactly as a function of the conformal dimensions. We find that the correlators exist as real distributions of the conformal weights, with asymptotics controlled by the mass spectrum and three-point couplings of the model. Coupling these models to a flat space limit of JT gravity preserves integrability and dresses the amplitudes by a rapidly varying gravitational phase. We find that the coupling to gravity smooths out certain singular aspects of the Mellin-transformed correlators.

2D Gravity↗

Temporal sequence transformer to advance long-term streamflow prediction

Accurate streamflow prediction is crucial for understanding climate change impacts on water resources and for effective management of extreme hydrological events. While Long Short-Term Memory (LSTM) networks have been the dominant data-driven approach for streamflow forecasting, recent advancements in transformer architectures for time series tasks have shown promise in outperforming traditional LSTM models. This study introduces a transformer-based model that integrates historical streamflow data with climatic variables to enhance streamflow prediction accuracy. We evaluated our transformer model against a benchmark LSTM across five diverse basins in the United States. Results demonstrate that the transformer architecture consistently outperforms the LSTM model across all evaluation metrics, highlighting its potential as a more effective tool for hydrological forecasting. This research contributes to the ongoing development of advanced AI techniques for improved water resource management and climate change adaptation strategies.

Singh, Ruhaan [Farragut High School]↗

Approximation of periodic Green's operator in real space using numerical integration and its use in fast Fourier transform-based micromechanical models

In this work, we propose an expression for the periodic first derivative of Green's function in real space. The proposed expression allows an alternative way of computing the periodic Green's operator based on periodically summing the free-space Green's operator in terms of an appropriate quadrature rule. We provide computational examples, which show the accuracy of the proposed approach, together with reduced spurious oscillations in the solution fields.

42 ENGINEERING↗

Martensitic transformation in superlattices of two non-transforming metals

A number of studies have shown that the coherent integration of a second non-transforming phase in martensitic materials results in unprecedented thermo-mechanical properties. We demonstrate the possibility of martensitic transformation by epitaxially combining two non-transforming materials, Mg (hexagonal closed packed) and MgLi (body centered cubic). Density functional theory calculations predict that MgLi/Mg superlattices undergo a transformation crystallographically equivalent to MgSc alloys and can be expected to result in finite temperature shape memory behavior. We predict the zero-temperature energy of the martensite phase to be 9.3 meV/atom lower than austenite for a 50–50 at. % MgLi/Mg nanolaminate, which is expected to result in a martensitic transformation temperature of approximately 150 K. This energy difference can be tuned between 4.9 and 18.1 meV/atom by varying the fraction of the pure Mg phase in the superlattice, potentially enabling the transformation from cryogenic to room and higher temperatures. While Li diffusion might limit the applications of the systems proposed, this work opens the door to a new approach to create martensitic materials.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Dynamic STEM-EELS for single-atom and defect measurement during electron beam transformations

This study introduces the integration of dynamic computer vision–enabled imaging with electron energy loss spectroscopy (EELS) in scanning transmission electron microscopy (STEM). This approach involves real-time discovery and analysis of atomic structures as they form, allowing us to observe the evolution of material properties at the atomic level, capturing transient states traditional techniques often miss. Rapid object detection and action system enhances the efficiency and accuracy of STEM-EELS by autonomously identifying and targeting only areas of interest. This machine learning (ML)–based approach differs from classical ML in that it must be executed on the fly, not using static data. We apply this technology to V-doped MoS 2 , uncovering insights into defect formation and evolution under electron beam exposure. This approach opens uncharted avenues for exploring and characterizing materials in dynamic states, offering a pathway to increase our understanding of dynamic phenomena in materials under thermal, chemical, and beam stimuli.

47 OTHER INSTRUMENTATION↗

Addressing Human and Organizational Factors in Nuclear Industry Modernization: An Operationally Focused Approach to Process and Methodology

Utility owners and operators of commercial nuclear power plants in the United States (U.S.) are and will be modernizing their nuclear power plants by performing a digital transformation involving design of an integrated set of systems that together enable a technology centric operating plant. The Plant Modernization Pathway of the U.S. Department of Energy Light Water Reactor Sustainability Program has a strategic action plan that lays the groundwork for a digital transformation of the nuclear industry. The model for this transformation is an advanced concept of operations, with an end point vision, “To achieve the maximum aggregate benefit enabled by this digital transformation.” To achieve this, the digital infrastructure for a nuclear plant must be designed as an integrated set of systems that together enable a technology centric operating model. The digital transformation process obviously needs to involve technology considerations and systems engineering, but it also needs to include human and organizational expertise. Thus, human and organizational factors, including sociotechnical systems methods and techniques (e.g., Cognitive Systems Engineering, Systems Theoretic Accident Modeling and Processes, human systems integration, and Macroergonomics) need to be considered for digital transformation projects in order to effectively integrate human and organizational expertise efforts into the new work system that results from nuclear power plant digital modernization. That is, the work system is the basic unit of sociotechnical systems analysis and contains three components: personnel, technical, and organization and management. These components should be jointly optimized with respect to the interdependence of systems performance criteria of effectiveness, efficiency and safety. Joint optimization can be achieved through the application of three human and organization functions: knowledge representation, knowledge elicitation, and cross-functional integration. This report provides a strategic framework for effective integration of human and organizational expertise within nuclear power plant digital modernization efforts.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

Quadrature Based Neural Network Learning of Stochastic Hamiltonian Systems

Hamiltonian Neural Networks (HNNs) provide structure-preserving learning of Hamiltonian systems. In this paper, we extend HNNs to structure-preserving inversion of stochastic Hamiltonian systems (SHSs) from observational data. We propose the quadrature-based models according to the integral form of the SHSs’ solutions, where we denoise the loss-by-moment calculations of the solutions. The integral pattern of the models transforms the source of the essential learning error from the discrepancy between the modified Hamiltonian and the true Hamiltonian in the classical HNN models into that between the integrals and their quadrature approximations. This transforms the challenging task of deriving the relation between the modified and the true Hamiltonians from the (stochastic) Hamilton–Jacobi PDEs, into the one that only requires invoking results from the numerical quadrature theory. Meanwhile, denoising via moments calculations gives a simpler data fitting method than, e.g., via probability density fitting, which may imply better generalization ability in certain circumstances. Numerical experiments validate the proposed learning strategy on several concrete Hamiltonian systems. The experimental results show that both the learned Hamiltonian function and the predicted solution of our quadrature-based model are more accurate than that of the corrected symplectic HNN method on a harmonic oscillator, and the three-point Gaussian quadrature-based model produces higher accuracy in long-time prediction than the Kramers–Moyal method and the numerics-informed likelihood method on the stochastic Kubo oscillator as well as other two stochastic systems with non-polynomial Hamiltonian functions. Moreover, the Hamiltonian learning error εH arising from the Gaussian quadrature-based model is lower than that from Simpson’s quadrature-based model. These demonstrate the superiority of our approach in learning accuracy and long-time prediction ability compared to certain existing methods and exhibit its potential to improve learning accuracy via applying precise quadrature formulae.

Mathematics↗

Analysis and Planning Framework for Nuclear Plant Transformation

Commercial nuclear power in the United States has been an unqualified success by any measure, providing low cost, carbon-free, and safe baseload electricity for decades. The industry today is at the peak of its historical performance in terms of generation output, reliable operations, and demonstrated nuclear safety. However, it is no longer among the lowest-cost electric generation sources with the emergence of subsidized renewables and shale gas generation. The business model that has served the operating nuclear fleet so well over its life is now a drag on cost performance due to its reliance on a large highly skilled labor force. In contrast, digital technology and innovation are enabling dramatic efficiencies in energy production, resulting in fierce competition for a commodity such as electricity. The nuclear power industry has responded to this challenge with many initiatives to improve efficiency and modernize plant equipment, especially where reliability and obsolescence issues are pressing. However, it would be a missed opportunity to merely modernize the plant components and the work processes of an outdated business model that was formulated to manage the technology of the 1960s. Rather, the greater opportunity is to transform that business model to one that fully exploits the capabilities of modern digital technology, resulting in substantially lower production costs and sustainable market viability. One successful example of such transformation is the concept of Integrated Operations, which was introduced into the North Sea oil and gas industry a couple of decades ago when the profitability of operating these fields was severely threatened by low world petroleum prices and the high overhead of operating the offshore oil and gas platforms. This effort resulted in significant changes to how these oil fields were operated and allowed the industry to continue profitable operation of these platforms. This example has some remarkable parallels to the U.S. commercial nuclear industry as described in the next section. This report provides an analysis and planning framework for such a nuclear plant operating model transformation based on the transferable learnings from the North Sea transformation. This framework is termed Integrated Operations for Nuclear or ION. This report describes the key principles and methods of Integrated Operations and how they are being applied in a collaboration between the DOE Light Water Reactor Sustainability Program and Xcel Energy in an initiative to transform its operating model for performance improvement and long-term sustainability. It describes a method to bring the operating costs of a nuclear fleet in line with market-based pricing, transforming work functions to reduce cost with technology innovations. This initiative will continue over the next several years in the detailed development of transformative concepts for nuclear plants, which will be published as follow-up to this initial report on Integrated Operations for Nuclear.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗