Search NASA⌕ Search

SEARCH · Search NASA

Results for “Initial conditions problem”

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 397 records · Page 22

Pre-conditioned BFGS-based uncertainty quantification in elastic full-waveform inversion

SUMMARY Full-waveform inversion has become an essential technique for mapping geophysical subsurface structures. However, proper uncertainty quantification is often lacking in current applications. In theory, uncertainty quantification is related to the inverse Hessian (or the posterior covariance matrix). Even for common geophysical inverse problems its calculation is beyond the computational and storage capacities of the largest high-performance computing systems. In this study, we amend the Broyden–Fletcher–Goldfarb–Shanno (BFGS) algorithm to perform uncertainty quantification for large-scale applications. For seismic inverse problems, the limited-memory BFGS (L-BFGS) method prevails as the most efficient quasi-Newton method. We aim to augment it further to obtain an approximate inverse Hessian for uncertainty quantification in FWI. To facilitate retrieval of the inverse Hessian, we combine BFGS (essentially a full-history L-BFGS) with randomized singular value decomposition to determine a low-rank approximation of the inverse Hessian. Setting the rank number equal to the number of iterations makes this solution efficient and memory-affordable even for large-scale problems. Furthermore, based on the Gauss–Newton method, we formulate different initial, diagonal Hessian matrices as pre-conditioners for the inverse scheme and compare their performances in elastic FWI applications. We highlight our approach with the elastic Marmousi benchmark model, demonstrating the applicability of pre-conditioned BFGS for large-scale FWI and uncertainty quantification.

58 GEOSCIENCES↗

VISUAL CONTROL OF RENDEZVOUS

Space rendezvous involving human occupants will be required in many phases of space flight. In order that rendezvous capability be concurrent with other phases of manned space flight to insure that such tasks as the rotation and addition of crews for manned space station, supply of stations and launching complexes for deep-space probes, and the emergency rescue of personnel may be carried out, it is desirable to determine the ability of a human pilot to control the rendezvous maneuver. The National Aeronautics and Space Administration has conducted a study program to determine vehicle requirements and control techniques for a number of proposed methods for performing piloted space rendezvous. The final step in each phase of the rendezvous study program has been a simulation of the man-machine combination to test its feasibility. Initially, an analytical study was conducted to determine a range of conditions that would exist at the beginning of the terminal phase of rendezvous (ref. 1). Piloted systems were investigated for rendezvous control using these initial conditions. One such study of piloted rendezvous in which all the required control information was displayed to the simulator pilot on instruments is presented in reference 2. While the control of the rendezvous maneuver by use of the instrument display was shown to be feasible, the sufficiently accurate measurement of the necessary information to operate the instrument was realized to be a difficult problem. Consideration was therefore given to the possibility of maneuvering range and range rate required for the control of the rendezvous from visual sightings made during the initial control application. To provide this capability, an analytical study was made. This analytical study, presented in reference 3, derived three techniques for obtaining range and range rate visually and conducted a simplified preliminary situation to test the three analytical techniques. The study reported herein is a continuation of the simulation work begun in reference 3, and is aimed at determining the ability of a pilot to use visual information to reduce or eliminate the need for some or all of the data that would normally be displayed on instruments.

Rendezvous↗

Baryogenesis from ultra-slow-roll inflation

The ultra-slow-roll (USR) inflation represents a class of single-field models with sharp deceleration of the rolling dynamics on small scales, leading to a significantly enhanced power spectrum of the curvature perturbations and primordial black hole (PBH) formation. Such a sharp transition of the inflationary background can trigger the coherent motion of scalar condensates with effective potentials governed by the rolling rate of the inflation field. We show that a scalar condensate carrying (a combination of) baryon or lepton number can achieve successful baryogenesis through the Affleck-Dine mechanism from unconventional initial conditions excited by the USR transition. Viable parameter space for creating the correct baryon asymmetry of the Universe naturally incorporates the specific limit for PBHs to contribute significantly to dark matter, shedding light on the cosmic coincidence problem between the baryon and dark matter densities today.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Maximizing Free Energy Gain

Maximizing the amount of work harvested from an environment is important for a wide variety of biological and technological processes, from energy-harvesting processes such as photosynthesis to energy storage systems such as fuels and batteries. Here, we consider the maximization of free energy—and by extension, the maximum extractable work—that can be gained by a classical or quantum system that undergoes driving by its environment. We consider how the free energy gain depends on the initial state of the system while also accounting for the cost of preparing the system. We provide simple necessary and sufficient conditions for increasing the gain of free energy by varying the initial state. We also derive simple formulae that relate the free energy gained using the optimal initial state rather than another suboptimal initial state. Finally, we demonstrate that the problem of finding the optimal initial state may have two distinct regimes, one easy and one difficult, depending on the temperatures used for preparation and work extraction. We illustrate our results on a simple model of an information engine.

Physics↗

Estimation of distributed parameter systems

The estimation and control of large flexible space structures pose significant new control technology problems. One major problem area is the closed-loop stability of a structure that has been modeled with truncated modal dynamics. Stability problems arise due to the control design process beginning with a deficient model. This work provides the necessary conditions for the optimal estimation of infinite dimensional (partial-differential equation) systems. This approach can be particularly useful for initial control studies and for gaining considerable insight into what the optimal estimator for a truly infinite dimensional system should be. A detailed example of the estimation of the continuous shape of a string in tension is presented.

Schaechter, D. B.↗

CREKID: A computer code for transient, gas-phase combustion of kinetics

A new algorithm was developed for fast, automatic integration of chemical kinetic rate equations describing homogeneous, gas-phase combustion at constant pressure. Particular attention is paid to the distinguishing physical and computational characteristics of the induction, heat-release and equilibration regimes. The two-part predictor-corrector algorithm, based on an exponentially-fitted trapezoidal rule, includes filtering of ill-posed initial conditions, automatic selection of Newton-Jacobi or Newton iteration for convergence to achieve maximum computational efficiency while observing a prescribed error tolerance. The new algorithm was found to compare favorably with LSODE on two representative test problems drawn from combustion kinetics.

Pratt, D. T.↗

A provably stable numerical method for the anisotropic diffusion equation in confined magnetic fields

We present a novel numerical method for solving the anisotropic diffusion equation in magnetic fields confined to a periodic box which is accurate and provably stable. We derive energy estimates of the solution of the continuous initial boundary value problem. A discrete formulation is presented using operator splitting in time with the summation by parts finite difference approximation of spatial derivatives for the perpendicular diffusion operator. Weak penalty procedures are derived for implementing both boundary conditions and parallel diffusion operator obtained by field line tracing. We prove that the fully-discrete approximation is unconditionally stable. Discrete energy estimates are shown to match the continuous energy estimate given the correct choice of penalty parameters. A nonlinear penalty parameter is shown to provide an effective method for tuning the parallel diffusion penalty and significantly minimises rounding errors. Several numerical experiments, using manufactured solutions, the “NIMROD benchmark” problem and a single island problem, are presented to verify numerical accuracy, convergence, and asymptotic preserving properties of the method. Finally, we present a magnetic field with chaotic regions and islands and show the contours of the anisotropic diffusion equation reproduce key features in the field.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Inferring adversarial behaviour in cyber‐physical power systems using a Bayesian attack graph approach

Abstract Highly connected smart power systems are subject to increasing vulnerabilities and adversarial threats. Defenders need to proactively identify and defend new high‐risk access paths of cyber intruders that target grid resilience. However, cyber‐physical risk analysis and defense in power systems often requires making assumptions on adversary behaviour, and these assumptions can be wrong. Thus, this work examines the problem of inferring adversary behaviour in power systems to improve risk‐based defense and detection. To achieve this, a Bayesian approach for inference of the Cyber‐Adversarial Power System (Bayes‐CAPS) is proposed that uses Bayesian networks (BNs) to define and solve the inference problem of adversarial movement in the grid infrastructure towards targets of physical impact. Specifically, BNs are used to compute conditional probabilities to queries, such as the probability of observing an event given a set of alerts. Bayes‐CAPS builds initial Bayesian attack graphs for realistic power system cyber‐physical models. These models are adaptable using collected data from the system under study. Then, Bayes‐CAPS computes the posterior probabilities of the occurrence of a security breach event in power systems. Experiments are conducted that evaluate algorithms based on time complexity, accuracy and impact of evidence for different scales and densities of network. The performance is evaluated and compared for five realistic cyber‐physical power system models of increasing size and complexities ranging from 8 to 300 substations based on computation and accuracy impacts.

Sahu, Abhijeet↗

Energy and maximum norm estimates for nonlinear conservation laws

We have devised a technique that makes it possible to obtain energy estimates for initial-boundary value problems for nonlinear conservation laws. The two major tools to achieve the energy estimates are a certain splitting of the flux vector derivative f(u)(sub x), and a structural hypothesis, referred to as a cone condition, on the flux vector f(u). These hypotheses are fulfilled for many equations that occur in practice, such as the Euler equations of gas dynamics. It should be noted that the energy estimates are obtained without any assumptions on the gradient of the solution u. The results extend to weak solutions that are obtained as point wise limits of vanishing viscosity solutions. As a byproduct we obtain explicit expressions for the entropy function and the entropy flux of symmetrizable systems of conservation laws. Under certain circumstances the proposed technique can be applied repeatedly so as to yield estimates in the maximum norm.

Olsson, Pelle↗

Cyclogenesis in a saturated environment

The dynamics of baroclinic wave growth in a saturated environment is examined using linear and nonlinear models employing a parameterization of latent heat release that assumes all rising air is saturated, and saturation equivalent potential temperature is conserved on ascent. Piecewise potential vorticity (PV) diagnostics are used to interpret the results. When the stability to vertical displacements in saturated air is allowed to increase with height, as it must in an atmosphere with a constant, positive lapse rate of potential temperature, the growth rates of the most unstable modes of the Eady problem grow only marginally faster than the modes of the dry problem. The vertical variation of moist static stability produces a gradient of moist potential vorticity in the rising air, eliminating the short-wave cutoff present in the dry Eady problem. The destabilization of the short waves is shown to be associated with the interaction between surface potential temperature anomalies and diabatically generated lower-tropospheric potential vorticity anomalies. Nonlinear primitive equation simulations, starting from normal-mode initial conditions, show that while the dry wave grows at nearly the linear growth rate until maximum amplitude is reached, the moist wave grows significantly faster than the linear growth rate at finite amplitude. This enhanced growth is associated with the rapid amplification of a mesoscale PV anomaly generated by latent heat release at the warm front. The rapid amplification of the surface cyclone results from the superposition of the circulation associated with this misoscale PV anomaly upon the circulation associated with the surface and upper boundary potential temperature anomalies. Additional integrations with finite-amplitude initial conditions more typical of atmospheric conditions exhibit similar behavior. It is suggested that many of the rapid cyclogenesis events that occur as upper-troposheric PV anomalies cross the east coasts of continents may arise from the rapid generation of PV anomalies by condensational heating in the moist maritime lower troposphere.

Whitaker, Jeffrey S.↗

Comparison between Computational and Experimental Wall-Shear Stress and Pressure Measurements in a Supersonic Wind Tunnel

We study the performance of two selected RANS models (SST-$k$-$\omega$ and Baldwin-Lomax) to simulate the mean wall-shear and pressure data obtained from a distributed-roughness-related experimental campaign conducted at Ahmic Aerospace, LLC, located in Ohio, US. A structured compressible Navier-Stokes in-house solver, DPLR, is used to conduct the RANS simulations. As the final objective is to perform the studies under high-enthalpy flow conditions, such as inside the AHF facility at NASA-Ames Research Center (ARC), the current investigation focuses on the low-enthalpy cases using Ahmic's high-Reynolds-number supersonic wind tunnel as the initial step to simplify the flow physics. Furthermore, the wind tunnel simulations are conducted with perfectly-smooth walls to further simplify the problem and perform the initial testing of different solver-based RANS models. The Baldwin-Lomax model is observed to be more accurate than the SST model. However, when these RANS models and their roughness augmentation models are utilized to study their accuracy with respect to the experimental datasets, where the roughness effects are activated, both models perform well for a low roughness height case. However, as the roughness height increases, the SST model more accurately predicts the wall data (shear and pressure) than the Baldwin-Lomax model. Therefore, this present work has built a solid foundation for selecting the best RANS model to study the wall data under high-enthalpy flow conditions at the AHF facility soon.

Prakash Shrestha↗

Code for Multiblock CFD and Heat-Transfer Computations

The NASA Glenn Research Center General Multi-Block Navier-Stokes Convective Heat Transfer Code, Glenn-HT, has been used extensively to predict heat transfer and fluid flow for a variety of steady gas turbine engine problems. Recently, the Glenn-HT code has been completely rewritten in Fortran 90/95, a more object-oriented language that allows programmers to create code that is more modular and makes more efficient use of data structures. The new implementation takes full advantage of the capabilities of the Fortran 90/95 programming language. As a result, the Glenn-HT code now provides dynamic memory allocation, modular design, and unsteady flow capability. This allows for the heat-transfer analysis of a full turbine stage. The code has been demonstrated for an unsteady inflow condition, and gridding efforts have been initiated for a full turbine stage unsteady calculation. This analysis will be the first to simultaneously include the effects of rotation, blade interaction, film cooling, and tip clearance with recessed tip on turbine heat transfer and cooling performance. Future plans call for the application of the new Glenn-HT code to a range of gas turbine engine problems of current interest to the heat-transfer community. The new unsteady flow capability will allow researchers to predict the effect of unsteady flow phenomena upon the convective heat transfer of turbine blades and vanes. Work will also continue on the development of conjugate heat-transfer capability in the code, where simultaneous solution of convective and conductive heat-transfer domains is accomplished. Finally, advanced turbulence and fluid flow models and automatic gridding techniques are being developed that will be applied to the Glenn-HT code and solution process.

Fabian, John C.↗

Cosmological Inflation: A Personal Perspective

Approximately twenty five years ago a novel proposal was made to explain two of the outstanding cosmological conundrums, namely those of the Horizon Problem and the Flatness Problem of the Universe. These are the fact that widely separated parts of the sky that have never been in causal contact during the evolution of the Universe have apparently the same CMB temperature and the fact that the mean density of the Universe is very close to the critical one, i.e. very close to the density that separates the closed and open models. These coincidences implied that the corresponding initial condition of the Universe must have been set to exquisite accuracy. This novel proposal posted that at these very early times, the energy density of the Universe was dominated by a fluid which had the equation state attributed to the vacuum (i.e. dominated by tension rather than pressure) and that this led to an exponential expansion of the Universe which was "inflated" by many orders of magnitude of its original size. It was then shown that this "inflation" could provide a resolution of the above outstanding problems. The talk will cover the speaker's personal perspective and contributions to this idea and the subsequent developments over the following 25 years since its inception.

Kazanas, D.↗

Stability and Interaction of Coherent Structure in Supersonic Reactive Wakes

A theoretical formulation and analysis is presented for a study of the stability and interaction of coherent structure in reacting free shear layers. The physical problem under investigation is a premixed hydrogen-oxygen reacting shear layer in the wake of a thin flat plate. The coherent structure is modeled as a periodic disturbance and its stability is determined by the application of linearized hydrodynamic stability theory which results in a generalized eigenvalue problem for reactive flows. Detailed stability analysis of the reactive wake for neutral, symmetrical and antisymmetrical disturbance is presented. Reactive stability criteria is shown to be quite different from classical non-reactive stability. The interaction between the mean flow, coherent structure and fine-scale turbulence is theoretically formulated using the von-Kaman integral technique. Both time-averaging and conditional phase averaging are necessary to separate the three types of motion. The resulting integro-differential equations can then be solved subject to initial conditions with appropriate shape functions. In the laminar flow transition region of interest, the spatial interaction between the mean motion and coherent structure is calculated for both non-reactive and reactive conditions and compared with experimental data wherever available. The fine-scale turbulent motion determined by the application of integral analysis to the fluctuation equations. Since at present this turbulence model is still untested, turbulence is modeled in the interaction problem by a simple algebraic eddy viscosity model. The applicability of the integral turbulence model formulated here is studied parametrically by integrating these equations for the simple case of self-similar mean motion with assumed shape functions. The effect of the motion of the coherent structure is studied and very good agreement is obtained with previous experimental and theoretical works for non-reactive flow. For the reactive case, lack of experimental data made direct comparison difficult. It was determined that the growth rate of the disturbance amplitude is lower for reactive case. The results indicate that the reactive flow stability is in qualitative agreement with experimental observation.

Menon, Suresh↗

Weighted least squares stationary approximations to linear systems.

Investigation of the problem of replacing a certain time-varying linear system by a stationary one. Several quadratic criteria are proposed to aid in determining suitable candidate systems. One criterion for choosing the matrix B (in the stationary system) is initial-condition dependent, and another bounds the 'worst case' homogeneous system performance. Both of these criteria produce weighted least square fits.

Bierman, G. J.↗

Effects of control saturation on the command response of statically unstable aircraft

Hanson and Stengel (1981) have described the effects of saturating controls on the initial-condition response of statically unstable aircraft. In an analysis of the stability augmentation system, consideration was given to maximizing the region of stable response. The present investigation is concerned with an extension of the control saturation analysis to the problem of command response, taking into account the main problem of control design for satisfactory flying qualities (as perceived by the pilot). A model for examining the effects of control saturation on longitudinal stability and command response is developed and applied to an aircraft with a static instability. Three parameters prescribing longitudinal flying qualities are examined with respect to their ability to identify proper flying qualities in the presence of control saturation. The presented analysis provides also satisfactory guidelines for establishing command saturation/stability boundaries.

Hanson, G. D.↗

Eigenmode analysis of unsteady one-dimensional Euler equations

The initial boundary value problem describing the evolution of unsteady linearized perturbations of a steady, uniform subsonic flow is analyzed. The eigenmodes and eigenfrequencies of the system are derived and several examples are presented to illustrate the effect of different boundary conditions on the exponential decay rate of the eigenmodes. The resultant implications for the stability and convergence rates of finite difference computations are discussed.

Giles, M.↗

Topics in spectral methods

After detailing the construction of spectral approximations to time-dependent mixed initial boundary value problems, a study is conducted of differential equations of the form 'partial derivative of u/partial derivative of t = Lu + f', where for each t, u(t) belongs to a Hilbert space such that u satisfies homogeneous boundary conditions. For the sake of simplicity, it is assumed that L is an unbounded, time-independent linear operator. Attention is given to Fourier methods of both Galerkin and pseudospectral method types, the Galerkin method, the pseudospectral Chebyshev and Legendre methods, the error equation, hyperbolic partial differentiation equations, and time discretization and iterative methods.

Gottlieb, D.↗