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 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
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↗
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.↗
NASA NTRS1997

An Arbitrary First Order Theory Can Be Represented by a Program: A Theorem

How can we represent knowledge inside a computer? For formalized knowledge, classical logic seems to be the most adequate tool. Classical logic is behind all formalisms of classical mathematics, and behind many formalisms used in Artificial Intelligence. There is only one serious problem with classical logic: due to the famous Godel's theorem, classical logic is algorithmically undecidable; as a result, when the knowledge is represented in the form of logical statements, it is very difficult to check whether, based on this statement, a given query is true or not. To make knowledge representations more algorithmic, a special field of logic programming was invented. An important portion of logic programming is algorithmically decidable. To cover knowledge that cannot be represented in this portion, several extensions of the decidable fragments have been proposed. In the spirit of logic programming, these extensions are usually introduced in such a way that even if a general algorithm is not available, good heuristic methods exist. It is important to check whether the already proposed extensions are sufficient, or further extensions is necessary. In the present paper, we show that one particular extension, namely, logic programming with classical negation, introduced by M. Gelfond and V. Lifschitz, can represent (in some reasonable sense) an arbitrary first order logical theory.

Hosheleva, Olga↗
NASA NTRS1998

Development of an Outreach Program for NASA: "NASA Ambassadors"

The NASA Ambassadors Program is designed to present the excitement and importance of NASA's programs to its customers, the general public. Those customers, which are identified in the "Science Communications Strategy" developed by the Space Sciences Laboratory at the MSFC, are divided into three categories: (1) Not interested and not knowledgeable; (2) Interested but not knowledgeable; and (3) Science attentive. In it they recognize that it makes the most sense to attempt to communicate with those described in the last two categories. However, their plan suggests that the media and the educational institutions are the only means of outreach. The NASA Ambassadors Program allows NASA to reach its target audience directly. Steps to be taken in order for the program to commence: (1) MSFC chooses to support the NASA Ambassadors Program - decision point; (2) Designate an "Office In Charge". (3) Assign the "Operation" phase to in-house MSFC personnel or to a contractor - decision point; (4) Name a point of contact; (5) Identify partners in the program and enlist their assistance; (6) Process an unsolicited proposal from an outside source to accomplish those tasks which MSFC chooses to out-source.

Lebo, George↗
NASA NTRS1976

Analytical evaluation of tilting proprotor wind tunnel test requirements

Specific test requirements related to the wind tunnel testing of the XV-15 advanced tilt rotor research aircraft were determined. The following analytical tools were developed: (1) digital simulation of the XV-15, incorporating a simplified tunnel support model, control system loop, measurement lags, gust disturbances, and sensor noise, (2) specialization of existing data analysis programs to the high order XV-15 dynamical model (transfer function program, a time series analysis program, an advanced maximum likelihood parameter identification program), (3) several auxiliary programs to provide estimates of damping from transfer functions as well as calculations of model decomposition of system response. The following results were discussed: (1) modelling of the aircraft, instrumentation, and controls, (2) results of the rotor/cantilever wing model and coupled wing, (3) examples of data prediction with system identification techniques, and (4) detailed conclusions and recommendations.

Hall, W. E., Jr.↗
NASA NTRS1990

Derivation of sorting programs

Program synthesis for critical applications has become a viable alternative to program verification. Nested resolution and its extension are used to synthesize a set of sorting programs from their first order logic specifications. A set of sorting programs, such as, naive sort, merge sort, and insertion sort, were successfully synthesized starting from the same set of specifications.

Varghese, Joseph↗
NASA NTRS1977

A second-order closure analysis of turbulent diffusion flames

A complete second-order closure computer program for the investigation of compressible, turbulent, reacting shear layers was developed. The equations for the means and the second order correlations were derived from the time-averaged Navier-Stokes equations and contain third order and higher order correlations, which have to be modeled in terms of the lower-order correlations to close the system of equations. In addition to fluid mechanical turbulence models and parameters used in previous studies of a variety of incompressible and compressible shear flows, a number of additional scalar correlations were modeled for chemically reacting flows, and a typical eddy model developed for the joint probability density function for all the scalars. The program which is capable of handling multi-species, multistep chemical reactions, was used to calculate nonreacting and reacting flows in a hydrogen-air diffusion flame.

Varma, A. K.↗
NASA NTRS2000

The AstroBiology Explorer (ABE) MIDEX Mission

The Astrobiology Explorer (ABE) is a Medium-Class Explorer (MIDEX) mission concept currently under study at NASA's Ames Research Center. ABE will conduct infrared (IR) spectroscopic observations with much better sensitivity than Infrared Space Observatory (ISO) or the Stratospheric Observatory for Infrared Astronomy program (SOFIA) in order to address outstanding astrobiologically important problems in astrochemistry as well as important astrophysical investigations. The core observational astrobiology program would make fundamental scientific progress in understanding the cosmic history of molecular carbon, the distribution of organic matter in the diffuse interstellar medium, tracing the chemical history of complex organic molecules in the interstellar medium, and the evolution of organic ices in young planetary systems. The ABE instrument concept includes a 0.5 m aperture Cassegrain telescope and a suite of three moderate resolution (R = 1000 - 4000) spectrographs which cover the entire lambda = 2.5-20 micron spectral region. Use of large format (1024 x 1024 pixel or larger) IR detector arrays will allow each spectrograph to cover an entire octave of spectral range per exposure without any moving parts. The telescope is passively cooled by a sun shade to below 65 K, and the detectors are cooled with solid H2 cryogen to approximately 8 K. ABE will be placed in an Earth-trailing one AU solar orbit by a Delta II launch vehicle. This energetically favorable orbit provides a low thermal background, affords good access to the entire sky over the one year mission lifetime, and allows adequate communications bandwidth. The spacecraft will be stabilized in three axes and will be pointed to an accuracy of approximately one arcsecond at ABE's several thousand individual scientific targets.

Greene, Thomas↗
NASA NTRS2007

Preliminary Performance Analyses of the Constellation Program ARES 1 Crew Launch Vehicle

By the time NASA's Exploration Systems Architecture Study (ESAS) report had been released to the public in December 2005, engineers at NASA's Marshall Space Flight Center had already initiated the first of a series of detailed design analysis cycles (DACs) for the Constellation Program Crew Launch Vehicle (CLV), which has been given the name Ares I. As a major component of the Constellation Architecture, the CLV's initial role will be to deliver crew and cargo aboard the newly conceived Crew Exploration Vehicle (CEV) to a staging orbit for eventual rendezvous with the International Space Station (ISS). However, the long-term goal and design focus of the CLV will be to provide launch services for a crewed CEV in support of lunar exploration missions. Key to the success of the CLV design effort and an integral part of each DAC is a detailed performance analysis tailored to assess nominal and dispersed performance of the vehicle, to determine performance sensitivities, and to generate design-driving dispersed trajectories. Results of these analyses provide valuable design information to the program for the current design as well as provide feedback to engineers on how to adjust the current design in order to maintain program goals. This paper presents a condensed subset of the CLV performance analyses performed during the CLV DAC-1 cycle. Deterministic studies include development of the CLV DAC-1 reference trajectories, identification of vehicle stage impact footprints, an assessment of launch window impacts to payload performance, and the computation of select CLV payload partials. Dispersion studies include definition of input uncertainties, Monte Carlo analysis of trajectory performance parameters based on input dispersions, assessment of CLV flight performance reserve (FPR), assessment of orbital insertion accuracy, and an assessment of bending load indicators due to dispersions in vehicle angle of attack and side slip angle. A short discussion of the various customers for the dispersion results, along with results and ramifications of each study, are also provided.

Phillips, Mark↗
NASA NTRS1981

Computer program documentation for a subcritical wing design code using higher order far-field drag minimization

A subsonic, linearized aerodynamic theory, wing design program for one or two planforms was developed which uses a vortex lattice near field model and a higher order panel method in the far field. The theoretical development of the wake model and its implementation in the vortex lattice design code are summarized and sample results are given. Detailed program usage instructions, sample input and output data, and a program listing are presented in the Appendixes. The far field wake model assumes a wake vortex sheet whose strength varies piecewise linearly in the spanwise direction. From this model analytical expressions for lift coefficient, induced drag coefficient, pitching moment coefficient, and bending moment coefficient were developed. From these relationships a direct optimization scheme is used to determine the optimum wake vorticity distribution for minimum induced drag, subject to constraints on lift, and pitching or bending moment. Integration spanwise yields the bound circulation, which is interpolated in the near field vortex lattice to obtain the design camber surface(s).

Kuhlman, J. M.↗