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 523 records · Page 29

The Parameterization of Top-Hat Particle Sensors with Microchannel-Plate-Based Detection Systems and its Application to the Fast Plasma Investigation on NASA's Magnetospheric MultiScale Mission

The most common instrument for low energy plasmas consists of a top-hat electrostatic analyzer geometry coupled with a microchannel-plate (MCP)-based detection system. While the electrostatic optics for such sensors are readily simulated and parameterized during the laboratory calibration process, the detection system is often less well characterized. Furthermore, due to finite resources, for large sensor suites such as the Fast Plasma Investigation (FPI) on NASA's Magnetospheric Multiscale (MMS) mission, calibration data are increasingly sparse. Measurements must be interpolated and extrapolated to understand instrument behavior for untestable operating modes and yet sensor inter-calibration is critical to mission success. To characterize instruments from a minimal set of parameters we have developed the first comprehensive mathematical description of both sensor electrostatic optics and particle detection systems. We include effects of MCP efficiency, gain, scattering, capacitive crosstalk, and charge cloud spreading at the detector output. Our parameterization enables the interpolation and extrapolation of instrument response to all relevant particle energies, detector high voltage settings, and polar angles from a small set of calibration data. We apply this model to the 32 sensor heads in the Dual Electron Sensor (DES) and 32 sensor heads in the Dual Ion Sensor (DIS) instruments on the 4 MMS observatories and use least squares fitting of calibration data to extract all key instrument parameters. Parameters that will evolve in flight, namely MCP gain, will be determined daily through application of this model to specifically tailored in-flight calibration activities, providing a robust characterization of sensor suite performance throughout mission lifetime. Beyond FPI, our model provides a valuable framework for the simulation and evaluation of future detection system designs and can be used to maximize instrument understanding with minimal calibration resources.

Instrument-model↗

Fully Automatic Guidance and Control for Rotorcraft Nap-of-the-earth Flight Following Planned Profiles. Volume 2: Mathematical Model

Developing a single-pilot, all-weather nap-of-the-earth (NOE) capability requires fully automatic NOE (ANOE) navigation and flight control. Innovative guidance and control concepts are investigated in a four-fold research effort that: (1) organizes the on-board computer-based storage and real-time updating of NOE terrain profiles and obstacles in course-oriented coordinates indexed to the mission flight plan; (2) defines a class of automatic anticipative pursuit guidance algorithms and necessary data preview requirements to follow the vertical, lateral, and longitudinal guidance commands dictated by the updated flight profiles; (3) automates a decision-making process for unexpected obstacle avoidance; and (4) provides several rapid response maneuvers. Acquired knowledge from the sensed environment is correlated with the forehand knowledge of the recorded environment (terrain, cultural features, threats, and targets), which is then used to determine an appropriate evasive maneuver if a nonconformity of the sensed and recorded environments is observed. This four-fold research effort was evaluated in both fixed-base and moving-base real-time piloted simulations; thereby, providing a practical demonstration for evaluating pilot acceptance of the automated concepts, supervisory override, manual operation, and re-engagement of the automatic system. Volume one describes the major components of the guidance and control laws as well as the results of the piloted simulations. Volume two describes the complete mathematical model of the fully automatic guidance system for rotorcraft NOE flight following planned flight profiles.

Clement, Warren F.↗

Monopropellant hydrazine resisto jet

Mathematical models for the electrothermal hydrazine thruster are provided which can be utilized to aid in preliminary design definition, interpretation of test data, and the evaluation of design and operational changes. Three computer programs were formulated to provide the necessary steady state and transient performance design tools. These included: preliminary evaluation of the energy balance characteristics of the thruster; a means of evaluating steady state performance relative to the primary design, configuration, and operational parameters; and a model to provide a means of evaluating transient (pulse mode) operation of the thruster relative to primary design and operational parameters.

Muenzer, F. B.↗

Users manual for Streamtube Curvature Analysis: Analytical method for predicting the pressure distribution about a nacelle at transonic speeds, volume 1

The computer program, Streamtube Curvature Analysis, is described for the engineering user and for the programmer. The user oriented documentation includes a description of the mathematical governing equations, their use in the solution, and the method of solution. The general logical flow of the program is outlined and detailed instructions for program usage and operation are explained. General procedures for program use and the program capabilities and limitations are described. From the standpoint of the grammar, the overlay structure of the program is described. The various storage tables are defined and their uses explained. The input and output are discussed in detail. The program listing includes numerous comments so that the logical flow within the program is easily followed. A test case showing input data and output format is included as well as an error printout description.

Keith, J. S.↗

Investigation of outer planet atmospheres using the pioneer entry probe radio system

The requirements for a telecommunication link which will relay information from a space probe to a carrier spacecraft during space exploration missions are examined. Specific experiments are described and the relative value of the proposed techniques are evaluated. Radio science methods as related to telecommunications systems are discussed. Operational implications of the various approaches to scientific measurement by telemetry of tracking radios are analyzed. Emphasis is placed on a conceptual description of the physics rather than the mathematical development.

Croft, T. A.↗

Airborne ballistic camera tracking systems

An operational airborne ballistic camera tracking system was tested for operational and data reduction feasibility. The acquisition and data processing requirements of the system are discussed. Suggestions for future improvements are also noted. A description of the data reduction mathematics is outlined. Results from a successful reentry test mission are tabulated. The test mission indicated that airborne ballistic camera tracking systems are feasible.

Redish, W. L.↗

A review of human physiological and performance changes associated with desynchronosis of biological rhythms

This review discusses the effects, in the aerospace environment, of alterations in approximately 24-h periodicities (circadian rhythms) upon physiological and psychological functions and possible therapies for desynchronosis induced by such alterations. The consequences of circadian rhythm alteration resulting from shift work, transmeridian flight, or altered day lengths are known as desynchronosis, dysrhythmia, dyschrony, jet lag, or jet syndrome. Considerable attention is focused on the ability to operate jet aircraft and manned space vehicles. The importance of environmental cues, such as light-dark cycles, which influence physiological and psychological rhythms is discussed. A section on mathematical models is presented to enable selection and verification of appropriate preventive and corrective measures and to better understand the problem of dysrhythmia.

Winget, C. M.↗

Cosmic dust analogue material condensation in microgravity: The Stardust programme - First results and future activities

Initial results are presented from airborne experiments investigating the vapor phase condensation in microgravity, carried out in the framework of the Stardust international program. Special attention is given to the design and operation of the experimental equipment, which includes the furnace for producing vapors from different materials and the cloud chamber in which the vapor nucleation occurs. A two-part mathematical model was developed to describe the transport processes in the nucleation chamber. Results obtained from three experimental series were conducted with Mg and Zn aboard NASA's KC-135 reduced-gravity research aircraft showed that nucleation front (smoke cloud) was quite different in appearance in microgravity from that typically observed at 1-g condition. The Mg and Zn particles exhibited significant differences in shape; there was some evidence of coagulation.

Ferguson, F.↗

Advanced Transport Operating System (ATOPS) utility library software description

The individual software processes used in the flight computers on-board the Advanced Transport Operating System (ATOPS) aircraft have many common functional elements. A library of commonly used software modules was created for general uses among the processes. The library includes modules for mathematical computations, data formatting, system database interfacing, and condition handling. The modules available in the library and their associated calling requirements are described.

Clinedinst, Winston C.↗

Memory Circuit Fault Simulator

Spacecraft are known to experience significant memory part-related failures and problems, both pre- and postlaunch. These memory parts include both static and dynamic memories (SRAM and DRAM). These failures manifest themselves in a variety of ways, such as pattern-sensitive failures, timingsensitive failures, etc. Because of the mission critical nature memory devices play in spacecraft architecture and operation, understanding their failure modes is vital to successful mission operation. To support this need, a generic simulation tool that can model different data patterns in conjunction with variable write and read conditions was developed. This tool is a mathematical and graphical way to embed pattern, electrical, and physical information to perform what-if analysis as part of a root cause failure analysis effort.

Sheldon, Douglas J.↗

Sweet's mechanism in the solar wind

Sweet (1956, 1958) proposed a mechanism for the rapid, steady-state dissipation of a magnetic field in a resistive plasma. It is shown that Sweet's mechanism operates in the interplanetary medium near 1 AU in structures which Burlaga and Ness (1968) have identified and called D-sheets. The basic equations are considered of a specific mathematical model provided by Parker (1963) for the case of antiparallel fields and incompressible flow. The theoretical conclusions are related to interplanetary observations.

Burlaga, L. F.↗

Importance of helicopter dynamics to the mathematical model of the helicopter

A mathematical model of the helicopter requires appropriate representation of the constituent elements of rotor dynamics. General-purpose programs that model a variety of configurations for a broad range of operating conditions result in varying and incompatible levels of sophistication. Analysis of specific dynamic problems facilitates the identification of configuration parameters which determine system behavior. For the present analysis, the nonlinear equations of a torsionally rigid hingeless rotor are linearized about an equilibrium condition to determine flap-lag stability characteristics in hover. A collocation method was used to obtain the coupled natural frequencies and modes. These modes allow exact treatment of the effect of elastic coupling which more than compensates for the destabilizing inertial coupling. The sensitivity of damping to the number of modes was found to be small, and reasonable accuracy was obtained the first flapwise and edgewise coupled modes. The range of destabilizing precone was found to be small.

White, W. F., Jr.↗

Laser electro-optic system for rapid three-dimensional /3-D/ topographic mapping of surfaces

It is pointed out that the generic utility of a robot in a factory/assembly environment could be substantially enhanced by providing a vision capability to the robot. A standard videocamera for robot vision provides a two-dimensional image which contains insufficient information for a detailed three-dimensional reconstruction of an object. Approaches which supply the additional information needed for the three-dimensional mapping of objects with complex surface shapes are briefly considered and a description is presented of a laser-based system which can provide three-dimensional vision to a robot. The system consists of a laser beam array generator, an optical image recorder, and software for controlling the required operations. The projection of a laser beam array onto a surface produces a dot pattern image which is viewed from one or more suitable perspectives. Attention is given to the mathematical method employed, the space coding technique, the approaches used for obtaining the transformation parameters, the optics for laser beam array generation, the hardware for beam array coding, and aspects of image acquisition.

Altschuler, M. D.↗

Verification of Numerical Algorithms

The following strategy is suggested for specification and proof: (1) Defer the construction of a formal program specification with respect to I/O assertions unit the correctness of the program with respect to an abstract mathematical model of program intent is demonstrated. (2) Prove that an abstract machine (using infinite precision arithmetic) would compute that object exactly. (3) Prove that the computational sequences of arithmetic operations that occur in the abstract machine must be precisely the same at every step as those occurring on an actual machine (with finite precision arithmetic), executing the same program. (4) Use a Verification Conditions VC-generator that knows about the semantics of arithmetic operations to annotate the program with assertions that bound (or in some circumstances estimate) the difference between the actual machine state variables and the corresponding ones of the abstract machine. Construct the formal program specification by combining the verification conditions into theorems about computational error that can be proved with mechanical assistance.

Source record↗

A mathematical simulation model of the CH-47B helicopter, volume 2

A nonlinear simulation model of the CH-47B helicopter, was adapted for use in a simulation facility. The model represents the specific configuration of the variable stability CH-47B helicopter. Modeling of the helicopter uses a total force approach in six rigid body degrees of freedom. Rotor dynamics are simulated using the Wheatley-Bailey equations, steady state flapping dynamics and included in the model of the option for simulation of external suspension, slung load equations of motion. Validation of the model was accomplished by static and dynamic data from the original Boeing Vertol mathematical model and flight test data. The model is appropriate for use in real time piloted simulation and is implemented on the ARC Sigma IX computer where it may be operated with a digital cycle time of 0.03 sec.

Weber, J. M.↗

Finite element (MARC) solution technologies for viscoplastic analyses

A need for development of realistic constitutive models for structural components operating at high temperatures, accompanied by appropriate solution technologies for stress/life analyses of these components is studied. Viscoplastic models provide a better description of inelastic behavior of materials, but their mathematical structure is very complex. The highly nonlinear and stiff nature of the constitutive equations makes analytical solutions difficult. Therefore, suitable solution, finite element or other numerical, technologies must be developed to make these models adaptable for better and rational designs of components. NASA-Lewis has developed several solution technologies and successfully applied them to the solution of a number of uniaxial and multiaxial problems. Some of these solution technologies are described along with the models and representative results. The solution technologies developed and presented encompass a wide range of models, such as, isotropic, anisotropic, metal matrix composites, and single crystal models.

Arya, V. K.↗

Fault-tolerant clock synchronization validation methodology

A validation method for the synchronization subsystem of a fault-tolerant computer system is presented. The high reliability requirement of flight-crucial systems precludes the use of most traditional validation methods. The method presented utilizes formal design proof to uncover design and coding errors and experimentation to validate the assumptions of the design proof. The experimental method is described and illustrated by validating the clock synchronization system of the Software Implemented Fault Tolerance computer. The design proof of the algorithm includes a theorem that defines the maximum skew between any two nonfaulty clocks in the system in terms of specific system parameters. Most of these parameters are deterministic. One crucial parameter is the upper bound on the clock read error, which is stochastic. The probability that this upper bound is exceeded is calculated from data obtained by the measurement of system parameters. This probability is then included in a detailed reliability analysis of the system.

Computer systems↗