Search NASA⌕ Search

SEARCH · Search NASA

Results for “programming models”

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 109 records · Page 6
All sourcesNASA NTRSDOE OSTI
NASA NTRS1991

Building flexible real-time systems using the Flex language

The design and implementation of a real-time programming language called Flex, which is a derivative of C++, are presented. It is shown how different types of timing requirements might be expressed and enforced in Flex, how they might be fulfilled in a flexible way using different program models, and how the programming environment can help in making binding and scheduling decisions. The timing constraint primitives in Flex are easy to use yet powerful enough to define both independent and relative timing constraints. Program models like imprecise computation and performance polymorphism can carry out flexible real-time programs. In addition, programmers can use a performance measurement tool that produces statistically correct timing models to predict the expected execution time of a program and to help make binding decisions. A real-time programming environment is also presented.

Kenny, Kevin B.↗
NASA NTRS1986

Display system software for the integration of an ADAGE 3000 programmable display generator into the solid modeling package C.A.D. software

A software system that integrates an ADAGE 3000 Programmable Display Generator into a C.A.D. software package known as the Solid Modeling Program is described. The Solid Modeling Program (SMP) is an interactive program that is used to model complex solid object through the composition of primitive geomeentities. In addition, SMP provides extensive facilities for model editing and display. The ADAGE 3000 Programmable Display Generator (PDG) is a color, raster scan, programmable display generator with a 32-bit bit-slice, bipolar microprocessor (BPS). The modularity of the system architecture and the width and speed of the system bus allow for additional co-processors in the system. These co-processors combine to provide efficient operations on and rendering of graphics entities. The resulting software system takes advantage of the graphics capabilities of the PDG in the operation of SMP by distributing its processing modules between the host and the PDG. Initially, the target host computer was a PRIME 850, which was later substituted with a VAX-11/785. Two versions of the software system were developed, a phase 1 and a phase 2. In phase 1, the ADAGE 3000 is used as a frame buffer. In phase II, SMP was functionally partitioned and some of its functions were implemented in the ADAGE 3000 by means of ADAGE's SOLID 3000 software package.

Montoya, R. J.↗
NASA NTRS1997

NASA's Upper Atmosphere Research Program UARP and Atmospheric Chemistry Modeling and Analysis Program (ACMAP): Research Summaries 1994 - 1996. Report to Congress and the Environmental Protection Agency

Under the mandate contained in the FY 1976 NASA Authorization Act, the National Aeronautics and Space Administration (NASA) has developed and is implementing a comprehensive program of research, technology, and monitoring of the Earth's upper atmosphere, with emphasis on the stratosphere. This program aims at expanding our understanding to permit both the quantitative analysis of current perturbations as well as the assessment of possible future changes in this important region of our environment. It is carried out jointly by the Upper Atmosphere Research Program (UARP) and the Atmospheric Chemistry Modeling and Analysis Program (ACMAP), both managed within the Science Division in the Office of Mission to Planet Earth at NASA. Significant contributions to this effort are also provided by the Atmospheric Effects of Aviation Project (AEAP) of NASA's Office of Aeronautics. The long-term objectives of the present program are to perform research to: understand the physics, chemistry, and transport processes of the upper atmosphere and their effect on the distribution of chemical species in the stratosphere, such as ozone; understand the relationship of the trace constituent composition of the lower stratosphere and the lower troposphere to the radiative balance and temperature distribution of the Earth's atmosphere; and accurately assess possible perturbations of the upper atmosphere caused by human activities as well as by natural phenomena. In compliance with the Clean Air Act Amendments of 1990, Public Law 101-549, NASA has prepared a report on the state of our knowledge of the Earth's upper atmosphere, particularly the stratosphere, and on the progress of UARP and ACMAP. The report for the year 1996 is composed of two parts. Part 1 summarizes the objectives, status, and accomplishments of the research tasks supported under NASA UARP and ACMAP in a document entitled, Research Summary 1994-1996. Part 2 is entitled Present State of Knowledge of the Upper Atmosphere 1996.- An Assessment Report. It consists primarily of the Executive Summary and Chapter Summaries of the World Meteorological Organization Global Ozone Research and Monitoring Project Report No. 37, Scientific Assessment of Ozone Depletion: 1994, sponsored by NASA, the National Oceanic and Atmospheric Administration (NOAA), the UK Department of the Environment, the United Nations Environment Program, and the World Meteorological Organization. Other sections of Part 11 include summaries of the following: an Atmospheric Ozone Research Plan from NASA's Office of Mission to Planet Earth; summaries from a series of Space Shuttle-based missions and two recent airborne measurement campaigns; the Executive Summary of the 1995 Scientific Assessment of the Atmospheric Effects of Stratospheric Aircraft, and the most recent evaluation of photochemical and chemical kinetics data (Evaluation No. 12 of the NASA Panel for Data Evaluation) used as input parameters for atmospheric models.

Kendall, Rose↗
NASA NTRS2000

NASA's Upper Atmosphere Research Program (UARP) and Atmospheric Chemistry Modeling and Analysis Program (ACMAP): Research Summaries 1997-1999

Under the mandate contained in the FY 1976 NASA Authorization Act, the National Aeronautics and Space Administration (NASA) has developed and is implementing a comprehensive program of research, technology development, and monitoring of the Earth's upper atmosphere, with emphasis on the upper troposphere and stratosphere. This program aims at expanding our chemical and physical understanding to permit both the quantitative analysis of current perturbations as well as the assessment of possible future changes in this important region of our environment. It is carried out jointly by the Upper Atmosphere Research Program (UARP) and the Atmospheric Chemistry Modeling and Analysis Program (ACMAP), both managed within the Research Division in the Office of Earth Science at NASA. Significant contributions to this effort have also been provided by the Atmospheric Effects of Aviation Project (AEAP) of NASA's Office of Aero-Space Technology. The long-term objectives of the present program are to perform research to: understand the physics, chemistry, and transport processes of the upper troposphere and the stratosphere and their control on the distribution of atmospheric chemical species such as ozone; assess possible perturbations to the composition of the atmosphere caused by human activities and natural phenomena (with a specific emphasis on trace gas geographical distributions, sources, and sinks and the role of trace gases in defining the chemical composition of the upper atmosphere); understand the processes affecting the distributions of radiatively active species in the atmosphere, and the importance of chemical-radiative-dynamical feedbacks on the meteorology and climatology of the stratosphere and troposphere; and understand ozone production, loss, and recovery in an atmosphere with increasing abundances of greenhouse gases. The current report is composed of two parts. Part 1 summarizes the objectives, status, and accomplishments of the research tasks supported under NASA UARP and ACMAP in a document entitled, Research Summaries 1997- 1999. Part 2 is entitled Present State of Knowledge of the Upper Atmosphere 1999 An Assessment Report.

Kurylo, M. J.↗
NASA NTRS1999

Unifying Model-Based and Reactive Programming within a Model-Based Executive

Real-time, model-based, deduction has recently emerged as a vital component in AI's tool box for developing highly autonomous reactive systems. Yet one of the current hurdles towards developing model-based reactive systems is the number of methods simultaneously employed, and their corresponding melange of programming and modeling languages. This paper offers an important step towards unification. We introduce RMPL, a rich modeling language that combines probabilistic, constraint-based modeling with reactive programming constructs, while offering a simple semantics in terms of hidden state Markov processes. We introduce probabilistic, hierarchical constraint automata (PHCA), which allow Markov processes to be expressed in a compact representation that preserves the modularity of RMPL programs. Finally, a model-based executive, called Reactive Burton is described that exploits this compact encoding to perform efficIent simulation, belief state update and control sequence generation.

Williams, Brian C.↗
DOE OSTI2024

Large language model evaluation for high–performance computing software development

We apply AI-assisted large language model (LLM) capabilities of GPT-3 targeting high-performance computing (HPC) kernels for (i) code generation, and (ii) auto-parallelization of serial code in C ++, Fortran, Python and Julia. Our scope includes the following fundamental numerical kernels: AXPY, GEMV, GEMM, SpMV, Jacobi Stencil, and CG, and language/programming models: (1) C++ (e.g., OpenMP [including offload], OpenACC, Kokkos, SyCL, CUDA, and HIP), (2) Fortran (e.g., OpenMP [including offload] and OpenACC), (3) Python (e.g., numpy, Numba, cuPy, and pyCUDA), and (4) Julia (e.g., Threads, CUDA.jl, AMDGPU.jl, and KernelAbstractions.jl). Kernel implementations are generated using GitHub Copilot capabilities powered by the GPT-based OpenAI Codex available in Visual Studio Code given simple + + prompt variants. To quantify and compare the generated results, we propose a proficiency metric around the initial 10 suggestions given for each prompt. For auto-parallelization, we use ChatGPT interactively giving simple prompts as in a dialogue with another human including simple “prompt engineering” follow ups. Results suggest that correct outputs for C++ correlate with the adoption and maturity of programming models. For example, OpenMP and CUDA score really high, whereas HIP is still lacking. We found that prompts from either a targeted language such as Fortran or the more general-purpose Python can benefit from adding language keywords, while Julia prompts perform acceptably well for its Threads and CUDA.jl programming models. Finally, we expect to provide an initial quantifiable point of reference for code generation in each programming model using a state-of-the-art LLM. Overall, understanding the convergence of LLMs, AI, and HPC is crucial due to its rapidly evolving nature and how it is redefining human-computer interactions.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1995

Flow-aligned jets in the magnetospheric cusp: Results from the Geospace Environment Modeling Pilot program

The extended flight of the Airborne Ionospheric Observatory during the Geospace Environment Modeling (GEM) Pilot program on January 16, 1990, allowed continuous all-sky monitoring of the two-dimensional ionospheric footprint of the northward interplanetary magnetic field (IMF) cusp in several wavelengths. Especially important in determining the locus of magnetosheath electron precipitation was the 630.0-nm red line emission. The most striking morphological change in the images was the transient appearance of zonally elongated regions of enhanced 630.0-nm emission which resembled 'rays' emanating from the centroid of the precipitation. The appearance of these rays was strongly correlated with the Y component of the IMF: when the magnitude of B(sub y) was large compared to B(sub z), the rays appeared; otherwise, the distribution was relatively unstructured. Late in the flight the field of view of the imager included the field of view of flow measurements from the European incoherent scatter radar (EISCAT). The rays visible in 630.0-nm emission exactly aligned with the position of strong flow jets observed by EISCAT. We attribute this correspondence to the requirement of quasi-neutrality; namely, the soft electrons have their largest precipitating fluxes where the bulk of the ions precipitate. The ions, in regions of strong convective flow, are spread out farther along the flow path than in regions of weaker flow. The occurrence and direction of these flow bursts are controlled by the IMF in a manner consistent with newly opened flux tubes; i.e., when absolute value of B(sub y) greater than absolute value of B(sub z), tension in the reconnected field lines produce east-west flow regions downstream of the ionospheric projection of the x line. We interpret the optical rays (flow bursts), which typically last between 5 and 15 min, as evidence of periods of enhanced dayside (or lobe) reconnection when absolute value of B(sub y) greater than absolute value of B(sub z). The length of the reconnection pulse is difficult to determine, however, since strong zonal flows would be expected to persist until the tension force in the field line has decayed, even if the duration of the enhanced reconnection was relatively short.

Weiss, L. A.↗
DOE OSTI2024

Two-stage Stochastic Generalized Disjunctive Programming (GDP) Model for Proactive Planning and Reactive Operations of Resilient Power Systems under Disruptions

In this work, we propose a Generalized Disjunctive Programming (GDP) model that optimizes both long-term capacity planning (such as the number and size of dispatchable/renewable generators, batteries, and transmission lines) and hourly operation (such as on/off schedules of dispatchable generators, power output from each generator, and power flow) to maximize power system reliability while minimizing total cost and CO2 emissions.

Cho, Seolhee↗
NASA NTRS1998

A Generalized Fluid System Simulation Program to Model Flow Distribution in Fluid Networks

This paper describes a general purpose computer program for analyzing steady state and transient flow in a complex network. The program is capable of modeling phase changes, compressibility, mixture thermodynamics and external body forces such as gravity and centrifugal. The program's preprocessor allows the user to interactively develop a fluid network simulation consisting of nodes and branches. Mass, energy and specie conservation equations are solved at the nodes; the momentum conservation equations are solved in the branches. The program contains subroutines for computing "real fluid" thermodynamic and thermophysical properties for 33 fluids. The fluids are: helium, methane, neon, nitrogen, carbon monoxide, oxygen, argon, carbon dioxide, fluorine, hydrogen, parahydrogen, water, kerosene (RP-1), isobutane, butane, deuterium, ethane, ethylene, hydrogen sulfide, krypton, propane, xenon, R-11, R-12, R-22, R-32, R-123, R-124, R-125, R-134A, R-152A, nitrogen trifluoride and ammonia. The program also provides the options of using any incompressible fluid with constant density and viscosity or ideal gas. Seventeen different resistance/source options are provided for modeling momentum sources or sinks in the branches. These options include: pipe flow, flow through a restriction, non-circular duct, pipe flow with entrance and/or exit losses, thin sharp orifice, thick orifice, square edge reduction, square edge expansion, rotating annular duct, rotating radial duct, labyrinth seal, parallel plates, common fittings and valves, pump characteristics, pump power, valve with a given loss coefficient, and a Joule-Thompson device. The system of equations describing the fluid network is solved by a hybrid numerical method that is a combination of the Newton-Raphson and successive substitution methods. This paper also illustrates the application and verification of the code by comparison with Hardy Cross method for steady state flow and analytical solution for unsteady flow.

Majumdar, Alok↗
NASA NTRS1987

Comet thermal modeling

The past year was one of tremendous activity because of the appearance of Halley's Comet. Observations of the comet were collected from a number of sources and compared with the detailed predictions of the comet thermal modeling program. Spacecraft observations of key physical parameters for cometary nucleus were incorporated into the thermal model and new cases run. These results have led to a much better understanding of physical processes on the nucleus and have pointed the way for further improvements to the modeling program. A model for the large-scale structure of cometary nuclei was proposed in which comets were envisioned as loosely bound agglomerations of smaller icy planetesimals, essentially a rubble pile of primordial dirty snowballs. In addition, a study of the physical history of comets was begun, concentrating on processes during formation and in the Oort cloud which would alter the volatile and nonvolatile materials in cometary nuclei from their pristine state before formation.

Weissman, Paul R.↗
NASA NTRS1989

A model summer program for handicapped college students

During the summer of 1988, the Goddard Space Flight Center was the site of a new NASA project called A Model Summer Program for Handicapped College Students that was directed by Gallaudet University. The project's aim was to identify eight severely physically disabled college students (four from Gallaudet University and four from local historically black colleges and universities (HBCU's)) majoring in technical fields and to assign them technical projects related to aerospace which they would complete under the guidance of mentors who were full time employees of Goddard. A description of the program is presented.

Nissen, Anne B.↗
NASA NTRS1973

Ascent control analysis for S-II derivative launch vehicles, digital computer program

Model is used for analysis of the six degrees-of-freedom dynamics of general launch vehicle during atmospheric boost. Equations of motion are developed for rigid body and flat earth. Case may be started at any time beginning with ignition of stage and may be ended upon, or prior to, stage burnout. End of case may be at a specified time or based on propellant expended.

Andrews, P. D.↗
NASA NTRS1991

Modelling parallel programs and multiprocessor architectures with AXE

AXE, An Experimental Environment for Parallel Systems, was designed to model and simulate for parallel systems at the process level. It provides an integrated environment for specifying computation models, multiprocessor architectures, data collection, and performance visualization. AXE is being used at NASA-Ames for developing resource management strategies, parallel problem formulation, multiprocessor architectures, and operating system issues related to the High Performance Computing and Communications Program. AXE's simple, structured user-interface enables the user to model parallel programs and machines precisely and efficiently. Its quick turn-around time keeps the user interested and productive. AXE models multicomputers. The user may easily modify various architectural parameters including the number of sites, connection topologies, and overhead for operating system activities. Parallel computations in AXE are represented as collections of autonomous computing objects known as players. Their use and behavior is described. Performance data of the multiprocessor model can be observed on a color screen. These include CPU and message routing bottlenecks, and the dynamic status of the software.

Yan, Jerry C.↗
NASA NTRS1984

A modeling analysis program for the JPL Table Mountain Io sodium cloud data

The abundant Io sodium cloud data obtained at JPL Table Mountain was reviewed. Images of the sodium cloud important to this modeling analysis program are contained in the 1976-1979 data set and the 1981 data set. A preliminary assessment of the 263 images in the 1981 data set for Region B/C was initiated. The spatial morphology of some of these images revealed the presence of the forward sodium cloud (Region B) and the directional features (Region C) as expected. Plans for the second quarter to initiate preliminary modeling analysis and to define further data processing are discussed.

Smyth, W. H.↗