Search NASA⌕ Search

SEARCH · Search NASA

Results for “MATHEMATICS - ITERATION”

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

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

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

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