Search NASA⌕ Search

SEARCH · Search NASA

Results for “integral transforms”

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

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)↗

Compression of transmission bandwidth requirements for a certain class of band-limited functions.

A study of source-encoding techniques that afford a reduction of data-transmission rates is made with particular emphasis on the compression of transmission bandwidth requirements of band-limited functions. The feasibility of bandwidth compression through analog signal rooting is investigated. It is found that the N-th roots of elements of a certain class of entire functions of exponential type possess contour integrals resembling Fourier transforms, the Cauchy principal values of which are compactly supported on an interval one N-th the size of that of the original function. Exploring this theoretical result, it is found that synthetic roots can be generated, which closely approximate the N-th roots of a certain class of band-limited signals and possess spectra that are essentially confined to a bandwidth one N-th that of the signal subjected to the rooting operation. A source-encoding algorithm based on this principle is developed that allows the compression of data-transmission requirements for a certain class of band-limited signals.

Smith, I. R.↗

Effects of gravity-gradient torque on the rotational motion of a triaxial satellite in a precessing elliptic orbit.

A method of general perturbations, based on the use of Lie series to generate approximate canonical transformations, is applied to study the effects of gravity-gradient torque on the rotational motion of a triaxial, rigid satellite. The center of mass of the satellite is constrained to move in an elliptic orbit about an attracting point mass. The orbit, which has a constant inclination, is free to precess and spin. The method of general perturbations is used to obtain the Hamiltonian for the nonresonant secular and long-period rotational motion of the satellite. The differential equations derivable from the transformed Hamiltonian are integrable, and the solution for the long-term motion may be expressed in terms of Jacobian elliptic functions and elliptic integrals. Geometrical aspects of the long-term rotational motion are discussed, and a comparison of theoretical results with observations is made.

Cochran, J. E.↗

Electromagnetic and scalar diffraction by a right-angled wedge with a uniform surface impedance

The diffraction of an electromagnetic wave by a perfectly-conducting right-angled wedge with one surface covered by a dielectric slab or absorber is considered. The effect of the coated surface is approximated by a uniform surface impedance. The solution of the normally incident electromagnetic problem is facilitated by introducing two scalar fields which satisfy a mixed boundary condition on one surface of the wedge and a Neumann of Dirichlet boundary condition on the other. A functional transformation is employed to simplify the boundary conditions so that eigenfunction expansions can be obtained for the resulting Green's functions. The eigenfunction expansions are transformed into the integral representations which then are evaluated asymptotically by the modified Pauli-Clemmow method of steepest descent. A far zone approximation is made to obtain the scattered field from which the diffraction coefficient is found for scalar plane, cylindrical or sperical wave incident on the edge. With the introduction of a ray-fixed coordinate system, the dyadic diffraction coefficient for plane or cylindrical EM waves normally indicent on the edge is reduced to the sum of two dyads which can be written alternatively as a 2 X 2 diagonal matrix.

Hwang, Y. M.↗

Long-term motion in a restricted problem of rotational motion

A method of general perturbations, based on the use of Lie series to generate approximate canonical transformations, is applied to study the long-term effects of gravity-gradient torque and orbital evolution on the rotational motion of a triaxial, rigid satellite. The center of mass of the satellite is constrained to move in an elliptic orbit about an attracting point mass. The orbit, which has a constant inclination, is constrained to precess and spin with constant rates. The method of general perturbations is used to obtain the Hamiltonian for the nonresonant secular and long-period rotational motion of the satellite to second order in n/omega sub 0, where n is the orbital mean motion of the center of mass and omega sub 0 is a reference value of the magnitude of the satellite's rotational angular velocity. The differential equations derivable from the transformed Hamiltonian are integrable, and the solution for the long-term motion may be expressed in terms of Jacobian elliptic functions and elliptic integrals. Geometrical aspects of the long-term rotational motion are discussed, and a comparison of theoretical results with observations is made.

Cochran, J. E.↗

On upstream blocking in a viscous diffusive stratified flow

The effect of diffusion of specie upon the flow about a transverse flat plate moving horizontally in a viscous stratified medium is considered. Asymptotic expansions are used to define a parameter regime where a viscous-diffusive-buoyancy balance is dominant. The solution, expressed in terms of an inverse Fourier transform, is numerically integrated. The results show that, as in the non-diffusive problem, a region of closed streamlines exists ahead of the body. However, unlike the case where diffusion is neglected, the density field within this recirculating region is uniquely determined and found to be statically stable. It is also found that varying the relative amount of diffusion affects not only the density distribution, but the velocity profile as well, indicating a strong coupling between the vorticity and specie equation.

Koop, C. G.↗

System design package for the solar heating and cooling central data processing system

The central data processing system provides the resources required to assess the performance of solar heating and cooling systems installed at remote sites. These sites consist of residential, commercial, government, and educational types of buildings, and the solar heating and cooling systems can be hot-water, space heating, cooling, and combinations of these. The instrumentation data associated with these systems will vary according to the application and must be collected, processed, and presented in a form which supports continuity of performance evaluation across all applications. Overall software system requirements were established for use in the central integration facility which transforms raw data collected at remote sites into performance evaluation information for assessing the performance of solar heating and cooling systems.

Source record↗

Theoretical determination of nozzle admittances using a finite element method

A finite element method (FEM) is used to predict the admittances of axisymmetric nozzles. The flow in the nozzle is assumed to be isentropic and the disturbances are assumed to be small so that linear analyses apply. An approximate two dimensional compressible flow model is used to describe the steady flow in the nozzle. The propagation of acoustic disturbances is governed by the complete linear acoustic wave equation. This partial differential wave equation is transformed to an integral equation using Galerkin's method and Green's theorem is applied so that the acoustic boundary conditions can be introduced through the boundary residuals. A two dimensional finite element method using linear triangular elements is used to solve the integral acoustic equation. A one dimensional FEM is used to solve the reduced nozzle acoustic equation developed by Crocco and the solution is used to verify the sufficiency of the boundary residual formation. It is shown that agreement between predicted values of the admittance and experimental data is quite good.

Sigman, R. K.↗

Theoretical determination of nozzle admittances using a finite element approach

A finite element method is used to predict the admittances of axisymmetric nozzles. It is assumed that the flow in the nozzle is isentropic and irrotational, and the disturbances are small so that linear analyses apply. An approximate, two dimensional compressible model is used to describe the steady flow in the nozzle. The propagation of acoustic disturbances is governed by the complete linear wave equation. The differential form of the acoustic equation is transformed to an integral equation using Galerkin's method, and Green's theorem is applied so that the acoustic boundary conditions can be introduced through the boundary residuals. A two-dimensional FEM using linear elements is used to solve the acoustic equation. A one dimensional FEM is also used to solve the reduced equation of Crocco, and the solution verifies the sufficiency of the boundary residual formulation. Comparison between computed admittances and experimental data is shown to be quite good.

Sigman, R. K.↗

Vector analogues of the Maggi-Rubinowicz theory of edge diffraction

The Maggi-Rubinowicz technique for scalar and electromagnetic fields is interpreted as a transformation of an integral over an open surface to a line integral around its rim. Maggi-Rubinowicz analogues are found for several vector physical optics representations. For diffraction from a circular aperture, a numerical comparison between these formulations shows the two methods are in agreement. To circumvent certain convergence difficulties in the Maggi-Rubinowicz integrals that occur as the observer approaches the shadow boundary, a variable mesh integration is used. For the examples considered, where the ratio of the aperture diameter to wavelength is about ten, the Maggi-Rubinowicz formulation yields an 8 to 10 fold decrease in computation time relative to the physical optics formulation.

Meneghini, R.↗