Search NASA⌕ Search

SEARCH · Search NASA

Results for “Conservative variables”

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 469 records · Page 26
All sourcesNASA NTRSDOE OSTI
DOE OSTI2022

The Impact of Constrained Data Assimilation on the Forecasts of Three Convection Systems During the ARM MC3E Field Campaign

A constrained data assimilation (CDA) system based on the ensemble variational (EnVar) method and physical constraints of mass and water conservations is evaluated through three convective cases during the Midlatitude Continental Convective Clouds Experiment (MC3E) of the Atmospheric Radiation Measurement (ARM) program. Compared to the original data assimilation (ODA), the CDA is shown to perform better in the forecasted state variables and simulated precipitation. The CDA is also shown to greatly mitigate the loss of forecast skills in observation denial experiments when radar radial winds are withheld in the assimilation. Modifications to the algorithm and sensitivities of the CDA to the calculation of the time tendencies in the constraints are described.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS1994

A one-dimensional model of the semiannual oscillation driven by convectively forced gravity waves

A one-dimensional model that solves the time-dependent equations for the zonal mean wind and a wave of specified zonal wavenumber has been used to illustrate the ability of gravity waves forced by time-dependent tropospheric heating to produce a semiannual oscillation (SAO) in the middle atmosphere. When the heating has a strong diurnal cycle, as observed over tropical landmasses, gravity waves with zonal wavelengths of a few thousand kilometers and phase velocities in the range +/- 40-50 m/sec are excited efficiently by the maximum vertical projection criterion (vertical wavelength approximately equals 2 x forcing depth). Calculations show that these waves can account for large zonal mean wind accelerations in the middle atmosphere, resulting in realistic stratopause and mesopause oscillations. Calculations of the temporal evolution of a quasi-conserved tracer indicate strong down-welling in the upper stratosphere near the equinoxes, which is associated with the descent of the SAO westerlies. In the upper mesosphere, there is a semiannual oscillation in tracer mixing ratio driven by seasonal variability in eddy mixing, which increases at the solstices and decreases at the equinoxes.

Sassi, Fabrizio↗
NASA NTRS1996

Development and Demonstration of an Ada Test Generation System

In this project we have built a prototype system that performs Feasible Path Analysis on Ada programs: given a description of a set of control flow paths through a procedure, and a predicate at a program point feasible path analysis determines if there is input data which causes execution to flow down some path in the collection reaching the point so that tile predicate is true. Feasible path analysis can be applied to program testing, program slicing, array bounds checking, and other forms of anomaly checking. FPA is central to most applications of program analysis. But, because this problem is formally unsolvable, syntactic-based approximations are used in its place. For example, in dead-code analysis the problem is to determine if there are any input values which cause execution to reach a specified program point. Instead an approximation to this problem is computed: determine whether there is a control flow path from the start of the program to the point. This syntactic approximation is efficiently computable and conservative: if there is no such path the program point is clearly unreachable, but if there is such a path, the analysis is inconclusive, and the code is assumed to be live. Such conservative analysis too often yields unsatisfactory results because the approximation is too weak. As another example, consider data flow analysis. A du-pair is a pair of program points such that the first point is a definition of a variable and the second point a use and for which there exists a definition-free path from the definition to the use. The sharper, semantic definition of a du-pair requires that there be a feasible definition-free path from the definition to the use. A compiler using du-pairs for detecting dead variables may miss optimizations by not considering feasibility. Similarly, a program analyzer computing program slices to merge parallel versions may report conflicts where none exist. In the context of software testing, feasibility analysis plays an important role in identifying testing requirements which are infeasible. This is especially true for data flow testing and modified condition/decision coverage. Our system uses in an essential way symbolic analysis and theorem proving technology, and we believe this work represents one of the few successful uses of a theorem prover working in a completely automatic fashion to solve a problem of practical interest. We believe this work anticipates an important trend away from purely syntactic-based methods for program analysis to semantic methods based on symbolic processing and inference technology. Other results demonstrating the practical use of automatic inference is being reported in hardware verification, although there are significant differences between the hardware work and ours. However, what is common and important is that general purpose theorem provers are being integrated with more special-purpose decision procedures to solve problems in analysis and verification. We are pursuina commercial opportunities for this work, and will use and extend the work in other projects we are engaged in. Ultimately we would like to rework the system to analyze C, C++, or Java as a key step toward commercialization.

Source record↗
NASA NTRS2006

Space-Based Ornithology: On the Wings of Migration and Biophysics

Understanding bird migration and avian biodiversity is one of the most compelling and challenging problems of modern biology with major implications for human health and conservation biology. Migration and conservation efforts cross national boundaries and are subject to numerous international agreements and treaties. Public interest is high with concerns about avian flu, Katrina and its impacts, and the recent sightings of the ivory-billed woodpecker. Space based technology gives us new opportunities to shed light on the distribution and movement of organisms on the planet and their sensitivity to human disturbances and environmental changes. Together with the USGS and other agencies, we are creating ecological forecasting tools for science and application users to address the consequences of loss of wetlands, flooding, drought or other natural disasters such as hurricanes on avian biodiversity and bird migration. In our work, we use individual organism biophysical models of energy and water balance and drive these models with satellite measurements of spatio-temporal gradients in climate and habitat. Dynamic state variable modeling provides an additional tool for studying bird migration across multiple scales and can be linked to our mechanistic models describing the time and energy budget states of migrating birds. Such models yield an understanding of how a migratory flyway and its component habitats function as a whole and link stop-over ecology with biological conservation and management. We also build upon the canopy done by the Environmental Laboratory over the past few years.

Smith, James A.↗
DOE OSTI2024

Physical, socio-psychological, and behavioural determinants of household energy consumption in the UK

Determining which attitudes and behaviours predict household energy consumption can help accelerate the low-carbon energy transition. Conventional approaches in this domain are limited, often relying on survey methods that produce data on individuals’ motivations and self-reported activities without pairing these with actual energy consumption records, which are particularly hard to collect for large, nationally representative samples. This challenge precludes the development of empirical evidence on which attitudes and behaviours influence patterns of energy consumption, thus limiting the extent to which these can inform energy interventions or conservation programs. This study demonstrates a novel methodology for estimating energy consumption in the absence of actual energy records by using a large, publicly available data set of energy consumption in the UK. We develop a predictive model using the Smart Energy Research Laboratory (SERL) data portal (with records from nearly 13,000 UK households) and then use this model to predict energy consumption (both electric and gas) for a sample of 1,000 UK householders for which we separately collect over 200 variables relating to climate change attitudes and practices. Our approach uses a set of over 50 independent variables that are shared between the data sets, allowing us to train a model on the SERL data and use it to analyse the relationship between energy consumption and the opinions, motivations, and daily practices of survey respondents. Results show that electricity consumption is influenced by a broader range of factors compared to gas. Household energy use is best explained by physical dwelling characteristics, socio-demographic variables, and certain behavioural and attitudinal measures. Notably, pro-environmental attitudes, frugality, and conscientiousness correlate with lower energy use, while income and consumerism are linked to higher consumption. We discuss how these findings can inform efforts to decarbonise home energy use in the UK.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
NASA NTRS2005

Space Based Ornithology: On the Wings of Migration and Biophysics

The study of bird migration on a global scale is one of the compelling and challenging problems of modern biology with major implications for human health and conservation biology. Migration and conservation efforts cross national boundaries and are subject to numerous international agreements and treaties. Space based technology offers new opportunities to shed understanding on the distribution and migration of organisms on the planet and their sensitivity to human disturbances and environmental changes. Migration is an incredibly diverse and complex behavior. A broad outline of space based research must address three fundamental questions: (1) where could birds be, i.e. what is their fundamental niche constrained by their biophysical limits? (2) where do we actually find birds, i.e. what is their realizable niche as modified by local or regional abiotic and biotic factors, and (3) how do they get there (and how do we know?), that is what are their migration patterns and associated mechanisms? Our working hypothesis is that individual organism biophysical models of energy and water balance, driven by satellite measurements of spatio-temporal gradients in climate and habitat, will help us to explain the variability in avian species richness and distribution. Dynamic state variable modeling provides one tool for studying bird migration across multiple scales and can be linked to mechanistic models describing the time and energy budget states of migrating birds. Such models yield an understanding of how a migratory flyway and its component habitats function as a whole and link stop-over ecology with biological conservation and management. Further these models provide an ecological forecasting tool for science and application users to address what are the possible consequences of loss of wetlands, flooding, drought or other natural disasters such as hurricanes on avian biodiversity and bird migration.

Smith, James A.↗
NASA NTRS2003

Lidar Measurements of Wind, Moisture and Boundary Layer Evolution in a Dryline During IHOP2002

Variability in the convective boundary layer moisture, wind and temperature fields and their importance in the forecasting and understanding of storms have been discussed in the literature. These variations have been reported in relation to frontal zones, stationary boundaries and during horizontal convective rolls. While all three vary substantially in the convective boundary layer, moisture poses a particular challenge. Moisture or water vapor concentration (expressed as a mass mixing ratio, g/kg), is conserved in all meteorological processes except condensation and evaporation. The water vapor mixing ratio often remains distinct across an air -mass boundary even when the temperature difference is indistinct. These properties make it an ideal choice in visualizing and understanding many of the atmosphere's dynamic features. However, it also presents a unique measurement challenge because water vapor content can vary by more than three orders of magnitude in the troposphere. Characterization of the 3D-distribution of water vapor is also difficult as water vapor observations can suffer from large sampling errors and substantial variability both in the vertical and horizontal. This study presents groundbased measurements of wind, boundary layer structure and water vapor mixing ratio measurements observed by three co-located lidars. This presentation will focus on the evolution and variability of moisture and wind in the boundary layer during a dry line event that occurred on 22 May 2002. These data sets and analyses are unique in that they combine simultaneous measurements of wind, moisture and CBL structure to study the detailed thermal variability in and around clear air updrafts during a dryline event. It will quantify the variation caused by, in and around buoyant plumes and across a dryline. The data presented here were collected in the panhandle of Oklahoma as part of the International BO Project (IHOP-2002), a field experiment that took place over the Southern Great Plains (SGP) of the United States from 13 May to 30 June 2002. The chief goal of IHOP-2002 is to improve characterization of the four-dimensional (4-D) distribution of water vapor and its application to improving the understanding and prediction of convection

Demoz, Belay↗
DOE OSTI2023

Fluid dynamic mathematical aspects of supernova remnants

Supernovae—explosions of stars—are a central problem in astrophysics since they contain information on the entire process of stellar evolution and nucleosynthesis. Rayleigh–Taylor (RT) and Richtmyer–Meshkov (RM) instabilities, developing during the supernova blast, lead to intense interfacial RT/RM mixing of the star's materials and couple astrophysical to atomic scales. This work analyzes some fluid dynamic mathematical aspects of the titanic task of supernova's blast. We handle mathematical challenges of RT/RM dynamics in supernova relevant conditions by directly linking the conservation laws governing RT/RM dynamics to symmetry-based momentum model, by exactly deriving the model parameters in the scale-dependent and scale-invariant regimes, and by exploring the special self-similar class for RT/RM interfacial mixing with variable accelerations. Here we reveal that RT/RM dynamics is strongly influenced by deterministic (the initial and the flow) conditions in the scale-dependent linear and nonlinear regimes and in the self-similar mixing regime. The theory outcomes are consistent with the observations of supernova remnants, explain the results of the scaled laboratory experiments in high energy density plasmas, and yield the design of future experiments for the accurate quantification of RT/RM dynamics in supernova relevant conditions. We find that from fluid dynamic mathematical perspectives, supernovae can be regarded as an astrophysical initial value problem. Along with the guidance of what explodes at microscopic scales, supernova remnants encapsulate information on the explosion hydrodynamics and the associated deterministic conditions at macroscopic scales. We urge such effects be considered in interpretations of the observational data.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2024

A combinatorially complete epistatic fitness landscape in an enzyme active site

Protein engineering often targets binding pockets or active sites which are enriched in epistasis—nonadditive interactions between amino acid substitutions—and where the combined effects of multiple single substitutions are difficult to predict. Few existing sequence-fitness datasets capture epistasis at large scale, especially for enzyme catalysis, limiting the development and assessment of model-guided enzyme engineering approaches. We present here a combinatorially complete, 160,000-variant fitness landscape across four residues in the active site of an enzyme. Assaying the native reaction of a thermostable β-subunit of tryptophan synthase (TrpB) in a nonnative environment yielded a landscape characterized by significant epistasis and many local optima. These effects prevent simulated directed evolution approaches from efficiently reaching the global optimum. There is nonetheless wide variability in the effectiveness of different directed evolution approaches, which together provide experimental benchmarks for computational and machine learning workflows. The most-fit TrpB variants contain a substitution that is nearly absent in natural TrpB sequences—a result that conservation-based predictions would not capture. Thus, although fitness prediction using evolutionary data can enrich in more-active variants, these approaches struggle to identify and differentiate among the most-active variants, even for this near-native function. Overall, this work presents a large-scale testing ground for model-guided enzyme engineering and suggests that efficient navigation of epistatic fitness landscapes can be improved by advances in both machine learning and physical modeling.

biocatalysis↗
DOE OSTI2026

SODAs: sparse optimization for the discovery of differential and algebraic equations

Differential-algebraic equations (DAEs) integrate ordinary differential equations (ODEs) with algebraic constraints, providing a fundamental framework for developing models of dynamical systems characterized by time-scale separation, conservation laws and physical constraints. While sparse optimization has revolutionized model development by allowing data-driven discovery of parsimonious models from a library of possible equations, existing approaches for dynamical systems assume DAEs can be reduced to ODEs by eliminating variables before model discovery. This assumption limits the applicability of such methods for DAE systems with unknown constraints and time scales. We introduce sparse optimization for differential-algebraic systems (SODAs), a data-driven method for the identification of DAEs in their explicit form. By discovering the algebraic and dynamic components sequentially without prior identification of the algebraic variables, this approach leads to a sequence of convex optimization problems. It has the advantage of discovering interpretable models that preserve the structure of the underlying physical system. To this end, SODAs improves since SODAs is singular numerical stability when handling high correlations between library terms, caused by near-perfect algebraic relationships, by iteratively refining the conditioning of the candidate library. We demonstrate the performance of our method on biological, mechanical and electrical systems, showcasing its robustness to noise in both simulated time series and real-time experimental data.

DAE↗
NASA NTRS1982

Durability/life of fiber composites in hygrothermomechanical environments

Statistical analysis and multiple regression were used to determine and quantify the significant hygrothermomechanical variables which influence the tensile durability/life (cycle loading, fatigue) of boron-fiber/epoxy-matrix (B/E) and high-modulus-fiber/epoxy-matrix (HMS/E) composites. The use of the multiple regression analysis reduced the variables from fifteen, assumed initially, to six or less with a probability of greater than 0.999. The reduced variables were used to derive predictive models for compression and intralaminar shear durability/life of B/E and HMS/E composites assuming isoparametric fatigue behavior. The predictive models were subsequently generalized to predict the durability/life of graphite/fiber-r generalized model is of simple form, predicts conservative values compared with measured data and should be adequate for use in preliminary designs. Previously announced in STAR as N82-14287

Chamis, C. C.↗
NASA NTRS1988

Extensions of the CSCM methodology for nonequilibrium reacting gas flows

The paper describes the extension of the CSCM flux difference splitting to produce conservative unconditionally stable implicit upwind methods for the extended equation set. The CSCM-S single data level relaxation algorithm is argued to be particularly advantageous for efficiently solving the set of equations. Attention is given to issues of alternative state variable representations and to complementary thermodynamic relations that parameterize and need to be effectively coupled with the solution procedure for the partial differential equations. Within the framework of iteration, consideration is given to more efficient approximate solution procedures than the full block coupled LU decomposition. Results of early numerical experiments are given to illustrate the developments.

Lombard, C. K.↗
NASA NTRS1998

Self-Similar Compressible Free Vortices

Lie group methods are used to find both exact and numerical similarity solutions for compressible perturbations to all incompressible, two-dimensional, axisymmetric vortex reference flow. The reference flow vorticity satisfies an eigenvalue problem for which the solutions are a set of two-dimensional, self-similar, incompressible vortices. These solutions are augmented by deriving a conserved quantity for each eigenvalue, and identifying a Lie group which leaves the reference flow equations invariant. The partial differential equations governing the compressible perturbations to these reference flows are also invariant under the action of the same group. The similarity variables found with this group are used to determine the decay rates of the velocities and thermodynamic variables in the self-similar flows, and to reduce the governing partial differential equations to a set of ordinary differential equations. The ODE's are solved analytically and numerically for a Taylor vortex reference flow, and numerically for an Oseen vortex reference flow. The solutions are used to examine the dependencies of the temperature, density, entropy, dissipation and radial velocity on the Prandtl number. Also, experimental data on compressible free vortex flow are compared to the analytical results, the evolution of vortices from initial states which are not self-similar is discussed, and the energy transfer in a slightly-compressible vortex is considered.

vonEllenrieder, Karl↗
NASA NTRS1998

A Preliminary Model Study of the Large-Scale Seasonal Cycle in Bottom Pressure Over the Global Ocean

Output from the primitive equation model of Semtner and Chervin is used to examine the seasonal cycle in bottom pressure (Pb) over the global ocean. Effects of the volume-conserving formulation of the model on the calculation Of Pb are considered. The estimated seasonal, large-scale Pb signals have amplitudes ranging from less than 1 cm over most of the deep ocean to several centimeters over shallow, boundary regions. Variability generally increases toward the western sides of the basins, and is also larger in some Southern Ocean regions. An oscillation between subtropical and higher latitudes in the North Pacific is clear. Comparison with barotropic simulations indicates that, on basin scales, seasonal Pb variability is related to barotropic dynamics and the seasonal cycle in Ekman pumping, and results from a small, net residual in mass divergence from the balance between Ekman and Sverdrup flows.

Ponte, Rui M.↗
NASA NTRS2012

Probability and Confidence Trade-space (PACT) Evaluation: Accounting for Uncertainty in Sparing Assessments

There are two general shortcomings to the current annual sparing assessment: 1. The vehicle functions are currently assessed according to confidence targets, which can be misleading- overly conservative or optimistic. 2. The current confidence levels are arbitrarily determined and do not account for epistemic uncertainty (lack of knowledge) in the ORU failure rate. There are two major categories of uncertainty that impact Sparing Assessment: (a) Aleatory Uncertainty: Natural variability in distribution of actual failures around an Mean Time Between Failure (MTBF) (b) Epistemic Uncertainty : Lack of knowledge about the true value of an Orbital Replacement Unit's (ORU) MTBF We propose an approach to revise confidence targets and account for both categories of uncertainty, an approach we call Probability and Confidence Trade-space (PACT) evaluation.

Anderson, Leif↗
NASA NTRS2002

Lidar Measurements of Wind, Moisture, and Boundary Layer Evolution in a Dry Line during 1HOP 2002

Variability in the convective boundary layer moisture, wind and temperature fields and their importance in the forecasting and understanding of storms have been discussed in the literature. These . variations have been reported in relation to frontal zones, stationary boundaries and during horizontal convective rolls. While all three vary substantially in the convective boundary layer, moisture poses a particular challenge. Moisture or water vapor concentration (expressed as a mass mixing ratio, g/kg), is conserved in all meteorological processes except condensation and evaporation. The water vapor mixing ratio often remains distinct across an air-mass boundary even when the temperature difference is indistinct. These properties make it an ideal choice in visualizing and understanding many of the atmosphere's dynamic features. However, it also presents a unique measurement challenge because water vapor content can vary by more than three orders of magnitude in the troposphere. Characterization of the 3D-distribution of water vapor is also difficult as water vapor observations can suffer from large sampling errors and substantial variability both in the vertical and horizontal. This study presents ground-based measurements of wind, boundary layer structure and water vapor mixing ratio measurements observed by three co-located lidars. This presentation will focus on the evolution and variability of moisture and wind in the boundary layer during a dry line event that occurred on 22 May 2002. These data sets and analyses are unique in that they combine simultaneous measurements of wind, moisture and CBL structure to study the detailed thermal variability in and around clear air updrafts during a dryline event. It will quantify the variation caused by, in and around buoyant plumes and across a dryline. The data presented here were collected in the panhandle of Oklahoma as part of the International H2O Project (MOP-2002), a field experiment that took place over the Southern Great Plains (SGP) of the United States from 13 May to 30 June 2002. The chief goal of MOP-2002 is to improve characterization of the four-dimensional (4-D) distribution of water vapor and its application to improving the understanding and prediction of convection

Demoz, Belay↗
DOE OSTI2022

Autoencoder Neural Network for chemically reacting systems

Incorporating detailed chemical kinetic models is critical for accurate simulations of reacting flows. However, detailed models involve a large number of thermochemical (TC) state variables. Solving the governing equations to evolve these TC variables becomes impractical for real-world applications. In this work, we propose an autoencoder (AE) neural network (NN)-based reduced model to accelerate such simulations. The AE NN is first trained to find a low-dimensional latent representation of the TC states. Then, the evolving state of a chemical system can be tracked by solving the equations of the latent variables instead of the original TC equations. We demonstrate the reduced model in a syngas CO/H 2 combustion system, using training data collected from canonical perfectly stirred reactors (PSRs). It is found that the AE model can reduce the dimension of the combustion system from 12 to 2 while maintaining low reconstruction error and excellent elemental mass conservation for the test dataset. In the a posteriori test, the combustion states obtained from solving the two latent equations are compared to those from solving the 12 equations of the full model. The AE reduced method is found to be able to capture the diverse combustion states on the top two branches of the S-curve well including the extinction turning point, but with higher prediction errors for states near the ignition turning point.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

Infinite Family of Integrable Sigma Models Using Auxiliary Fields

We introduce a class of 2D sigma models which are parametrized by a function of one variable. In addition to the physical field g , these models include an auxiliary field v α which mediates interactions in a prescribed way. We prove that every theory in this family is classically integrable, in that it possesses an infinite set of conserved charges in involution, which can be constructed from a Lax representation for the equations of motion. This class includes the principal chiral model (PCM) and all deformations of the PCM by functions of the energy-momentum tensor. Published by the American Physical Society 2024

Physics↗