Search NASA⌕ Search

SEARCH · Search NASA

Results for “Mathematical Computing”

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 649 records · Page 36
All sourcesNASA NTRSDOE OSTI
NASA NTRS2004

A Formal Methods Approach to the Analysis of Mode Confusion

The goal of the new NASA Aviation Safety Program (AvSP) is to reduce the civil aviation fatal accident rate by 80% in ten years and 90% in twenty years. This program is being driven by the accident data with a focus on the most recent history. Pilot error is the most commonly cited cause for fatal accidents (up to 70%) and obviously must be given major consideration in this program. While the greatest source of pilot error is the loss of situation awareness , mode confusion is increasingly becoming a major contributor as well. The January 30, 1995 issue of Aviation Week lists 184 incidents and accidents involving mode awareness including the Bangalore A320 crash 2/14/90, the Strasbourg A320 crash 1/20/92, the Mulhouse-Habsheim A320 crash 6/26/88, and the Toulouse A330 crash 6/30/94. These incidents and accidents reveal that pilots sometimes become confused about what the cockpit automation is doing. Consequently, human factors research is an obvious investment area. However, even a cursory look at the accident data reveals that the mode confusion problem is much deeper than just training deficiencies and a lack of human-oriented design. This is readily acknowledged by human factors experts. It seems that further progress in human factors must come through a deeper scrutiny of the internals of the automation. It is in this arena that formal methods can contribute. Formal methods refers to the use of techniques from logic and discrete mathematics in the specification, design, and verification of computer systems, both hardware and software. The fundamental goal of formal methods is to capture requirements, designs and implementations in a mathematically based model that can be analyzed in a rigorous manner. Research in formal methods is aimed at automating this analysis as much as possible. By capturing the internal behavior of a flight deck in a rigorous and detailed formal model, the dark corners of a design can be analyzed. This paper will explore how formal models and analyses can be used to help eliminate mode confusion from flight deck designs and at the same time increase our confidence in the safety of the implementation. The paper is based upon interim results from a new project involving NASA Langley and Rockwell Collins in applying formal methods to a realistic business jet Flight Guidance System (FGS).

Butler, Ricky W.↗
NASA NTRS1994

ICASE

This report summarizes research conducted at the Institute for Computer Applications in Science and Engineering in the areas of (1) applied and numerical mathematics, including numerical analysis and algorithm development; (2) theoretical and computational research in fluid mechanics in selected areas of interest, including acoustics and combustion; (3) experimental research in transition and turbulence and aerodynamics involving Langley facilities and scientists; and (4) computer science.

Source record↗
NASA NTRS1991

Programs For Modeling Fault-Tolerant Computing Systems

Pade Approximation with Scaling, (PAWS) and Scaling Taylor Exponential Matrix (STEM) computer programs are software tools for design and validation. Provide flexible, user-friendly, language-based interface for input of Markov mathematical methods describing behaviors of fault-tolerant computer systems. Markov models include both recovery from faults via reconfiguration and behaviors of such systems when faults occur. PAWS and STEM produce exact solutions of probability of system failure and provide conservative estimate of number of significant digits in solution. Written in PASCAL and FORTRAN.

Butler, Ricky W.↗
NASA NTRS2018

Cross-Cutting Computational Modeling Project: Integrative Modeling Approach

A wide range of computational models and analyses have been applied to spaceflight risk assessment and countermeasure development. The benefits of using computational modeling to enhance Human Research Program (HRP) goals include the ability to mathematically represent physiological systems, integrate multiple, discrete experimental measures, span multiple temporal and spatial scales, determine important factors within the system and provide estimates of unmeasurable quantities. In the area of application, computational models provide a means of developing simulations to test hypotheses, determining key factors of the system to aid experimental design and bridging gaps in sparse data by mathematically simulating large populations. Specifically, computational models and their supporting analysis tools have the proven potential to integrate analyses of risk factors to enhance mission planning and preparation capabilities and to inform spacecraft design and countermeasure development. Appropriately applied, computational models may allow intelligent, unbiased physiological parameter assessment to enable hypothesis testing and model based design of experiments. HRP recently formed the Computational Modeling Project (CMP), managed out of Glenn Research Center, as a cross-cutting activity aimed at leveraging the growing power and acceptance of computational modeling in informing clinical, physiological, and biological studies. This presentation will provide an overview of the challenges and opportunities in implementing various forms of computational models in support of the HRPs path to risk reduction.

biomechanics↗
NASA NTRS1971

Analytical methods for bacterial kinetics studies

Methods utilize mathematical equations and models and specialized computer techniques. Techniques apply to food production, complex chemicals production, and polluted water purification.

Edwards, V. E.↗
NASA NTRS1972

The staging dynamics of a proposed space shuttle configuration

A mathematical model was developed to simulate the staging dynamics of a proposed space shuttle configuration. Included in the mathematical model is the kinematics and dynamics of the staging mechanism, thrust forces and thrust vector control, rigid-body dynamics, and structural dynamics of both the booster and orbiter stages of the configuration. The mathematical model was incorporated into a computer program so that the staging maneuver could be simulated. Results of the simulations are presented.

Hamilton, D. A.↗
NASA NTRS1976

Flight data analysis and further development of variable-conductance heat pipes

The work focuses on the mathematical modeling of three critical mechanisms of heat-pipe operation: (1) the effect that excess liquid has on heat-pipe performance; (2) the calculation of the dryout limit of circumferential grooves; (3) an efficient mathematical model for the calculation of the viscous-inertial interaction in the vapor flow. These mathematical models are incorporated in the computer program GRADE II, which is described.

Eninger, J. E.↗
NASA NTRS1978

Creation of lumped parameter thermal model by the use of finite elements

In the finite difference technique, the thermal network is represented by an analogous electrical network. The development of this network model, which is used to describe a physical system, often requires tedious and mental data preparation and checkout by the analyst which can be greatly reduced through the use of the computer programs to develop automatically the mathematical model and associated input data and graphically display the analytical model to facilitate model verification. Three separate programs are involved which are linked through common mass storage files and data card formats. These programs are SPAR, CINGEN and GEOMPLT, and are used to (1) develop thermal models for the MITAS II thermal analyzer program; (2) produce geometry plots of the thermal network; and (3) produce temperature distribution and time history plots.

Source record↗
NASA NTRS1978

Viking Orbiter stereophotogrammetry

Orbit characteristics of the two Viking Orbiter spacecraft made possible the acquisition of high-resolution imagery of the Martian surface, resulting in many excellent convergent stereopairs. Evaluation of these stereopairs presented a few unconventional problems because the routine relative orientation was not feasible, mainly due to a lack of good passpoints and to the technical peculiarities of TV vidicon imaging techniques. One of the ways to circumvent these problems is to use the orbital and navigational parameters of the spacecraft for an external 'forced' relative orientation. This approach requires a number of rotations and counter-rotations between various coordinate systems, which may make the involved mathematics look rather complicated, but its computational applications become very simple, fast, accurate, and inexpensive.

Benesh, M.↗
NASA NTRS1979

Nonlinear structural crash dynamics analyses

Presented in this paper are the results of three nonlinear computer programs, KRASH, ACTION and DYCAST used to analyze the dynamic response of a twin-engine, low-wing airplane section subjected to a 8.38 m/s (27.5 ft/s) vertical impact velocity crash condition. This impact condition simulates the vertical sink rate in a shallow aircraft landing or takeoff accident. The three distinct analysis techniques for nonlinear dynamic response of aircraft structures are briefly examined and compared versus each other and the experimental data. The report contains brief descriptions of the three computer programs, the respective aircraft section mathematical models, pertinent data from the experimental test performed at NASA Langley, and a comparison of the analyses versus test results. Cost and accuracy comparisons between the three analyses are made to illustrate the possible uses of the different nonlinear programs and their future potential.

Hayduk, R. J.↗
NASA NTRS1982

Subsonic panel method for the efficient analysis of multiple geometry perturbations

An accurate and efficient method was developed for the aerodynamic analysis of a series of arbitrary small geometry perturbations to a given baseline configuration. The method is appropriate for wing-fuselage configurations in incompressible potential flow. Mathematical formulations are presented for three computer programs that are employed. The first program is a conventional surface panel method for calculating the baseline singularity distribution. The second program calculates a partial derivative matrix. Each element of the matrix is the rate of change of singularity strength at one point with respect to a surface coordinate of a different point. For each baseline configuration, the calculated quantities from the first two programs establish an input file for the third. The third program calculates the surface pressure distribution and forces and moments for a series of geometry perturbations.

Bristow, D. R.↗
NASA NTRS1981

Capillary priming characteristics of a dual passage heat pipe in zero-g

Technical improvements of a long life heat rejection system, suitable for long duration high power missions, that can be constructed and deployed in orbit is discussed. A mathematical model is formulated and a computer program developed which describes the transient priming characteristics of a dual passage heat pipe. An experimental test package is described for flight in the KC-135 Zero-g Aircraft, to be used to verify the modeling predictions.

Peterson, G. P.↗
NASA NTRS1983

Low cycle fatigue behavior of aluminum/stainless steel composites

Composites consisting of an aluminum matrix reinforced with various volume fractions of stainless steel wire were fabricated by hot die pressing under various conditions of temperature, time, and pressure. The composites were tested in plane bending to complete fracture under cycle loading, and the results were analyzed on a computer to obtain a statistically valid mathematical relationship between the low-cycle fatigue life and the fiber volume fraction of the composite. The fractured surfaces of the composites were examined by scanning electron microscopy to identify the characteristic features of fatigue damage. Fatigue damage mechanisms are proposed and discussed.

Bhagat, R. B.↗