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 289 records · Page 16

Wind Flow Simulation Around NASA KSC Vehicle Assembly Building

A model of the wind flow conditions around Kennedy Space Center (KSC) Vehicle Assembly Building (VA B) is presented. An incompressible Navier-Stokes flow solver was used to compute the flow field around fixed Launch Complex 39 (LC-39) buildings and structures. The 3-D flow field. including velocity magnitude and velocity vectors, was established to simulate the localized wind speeds and directions at specified locations in and around LC-39 buildings and structures. The results of this study not only help explain the physical phenomena of the flow patterns around LC-39 buildings but also are useful to the Shuttle personnel. Current Operations and Maintenance Requirements and Specifications (OMRS) for vehicle transfer operations are based on empirically derived historical data, and no detailed mathematical analysis of wind conditions around LC-39 structures has ever been accomplished.

Vu, B. T.↗

Sliding Mode Transient Scaling Controller for Gas Turbine Engine Emulation on an Electric Machine

The testing of hybrid-electric aircraft propulsion system components and control strategies has dictated the need for a low-cost gas turbine engine (GTE) emulation testbed. Within that testbed, electric machines (EMs) are used to emulate the dynamics of a GTE. GTE mathematical models are used to provide control torque commands to EMs. Most GTEs operate at much higher power levels than commercially available EMs. Therefore, the transient shaft dynamics of the GTE must be scaled appropriately. The sliding mode controller being presented here aims to deliver a control torque to an electric machine with a fixed inertia that will allow it to mimic the response of a GTE with a different inertia. This solution provides an easily scalable and tunable transient emulation method without having to scale the GTE mathematical model and/or add inertia to the physical EM shaft. This controller has been proven in simulation to produce nearly identical transient rotational speed response to a reference GTE shaft model which has a large difference in rotational inertia compared to the motor. Also, the inherent robustness of the sliding mode control scheme results in negligible changes in performance for large amounts of parameter uncertainty while minimizing high frequency fluctuations in the control signal.

sliding mode↗

Shuttle Program Loads Integration: Going From Concept to Operations and Staying Successful

From the beginning of the Shuttle Program to its end, integrated loads and dynamics analyses and tests have been critical in shaping the vehicle design and operational decisions for NASA and its customers. Starting with scaled models and simple mathematical simulations of the structural dynamics, engineers defined the required structural stiffness and predicted the limit loads for each element of the system. Early structural tests provided reasonable confidence that the models and predictions were good. The first launch of the Space Shuttle brought surprises, though, when the ignition overpressure event caused a forward fuel tank support strut to buckle, among several unexpected effects. The launch pad and other ground equipment became an integral part of the system integration, especially where the acoustic and pressure environments of ignition and lift-off were concerned. Following the Challenger accident, operating limits were changed in response to new understandings of how the integrated system performed. Controlling loads while maximizing performance was a key tenet of the Performance Enhancement design process, which enabled construction of the International Space Station. During the return to flight after the Columbia accident, engineers grew to understand that loads during the roll maneuver were also important to the vehicle s structural margin and life. At this point the crawler transport from the Vehicle Assembly Building to the launch pad also became a part of the integrated loads analysis. Even in the last years of the Space Shuttle Program, new data still provided interesting insights into this complicated and fascinating spaceship. This paper will present some examples of the important findings by the team of specialists that supported the Integrated Loads and Dynamics Panel for the Space Shuttle Program.

Bernstein, Karen↗

Discrete Abstractions of Hybrid Systems: Verification of Safety and Application to User-Interface Design

Human interaction with a complex control system involves the user, the automation’s discrete mode logic, and the underlying continuous dynamics of the physical system. The user-interface of such systems always displays a reduced set of information about the entire system. Designing interfaces such that all the pertinent information is available and assuring that this information is correct is important for any user-interface, but especially so for safety-critical systems such as automotive systems and autopilots. Here we describe a methodology for the analysis of hybrid control systems that incorporate user interaction, with the goal of assuring that the information provided to the user is correct. That is, the user-interface must contain all information necessary to safely complete a desired procedure or task. We begin with a hybrid system model which incorporates discrete mode logic as well as nonlinear continuous dynamics. Using a hybrid computational tool for reachability, we find the largest region of the state-space in which we can guarantee the state of the system can always remain – this is the safe region of operation. By implementing a controller for safety which arises from this computation, we mathematically guarantee that this safe region is invariant, meaning that the system will always remain within the safe region if the determined controller is used on the boundary of the safe region. Verification within a hybrid framework allows us to account for the continuous dynamics underlying the discrete representations displayed to the user. Using the computed invariant regions as discrete states, we can abstract a discrete event system from this hybrid system with safety restrictions. This abstraction can be used to determine what information must be provided on the display. Furthermore, in cases in which an interface already exists, the abstraction provides the necessary input into existing interface verification methods. We provide two examples: a car traveling through a yellow light at an intersection and an aircraft autopilot in an automatic landing/go-around maneuver. The examples demonstrate the applicability of this methodology to hybrid systems that have operational constraints we can pose in terms of safety. This methodology differs from existing work in hybrid system verification in that we directly account for the user’s interactions with the system.

Meeko Oishi↗

Wide deviation phase modulator

Modulator produces phase-modulated waveform having high modulating linearity. Technique is inherently wideband with respect to carrier frequency and can operate over decade carrier frequency range without adjustments. Circuit performance is both mathematically predictable and highly reproducible.

Couch, R. H.↗

DSN telemetry system performance using a maximum likelihood convolutional decoder

Results are described of telemetry system performance testing using DSN equipment and a Maximum Likelihood Convolutional Decoder (MCD) for code rates 1/2 and 1/3, constraint length 7 and special test software. The test results confirm the superiority of the rate 1/3 over that of the rate 1/2. The overall system performance losses determined at the output of the Symbol Synchronizer Assembly are less than 0.5 db for both code rates. Comparison of the performance is also made with existing mathematical models. Error statistics of the decoded data are examined. The MCD operational threshold is found to be about 1.96 db.

Benjauthrit, B.↗

Systems identification and application systems development for monitoring the physiological and health status of crewmen in space

The use of automated, analytical techniques to aid medical support teams is suggested. Recommendations are presented for characterizing crew health in terms of: (1) wholebody function including physiological, psychological and performance factors; (2) a combination of critical performance indexes which consist of multiple factors of measurable parameters; (3) specific responses to low noise level stress tests; and (4) probabilities of future performance based on present and periodic examination of past performance. A concept is proposed for a computerized real time biomedical monitoring and health care system that would have the capability to integrate monitored data, detect off-nominal conditions based on current knowledge of spaceflight responses, predict future health status, and assist in diagnosis and alternative therapies. Mathematical models could play an important role in this approach, especially when operating in a real time mode. Recommendations are presented to update the present health monitoring systems in terms of recent advances in computer technology and biomedical monitoring systems.

Leonard, J. I.↗

Mathematical Modeling of Diverse Phenomena

Tensor calculus is applied to the formulation of mathematical models of diverse phenomena. Aeronautics, fluid dynamics, and cosmology are among the areas of application. The feasibility of combining tensor methods and computer capability to formulate problems is demonstrated. The techniques described are an attempt to simplify the formulation of mathematical models by reducing the modeling process to a series of routine operations, which can be performed either manually or by computer.

Howard, J. C.↗

A common geometric data-base approach for computer-aided manufacturing of wind-tunnel models and theoretical aerodynamic analysis

A more automated process to produce wind tunnel models using existing facilities is discussed. A process was sought to more rapidly determine the aerodynamic characteristics of advanced aircraft configurations. Such aerodynamic characteristics are determined from theoretical analyses and wind tunnel tests of the configurations. Computers are used to perform the theoretical analyses, and a computer aided manufacturing system is used to fabricate the wind tunnel models. In the past a separate set of input data describing the aircraft geometry had to be generated for each process. This process establishes a common data base by enabling the computer aided manufacturing system to use, via a software interface, the geometric input data generated for the theoretical analysis. Thus, only one set of geometric data needs to be generated. Tests reveal that the process can reduce by several weeks the time needed to produce a wind tunnel model component. In addition, this process increases the similarity of the wind tunnel model to the mathematical model used by the theoretical aerodynamic analysis programs. Specifically, the wind tunnel model can be machined to within 0.008 in. of the original mathematical model. However, the software interface is highly complex and cumbersome to operate, making it unsuitable for routine use. The procurement of an independent computer aided design/computer aided manufacturing system with the capability to support both the theoretical analysis and the manufacturing tasks was recommended.

See, M. J.↗

Machine learning in motion control

The existing methodologies for robot programming originate primarily from robotic applications to manufacturing, where uncertainties of the robots and their task environment may be minimized by repeated off-line modeling and identification. In space application of robots, however, a higher degree of automation is required for robot programming because of the desire of minimizing the human intervention. We discuss a new paradigm of robotic programming which is based on the concept of machine learning. The goal is to let robots practice tasks by themselves and the operational data are used to automatically improve their motion performance. The underlying mathematical problem is to solve the problem of dynamical inverse by iterative methods. One of the key questions is how to ensure the convergence of the iterative process. There have been a few small steps taken into this important approach to robot programming. We give a representative result on the convergence problem.

Su, Renjeng↗

Vibrating Systems with Singular Mass-Inertia Matrices

Vibrating systems with singular mass-inertia matrices arise in recent continuum models of Smart Structures (beams with PZT strips) in assessing the damping attainable with rate feedback. While they do not quite yield 'distributed' controls, we show that they can provide a fixed nonzero lower bound for the damping coefficient at all mode frequencies. The mathematical machinery for modelling the motion involves the theory of Semigroups of Operators. We consider a Timoshenko model for torsion only, a 'smart string,' where the damping coefficient turns out to be a constant at all frequencies. We also observe that the damping increases initially with the feedback gain but decreases to zero eventually as the gain increases without limit.

Balakrishnan, A. V.↗

Improved Collision-Detection Method for Robotic Manipulator

An improved method has been devised for the computational prediction of a collision between (1) a robotic manipulator and (2) another part of the robot or an external object in the vicinity of the robot. The method is intended to be used to test commanded manipulator trajectories in advance so that execution of the commands can be stopped before damage is done. The method involves utilization of both (1) mathematical models of the robot and its environment constructed manually prior to operation and (2) similar models constructed automatically from sensory data acquired during operation. The representation of objects in this method is simpler and more efficient (with respect to both computation time and computer memory), relative to the representations used in most prior methods. The present method was developed especially for use on a robotic land vehicle (rover) equipped with a manipulator arm and a vision system that includes stereoscopic electronic cameras. In this method, objects are represented and collisions detected by use of a previously developed technique known in the art as the method of oriented bounding boxes (OBBs). As the name of this technique indicates, an object is represented approximately, for computational purposes, by a box that encloses its outer boundary. Because many parts of a robotic manipulator are cylindrical, the OBB method has been extended in this method to enable the approximate representation of cylindrical parts by use of octagonal or other multiple-OBB assemblies denoted oriented bounding prisms (OBPs), as in the example of Figure 1. Unlike prior methods, the OBB/OBP method does not require any divisions or transcendental functions; this feature leads to greater robustness and numerical accuracy. The OBB/OBP method was selected for incorporation into the present method because it offers the best compromise between accuracy on the one hand and computational efficiency (and thus computational speed) on the other hand.

Leger, Chris↗

A Mathematical Model to Predict and Maintain the Neutral Buoyancy of Suited Astronauts

A previous study reported that inadequate weigh outs of suited subjects contribute to fatigue and the risk of injury during training in the Neutral Buoyancy Laboratory (NBL). Another study suggested that shoulder injuries observed in suited subjects who train in the NBL may be attributed to excessive righting moments caused by a non-optimal weigh out. The purpose of this study was to develop a mathematical model to predict and maintain the neutral buoyancy of suited subjects during training operations at the NBL. Due to time constraints, one certified NBL support diver served as a subject (height: 66.54 in; weight: 182 lbs) for this study and only one complete test was conducted. The study was divided into two runs for which the first run required the NBL divers to perform a weigh out similar to a suited astronaut on a scuba diver wearing a mock Portable Life Support System and a Displays and Control Module. For the second run, the same subject and equipment were weighed out according to the mathematical model. The objective of each run was to achieve a neutrally buoyant subject floating 450 to the pool floor. Motion data was collected using two underwater cameras and analyzed using Dartfish video analysis software while force and moment data were recorded using an AMTI force plate. The results from the NBL divers visual run indicate that the subject was floating at an angle of 29.50 while the resultant force and moment data were 1.139 lb and 1.125 ft-lb respectively. The mathematical model s weigh out resulted in the subject floating at an angle of 37.40 and a resultant force of 0.765 lb and resultant moment of 1.248 ft-lb. The mathematical model was better able to orient the subject and reduce resultant moment and force as compared to the NBL divers.

Clowers, Kurt↗

Fluid mechanics of continuous flow electrophoresis

The following aspects of continuous flow electrophoresis were studied: (1) flow and temperature fields; (2) hydrodynamic stability; (3) separation efficiency, and (4) characteristics of wide gap chambers (the SPAR apparatus). Simplified mathematical models were developed so as to furnish a basis for understanding the phenomena and comparison of different chambers and operating conditions. Studies of the hydrodynamic stability disclosed that a wide gap chamber may be particularly sensitive to axial temperature variations which could be due to uneven heating or cooling. The mathematical model of the separation process includes effects due to the axial velocity, electro-osmotic cross flow and electrophoretic migration, all including the effects of temperature dependent properties.

Saville, D. A.↗

Friction-Stir Welding and Mathematical Modeling

The friction-stir welding process is a remarkable way for making butt and lap joints in aluminum alloys. This process operates by passing a rotating tool between two closely butted plates. Through this process it generates a lot of heat and heated material is stirred from both sides of the plates in which the outcome will one high quality weld. My research has been done to study the FSW through mathematical modeling, and using modeling to better understand what take place during the friction-stir weld.

Rostant, Victor D.↗

Comprehensive thermoelectric properties of n- and p-type 78a/o Si - 22a/o Ge alloy

The time and temperature dependence of the thermoelectric properties on n- and p-type 78 a/o Si - 22 a/o Ge alloy are presented in detail for the range of temperatures of zero to 1000 C and operating times up to twelve years. The mechanisms responsible for the time dependence of the properties are discussed and mathematical models used in the derivation of the property values from experimental data are presented. The thermoelectric properties for each polarity type of the alloy are presented as a function of temperature for various operating times.

Raag, V.↗

Optical computing with laser light

Linear and nonlinear optical processing techniques (Fourier transformation, convolution and correlation, arithmetic operations - addition and subtraction with gratings, generalized orthogonal transformations; theta modulation, half-tone screen process, optical feedback) for mathematical computations are reviewed. The use of gratings and computer holograms in addition, subtraction, differentiation, and application of generalized transformations is discussed. Use of nonlinear optical elements with or without optical coherent feedback in such nonlinear operations as taking logarithms and thresholding is described. Applications in hybrid systems incorporating digital computer and optical processor with real-time interface devices, or optical threshold and logic devices for parallel processing to apply digital techniques to optical information are considered.

Lee, S. H.↗

A mathematical theory of learning control for linear discrete multivariable systems

When tracking control systems are used in repetitive operations such as robots in various manufacturing processes, the controller will make the same errors repeatedly. Here consideration is given to learning controllers that look at the tracking errors in each repetition of the process and adjust the control to decrease these errors in the next repetition. A general formalism is developed for learning control of discrete-time (time-varying or time-invariant) linear multivariable systems. Methods of specifying a desired trajectory (such that the trajectory can actually be performed by the discrete system) are discussed, and learning controllers are developed. Stability criteria are obtained which are relatively easy to use to insure convergence of the learning process, and proper gain settings are discussed in light of measurement noise and system uncertainties.

Phan, Minh↗