Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “dynamic 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 1,171 records · Page 65

GPU Implementation of the OVERFLOW CFD Code

The high-performance computing (HPC) landscape is quickly changing to systems where most of the performance comes from specialized chips, specifically graphics processing units (GPUs). Such GPU systems are throughput machines, where efficient use of the GPU often requires code refactoring to expose a few orders of magnitude more fine grain parallelism than was previously used on the CPU. Recent modifications to OVERFLOW, an overset, structured grid, computational fluid dynamics flow solver, written in Fortran will be presented. These modifications include both code modernization efforts and algorithmic changes to enable OVERFLOW to efficiently utilize GPUs. Many of these algorithmic changes would likely also be applicable for other structured grid, stencil-based codes wanting to utilize GPUs. The capabilities that have been ported to run on the GPUs are presented, along with the performance gains of the GPU version relative the CPU version of OVERFLOW.

GPU Programming↗

Combustion Dynamics and Stability Modeling of a Liquid Oxygen/RP-2 Oxygen-Rich Staged Combustion Preburner and Thrust Chamber Assembly with Gas-Centered Swirl Coaxial Injector Elements

The Combustion Stability Tool Development (CSTD) project, funded by the Air Force Space and Missile Systems Center, began in March 2015 supporting a renewed interest in the development of a liquid oxygen/hydrocarbon, oxygen-rich combustion engine. The project encompasses the design, assembly, and hot-fire testing of the NASA Marshall Space Flight Center 40-klbf Integrated Test Rig (MITR). The test rig models a staged-combustion configuration by combining an oxygen-rich preburner (ORPB), to generate hot gas, with a thrust chamber assembly (TCA) using gas-centered swirl coaxial injector elements. There are five separately designed interchangeable injectors in the TCA that each contain 19- or 27- injector elements. A companion paper in this JANNAF conference describes the design characteristics, rationale, and fabrication issues for all the injectors. The data acquired from a heavily instrumented rig encompasses several injectors, several operating points, and stability bomb tests. Another companion paper in this JANNAF conference describes this test program in detail. In this paper, dynamic data from the hot-fire testing is characterized and used to identify the responses in the ORPB and TCA. A brief review of damping metrics are discussed and applied as a measure of stability margin for damped acoustic modes. Chug and longitudinal combustion stability models and predictions are described which includes new dynamic models for compressible flow through an orifice and a modification to incorporate a third feed line for inclusion of the fuel-film coolant. Flow-acoustics finite element modeling is used to investigate the anticipated TCA acoustics, the effects of injector element length on stability margin, and the potential use of an ORPB orifice trip ring for improving longitudinal stability margin.

Casiano, M. J.↗

Trajectory Shaping of Lunar Descent Approach Phase for Human Landing Systems

NASA’s Artemis program will have many mission phases but perhaps the most dangerous and dynamic is the powered descent and landing phase. NASA’s HLS Program has developed a candidate lunar approach concept of operations to address the needs of both hazard detection sensors and crew visibility of the landing site. The descent trajectory is shaped such that the approach phase is initiated at a steep trajectory path angle for hazard map generation then transitions to a shallow trajectory path angle to facilitate crew landing site visibility. The results show this tailored approach concept is a viable option to reduce risk during landing with minimal performance impacts.

Trajectory Optimization↗

GPU Implementation of the OVERFLOW CFD Code

The high-performance computing (HPC) landscape is quickly changing to systems where most of the performance comes from specialized chips, specifically graphics processing units (GPUs). Such GPU systems are throughput machines, where efficient use of the GPU often requires code refactoring to expose a few orders of magnitude more fine grain parallelism than was previously used on the CPU. Recent modifications to OVERFLOW, an overset, structured grid, computational fluid dynamics flow solver, written in Fortran will be presented. These modifications include both code modernization efforts and algorithmic changes to enable OVERFLOW to efficiently utilize GPUs. Many of these algorithmic changes would likely also be applicable for other structured grid, stencil-based codes wanting to utilize GPUs. The capabilities that have been ported to run on the GPUs are presented, along with the performance gains of the GPU version relative the CPU version of OVERFLOW.

GPU Programming↗

A simulation model for wind energy storage systems. Volume 1: Technical report

A comprehensive computer program for the modeling of wind energy and storage systems utilizing any combination of five types of storage (pumped hydro, battery, thermal, flywheel and pneumatic) was developed. The level of detail of Simulation Model for Wind Energy Storage (SIMWEST) is consistent with a role of evaluating the economic feasibility as well as the general performance of wind energy systems. The software package consists of two basic programs and a library of system, environmental, and load components. The first program is a precompiler which generates computer models (in FORTRAN) of complex wind source storage application systems, from user specifications using the respective library components. The second program provides the techno-economic system analysis with the respective I/O, the integration of systems dynamics, and the iteration for conveyance of variables. SIMWEST program, as described, runs on the UNIVAC 1100 series computers.

Warren, A. W.↗

Special Course on Engineering Methods in Aerodynamic Analysis and Design of Aircraft

Lecture notes for the AGARD Fluid Dynamics Panel Special Course on 'Engineering Methods in Aerodynamic Analysis and Design of Aircraft' have been assembled in this report. Proven engineering methods used during conceptual and preliminary design and development of new aircraft concepts are presented. These methods focus on simple computational procedures for conceptual and preliminary design, low level analysis computer codes, and experimental techniques for aircraft performance predictions. The course was aimed at helping train young engineers to appreciate and work with simple engineering tools to enhance the art of cost effective preliminary design of new aircraft.

aerodynamics↗

A generalized technique for using cones and dihedral angles in attitude determination, revision 1

Analytic development is presented for a general least squares attitude determination subroutine applicable to spinning satellites. The method is founded on a geometric approach which is completely divorced from considerations relating to particular types and configurations of onboard attitude sensors. Any mix of sensor measurements which can be first transformed (outside the program) to cone or dihedral angle data can be processed. A cone angle is an angle between the spin axis and a known direction line in space; a dihedral angle is an angle between two planes formed by the spin axis and each of two known direction lines. Many different kinds of sensor data can be transformed to these angles, which in turn constitute the actual program inputs, so that the subroutine can be applied without change to a variety of satellite missions. Either a constant or dynamic spin axis model can be handled. The program is also capable of solving for fixed biases in the input angles, in addition to the spin axis attitude solution.

Werking, R. D.↗

A Change Impact Analysis to Characterize Evolving Program Behaviors

Change impact analysis techniques estimate the potential effects of changes made to software. Directed Incremental Symbolic Execution (DiSE) is an intraprocedural technique for characterizing the impact of software changes on program behaviors. DiSE first estimates the impact of the changes on the source code using program slicing techniques, and then uses the impact sets to guide symbolic execution to generate path conditions that characterize impacted program behaviors. DiSE, however, cannot reason about the flow of impact between methods and will fail to generate path conditions for certain impacted program behaviors. In this work, we present iDiSE, an extension to DiSE that performs an interprocedural analysis. iDiSE combines static and dynamic calling context information to efficiently generate impacted program behaviors across calling contexts. Information about impacted program behaviors is useful for testing, verification, and debugging of evolving programs. We present a case-study of our implementation of the iDiSE algorithm to demonstrate its efficiency at computing impacted program behaviors. Traditional notions of coverage are insufficient for characterizing the testing efforts used to validate evolving program behaviors because they do not take into account the impact of changes to the code. In this work we present novel definitions of impacted coverage metrics that are useful for evaluating the testing effort required to test evolving programs. We then describe how the notions of impacted coverage can be used to configure techniques such as DiSE and iDiSE in order to support regression testing related tasks. We also discuss how DiSE and iDiSE can be configured for debugging finding the root cause of errors introduced by changes made to the code. In our empirical evaluation we demonstrate that the configurations of DiSE and iDiSE can be used to support various software maintenance tasks

Rungta, Neha Shyam↗

On protection of Freedom's solar dynamic radiator from the orbital debris environment. Part 2: Further testing and analyses

Presented here are results of a test program undertaken to further define the response of the solar dynamic radiator to hypervelocity impact (HVI). Tests were conducted on representative radiator panels (under ambient, nonoperating conditions) over a range of velocity. Target parameters are also varied. Data indicate that analytical penetration predictions are conservative (i.e., pessimistic) for the specific configuration of the solar dynamic radiator. Test results are used to define the solar dynamic radiator reliability with respect to HVI more rigorously than previous studies. Test data, reliability, and survivability results are presented.

Rhatigan, Jennifer L.↗

Design and Analysis of the Aperture Shield Assembly for a Space Solar Receiver

A joint U.S./Russia program has been conducted to design, develop, fabricate, launch, and operate the world's first space solar dynamic power system on the Russian Space Station Mir. The goal of the program was to demonstrate and confirm that solar dynamic power systems are viable for future space applications such as the International Space Station (ISS). The major components of the system include a solar receiver, a closed Brayton cycle power conversion unit, a power conditioning and control unit, a solar concentrator, a radiator, a thermal control system, and a Space Shuttle carrier. Unfortunately, the mission was demanifested from the ISS Phase 1 Space Shuttle Program in 1996. However, NASA Lewis is proposing to use the fabricated flight hardware as part of an all-American flight demonstration on the ISS in 2002. The present paper concerns the design and analysis of the solar receiver aperture shield assembly. The aperture shield assembly comprises the front face of the cylindrical receiver and is located at the focal plane of the solar concentrator. The aperture shield assembly is a critical component that protects the solar receiver structure from highly concentrated solar fluxes during concentrator off-pointing events. A full-size aperture shield assembly was fabricated. This unit was essentially identical to the flight configuration, with the exception of materials substitution. In addition, a thermal shock test aperture shield assembly was fabricated. This test article utilized the flight materials and was used for high-flux testing in the solar simulator test rig at NASA Lewis. This testing is described in a companion paper.

Strumpf, Hal J.↗

Applications Study of Aero-Maneuvering Orbit-to-Orbit Shuttle (AMOOS), Executive Summary

Preliminary designs and the supporting analysis for both the Aeromaneuvering Orbit-to-Orbit Shuttle (AMOOS) and the Aeromaneuvering Recovery System (AMRS) are presented. The AMOOS design is shown to yield from twice to almost three times the high energy, round-trip payloads as a purely propulsive vehicle of the same weight. Typically AMOOS can perform a crew rotation mission to equatorial geosynchronous orbit in one space shuttle launch. The flight test program analysis modeled parameters such as maximum dynamic pressure, heating rates, guidance, stability and recovery. Two model flight schedules were developed, one consisting of four flights and the other of two flights. The former is considered a very low risk, high information return program whereas the latter is a minimal cost program consistent with reasonable data returns and chance of success. The AMOOS and AMRS guidance scheme developed using linear regulator theory proved a precise and accurate guidance scheme. Both it and a classical linear system's based scheme were evaluated using 65 simulated trajectories in which the position in the entry corridor and the atmospheric density were varied randomly.

White, J.↗

Space shuttle propulsion estimation development verification, volume 1

The results of the Propulsion Estimation Development Verification are summarized. A computer program developed under a previous contract (NAS8-35324) was modified to include improved models for the Solid Rocket Booster (SRB) internal ballistics, the Space Shuttle Main Engine (SSME) power coefficient model, the vehicle dynamics using quaternions, and an improved Kalman filter algorithm based on the U-D factorized algorithm. As additional output, the estimated propulsion performances, for each device are computed with the associated 1-sigma bounds. The outputs of the estimation program are provided in graphical plots. An additional effort was expended to examine the use of the estimation approach to evaluate single engine test data. In addition to the propulsion estimation program PFILTER, a program was developed to produce a best estimate of trajectory (BET). The program LFILTER, also uses the U-D factorized algorithm form of the Kalman filter as in the propulsion estimation program PFILTER. The necessary definitions and equations explaining the Kalman filtering approach for the PFILTER program, the models used for this application for dynamics and measurements, program description, and program operation are presented.

Rogers, Robert M.↗

A flying qualities study of longitudinal long-term dynamics of hypersonic planes

The NASA Dryden Flight Research Center and the Technical University of Munich are cooperating in a research program to assess the impact of unstable long-term dynamics on the flying qualities of planes in hypersonic flight. These flying qualities issues are being investigated with a dedicated flight simulator for hypersonic vehicles located at NASA Dryden. Several NASA research pilots have flown the simulator through well-defined steady-level turns with varying phugoid and height mode instabilities. Th data collected include pilot ratings and comments, performance measurements, and pilot workload measurements. The results presented in this paper include design guidelines for height and phugoid mode instabilities, an evaluation of the tapping method used to measure pilot workload, a discussion of techniques developed by the pilots to control large instabilities, and a discussion of how flying qualities of unstable long-term dynamics influence control power design requirements.

Cox, T.↗

A Flying Qualities Study of Longitudinal Long-Term Dynamics of Hypersonic Planes

The NASA Dryden Flight Research Center and the Technical University of Munich are cooperating in a research program to assess the impact of unstable long-term dynamics on the flying qualities of planes in hypersonic flight. These flying qualities issues are being investigated with a dedicated flight simulator for hypersonic vehicles located at NASA Dryden. Several NASA research pilots have flown the simulator through well defined steady-level turns with varying phugoid and height mode instabilities. The data collected include Pilot ratings and comments, performance measurements, and Pilot workload measurements. The results presented in this paper include design guidelines for height and Phugoid mode instabilities, an evaluation of the tapping method used to measure pilot workload, a discussion of techniques developed by the pilots to control large instabilities, and a discussion of how flying qualities of unstable long-term dynamics influence control Power design requirements.

Cox, Timothy H.↗

Transient dynamics of a flexible rotor with squeeze film dampers

A series of simulated blade loss tests are reported on a test rotor designed to operate above its second bending critical speed. A series of analyses were performed which predicted the transient behavior of the test rig for each of the blade loss tests. The scope of the program included the investigation of transient rotor dynamics of a flexible rotor system, similar to modern flexible jet engine rotors, both with and without squeeze film dampers. The results substantiate the effectiveness of squeeze film dampers and document the ability of available analytical methods to predict their effectiveness and behavior.

Buono, D. F.↗

A Verification Framework for Runtime Assurance of Autonomous UAS

Runtime Assurance (RTA) is a design-time architecture for safety-critical systems where an internal monitor acts upon detecting a violation of a property. The simplex architecture is an instance of RTA, where the action taken is to hand control of the overall system to a trusted controller when an untrusted one violates a safety property. Simplex RTA is emerging as a method for allowing AI/ML and other unverified software to be integrated into safety-critical applications like aircraft. To this end, the American Society for Testing and Materials (ASTM) and NASA have each published guidelines on the use of RTA in such systems. In the simplex RTA framework, a system has an advanced controller (AC) and a reversionary controller (RC). The system is allowed to operate with the AC until a runtime monitor detects that some property has been violated and then the RC takes over. Assuming that the sample rate of the monitor will detect improper functioning with enough time for the RC to correct the impending problem, and that the RC is trusted, the system will operate as intended. This use of the simplex RTA framework can allow for the integration of untrusted, but possibly more performant, controllers in a safe way. This paper presents a formalization of a simplex RTA framework in the Prototype Verification System (PVS) theorem prover using an embedding of differential dynamic logic (DDL) called Plaidypvs. A novel feature of this framework is that it can be instantiated at different levels of abstraction. This feature allows for the formal verification of a system with an untrusted black box component, such as an AI/ML controller. This paper does not address the many difficulties in deploying RTA in an industrial-level system. Instead, the focus is on the formal verification of the simplex RTA framework in the language of hybrid programs. Hybrid programs are programs that include both discrete and continuous dynamics and can be used to model complex cyber-physical systems. Plaidypvs is a tool that enables formalization of hybrid programs in the PVS theorem prover. Plaidypvs enables the verification of the general simplex RTA framework and then, by specializing some components of the hybrid program, verifying instances of the framework while treating the untrusted component as a black box. A selection of Unmanned Aircraft Systems (UAS) operations are shown as instances of the general RTA framework in PVS. This offers the benefit of design time verification of relevant safety properties to the system, and it also gives requirements on the sample rate of sensors that determine the time interval in which the ‘switch’ property of the RTA framework is checked.

PVS↗

Experimental investigation of crater growth dynamics

This work is a continuation of an ongoing program whose objective is to perform experiments and to develop scaling relationships for large-body impacts onto planetary surfaces. The centrifuge technique is used to provide experimental data for actual target materials of interest. With both power and gas guns mounted on the rotor arm, it is possible to match various dimensionless similarity parameters, which have been shown to govern the behavior of large-scale impacts. The development of the centrifuge technique has been poineered by the present investigators and is documented by numerous publications, the most recent of which are listed below. Understanding the dependence of crater size upon gravity has been shown to be key to the complete determination of the dynamic and kinematic behavior of crater formation as well as ejecta phenomena. Three unique time regimes in the formation of an impact crater have been identified.

Schmidt, R. M.↗

Principles of Fluid Dynamic Similarity Analysis for Slosh Experiments

Most tank slosh test programs are not conducted with flight hardware in a flight-like environment due to cost and schedule constraints. Instead, subscale tanks are typically tested on the ground. If the “real”, flight liquid in the tank is a cryogenic propellant, sometimes a cryogen is used during testing, but more often a simulant liquid is used. Fluid dynamic similarity analysis, or “scaling analysis” as it is sometimes called, for slosh examines nondimensional numbers to determine which fluid dynamic regime(s) a tank is operating in. If the relevant nondimensional numbers of a scale tank test are similar enough to the real tank’s nondimensional numbers, then it is likely that the scale test data will be similar to what would be obtained with the real tank. This type of analysis is useful for guiding experiment design, test liquid selection, and for understanding the physical relevance of prior test data to a specific application. The authors have performed scaling analyses for many slosh test programs conducted in ground, parabolic flight, suborbital, and in-orbit environments. Basics of how to perform the analysis, along with select examples from ground and microgravity environments, are presented. Suggestions for various assumptions and compromises to make are discussed. Limitations and challenges are also discussed.

slosh↗