Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Mathematics”

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 703 records · Page 39

Mathematical research on spline functions

One approach in spline functions is to grossly estimate the integrand in J and exactly solve the resulting problem. If the integrand in J is approximated by Y" squared, the resulting problem lends itself to exact solution, the familiar cubic spline. Another approach is to investigate various approximations to the integrand in J and attempt to solve the resulting problems. The results are described.

Horner, J. M.↗

Detailed mathematical models of a radioisotope thermoelectric generator.

Two new models for the design and performance analysis of RTG's are outlined in this paper. The first model assumes a small-signal transient-type calculational sequence that permits the separation of steady-state operation of the generator from its dynamic behavior. The second model uses a numerical (finite difference) solution of the performance equations of the RTG. Both models enable the investigation of transient and steady-state performance of RTG's. Simplifying assumptions have been kept to a minimum in the new RTG models and these models enable the inclusion of generator end losses, axial temperature gradients and heat interchange between thermoelements and thermal insulation in RTG performance calculations in a self-consistent manner.

Dewinter, F.↗

Research in mathematical theory of computation

Research progress in the following areas is reviewed: (1) new version of computer program LCF (logic for computable functions) including a facility to search for proofs automatically; (2) the description of the language PASCAL in terms of both LCF and in first order logic; (3) discussion of LISP semantics in LCF and attempt to prove the correctness of the London compilers in a formal way; (4) design of both special purpose and domain independent proving procedures specifically program correctness in mind; (5) design of languages for describing such proof procedures; and (6) the embedding of ideas in the first order checker.

Mccarthy, J.↗

A mathematical model for storied buildings subjected to automatic loom stresses

Expressions are derived for the displacements of a many storied building subjected to the action of classical weaving looms located at different levels of the building. The building is regarded as a vertical fixed beam with a uniformly distributed mass as well as concentrated masses at each level. The calculation relations are obtained on the assumption of harmonic variation of the forces acting at each level as well as the assumption of narrow band stationary random excitatory forces.

Stan, A.↗

Mathematical crew motion disturbance models for spacecraft control system design

Several techniques for modeling the disturbances to a spacecraft's attitude caused by moving crew members are presented. These disturbances can be the largest moments acting on a manned spacecraft, and knowledge of their effect is important in the sizing, design, and analysis/simulation of spacecraft attitude control systems. The modeling techniques are identified as two principal types: deterministic and stochastic. Three techniques of each type are presented. The deterministic models include point-mass motion derivatives and a discussion on dynamic models of moving crew members. The stochastic techniques are highlighted by a Fourier transform method and the representation of long-term crew disturbance activities as outputs from appropriately designed filters. A z-transform technique is developed to obtain a difference-equation form of stochastic models for use on digital computers. An appendix derives spacecraft equations of motion which can be used with many of the models discussed.

Conway, B. A.↗

Mathematical models for the reflection coefficients of dielectric half-spaces

The reflection coefficients at normal incidence are found for a large class of one-dimensionally inhomogeneous or stratified half-spaces, which contain a homogeneous half-space. The formulation of the problem involves a combination of the classical boundary value technique, and the nonclassical principle of invariant imbedding. Solutions are in closed form and expressible in terms of Bessel functions. All results are given in terms of the ratio of the distance between free space and the homogeneous half-space to the wavelength in vacuo. One special case is that of an arbitrary number of layers lying on a homogeneous half-space where the dielectric constant of each layer has a constant gradient. A number of other special cases, limiting cases, and generalizations are developed including one in which the thickness of the top layer obeys a probability distribution.

Evans, D. D.↗

A method for digital image registration using a mathematical programming technique

A new algorithm based on a nonlinear programming technique to correct the geometrical distortions of one digital image with respect to another is discussed. This algorithm promises to be superior to existing ones in that it is capable of treating localized differential scaling, translational and rotational errors over the whole image plane. A series of piece-wise 'rubber-sheet' approximations are used, constrained in such a manner that a smooth approximation over the entire image can be obtained. The theoretical derivation is included. The result of using the algorithm to register four channel S065 Apollo IX digitized photography over Imperial Valley, California, is discussed in detail.

Yao, S. S.↗

Mathematical operations by optical processing

Some recent developments in coherent optical processing are described in this paper. Specifically, the use of one or more elementary gratings to perform useful processing operations and computer-generated spatial filters to obtain generalized transforms are discussed. Applications incorporating nonlinear optical elements and optical feedback into the processing system are also presented.

Lee, S. H.↗

A mathematical examination of the press model for atmospheric turbulence

The random process used to model atmospheric turbulence in aircraft response problems is examined. The first, second, and higher order probability density and characteristic functions were developed. The concepts of the Press model lead to an approximate procedure for the analysis of the response of linear dynamic systems to a class of non-Gaussian random processes. The Press model accounts for both the Gaussian and non-Gaussian forms of measured turbulence data. The nonstationary aspects of measured data are explicitly described by the transition properties of the random process. The effects of the distribution of the intensity process upon calculated exceedances are examined. It is concluded that the press model with a Gaussian intensity distribution gives a conservative prediction of limit load values.

Sidwell, K.↗

Wavefront-error evaluation by mathematical analysis of experimental Foucault-test data

The diffraction theory of the Foucault test provides an integral formula expressing the complex amplitude and irradiance distribution in the Foucault pattern of a test mirror (lens) as a function of wavefront error. Recent literature presents methods of inverting this formula to express wavefront error in terms of irradiance in the Foucault pattern. The present paper describes a study in which the inversion formulation was applied to photometric Foucault-test measurements on a nearly diffraction-limited mirror to determine wavefront errors for direct comparison with ones determined from scatter-plate interferometer measurements. The results affirm the practicability of the Foucault test for quantitative wavefront analysis of very small errors, and they reveal the fallacy of the prevalent belief that the test is limited to qualitative use only. Implications of the results with regard to optical testing and the potential use of the Foucault test for wavefront analysis in orbital space telescopes are discussed.

Wilson, R. G.↗