Search NASA⌕ Search

SEARCH · Search NASA

Results for “MATHEMATICS - CALCUS, OPERATIONAL”

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 235 records · Page 13
All sourcesNASA NTRSDOE OSTI
NASA NTRS1973

Survey on effect of surface winds on aircraft design and operation and recommendations for needed wind research

A survey of the effect of environmental surface winds and gusts on aircraft design and operation is presented. A listing of the very large number of problems that are encountered is given. Attention is called to the many studies that have been made on surface winds and gusts, but development in the engineering application of these results to aeronautical problems is pointed out to be still in the embryonic stage. Control of the aircraft is of paramount concern. Mathematical models and their application in simulation studies of airplane operation and control are discussed, and an attempt is made to identify their main gaps or deficiencies. Key reference material is cited. The need for better exchange between the meteorologist and the aeronautical engineer is discussed. Suggestions for improvements in the wind and gust models are made.

Houbolt, J. C.↗
NASA NTRS2005

Safety Verification of the Small Aircraft Transportation System Concept of Operations

A critical factor in the adoption of any new aeronautical technology or concept of operation is safety. Traditionally, safety is accomplished through a rigorous process that involves human factors, low and high fidelity simulations, and flight experiments. As this process is usually performed on final products or functional prototypes, concept modifications resulting from this process are very expensive to implement. This paper describe an approach to system safety that can take place at early stages of a concept design. It is based on a set of mathematical techniques and tools known as formal methods. In contrast to testing and simulation, formal methods provide the capability of exhaustive state exploration analysis. We present the safety analysis and verification performed for the Small Aircraft Transportation System (SATS) Concept of Operations (ConOps). The concept of operations is modeled using discrete and hybrid mathematical models. These models are then analyzed using formal methods. The objective of the analysis is to show, in a mathematical framework, that the concept of operation complies with a set of safety requirements. It is also shown that the ConOps has some desirable characteristic such as liveness and absence of dead-lock. The analysis and verification is performed in the Prototype Verification System (PVS), which is a computer based specification language and a theorem proving assistant.

Carreno, Victor↗
NASA NTRS1981

Proceedings, Conference on the Computing Environment for Mathematical Software

Recent advances in software and hardware technology which make it economical to create computing environments appropriate for specialized applications are addressed. Topics included software tools, FORTRAN standards activity, and features of languages, operating systems, and hardware that are important for the development, testing, and maintenance of mathematical software.

Source record↗
NASA NTRS1994

High performance real-time flight simulation at NASA Langley

In order to meet the stringent time-critical requirements for real-time man-in-the-loop flight simulation, computer processing operations must be deterministic and be completed in as short a time as possible. This includes simulation mathematical model computational and data input/output to the simulators. In 1986, in response to increased demands for flight simulation performance, personnel at NASA's Langley Research Center (LaRC), working with the contractor, developed extensions to a standard input/output system to provide for high bandwidth, low latency data acquisition and distribution. The Computer Automated Measurement and Control technology (IEEE standard 595) was extended to meet the performance requirements for real-time simulation. This technology extension increased the effective bandwidth by a factor of ten and increased the performance of modules necessary for simulator communications. This technology is being used by more than 80 leading technological developers in the United States, Canada, and Europe. Included among the commercial applications of this technology are nuclear process control, power grid analysis, process monitoring, real-time simulation, and radar data acquisition. Personnel at LaRC have completed the development of the use of supercomputers for simulation mathematical model computational to support real-time flight simulation. This includes the development of a real-time operating system and the development of specialized software and hardware for the CAMAC simulator network. This work, coupled with the use of an open systems software architecture, has advanced the state of the art in real time flight simulation. The data acquisition technology innovation and experience with recent developments in this technology are described.

Cleveland, Jeff I., II↗
NASA NTRS1977

Cost reduction potential of the DSN data base

The cost of the DSN data base can be reduced by computerizing and unifying the current multiplicity of separate manual, computer, and hybrid data bases. Savings would accrue from eliminating all manual system costs, increasing efficiency in data base implementation and maintenance-and-operation, and increasing data accuracy. By applying a simple mathematical savings model to current data base costs, this study estimates the probable range of net ten-year savings. The minimum net savings, under the assumptions of the study, are calculated as $7.5 million.

Mckenzie, M.↗
NASA NTRS1978

UNIX as an environment for producing numerical software

The UNIX operating system supports a number of software tools; a mathematical equation-setting language, a phototypesetting language, a FORTRAN preprocessor language, a text editor, and a command interpreter. The design, implementation, documentation, and maintenance of a portable FORTRAN test of the floating-point arithmetic unit of a computer is used to illustrate these tools at work.

Schryer, N. L.↗
NASA NTRS1978

Stable boundary layer wind shear model for aircraft flight hazard definition

It is pointed out that wind shear, particularly at the lower altitudes in the terminal area, has been identified as being hazardous to aircraft operations. Accurate and reliable wind profiles are required for use in fast time and manned flight simulation studies aimed at fully defining and understanding the wind shear hazard. A description is presented of wind speed profiles for neutral and stable atmospheric conditions developed for the simulation studies to improve the safety and reliability of operations in the terminal area. The wind shear is mathematically modeled and the mathematical scenarios are presented in a format for direct application to wind shear hazard/flight simulation studies.

Frost, W.↗
NASA NTRS1980

Effects of supply conditions on film thickness in lubricated Hertzian contacts

A generalization of the hydrodynamic expression for Hertzian contacts is described and various methods for calculating the thickness of the oil film winter steady-state, isothermal conditions are given. This is important for engineering applications such as gears and bearings because these results are closer to real operating conditions. Theories of lubrication are discussed, and the mathematics involved are presented using approximately 30 equations and 13 figures. For lubricated, linear, elliptical or point Hertzian contacts it is demonstrated how to calculate the thickness of the oil film at the center of the contact for steady-state isothermal conditions.

Dalmaz, G.↗
NASA NTRS1984

A mathematical model for the iron/chromium redox battery

A mathematical model has been developed to describe the isothermal operation of a single anode-separator-cathode unit cell in a redox-flow battery and has been applied to the NASA iron/chromium system. The model, based on porous electrode theory, incorporates redox kinetics, mass transfer, and ohmic effects as well as the parasitic hydrogen reaction which occurs in the chromium electrode. A numerical parameter study was carried out to predict cell performance to aid in the rational design, scale-up, and operation of the flow battery. The calculations demonstrate: (1) an optimum electrode thickness and electrolyte flow rate exist; (2) the amount of hydrogen evolved and, hence, cycle faradaic efficiency, can be affected by cell geometry, flow rate, and charging procedure; (3) countercurrent flow results in enhanced cell performance over cocurrent flow; and (4) elevated temperature operation enhances cell performance.

Fedkiw, P. S.↗
NASA NTRS1987

Polynomial approximation of functions of matrices and its application to the solution of a general system of linear equations

During the process of solving a mathematical model numerically, there is often a need to operate on a vector v by an operator which can be expressed as f(A) while A is NxN matrix (ex: exp(A), sin(A), A sup -1). Except for very simple matrices, it is impractical to construct the matrix f(A) explicitly. Usually an approximation to it is used. In the present research, an algorithm is developed which uses a polynomial approximation to f(A). It is reduced to a problem of approximating f(z) by a polynomial in z while z belongs to the domain D in the complex plane which includes all the eigenvalues of A. This problem of approximation is approached by interpolating the function f(z) in a certain set of points which is known to have some maximal properties. The approximation thus achieved is almost best. Implementing the algorithm to some practical problem is described. Since a solution to a linear system Ax = b is x= A sup -1 b, an iterative solution to it can be regarded as a polynomial approximation to f(A) = A sup -1. Implementing the algorithm in this case is also described.

Tal-Ezer, Hillel↗
NASA NTRS1988

A new approach to the oxidational theory of mild wear

The wear and friction of 316 stainless steel was investigated in relation to oxidation at the real area of contact. An approach describing the oxidation characteristics of mild wear in terms of linear oxidation kinetics is presented. Linear oxidation kinetics more closely approaches the physical conditions involved where oxide growth on asperities is continuously interrupted by spalling and removal. The mild wear rate may now be described mathematically by two empirical equations in terms of the operational variables and the oxidational constants without using the critical oxide thickness, which is dependent on asperity size, shape and temperature, and is difficult to measure. The resulting activation energy for oxidational wear was significantly lower than that for static oxidation governed by diffusion controlled kinetics.

Hong, H.↗
NASA NTRS1991

Active flutter suppression - Control system design and experimental validation

The synthesis and experimental validation of an active flutter suppression controller for the Active Flexible Wing wind-tunnel model is presented. The design is accomplished with traditional root locus and Nyquist methods using interactive computer graphics tools and with extensive use of simulation-based analysis. The design approach uses a fundamental understanding of the flutter mechanism to formulate a simple controller structure to meet stringent design specifications. Experimentally, the flutter suppression controller succeeded in simultaneous suppression of two flutter modes, significantly increasing the flutter dynamic pressure despite errors in flutter dynamic pressure and flutter frequency in the mathematical model. The flutter suppression controller was also successfully operated in combination with a roll maneuver controller to perform flutter suppression during rapid rolling maneuvers.

Waszak, Martin R.↗
NASA NTRS1993

Establishing a relationship between maximum torque production of isolated joints to simulate EVA ratchet push-pull maneuver: A case study

As manned exploration of space continues, analytical evaluation of human strength characteristics is critical. These extraterrestrial environments will spawn issues of human performance which will impact the designs of tools, work spaces, and space vehicles. Computer modeling is an effective method of correlating human biomechanical and anthropometric data with models of space structures and human work spaces. The aim of this study is to provide biomechanical data from isolated joints to be utilized in a computer modeling system for calculating torque resulting from any upper extremity motions: in this study, the ratchet wrench push-pull operation (a typical extravehicular activity task). Established here are mathematical relationships used to calculate maximum torque production of isolated upper extremity joints. These relationships are a function of joint angle and joint velocity.

Pandya, Abhilash↗
NASA NTRS1994

New technologies for space avionics

This report reviews a 1994 effort that continued 1993 investigations into issues associated with the definition of requirements, with the practice concurrent engineering and rapid prototyping in the context of the development of a prototyping of a next-generation reaction jet driver controller. This report discusses lessons learned, the testing of the current prototype, the details of the current design, and the nature and performance of a mathematical model of the life cycle of a pilot operated valve solenoid.

Aibel, David W.↗
NASA NTRS2000

Advantages of Parallel Processing and the Effects of Communications Time

Many computing tasks involve heavy mathematical calculations, or analyzing large amounts of data. These operations can take a long time to complete using only one computer. Networks such as the Internet provide many computers with the ability to communicate with each other. Parallel or distributed computing takes advantage of these networked computers by arranging them to work together on a problem, thereby reducing the time needed to obtain the solution. The drawback to using a network of computers to solve a problem is the time wasted in communicating between the various hosts. The application of distributed computing techniques to a space environment or to use over a satellite network would therefore be limited by the amount of time needed to send data across the network, which would typically take much longer than on a terrestrial network. This experiment shows how much faster a large job can be performed by adding more computers to the task, what role communications time plays in the total execution time, and the impact a long-delay network has on a distributed computing system.

Eddy, Wesley M.↗
NASA NTRS2006

Grayscale Optical Correlator Workbench

Grayscale Optical Correlator Workbench (GOCWB) is a computer program for use in automatic target recognition (ATR). GOCWB performs ATR with an accurate simulation of a hardware grayscale optical correlator (GOC). This simulation is performed to test filters that are created in GOCWB. Thus, GOCWB can be used as a stand-alone ATR software tool or in combination with GOC hardware for building (target training), testing, and optimization of filters. The software is divided into three main parts, denoted filter, testing, and training. The training part is used for assembling training images as input to a filter. The filter part is used for combining training images into a filter and optimizing that filter. The testing part is used for testing new filters and for general simulation of GOC output. The current version of GOCWB relies on the mathematical software tools from MATLAB binaries for performing matrix operations and fast Fourier transforms. Optimization of filters is based on an algorithm, known as OT-MACH, in which variables specified by the user are parameterized and the best filter is selected on the basis of an average result for correct identification of targets in multiple test images.

Hanan, Jay↗
NASA NTRS2012

Explanation Capabilities for Behavior-Based Robot Control

A recent study that evaluated issues associated with remote interaction with an autonomous vehicle within the framework of grounding found that missing contextual information led to uncertainty in the interpretation of collected data, and so introduced errors into the command logic of the vehicle. As the vehicles became more autonomous through the activation of additional capabilities, more errors were made. This is an inefficient use of the platform, since the behavior of remotely located autonomous vehicles didn't coincide with the "mental models" of human operators. One of the conclusions of the study was that there should be a way for the autonomous vehicles to describe what action they choose and why. Robotic agents with enough self-awareness to dynamically adjust the information conveyed back to the Operations Center based on a detail level component analysis of requests could provide this description capability. One way to accomplish this is to map the behavior base of the robot into a formal mathematical framework called a cost-calculus. A cost-calculus uses composition operators to build up sequences of behaviors that can then be compared to what is observed using well-known inference mechanisms.

Huntsberger, Terrance L.↗