SEARCH · Search NASA

Results for “Programming model”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 37 records · Page 2

All sources NASA NTRS DOE OSTI

DOE OSTI2023

Evaluating performance and portability of high-level programming models: Julia, Python/Numba, and Kokkos on exascale nodes

We explore the performance and portability of the high-level programming models: the LLVM-based Julia and Python/Numba, and Kokkos on high-performance computing (HPC) nodes: AMD Epyc CPUs and MI250X graphical processing units (GPUs) on Frontier’s test bed Crusher system and Ampere’s Arm-based CPUs and NVIDIA’s A100 GPUs on the Wombat system at the Oak Ridge Leadership Computing Facilities. We compare the default performance of a hand-rolled dense matrix multiplication algorithm on CPUs against vendor-compiled C/OpenMP implementations, and on each GPU against CUDA and HIP. Rather than focusing on the kernel optimization per-se, we select this naive approach to resemble exploratory work in science and as a lower-bound for performance to isolate the effect of each programming model. Julia and Kokkos perform comparably with C/OpenMP on CPUs, while Julia implementations are competitive with CUDA and HIP on GPUs. Performance gaps are identified on NVIDIA A100 GPUs for Julia’s single precision and Kokkos, and for Python/Numba in all scenarios. We also comment on half-precision support, productivity, performance portability metrics, and platform readiness. We expect to contribute to the understanding and direction for high-level, high-productivity languages in HPC as the first-generation exascale systems are deployed.

Godoy, William↗

NASA NTRS1993

Physical properties of the benchmark models program supercritical wing

The goal of the Benchmark Models Program is to provide data useful in the development and evaluation of aeroelastic computational fluid dynamics (CFD) codes. To that end, a series of three similar wing models are being flutter tested in the Langley Transonic Dynamics Tunnel. These models are designed to simultaneously acquire model response data and unsteady surface pressure data during wing flutter conditions. The supercritical wing is the second model of this series. It is a rigid semispan model with a rectangular planform and a NASA SC(2)-0414 supercritical airfoil shape. The supercritical wing model was flutter tested on a flexible mount, called the Pitch and Plunge Apparatus, that provides a well-defined, two-degree-of-freedom dynamic system. The supercritical wing model and associated flutter test apparatus is described and experimentally determined wind-off structural dynamic characteristics of the combined rigid model and flexible mount system are included.

Dansberry, Bryan E.↗

NASA NTRS2001

Addressing Dynamic Issues of Program Model Checking

Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking difficult: the complexity of their state and the dynamic nature of many programs. Here we address both these issues within the context of the Java PathFinder (JPF) model checker. Firstly, we will show how the state of a Java program can be encoded efficiently and how this encoding can be exploited to improve model checking. Next we show how to use symmetry reductions to alleviate some of the problems introduced by the dynamic nature of Java programs. Lastly, we show how distributed model checking of a dynamic program can be achieved, and furthermore, how dynamic partitions of the state space can improve model checking. We support all our findings with results from applying these techniques within the JPF model checker.

Lerda, Flavio↗

NASA NTRS1985

Aerothermal modeling program, phase 2

The main objectives of the Aerothermal Modeling Program, Phase 2 are: to develop an improved numerical scheme for incorporation in a 3-D combustor flow model; to conduct a benchmark quality experiment to study the interaction of a primary jet with a confined swirling crossflow and to assess current and advanced turbulence and scalar transport models; and to conduct experimental evaluation of the air swirler interaction with fuel injectors, assessments of current two-phase models, and verification the improved spray evaporation/dispersion models.

Mongia, H. C.↗

NASA NTRS1991

The NASA/National Space Science Data Center trapped radiation environment model program, 1964 - 1991

The major effort that NASA, initially with the help of the United States Air Force (USAF), carried out for 27 years to synthesize the experimental and theoretical results of space research related to energetic charged particles into a quantitative description of the terrestrial trapped radiation environment in the form of model environments is detailed. The effort is called the Trapped Radiation Environment Modeling Program (TREMP). In chapter 2 the historical background leading to the establishment of this program is given. Also, the purpose of this modeling program as established by the founders of the program is discussed. This is followed in chapter 3 by the philosophy and approach that was applied in this program throughout its lifetime. As will be seen, this philosophy led to the continuation of the program long after it would have expired. The highlights of the accomplishments are presented in chapter 4. A view to future possible efforts in this arena is given in chapter 5, mainly to pass on to future workers the differences that are perceived from these many years of experience. Chapter 6 is an appendix that details the chronology of the development of TREMP. Finally, the references, which document the work accomplished over these years, are presented in chapter 7.

Vette, James I.↗

DOE OSTI2024

Critical Role of the Public Theory & Modeling Program for Commercial Fusion Energy

This white paper contributes input from the Executive Committee of the Theory Coordinating Committee to the 2024 FESAC Decadal Plan Subcommittee. It is argued that the public Theory and Modeling program plays a critical role in the pursuit of commercial fusion energy. A new mechanism for fostering engagement between the fusion industry and the public Theory and Modeling program could provide better alignment between the goals of the public program and the needs of private industry.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

NASA NTRS1982

Aerothermal modeling program

Some significant features of the approach adopted for the combustor aerothermal modeling program are described. The individual computerized models utilized in the aero design approach are characterized. The preliminary design module provides the overall envelope definition of the burner. The diffuser module provides the detailed contours of the diffuser and combustor cowl region, as well as the pressure loss characteristics into each of the individual flow passages into the dome and around the combustor. The flow distribution module provides the air entry quantities through each of the aperatures and the overall pressure drop. The heat transfer module provides detailed metal temperature distribution throughout the metal structure as input to stress and life analysis that are not part of the aerothermo design effort. Finally, the internal flow module, INTFLOW, is described and the approach for model evaluation using laboratory data is discussed.

Kenworthy, M.↗

DOE OSTI2022

Sparse Deep Neural Network Inference using different Programming Models

Sparse deep neural networks have gained increasing attention recently in achieving speedups on inference with reduced memory footprints. However, the real-world applications are little shown with specialized optimizations, yet a wide variety of DNN tasks remain dense without exploiting the advantages of sparsity in networks. Recent work presented by MIT/IEEE/Amazon GraphChallenge has demonstrated significant speedups and various techniques. Still, we find that there is limited investigation of the impact of various Python and C\slash C++ based programming models to explore new opportunities in general cases. In this work, we provide performance evaluation through different programming models using CuPy, cuSPARSE, and OpenMP to discuss the advantages and disadvantages of our sparse implementations on single-GPU and multiple GPUs of NVIDIA DGX-A100 40GB/80GB platforms.

machine learning, HPC↗

NASA NTRS1986

Progress in the Lewis Research Center Altitude Wind Tunnel (AWT) modeling program

The rehabilitation of the AWT at the NASA Lewis Research Center is under study with the goal of providing a modern subsonic wind tunnel for conducting propulsion system/airframe integration, isolated propulsion system, propulsion acoustics and adverse weather tests. Because of the increased Mach number capability (from Mach 0.6 to 0.9 plus) and the incorporation of acoustic and adverse weather capabilities into an existing tunnel, the AWT rehabilitation represents a significant technical challenge. In order to reduce the risk associated with such an undertaking, an extensive AWT modeling program is being conducted to guide and verify the tunnel design. Significant findings and progress in this modeling program are the subject of this paper.

Ciepluch, C. C.↗

NASA NTRS1986

Progress in the Lewis Research Center Altitude Wind Tunnel (AWT) Modeling Program

The rehabilitation of the Altitude Wind Tunnel (AWT) at the NASA Lewis Research Center is under study with the goal of providing a modern subsonic wind tunnel for conducting propulsion system/airframe integration, isolated propulsion system, propulsion acoustics and adverse weather tests. Because of the increased Mach number capability (from Mach 0.6 to 0.9 plus) and the incorporation of acoustic and adverse weather capabilities into an existing tunnel, the AWT rehabilitation represents a significant technical challenge. In order to reduce the risk associated with such an undertaking, and extensive AWT modeling program is being conducted to guide and verify the tunnel design. Significant findings and progress in this modeling program are the subject of this paper.

Ciepluch, C. C.↗

NASA NTRS1985

Analytical and physical modeling program for the NASA Lewis Research Center's Altitude Wind Tunnel (AWT)

An effort is currently underway at the NASA Lewis Research Center to rehabilitate and extend the capabilities of the Altitude Wind Tunnel (AWT). This extended capability will include a maximum test section Mach number of about 0.9 at an altitude of 55,000 ft and a -20 F stagnation temperature (octagonal test section, 20 ft across the flats). In addition, the AWT will include an icing and acoustic research capability. In order to insure a technically sound design, an AWT modeling program (both analytical and physical) was initiated to provide essential input to the AWT final design process. This paper describes the modeling program, including the rationale and criteria used in program definition, and presents some early program results.

Abbott, J. M.↗

NASA NTRS1985

Analytical and physical modeling program for the NASA Lewis Research Center's Altitude Wind Tunnel (AWT)

Abbott, J. M.↗

NASA NTRS1986

Aerothermal modeling program, phase 2

The main objective of the NASA sponsored Aerothermal Modeling Program, Phase 2--Element A, is to develop an improved numerical scheme for predicting combustor flow fields. This effort consists of the following three technical tasks. Task 1 involves the selection and evaluation of various candidate numerical techniques. Task 2 involves an in-depth evaluation of the selected numerical schemes. Task 3 involves the convection-diffusion scheme and the direct solver that will be incorporated in the NASA 3-D elliptic code (COM3S).

Karki, K. C.↗

NASA NTRS1983

Aerothermal modeling program, phase 1

The physical modeling embodied in the computational fluid dynamics codes is discussed. The objectives were to identify shortcomings in the models and to provide a program plan to improve the quantitative accuracy. The physical models studied were for: turbulent mass and momentum transport, heat release, liquid fuel spray, and gaseous radiation. The approach adopted was to test the models against appropriate benchmark-quality test cases from experiments in the literature for the constituent flows that together make up the combustor real flow.

Sturgess, G. J.↗

NASA NTRS1984

4 X 7 M Modeling Program. The Use of Small-Scale Modeling in Defining Flow Improvements for the Langley 4 X 7-Meter Tunnel

The use of small scale modeling in defining flow improvements for the Langley 4 x 7 meter wind tunnel is presented. Topics covered in viewgraph format include: description of the 4 x 7 meter wind tunnel, description of the 1/24 scale model, wind tunnel circuit flow characteristics, open test section turbulence characteristics, and conclusions.

Applin, Zachery T.↗

NASA NTRS1986

Aerothermal modeling program, phase 2. Element C: Fuel injector-air swirl characterization

The main objectives of the NASA-sponsored Aerothermal Modeling Program, Phase 2--Element C, are experimental evaluation of the air swirler interaction with a fuel injector in a simulated combustor chamber, assessment of the current two-phase models, and verification of the improved spray evaporation/dispersion models. This experimental and numerical program consists of five major tasks. Brief descriptions of the five tasks are given.

Mostafa, A. A.↗

NASA NTRS2002

Program Model Checking as a New Trend

This paper introduces a special section of STTT (International Journal on Software Tools for Technology Transfer) containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - September 1, 2000. The workshop was named SPIN Model Checking and Software Verification, with an emphasis on model checking of programs. The paper outlines the motivation for stressing software verification, rather than only design and model verification, by presenting the work done in the Automated Software Engineering group at NASA Ames Research Center within the last 5 years. This includes work in software model checking, testing like technologies and static analysis.

Havelund, Klaus↗

NASA NTRS1991

The benchmark aeroelastic models program: Description and highlights of initial results

An experimental effort was implemented in aeroelasticity called the Benchmark Models Program. The primary purpose of this program is to provide the necessary data to evaluate computational fluid dynamic codes for aeroelastic analysis. It also focuses on increasing the understanding of the physics of unsteady flows and providing data for empirical design. An overview is given of this program and some results obtained in the initial tests are highlighted. The tests that were completed include measurement of unsteady pressures during flutter of rigid wing with a NACA 0012 airfoil section and dynamic response measurements of a flexible rectangular wing with a thick circular arc airfoil undergoing shock boundary layer oscillations.

Bennett, Robert M.↗