Search NASA⌕ Search

SEARCH · Search NASA

Results for “Mathematical Methods”

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 613 records · Page 34

Radar stereomapping techniques and application to SIR-B images of Mt. Shasta

One of the goals of the SIR-B experiment was the definition of optimum radar incidence and intersection angles for radargrammetric stereoscopy by comparing the results from three separate data-reduction methods. To this end three overlapping images of the prime radargrammetric site (Mt. Shasta in northern California) were obtained, fewer than anticipated. This paper describes the mathematical basis for radar stereomapping, along with preliminary results from one of the methods (using a so-called 'analytical' stereoplotter) for the Mt. Shasta site. Height coordinate errors range from 60 to 170 m depending on the density (number per ground area) of ground control points used.

Leberl, F. W.↗

A New Principle of Sound Frequency Analysis

In connection with the study of aircraft and propeller noises, the National Advisory Committee for Aeronautics has developed an instrument for sound-frequency analysis which differs fundamentally from previous types, and which, owing to its simplicity of principle, construction, and operation, has proved to be of value in this investigation. The method is based on the well-known fact that the Ohmic loss in an electrical resistance is equal to the sum of the losses of the harmonic components of a complex wave, except for the case in which any two components approach or attain vectorial identity, in which case the Ohmic loss is increased by a definite amount. The principle of frequency analysis has been presented mathematically and a number of distinct advantages relative to previous methods have been pointed out. An automatic recording instrument embodying this principle is described in detail. It employs a beat-frequency oscillator as a source of variable frequency. A large number of experiments have verified the predicted superiority of the method. A number of representative records are presented.

Theodorsen, Theodore↗

An Efficient Universal Trajectory Language

The Efficient Universal Trajectory Language (EUTL) is a language for specifying and representing trajectories for Air Traffic Management (ATM) concepts such as Trajectory-Based Operations (TBO). In these concepts, the communication of a trajectory between an aircraft and ground automation is fundamental. Historically, this trajectory exchange has not been done, leading to trajectory definitions that have been centered around particular application domains and, therefore, are not well suited for TBO applications. The EUTL trajectory language has been defined in the Prototype Verification System (PVS) formal specification language, which provides an operational semantics for the EUTL language. The hope is that EUTL will provide a foundation for mathematically verified algorithms that manipulate trajectories. Additionally, the EUTL language provides well-defined methods to unambiguously determine position and velocity information between the reported trajectory points. In this paper, we present the EUTL trajectory language in mathematical detail.

Hagen, George E.↗

Property-Based Software Engineering Measurement

Little theory exists in the field of software system measurement. Concepts such as complexity, coupling, cohesion or even size are very often subject to interpretation and appear to have inconsistent definitions in the literature. As a consequence, there is little guidance provided to the analyst attempting to define proper measures for specific problems. Many controversies in the literature are simply misunderstandings and stem from the fact that some people talk about different measurement concepts under the same label (complexity is the most common case). There is a need to define unambiguously the most important measurement concepts used in the measurement of software products. One way of doing so is to define precisely what mathematical properties characterize these concepts regardless of the specific software artifacts to which these concepts are applied. Such a mathematical framework could generate a consensus in the software engineering community and provide a means for better communication among researchers, better guidelines for analysis, and better evaluation methods for commercial static analyzers for practitioners. In this paper, we propose a mathematical framework which is generic, because it is not specific to any particular software artifact, and rigorous, because it is based on precise mathematical concepts. This framework defines several important measurement concepts (size, length, complexity, cohesion, coupling). It is not intended to be complete or fully objective; other frameworks could have been proposed and different choices could have been made. However, we believe that the formalism and properties we introduce are convenient and intuitive. In addition, we have reviewed the literature on this subject and compared it with our work. This framework contributes constructively to a firmer theoretical ground of software measurement.

Briand, Lionel↗

Property-Based Software Engineering Measurement

Little theory exists in the field of software system measurement. Concepts such as complexity, coupling, cohesion or even size are very often subject to interpretation and appear to have inconsistent definitions in the literature. As a consequence, there is little guidance provided to the analyst attempting to define proper measures for specific problems. Many controversies in the literature are simply misunderstandings and stem from the fact that some people talk about different measurement concepts under the same label (complexity is the most common case). There is a need to define unambiguously the most important measurement concepts used in the measurement of software products. One way of doing so is to define precisely what mathematical properties characterize these concepts, regardless of the specific software artifacts to which these concepts are applied. Such a mathematical framework could generate a consensus in the software engineering community and provide a means for better communication among researchers, better guidelines for analysts, and better evaluation methods for commercial static analyzers for practitioners. In this paper, we propose a mathematical framework which is generic, because it is not specific to any particular software artifact and rigorous, because it is based on precise mathematical concepts. We use this framework to propose definitions of several important measurement concepts (size, length, complexity, cohesion, coupling). It does not intend to be complete or fully objective; other frameworks could have been proposed and different choices could have been made. However, we believe that the formalisms and properties we introduce are convenient and intuitive. This framework contributes constructively to a firmer theoretical ground of software measurement.

Briand, Lionel C.↗

A new method of measurement of tension on a moving magnetic tape

The possibility of no-contact measurement of the tension on a moving magnetic tape, assuming the tape is uniform, is discussed. A scheme for calculation of the natural frequency of transverse vibrations of magnetic tape is shown. Mathematical models are developed to show the relationships of the parameters. The method is applicable to the analysis of accurate tape feed mechanisms design.

Kurtinaytis, A. K.↗

Computational aspects of real-time simulation of rotary-wing aircraft

A study was conducted to determine the effects of degrading a rotating blade element rotor mathematical model suitable for real-time simulation of rotorcraft. Three methods of degradation were studied, reduction of number of blades, reduction of number of blade segments, and increasing the integration interval, which has the corresponding effect of increasing blade azimuthal advance angle. The three degradation methods were studied through static trim comparisons, total rotor force and moment comparisons, single blade force and moment comparisons over one complete revolution, and total vehicle dynamic response comparisons. Recommendations are made concerning model degradation which should serve as a guide for future users of this mathematical model, and in general, they are in order of minimum impact on model validity: (1) reduction of number of blade segments; (2) reduction of number of blades; and (3) increase of integration interval and azimuthal advance angle. Extreme limits are specified beyond which a different rotor mathematical model should be used.

Houck, J. A.↗

Optimizing acoustical treatment

A mathematical linear programming model is presented for optimizing acoustical treatment and interior decoration of concert and other public halls. This method provides the designer with a range of acoustically correct solutions at increased economical efficiency. The mathematical model uses geometrical data about the room, recommended reverberation time values, the architect's choice of given sound absorbing structures and finishing materials. The model permits inclusion of aesthetical considerations about conditioning, proportioning, or, on the contrary, reciprocal exclusion of any classes of material and/or sound absorbing structure.

Beuran, N.↗

A homotopy continuation method for general preliminary orbit determination and special application to the Tracking and Data Relay Satellite System

A recent mathematical technique for solving systems of equations is applied in a very general way to the orbit determination problem. The use of this technique, the homotopy continuation method, was motivated by the possible need to perform preliminary orbit determination in the Tracking and Data Relay Satellite System (TDRSS), using range and Doppler tracking alone. In the formulation studied here, a set of six tracking observations is continuously transformed from a set with known solutions to the given set with unknown solutions, and the corresponding orbit state vector is followed from the a priori orbit state to the solution orbit states. A modular numerical algorithm is developed to follow the state vector. The technique is formulated and then tested, using both real and simulated tracking, with positive results. Direct comparisons show that the basic method has a much larger radius of convergence than standard or simply modified Newton-Raphson methods. An extension of the basic method is formulated that is expected to produce a global method.

Smith, R. L.↗

Modeling the performance of the human (pilot) interaction in a synthetic flight domain: Information theoretic approach

Current advances in computing technology are devoid of formal methods that describe the theories of how information is shared between humans and machines. Specifically, in the domain of human-machine interaction, a common mathematical foundation is lacking. The aim of this paper is to propose a formal method of human-machine (H-M) interaction paradigm from the information view point. The methods presented are interpretation- and context-free and can be used both in experimental analysis as well as in modeling problems.

Ntuen, Celestine A.↗

Photoviscoelasticity

Stress analysis method of photoelasticity extended to viscoelastic materials by manufacturing mathematical model from transparent birefringent material properties

MATHEMATICAL MODEL↗

New pulsing technique may improve radar ranging systems

Mode of operation for radar ranging system based on ringing frequencies is described. Methods for measuring range and range rate are discussed. Mathematical model is included to describe ringing frequency. Application to acoustic sounding devices is proposed.

Gowdey, M. V.↗

Evaluation of the effect of elastic joints on the auto-oscillation of spacecraft with gas-reactive direction systems

A mathematical model was obtained, on the basis of the method of mixed coordinates, of a generalized flexible spacecraft at one end of which was appended the directive action of a system of gas reactive nozzles. Various structural forms were obtained functionally describing flexible spacecraft, as systems consisting of a solid central body with flexible structural elements joined to it.

Sasin, G. G.↗

Manual of phosphoric acid fuel cell stack three-dimensional model and computer program

A detailed distributed mathematical model of phosphoric acid fuel cell stack have been developed, with the FORTRAN computer program, for analyzing the temperature distribution in the stack and the associated current density distribution on the cell plates. Energy, mass, and electrochemical analyses in the stack were combined to develop the model. Several reasonable assumptions were made to solve this mathematical model by means of the finite differences numerical method.

Lu, C. Y.↗

Locating Damaged Members in a Truss Structure Using Modal Test Data: a Demonstration Experiment

On-orbit assessment of large flexible space truss structures can be accomplished, in principle, with dynamic response information, structural identification methods, and model correlation techniques which produce an adjusted mathematical model. In a previously developed approach for damage location, an optimal update of the structure model is formed using the response data, then examined to locate damaged members. An experiment designed to demonstrate and verify the performance of the on-orbit assessment approach uses a laboratory scale model truss structure which exhibits characteristics expected for large space truss structures. Vibration experiments were performed to generate response data for the damaged truss. The damage location approach, analytical work performed in support of the vibration tests, the measured response of the test article, and some preliminary results are described.

Smith, Suzanne Weaver↗

Locating damaged members in a truss structure using modal test data - A demonstration experiment

An experiment is designed to demonstrate and verify the performance of the on-orbit assessment approach for large flexible space truss structures. The on-orbit assessment approach can be accomplished, in principle, with dynamic response information, structural identification methods, and model correlation techniques which produce an adjusted mathematical model. An optimal update of the structure model is formed using the response data, then examined to locate damaged members. The experiment uses a laboratory scale model truss structure which exhibits characteristics expected for large space truss structures. Vibration experiments are performed to generate response data for the damaged truss. The damage location approach is described, as well as analytical work performed in support of the vibration tests, the measured response of the test article, and some preliminary results.

Smith, Suzanne Weaver↗