Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “program ordering”

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 199 records · Page 11
All sourcesNASA NTRSDOE OSTI
NASA NTRS1986

Galileo Li/SO sub 2 battery modules program update

In order to meet the power needs of NASA's Galileo Probe, the Li/SO2 high rate D cells used in the battery modules have undergone some design changes, as upgrading of hardware quality requirements, and significant testing. A description of the design changes and the cell test data that are of a general nature is presented here. This data includes capacities, open circuit voltages, and internal resistance comparisons. A significant data base was built up over the years and continues to grow.

Smith, R. A.↗
NASA NTRS1990

Automatic blocking of nested loops

Blocked algorithms have much better properties of data locality and therefore can be much more efficient than ordinary algorithms when a memory hierarchy is involved. On the other hand, they are very difficult to write and to tune for particular machines. The reorganization is considered of nested loops through the use of known program transformations in order to create blocked algorithms automatically. The program transformations used are strip mining, loop interchange, and a variant of loop skewing in which invertible linear transformations (with integer coordinates) of the loop indices are allowed. Some problems are solved concerning the optimal application of these transformations. It is shown, in a very general setting, how to choose a nearly optimal set of transformed indices. It is then shown, in one particular but rather frequently occurring situation, how to choose an optimal set of block sizes.

Schreiber, Robert↗
NASA NTRS2011

Space Shuttle Ascent Flight Design Process: Evolution and Lessons Learned

The Space Shuttle Ascent Flight Design team is responsible for defining a launch to orbit trajectory profile that satisfies all programmatic mission objectives and defines the ground and onboard reconfiguration requirements for this high-speed and demanding flight phase. This design, verification and reconfiguration process ensures that all applicable mission scenarios are enveloped within integrated vehicle and spacecraft certification constraints and criteria, and includes the design of the nominal ascent profile and trajectory profiles for both uphill and ground-to-ground aborts. The team also develops a wide array of associated training, avionics flight software verification, onboard crew and operations facility products. These key ground and onboard products provide the ultimate users and operators the necessary insight and situational awareness for trajectory dynamics, performance and event sequences, abort mode boundaries and moding, flight performance and impact predictions for launch vehicle stages for use in range safety, and flight software performance. These products also provide the necessary insight to or reconfiguration of communications and tracking systems, launch collision avoidance requirements, and day of launch crew targeting and onboard guidance, navigation and flight control updates that incorporate the final vehicle configuration and environment conditions for the mission. Over the course of the Space Shuttle Program, ascent trajectory design and mission planning has evolved in order to improve program flexibility and reduce cost, while maintaining outstanding data quality. Along the way, the team has implemented innovative solutions and technologies in order to overcome significant challenges. A number of these solutions may have applicability to future human spaceflight programs.

Picka, Bret A.↗
NASA NTRS1979

Safety, reliability, maintainability and quality provisions for the Space Shuttle program

This publication establishes common safety, reliability, maintainability and quality provisions for the Space Shuttle Program. NASA Centers shall use this publication both as the basis for negotiating safety, reliability, maintainability and quality requirements with Shuttle Program contractors and as the guideline for conduct of program safety, reliability, maintainability and quality activities at the Centers. Centers shall assure that applicable provisions of the publication are imposed in lower tier contracts. Centers shall give due regard to other Space Shuttle Program planning in order to provide an integrated total Space Shuttle Program activity. In the implementation of safety, reliability, maintainability and quality activities, consideration shall be given to hardware complexity, supplier experience, state of hardware development, unit cost, and hardware use. The approach and methods for contractor implementation shall be described in the contractors safety, reliability, maintainability and quality plans. This publication incorporates provisions of NASA documents: NHB 1700.1 'NASA Safety Manual, Vol. 1'; NHB 5300.4(IA), 'Reliability Program Provisions for Aeronautical and Space System Contractors'; and NHB 5300.4(1B), 'Quality Program Provisions for Aeronautical and Space System Contractors'. It has been tailored from the above documents based on experience in other programs. It is intended that this publication be reviewed and revised, as appropriate, to reflect new experience and to assure continuing viability.

M S Malkin↗
NASA NTRS1983

Interactive Graphics Analysis for Aircraft Design

Program uses higher-order far field drag minimization. Computer program WDES WDEM preliminary aerodynamic design tool for one or two interacting, subsonic lifting surfaces. Subcritical wing design code employs higher-order far-field drag minimization technique. Linearized aerodynamic theory used. Program written in FORTRAN IV.

Townsend, J. C.↗
NASA NTRS1975

Programming language for computations in the Interkosmos program

The programming system for Intercosmos data processing, based on the structural programming theory, which considers a program as an ordered set of standardized elementary parts, from which the user programs are automatically generated, is described. The programs are comprised of several modules, which are briefly summarized. The general structure of the programming system is presented in a block diagram. A programming control language developed to formulate the problem quickly and completely is presented along with basic symbols which are characteristic of the Intercosmos programming system.

Schmidt, K.↗
NASA NTRS1991

A Dynamic Failure Model for Predicting the Impact that a Program Location has on the Program

This paper presents a dynamic technique for predicting the effect that a "location" of a program will have on the program's computational behavior. The technique is based on the three necessary and sufficient conditions for software failure to occur: (1) a fault must be executed, (2) the fault must adversely affect the data state, and (3) the adverse effect in a data state must affect program output. In order to predict the effect that a location of a program will have on the program's computational behavior, the following characteristics of each program location are estimated: (1) the probability that a location of the program is executed, (2) the probability that a location of the program noticeably affects the program state created by the location, and (3) the probability that the data states created by a location affect the program's output. With estimates of these characteristics for each location in a program, we can predict those locations where a fault can more easily remain undetected during testing, as well as predict the degree of testing necessary to be convinced that a fault is not remaining undetected in a particular location.

Voas, Jeffrey↗
NASA NTRS1985

Interactive software for spectral assignment

A new interactive computer software package for eigenvalue/eigenvector assignment using constant state feedback is described. The package consists of ten subprograms, each associated with a specific design objective, accessible from a main control program. Using this package, primary design objectives of assigning eigenvalues and approximating eigenvectors are first achieved. Then secondary design objectives, including modification of specific eigenvector components, reduction in specified elements of the feedback gain matrix, and reduction in eigensystem sensitivity to changes in plant parameters, are addressed. These secondary objectives are achieved by a systematic modification of the assigned eigenvectors in a small region about the initial assignment. In addition, the program implements the use of spectral assignment procedures with reduced-order system models. Program modes are described and illustrated by numerical examples.

Mielke, R. R.↗
NASA NTRS1979

SOFIP: A Short Orbital Flux Integration Program

A computer code was developed to evaluate the space radiation environment encountered by geocentric satellites. The Short Orbital Flux Integration Program (SOFIP) is a compact routine of modular compositions, designed mostly with structured programming techniques in order to provide core and time economy and ease of use. The program in its simplest form produces for a given input trajectory a composite integral orbital spectrum of either protons or electrons. Additional features are available separately or in combination with the inclusion of the corresponding (optional) modules. The code is described in detail, and the function and usage of the various modules are explained. A program listing and sample outputs are attached.

Stassinopoulos, E. G.↗
NASA NTRS1988

Higher order sensitivity of solutions to convex programming problems without strict complementarity

Consideration is given to a family of convex programming problems which depend on a vector parameter. It is shown that the solutions of the problems and the associated Lagrange multipliers are arbitrarily many times directionally differentiable functions of the parameter, provided that the data of the problems are sufficiently regular. The characterizations of the respective derivatives are given.

Malanowski, Kazimierz↗
NASA NTRS1995

A visiting scientist program for the burst and transient source experiment

During this project, Universities Space Research Association provided program management and the administration for overseeing the performance of the total contractual effort. The program director and administrative staff provided the expertise and experience needed to efficiently manage the program.USRA provided a program coordinator and v visiting scientists to perform scientific research with Burst and Transient Source Experiment (BATSE) data. This research was associated with the primary scientific objectives of BATSE and with the various BATSE collaborations which were formed in response to the Compton Gamma Ray Observatory Guest Investigator Program. USRA provided administration for workshops, colloquia, the preparation of scientific documentation, etc. and also provided flexible program support in order to meet the on-going needs of MSFC's BATSE program. USRA performed tasks associated with the recovery, archiving, and processing of scientific data from BATSE. A bibliography of research in the astrophysics discipline is attached as Appendix 1. Visiting Scientists and Research Associates performed activities on this project, and their technical reports are attached as Appendix 2.

Kerr, Frank J.↗
NASA NTRS2000

Model Checking JAVA Programs Using Java Pathfinder

This paper describes a translator called JAVA PATHFINDER from JAVA to PROMELA, the "programming language" of the SPIN model checker. The purpose is to establish a framework for verification and debugging of JAVA programs based on model checking. This work should be seen in a broader attempt to make formal methods applicable "in the loop" of programming within NASA's areas such as space, aviation, and robotics. Our main goal is to create automated formal methods such that programmers themselves can apply these in their daily work (in the loop) without the need for specialists to manually reformulate a program into a different notation in order to analyze the program. This work is a continuation of an effort to formally verify, using SPIN, a multi-threaded operating system programmed in Lisp for the Deep-Space 1 spacecraft, and of previous work in applying existing model checkers and theorem provers to real applications.

Havelund, Klaus↗
NASA NTRS1999

Java PathFinder User Guide

The JAVA PATHFINDER, JPF, is a translator from a subset of JAVA 1.0 to PROMELA, the programming language of the SPIN model checker. The purpose of JPF is to establish a framework for verification and debugging of JAVA programming based on model checking. The main goal is to automate program verification such that a programmer can apply it in the daily work without the need for a specialist to manually reformulate a program into a different notation in order to analyze the program. The system is especially suited for analyzing multi-threaded JAVA applications, where normal testing usually falls short. The system can find deadlocks and violations of boolean assertions stated by the programmer in a special assertion language. This document explains how to Use JPF.

Havelund, Klaus↗
NASA NTRS2016

NASA Phase2 Unlimited Rights Final Report Research and Technology for Aerospace Propulsion Systems (RTAPS) Task Order: ERA Advanced Core Compressor Technology Program

As part of the NASA Integrated Systems Research Program (ISRP), Environmentally Responsible Aviation (ERA) Project, NASA GRC and GE Aviation have partnered to investigate the technology barriers associated with improved fuel economy of large gas turbine engines. Crucial to improving fuel economy is the increase in pressure ratio (PR) of the core high pressure compressor (HPC). A key enabler to increasing HPC pressure ratios are new technology front stage airfoil designs that have higher efficiency, higher pressure ratios and improvements in front stage part-power operability. The purpose of this work is to design and test two high pressure ratio, high efficiency front block designs. The baseline design, hereafter referred to as Build 1, is similar to what would be found in a high efficiency 30:1 PR class HPC. A redesigned front block with improved blading will also be tested and hereafter be referred to as Build 2. The goal of Build 2 is to increase stage aero loading (increase stage pressure ratio) beyond Build 1 while maintaining equivalent efficiency and stall margin. The detailed inter-stage and traverse data from the two builds will be used to improve understanding of the complex flow physics at high-speed and part-speed conditions that impact performance and operability. By addressing, understanding and solving the challenges associated with aerodynamic losses and stage matching better design strategies can be incorporated in future core compressors with higher efficiency, thereby enabling improvement in mission fuel burn while still meeting operability requirements.

Axial Compressors↗
DOE OSTI2023

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

Space station systems analysis study. Part 2, Volume 3: Appendixes, Book 1. Program requirements documentation

The objective elements representative of the kinds of space activities that will be supported by the space construction base (SCB) are discussed in (1) a brief mission overview including the primary purpose and general objectives; (2) descriptions of the processes involved (where applicable), the mission hardware, the principal activities to be undertaken, the test requirements, and the principal tests; and (3) the SCB requirements including such items as special devices (e.g., fabrication modules, assembly or construction fixtures, cranes, and airlocks), power, data management and communications, waste management, environmental control, safety, and logistics. Each program option is then described in terms of the objective elements it supports, its orbit, the general makeup of the SCB, the transportation approach, and the program schedule goals. The specific requirements that are imposed on the SCB in order to support program option L are given.

Source record↗
NASA NTRS1988

Development of a Pioneer Venus expert scheduling system

An Expert System has been developed to perform a substantial part of the science planning for NASA's Pioneer Venus spacecraft. The program performs functions that have been traditionally performed by operations personnel ('orbit builders'), and attempts to directly duplicate their methods and techniques. Output from the program is formatted to correspond to the previously hand-generated worksheets, in order to ease program validation as well as operator acceptance. Pioneer Venus mission operations are described in detail followed by a description of the expert system implementation.

Rosenthal, Donald A.↗