Search NASA⌕ Search

SEARCH · Search NASA

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
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.↗
NASA NTRS1979

Near-term hybrid vehicle program, phase 1. Appendix D: Sensitivity analysis resport

Parametric analyses, using a hybrid vehicle synthesis and economics program (HYVELD) are described investigating the sensitivity of hybrid vehicle cost, fuel usage, utility, and marketability to changes in travel statistics, energy costs, vehicle lifetime and maintenance, owner use patterns, internal combustion engine (ICE) reference vehicle fuel economy, and drive-line component costs and type. The lowest initial cost of the hybrid vehicle would be $1200 to $1500 higher than that of the conventional vehicle. For nominal energy costs ($1.00/gal for gasoline and 4.2 cents/kWh for electricity), the ownership cost of the hybrid vehicle is projected to be 0.5 to 1.0 cents/mi less than the conventional ICE vehicle. To attain this ownership cost differential, the lifetime of the hybrid vehicle must be extended to 12 years and its maintenance cost reduced by 25 percent compared with the conventional vehicle. The ownership cost advantage of the hybrid vehicle increases rapidly as the price of fuel increases from $1 to $2/gal.

Source record↗
NASA NTRS2016

Enhancing Application Performance Using Mini-Apps: Comparison of Hybrid Parallel Programming Paradigms

In this work, several mini-apps have been created to enhance a real-world application performance, namely the VULCAN code for complex flow analysis developed at the NASA Langley Research Center. These mini-apps explore hybrid parallel programming paradigms with Message Passing Interface (MPI) for distributed memory access and either Shared MPI (SMPI) or OpenMP for shared memory accesses. Performance testing shows that MPI+SMPI yields the best execution performance, while requiring the largest number of code changes. A maximum speedup of 23X was measured for MPI+SMPI, but only 10X was measured for MPI+OpenMP.

Lawson, Gary↗
NASA NTRS1979

The near-term hybrid vehicle program, phase 1

Performance specifications were determined for a hybrid vehicle designed to achieve the greatest reduction in fuel consumption. Based on the results of systems level studies, a baseline vehicle was constructed with the following basic paramaters: a heat engine power peak of 53 kW (VW gasoline engine); a traction motor power peak of 30 kW (Siemens 1GV1, separately excited); a heat engine fraction of 0.64; a vehicle curb weight of 2080 kg; a lead acid battery (35 kg weight); and a battery weight fraction of 0.17. The heat engine and the traction motor are coupled together with their combined output driving a 3 speed automatic transmission with lockup torque converter. The heat engine is equipped withe a clutch which allows it to be decoupled from the system.

Source record↗
NASA NTRS1980

The Federal electric and hybrid vehicle program

The commercial development and use of electric and hybrid vehicles is discussed with respect to its application as a possible alternative transportation system. A market demonstration is described that seeks to place 10,000 electric hybrid vehicles into public and private sector demonstrations.

Schwartz, H. J.↗
NASA NTRS2017

Enhancing Application Performance Using Mini-Apps: Comparison of Hybrid Parallel Programming Paradigms

In many fields, real-world applications for High Performance Computing have already been developed. For these applications to stay up-to-date, new parallel strategies must be explored to yield the best performance; however, restructuring or modifying a real-world application may be daunting depending on the size of the code. In this case, a mini-app may be employed to quickly explore such options without modifying the entire code. In this work, several mini-apps have been created to enhance a real-world application performance, namely the VULCAN code for complex flow analysis developed at the NASA Langley Research Center. These mini-apps explore hybrid parallel programming paradigms with Message Passing Interface (MPI) for distributed memory access and either Shared MPI (SMPI) or OpenMP for shared memory accesses. Performance testing shows that MPI+SMPI yields the best execution performance, while requiring the largest number of code changes. A maximum speedup of 23 was measured for MPI+SMPI, but only 11 was measured for MPI+OpenMP.

Lawson, Gary↗
DOE OSTI2024

Designing and prototyping extensions to the Message Passing Interface in MPICH

As HPC system architectures and the applications running on them continue to evolve, the MPI standard itself must evolve. The trend in current and future HPC systems toward powerful nodes with multiple CPU cores and multiple GPU accelerators makes efficient support for hybrid programming critical for applications to achieve high performance. However, the support for hybrid programming in the MPI standard has not kept up with recent trends. The MPICH implementation of MPI provides a platform for implementing and experimenting with new proposals and extensions to fill this gap and to gain valuable experience and feedback before the MPI Forum can consider them for standardization. Here, in this work, we detail six extensions implemented in MPICH to increase MPI interoperability with other runtimes, with a specific focus on heterogeneous architectures. First, the extension to MPI generalized requests lets applications integrate asynchronous tasks into MPI’s progress engine. Second, the iovec extension to datatypes lets applications use MPI datatypes as a general-purpose data layout API beyond just MPI communications. Third, a new MPI object, MPIX_Stream, can be used by applications to identify execution contexts beyond MPI processes, including threads and GPU streams. MPIX stream communicators can be created to make existing MPI functions thread-aware and GPU-aware, thus providing applications with explicit ways to achieve higher performance. Fourth, MPIX Streams are extended to support the enqueue semantics for offloading MPI communications onto a GPU stream context. Fifth, thread communicators allow MPI communicators to be constructed with individual threads, thus providing a new level of interoperability between MPI and on-node runtimes such as OpenMP. Lastly, we present an extension to invoke MPI progress, which lets users spawn progress threads with fine-grained control to adapt the communication performance to their application designs. We describe the design and implementation of these extensions, provide usage examples, and highlight their expected benefits with performance results.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1979

Near-term hybrid vehicle program, phase 1. Appendix A: Mission analysis and performance specification studies report

Results of a study leading to the preliminary design of a five passenger hybrid vehicle utilizing two energy sources (electricity and gasoline/diesel fuel) to minimize petroleum usage on a fleet basis are presented. The study methodology is described. Vehicle characterizations, the mission description, characterization, and impact on potential sales, and the rationale for the selection of the reference internal combustion engine vehicle are presented. Conclusions and recommendations of the mission analysis and performance specification report are included.

Source record↗
NASA NTRS1979

Near-term hybrid vehicle program, phase 1. Appendix B: Design trade-off studies report. Volume 2: Supplement to design trade-off studies

Results of studies leading to the preliminary design of a hybrid passenger vehicle which is projected to have the maximum potential for reducing petroleum consumption in the near term are presented. Heat engine/electric hybrid vehicle tradeoffs, assessment of battery power source, and weight and cost analysis of key components are among the topics covered. Performance of auxiliary equipment, such as power steering, power brakes, air conditioning, lighting and electrical accessories, heating and ventilation is discussed along with the selection of preferred passenger compartment heating procedure for the hybrid vehicle. Waste heat from the engine, thermal energy storage, and an auxiliary burner are among the approaches considered.

Source record↗
NASA NTRS1979

Near-term hybrid vehicle program, phase 1. Appendix B: Design trade-off studies

The relative attractiveness of various hybrid/electric power train configurations and electrical and mechanical drive-line components was studied. The initial screening was concerned primarily with total vehicle weight and economic factors and identified the hybrid power train combinations which warranted detailed evaluation over various driving cycles. This was done using a second-by-second vehicle simulation program which permitted the calculations of fuel economy, electricity usage, and emissions as a function of distance traveled in urban and highway driving. Power train arrangement possibilities were examined in terms of their effect on vehicle handling, safety, serviceability, and passenger comfort. A dc electric drive system utilizing a separately excited motor with field control and battery switching was selected for the near term hybrid vehicle. Hybrid vehicle simulations showed that for the first 30 mi (the electric range of the vehicle) in urban driving, the fuel economy was 80 mpg using a gasoline engine and 100 mpg using a diesel engine. In urban driving the hybrid would save about 75% of the fuel used by the conventional vehicle and in combined urban/highway driving the fuel saving is about 50%.

Source record↗
NASA NTRS1972

G and C boost and abort study summary, exhibit B

A six degree of freedom simulation of rigid vehicles was developed to study space shuttle vehicle boost-abort guidance and control techniques. The simulation was described in detail as an all digital program and as a hybrid program. Only the digital simulation was implemented. The equations verified in the digital simulation were adapted for use in the hybrid simulation. Study results were obtained from four abort cases using the digital program.

Backman, H. D.↗
DOE OSTI2024

Hybrid programming-model strategies for GPU offloading of electronic structure calculation kernels

To address the challenge of performance portability and facilitate the implementation of electronic structure solvers, we developed the basic matrix library (BML) and Parallel, Rapid O(N), and Graph-based Recursive Electronic Structure Solver (PROGRESS) library. The BML implements linear algebra operations necessary for electronic structure kernels using a unified user interface for various matrix formats (dense and sparse) and architectures (CPUs and GPUs). Focusing on density functional theory and tight-binding models, PROGRESS implements several solvers for computing the single-particle density matrix and relies on BML. In this paper, we describe the general strategies used for these implementations on various computer architectures, using OpenMP target functionalities on GPUs, in conjunction with third-party libraries to handle performance critical numerical kernels. In this study, we demonstrate the portability of this approach and its performance in benchmark problems.

36 MATERIALS SCIENCE↗
NASA NTRS1979

Near-term hybrid vehicle program, phase 1. Appendix C: Preliminary design data package

The design methodology, the design decision rationale, the vehicle preliminary design summary, and the advanced technology developments are presented. The detailed vehicle design, the vehicle ride and handling and front structural crashworthiness analysis, the microcomputer control of the propulsion system, the design study of the battery switching circuit, the field chopper, and the battery charger, and the recent program refinements and computer results are presented.

Source record↗
NASA NTRS1986

A hybrid nonlinear programming method for design optimization

Solutions to engineering design problems formulated as nonlinear programming (NLP) problems usually require the use of more than one optimization technique. Moreover, the interaction between the user (analysis/synthesis) program and the NLP system can lead to interface, scaling, or convergence problems. An NLP solution system is presented that seeks to solve these problems by providing a programming system to ease the user-system interface. A simple set of rules is used to select an optimization technique or to switch from one technique to another in an attempt to detect, diagnose, and solve some potential problems. Numerical examples involving finite element based optimal design of space trusses and rotor bearing systems are used to illustrate the applicability of the proposed methodology.

Rajan, S. D.↗