Search NASA⌕ Search

SEARCH · Search NASA

Results for “Recursion”

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 343 records · Page 19

Viscel: A general purpose computer program for analysis of linear viscoelastic structures, volume 2

The VISCEL program is a general purpose computer program developed for equilibrium analysis of linear viscoelastic structures. The program is written in FORTRAN 5 language to operate on the Univac 1108 computer under the EXEC 8 operating system. The program, an extension of the linear equilibrium problem solver ELAS, is an updated and extended version of its earlier form written for the IBM 7094 computer. Finite element matrix displacement approach coupled with the synchronized material property concept, utilizing incremental time steps, was adopted for the solution presented. The step-by-step procedure involves solution of recursive equations in the time domain, which takes into account the memory of material properties. Incremental and accumulative displacements and stresses are obtained at the end of each time step. In order to minimize the extent of computations resulting from accumulative effects of material memory, the program provides an option which enables the employment of constant time steps in the logarithmic scale. Program documentation is presented.

Gupta, K. K.↗

Meteorological and ecological monitoring of the stratosphere and mesosphere

A concept for determining the constituent densities of ozone, atomic oxygen, aerosols, and neutral density in the 20 to 1000 km region of the atmosphere from a satellite was developed. The concept includes the daytime measurement of solar scattering at the earth's limb in selected narrow spectral bands of the ultraviolet and visible regions, and the measurement of selected (dayglow) emissions. Nighttime measurements of the atmospheric extinction of stellar energy in selected bands are also considered as are simultaneous measurements of the 5577 airglow and molecular oxygen emission in the Herzberg band. Radiative-transfer models and recursive inversion algorithms are developed for the measurements, and the accuracy of the concept is assessed.

Newell, R. E.↗

Control of linear uncertain systems utilizing mismatched state observers

The control of linear continuous dynamical systems is investigated as a problem of limited state feedback control. The equations which describe the structure of an observer are developed constrained to time-invarient systems. The optimal control problem is formulated, accounting for the uncertainty in the design parameters. Expressions for bounds on closed loop stability are also developed. The results indicate that very little uncertainty may be tolerated before divergence occurs in the recursive computation algorithms, and the derived stability bound yields extremely conservative estimates of regions of allowable parameter variations.

Goldstein, B.↗

Sequential error detection for nonlinear estimators.

A method is presented for sequentially testing the consistency of actual and calculated error covariances in recursive nonlinear estimators, such as the extended Kalman filter. An equivalent simplified test is described briefly. The method is useful for linear filters as well, where inconsistencies may be caused by modeling inaccuracies.

Nahi, N. E.↗

Approximate estimation for systems with quantized data.

Estimation of the state of a nonlinear discrete-time system using quantized data is considered. An exact solution for the maximum likelihood estimate is expressed as the solution of a nonlinear two-point boundary-value problem. Approximate recursive solutions for both the maximum likelihood and the conditional-mean estimates are obtained. The results of Monte-Carlo simulations are presented in which the performance of these two algorithms is compared with that of a Kalman filter in which the quantization error is approximated by white noise.-

Clements, K. A.↗

A biased filter for linear discrete dynamic systems.

A recursive estimator, the ridge filter, was developed for the linear discrete dynamic estimation problem. Theorems were established to show that the ridge filter can be, on the average, closer to the expected value of the system state than the Kalman filter. On the other hand, Kalman filter, on the average, is closer to the instantaneous system state than the ridge filter. The ridge filter has been formulated in such a way that the computational features of the Kalman filter are preserved.

Chang, J. W.↗

Fixed interval smoothing with discrete measurements.

Smoothing equations for a linear continuous dynamic system with linear discrete measurements, derived from the discrete results of Rauch, Tung, and Striebel (1965), (R-T-S), are used to extend, through recursive updating, the previously published results of Bryson and Frazier (1963), (B-F), and yield a modified Bryson and Frazier, (M-B-F), algorithm. A comparison of the (M-B-F) and (R-T-S) algorithms leads to the conclusion that the former is to be preferred because it entails less computation, less storage, and less instability. It is felt that the presented (M-B-F) smoothing algorithm is a practical mechanization and should be of value in smoothing discretely observed dynamic linear systems.

Bierman, G. J.↗

A comparison of the effects of small nonlinearities on several estimation schemes.

A variety of techniques are available for estimating the states of nonlinear dynamic systems from noisy data. These procedures are generally equivalent when applied to linear systems. This paper investigates the difference between several of these procedures in the presence of small dynamic and observational nonlinearities. In particular, it examines one least square batch processing algorithm, and three recursive algorithms similar to the Kalman filter. To first order, all the estimators have the same covariance. Expressions for the means, however, show that each estimator has a different bias. The examples presented show that the biases can be a strong function of such parameters as initial covariances and number of data points being considered.

Conrad, B.↗

Star scanner attitude determination for the OSO-7 spacecraft.

Calculation of the inertial orientation of the OSO-7 spacecraft from the times at which known stars or planets transit planes fixed in the spacecraft. Both the reference planes and the timing information are provided by the star scanner instrument aboard the spacecraft, while the star identification and the statistical estimation of a set of parameters describing the spacecraft attitude are accomplished in a ground station computer facility. A recursive least-squares determination is made of a vector of first-order differential corrections to the attitude state vector. Preliminary analysis indicates the system accuracy to be 3 arc min in each attitude Euler angle.

Mackison, D. L.↗

N-burn optimal analytic trajectories.

Derivation of N-burn analytic solutions for propellant-optimal transfer trajectories of a vehicle in a vacuum between arbitrary boundary conditions. Variational changes in the desired boundary conditions are expressed, in general, in terms of variational changes in the control vector and in the initial state vector. All coefficient matrices are computed recursively in terms of the analytic matrices established from the subarcs of the N-burn solution. The solution is applicable to shuttle ascent (exoatmospheric), rendezvous, and deorbit problems. Consideration is also given to state-variable and control-variable inequality constraints.

Jezewski, D. J.↗

Decision surface estimate of nonlinear system stability domain by Lie series method.

The Lie series recursive algorithm for Zubov's partial differential equation is used to generate two sets of points, where one represents the exact asymptotic stability boundary of an equilibrium state of the nonlinear system under consideration and the other is interior to it. Based on these two sets of data as training samples of two classes, a decision hypersurface can be determined such that it is a close approximation of the asymptotic stability boundary.

Kormanik, J.↗

A generalized theory for the design of contraction cones and other low speed ducts

A generalization of the Tsien method of contraction cone design is described. The design velocity distribution is expressed in such a form that the required high order derivatives can be obtained by recursion rather than by numerical or analytic differentiation. The method is applicable to the design of diffusers and converging-diverging ducts as well as contraction cones. The computer program is described and a FORTRAN listing of the program is provided.

Barger, R. L.↗

Representations of the language recognition problem for a theorem prover

Two representations of the language recognition problem for a theorem prover in first order logic are presented and contrasted. One of the representations is based on the familiar method of generating sentential forms of the language, and the other is based on the Cocke parsing algorithm. An augmented theorem prover is described which permits recognition of recursive languages. The state-transformation method developed by Cordell Green to construct problem solutions in resolution-based systems can be used to obtain the parse tree. In particular, the end-order traversal of the parse tree is derived in one of the representations. An inference system, termed the cycle inference system, is defined which makes it possible for the theorem prover to model the method on which the representation is based. The general applicability of the cycle inference system to state space problems is discussed. Given an unsatisfiable set S, where each clause has at most one positive literal, it is shown that there exists an input proof. The clauses for the two representations satisfy these conditions, as do many state space problems.

Minker, J.↗

Ames-aided inertial navigation work - The first two years of progress

A description of work whose broad objective is to attain improved aircraft navigation performance through exploitation of the concept of combining navigation data from several sources in an optimum manner is presented. The system developed as a result of the work, called RAINPAL (Recursive Aided Inertial Navigation for Precision Approach and Landing) is designed to combine precision radio range measurements with data from on-board inertial sensors to achieve precision navigation for approach and landing. The paper describes RAINPAL and the rationale of its design, and also serves as a sort of planning document, including a progress report, a summary of objectives past and present, and an exposition of reasons for doing the work.

Smith, G. L.↗

Counting digital filters

Several embodiments of a counting digital filter of the non-recursive type are disclosed. In each embodiment two registers, at least one of which is a shift register, are included. The shift register received j sub x-bit data input words bit by bit. The kth data word is represented by the integer.

Zohar, S.↗

Source encoding of images for efficient transmission

A set of recursive rules which generate unitary transforms with a fast algorithm are presented. For each rule, simple relations give the number of elementary operations required by the fast algorithm. The common Fourier, Walsh-Hadamard, Slant, and Haar transforms are expressed with these rules. The framework developed allows the introduction of generalized transforms which include all common transforms in a large class of identical computation transforms. A systematic and unified view is provided for unitary transforms which have appeared in the literature and for a number of new transforms of potential interest. Generalization to complex and multidimensional unitary transforms is considered.

Algazi, V. R.↗

Aerosol physical properties from satellite horizon inversion

The feasibility is investigated of determining the physical properties of aerosols globally in the altitude region of 10 to 100 km from a satellite horizon scanning experiment. The investigation utilizes a horizon inversion technique previously developed and extended. Aerosol physical properties such as number density, size distribution, and the real and imaginary components of the index of refraction are demonstrated to be invertible in the aerosol size ranges (0.01-0.1 microns), (0.1-1.0 microns), (1.0-10 microns). Extensions of previously developed radiative transfer models and recursive inversion algorithms are displayed.

Gray, C. R.↗

A geometrical interpretation of the 2n-th central difference

Many algorithms used for data smoothing, data classification and error detection require the calculation of the distance from a point to the polynomial interpolating its 2n neighbors (n on each side). This computation, if performed naively, would require the solution of a system of equations and could create numerical problems. This note shows that if the data is equally spaced, then this calculation can be performed using a simple recursion formula.

Tapia, R. A.↗