Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Mathematical programming”

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 955 records · Page 53

Model Verification of Mixed Dynamic Systems

MOVER uses experimental data to verify mathematical models of "mixed" dynamic systems. The term "mixed" refers to interactive mechanical, hydraulic, electrical, and other components. Program compares analytical transfer functions with experiment.

Evensen, D. A.↗

A Piecewise Linear State Variable Technique for Real Time Propulsion System Simulation

The emphasis on increased aircraft and propulsion control system integration and piloted simulation has created a need for higher fidelity real time dynamic propulsion models. A real time propulsion system modeling technique which satisfies this need and which provides the capabilities needed to evaluate propulsion system performance and aircraft system interaction on manned flight simulators was developed and demonstrated using flight simulator facilities at NASA Ames. A piecewise linear state variable technique is used. This technique provides the system accuracy, stability and transient response required for integrated aircraft and propulsion control system studies. The real time dynamic model includes the detail and flexibility required for the evaluation of critical control parameters and propulsion component limits over a limited flight envelope. The model contains approximately 7.0 K bytes of in-line computational code and 14.7 K of block data. It has an 8.9 ms cycle time on a Xerox Sigma 9 computer. A Pegasus-Harrier propulsion system was used as a baseline for developing the mathematical modeling and simulation technique. A hydromechanical and water injection control system was also simulated. The model was programmed for interfacing with a Harrier aircraft simulation at NASA Ames. Descriptions of the real time methodology and model capabilities are presented.

Mihaloew, J. R.↗

A piecewise linear state variable technique for real time propulsion system simulation

The emphasis on increased aircraft and propulsion control system integration and piloted simulation has created a need for higher fidelity real time dynamic propulsion models. A real time propulsion system modeling technique which satisfies this need and which provides the capabilities needed to evaluate propulsion system performance and aircraft system interaction on manned flight simulators was developed and demonstrated using flight simulator facilities at NASA Ames. A piecewise linear state variable technique is used. This technique provides the system accuracy, stability and transient response required for integrated aircraft and propulsion control system studies. The real time dynamic model includes the detail and flexibility required for the evaluation of critical control parameters and propulsion component limits over a limited flight envelope. The model contains approximately 7.0 K bytes of in-line computational code and 14.7 K of block data. It has an 8.9 ms cycle time on a Xerox Sigma 9 computer. A Pegasus-Harrier propulsion system was used as a baseline for developing the mathematical modeling and simulation technique. A hydromechanical and water injection control system was also simulated. The model was programmed for interfacing with a Harrier aircraft simulation at NASA Ames. Descriptions of the real time methodology and model capabilities are presented.

Mihaloew, J. R.↗

A flexible computer aid for conceptual design based on constraint propagation and component-modeling

The Rubber Airplane program, which combines two symbolic processing techniques with a component-based database of design knowledge, is proposed as a computer aid for conceptual design. Using object-oriented programming, programs are organized around the objects and behavior to be simulated, and using constraint propagation, declarative statements designate mathematical relationships among all the equation variables. It is found that the additional level of organizational structure resulting from the arrangement of the design information in terms of design components provides greater flexibility and convenience.

Kolb, Mark A.↗

Living in space, book 2, levels D, E, F

In June 1984, President Reagan announced a new NASA program, Operation Liftoff. For more than 25 years NASA has pioneered on the cutting edge of science and technology and has stimulated our young people to strive for excellence in all they do. This program is designed to encourage pupils in the nation's elementary schools to take a greater interest in mathematics and science. Areas addressed include: food, clothing, health, housing, communication, and working in space.

Andrews, Sheila Briskin↗

State reduction for semi-Markov reliability models

Semi-Markov processes have proved to be an effective and convenient tool to construct models of systems that achieve reliability by redundancy and reconfiguration. These models are able to depict complex system architectures and to capture the dynamics of fault arrival and system recovery. A disadvantage of this approach is that the models can be extremely large, which poses both a model construction and a computational problem. Techniques are needed to reduce the model size. Because these systems are used in critical applications where failure can be expensive, there must be an analytically derived bound for the error produced by the model reduction technique. Automatic model generation programs have been written to help the reliability analyst produce models of complex systems. Because of the importance of these programs, the model reduction technique needs to be precise and easily implemented. This paper presents a model reduction technique called trimming that can be applied to a popular class of systems. An error bound for the trimming procedure is derived that uses readily available system parameters. The trimming procedure is precisely described and appears easy to implement in a model generation program.

Reduced order systems↗

Computing Propagation Of Sound In Engine Ducts

Frequency Domain Propagation Model (FREDOM) computer program accounts for acoustic loads applied to components of engines. Models propagation of noise through fluids in ducts between components and through passages within components. Used not only to analyze hardware problems, but also for design purposes. Updated version of FREQPL program easier to use. Devised specifically for use in analyzing acoustic loads in rocket engines. Underlying physical and mathematical concepts implemented also applicable to acoustic propagation in other enclosed spaces; analyzing process plumbing and ducts in industrial buildings with view toward reducing noise in work areas.

Saylor, Silvia↗

Progress in The Semantic Analysis of Scientific Code

This paper concerns a procedure that analyzes aspects of the meaning or semantics of scientific and engineering code. This procedure involves taking a user's existing code, adding semantic declarations for some primitive variables, and parsing this annotated code using multiple, independent expert parsers. These semantic parsers encode domain knowledge and recognize formulae in different disciplines including physics, numerical methods, mathematics, and geometry. The parsers will automatically recognize and document some static, semantic concepts and help locate some program semantic errors. These techniques may apply to a wider range of scientific codes. If so, the techniques could reduce the time, risk, and effort required to develop and modify scientific codes.

Stewart, Mark↗

Adding Assurance to Automatically Generated Code

Code to estimate position and attitude of a spacecraft or aircraft belongs to the most safety-critical parts of flight software. The complex underlying mathematics and abundance of design details make it error-prone and reliable implementations costly. AutoFilter is a program synthesis tool for the automatic generation of state estimation code from compact specifications. It can automatically produce additional safety certificates which formally guarantee that each generated program individually satisfies a set of important safety policies. These safety policies (e.g.. array-bounds, variable initialization) form a core of properties which are essential for high-assurance software. Here we describe the AutoFilter system and its certificate generator and compare our approach to the static analysis tool PolySpace.

Denney, Ewen↗

Stokes problems for moving half-planes

New exact solutions of the Navier-Stokes equations are obtained for the unbounded and bounded oscillatory and impulsive tangential edgewise motion of touching half-infinite plates in their own plane. In contrast to Stokes classical solutions for the harmonic and impulsive motion of an infinite plane wall, where the solutions are separable or have a simple similarity form, the present solutions have a two-dimensional structure in the near region of the contact between the half-infinite plates. Nevertheless, it is possible to obtain relatively simple closed-form solutions for the flow field in each case by defining new variables which greatly simplify the r- and theta- dependence of the solutions in the vicinity of the contact region. These solutions for flow in a half-infinite space are then extended to bounded flows in a channel using an image superposition technique. The impulsive motion has application to the motion near geophysical faults, whereas the oscillatory motion has arisen in the design of a novel oscillating half-plate flow chamber for examining the effect of fluid shear stress on cultured cell monolayers.

NASA Discipline Musculoskeletal↗

Multiple-scattering effects in quasielastic alpha-4He scattering

A multiple-scattering series for describing the quasielastic peak in nucleus-nucleus collisions is derived using the high-energy optical model. The effects of multiple knockout of target nucleons and internal excitation of the projectile are studied and found to be important for large energy loss and momentum transfers in inclusive alpha-4He scattering at 7 GeV/c. An approximate evaluation of higher-order inelastic collision terms is considered for forward-peaked wave functions and is demonstrated to be accurate.

NASA Discipline Radiation Health↗

STS-114 Flight Day 6 Highlights

Day 6 is a relatively quiet day for the STS-114 crew. The main responsibility for crew members of Space Shuttle Discovery (Commander Eileen Collins, Pilot James Kelly, Mission Specialists Soichi Noguchi, Stephen Robinson, Andrew Thomas, Wendy Lawrence, and Charles Camarda) and the Expedition 11 crew of the International Space Station (ISS) (Commander Sergei Krikalev and NASA ISS Science Officer and Flight Engineer John Phillips) is to unload supplies from the shuttle payload bay and from the Raffaello Multipurpose Logistics Module onto the ISS. Several of the astronauts answer interview questions from the news media, with an emphasis on the significance of their mission for the Return to Flight, shuttle damage and repair, and the future of the shuttle program. Thomas announces the winners of an essay contest for Australian students about the importance of science and mathematics education. The video includes the installation of a stowage rack for the Human Research Facility onboard the ISS, a brief description of the ISS modules, and an inverted view of the Nile Delta.

Source record↗

Extravehicular Mobility Unit Penetration Probability from Micrometeoroids and Orbital Debris: Revised Analytical Model and Potential Space Suit Improvements

The NASA Extravehicular Mobility Unit (EMU) micrometeoroid and orbital debris protection ability has recently been assessed against an updated, higher threat space environment model. The new environment was analyzed in conjunction with a revised EMU solid model using a NASA computer code. Results showed that the EMU exceeds the required mathematical Probability of having No Penetrations (PNP) of any suit pressure bladder over the remaining life of the program (2,700 projected hours of 2 person spacewalks). The success probability was calculated to be 0.94, versus a requirement of >0.91, for the current spacesuit s outer protective garment. In parallel to the probability assessment, potential improvements to the current spacesuit s outer protective garment were built and impact tested. A NASA light gas gun was used to launch projectiles at test items, at speeds of approximately 7 km per second. Test results showed that substantial garment improvements could be made, with mild material enhancements and moderate assembly development. The spacesuit s PNP would improve marginally with the tested enhancements, if they were available for immediate incorporation. This paper discusses the results of the model assessment process and test program. These findings add confidence to the continued use of the existing NASA EMU during International Space Station (ISS) assembly and Shuttle Operations. They provide a viable avenue for improved hypervelocity impact protection for the EMU, or for future space suits.

Chase, Thomas D.↗

MPCV Exercise Operational Volume Analysis

In order to minimize the loss of bone and muscle mass during spaceflight, the Multi-purpose Crew Vehicle (MPCV) will include an exercise device and enough free space within the cabin for astronauts to use the device effectively. The NASA Digital Astronaut Project (DAP) has been tasked with using computational modeling to aid in determining whether or not the available operational volume is sufficient for in-flight exercise.Motion capture data was acquired using a 12-camera Smart DX system (BTS Bioengineering, Brooklyn, NY), while exercisers performed 9 resistive exercises without volume restrictions in a 1g environment. Data were collected from two male subjects, one being in the 99th percentile of height and the other in the 50th percentile of height, using between 25 and 60 motion capture markers. Motion capture data was also recorded as a third subject, also near the 50th percentile in height, performed aerobic rowing during a parabolic flight. A motion capture system and algorithms developed previously and presented at last years HRP-IWS were utilized to collect and process the data from the parabolic flight [1]. These motions were applied to a scaled version of a biomechanical model within the biomechanical modeling software OpenSim [2], and the volume sweeps of the motions were visually assessed against an imported CAD model of the operational volume. Further numerical analysis was performed using Matlab (Mathworks, Natick, MA) and the OpenSim API. This analysis determined the location of every marker in space over the duration of the exercise motion, and the distance of each marker to the nearest surface of the volume. Containment of the exercise motions within the operational volume was determined on a per-exercise and per-subject basis. The orientation of the exerciser and the angle of the footplate were two important factors upon which containment was dependent. Regions where the exercise motion exceeds the bounds of the operational volume have been identified by determining which markers from the motion capture exceed the operational volume and by how much. A credibility assessment of this analysis was performed in accordance with NASA-STD-7009 prior to delivery to the MPCV program.

mathematical models↗

Space Trajectories Error Analysis (STEAP) Programs. Volume 1: Analytic manual, update

Manual revisions are presented for the modified and expanded STEAP series. The STEAP 2 is composed of three independent but related programs: NOMAL for the generation of n-body nominal trajectories performing a number of deterministic guidance events; ERRAN for the linear error analysis and generalized covariance analysis along specific targeted trajectories; and SIMUL for testing the mathematical models used in the navigation and guidance process. The analytic manual provides general problem description, formulation, and solution and the detailed analysis of subroutines. The programmers' manual gives descriptions of the overall structure of the programs as well as the computational flow and analysis of the individual subroutines. The user's manual provides information on the input and output quantities of the programs. These are updates to N69-36472 and N69-36473.

Source record↗

Computational Control Workstation: Users' perspectives

A Workstation has been designed and constructed for rapidly simulating motions of rigid and elastic multibody systems. We examine the Workstation from the point of view of analysts who use the machine in an industrial setting. Two aspects of the device distinguish it from other simulation programs. First, one uses a series of windows and menus on a computer terminal, together with a keyboard and mouse, to provide a mathematical and geometrical description of the system under consideration. The second hallmark is a facility for animating simulation results. An assessment of the amount of effort required to numerically describe a system to the Workstation is made by comparing the process to that used with other multibody software. The apparatus for displaying results as a motion picture is critiqued as well. In an effort to establish confidence in the algorithms that derive, encode, and solve equations of motion, simulation results from the Workstation are compared to answers obtained with other multibody programs. Our study includes measurements of computational speed.

Roithmayr, Carlos M.↗

An evaluation of Turbo Prolog with an emphasis on its application to the development of expert systems

Turbo Prolog is a recently available, compiled version of the programming language Prolog. Turbo Prolog is designed to provide not only a Prolog compiler, but also a program development environment for the IBM Personal Computer family. An evaluation of Turbo Prolog was made, comparing its features to other versions of Prolog and to the community of languages commonly used in artificial intelligence (AI) research and development. Three programs were employed to determine the execution speed of Turbo Prolog applied to various problems. The results of this evaluation demonstrated that Turbo Prolog can perform much better than many commonly employed AI languages for numerically intensive problems and can equal the speed of development languages such as OPS5+ and CLIPS, running on the IBM PC. Applications for which Turbo Prolog is best suited include those which (1) lend themselves naturally to backward-chaining approaches, (2) require extensive use of mathematics, (3) contain few rules, (4) seek to make use of the window/color graphics capabilities of the IBM PC, and (5) require linkage to programs in other languages to form a complete executable image.

Loftin, Richard B.↗

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↗