SEARCH · Search NASA

Results for “MATHEMATICS - MATRICES”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 73 records · Page 4

All sources NASA NTRS DOE OSTI

NASA NTRS1976

Application of a helicopter mathematical model to the Langley differential maneuvering simulator for use in a helicopter/fighter evasive maneuver study

A real time simulation study was conducted using a differential maneuvering simulator to determine and evaluate helicopter evasive maneuvers when attacked by fighter aircraft. A general helicopter mathematical model was modified to represent an H-53 helicopter. The helicopter model was compared to H-53 flight test data to determine any differences between the simulated and actual vehicles. The simulated helicopter was also subjectively validated by participating pilots. Two fighter mathematical models validated in previous studies were utilized for the attacking aircraft. The results of this simulation study have been verified in a flight test program conducted by the U. S. Air Force and were found to closely match the flight results.

Houck, J. A.↗

NASA NTRS1976

Control of thermal balance by a liquid circulating garment based on a mathematical representation of the human thermoregulatory system

Test data and a mathematical model of the human thermoregulatory system were used to investigate control of thermal balance by means of a liquid circulating garment (LCG). The test data were derived from five series of experiments in which environmental and metabolic conditions were varied parametrically as a function of several independent variables, including LCG flowrate, LCG inlet temperature, net environmental heat exchange, surrounding gas ventilation rate, ambient pressure, metabolic rate, and subjective/obligatory cooling control. The resultant data were used to relate skin temperature to LCG water temperature and flowrate, to assess a thermal comfort band, to demonstrate the relationship between metabolic rate and LCG heat dissipation, and so forth. The usefulness of the mathematical model as a tool for data interpretation and for generation of trends and relationships among the various physiological parameters was also investigated and verified.

Kuznetz, L. H.↗

NASA NTRS1977

The variety of variables in mathematical expressions

Various distinctions are discussed which can be made regarding evaluation of mathematical expressions: regular evaluation vs. infinite evaluation vs. finite evaluation, regular variables vs. mathematical variables vs. shadow variables vs. labels, simplification vs. evaluation vs. solution of equations. The unsatisfactory state of evaluation strategies in symbolic systems is due to insufficient use of such distinctions in the past.

Moses, J.↗

NASA NTRS1979

Task force on applied mathematics

Tomas Garza relates how the Research Center for Applied Mathematics Systems and Services in Mexico became the Research Institute for Applied Mathematics and Systems and what the type of work performed is.

Prieto, A.↗

NASA NTRS1979

Mathematical Modeling of Diverse Phenomena

Tensor calculus is applied to the formulation of mathematical models of diverse phenomena. Aeronautics, fluid dynamics, and cosmology are among the areas of application. The feasibility of combining tensor methods and computer capability to formulate problems is demonstrated. The techniques described are an attempt to simplify the formulation of mathematical models by reducing the modeling process to a series of routine operations, which can be performed either manually or by computer.

Howard, J. C.↗

NASA NTRS1980

Mathematical modeling of moving boundary problems in thermal energy storage

The capability for predicting the performance of thermal energy storage (RES) subsystems and components using PCM's based on mathematical and physical models is developed. Mathematical models of the dynamic thermal behavior of (TES) subsystems using PCM's based on solutions of the moving boundary thermal conduction problem and on heat and mass transfer engineering correlations are also discussed.

Solomon, A. D.↗

NASA NTRS1978

Three dimensional thermal pollution models. Volume 1: Review of mathematical formulations

A mathematical model package for thermal pollution analyses and prediction is presented. These models, intended as user's manuals, are three dimensional and time dependent using the primitive equation approach. Although they have sufficient generality for application at sites with diverse topographical features; they also present specific instructions regarding data preparation for program execution and sample problems. The mathematical formulation of these models is presented including assumptions, approximations, governing equations, boundary and initial conditions, numerical method of solution, and same results.

Lee, S. S.↗

NASA NTRS1980

An integrative approach to space-flight physiology using systems analysis and mathematical simulation

An approach was developed to aid in the integration of many of the biomedical findings of space flight, using systems analysis. The mathematical tools used in accomplishing this task include an automated data base, a biostatistical and data analysis system, and a wide variety of mathematical simulation models of physiological systems. A keystone of this effort was the evaluation of physiological hypotheses using the simulation models and the prediction of the consequences of these hypotheses on many physiological quantities, some of which were not amenable to direct measurement. This approach led to improvements in the model, refinements of the hypotheses, a tentative integrated hypothesis for adaptation to weightlessness, and specific recommendations for new flight experiments.

Leonard, J. I.↗

NASA NTRS1981

Mathematical specifications of the Onboard Navigation Package (ONPAC) simulator (revision 1)

The mathematical theory of the computational algorithms employed in the onboard navigation package system is described. This system, which simulates an onboard navigation processor, was developed to aid in the design and evaluation of onboard navigation software. The mathematical formulations presented include the factorized UDU(T) form of the extended Kalman filter, the equations of motion of the user satellite, the user clock equations, the observation equations and their partial derivatives, the coodinate transformations, and the matrix decomposition algorithms.

Dunham, J. B.↗

NASA NTRS1983

Some aspects of mathematical and chemical modeling of complex chemical processes

Some theoretical questions involved in the mathematical modeling of the kinetics of complex chemical process are discussed. The analysis is carried out for the homogeneous oxidation of ethylbenzene in the liquid phase. Particular attention is given to the determination of the general characteristics of chemical systems from an analysis of mathematical models developed on the basis of linear algebra.

Nemes, I.↗

NASA NTRS1984

Mathematical synthesization of complex structures

A mathematical synthesization approach for rapidly modeling and analyzing complex structures comprised of hundreds or thousands of repeating individual structural members, interconnecting hardware, and other components was described. The techniques are applicable to any structure with repeating structural members. The capabilities are embodied within the Interactive Design and Evaluation of Advanced Spacecraft (IDEAS) computer-aided design system. IDEAS has a full range of integrated spacecraft modeling, design, analysis, performance, and cost estimating capabilities which include about 40 technical program and executive, data base, and file management systems. With IDEAS, a single user at an interactive terminal can create, design, analyze, and conduct parametric studies of Earth orbiting spacecraft in a timely, cost-efficient manner. The system is particularly useful in the conceptual design phases of advanced space missions when a multiplicity of concepts must be evaluated. The IDEAS interactive finite-element modeling capabilities are discussed. The mathematical synthesization programs were structured not only to provide a detailed finite-element model of the structure but also to automatically perform the many auxiliary computations needed to analyze the spacecraft in its orbital operational environment.

Garrett, L. B.↗

NASA NTRS1983

Review and verification of CARE 3 mathematical model and code

The CARE-III mathematical model and code verification performed by Boeing Computer Services were documented. The mathematical model was verified for permanent and intermittent faults. The transient fault model was not addressed. The code verification was performed on CARE-III, Version 3. A CARE III Version 4, which corrects deficiencies identified in Version 3, is being developed.

Rose, D. M.↗

NASA NTRS1984

Concentrator optical characterization using computer mathematical modelling and point source testing

The optical characteristics of a paraboloidal solar concentrator are analyzed using the intercept factor curve (a format for image data) to describe the results of a mathematical model and to represent reduced data from experimental testing. This procedure makes it possible not only to test an assembled concentrator, but also to evaluate single optical panels or to conduct non-solar tests of an assembled concentrator. The use of three-dimensional ray tracing computer programs to calculate the mathematical model is described. These ray tracing programs can include any type of optical configuration from simple paraboloids to array of spherical facets and can be adapted to microcomputers or larger computers, which can graphically display real-time comparison of calculated and measured data.

Dennison, E. W.↗

NASA NTRS1984

Formal verification of mathematical software

Methods are investigated for formally specifying and verifying the correctness of mathematical software (software which uses floating point numbers and arithmetic). Previous work in the field was reviewed. A new model of floating point arithmetic called the asymptotic paradigm was developed and formalized. Two different conceptual approaches to program verification, the classical Verification Condition approach and the more recently developed Programming Logic approach, were adapted to use the asymptotic paradigm. These approaches were then used to verify several programs; the programs chosen were simplified versions of actual mathematical software.

Sutherland, D.↗

NASA NTRS1985

A mathematical formulation of the problem of optimal use of ground resources for future space missions

An approximate mathematical formulation for scheduling of future space missions is proposed. The objective is to schedule the flights to efficiently use the available ground resources, to minimize the inventory level of ground resources needed and to minimize the overlapping or conflicting periods during which the same types of resources are used by the various flights. The development of the mathematical formulation of the problem considers the presence of a large number of sequencing and resource constraints: (1) the order in which the flights are to be launched is predetermined; and (2) some types of resources are to be used only by certain flights. A linear objective function based on cost considerations is constructed and this function is minimized subject to the various constraints.

Scott, M.↗

NASA NTRS1986

Multiple boundary condition test (MBCT) approach to update mathematical models of large flexible structures

A major challenge to the structural dynamicist is to validate mathematical models of large space structures which cannot be ground tested because of its size and/or flexibility. The paper presents a Multiple Boundary Condition Test (MBCT) approach which allows a systematic validation of the mathematical model by performing a number of ground tests on a large structure with variable boundary conditions. A numerical simulation is presented which illustrates the validity of the MBCT including some of the potential limitations.

Wada, B. K.↗

NASA NTRS1987

Mathematical Models for Doppler Measurements

Error analysis increases precision of navigation. Report presents improved mathematical models of analysis of Doppler measurements and measurement errors of spacecraft navigation. To take advantage of potential navigational accuracy of Doppler measurements, precise equations relate measured cycle count to position and velocity. Drifts and random variations in transmitter and receiver oscillator frequencies taken into account. Mathematical models also adapted to aircraft navigation, radar, sonar, lidar, and interferometry.

Lear, William M.↗

NASA NTRS1985

Space Mathematics: A Resource for Secondary School Teachers

A collection of mathematical problems related to NASA space science projects is presented. In developing the examples and problems, attention was given to preserving the authenticity and significance of the original setting while keeping the level of mathematics within the secondary school curriculum. Computation and measurement, algebra, geometry, probability and statistics, exponential and logarithmic functions, trigonometry, matrix algebra, conic sections, and calculus are among the areas addressed.

Kastner, Bernice↗