Search NASA⌕ Search

SEARCH · Search NASA

Results for “first order”

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

Asymptotic integration algorithms for nonhomogeneous, nonlinear, first order, ordinary differential equations

New methods for integrating systems of stiff, nonlinear, first order, ordinary differential equations are developed by casting the differential equations into integral form. Nonlinear recursive relations are obtained that allow the solution to a system of equations at time t plus delta t to be obtained in terms of the solution at time t in explicit and implicit forms. Examples of accuracy obtained with the new technique are given by considering systems of nonlinear, first order equations which arise in the study of unified models of viscoplastic behaviors, the spread of the AIDS virus, and predator-prey populations. In general, the new implicit algorithm is unconditionally stable, and has a Jacobian of smaller dimension than that which is acquired by current implicit methods, such as the Euler backward difference algorithm; yet, it gives superior accuracy. The asymptotic explicit and implicit algorithms are suitable for solutions that are of the growing and decaying exponential kinds, respectively, whilst the implicit Euler-Maclaurin algorithm is superior when the solution oscillates, i.e., when there are regions in which both growing and decaying exponential solutions exist.

Walker, K. P.↗
NASA NTRS1968

Tool reconstructs data input points corresponding to first order output graph

Tool aids in graphic determination of input values for any first order lag system of known gain and time constant where the corresponding output function is displayed graphically and can be described by a first order differential equation. This tool permits a rapid reconstruction of input points.

Biggs, R. E.↗
NASA NTRS2000

First-Order Frameworks for Managing Models in Engineering Optimization

Approximation/model management optimization (AMMO) is a rigorous methodology for attaining solutions of high-fidelity optimization problems with minimal expense in high- fidelity function and derivative evaluation. First-order AMMO frameworks allow for a wide variety of models and underlying optimization algorithms. Recent demonstrations with aerodynamic optimization achieved three-fold savings in terms of high- fidelity function and derivative evaluation in the case of variable-resolution models and five-fold savings in the case of variable-fidelity physics models. The savings are problem dependent but certain trends are beginning to emerge. We give an overview of the first-order frameworks, current computational results, and an idea of the scope of the first-order framework applicability.

Alexandrov, Natlia M.↗
NASA NTRS2001

Energy Stable Flux Formulas For The Discontinuous Galerkin Discretization Of First Order Nonlinear Conservation Laws

We consider the discontinuous Galerkin (DG) finite element discretization of first order systems of conservation laws derivable as moments of the kinetic Boltzmann equation. This includes well known conservation law systems such as the Euler For the class of first order nonlinear conservation laws equipped with an entropy extension, an energy analysis of the DG method for the Cauchy initial value problem is developed. Using this DG energy analysis, several new variants of existing numerical flux functions are derived and shown to be energy stable.

Barth, Timothy↗
NASA NTRS1991

Aspects of reheating in first-order inflation

Studied here is reheating in theories where inflation is completed by a first-order phase transition. In the scenarios, the Universe decays from its false vacuum state by bubble nucleation. In the first stage of reheating, vacuum energy is converted into kinetic energy for the bubble walls. To help understand this phase, researchers derive a simple expression for the equation of state of a universe filled with expanding bubbles. Eventually, the bubble walls collide. Researchers present numerical simulations of two-bubble collisions clarifying and extending previous work by Hawking, Moss, and Stewart. The researchers' results indicate that wall energy is efficiently converted into coherent scalar waves. Also discussed is particle production due to quantum effects. These effects lead to the decay of the coherent scalar waves. They also lead to direct particle production during bubble-wall collisions. Researchers calculate particle production for colliding walls in both sine-Gordon and theta (4) theories and show that it is far more efficient in the theta (4) case. The relevance of this work for recently proposed models of first order inflation is discussed.

Watkins, Richard↗
NASA NTRS1997

On the Possibility of Ill-Conditioned Covariance Matrices in the First-Order Two-Step Estimator

The first-order two-step nonlinear estimator, when applied to a problem of orbital navigation, is found to occasionally produce first step covariance matrices with very low eigenvalues at certain trajectory points. This anomaly is the result of the linear approximation to the first step covariance propagation. The study of this anomaly begins with expressing the propagation of the first and second step covariance matrices in terms of a single matrix. This matrix is shown to have a rank equal to the difference between the number of first step states and the number of second step states. Furthermore, under some simplifying assumptions, it is found that the basis of the column space of this matrix remains fixed once the filter has removed the large initial state error. A test matrix containing the basis of this column space and the partial derivative matrix relating first and second step states is derived. This square test matrix, which has dimensions equal to the number of first step states, numerically drops rank at the same locations that the first step covariance does. It is formulated in terms of a set of constant vectors (the basis) and a matrix which can be computed from a reference trajectory (the partial derivative matrix). A simple example problem involving dynamics which are described by two states and a range measurement illustrate the cause of this anomaly and the application of the aforementioned numerical test in more detail.

Garrison, James L.↗
NASA NTRSDate not supplied

Formal Verification of Termination Criteria for First-Order Recursive Functions

This paper presents a formalization of several termination criteria for first-order recursive functions. The formalization, which is developed in the Prototype Verification System (PVS), includes the specification and proof of equivalence of semantic termination, Turing termination, size change principle, calling context graphs, and matrix-weighted graphs. These termination criteria are defined on a computational model that consists of a basic functional language called PVS0, which is an embedding of recursive first-order functions. Through this embedding, the native mechanism for checking termination of recursive functions in PVS could be soundly extended with semi-automatic termination criteria such as calling contexts graphs. As a proof of concept, this paper illustrates how such an extension can be implemented using proof strategies based on computational reflection.

Formal Verification↗
NASA NTRSDate not supplied

Formal Verification of Termination Criteria for​ First-Order Recursive Functions

This talk presents a formalization of several termination criteria for first-order recursive functions. The formalization, which is developed in the Prototype Verification System (PVS), includes the specification and proof of equivalence of semantic termination, Turing termination, size change principle, calling context graphs, and matrix-weighted graphs. These termination criteria are defined on a computational model that consists of a basic functional language called PVS0, which is an embedding of recursive first-order functions. Through this embedding, the native mechanism for checking termination of recursive functions in PVS could be soundly extended with semi-automatic termination criteria such as calling contexts graphs.

Termination↗
NASA NTRS1972

On the probability of cycle-slipping in first-order phase-locked loops.

The first-passage time boundary value problem for first-order phase-locked loops (PLL) is analyzed, and spectral representations are developed for the probability density function (pdf), the distribution function, and the moments of the first time to passage (or cycle-slip). For the sinusoidal PLL, an asymptotic formula, that is surprisingly accurate even at low loop SNR's and large frequency offsets, is obtained for the pdf of the time to cycle-slip, in terms of the mean time to slip.

La Frieda, J. R.↗
NASA NTRS1985

First-order shock acceleration in solar flares

The first order Fermi shock acceleration model is compared with specific observations where electron, proton, and alpha particle spectra are available. In all events, it is found that a single shock with a compression ratio as inferred from the low energy proton spectra can reasonably produce the full proton, electron, and alpha particle spectra. The model predicts that the acceleration time to a given energy will be approximately equal for electrons and protons and, for reasonable solar parameters, can be less than 1 sec to 100 MeV.

Ellison, D. C.↗
NASA NTRS1990

A technique for predicting mode I energy release rates using a first-order shear deformable plate theory

Utilizing a first order shear deformable plate theory, a technique is described for predicting the distribution of the energy release rate along a curved or straight mode I planar crack in the plane of a plate (such as a delamination crack). Accuracy of the technique is assessed by comparing the distributions of energy release rate with those predicted by two- and three-dimensional finite element analyses of double cantilever beam specimens with straight crack fronts.

Davidson, B. D.↗
NASA NTRS2010

Enhanced Modeling of First-Order Plant Equations of Motion for Aeroelastic and Aeroservoelastic Applications

A methodology is described for generating first-order plant equations of motion for aeroelastic and aeroservoelastic applications. The description begins with the process of generating data files representing specialized mode-shapes, such as rigid-body and control surface modes, using both PATRAN and NASTRAN analysis. NASTRAN executes the 146 solution sequence using numerous Direct Matrix Abstraction Program (DMAP) calls to import the mode-shape files and to perform the aeroelastic response analysis. The aeroelastic response analysis calculates and extracts structural frequencies, generalized masses, frequency-dependent generalized aerodynamic force (GAF) coefficients, sensor deflections and load coefficients data as text-formatted data files. The data files are then re-sequenced and re-formatted using a custom written FORTRAN program. The text-formatted data files are stored and coefficients for s-plane equations are fitted to the frequency-dependent GAF coefficients using two Interactions of Structures, Aerodynamics and Controls (ISAC) programs. With tabular files from stored data created by ISAC, MATLAB generates the first-order aeroservoelastic plant equations of motion. These equations include control-surface actuator, turbulence, sensor and load modeling. Altitude varying root-locus plot and PSD plot results for a model of the F-18 aircraft are presented to demonstrate the capability.

Pototzky, Anthony S.↗
NASA NTRS1977

Characteristics of first order shock induced magnetic transitions in iron and discrimination from TRM

Reflected light microscopy provides information on first-order shock transitions in iron and iron-nickel and permits discrimination of microstructures due to shock transitions from those imparted by thermal transitions. In addition, thin-foil electron microscopy is used to characterize magnetic transitions in fine-particle iron. First-order magnetic phase changes, such as that from the antiferromagnetic face centered cubic state to the ferromagnetic body centered cubic state, are studied with the aim of calibrating the shock and thermal mechanisms of magnetization in iron with a particle size range between 250 and 1200 A. The efficiency of remanence due to shock transition is also estimated.

Wasilewski, P.↗
NASA NTRS1992

Asymptotic integration algorithms for first-order ODEs with application to viscoplasticity

When constructing an algorithm for the numerical integration of a differential equation, one must first convert the known ordinary differential equation (ODE), which is defined at a point, into an ordinary difference equation (O(delta)E), which is defined over an interval. Asymptotic, generalized, midpoint, and trapezoidal, O(delta)E algorithms are derived for a nonlinear first order ODE written in the form of a linear ODE. The asymptotic forward (typically underdamped) and backward (typically overdamped) integrators bound these midpoint and trapezoidal integrators, which tend to cancel out unwanted numerical damping by averaging, in some sense, the forward and backward integrations. Viscoplasticity presents itself as a system of nonlinear, coupled first-ordered ODE's that are mathematically stiff, and therefore, difficult to numerically integrate. They are an excellent application for the asymptotic integrators. Considering a general viscoplastic structure, it is demonstrated that one can either integrate the viscoplastic stresses or their associated eigenstrains.

Freed, Alan D.↗