Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “flight computer”

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 1,081 records · Page 60

Searching the UVSP database and a list of experiments showing mass motions

Since the Solar Maximum Mission (SMM) satellite was launched, a large database has been built up of experiments using the Ultraviolet Spectrometer and Polarimeter (UVSP) instrument. Access to this database can be gained through the SMM Vax 750 computer at Goddard Space Flight Center. One useful way to do this is with a program called USEARCH. This program allows one to make a listing of different types of UVSP experiments. It is evident that this program is useful to those who would wish to make use of UVSP data, but who don't know what data is available. Therefore it was decided to include a short description of how to make use of the USEARCH program. Also described, but not included, is a listing of all UVSP experiments showing mass motions in prominences and filaments. This list was made with the aid of the USEARCH program.

Thompson, William↗

Analysis of typical fault-tolerant architectures using HARP

Difficulties encountered in the modeling of fault-tolerant systems are discussed. The Hybrid Automated Reliability Predictor (HARP) approach to modeling fault-tolerant systems is described. The HARP is written in FORTRAN, consists of nearly 30,000 lines of codes and comments, and is based on behavioral decomposition. Using the behavioral decomposition, the dependability model is divided into fault-occurrence/repair and fault/error-handling models; the characteristics and combining of these two models are examined. Examples in which the HARP is applied to the modeling of some typical fault-tolerant systems, including a local-area network, two fault-tolerant computer systems, and a flight control system, are presented.

Bavuso, Salvatore J.↗

EnviroNET: An interactive space-environment information resource

EnviroNET is an interactive menu-driven system set up as an information resource for experimenters, program managers, and design and test engineers involved in space missions. Its basic use is as a fundamental single source of data for the environment encountered by Shuttle and Space Station payloads, but it also has wider applicability in that it includes information on environments encountered by other satellites in both low altitude and high altitude (including geosynchronous) orbits. It incorporates both a text-retrieval mode and an interactive modeling code mode. The system is maintained on the ENVET MicroVAX computer at NASA/Goddard Space Flight Center. Its services are available at no cost to any user who has access to a terminal and modem. It is a tail-node on SPAN, and so it is accessible either directly or through BITNET, ARPANET, and GTE/TELENET via NPSS.

Vampola, Alfred L.↗

Isothermal dendritic growth - A low gravity experiment

The Isothermal Dendritic Growth Experiment has been designed to test dendritic growth theory at low undercoolings, under microgravity conditions in the Space Shuttle Cargo Bay-borne Material Science Laboratory. The experiment will be essentially autonomous, although limited in-flight interaction through a computer interface is planned. A crystal growth chamber able to yield oriented single-crystal dendritic growth will be incorporated; 'seeding' the chamber with a crystal of the requisite orientation will not in itself meet this requirement.

Glicksman, M. E.↗

Acquisition and analysis of primate physiologic data for the Space Shuttle

This paper describes the design and prototypes of the Physiologic Acquisition and Telemetry System (PATS), which is a multichannel system, designed for large primates, for the data acquisition, telemetry, storage, and analysis of physiological data. PATS is expected to acquire data from units implanted in the abdominal cavities of rhesus monkeys that will be flown aboard the Spacelab. The system will telemeter both stored and real-time internal physiologic measurements to an external Flight Support Station (FSS) computer system. The implanted Data Acquition and Telemetry Subsystem subunit will be externally activated, controlled and reprogrammed from the FSS.

Eberhart, Russell C.↗

Fault tolerant system performance modeling

With the proliferation of complex digital systems on aircraft, the need to accurately predict system performance early in the system design cycle becomes imperative. In the past, system designers have relied on ad hoc methods for evaluating performance issues. This has produced systems that have not always worked as originally intended. To alleviate these design deficiencies, formal methods, with supporting tools, must be adhered to during the system design process. The use of performance modeling tools is becoming widely accepted as a way to address timing considerations of system design. An additional incentive for the use of these tools is that they allow the system architect to analyze system component interactions (i.e., bus contention, contention of functions for a processing site, and system repair activity on application performance). This inherent flexibility can result in an explicit specification of the system architecture. This paper addresses a method that supports performance modeling of fault tolerant systems using a discrete event simulation tool. An additional focus is on lessons learned from analyzing these classes of problems. The methodology and supporting work provide system architects with the capability to specify candidate architectures and accurately predict their performance in the early stages of design, where changes to system design is most cost effective. The work has been supported under NASA contract NAS1-18099. Integrated Airframe Propulsion Control System Architecture (IAPSA II). This contract addresses methodology, analysis, and detailed design of integrated control system architectures suitable for high-performance aircraft of the 1990's.

Discrete event simulation↗

Transonic aeroelastic analysis of launch vehicle configurations

A numerical study of the aeroelastic stability of typical launch vehicle configurations in transonic flight is performed. Recent computational fluid dynamics techniques are used to simulate the transonic aerodynamic flow fields, as opposed to relying on experimental data for the unsteady aerodynamic pressures. The flow solver is coupled to an appropriate structural representation of the vehicle. The aerodynamic formulation is based on the thin layer approximation to the Reynolds-Averaged Navier-Stokes equations, where the account for turbulent mixing is done by the two-layer Baldwin and Lomax algebraic eddy viscosity model. The structural-dynamic equations are developed considering free-free flexural vibration of an elongated beam with variable properties and are cast in modal form. Aeroelastic analyses are performed by integrating simultaneously in the two sets of equations. By tracing the growth or decay of a perturbed oscillation, the aeroelastic stability of a given constant configuration can be ascertained. The method is described in detail, and results that indicate its application are presented. Applications include some validation cases for the algorithm developed, as well as the study of configurations known to have presented flutter programs in the past.

Filgueirasdeazevedo, Joao Luiz↗

Background studies in gas ionizing x ray detectors

The background response of a gas ionizing proportional x ray detector is estimated by solving the one dimensional photon transport equation for two regions using Monte Carlo techniques. The solution was effected using the SSL VAX 780 and the CRAY XMP computers at Marshall Space Flight Center. The isotropic photon energy spectrum encompassing the range from 1 to 1000 KeV incident onto the first region, the shield, is taken so as to represent the measured spectrum at an altitude of 3 mb over Palastine, Texas. The differential energy spectrum deposited in the gas region, xenon, over the range of 0 to 100 KeV is written to an output file. In addition, the photon flux emerging from the shield region, tin, over the range of 1 to 1000 KeV is also tabulated and written to a separate file. Published tabular cross sections for photoelectric, elastic and inelastic Compton scattering as well as the total absorption coefficient are used. Histories of each incident photon as well as secondary photons from Compton and photoelectric interactions are followed until the photon either is absorbed or exits from the regions under consideration. The effect of shielding thickness upon the energy spectrum deposited in the xenon region for this background spectrum incident upon the tin shield was studied.

Eldridge, Hudson B.↗

EnviroNET - An interactive space-environment information resource

EnviroNET is an interactive menu-driven system set up as an information resource for experimenters, program managers, and design and test engineers involved in space missions. Its basic use is as a fundamental single source of data for the environment encountered by Shuttle and Space Station payloads, but is also has wider applicability in that it includes information on environments encountered by other satellites in both low altitude and high altitude (including geosynchronous) orbits. It incorporates both a text-retrieval mode and an interactive modeling code mode. The system is maintained on the ENVET MicroVAX computer at NASA/Goddard Space Flight Center. Its services are available at no cost to any user who has access to a terminal and modem. It is a tail-node on SPAN, and so it is accessible either directly or through BITNET, ARPANET, and GTE/TELENET via NPSS.

Vampola, A. L.↗

Multi-media authoring - Instruction and training of air traffic controllers based on ASRS incident reports

This paper discusses the use of computer-assisted instructions and flight simulations to enhance procedural and perceptual motor task training. Attention is called to the fact that incorporating the accident and incident data contained in reports filed with the Aviation Safety Reporting System (ASRS) would be a valuable training tool which the learner could apply for other situations. The need to segment the events is emphasized; this would make it possible to modify events in order to suit the needs of the training environment. Methods were developed for designing meaningful scenario development on runway incursions on the basis of analysis of ASRS reports. It is noted that, while the development of interactive training tools using the ASRS and other data bases holds much promise, the design and production of interactive video programs and laser disks are very expensive. It is suggested that this problem may be overcome by sharing the costs of production to develop a library of materials available to a broad range of users.

Armstrong, Herbert B.↗

Performance optimization of helicopter rotor blades

As part of a center-wide activity at NASA Langley Research Center to develop multidisciplinary design procedures by accounting for discipline interactions, a performance design optimization procedure is developed. The procedure optimizes the aerodynamic performance of rotor blades by selecting the point of taper initiation, root chord, taper ratio, and maximum twist which minimize hover horsepower while not degrading forward flight performance. The procedure uses HOVT (a strip theory momentum analysis) to compute the horse power required for hover and the comprehensive helicopter analysis program CAMRAD to compute the horsepower required for forward flight and maneuver. The optimization algorithm consists of the general purpose optimization program CONMIN and approximate analyses. Sensitivity analyses consisting of derivatives of the objective function and constraints are carried out by forward finite differences. The procedure is applied to a test problem which is an analytical model of a wind tunnel model of a utility rotor blade.

Walsh, Joanne L.↗

Computations on the massively parallel processor at the Goddard Space Flight Center

Described are four significant algorithms implemented on the massively parallel processor (MPP) at the Goddard Space Flight Center. Two are in the area of image analysis. Of the other two, one is a mathematical simulation experiment and the other deals with the efficient transfer of data between distantly separated processors in the MPP array. The first algorithm presented is the automatic determination of elevations from stereo pairs. The second algorithm solves mathematical logistic equations capable of producing both ordered and chaotic (or random) solutions. This work can potentially lead to the simulation of artificial life processes. The third algorithm is the automatic segmentation of images into reasonable regions based on some similarity criterion, while the fourth is an implementation of a bitonic sort of data which significantly overcomes the nearest neighbor interconnection constraints on the MPP for transferring data between distant processors.

Strong, James P.↗

Formal design and verification of a reliable computing platform for real-time control. Phase 2: Results

The design and formal verification of the Reliable Computing Platform (RCP), a fault tolerant computing system for digital flight control applications is presented. The RCP uses N-Multiply Redundant (NMR) style redundancy to mask faults and internal majority voting to flush the effects of transient faults. The system is formally specified and verified using the Ehdm verification system. A major goal of this work is to provide the system with significant capability to withstand the effects of High Intensity Radiated Fields (HIRF).

Butler, Ricky W.↗

In-flight leading-edge extension vortex flow-field survey measurements on a F-18 aircraft at high angle of attack

Flow-field measurements on the leading-edge extension (LEX) of the F-18 High Alpha Research Vehicle (HARV) were obtained using a rotating rake with 16 hemispherical-tipped five-hole probes. Detailed pressure, velocity, and flow direction data were obtained through the LEX vortex core. Data were gathered during 1-g quasi-stabilized flight conditions at angles of attack alpha from 10 degrees to 52 degrees and at Reynolds numbers based on mean aerodynamic cord up to 16 x 10(exp 6). Normalized dynamic pressures and crossflow velocities clearly showed the primary vortex above the LEX and formation of a secondary vortex at higher angles of attack. The vortex was characterized by a ring of high dynamic pressure surrounding a region of low dynamic pressure at the vortex core center. The vortex core, subcore diameter, and vertical location of the core above the LEX increased with angle of attack. Minimum values for static pressure were obtained in the vortex subcore and decreased nearly linearly with increasing angle of attack until vortex breakdown. Rake-measured static pressures were consistent with previously documented surface pressures and showed good agreement with flow visualization flight test results. Comparison of the LEX vortex flight test data to computational solutions at alpha approximately equals 19 degrees and 30 degrees showed fair correlation.

David M Richwine↗

Formal verification of algorithms for critical systems

We describe our experience with formal, machine-checked verification of algorithms for critical applications, concentrating on a Byzantine fault-tolerant algorithm for synchronizing the clocks in the replicated computers of a digital flight control system. First, we explain the problems encountered in unsynchronized systems and the necessity, and criticality, of fault-tolerant synchronization. We give an overview of one such algorithm, and of the arguments for its correctness. Next, we describe a verification of the algorithm that we performed using our EHDM system for formal specification and verification. We indicate the errors we found in the published analysis of the algorithm, and other benefits that we derived from the verification. Based on our experience, we derive some key requirements for a formal specification and verification system adequate to the task of verifying algorithms of the type considered. Finally, we summarize our conclusions regarding the benefits of formal verification in this domain, and the capabilities required of verification systems in order to realize those benefits.

Rushby, John M.↗

Modification of ACSYNT aircraft computer program for preliminary design

This paper presents the development of a computer simulation of agility flight test techniques. Its purpose is to evaluate the agility of aircraft configurations early in the preliminary design phase. The simulation module is integrated into the NASA Ames aircraft synthesis design code. Trade studies using the agility module embedded within the design code to simulate the combat cycle time agility metric are illustrated using a Northrop F-20 aircraft model. Results show that the agility module is effective in analyzing the influence of common parameters such as thrust-to-weight ratio and wing loading on agility criteria. The module can also compare the agility potential between different configurations and has the capability to optimize agility performance early in the design process.

Biezad, Daniel J.↗

Advanced takeoff procedures for high-speed civil transport community noise reduction

Advanced takeoff procedures were developed for a Mach 2.62 high-speed civil transport configuration (HSCT) equipped with turbine bypass engines, with the goal of reducing the takeoff noise levels for certification to FAR 36, Stage 3 noise levels. The detailed takeoff and landing module for the Flight Optimizations System (FLOPS) computer program was used to generate takeoff profiles. All takeoff procedures were constrained to meet a FAR takeoff field length of 11,000 feet, as well as the minimum required engine-out climb gradients for each airbome segment. Aircraft noise levels at the FAR 36 certification points were calculated using the Aircraft Noise Prediction Program (ANOPP). The study showed that using advanced takeoff procedures in noise certification could result in a 2.25 dB reduction in the amount of noise suppression required to certify this configuration for Stage 3 noise limits. Advanced procedures also resulted in an 8 percent reduction in the 100 EPNdB noise footprint area compared to basic FAR 36 takeoff procedures. In addition, improvements in the lift-to-drag ratio using high-lift devices were shown to produce 1.81 dB more noise reduction when used in combination with advanced takeoff procedures.

Olson, E. D.↗

Formal design and verification of a reliable computing platform for real-time control (phase 3 results)

In this paper the design and formal verification of the lower levels of the Reliable Computing Platform (RCP), a fault-tolerant computing system for digital flight control applications, are presented. The RCP uses NMR-style redundancy to mask faults and internal majority voting to flush the effects of transient faults. Two new layers of the RCP hierarchy are introduced: the Minimal Voting refinement (DA_minv) of the Distributed Asynchronous (DA) model and the Local Executive (LE) Model. Both the DA_minv model and the LE model are specified formally and have been verified using the Ehdm verification system. All specifications and proofs are available electronically via the Internet using anonymous FTP or World Wide Web (WWW) access.

Butler, Ricky W.↗