SEARCH · Search NASA
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.
The reduction algorithm for systems with integrators is derived. The algorithm is based on balancing the antigrammians and has the same computational effectiveness as the regular balancing procedure. It was applied to the reduction of the NASA Deep Space Network antenna model. As a result, the 90-state model has been reduced to a 27-state model, which preserves the full-model properties.
The Control of Flexible Structures (COFS) 1 Project provides the invaluable opportunity to test, validate, and measure the effectiveness of theories, structural concepts, control systems, and flight certification processes for future missions through a research program focusing on multiple issues in large flexible structures, dynamics, and controls. The COFS 1 Project consists of a series of ground and flight activities building progressively from modeling and dynamic characterization of large space systems to the more complex issues of flexible-body control. The program objectives are to: determine the degree to which theory and ground testing can predict flight performance of next-generation low-frequency structures; evaluate structural fidelity of representative next-generation large deployable precision structure; assess math modeling requirements for large lightweight complex systems on which ground test results are questionable; determine degree to which scale model analysis and tests can be correlated to full-scale performance; evaluate system identification and state estimation algorithms on complex lightweight structures in the space environment; evaluate and verify controls/structures modeling capability; evaluate control laws and control systems; and evaluate damping effects in micro-g environment.
We use neural nets to construct nonlinear models to forecast the AL index given solar wind and interplanetary magnetic field (IMF) data. We follow two approaches: (1) the state space reconstruction approach, which is a nonlinear generalization of autoregressive-moving average models (ARMA) and (2) the nonlinear filter approach, which reduces to a moving average model (MA) in the linear limit. The database used here is that of Bargatze et al. (1985).
In this paper, we present a quantitative analysis of the robustness of a reduced-order pole-assignment state-space self-tuning controller for a multivariable adaptive control system whose order of the real process is higher than that of the model used in the controller design. The result of stability analysis shows that, under a specific bounded modelling error, the adaptively controlled closed-loop real system via the reduced-order state-space self-tuner is BIBO stable in the presence of unmodelled dynamics.
A new method for frequency-domain identification of rotorcraft dynamics is presented. Nonparametric frequency-response identification and parametric tranfer-function modeling methods are extended to allow the extraction of state-space (stability and control derivative) representations. An interactive computer program DERIVID is described for the iterative solution of the multi-input/multi-output frequency-response matching approach used in the identification. Theoretical accuracy methods are used to determine the appropriate model structure and degree-of-confidence in the identified parameters. The method is applied to XV-15 tilt-rotor aircraft data in hover. Bare-airframe stability and control derivatives for the lateral/directional dynamics are shown to compare favorably with models previously obtained using time-domain identification methods and the XV-15 simulation program.
A new method for frequency-domain identification of rotorcraft dynamics is presented. Nonparametric frequency-response identification and parametric transfer-function modeling methods are extended to allow the extraction of state-space (stability and control derivative) representations. An interactive computer program DERIVID is described for the iterative solution of the multi-input/multi-output frequency-response matching approach used in the identification. Theoretical accuracy methods are used to determine the appropriate model structure and degree-of-confidence in the identified parameters. The method is applied to XV-15 tilt-rotor aircraft data in hover. Bare-airframe stability and control derivatives for the lateral/directional dynamics are shown to compare favorably with models previously obtained using time-domain identification methods and the XV-15 simulation program.
This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.
The United States’ National Aeronautics and Space Administration (NASA) has announced that the Artemis Program will return humans to the Moon, establishing a persistent presence with the Artemis Base Camp (ABC), and extend human exploration to Mars. The NASA Exploration Systems Simulations (NExSyS) team at NASA’s Johnson Space Center is using internationally developed simulation interoperability standards and NASA open source simulation tools to support Artemis concept, analysis, designs, development, training, and ultimately operations. The NExSyS team has been tasked to support early ABC architecture and mission analysis using mission time lines developed by the crew operations mission planning team. The NExSyS team is developing a distributed simulation framework with initial Artemis element implementations to model the ABC mission timelines using the international simulation interoperability standard High Level Architecture (HLA), the Simulation Interoperability Standards Organization’s Space Reference Federation Object Model (SpaceFOM), the NASA open source Trick Simulation Environment, and another NASA open source interface package called TrickHLA. The ABC architecture is composed of a number of key surface elements and resources. Some examples of modeled elements (also known as entities) are landers, habitats, rovers, logistics carriers, and astronauts. Some examples of modeled transferable and consumable resources are power, water, oxygen, nitrogen, scientific samples, and food. These entities and resources are modeled in a collection of individual simulations called Federates. A coordinated collection of interoperable federates is called a Federation and when these federates are tied together in a coordinated simulation run, it is referred to as a Federation Execution. The federates communicate through HLA using data exchange formats defined by a collection of machine readable files called Federation Object Models (FOMs). These FOM files are based on extensions to the SpaceFOM. This enables the instantiation and sharing of objects and interactions between federates in the federation. These provide for entity and resource tracking, object transfer, and data collection. Federate interactions are used to trigger events and notify federates of entity or resource transfers. For the initial implementation, the constituent federates are Trick-based simulations that use TrickHLA to provide the required HLA-base interoperability. These Trick-based simulations provide the required modeling for the individual Artemis elements along with the associated element resources. These federates provide a means to explore traverses between surface elements and exploration sites as scheduled in a mission timeline and explore the affects traverse times have on the overall mission timeline. The mission time lines are modeled using a Trick input file event handling capabilities. Each timeline operation is handled as individual simulation events, and triggered based on previous event status, time of operation, and simulated task completions. In addition, the ABC Federation can be used to perform Monte Carlo analysis. The Monte Carlo tool can vary the inputs, timings, and malfunctions to show how various contingencies in the mission can affect the mission timeline.
Recently, the physics of many-body quantum chaotic systems close to their ground states has come under intensified scrutiny. Such studies are motivated by the emergence of model systems exhibiting chaotic fluctuations throughout the entire spectrum [the Sachdev-Ye-Kitaev (SYK) model being a renowned representative] as well as by the physics of holographic principles, which likewise unfold close to ground states. Interpreting the edge of the spectrum as a quantum critical point, here we combine a wide range of analytical and numerical methods to the identification and comprehensive description of two different universality classes: the near edge physics of “sparse” and the near edge of “dense” chaotic systems. The distinction lies in the ratio between the number of a system's random parameters and its Hilbert space dimension, which is exponentially small or algebraically small in the sparse and dense case, respectively. Notable representatives of the two classes are generic chaotic many-body models (sparse) and invariant random matrix ensembles or chaotic gravitational systems (dense). While the two families share identical spectral correlations at energy scales comparable to the level spacing, the density of states and its fluctuations near the edge are different. Considering the SYK model as a representative of the sparse class, we apply a combination of field theory and exact diagonalization to a detailed discussion of its edge spectrum. Conversely, Jackiw-Teitelboim gravity is our reference model for the dense class, where an analysis of the gravitational path integral and random matrix theory reveal universal differences to the sparse class, whose implications for the construction of holographic principles we discuss. Published by the American Physical Society 2024
Current and future accelerator neutrino oscillation experiments need neutrino interaction models with smaller systematic uncertainties to resolve much of delta CP phase space. Final state interactions (FSI) and scattering off of correlated nuclei (2p2h) are poorly understood processes that currently contribute large uncertainties to leading models. These processes have proven difficult to study because they often produce relatively low energy nucleons. Protons up to about 100 MeV are below the detection threshold of some accelerator neutrino detectors, and neutrons are usually discounted as undetectable. This poster presents a measurement of the multi-neutron antineutrino cross section at low available energy using the MINERvA detector at Fermilab. This interaction channel is particularly sensitive to FSI and 2p2h interactions. A sideband-driven background constraint that greatly reduces uncertainties on the result will be presented. The measured cross section is compared to GENIE v3 models with different FSI treatments and the SuSA model's 2p2h predictions.
The ability of recurrent neural networks (RNN) to model nonlinear dynamics of high dimensional process data has enabled data-driven RNN-based fault detection algorithms. Previous studies have focused on detecting faults by identifying the discrepancies in data distribution between the faulty and normal data, as reflected in prediction errors generated by RNN models. However, in industrial processes, variations in data distribution can also result from changes in normal control setpoints and compensatory control adjustments in response to disturbances, making it hard to differentiate between normal and faulty conditions. This paper proposes a fault detection method utilizing a long short-term memory (LSTM) encoder–decoder structure with regularized hidden dynamics and reversible instance normalization (RevIN) to compactly represent high-dimensional measurements for effective monitoring. During training, the hidden states of the model are regularized to form a low-dimensional latent space representation of the original multivariate time series data. As a result, the prediction errors of the latent states can be used to monitor the abnormal dynamic variations, while the reconstruction errors of the measured variables are used to monitor the abnormal static variations. Furthermore, the proposed indices can reflect operating conditions, even when the distribution of test data changes, which helps distinguish faults from normal adjustments and disturbances that controllers can settle. Here, data from numerical simulation and the Tennessee Eastman process are used to illustrate the effectiveness of the proposed fault detection method.
Classical models of the electrochemical interface can be applied to complex and dynamic electrodes to understand important mechanisms that are relevant to device-level phenomena like calendar aging or cycle life. Here, we show that negative alloy electrodes with wide electrochemical windows cannot be assumed to have static interfaces throughout all states of charge. Under high states of charge, the interface -including the solid electrolyte interphase - has characteristics that resemble a highly polarized electrode far from the point of zero charge. Under these conditions, the interface can be understood through the Helmholtz model. At lower states of charge, the interface capacitance decreases and the space charge layer length increases. This transformation resembles a metal electrode approaching the point of zero charge which is understood through the Gouy-Chapman-Stern-Grahame model of the electrochemical interface. This transformation happens at both silicon and carbon-coated silicon interfaces. From voltage-limited cycling experiments, in the limit of the diffuse double layer, the silicon electrode impedance rises significantly in the first few cycles. This rise is related to the continuous electrochemical reduction of electrolyte components from an interface that is not electronically screened from the electrolyte. In other words, an electrode interface for batteries should resemble a 'Helmholtz-like' structure.
We present a fast and accurate data-driven surrogate model for divertor plasma detachment prediction leveraging the latent feature space concept in machine learning research. Our approach involves constructing and training two neural networks: an autoencoder that finds a proper latent space representation (LSR) of plasma state by compressing the multi-modal diagnostic measurements and a forward model using multi-layer perception (MLP) that projects a set of plasma control parameters to its corresponding LSR. By combining the forward model and the decoder network from autoencoder, this new data-driven surrogate model is able to predict a consistent set of diagnostic measurements based on a few plasma control parameters. In order to ensure that the crucial detachment physics is correctly captured, highly efficient 1D UEDGE model is used to generate training and validation data in this study. The benchmark between the data-driven surrogate model and UEDGE simulations shows that our surrogate model is capable of providing accurate detachment prediction (usually within a few per cent relative error margin) but with at least four orders of magnitude speed-up, indicating that performance-wise, it has the potential to facilitate integrated tokamak design and plasma control. Comparing with the widely used two-point model and/or two-point model formatting, the new data-driven model features additional detachment front prediction and can be easily extended to incorporate richer physics. This study demonstrates that the complicated divertor and scrape-off-layer plasma state has a low-dimensional representation in latent space. Understanding plasma dynamics in latent space and utilising this knowledge could open a new path for plasma control in magnetic fusion energy research.
Generative deep learning techniques are employed in a novel framework for the construction of surrogate models capturing the spatiotemporal dynamics of 2D plasma turbulence. The proposed Generative Artificial Intelligence Turbulence (GAIT) framework enables the acceleration of turbulence simulations for long-time transport studies. GAIT leverages a convolutional variational auto-encoder and a recurrent neural network to generate new turbulence data from existing simulations, extending the time horizon of transport studies with minimal computational cost. The application of the GAIT framework to plasma turbulence using the Hasegawa–Wakatani (HW) model is presented, evaluating its performance via various analyses. Very good agreement is found between the GAIT and the HW models in the spatiotemporal Fourier and Proper Orthogonal Decomposition spectra, the flow topology characterized by the Okubo–Weiss parameter, and the time autocorrelation function of turbulent fluctuations. Excellent agreement has also been obtained in the probability distribution function of particle displacements and the effective turbulent diffusivity. In-depth analyses of the latent space of turbulent states, choice of hyperparameters and alternative deep learning models for the time prediction are presented. Our results highlight the potential of Artificial Intelligence-based surrogate models to overcome the computational challenges in turbulence simulation, which can be extended to other situations such as geophysical fluid dynamics.
This final report summarizes all research activities and publications undertaken as part of NASA Atmospheric Chemistry and Modeling Analysis Program (ACMAP) Grant NAG-1-2022, 'A Climatology of Tropospheric CO over the Central and Southeastern United States and the Southwestern Pacific Ocean Derived from Space, Air, and Ground-based Infrared Interferometer Spectra'. Major project accomplishments include: (1) analysis of more than 300,000 AERI spectra from the ARM SGP site yielding a 5-year (1998-2002) timeseries of CO retrievals from the Lamont, OK AERI; (2) development of a prototype CO profile retrieval algorithm for AERI spectra; (3) validation and publication of the first CO retrievals from the Scanning High-resolution Interferometer Sounder (SHIS); and (4) development of a prototype AERI tropospheric O3 retrieval algorithm. Compilation and publication of the 5-year Lamont, OK timeseries is underway including a new collaboration with scientists at the Lawrence Berkeley National Laboratory. Public access to this data will be provided upon article submission. A comprehensive CO analysis of the archive of HIS spectra of remains as the only originally proposed activity with little progress. The greatest challenge faced in this project was motivating the University of Wisconsin Co-Investigators to deliver their archived HIS and AERIOO data along with the requisite temperature and water vapor profiles in a timely manner. Part of the supplied HIS dataset from ASHOE may be analyzed as part of a Master s Thesis under a separate project. Our success with the SAFARI 2000 SHIS CO analysis demonstrates the utility of such aircraft remote sensing data given the proper support from the instrument investigators. In addition to the PI and Co-I s, personnel involved in this CO climatology project include one Post Doctoral Fellow, one Research Scientist, two graduate students, and two undergraduate students. A total of fifteen presentations regarding research related to this project were delivered at eleven different scientific meetings. Thus far, three publications have resulted from this project with another five in preparation. No subject inventions resulted from this research project.
We use a general circulation model (NASA Goddard Institute for Space Studies GCM 3) to investigate the regional climate response to removal of aerosols over the United States. We perform a pair of transient 2010e2050 climate simulations following a scenario of increasing greenhouse gas concentrations, with and without aerosols over the United States and with present-day aerosols elsewhere. We find that removing U.S. aerosol significantly enhances the warming from greenhouse gases in a spatial pattern that strongly correlates with that of the aerosol. Warming is nearly negligible outside the United States, but annual mean surface temperatures increase by 0.4e0.6 K in the eastern United States. Temperatures during summer heat waves in the Northeast rise by as much as 1e2 K due to aerosol removal, driven in part by positive feedbacks involving soil moisture and low cloud cover. Reducing U.S. aerosol sources to achieve air quality objectives could thus have significant unintended regional warming consequences.
Realizing odd-parity, time-reversal-preserving, nonrelativistic spin splitting is a central goal for spintronics applications. We propose a group-theory-based microscopic framework to induce odd-parity spin splitting from coplanar antiferromagnetic (AFM) states without spin-orbit coupling (SOC). We develop phenomenological models for 421 conventional period-doubling AFM systems in nonsymmorphic space groups and construct minimal microscopic models for 119 of these. We find that these AFM states can attain three possible competing ground states. These ground states all break symmetries in addition to those broken by the usual AFM order. Specifically, they give rise to either odd-parity spin-splitting, nematic order, or scalar odd-parity order related to multiferroicity. Our microscopic theories reveal that the odd-parity spin-splitting energy scale is generically large and further reveal that the scalar odd-parity order gives a nonzero Berry curvature dipole without SOC. We identify 67 materials in the Magndata database for which our theory applies. We provide density-functional theory (DFT) calculations on Fe-based materials that reveal an ℎ-wave spin splitting consistent with our symmetry arguments and apply our microscopic model to determine the nonrelativistic Edelstein response for CeNiAsO.
The Direct Accelerated Geometry for Radiation Analysis and Design (DAGRAD) element of the RadWorks Project under Advanced Exploration Systems (AES) within the Space Technology Mission Directorate (STMD) of NASA will enable new designs and concepts of operation for radiation risk assessment, mitigation and protection. This element is designed to produce a solution that will allow NASA to calculate the transport of space radiation through complex computer-aided design (CAD) models using the state-of-the-art analytic and Monte Carlo radiation transport codes. Due to the inherent hazard of astronaut and spacecraft exposure to ionizing radiation in low-Earth orbit (LEO) or in deep space, risk analyses must be performed for all crew vehicles and habitats. Incorporating these analyses into the design process can minimize the mass needed solely for radiation protection. Transport of the radiation fields as they pass through shielding and body materials can be simulated using Monte Carlo techniques or described by the Boltzmann equation, which is obtained by balancing changes in particle fluxes as they traverse a small volume of material with the gains and losses caused by atomic and nuclear collisions. Deterministic codes that solve the Boltzmann transport equation, such as HZETRN [high charge and energy transport code developed by NASA Langley Research Center (LaRC)], are generally computationally faster than Monte Carlo codes such as FLUKA, GEANT4, MCNP(X) or PHITS; however, they are currently limited to transport in one dimension, which poorly represents the secondary light ion and neutron radiation fields. NASA currently uses HZETRN space radiation transport software, both because it is computationally efficient and because proven methods have been developed for using this software to analyze complex geometries. Although Monte Carlo codes describe the relevant physics in a fully three-dimensional manner, their computational costs have thus far prevented their widespread use for analysis of complex CAD models, leading to the creation and maintenance of toolkit-specific simplistic geometry models. The work presented here builds on the Direct Accelerated Geometry Monte Carlo (DAGMC) toolkit developed for use with the Monte Carlo N-Particle (MCNP) transport code. The workflow for achieving radiation transport on CAD models using MCNP and FLUKA has been demonstrated and the results of analyses on realistic spacecraft/habitats will be presented. Future work is planned that will further automate this process and enable the use of multiple radiation transport codes on identical geometry models imported from CAD. This effort will enhance the modeling tools used by NASA to accurately evaluate the astronaut space radiation risk and accurately determine the protection provided by as-designed exploration mission vehicles and habitats