Search NASA⌕ Search

SEARCH · Search NASA

Results for “programming model specification”

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 127 records · Page 7

Structural analysis methods development for turbine hot section components

This paper summarizes the structural analysis technologies and activities of the NASA Lewis Research Center's gas turbine engine Hot Section Technology (HOST) program. The technologies synergistically developed and validated include: mechanical load models; component-specific automated geometric modeling and solution strategy capabilities; advanced inelastic analysis methods; inelastic constitutive models; high-temperature experimental techniques and experiments; and nonlinear structural analysis codes. Features of the program that incorporate the new technologies and their application to hot section component analysis and design are described. Improved and, in some cases, first-time three-dimensional non-linear structural analyses of hot section components of isotropic and anisotropic nickel-base superalloys are presented.

R L Thompson↗

Performance portable ice-sheet modeling with MALI

High-resolution simulations of polar ice sheets play a crucial role in the ongoing effort to develop more accurate and reliable Earth system models for probabilistic sea-level projections. These simulations often require a massive amount of memory and computation from large supercomputing clusters to provide sufficient accuracy and resolution; therefore, it has become essential to ensure performance on these platforms. Many of today’s supercomputers contain a diverse set of computing architectures and require specific programming interfaces in order to obtain optimal efficiency. In an effort to avoid architecture-specific programming and maintain productivity across platforms, the ice-sheet modeling code known as MPAS-Albany Land Ice (MALI) uses high-level abstractions to integrate Trilinos libraries and the Kokkos programming model for performance portable code across a variety of different architectures. In this article, we analyze the performance portable features of MALI via a performance analysis on current CPU-based and GPU-based supercomputers. The analysis highlights not only the performance portable improvements made in finite element assembly and multigrid preconditioning within MALI with speedups between 1.26 and 1.82x across CPU and GPU architectures but also identifies the need to further improve performance in software coupling and preconditioning on GPUs. We perform a weak scalability study and show that simulations on GPU-based machines perform 1.24–1.92x faster when utilizing the GPUs. The best performance is found in finite element assembly, which achieved a speedup of up to 8.65x and a weak scaling efficiency of 82.6% with GPUs. We additionally describe an automated performance testing framework developed for this code base using a changepoint detection method. The framework is used to make actionable decisions about performance within MALI. We provide several concrete examples of scenarios in which the framework has identified performance regressions, improvements, and algorithm differences over the course of 2 years of development.

54 ENVIRONMENTAL SCIENCES↗

ACES program - Lessons learned

The ACES Program involved the experimental evaluation of three LSS (large space structures) control design techniques at the LSS GTF (ground test facility) at NASA/MSFC. The three techniques were developed under the ACOSS (active control of space structures) Program specifically for application to LSS. The techniques included FAMESS (filter accommodated model error sensitivity suppression), HAC/LAC (high authority control/low authority control), and positivity. Some of the lessons that have been learned during the course of the ACES program are examined.

Jones, Victoria L.↗

Review of the MeMoSeE Lunar Meteoroid Ejecta Model

The NASA Engineering and Safety Center (NESC) Lunar Meteoroid Ejecta Model Review assessment team was tasked with reviewing the proposed lunar ejecta model Meteoroid Model of Secondary Ejecta (MeMoSeE), developed at Marshall Space Flight Center, and to review the model inputs to the SLS-SPEC-159 Cross-Program Design Specification for Natural Environments document to be used by NASA’s Exploration Systems Development and Artemis Programs for future lunar surface system design. This report contains the outcome of the NESC assessment.

Meteoroid Model of Secondary Ejecta↗

Theoretical studies of solar pumped lasers

One concept for collecting solar energy is to use large solar collectors and then use lasers as energy converters whose output beams act as transmission lines to deliver the energy to a destination. The efficiency of the process would be improved if the conversion could be done directly using solar pumped lasers, and the possibility of making such lasers is studied. There are many applications for such lasers, and these are examined. By including the applications first, the requirements for the lasers will be more evident. They are especially applicable to the Space program, and include cases where no other methods of delivering power seem possible. Using the lasers for conveying information and surveillance is also discussed. Many difficulties confront the designer of an efficient system for power conversion. These involve the nature of the solar spectrum, the method of absorbing the energy, the transfer of power into laser beams, and finally, the far field patterns of the beams. The requirements of the lasers are discussed. Specific laser configurations are discussed. The thrust is into gas laser systems, because for space applications, the laser could be large, and also the medium would be uniform and not subject to thermal stresses. Dye and solid lasers are treated briefly. For gas lasers, a chart of the various possibilities is shown, and the various families of gas lasers divided according to the mechanisms of absorbing solar radiation and of lasing. Several specific models are analyzed and evaluated. Overall conclusions for the program are summarized, and the performances of the lasers related to the requirements of various applications.

Harries, Wynford L.↗

NASA/JSC orbital debris models

The orbital debris models developed within the framework of the NASA Johnson Space Center's (JSC's) orbital debris program, are categorized as environment definition and risk assessment models. The EVOLVE, CHAIN and the orbital debris engineering model 1996 (ORDEM96) computer programs determine the past, present and future orbital particulate environment, while the BUMPER and debris assessment software (DAS) computer programs provide a means for evaluating the risks of specific space missions. These models are presented. To support these models and to conduct specialized analyses, NASA/JSC employs a range of auxiliary models, including explosion and collision satellite breakup models, hypervelocity impact ballistic limit models, orbit propagation and decay models, space traffic models and solid rocket motor effluent models.

Johnson, Nicholas↗

Systems cost/performance analysis (study 2.3). Volume 3: Programmer's manual and user's guide

The systems cost/performance model was implemented as a digital computer program to perform initial program planning, cost/performance tradeoffs, and sensitivity analyses. The computer is described along with the operating environment in which the program was written and checked, the program specifications such as discussions of logic and computational flow, the different subsystem models involved in the design of the spacecraft, and routines involved in the nondesign area such as costing and scheduling of the design. Preliminary results for the DSCS-II design are also included.

Janz, R. F.↗

E3SMFC

SAND2025-01123O E3SMFC is a software tool that integrates a feedback controller algorithm into the E3SM climate model to regulate sulfur dioxide injection, aiming to achieve specific climate outcomes. The program uses proportional-integral-derivative feedback control to adjusts sulfur dioxide levels in both spatial and temporal dimensions. It will only operate on computers that can run the DOE climate model E3SM. Sandia National Laboratories is a multimission laboratory managed and operated by National Technology & Engineering Solutions of Sandia, LLC, a wholly owned subsidiary of Honeywell International Inc., for the U.S. Department of Energy's National Nuclear Security Administration under contract DE-NA0003525.

Ojetola, Samuel↗

Hypersonic shock-interaction phenomena applicable to space shuttle configurations

The convective heat transfer distribution for space shuttle configurations is discussed. The viscous/inviscid interactions associated with the complex three dimensional flow fields are examined. Two basic conditions are considered as follows: (1) models consisting of basic elemental combinations and (2) models of specific flight vehicles. The test facilities and test programs used to obtain data on the fuselage flow field and the wing flow field are described.

Bertin, J. J.↗

Proceedings of the Workshop on Government Oil Spill Modeling

Oil spill model users and modelers were brought together for the purpose of fostering joint communication and increasing understanding of mutual problems. The workshop concentrated on defining user needs, presentations on ongoing modeling programs, and discussions of supporting research for these modeling efforts. Specific user recommendations include the development of an oil spill model user library which identifies and describes available models. The development of models for the long-term fate and effect of spilled oil was examined.

Bishop, J. M.↗

Space Physics Data Facility Web Services

The Space Physics Data Facility (SPDF) Web services provides a distributed programming interface to a portion of the SPDF software. (A general description of Web services is available at http://www.w3.org/ and in many current software-engineering texts and articles focused on distributed programming.) The SPDF Web services distributed programming interface enables additional collaboration and integration of the SPDF software system with other software systems, in furtherance of the SPDF mission to lead collaborative efforts in the collection and utilization of space physics data and mathematical models. This programming interface conforms to all applicable Web services specifications of the World Wide Web Consortium. The interface is specified by a Web Services Description Language (WSDL) file. The SPDF Web services software consists of the following components: 1) A server program for implementation of the Web services; and 2) A software developer s kit that consists of a WSDL file, a less formal description of the interface, a Java class library (which further eases development of Java-based client software), and Java source code for an example client program that illustrates the use of the interface.

Candey, Robert M.↗

Object Oriented Modeling and Design

The Object Oriented Modeling and Design seminar is intended for software professionals and students, it covers the concepts and a language-independent graphical notation that can be used to analyze problem requirements, and design a solution to the problem. The seminar discusses the three kinds of object-oriented models class, state, and interaction. The class model represents the static structure of a system, the state model describes the aspects of a system that change over time as well as control behavior and the interaction model describes how objects collaborate to achieve overall results. Existing knowledge of object oriented programming may benefit the learning of modeling and good design. Specific expectations are: Create a class model, Read, recognize, and describe a class model, Describe association and link, Show abstract classes used with multiple inheritance, Explain metadata, reification and constraints, Group classes into a package, Read, recognize, and describe a state model, Explain states and transitions, Read, recognize, and describe interaction model, Explain Use cases and use case relationships, Show concurrency in activity diagram, Object interactions in sequence diagram.

Shaykhian, Gholam Ali↗

Towards automated support for extraction of reusable components

A cost effective introduction of software reuse techniques requires the reuse of existing software developed in many cases without aiming at reusability. This paper discusses the problems related to the analysis and reengineering of existing software in order to reuse it. We introduce a process model for component extraction and focus on the problem of analyzing and qualifying software components which are candidates for reuse. A prototype tool for supporting the extraction of reusable components is presented. One of the components of this tool aids in understanding programs and is based on the functional model of correctness. It can assist software engineers in the process of finding correct formal specifications for programs. A detailed description of this component and an example to demonstrate a possible operational scenario are given.

Abd-El-hafiz, S. K.↗

Towards automated support for extraction of reusable components

A cost effective introduction of software reuse techniques requires the reuse of existing software developed in many cases without aiming at reusability. This paper discusses the problems related to the analysis and reengineering of existing software in order to reuse it. We introduce a process model for component extraction and focus on the problem of analyzing and qualifying software components which are candidates for reuse. A prototype tool for supporting the extraction of reusable components is presented. One of the components of this tool aids in understanding programs and is based on the functional model of correctness. It can assist software engineers in the process of finding correct formal specifications for programs. A detailed description of this component and an example to demonstrate a possible operational scenario are given.

Abd-El-hafiz, S. K.↗

Life prediction and constitutive models for engine hot section anisotropic materials program

This report presents a summary of results from a 7 year program designed to develop generic constitutive and life prediction approaches and models for nickel-based single crystal gas turbine airfoils. The program was composed of a base program and an optional program. The base program addressed the high temperature coated single crystal regime above the airfoil root platform. The optional program investigated the low temperature uncoated single crystal regime below the airfoil root platform including the notched conditions of the airfoil attachment. Both base and option programs involved experimental and analytical efforts. Results from uniaxial constitutive and fatigue life experiments of coated and uncoated PWA 1480 single crystal material formed the basis for the analytical modeling effort. Four single crystal primary orientations were used in the experiments: group of zone axes (001), group of zone axes (011), group of zone axes (111), and group of zone axes (213). Specific secondary orientations were also selected for the notched experiments in the optional program. Constitutive models for an overlay coating and PWA 1480 single crystal materials were developed based on isothermal hysteresis loop data and verified using thermomechanical (TMF) hysteresis loop data. A fatigue life approach and life models were developed for TMF crack initiation of coated PWA 1480. A life model was developed for smooth and notched fatigue in the option program. Finally, computer software incorporating the overlay coating and PWA 1480 constitutive and life models was developed.

Nissley, D. M.↗

KokkACC: Enhancing Kokkos with OpenACC

Template metaprogramming is gaining popularity as a high-level solution for achieving performance portability on heterogeneous computing resources. Kokkos is a representative approach that offers programmers high-level abstractions for generic programming while most of the device-specific code generation and optimizations are delegated to the compiler through template specializations. For this, Kokkos provides a set of device-specific code specializations in multiple back ends, such as CUDA and HIP. Unlike CUDA or HIP, OpenACC is a high-level and directive-based programming model. This descriptive model allows developers to insert hints (pragmas) into their code that help the compiler to parallelize the code. The compiler is responsible for the transformation of the code, which is completely transparent to the programmer. This paper presents an OpenACC back end for Kokkos: KokkACC. As an alternative to Kokkos’s existing device-specific back ends, KokkACC is a multi-architecture back end providing a high-productivity programming environment enabled by OpenACC’s high-level and descriptive programming model. Moreover, we have observed competitive performance; in some cases, KokkACC is faster (up to 9×) than NVIDIA’s CUDA back end and much faster than OpenMP’s GPU offloading back end. This work also includes implementation details and a detailed performance study conducted with a set of mini-benchmarks (AXPY and DOT product) and three mini-apps (LULESH, miniFE and SNAP, a LAMMPS proxy mini-app).

Valero Lara, Pedro↗

ASSIST user manual

Semi-Markov models can be used to analyze the reliability of virtually any fault-tolerant system. However, the process of delineating all the states and transitions in a complex system model can be devastatingly tedious and error prone. The Abstract Semi-Markov Specification Interface to the SURE Tool (ASSIST) computer program allows the user to describe the semi-Markov model in a high-level language. Instead of listing the individual model states, the user specifies the rules governing the behavior of the system, and these are used to generate the model automatically. A few statements in the abstract language can describe a very large, complex model. Because no assumptions are made about the system being modeled, ASSIST can be used to generate models describing the behavior of any system. The ASSIST program and its input language are described and illustrated by examples.

Johnson, Sally C.↗