SEARCH · Engineering Papers

Results for “Design verification”

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 NTRS1986

Analyzing the security of an existing computer system

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.

Bishop, M.↗

NASA NTRS1984

Evaluation of automated decisionmaking methodologies and development of an integrated robotic system simulation, appendix B

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.

Haley, D. C.↗

NASA NTRS1986

Evaluation of automated decisionmaking methodologies and development of an integrated robotic system simulation. Appendix A: ROBSIM user's guide

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.

Haley, D. C.↗

NASA NTRS1986

Evaluation of automated decisionmaking methodologies and development of an integrated robotic system simulation. Appendix B: ROBSIM programmer's guide

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.

Haley, D. C.↗

NASA NTRS1986

Digital avionics systems - Overview of FAA/NASA/industry-wide briefing

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.

Larsen, William E.↗

NASA NTRS1989

Cryostatless high temperature supercurrent bearings for rocket engine turbopumps

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.

Rao, Dantam K.↗

NASA NTRS1990

NASA Formal Methods Workshop, 1990

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.

Butler, Ricky W.↗

NASA NTRS1991

Space shuttle main engine: Certification for manned space flight

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.

Weesner, Ronald G.↗

NASA NTRS1991

Maintaining Hubble Space Telescope performance through in-orbit servicing

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.

Cuviello, Michael J.↗

NASA NTRS1991

Design, modeling, and analysis of multi-channel demultiplexer/demodulator

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.

Lee, David D.↗

NASA NTRS1992

Design and testing of the Space Station Freedom Propellant Tank Assembly

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.

Dudley, D. D.↗

NASA NTRS1985

Endurance Test and Evaluation of Alkaline Water Electrolysis Cells

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.

Kovach, Andrew J.↗

NASA NTRS1990

Space Station Freedom propulsion activities

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.

Spera, David A.↗

NASA NTRS1994

Assessment of velocity/trajectory measurement technologies during a particle capture event

Since the early 1960s, the means to measure the time of flight (TOF) of dust grain within a mechanical detection array has existed, first in the laboratory and then in space experiments. Laboratory hypervelocity dust particle accelerators have used electrostatic detection of charge on accelerated particles for TOF and particle mass detections. These laboratory studies have led to the development of ultra-thin-film sensors that have been used for TOF measurements in dust particle space experiments. The prototypes for such devices were ultra-thin-film capacitors that were used in the OGO series of satellites. The main goal of the experimental work to be described is the development of the capability to determine the velocity vector or trajectory of a dust grain traversing an integrated dust detection array. The results of these studies have shown that the capability of detecting the charge liberated by hypervelocity dust grains with diameters in the micrometer range can be detected. Based on these results, detection systems have been designed to provide a precise analysis of the physical and dynamic properties of micrometer and submicrometer dust grains, namely the design verification unit (DVU). Through unique combinations of in situ detection systems, direct measurements of particle surface charge, velocity, momentum, kinetic energy, and trajectory have been achieved. From these measurements, the remaining physical parameters of mass, size, and density can be determined.

Tanner, William G.↗

NASA NTRS1993

Short arc orbit determination for altimeter calibration and validation on TOPEX/POSEIDON

TOPEX/POSEIDON (T/P) is a joint mission of United States' National Aeronautics and Space Administration (NASA) and French Centre National d'Etudes Spatiales (CNES) design launched August 10, 1992. It carries two radar altimeters which alternately share a common antenna. There are two project designated verification sites, a NASA site off the coast at Pt. Conception, CA and a CNES site near Lampedusa Island in the Mediterranean Sea. Altimeter calibration and validation for T/P is performed over these highly instrumented sites by comparing the spacecraft's altimeter radar range to computed range based on in situ measurements which include the estimated orbit position. This paper presents selected results of orbit determination over each of these sites to support altimeter verification. A short arc orbit determination technique is used to estimate a locally accurate position determination of T/P from less than one revolution of satellite laser ranging (SLR) data. This technique is relatively insensitive to gravitational and non-gravitational force modeling errors and is demonstrated by covariance analysis and by comparison to orbits determined from longer arcs of data and other tracking data types, such as Doppler Orbitography and Radiopositioning Integrated by Satellite (DORIS) and Global Positioning System Demonstration Receiver (GPSDR) data.

Williams, B. G.↗

NASA NTRS1996

Propellant Chemistry for CFD Applications

Current concepts for reusable launch vehicle design have created renewed interest in the use of RP-1 fuels for high pressure and tri-propellant propulsion systems. Such designs require the use of an analytical technology that accurately accounts for the effects of real fluid properties, combustion of large hydrocarbon fuel modules, and the possibility of soot formation. These effects are inadequately treated in current computational fluid dynamic (CFD) codes used for propulsion system analyses. The objective of this investigation is to provide an accurate analytical description of hydrocarbon combustion thermodynamics and kinetics that is sufficiently computationally efficient to be a practical design tool when used with CFD codes such as the FDNS code. A rigorous description of real fluid properties for RP-1 and its combustion products will be derived from the literature and from experiments conducted in this investigation. Upon the establishment of such a description, the fluid description will be simplified by using the minimum of empiricism necessary to maintain accurate combustion analyses and including such empirical models into an appropriate CFD code. An additional benefit of this approach is that the real fluid properties analysis simplifies the introduction of the effects of droplet sprays into the combustion model. Typical species compositions of RP-1 have been identified, surrogate fuels have been established for analyses, and combustion and sooting reaction kinetics models have been developed. Methods for predicting the necessary real fluid properties have been developed and essential experiments have been designed. Verification studies are in progress, and preliminary results from these studies will be presented. The approach has been determined to be feasible, and upon its completion the required methodology for accurate performance and heat transfer CFD analyses for high pressure, tri-propellant propulsion systems will be available.

Farmer, R. C.↗

NASA NTRS1997

Development of an Ion Thruster and Power Processor for New Millennium's Deep Space 1 Mission

The NASA Solar Electric Propulsion Technology Applications Readiness Program (NSTAR) will provide a single-string primary propulsion system to NASA's New Millennium Deep Space 1 Mission which will perform comet and asteroid flybys in the years 1999 and 2000. The propulsion system includes a 30-cm diameter ion thruster, a xenon feed system, a power processing unit, and a digital control and interface unit. A total of four engineering model ion thrusters, three breadboard power processors, and a controller have been built, integrated, and tested. An extensive set of development tests has been completed along with thruster design verification tests of 2000 h and 1000 h. An 8000 h Life Demonstration Test is ongoing and has successfully demonstrated more than 6000 h of operation. In situ measurements of accelerator grid wear are consistent with grid lifetimes well in excess of the 12,000 h qualification test requirement. Flight hardware is now being assembled in preparation for integration, functional, and acceptance tests.

Sovey, James S.↗

NASA NTRS2001

Overview of the Icing and Flow Quality Improvements Program for the NASA Glenn Icing Research Tunnel

Major upgrades were made in 1999 to the 6- by 9-Foot (1.8- by 2.7-m) Icing Research Tunnel (IRT) at the NASA Glenn Research Center. These included replacement of the electronic controls for the variable-speed drive motor, replacement of the heat exchanger, complete replacement and enlargement of the leg of the tunnel containing the new heat-exchanger, the addition of flow-expanding and flow-contracting turning vanes upstream and downstream of the heat exchanger, respectively, and the addition of fan outlet guide vanes (OGV's). This paper describes the rationale behind this latest program of IRT upgrades and the program's requirements and goals. An overview is given of the scope of work undertaken by the design and construction contractors, the scale-model IRT (SMIRT) design verification program, the comprehensive reactivation test program initiated upon completion of construction, and the overall management approach followed.

Irvine, Thomas B.↗