Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Hybrid programs”

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 19 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS2003

Comparing the OpenMP, MPI, and Hybrid Programming Paradigm on an SMP Cluster

Clusters of SMP (Symmetric Multi-Processors) nodes provide support for a wide range of parallel programming paradigms. The shared address space within each node is suitable for OpenMP parallelization. Message passing can be employed within and across the nodes of a cluster. Multiple levels of parallelism can be achieved by combining message passing and OpenMP parallelization. Which programming paradigm is the best will depend on the nature of the given problem, the hardware components of the cluster, the network, and the available software. In this study we compare the performance of different implementations of the same CFD benchmark application, using the same numerical algorithm but employing different programming paradigms.

Jost, Gabriele↗
NASA NTRSDate not supplied

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↗
NASA NTRS2003

Hybrid Propulsion Demonstration Program 250K Hybrid Motor

The Hybrid Propulsion Demonstration Program (HPDP) program was formed to mature hybrid propulsion technology to a readiness level sufficient to enable commercialization for various space launch applications. The goal of the HPDP was to develop and test a 250,000 pound vacuum thrust hybrid booster in order to demonstrate hybrid propulsion technology and enable manufacturing of large hybrid boosters for current and future space launch vehicles. The HPDP has successfully conducted four tests of the 250,000 pound thrust hybrid rocket motor at NASA's Stennis Space Center. This paper documents the test series.

Story, George↗
NASA NTRS1979

Near-term hybrid vehicle program, phase 1

The preliminary design of a hybrid vehicle which fully meets or exceeds the requirements set forth in the Near Term Hybrid Vehicle Program is documented. Topics addressed include the general layout and styling, the power train specifications with discussion of each major component, vehicle weight and weight breakdown, vehicle performance, measures of energy consumption, and initial cost and ownership cost. Alternative design options considered and their relationship to the design adopted, computer simulation used, and maintenance and reliability considerations are also discussed.

Source record↗
NASA NTRS2002

Hybrid Power Management Program Continued

Hybrid Power Management (HPM) is the innovative integration of diverse, state-of-the-art power devices in an optimal configuration for space and terrestrial applications. The appropriate application and control of the various power devices significantly improves overall system performance and efficiency. The advanced power devices include ultracapacitors and photovoltaics. HPM has extremely wide potential with applications including power-generation, transportation, biotechnology, and space power systems. It may significantly alleviate global energy concerns, improve the environment, and stimulate the economy.

Eichenberg, Dennis J.↗
NASA NTRS1976

A hybrid computer program for rapidly solving flowing or static chemical kinetic problems involving many chemical species

A hybrid chemical kinetic computer program was assembled which provides a rapid solution to problems involving flowing or static, chemically reacting, gas mixtures. The computer program uses existing subroutines for problem setup, initialization, and preliminary calculations and incorporates a stiff ordinary differential equation solution technique. A number of check cases were recomputed with the hybrid program and the results were almost identical to those previously obtained. The computational time saving was demonstrated with a propane-oxygen-argon shock tube combustion problem involving 31 chemical species and 64 reactions. Information is presented to enable potential users to prepare an input data deck for the calculation of a problem.

Mclain, A. G.↗
NASA NTRS1992

Preliminary results of the NASA/industry hybrid propulsion program

NASA has been investigating the potential of hybrid propulsion, on and off, for the last thirty years. In 1989, a study to identify the required technologies for large boosters was funded and, in March of 1992, the NASA-Marshall formalized a coordinated program of research on hybrid propulsion. The cornerstone of this program is represented by a partnership between government and industry to test hybrid systems and technology in motors ranging up to 40,000 lbs thrust. New data indicate the presence of at least two different nonacoustic instability mechanisms.

Goldberg, B. E.↗
NASA NTRS1974

HYDES: A generalized hybrid computer program for studying turbojet or turbofan engine dynamics

This report describes HYDES, a hybrid computer program capable of simulating one-spool turbojet, two-spool turbojet, or two-spool turbofan engine dynamics. HYDES is also capable of simulating two- or three-stream turbofans with or without mixing of the exhaust streams. The program is intended to reduce the time required for implementing dynamic engine simulations. HYDES was developed for running on the Lewis Research Center's Electronic Associates (EAI) 690 Hybrid Computing System and satisfies the 16384-word core-size and hybrid-interface limits of that machine. The program could be modified for running on other computing systems. The use of HYDES to simulate a single-spool turbojet and a two-spool, two-stream turbofan engine is demonstrated. The form of the required input data is shown and samples of output listings (teletype) and transient plots (x-y plotter) are provided. HYDES is shown to be capable of performing both steady-state design and off-design analyses and transient analyses.

Szuch, J. R.↗
NASA NTRS1986

Design criteria for expert systems

Knowledge based expert systems are applicable to a wide range of engineering problems ranging from formation to derivation. At the formation end of the spectrum, design, planning and prediction have been identified as generic tasks with similar issues that are dealt with by experts, and need to be formalized for successful expert system implementation. At the derivation end, diagnosis, interpretation and monitoring have been identified as generic tasks with similar subproblems with which experts must cope. At theimplementation level, four levels of programming have been identified: logic programming, production system programming, object oriented programming and hybrid programming.

Allen, R.↗
NASA NTRS1984

The Rubidium-Crystal Oscillator Hybrid Development Program

The rubidium-crystal oscillator hybrid (RbXO) will make precise time available to systems that lack the power required by atomic frequency standards. The RbXO consists of two subassemblies in separate enclosures. One contains a small rubidium frequency standard (RFS) without its internal oven-controlled crystal oscillator (OCXO), plus interface circuits. The second contains a low-power OCXO, and additional interface circuits. The OCXO is on continuously. Periodically, e.g., once a week, the user system applies power to the RFS. After the few necessary for the warmup of the RFS, the interface circuits adjust the frequency of the OCXO to the RFS reference, then shut off the RFS. The OCXO enclosure is separable from the RFS enclosure so that manpacks will be able to operate with minimum size, weight, and power consumption, while having the accuracy of the RFS for the duration of a mission. A prototype RbXO's RFS has operated successfully for 4200 on-off cycles. Parallel efforts on a Phase 2 RbXO development are in progress. Two sources for the RbXO are scheduled to be available during 1986.

Vig, J. R.↗
NASA NTRSDate not supplied

Embedding Differential Dynamic Logic in PVS

Differential dynamic logic (dL) is a formal framework for specifying and reasoning about hybrid systems, i.e., dynamical systems that exhibit both continuous and discrete behaviors. These kinds of systems arise in many safety- and mission-critical applications. This paper presents a formalization of dL in the Prototype Verification System (PVS) that includes the semantics of hybrid programs and dL’s proof calculus. The formalization embeds dL into the PVS logic, resulting in a version of dL whose proof calculus is not only formally verified, but is also available for the verification of hybrid programs within PVS itself. This embedding, called Plaidypvs (Properly Assured Implementation of dL for Hybrid Program Verification and Specification), supports standard dL style proofs, but further leverages the capabilities of PVS to allow reasoning about entire classes of hybrid programs. The embedding also allows the user to import the well-established definitions and mathematical theories available in PVS.

PVS↗
NASA NTRS1972

A hybrid computer program for the visual display of compensatory system model parameters

A hybrid computer identification program has been developed which determines and displays those parameter values of a model of the compensatory control system that existed over the last fifteen seconds of operation. These values are up-dated every 0.05 sec so that a visual display of the parameters appears to be continuous. Presently, a closed loop crossover model is being used as the compensatory system model with the parameters K and tau displayed, however, any suitable model could be used in its place.

Jackson, G. A.↗