Search NASA⌕ Search

SEARCH · Search NASA

Results for “conditional generative models”

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 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS1991

Diurnal forcing of planetary atmospheres

A free convection parameterization has been introduced into the Mars Planetary Boundary Layer Model (MPBL). Previously, the model would fail to generate turbulence under conditions of zero wind shear, even when statically unstable. This in turn resulted in erroneous results at the equator, for example, when the lack of Coriolis forcing allowed zero wind conditions. The underlying cause of these failures was the level 2 second-order turbulence closure scheme which derived diffusivities as algebraic functions of the Richardson number (the ratio of static stability to wind shear). In the previous formulation, the diffusivities were scaled by the wind shear--a convenient parameter since it is non-negative. This was the drawback that all diffusivities are zero under conditions of zero shear (viz., the free convection case). The new scheme tests for the condition of zero shear in conjunction with static instability and recalculates the diffusivities using a static stability scaling. The results for a simulation of the equatorial boundary layer at autumnal equinox are presented. (Note that after some wind shear is generated, the model reverts to the traditional diffusivity calculation.)

Houben, Howard C.↗
NASA NTRSDate not supplied

Sensitivity Analysis of the Human Research Program’s Impact 1.0 Model

Sensitivity analysis estimates the relative contribution of the uncertainty in input values to the uncertainty of model outputs. Partial Rank Correlation Coefficient (PRCC) and Leave One Out (LOO) are methods of conducting sensitivity analysis on non-linear simulation models like the IMPACT Model. The PRCC method estimates the sensitivity using partial correlation of the ranks of the generated input values to each generated output value. The “partial” part is due to the adjustments made for the linear effects of all the other input values in the calculation of correlation between a particular input and each output. LOO removes a medical condition from test suite and calculates the change in the outcome. This is used to identify the influence of the condition input in the model The inputs to the sensitivity procedures include the number of occurrences of each of the one hundred plus IMPACT medical conditions generated over the simulations, and the IMPACT outputs from the MEDPRAT mathematical model. The outputs total task time lost (TTL), number of return to definitive care (RTDC), and number of loss of crew lives (LOCL). The IMPACT team will report the results of using PRCC and LOO on IMPACT 1.0. Tornado plots will assist in the visualization of the condition-related input sensitivities to each of the main outcomes. The outcomes of this sensitivity analysis will drive review focus by identifying conditions where changes in uncertainty, and input values could drive changes in overall model output uncertainty. These efforts are an integral part of the overall verification, validation, and credibility review of IMPACT 1.0.

Sensitivity Anaylsis↗
NASA NTRS1977

Subsonic wind-tunnel performance

Analysis of conditional sampling averages for turbulent flows shows how conditional averages can be related to conventional averages incorporated into existing flow models. Technique allows vast quantities of data generated by conditional sampling to be analyzed in coherent way.

Eckert, W. T.↗
NASA NTRS2009

From Verified Models to Verifiable Code

Declarative specifications of digital systems often contain parts that can be automatically translated into executable code. Automated code generation may reduce or eliminate the kinds of errors typically introduced through manual code writing. For this approach to be effective, the generated code should be reasonably efficient and, more importantly, verifiable. This paper presents a prototype code generator for the Prototype Verification System (PVS) that translates a subset of PVS functional specifications into an intermediate language and subsequently to multiple target programming languages. Several case studies are presented to illustrate the tool's functionality. The generated code can be analyzed by software verification tools such as verification condition generators, static analyzers, and software model-checkers to increase the confidence that the generated code is correct.

Lensink, Leonard↗
NASA NTRSDate not supplied

Evaluating the Efficacy of Conditional Variational Autoencoders in Generating Synthetic Single Nuclei RNA-Seq Data for Space Biology Research

Astronauts are subject to unique stressors during spaceflight, leading to changes in their cellular function. However, neither astronauts nor model organisms respond the same to spaceflight, and research implicates a contribution of omics components in differential responses. Understanding how gene expression affects astronaut health is critical for the success of long-term space missions, prompting interest in developing personalized predictive models leveraging artificial intelligence (AI) and machine learning (ML) techniques. Developing such models requires extensive data, which is challenging to obtain and share. This study explores the use of conditional variational autoencoders (CVAEs) to synthetically generate single-nuclei RNA-seq (snRNA-seq) data. CVAEs build on standard variational autoencoders (VAEs) by conditioning data generation on covariates like sample identity and mission parameters, enhancing the relevance of generated data for specific contexts. For our work, we built two CVAEs with varying degrees of sparsity to optimize both interpretability and generative power. We train and validate models on existing snRNA-seq data collected from the brain tissue of mice subjected to spaceflight conditions and their ground control counterparts. We evaluate model performance using statistical tests and visualizations to compare synthetic data to real data. We aim to demonstrate that these prototype CVAE architectures could be used in future space biology work and that this is a method worth further exploring.

Sarah Golts↗
NASA NTRS1991

Effects of the Gulf Stream on ocean waves

In the present study a third-generation numerical wave model is used to study effects of a straight Gulf Stream ring on ocean waves in swell and storm conditions. The model accounts for all relevant processes of propagation, generation, and dissipation of the waves (including current effects) without imposing a priori restraints on the spectral development of the waves. The dominating mechanism affecting the waves appears to be current-induced refraction even though the short-crestedness of the incoming waves tends to mask its effects (also in swell conditions). Depending on wind and wave conditions, refraction may trap locally generated waves in the straight Gulf Stream or it may reflect wave energy back to the open ocean. In the Gulf Stream ring, refraction induces a considerable variation in significant wave height and short-crestedness, but it hardly affects the mean wave direction. In storm conditions the processes of generation and dissipation are considerably enhanced in countercurrent situations and reduced following-current situations.

Holthuijsen, L. H.↗
NASA NTRS2019

An Innovative Feedback Controls Design Approach for Aero Engines

The paper describes a feedback controls design approach for a generic regional jet turbofan engine, which can be adapted to aero engines in general. To demonstrate this approach, linear models for control design are generated at different operating conditions from a full envelope nonlinear simulation created with the NASA Glenn Research Center-developed Toolbox for the Modeling and Analysis of Thermodynamic Systems. The primary objective is to design a single feedback controller that achieves good performance, without the need of developing scheduled control designs to cover the engine operating envelope. An additional objective is to progressively design more robust controllers that can perform under large variations in plant dynamics to also cover control for engine limits and potentially for some off nominal or even damaged conditions.

Kopasakis, George↗
NASA NTRS1987

Generation of liquid water on Mars through the melting of a dusty snowpack

An optical/thermal model for dusty snowpacks at temperate Martian latitudes is used to investigate the possibility of valley network formation by liquid water that was provided by snowmelts, assuming insolation absorption under clear-sky conditions. The mean-annual surface temperatures for snow and the atmospheric exchange terms of the surface energy balance are constrained by global climate model results. Under favorable conditions, liquid water is generated at atmospheric pressures as low as 30-100 mbar, provided that the substrate is composed of regolith; this condition is in keeping with the cratered terrain expected in an ancient Martian surface.

Clow, Gary D.↗
NASA NTRS2011

Method of performing computational aeroelastic analyses

Computational aeroelastic analyses typically use a mathematical model for the structural modes of a flexible structure and a nonlinear aerodynamic model that can generate a plurality of unsteady aerodynamic responses based on the structural modes for conditions defining an aerodynamic condition of the flexible structure. In the present invention, a linear state-space model is generated using a single execution of the nonlinear aerodynamic model for all of the structural modes where a family of orthogonal functions is used as the inputs. Then, static and dynamic aeroelastic solutions are generated using computational interaction between the mathematical model and the linear state-space model for a plurality of periodic points in time.

Silva, Walter A.↗
NASA NTRS2003

Prebiotic Synthesis of Autocatalytic Products From Formaldehyde-Derived Sugars as the Carbon and Energy Source

Our research objective is to understand and model the chemical processes on the primitive Earth that generated the first autocatalytic molecules and microstructures involved in the origin of life. Our approach involves: (a) investigation of a model origin-of-life process named the Sugar Model that is based on the reaction of formaldehyde- derived sugars (trioses and tetroses) with ammonia, and (b) elucidation of the constraints imposed on the chemistry of the origin of life by the fixed energies and rates of C,H,O-organic reactions under mild aqueous conditions. Recently, we demonstrated that under mild aqueous conditions the Sugar Model process yields autocatalytic products, and generates organic micropherules (2-20 micron dia.) that exhibit budding, size uniformity, and chain formation. We also discovered that the sugar substrates of the Sugar Model are capable of reducing nitrite to ammonia under mild aqueous conditions. In addition studies done in collaboration with Sandra Pizzarrello (Arizona State University) revealed that chiral amino acids (including meteoritic isovaline) catalyze both the synthesis and specific handedness of chiral sugars. Our systematic survey of the energies and rates of reactions of C,H,O-organic substrates under mild aqueous conditions revealed several general principles (rules) that govern the direction and rate of organic reactions. These reactivity principles constrain the structure of chemical pathways used in the origin of life, and in modern and primitive metabolism.

Weber, Arthur L.↗
NASA NTRSDate not supplied

Solar Array Performance Modeling for NASA’s Artemis Missions

NASA’s Artemis exploration campaign includes multiple elements that utilize photovoltaic power generation. Artemis mission profiles feature a variety of events that can limit solar array generation and stress electrical power system (EPS) performance, including eclipses, propulsive or navigational maneuvers which constrain the positioning of the solar arrays, and spiral trajectories with significant radiation degradation. These features make predicting the performance of the power system particularly important and requires accurate modeling of power generation by the solar arrays under a variety of conditions. One of the tools used to predict spacecraft EPS performance is the System Power Analysis for Capability Evaluation (SPACE) model developed at NASA Glenn Research Center. SPACE is used by NASA to model EPS performance for the Orion crew transport vehicle and the Power and Propulsion Element (PPE) of the Gateway space station. This presentation will provide an overview of how SPACE calculates solar array performance, including degradation factors considered and environmental conditions that drive the solar array designs. Additionally, Orion array performance predictions generated by SPACE will be compared to flight data collected during the Artemis I mission.

Photovoltaic↗
NASA NTRS1987

Mass loss from FU Orionis objects

Estimates are presented for the mass loss rates of FU Ori, V1057 Cyg and V1515 Cyg. The approximations are made on the basis of models of the physical conditions required to generate the P Cygni profiles of the observed H-alpha and Na I lines. The spectra were obtained in 1985 using Reticons at the Whipple Observatory and Mt. Hopkins Multiple Mirror Telescope. FU Ori and V1515 Cyg each exhibited an estimate mass loss rate of 1/100,000 solar mass/yr, while that of V1507 Cyg is 10 times smaller. Magnetic wave acceleration is proposed as the driving force for the stellar winds associated with the mass losses, which are at a temperature near 5000 K when leaving the disks proposed around the T Tauri objects.

Croswell, Ken↗
NASA NTRS1988

Calculation of unsteady Euler flows in turbomachinery using the linearized Euler equations

The model used by the present unsteady cascade flow calculation method is based on the linearized unsteady Euler equations and accounts for blade loading and geometry, shock motion, and wake motion. The steady flow that must be determined prior to the unsteady flow is ascertained by means of a Newton iteration procedure. A noteworthy feature of the procedure is the use of shock-fitting to determine steady and unsteady shock positions; the use of the Euler equations in conjunction with the Rankine-Hugoniot shock-jump conditions is found to directly model the generation of entropy and vorticity at shocks. Results are presented for both channel and cascade flows.

Hall, Kenneth C.↗
NASA NTRS2002

Determining Greenland Ice Sheet Accumulation Rates from Radar Remote Sensing

An important component of NASA's Program for Arctic Regional Climate Assessment (PARCA) is a mass balance investigation of the Greenland Ice Sheet. The mass balance is calculated by taking the difference between the areally Integrated snow accumulation and the net ice discharge of the ice sheet. Uncertainties in this calculation Include the snow accumulation rate, which has traditionally been determined by interpolating data from ice core samples taken from isolated spots across the ice sheet. The sparse data associated with ice cores juxtaposed against the high spatial and temporal resolution provided by remote sensing , has motivated scientists to investigate relationships between accumulation rate and microwave observations as an option for obtaining spatially contiguous estimates. The objective of this PARCA continuation proposal was to complete an estimate of surface accumulation rate on the Greenland Ice Sheet derived from C-band radar backscatter data compiled in the ERS-1 SAR mosaic of data acquired during, September-November, 1992. An empirical equation, based on elevation and latitude, is used to determine the mean annual temperature. We examine the influence of accumulation rate, and mean annual temperature on C-band radar backscatter using a forward model, which incorporates snow metamorphosis and radar backscatter components. Our model is run over a range of accumulation and temperature conditions. Based on the model results, we generate a look-up table, which uniquely maps the measured radar backscatter, and mean annual temperature to accumulation rate. Our results compare favorably with in situ accumulation rate measurements falling within our study area.

Jezek, Kenneth C.↗
NASA NTRS2007

A Database of Supercooled Large Droplet Ice Accretions

A unique, publicly available database regarding supercooled large droplet ice accretions has been developed in NASA Glenn's Icing Research Tunnel. Identical cloud and flight conditions were generated for five different airfoil models. The models chosen represent a variety of aircraft types from the horizontal stabilizer of a large trans-port aircraft to the wings of regional, business, and general aviation aircraft. In addition to the standard documentation methods of 2D ice shape tracing and imagery, ice mass measurements were also taken. This database will also be used to validate and verify the extension of the ice accretion code, LEWICE, into the SLD realm.

VanZante, Judith Foss↗
NASA NTRS2007

A Database of Supercooled Large Droplet Ice Accretions [Supplement]

A unique, publicly available database regarding supercooled large droplet (SLD) ice accretions has been developed in NASA Glenn's Icing Research Tunnel. Identical cloud and flight conditions were generated for five different airfoil models. The models chosen represent a variety of aircraft types from the horizontal stabilizer of a large transport aircraft to the wings of regional, business, and general aviation aircraft. In addition to the standard documentation methods of 2D ice shape tracing and imagery, ice mass measurements were also taken. This database will also be used to validate and verify the extension of the ice accretion code, LEWICE, into the SLD realm.

VanZante, Judith Foss↗
NASA NTRS1981

Investigation of models for large-scale meteorological prediction experiments

An attempt is made to compute the contributions of various surface boundary conditions to the monthly mean states generated by the 7 layer, 8 x 10 GISS climate model (Hansen et al., 1980), and also to examine the influence of initial conditions on the model climate simulations. Obvious climatic controls as the shape and rotation of the Earth, the solar radiation, and the dry composition of the atmosphere are fixed, and only the surface boundary conditions are altered in the various climate simulations.

Spar, J.↗
NASA NTRS1999

A Spreadsheet Simulation Tool for Terrestrial and Planetary Balloon Design

During the early stages of new balloon design and development, it is necessary to conduct many trade studies. These trade studies are required to determine the design space, and aid significantly in determining overall feasibility. Numerous point designs then need to be generated as details of payloads, materials, mission, and manufacturing are determined. To accomplish these numerous designs, transient models are both unnecessary and time intensive. A steady state model that uses appropriate design inputs to generate system-level descriptive parameters can be very flexible and fast. Just such a steady state model has been developed and has been used during both the MABS 2001 Mars balloon study and the Ultra Long Duration Balloon Project. Using Microsoft Excel's built-in iteration routine, a model was built. Separate sheets were used for performance, structural design, materials, and thermal analysis as well as input and output sheets. As can be seen from figure 1, the model takes basic performance requirements, weight estimates, design parameters, and environmental conditions and generates a system level balloon design. Figure 2 shows a sample output of the model. By changing the inputs and a few of the equations in the model, balloons on earth or other planets can be modeled. There are currently several variations of the model for terrestrial and Mars balloons, as well there are versions of the model that perform crude material design based on strength and weight requirements. To perform trade studies, the Visual Basic language built into Excel was used to create an automated matrix of designs. This trade study module allows a three dimensional trade surface to be generated by using a series of values for any two design variables. Once the fixed and variable inputs are defined, the model automatically steps through the input matrix and fills a spreadsheet with the resulting point designs. The proposed paper will describe the model in detail, including current variations. The assumptions, governing equations, and capabilities will be addressed. Detailed examples of the model in practice will also be used.

Raquea, Steven M.↗