SEARCH · Engineering Papers
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.
Development of tools that include the STP theorem poer and its associated Design Verification Systems; PHIL, a meta-programmable context sensitive structured editor; Pegasus, a system for support of graphical programming; and OBJ, an ultra high level programming language based on rewrite rules and abstract data type is reported.
New flight test techniques in use at Ames Dryden are reviewed. The use of the pilot in combination with ground and airborne computational capabilities to maximize data return is discussed, including the remotely piloted research vehicle technique for high-risk testing, the remotely augmented vehicle technique for handling qualities research, and use of ground computed flight director information to fly unique profiles such as constant Reynolds number profiles through the transonic flight regime. Techniques used for checkout and design verification of systems-oriented aircraft are discussed, including descriptions of the various simulations, iron bird setups, and vehicle tests. Some newly developed techniques to support the aeronautical research disciplines are discussed, including a new approach to position-error determination, and the use of a large skin friction balance for the measurement of drag caused by various excrescencies.
A number of methodologies for verifying systems and computer based tools that assist users in verifying their systems were developed. These tools were applied to verify in part the SIFT ultrareliable aircraft computer. Topics covered included: STP theorem prover; design verification of SIFT; high level language code verification; assembly language level verification; numerical algorithm verification; verification of flight control programs; and verification of hardware logic.
The GPWS being developed for the Life Sciences Laboratory to be flown on the fourth Spacelab mission in late 1985 is characterized, and results from Phase I and Phase II tests are reported. The GPWS is designed to provide biological protection for both experiment and operator, a clean-room environment, control of liquids at zero gravity, protection against Spacelab-cabin contamination by chemical vapors, and work space with lights and other accommodations for one or two users in the zero-gravity neutral-body position. The flight hardware subsystems are examined and illustrated; the approach taken to evaluate human factors, performance, contaminant control, and user accommodation is explained; the design-verification unit for ground testing is described; and the improvements introduced in constructing the flight version are indicated.
The first phase of a planned multiphase program to develop a Phosphoric is addressed. This report describes the efforts performed that culminated in the: (1) Establishment of the preliminary design requirements and system conceptual design for the nominally rated 375 kW PAFC module and is interfacing power plant systems; (2) Establishment of PAFC component and stack performance, endurance, and design parameter data needed for design verification for power plant application; (3) Improvement of the existing PAFC materials data base and establishment of materials specifications and process procedes for the cell components; and (4) Testing of 122 subscale cell atmospheric test for 110,000 cumulative test hours, 12 subscale cell pressurized tests for 15,000 cumulative test hours, and 12 pressurized stack test for 10,000 cumulative test hours.
Most work concerning secure computer systems has dealt with the design, verification, and implementation of provably secure computer systems, or has explored ways of making existing computer systems more secure. The problem of locating security holes in existing systems has received considerably less attention; methods generally rely on thought experiments as a critical step in the procedure. The difficulty is that such experiments require that a large amount of information be available in a format that makes correlating the details of various programs straightforward. This paper describes a method of providing such a basis for the thought experiment by writing a special manual for parts of the operating system, system programs, and library subroutines.
The purpose of the Robotics Simulation (ROBSIM) program is to provide a broad range of computer capabilities to assist in the design, verification, simulation, and study of robotic systems. ROBSIM is programmed in FORTRAN 77 and implemented on a VAX 11/750 computer using the VMS operating system. This programmer's guide describes the ROBSIM implementation and program logic flow, and the functions and structures of the different subroutines. With this manual and the in-code documentation, and experienced programmer can incorporate additional routines and modify existing ones to add desired capabilities.
The purpose of the Robotics Simulation Program is to provide a broad range of computer capabilities to assist in the design, verification, simulation, and study of robotics systems. ROBSIM is program in FORTRAN 77 for use on a VAX 11/750 computer under the VMS operating system. This user's guide describes the capabilities of the ROBSIM programs, including the system definition function, the analysis tools function and the postprocessor function. The options a user may encounter with each of these executables are explained in detail and the different program prompts appearing to the user are included. Some useful suggestions concerning the appropriate answers to be given by the user are provided. An example user interactive run in enclosed for each of the main program services, and some of the capabilities are illustrated.
The purpose of the Robotic Simulation (ROBSIM) program is to provide a broad range of computer capabilities to assist in the design, verification, simulation, and study of robotic systems. ROBSIM is programmed in FORTRAM 77 and implemented on a VAX 11/750 computer using the VMS operating system. The programmer's guide describes the ROBSIM implementation and program logic flow, and the functions and structures of the different subroutines. With the manual and the in-code documentation, an experienced programmer can incorporate additional routines and modify existing ones to add desired capabilities.
The effects of incorporating digital technology into the design of aircraft on the airworthiness criteria and certification procedures for aircraft are investigated. FAA research programs aimed at providing data for the functional assessment of aircraft which use digital systems for avionics and flight control functions are discussed. The need to establish testing, assurance assessment, and configuration management technologies to insure the reliability of digital systems is discussed; consideration is given to design verification, system performance/robustness, and validation technology.
The rocket engine systems examined include SSME, ALS, and CTV systems. The liquid hydrogen turbopumps in the SSME and ALS vehicle systems are identified as potentially attractive candidates for development of Supercurrent Bearings since the temperatures around the bearings is about 30 K, which is considerably lower than the 95 K transition temperatures of HTS materials. At these temperatures, the current HTS materials are shown to be capable of developing significantly higher current densities. This higher current density capability makes the development of supercurrent bearings for rocket engines an attractive proposition. These supercurrent bearings are also shown to offer significant advantages over conventional bearings used in rocket engines. They can increase the life and reliability over rolling element bearings because of noncontact operation. They offer lower power loss over conventional fluid film bearings. Compared to conventional magnetic bearings, they can reduce the weight of controllers significantly, and require lower power because of the use of persistent currents. In addition, four technology areas that require further attention have been identified. These are: Supercurrent Bearing Conceptual Design Verification; HTS Magnet Fabrication and Testing; Cryosensors and Controller Development; and Rocket Engine Environmental Compatibility Testing.
The workshop brought together researchers involved in the NASA formal methods research effort for detailed technical interchange and provided a mechanism for interaction with representatives from the FAA and the aerospace industry. The workshop also included speakers from industry to debrief the formal methods researchers on the current state of practice in flight critical system design, verification, and certification. The goals were: define and characterize the verification problem for ultra-reliable life critical flight control systems and the current state of practice in industry today; determine the proper role of formal methods in addressing these problems, and assess the state of the art and recent progress toward applying formal methods to this area.
SSME requirements were identified in NASA approved documents. Design verification specifications (DVS) are used to define requirements and method of verification. Detailed and complete plans provide for verification of each requirement by lab tests, component tests, and engine tests. These tests are planned to expose problems early. The culmination of the development process is engine certification. The certification consists of two certification cycles on each of two engines. The certification cycle is made up of 10 tests and 5000 seconds.
The HST system design is described as well as the in-orbit servicing program. In order to verify the feasibility and the design of the HST servicing features, a design verification program, which included 1-g tests and 0-g underwater simulations, was carried out. The major elements of the space support equipment, including the flight support system, the orbital replacement unit carrier, and the solar array carrier, are addressed in detail.
Traditionally, satellites have performed the function of a simple repeater. Newer data distribution satellite architectures, however, require demodulation of many frequency division multiplexed uplink channels by a single demultiplexer/demodulator unit, baseband processing and routing of individual voice/data circuits, and remodulation into time division multiplexed (TDM) downlink carriers. The TRW MCDD (Multichannel Demultiplexer/Multirate Demodulator) operates on a 37.4 MHz composite input signal. Individual channel data rates are either 64 Kbps or 2.048 Mbps. The wideband demultiplexer divides the input signal into 1.44 MHz segments containing either a single 2.048 Mbps channel or thirty two 64 Kbps channels. In the latter case, the narrowband demultiplexer further divides the single 1.44 MHz wideband channel into thirty two 45 KHz narrowband channels. With this approach the time domain Fast Fourier Transformation (FFT) channelizer processing capacity is matched well to the bandwidth and number of channels to be demultiplexed. By using a multirate demodulator fewer demodulators are required while achieving greater flexibility. Each demodulator can process a wideband channel or thirty two narrowband channels. Either all wideband channels, a mixture of wideband and narrowband channels, or all narrowband channels can be demodulated. The multirate demodulator approach also has lower nonrecurring costs since only one design and development effort is needed. TRW has developed a proof of concept (POC) model which fully demonstrates the signal processing fuctions of MCDD. It is capable of processing either three 2.048 Mbps channels or two 2.048 Mbps channels and thirty two 64 Kbps channels. An overview of important MCDD system engineering issues is presented as well as discussion on some of the Block Oriented System Simulation analyses performed for design verification and selection of operational parameters of the POC model. Systems engineering analysis of the POC model confirmed that the MCDD concepts are not only achievable but also balance the joint goals of minimizing on-board complexity and cost of ground equipment, while retaining the flexibility needed to meet a wide range of system requirements.
Propellant storage and management functions for the Propulsion Module of the U.S. Space Station Freedom are provided by the Propellant Tank Assembly (PTA). The PTA consists of a surface-tension type propellant acquisition device contained within a welded titanium pressure vessel. The PTA design concept was selected with high reliability and low program risk as primary goals in order to meet stringent NASA structural, expulsion, fracture control and reliability requirements. The PTA design makes use of Shuttle Orbital Maneuvering System and Peacekeeper Propellant Storage Assembly design and analysis techniques. This paper summarizes the PTA design solution and discusses the underlying detailed analyses. In addition, design verification and qualification test activities are discussed.
The overall objective of this program is to assess the state of alkaline water electrolysis cell technology and its potential as part of a Regenerative Fuel Cell System (RFCS) of a multikilowatt orbiting powerplant. The program evaluates the endurance capabilities of alkaline electrolyte water electrolysis cells under various operating conditions, including constant condition testing, cyclic testing and high pressure testing. The RFCS demanded the scale-up of existing cell hardware from 0.1 sq ft active electrode area to 1.0 sq ft active electrode area. A single water electrolysis cell and two six-cell modules of 1.0 sq ft active electrode area were designed and fabricated. The two six-cell 1.0 sq ft modules incorporate 1.0 sq ft utilized cores, which allow for minimization of module assembly complexity and increased tolerance to pressure differential. A water electrolysis subsystem was designed and fabricated to allow testing of the six-cell modules. After completing checkout, shakedown, design verification and parametric testing, a module was incorporated into the Regenerative Fuel Cell System Breadboard (RFCSB) for testing at Life Systems, Inc., and at NASA JSC.
The technical highlights and accomplishments made at NASA LeRC in the development of the Space Station Freedom (SSF) propulsion system are discussed. The objectives are as follows: develop and characterize resistojet-thruster components and assemblies; develop and characterize hydrogen-oxygen thruster components; and conduct system trade studies. The research projects primarily characterize propulsion performance and life. Other tests include environmental impacts, such as exhaust gas profiles and electromagnetic interference. The technical activities that are highlighted are being conducted at LeRC within the Aerospace Technology and Space Station Freedom directorates. These activities include the following: derivation of design analysis models; trade studies of design options; propulsion system impact studies; and component testing for characterization and design verification.