Search NASA⌕ Search

SEARCH · Search NASA

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 595 records · Page 33
All sourcesNASA NTRSDOE OSTI
NASA NTRS1971

Comparison of various methods for mathematical analysis of the Foucault knife edge test pattern to determine optical imperfections

The linearized integral equation for the Foucault test of a solid mirror was solved by various methods: power series, Fourier series, collocation, iteration, and inversion integral. The case of the Cassegrain mirror was solved by a particular power series method, collocation, and inversion integral. The inversion integral method appears to be the best overall method for both the solid and Cassegrain mirrors. Certain particular types of power series and Fourier series are satisfactory for the Cassegrain mirror. Numerical integration of the nonlinear equation for selected surface imperfections showed that results start to deviate from those given by the linearized equation at a surface deviation of about 3 percent of the wavelength of light. Several possible procedures for calibrating and scaling the input data for the integral equation are described.

Gatewood, B. E.↗
NASA NTRS1971

Mathematical modeling of high and low temperature heat pipes

Following a review of heat and mass transfer theory relevant to heat pipe performance, math models are developed for calculating heat-transfer limitations of high-temperature heat pipes and heat-transfer limitations and temperature gradient of low temperature heat pipes. Calculated results are compared with the available experimental data from various sources to increase confidence in the present math models. Complete listings of two computer programs for high- and low-temperature heat pipes respectively are included. These programs enable the performance to be predicted of heat pipes with wrapped-screen, rectangular-groove, or screen-covered rectangular-groove wick.

Chi, S. W.↗
NASA NTRS1971

Mathematical analysis of a Vuilleumier refrigerator.

A comprehensive analysis of the Vuilleumier refrigerator was conducted. This analysis includes the effects of nonisothermal gas heat addition and rejection, hot and cold regenerator inefficiencies, conduction losses, and gas leakage losses. A computer program was written which solves the equations resulting from the analysis. The program calculates internal pressures, temperatures, and gas flow rates as functions of refrigerator crank angle, as well as overall refrigerator cooling load and power input. Comparisons between the program results and available data show good agreement, with a marked improvement over the predictions of the ideal model.

Sherman, A.↗
NASA NTRS1971

Mathematical model for two-dimensional multi-component airfoils in viscous flow.

A computerized analytical model of a multi-component airfoil in viscous, subsonic flow has been developed. The model, representing attached flow, defines viscous pressure distributions, lift, moments, and local boundary-layer properties on each element of an arbitrarily arranged slotted airfoil. The final viscous solution is obtained by an iterative technique for successively combining an inviscid solution with boundary-layer displacement thicknesses. Ordinary boundary-layers include laminar, transition, and turbulent types. A significant feature of the program is an analytical model representing the merging of the upper surface boundary layer with the slot efflux. Typical correlations with experiment are provided and program applications are discussed.

Stevens, W. A.↗
NASA NTRS1972

Mathematics of Profile Inversion

One-dimensional and multi-dimensional inversion techniques for processing remote atmospheric and ionospheric sounding data

Colin, L.↗
NASA NTRS1972

The mathematical-physical problem of P prime(f) to N(h) inversion for anisotropic media

The requirements for a numerical inversion method to calculate electron density profiles from ionograms are discussed. A systematic investigation about the independence of the two magnetoionic components shows that the extent to which the range of ambiguity can be reduced depends mainly on the magnetic latitude. Error estimates and first-order corrections for less elaborate methods are included.

Paul, A. K.↗
NASA NTRS1972

Mathematical characterization of mechanical behavior of porous frictional granular media

A new definition of loading and unloading along the yield surface of Roscoe and Burland is introduced. This is achieved by noting that the strain-hardening parameter in the plastic potential function is deduced from the yield locus equation of Roscoe and Burland. The analytical results are compared with the experimental results for plate-bearing and cone-penetrometer problems and close agreements are demonstrated. The wheel-soil interaction is studied under dynamic loading. The rate-dependent plasticity or viscoelastoplastic behavior is considered. This is accomplished by the internal (hidden) variables associated with time-dependent viscous properties directly superimposed with inelastic behavior governed by the yield criteria of Roscoe and Burland. Effects of inertia and energy dissipation are properly accounted for. Example problems are presented.

Chung, T. J.↗
NASA NTRS1972

Mathematical computer programs: A compilation

Computer programs, routines, and subroutines for aiding engineers, scientists, and mathematicians in direct problem solving are presented. Also included is a group of items that affords the same users greater flexibility in the use of software.

Source record↗
NASA NTRS1972

Study of mathematical modeling of communication systems transponders and receivers

The modeling of communication receivers is described at both the circuit detail level and at the block level. The largest effort was devoted to developing new models at the block modeling level. The available effort did not permit full development of all of the block modeling concepts envisioned, but idealized blocks were developed for signal sources, a variety of filters, limiters, amplifiers, mixers, and demodulators. These blocks were organized into an operational computer simulation of communications receiver circuits identified as the frequency and time circuit analysis technique (FATCAT). The simulation operates in both the time and frequency domains, and permits output plots or listings of either frequency spectra or time waveforms from any model block. Transfer between domains is handled with a fast Fourier transform algorithm.

Walsh, J. R.↗
NASA NTRS1973

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.↗
NASA NTRS1972

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.↗
NASA NTRS1973

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.↗