Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Variational methods”

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 1,171 records · Page 65

Terrain Portrayal for Synthetic Vision Systems Head-Down Displays Evaluation Results

A critical component of SVS displays is the appropriate presentation of terrain to the pilot. At the time of this study, the relationship between the complexity of the terrain presentation and resulting enhancements of pilot SA and pilot performance had been largely undefined. The terrain portrayal for SVS head-down displays (TP-HDD) simulation examined the effects of two primary elements of terrain portrayal on the primary flight display (PFD): variations of digital elevation model (DEM) resolution and terrain texturing. Variations in DEM resolution ranged from sparsely spaced (30 arc-sec) to very closely spaced data (1 arc-sec). Variations in texture involved three primary methods: constant color, elevation-based generic, and photo-realistic, along with a secondary depth cue enhancer in the form of a fishnet grid overlay.

Hughes, Monica F.↗

Symbolic LTL Compilation for Model Checking: Extended Abstract

In Linear Temporal Logic (LTL) model checking, we check LTL formulas representing desired behaviors against a formal model of the system designed to exhibit these behaviors. To accomplish this task, the LTL formulas must be translated into automata [21]. We focus on LTL compilation by investigating LTL satisfiability checking via a reduction to model checking. Having shown that symbolic LTL compilation algorithms are superior to explicit automata construction algorithms for this task [16], we concentrate here on seeking a better symbolic algorithm.We present experimental data comparing algorithmic variations such as normal forms, encoding methods, and variable ordering and examine their effects on performance metrics including processing time and scalability. Safety critical systems, such as air traffic control, life support systems, hazardous environment controls, and automotive control systems, pervade our daily lives, yet testing and simulation alone cannot adequately verify their reliability [3]. Model checking is a promising approach to formal verification for safety critical systems which involves creating a formal mathematical model of the system and translating desired safety properties into a formal specification for this model. The complement of the specification is then checked against the system model. When the model does not satisfy the specification, model-checking tools accompany this negative answer with a counterexample, which points to an inconsistency between the system and the desired behaviors and aids debugging efforts.

Rozier, Kristin Y.↗

Tunnel effect measuring systems and particle detectors

Methods and apparatus for measuring gravitational and inertial forces, magnetic fields, or wave or radiant energy acting on an object or fluid in space provide an electric tunneling current through a gap between an electrode and that object or fluid in space and vary that gap with any selected one of such forces, magnetic fields, or wave or radiant energy acting on that object or fluid. These methods and apparatus sense a corresponding variation in an electric property of that gap and determine the latter force, magnetic fields, or wave or radiant energy in response to that corresponding variation, and thereby sense or measure such parameters as acceleration, position, particle mass, velocity, magnetic field strength, presence or direction, or wave or radiant energy intensity, presence or direction.

Kaiser, William J.↗

Tunnel effect measuring systems and particle detectors

Methods and apparatus for measuring gravitational and inertial forces, magnetic fields, or wave or radiant energy acting on an object or fluid in space provide an electric tunneling current through a gap between an electrode and that object or fluid in space and vary that gap with any selected one of such forces, magnetic fields, or wave or radiant energy acting on that object or fluid. These methods and apparatus sense a corresponding variation in an electric property of that gap and determine the latter force, magnetic fields, or wave or radiant energy in response to that corresponding variation, and thereby sense or measure such parameters as acceleration, position, particle mass, velocity, magnetic field strength, presence or direction, or wave or radiant energy intensity, presence or direction.

Kaiser, William J.↗

Tunnel effect wave energy detection

Methods and apparatus for measuring gravitational and inertial forces, magnetic fields, or wave or radiant energy acting on an object or fluid in space provide an electric tunneling current through a gap between an electrode and that object or fluid in space and vary that gap with any selected one of such forces, magnetic fields, or wave or radiant energy acting on that object or fluid. These methods and apparatus sense a corresponding variation in an electric property of that gap and determine the latter force, magnetic fields, or wave or radiant energy in response to that corresponding variation, and thereby sense or measure such parameters as acceleration, position, particle mass, velocity, magnetic field strength, presence or direction, or wave or radiant energy intensity, presence or direction.

Kaiser, William J.↗

Tunnel effect measuring systems and particle detectors

Methods and apparatus for measuring gravitational and inertial forces, magnetic fields, or wave or radiant energy acting on an object or fluid in space provide an electric tunneling current through a gap between an electrode and that object or fluid in space and vary that gap with any selected one of such forces, magnetic fields, or wave or radiant energy acting on that object or fluid. These methods and apparatus sense a corresponding variation in an electric property of that gap and determine the latter force, magnetic fields, or wave or radiant energy in response to that corresponding variation, and thereby sense or measure such parameters as acceleration, position, particle mass, velocity, magnetic field strength, presence or direction, or wave or radiant energy intensity, presence or direction.

Kaiser, William J.↗

Small Body Landing Accuracy Using In-Situ Navigation

Spacecraft landings on small bodies (asteroids and comets) can require target accuracies too stringent to be met using ground-based navigation alone, especially if specific landing site requirements must be met for safety or to meet science goals. In-situ optical observations coupled with onboard navigation processing can meet the tighter accuracy requirements to enable such missions. Recent developments in deep space navigation capability include a self-contained autonomous navigation system (used in flight on three missions) and a landmark tracking system (used experimentally on the Japanese Hayabusa mission). The merging of these two technologies forms a methodology to perform autonomous onboard navigation around small bodies. This paper presents an overview of these systems, as well as the results from Monte Carlo studies to quantify the achievable landing accuracies by using these methods. Sensitivity of the results to variations in spacecraft maneuver execution error, attitude control accuracy and unmodeled forces are examined. Cases for two bodies, a small asteroid and on a mid-size comet, are presented.

in-situ navigation↗

A Singular Value Decomposition Framework for Retrievals with Vertical Distribution Information from Greenhouse Gas Column Absorption Spectroscopy Measurements

We describe a variation of the Optimal Estimation (OE) method for greenhouse gas remote sensing retrievals using a singular value decomposition (SVD) and an uninformative prior. The SVD method is capable of discerning vertical information in column integrated absorption measurements. While traditional Bayesian optimal estimation (OE) assumes a prior distribution in order to regularize the inversion problem, the SVD approach identifies principal components that can be retrieved from the measurement without explicitly specifying a prior mean and prior covariance matrix. We discuss the method, illustrate its use on an integrated path differential absorption CO2 lidar measurement model, and compare it to traditional optimal estimation using numerical simulations. In the absence of forward model error, the mathematics behind the SVD method guarantee it to be bias-free, which is confirmed by the numerical simulations. In contrast, traditional OE retrievals exhibit bias when the prior mean used in the retrieval differs from the true mean. While the SVD approach can be used for most trace gas retrievals, it is particularly useful for situations where prior knowledge of the trace gas profile is poor. The SVD analysis is also useful in illustrating how vertical information is treated by the traditional OE approach.

Ramanathan, Anand K.↗

Solar Farm’s Microclimates Effects: Predicting Abundance and Visiting Frequency of Pollinators

The solar farm is garnering attention for its contribution to ecosystem services, particularly in supporting pollinators. Although numerous studies have focused on the distinct microclimates of solar farms, there has been limited effort to validate and model the impact of these conditions on insects [1]. To effectively evaluate and leverage the ecosystem services from solar farms in policymaking, understanding how insects react to microclimate variations in diverse designs and management methods is essential. This study aims to validate and model the impact of temperature and shade at solar farms on pollinator populations and their frequency of pollination as well as compare the potential for increased pollination under different types of panels within a solar grazing setup.

Chung, Hyun Yong↗

DNN-based Signal Processing for Liquid Argon Time Projection Chambers

We investigate a deep learning-based signal processing for liquid argon time projection chambers (LArTPCs), a leading detector technology in neutrino physics. Identifying regions of interest (ROIs) in LArTPCs is challenging due to signal cancellation from bipolar responses and various detector effects observed in real data. We approach ROI identification as an image segmentation task, and employ a U-ResNet architecture. The network is trained on samples that incorporate detector geometry information and include a range of detector variations. Our approach significantly outperforms traditional methods while maintaining robustness across diverse detector conditions. This method has been adopted for signal processing in the Short-Baseline Neutrino program and provides a valuable foundation for future experiments such as the Deep Underground Neutrino Experiment.

Bhat, Avinay [Chicago U.]↗

Use of Design of Experiments and Rule-Based Inference in Determining Neural Network Architectures for Loss of Control Detection

In this work, we describe methods for selecting the neural network architectures and input spaces to implement belief state inference on generic commercial transport aircraft. First, we highlight a case study on the planning, execution, and analysis of a set of experiments to determine the configurations of a conditional variational autoencoder (CVAE). We present a structured method that can be used in a number of aerospace applications, to optimize the structure and training parameters of the CVAE for belief state inference, using Design of Experiments (DOE) statistical methodologies. The motivation for this specific DOE was to identify the appropriate hyperparameters for measuring the CVAE reconstruction probability and latent space, such that the measurements can be used to infer qualitative state changes for the aircraft. We demonstrate that this process yields information about a trained neural network’s utility for this specific application, along with a quantifiable range of certainty. We execute 84 experiments using loss-of-control flight maneuver data from a NASA T-2 aircraft, demonstrating that this empirical process allows us to construct cheap and simple models with specific attributes amenable to belief state inference in aerospace applications. While theoretically, we could create a single CVAE with an input space the size of all measurable flight variables and environmental dynamics, it becomes intractable to use such a neural network in an in-situ intelligent multi-agent system. Using the recommendations from our case study, we introduce a technical approach for feasibly describing the belief space by (1) identifying significant statistical relationships among flight variables using rule induction, (2) using a set of rules that cover all features to define the input space of multiple CVAEs, and (3) forming a belief space based on the joint probability density of their collective latent spaces. This results in a series of relatively small matrix multiplications that can be performed in real time, as opposed to large matrix computations in a single CVAE. We demonstrate the application of this approach on the T-2 flight loss-of control experiments, using the architecture and hyperparameter recommendations from the case study. We compare the utilities of an individual CVAE trained on all flight variables and multiple CVAEs defined on subsets of flight variables for detecting qualitative changes in flight. We demonstrate that the use of multiple CVAEs with smaller input spaces permits the CVAE to capture more granular relationships in the latent space, permitting better state space characterization and loss-of-control detection.

Design of experiments↗

Some analysis on the diurnal variation of rainfall over the Atlantic Ocean

Data collected from the GARP Atlantic Tropical Experiment (GATE) was examined. The data were collected from 10,000 grid points arranged as a 100 x 100 array; each grid covered a 4 square km area. The amount of rainfall was measured every 15 minutes during the experiment periods using c-band radars. Two types of analyses were performed on the data: analysis of diurnal variation was done on each of grid points based on the rainfall averages at noon and at midnight, and time series analysis on selected grid points based on the hourly averages of rainfall. Since there are no known distribution model which best describes the rainfall amount, nonparametric methods were used to examine the diurnal variation. Kolmogorov-Smirnov test was used to test if the rainfalls at noon and at midnight have the same statistical distribution. Wilcoxon signed-rank test was used to test if the noon rainfall is heavier than, equal to, or lighter than the midnight rainfall. These tests were done on each of the 10,000 grid points at which the data are available.

Gill, T.↗

Relating Land Cover Change to Runoff Distribution Using NASA Earth Observations in Riley County, Kansas

In recent years, Riley County, Kansas experienced high levels of flooding potentially due to changes in land use and impervious surface. To analyze the increase in floods and runoff patterns over time, this study contrasted two methods of curve number (CN) calculation, which estimated runoff from rainfall events, from 2006-2020. The conventional calculation method used a look-up table and tracked land use/land cover change. This method resulted in static tables from various inputs such as soil type, surface imperviousness, slope, and crop phenology to estimate runoff versus infiltration. These tables allowed for phenology specific curve numbers and accounted for various farming techniques but required many inputs and lacked flexibility to include seasonal variations in vegetation. In contrast, the dynamic method is a more modern and simple calculation employing normalized difference vegetation index (NDVI) data from Landsat 5, Landsat 7, and Landsat 8 satellites compiled over the rainy season each year to calculate curve numbers based off seasonal vegetation. This dynamic method allowed for more precise analysis of runoff variability because NDVI is a more accurate, real-time measurement for land cover and it could be calculated with greater temporal detail. The results will allow decision makers to make more informed decisions on resiliency strategies to address future flooding.

Trista Brophy↗

Two-dimensional surface strain measurement based on a variation of Yamaguchi's laser-speckle strain gauge

A novel optical method of measuring 2-D surface strain is proposed. Two linear strains along orthogonal axes and the shear strain between those axes is determined by a variation of Yamaguchi's laser-speckle strain gage technique. It offers the advantages of shorter data acquisition times, less stringent alignment requirements, and reduced decorrelation effects when compared to a previously implemented optical strain rosette technique. The method automatically cancels the translational and rotational components of rigid body motion while simplifying the optical system and improving the speed of response.

Barranger, John P.↗

Two-dimensional surface strain measurement based on a variation of Yamaguchi's laser-speckle strain gauge

A novel optical method of measuring 2-D surface strain is proposed. Two linear strains along orthogonal axes and the shear strain between those axes is determined by a variation of Yamaguchi's laser-speckle strain gage technique. It offers the advantages of shorter data acquisition times, less stringent alignment requirements, and reduced decorrelation effects when compared to a previously implemented optical strain rosette technique. The method automatically cancels the translational and rotational components of rigid body motion while simplifying the optical system and improving the speed of response.

Barranger, John P.↗

Further comments on the application of the method of averaging to the study of the rotational motions of a triaxial rigid body, part 3

Variational equations were applied to the case of a rapidly spinning triaxial body moving in an elliptic orbit, in which the orbital plane is regressing at a constant rate. The explicit differential equations obtained in this application were integrated by the method of averaging to develop secular analytical expressions, which, to first-order in a small parameter, describe the complete space motions of the rigid body under the influence of nonresonant gravity-gradient perturbations. The effects of aerodynamic torque on the rotational motion of an orbiting satellite are studied, as another example of the application of the variational equations derived and the method of averaging.

Liu, J. J. F.↗

Solar Cycle Variation in the Inner Zone Proton Belt Configuration

This paper presents a novel method of demonstrating atmospheric scale-height effects on energetic trapped protons. We have been using 2-D cross correlations as a powerful method of assessing the role of the trapped energetic protons in producing various effects in low altitude satellite systems. The method has permitted us to directly measure the drift of the particle South Atlantic Anomaly (due to the secular variation in the geomagnetic field) as a function of altitude and proton energy and to estimate the energy of the particles causing those effects. We have also been able to address minor artifacts in the AP82 model, itself. In this paper, we show that the technique is sufficiently powerful to address the variation in the inner zone energetic proton environment which occurs as a function of the solar cycle.

Vampola, A. L.↗

Ab-Initio Description and Prediction of Properties of Carbon-Based and Other Non-Metallic Materials

We have resolved the long-standing problem consisting of 30%-50% theoretical underestimates of the band gaps of non-metallic materials. We describe the Bagayoko, Zhao, and Williams (BZW) method that rigorously circumvents the basis-set and variational effect presumed to be a cause of these underestimates. We present ab-initio, computational results that are in agreement with experiment for diamond (C), silicon (Si), silicon carbides (3C-SiC and 4H-SiC), and other semiconductors (GaN, BaTiO3, AlN, ZnSe, ZnO). We illustrate the predictive capability of the BZW method in the case of the newly discovered cubic phase of silicon nitride (c-Si3N4) and of selected carbon nanotabes [(10,0), and (8,4)]. Our conclusion underscores the inescapable need for the BZW method in ab-initio calculations that employ a basis set in a variational approach. Current nanoscale trends amplify this need. We estimate that the potential impact of applications of the BZW method in advancing our understanding of nonmetallic materials, in informing experiment, and particularly in guiding device design and fabrication is simply priceless.

Bagayoko, D.↗