Search NASA⌕ Search

SEARCH · Search NASA

Results for “software based”

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 307 records · Page 17

Automated propellant leak detection

An automated hydrogen leak detection system is being developed for earth-to-orbit rocket engine applications. The system consists of three elements, a sensor array, a signal processing unit, and a diagnostic processor. The sensor array consists of discrete solid state sensors which are located at specific potential leak sites and in potential leak zones. The signal processing unit provides excitations power for the sensors and provides analog to digital data conversion of the sensor signals. The diagnostic computer analyzes the sensor outputs to determine leak sources and magnitude. Leak data from the sensor network is interpreted using knowledge based software and displayed on-line through a graphical user interface including 3-D leak visualization. The system requirements have been developed assuming eventual application to the Space Shuttle Main Engine which requires approximately 72 measurement locations. A prototype system has been constructed to demonstrate the operational features of the system. This system includes both prototype electronics and data processing software algorithms. Experiments are in progress to evaluate system operation at conditions which simulate prelaunch and flight. The prototype system consists of a network using 16 sensors within a testbed which simulates engine components. Sensor response, orientation, and data analysis algorithms are being evaluated using calibrated leaks produced within the testbed. A prototype flight system is also under development consisting of 8 sensors and flight capable electronics with autonomous control and data recording.

Makel, D. B.↗

Program Helps Decompose Complex Design Systems

DeMAID (A Design Manager's Aid for Intelligent Decomposition) computer program is knowledge-based software system for ordering sequence of modules and identifying possible multilevel structure for design problem. Groups modular subsystems on basis of interactions among them. Saves considerable money and time in total design process, particularly in new design problem in which order of modules has not been defined. Available in two machine versions: Macintosh and Sun.

Rogers, James L., Jr.↗

Predicting Properties Of Composite Materials

Micromechanical Combined Stress Analysis (MICSTRAN) computer code provides materials engineers with easy-to-use personal-computer-based software tool to calculate overall properties of composite, given properties of fibers and matrix. Computes overall thermoelastic parameters and stresses by micromechanical analysis. Written in FORTRAN 77.

Naik, Rajiv A.↗

Grid generation requirements at Marshall Space Flight Center

These viewgraphs present three examples of structural grid generation from MSFC analysts. The propulsion systems components include high performance requirements and multi-curved surfaces. Grid generation or finite element meshing for structural and thermal analysis models is currently accomplished using interactive graphics based software on personal workstations.

Larry Kiefling↗

PROS: An IRAF based system for analysis of x ray data

PROS is an IRAF based software package for the reduction and analysis of x-ray data. The use of a standard, portable, integrated environment provides for both multi-frequency and multi-mission analysis. The analysis of x-ray data differs from optical analysis due to the nature of the x-ray data and its acquisition during constantly varying conditions. The scarcity of data, the low signal-to-noise ratio and the large gaps in exposure time make data screening and masking an important part of the analysis. PROS was developed to support the analysis of data from the ROSAT and Einstein missions but many of the tasks have been used on data from other missions. IRAF/PROS provides a complete end-to-end system for x-ray data analysis: (1) a set of tools for importing and exporting data via FITS format -- in particular, IRAF provides a specialized event-list format, QPOE, that is compatible with its IMAGE (2-D array) format; (2) a powerful set of IRAF system capabilities for both temporal and spatial event filtering; (3) full set of imaging and graphics tasks; (4) specialized packages for scientific analysis such as spatial, spectral and timing analysis -- these consist of both general and mission specific tasks; and (5) complete system support including ftp and magnetic tape releases, electronic and conventional mail hotline support, electronic mail distribution of solutions to frequently asked questions and current known bugs. We will discuss the philosophy, architecture and development environment used by PROS to generate a portable, multimission software environment. PROS is available on all platforms that support IRAF, including Sun/Unix, VAX/VMS, HP, and Decstations. It is available on request at no charge.

Conroy, M. A.↗

Advanced nickel-hydrogen spacecraft battery development

Eagle-Picher currently has several advanced nickel-hydrogen (NiH2) cell component and battery designs under development including common pressure vessel (CPV), single pressure vessel (SPV), and dependent pressure vessel (DPV) designs. A CPV NiH2 battery, utilizing low-cost 64 mm (2.5 in.) cell diameter technology, has been designed and built for multiple smallsat programs, including the TUBSAT B spacecraft which is currently scheduled (24 Nov. 93) for launch aboard a Russian Proton rocket. An advanced 90 mm (3.5 in.) NiH2 cell design is currently being manufactured for the Space Station Freedom program. Prototype 254 mm (10 in.) diameter SPV batteries are currently under construction and initial boilerplate testing has shown excellent results. NiH2 cycle life testing is being continued at Eagle-Picher and IPV cells have currently completed more than 89,000 accelerated LEO cycles at 15% DOD, 49,000 real-time LEO cycles at 30 percent DOD, 37,800 cycles under a real-time LEO profile, 30 eclipse seasons in accelerated GEO, and 6 eclipse seasons in real-time GEO testing at 75 percent DOD maximum. Nickel-metal hydride battery development is continuing for both aerospace and electric vehicle applications. Eagle-Picher has also developed an extensive range of battery evaluation, test, and analysis (BETA) measurement and control equipment and software, based on Hewlett-Packard computerized data acquisition/control hardware.

Coates, Dwaine K.↗

Transient Faults in Computer Systems

A powerful technique particularly appropriate for the detection of errors caused by transient faults in computer systems was developed. The technique can be implemented in either software or hardware; the research conducted thus far primarily considered software implementations. The error detection technique developed has the distinct advantage of having provably complete coverage of all errors caused by transient faults that affect the output produced by the execution of a program. In other words, the technique does not have to be tuned to a particular error model to enhance error coverage. Also, the correctness of the technique can be formally verified. The technique uses time and software redundancy. The foundation for an effective, low-overhead, software-based certification trail approach to real-time error detection resulting from transient fault phenomena was developed.

Masson, Gerald M.↗

AMPHION: Specification-based programming for scientific subroutine libraries

AMPHION is a knowledge-based software engineering (KBSE) system that guides a user in developing a diagram representing a formal problem specification. It then automatically implements a solution to this specification as a program consisting of calls to subroutines from a library. The diagram provides an intuitive domain oriented notation for creating a specification that also facilitates reuse and modification. AMPHION'S architecture is domain independent. AMPHION is specialized to an application domain by developing a declarative domain theory. Creating a domain theory is an iterative process that currently requires the joint expertise of domain experts and experts in automated formal methods for software development.

Lowry, Michael↗

Program For Editing Graphical Displays Of Schedules

XOPPS is window-based software tool from graphics providing easy and fast "what you see is what you get" (WYSIWYG) on-screen editing capabilities. Provides area, analogous to canvas, displaying full image of schedule being edited. Canvas contains header area (for test) and schedule area (for plotting graphical representations of milestone objects in flexible time line). Written in C language.

Mulnix, Cassie L.↗

Program Helps Decompose Complex Design Systems

DeMAID (Design Manager's Aid for Intelligent Decomposition) computer program is knowledge-based software system for ordering sequence of modules and identifying possible multilevel structure for design problems such as large platforms in outer space. Groups modular subsystems on basis of interactions among them. Saves considerable amount of money and time in total design process, particularly in new design problem in which order of modules has not been defined. Originally written for design problems, also applicable to problems containing modules (processes) that take inputs and generate outputs. Available in three machine versions: Macintosh written in Symantec's Think C 3.01, Sun, and SGI IRIS in C language.

Rogers, James L., Jr.↗

Feasibility Study of a Rotorcraft Health and Usage Monitoring System ( HUMS): Usage and Structural Life Monitoring Evaluation

The objective of this study was to evaluate two techniques, Flight Condition Recognition (FCR) and Flight Load Synthesis (FLS), for usage monitoring and assess the potential benefits of extending the retirement intervals of life-limited components, thus reducing the operator's maintenance and replacement costs. Both techniques involve indirect determination of loads using measured flight parameters and subsequent fatigue analysis to calculate the life expended on the life-limited components. To assess the potential benefit of usage monitoring, the two usage techniques were compared to current methods of component retirement. In addition, comparisons were made with direct load measurements to assess the accuracy of the two techniques. The data that was used for the evaluation of the usage monitoring techniques was collected under an independent HUMS Flight trial program, using a commercially available HUMS and data recording system. The usage data collect from the HUMS trial aircraft was analyzed off-line using PC-based software that included the FCR and FLS techniques. In the future, if the technique prove feasible, usage monitoring would be incorporated into the onboard HUMS.

Dickson, B.↗

Investigation of Natural and Man-Made Radiation Effects on Crews on Long Duration Space Missions

Over the past several years, NASA has studied a variety of mission scenarios designed to establish a permanent human presence on the surface of Mars. Nuclear electric propulsion (NEP) is one of the possible elements in this program. During the initial stages of vehicle design work, careful consideration must be given to not only the shielding requirements of natural space radiation, but to the shielding and configuration requirements of the on-board reactors. In this work, the radiation transport code MCNP has been used to make initial estimates of crew exposures to reactor radiation fields for a specific manned NEP vehicle design. In this design, three 25 MW(sub th), scaled SP-100-class reactors are shielded by three identical shields. Each shield has layers of beryllium, tungsten, and lithium hydride between the reactor and the crew compartment. Separate calculations are made of both the exiting neutron and gamma fluxes from the reactors during beginning-of-life, full-power operation. This data is then used as the source terms for particle transport in MCNP. The total gamma and neutron fluxes exiting the reactor shields are recorded and separate transport calculations are then performed for a 10 g/sq cm crew compartment aluminum thickness. Estimates of crew exposures have been assessed for various thicknesses of the shield tungsten and lithium hydride layers. A minimal tungsten thickness of 20 cm is required to shield the reactor photons below the 0.05 Sv/y man-made radiation limit. In addition to a 20-cm thick tungsten layer, a 40-cm thick lithium hydride layer is required to shield the reactor neutrons below the annual limit. If the tungsten layer is 30-cm thick, the lithium hydride layer should be at least 30-cm thick. These estimates do not take into account the photons generated by neutron interactions inside the shield because the MCNP neutron cross sections did not allow reliable estimates of photon production in these materials. These results, along with natural space radiation shielding estimates calculated by NASA Langley Research Center, have been used to provide preliminary input data into a new Macintosh-based software tool. A skeletal version of this tool being developed will allow rapid radiation exposure and risk analyses to be performed on a variety of Lunar and Mars missions utilizing nuclear-powered vehicles.

Bolch, Wesley E.↗

Beyond the Renderer: Software Architecture for Parallel Graphics and Visualization

As numerous implementations have demonstrated, software-based parallel rendering is an effective way to obtain the needed computational power for a variety of challenging applications in computer graphics and scientific visualization. To fully realize their potential, however, parallel renderers need to be integrated into a complete environment for generating, manipulating, and delivering visual data. We examine the structure and components of such an environment, including the programming and user interfaces, rendering engines, and image delivery systems. We consider some of the constraints imposed by real-world applications and discuss the problems and issues involved in bringing parallel rendering out of the lab and into production.

Crockett, Thomas W.↗

Three-color resonance ionization spectroscopy of Zr in Si

As our society becomes technologically more complex, computers are being used in greater and greater numbers of high consequence systems. Giving a machine control over the lives of humans can be disturbing, especially if the software that is run on such a machine has bugs. Formal reasoning is one of the most powerful techniques available to demonstrate the correctness of a piece of software. When reasoning about software and its development, one frequently encounters expressions that contain partial functions. As might be expected, the presence of partial functions introduces an additional dimension of difficulty to the reasoning framework. This difficulty produces an especially strong impact in the case of high consequence systems. An ability to use formal methods for constructing software is essential if we want to obtain greater confidence in such systems through formal reasoning. This is only reasonable under automation of software development and verification. However, the ubiquitous presence of partial functions prevents a uniform application to software of any tools not specifically accounting for partial functions. In this paper we will describe a framework for reasoning about software, based on the nonstrict explicit domain approach, that is applicable to a large class of software/hardware systems. In this framework the Hoare triples containing partial functions can be reasoned about automatically in a well-defined and uniform manner.

Hansen, C. S.↗

A Database for Propagation Models

The Propagation Models Database is designed to allow the scientists and experimenters in the propagation field to process their data through many known and accepted propagation models. The database is an Excel 5.0 based software that houses user-callable propagation models of propagation phenomena. It does not contain a database of propagation data generated out of the experiments. The database not only provides a powerful software tool to process the data generated by the experiments, but is also a time- and energy-saving tool for plotting results, generating tables and producing impressive and crisp hard copy for presentation and filing.

Kantak, Anil V.↗

A Database for Propagation Models

The Propagation Models Database is designed to allow the scientists and experimenters in the propagation field to process their data through many known and accepted propagation models. The database is an Excel 5.0 based software that houses user-callable propagation models of propagation phenomena. It does not contain a database of propagation data generated out of the experiments. The database not only provides a powerful software tool to process the data generated by the experiments, but is also a time- and energy-saving tool for plotting results, generating tables and producing impressive and crisp hard copy for presentation and filing.

Kantak, Anil V.↗

Free-Swinging Failure Tolerance for Robotic Manipulators

Under this GSRP fellowship, software-based failure-tolerance techniques were developed for robotic manipulators. The focus was on failures characterized by the loss of actuator torque at a joint, called free-swinging failures. The research results spanned many aspects of the free-swinging failure-tolerance problem, from preparing for an expected failure to discovery of postfailure capabilities to establishing efficient methods to realize those capabilities. Developed algorithms were verified using computer-based dynamic simulations, and these were further verified using hardware experiments at Johnson Space Center.

English, James↗

Free-Swinging Failure Tolerance for Robotic Manipulators

Under this GSRP fellowship, software-based failure-tolerance techniques were developed for robotic manipulators. The focus was on failures characterized by the loss of actuator torque at a joint, called free-swinging failures. The research results spanned many aspects of the free-swinging failure-tolerance problem, from preparing for an expected failure to discovery of postfailure capabilities to establishing efficient methods to realize those capabilities. Developed algorithms were verified using computer-based dynamic simulations, and these were further verified using hardware experiments at Johnson Space Center.

English, James↗