Search NASASearch

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 91 records · Page 5

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.

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.

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.

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.

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.

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.

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.

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

Mathematical modeling of a Ti:sapphire solid-state laser

The project initiated a study of a mathematical model of a tunable Ti:sapphire solid-state laser. A general mathematical model was developed for the purpose of identifying design parameters which will optimize the system, and serve as a useful predictor of the system's behavior.

Swetits, John J.

The spectral characteristics of rotor blade-vortex interaction noise - Experimental and mathematical results

The BVI impulsive content of a rotor acoustic signal is shown to appear in the mid-frequency range of the power spectrum, between the fifth and thirtieth harmonics of the blade passage frequency, concentrated at the harmonics of the blade passage frequency. These harmonics exhibit a humped or scalloped shape in this mid-frequency spectral region. Increased energy at the harmonics of the shaft frequency appears when the BVI impulsive content demonstrates unsteadiness and blade-to-blade differences in the time domain. A mathematical model of a generalized BVI acoustic signal and its power spectrum shows that the power spectrum is scalloped and filtered by a comb function. The spectrum amplitude is defined by the impulse amplitude and emission time. The scalloping of the spectrum is related to the emission time of the impulse itself, and the spacing of the comb function is related to the repetition time (period) of the impulse. The decay rate of the spectral humps is governed by the inverse of frequency squared. The mathematical model validates the characteristics observed in the data and verify that these characteristics are due to blade-vortex interaction activity.

Martin, Ruth M.

Mathematical model for the dc-ac inverter for the Space Shuttle

The reader is informed of what was done for the mathematical modeling of the dc-ac inverter for the Space Shuttle. The mathematical modeling of the dc-ac inverter is an essential element in the modeling of the electrical power distribution system of the Space Shuttle. The electrical power distribution system which is present on the Space Shuttle is made up to 3 strings each having a fuel cell which provides dc to those systems which require dc, and the inverters which convert the dc to ac for those elements which require ac. The inverters are units which are 2 wire structures for the main dc inputs and 2 wire structures for the ac output. When 3 are connected together a 4 wire wye connection results on the ac side. The method of modeling is performed by using a Least Squares curve fitting method. A computer program is presented for implementation of the model along with graphs and tables to demonstrate the accuracy of the model.

Berry, Frederick C.

Toward a mathematical formalism of performance, task difficulty, and activation

The rudiments of a mathematical formalism for handling operational, physiological, and psychological concepts are developed for use by the man-machine system design engineer. The formalism provides a framework for developing a structured, systematic approach to the interface design problem, using existing mathematical tools, and simplifying the problem of telling a machine how to measure and use performance.

Samaras, George M.

A mathematical model for spatial orientation from pictorial perspective displays

A previously formulated mathematical model, describing how observers reconstruct three-dimensional spatial layouts from perspective projections, has been extended to more complex situations. The model assumes that the observer has a priori knowledge of certain characteristics of the viewed objects, like size, shape, or parallelism or perpendicularity of lines or planes. These assumptions are used in a three-dimensional process to reconstruct a spatial layout that `best matches' the perceived lines of sight to the object coordinates. Sources of errors and biases in this process are specified and their effects on model outputs are discussed. An experiment, in which eight subjects judged the relative direction of one object with respect to another, has been conducted to validate the model. The model has been found to generally reproduce the systematic trends of the experimental results and also has provided an analytical explanation for them. The mathematical model is expected to be a useful tool in analyzing and developing pictorial perspective flight displays.

Grunwald, Arthur J.

Automatic mathematical modeling for real time simulation program (AI application)

A methodology is described for automatic mathematical modeling and generating simulation models. The major objective was to create a user friendly environment for engineers to design, maintain, and verify their models; to automatically convert the mathematical models into conventional code for computation; and finally, to document the model automatically.

Wang, Caroline

Basic mathematical function libraries for scientific computation

Ada packages implementing selected mathematical functions for the support of scientific and engineering applications were written. The packages provide the Ada programmer with the mathematical function support found in the languages Pascal and FORTRAN as well as an extended precision arithmetic and a complete complex arithmetic. The algorithms used are fully described and analyzed. Implementation assumes that the Ada type FLOAT objects fully conform to the IEEE 754-1985 standard for single binary floating-point arithmetic, and that INTEGER objects are 32-bit entities. Codes for the Ada packages are included as appendixes.

Galant, David C.

Mathematical model for adaptive control system of ASEA robot at Kennedy Space Center

The dynamic properties and the mathematical model for the adaptive control of the robotic system presently under investigation at Robotic Application and Development Laboratory at Kennedy Space Center are discussed. NASA is currently investigating the use of robotic manipulators for mating and demating of fuel lines to the Space Shuttle Vehicle prior to launch. The Robotic system used as a testbed for this purpose is an ASEA IRB-90 industrial robot with adaptive control capabilities. The system was tested and it's performance with respect to stability was improved by using an analogue force controller. The objective of this research project is to determine the mathematical model of the system operating under force feedback control with varying dynamic internal perturbation in order to provide continuous stable operation under variable load conditions. A series of lumped parameter models are developed. The models include some effects of robot structural dynamics, sensor compliance, and workpiece dynamics.

Zia, Omar

An investigation of a mathematical model of an optically pumped Ti(3+):Al2O3 laser system

During the last several years, solid state lasers were developed that have the potential for meeting rigorous performance requirements for space-based remote sensing of the atmosphere. In order to design a stable and efficient laser and to understand the effect on laser output of changes in the physical and design parameters, an understanding of the development of the dynamical processes of the laser is necessary. Typically, the dynamical processes in a laser system are investigated via rate equations describing the evolution of the occupancy in the electronic levels and of the photon density in the laser cavity. There are two approaches to this type of study. Most often, for the sake of simplicity, the spatial variations of the dynamic variables in the laser system are disregarded and the mathematical model consists of a system of first order nonlinear ordinary differential equations (ODE). The second approach is to take into account both spatial and temporal variations in the dynamic variables in the laser cavity. The resulting model consists of a first order semilinear system of partial differential equations (PDE). The model which was studied was studied was generic in the sense that it was a four-level laser system, but the parameters used in the numerical study were specific to Titanium-doped sapphire. For simplicity, a constant, spatially uniform pumping scheme was considered. In addition, a simplification of the model was made so that it treats a single lasing wavelength with a narrow bandwidth. The purpose was to investigate both versions of the mathematical model and to determine whether the numerical solutions are similar both qualitatively and quantitatively. The systems of ordinary differential equations were solved numerically using a Runge-Kutta-Fehlberg algorithm which was very efficient for typical values of the physical parameters. A numerical scheme, based on the Modified Euler method, for computing solutions to the system of partial differential equations was developed and implemented. The PDE model was solved numerically at the expense of greatly increased computer time.

Roberts, Lila F.

Mathematical optimization of photovoltaic converters for diode lasers

The mathematical optimization of vertical-junction photovoltaic converters for use with diode laser arrays supplying powers up to 1 MW is discussed. Photovoltaic parameters were optimized using a mathematical model. The optimized converters have 500 single junctions connected in series. The efficiency varies from 41 percent for a 0.73-micron diode laser to 46 percent for a 0.83-micron diode laser. The optimum width of the single-junction converter is small, 3.0 microns, in order for the p-n junction to be within a diffusion length of the light-generated carriers. Another critical parameter is the series resistance; the optimum value of 0.001 ohms should be achievable. Another critical parameter is the donor carrier concentration, for which an optimum value of 5 x 10 to the 15th carriers/cu cm has been chosen.

Walker, Gilbert H.