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.

SourceResearch connectionFrom yearThrough year

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

At least 217 records · Page 12

All sources NASA NTRS DOE OSTI

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.↗

NASA NTRS1967

Higher-order ring currents and particle energy storage in the magnetosphere.

Computer programs to calculate higher order ring currents and particle energy storage in magnetosphere

Brachen, P. A.↗

DOE OSTI2020

A quadratic programming flux correction method for high-order DG discretizations of S transport

In this work, we present a new flux-fixup approach for arbitrarily high-order discontinuous Galerkin (DG) discretizations of the S N transport equation, and we demonstrate the compatibility of this approach with the Variable Eddington Factor (VEF) method. The new fixup approach is sweep-compatible: during a transport sweep (block Gauss-Seidel iteration in which the scattering source is lagged), a local quadratic programming (QP) problem is solved in each spatial element to ensure that the solution satisfies certain physical constraints, including local particle balance. In this paper, we describe two choices of physical constraints, resulting in two variants of the method: QP Zero (QPZ) and QP Maximum Principle (QPMP). In QPZ, the finite element coefficients of the solution are constrained to be nonnegative. In QPMP, they are constrained to adhere to an approximate discrete maximum principle. There are two primary takeaways in this paper. First, when the positive Bernstein basis is used for DG discretization, the QPMP method eliminates negativities, preserves high-order accuracy for smooth problems, and significantly dampens unphysical oscillations in the solution. The latter feature – the dampening of unphysical oscillations – is an improvement upon standard, simpler fixup approaches such as the approach described in (denoted as the “zero and rescale” (ZR) method in this paper). This improvement comes at a moderate computational cost, but it is not prohibitive. Our results show that, even in an unrealistic worst-case scenario where 83% of the spatial elements require a fixup, the computational cost of performing a transport sweep with fixup is only ~31% greater than performing one without fixup. The second takeaway is that the VEF method can be used to accelerate the convergence of transport sweeps even when a fixup is applied. When optically thick regions are present, transport sweeps converge slowly, regardless of whether a fixup is applied, and acceleration is needed. However, attempting to apply standard diffusion synthetic acceleration (DSA) to fixed-up transport sweeps results in divergence for optically thick problems. Our results show that the same is not true for VEF. When VEF is combined with fixed-up transport sweeps, the result is a scheme that produces a nonnegative solution, converges independently of the mean free path, and, in the case of the QPMP fixup, adheres to an approximate discrete maximum principle.

97 MATHEMATICS AND COMPUTING↗

NASA NTRS1992

Space Shuttle orbiter modifications to support Space Station Freedom

The Space Shuttle will be the primary vehicle to support the launch, assembly, and maintenance of the Space Station Freedom (SSF). In order to accommodate this function, the Space Shuttle orbiter will require significant modifications. These modifications are currently in development in the Space Shuttle Program. The requirements for the planned modifications to the Space Shuttle orbiter are dependent on the design of the SSF. Therefore, extensive coordination is required with the Space Station Freedom Program (SSFP) in order to identify requirements and resolve integration issues. This paper describes the modifications to the Space Shuttle orbiter required to support SSF assembly and operations.

Segert, Randall↗

NASA NTRS1986

Second-Order-Potential Analysis and Optimization

Optimum camber designed for supersonic and hypersonic vehicles. Second Order Potential Analysis and Optimization (SOPA) package set of computer programs used to predict aerodynamic characteristics and design optimum camber for both supersonic and hypersonic vehicles. Analysis program incorporates second-order-potential, small-disturbance theory for analysis of wing/body configurations. Optimization program uses analysis results to generate optimum camber, twist, or flap deflections by minimizing zero suction drag. SOPA written in FORTRAN V for batch execution.

Clever, W. C.↗

NASA NTRS1990

Experimental and analytical study of close-coupled ventral nozzles for ASTOVL aircraft

Flow in a generic ventral nozzle system was studied experimentally and analytically with a block version of the PARC3D computational fluid dynamics program (a full Navier-Stokes equation solver) in order to evaluate the program's ability to predict system performance and internal flow patterns. For the experimental work a one-third-size model tailpipe with a single large rectangular ventral nozzle mounted normal to the tailpipe axis was tested with unheated air at steady-state pressure ratios up to 4.0. The end of the tailpipe was closed to simulate a blocked exhaust nozzle. Measurements showed about 5 1/2 percent flow-turning loss, reasonable nozzle performance coefficients, and a significant aftward axial component of thrust due to flow turning loss, reasonable nozzle performance coefficients, and a significant aftward axial component of thrust due to flow turning more than 90 deg. Flow behavior into and through the ventral duct is discussed and illustrated with paint streak flow visualization photographs. For the analytical work the same ventral system configuration was modeled with two computational grids to evaluate the effect of grid density. Both grids gave good results. The finer-grid solution produced more detailed flow patterns and predicted performance parameters, such as thrust and discharge coefficient, within 1 percent of the measured values. PARC3D flow visualization images are shown for comparison with the paint streak photographs. Modeling and computational issues encountered in the analytical work are discussed.

Mcardle, Jack G.↗

NASA NTRS1990

Flow studies in close-coupled ventral nozzles for STOVL aircraft

Flow in a generic ventral nozzle system was studied experimentally and analytically with the PARC3D computational fluid dynamics program (a full Navier-Stokes equations solver) in order to evaluate the program's ability to predict system performance and internal flow patterns. A generic model of a tailpipe with a rectangular ventral nozzle, about one-third of full size, was tested with unheated air at steady-state pressure ratios up to 4.0. Measurements showed about 5.5 percent flow-turning loss and reasonable nozzle performance coefficients. The flow turned more than the designed 90 deg, causing an aftward axial component in the total thrust. Flow behavior into and through the ventral duct is discussed and illustrated with paint streak flow visualization photographs. PARC3D graphic images are shown for comparison with the experiment photographs. The program successfully predicted internal flow patterns; it also computed thrust and discharge coefficients within 1 percent of measured values.

Mcardle, Jack G.↗

NASA NTRS1990

Experimental and analytical study of close-coupled ventral nozzles for ASTOVL aircraft

Mcardle, Jack G.↗

NASA NTRS2003

Introduction to the Abrupt Wing Stall (AWS) Program

The Abrupt Wing Stall (AWS) Program has addressed the problem of uncommanded, transonic lateral motions, such as wing drop, with experimental, computational, and simulation tools. Background to the establishment of the AWS program is given as well as program objectives. In order to understand the fundamental flow mechanisms that caused the undesirable motions for a pre-production version of the F/A-18E, steady and unsteady flow field details were gathered from dedicated transonic wind-tunnel testing and computational studies. The AWS program has also adapted a free-to-roll (FTR) wind-tunnel testing technique traditionally used for low-speed studies of lateral dynamic stability to the transonic flow regime. This FTR capability was demonstrated first in a proof-of -concept study and then applied to an assessment of four different aircraft configurations. Figures of merit for static testing and for FTR testing have been evaluated for two configurations that demonstrated wing drop susceptibility during full-scale flight conditions (the pre-production F/A-18E and the AV-8B at the extremes of its flight envelope) and two configurations that do not exhibit wing drop (the F/A-18C and the F-16C). Design insights have been obtained from aerodynamic computational studies of the four aircraft configurations and from computations quantifying the impact of the various geometric wing differences between the F/A-18C and the F/A-18E wings. Finally, the AWS program provides guidance for assessing, in the simulator, the impact of experimentally determined lateral activity on flight characteristics before going to flight.

Hall, Robert M.↗

NASA NTRS2003

Introduction to the Abrupt Wing Stall (AWS) Program

The Abrupt Wing Stall (AWS) Program has addressed the problem of uncommanded, transonic lateral motions, such as wing drop, with experimental, computational, and simulation tools. Background to the establishment of the AWS program is given as well as program objectives. In order to understand the fundamental flow mechanisms that caused the undesirable motions for a pre-production version of the F/A-18E, steady and unsteady flow field details were gathered from dedicated transonic wind-tunnel testing and computational studies. The AWS program has also adapted a free-to- roll (FTR) wind-tunnel testing technique traditionally used for low-speed studies of lateral dynamic stability to the transonic flow regime. This FTR capability was demonstrated first in a proof-of-concept study and then applied to an assessment of four different aircraft configurations. Figures of merit for static testing and for FTR testing have been evaluated for two configurations that demonstrated wing drop susceptibility during full-scale flight conditions (the pre-production F/A-l8E and the AV-8B at the extremes of its flight envelope) and two configurations that do not exhibit wing drop (the F/A-l8C and the F-l6C). Design insights have been obtained from aerodynamic computational studies of the four aircraft configurations and from computations quantifying the impact of the various geometric wing differences between the F/A-18C and the F/A-l8E wings. Finally, the AWS program provides guidance for assessing, in the simulator, the impact of experimentally determined lateral activity on flight characteristics before going to flight.

Hall, Robert M.↗

NASA NTRSDate not supplied

Analysis and Optimization of Test Plans for Advanced Exploration Systems Reliability and Supportability

Future crewed exploration missions beyond Low Earth Orbit (LEO) will operate farther from Earth and be logistically isolated for longer than any previous human spaceflight mission. Under these conditions, supportability and reliability willbestronger drivers of mission mass and risk than they have been in the past. Items with high failure rates, or uncertain failure rates, can result in high spares mass requirements and/or high risk on deep space missions. Testing is a critical element of system development which provides the opportunity to identify and resolve design issues, defects, or other failure modes before they cause problems during a mission. Reliability growth programs can reduce failure rates by identifying and remove failure modes via design changes, and long-duration life testing can provide valuable data to reduce failure rate estimate uncertainty and verify (to some level of confidence) that components are as reliable as expected. Testing activities take time and resources, however, and must be incorporated into program plans in order to be fully effective. This paper presents an integrated reliability test plan analysis and optimization methodology, which has been used to inform Advanced Exploration Systems (AES) Life Support Systems (LSS) ground test planning for future missions. The methodology determines the optimal number of test units to purchase and allocation of test time –split between reliability growth and uncertainty reduction testing –across a given set of items in order to minimize spares mass for a given mission under constraints on total test cost and schedule. Model outputs also include expected spares mass after testing and the expected number of modifications or refurbishments during testing, both of which can inform program planning. Discussion of the model, conclusions, and future work are also presented.

Testing↗