Search NASA⌕ Search

SEARCH · Search NASA

Results for “Hardware Demonstration”

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 325 records · Page 18

Verification of the FtCayuga fault-tolerant microprocessor system. Volume 2: Formal specification and correctness theorems

Presented here is a formal specification and verification of a property of a quadruplicately redundant fault tolerant microprocessor system design. A complete listing of the formal specification of the system and the correctness theorems that are proved are given. The system performs the task of obtaining interactive consistency among the processors using a special instruction on the processors. The design is based on an algorithm proposed by Pease, Shostak, and Lamport. The property verified insures that an execution of the special instruction by the processors correctly accomplishes interactive consistency, providing certain preconditions hold, using a computer aided design verification tool, Spectool, and the theorem prover, Clio. A major contribution of the work is the demonstration of a significant fault tolerant hardware design that is mechanically verified by a theorem prover.

Bickford, Mark↗

Multispectral image fusion using neural networks

A prototype system is being developed to demonstrate the use of neural network hardware to fuse multispectral imagery. This system consists of a neural network IC on a motherboard, a circuit card assembly, and a set of software routines hosted by a PC-class computer. Research in support of this consists of neural network simulations fusing 4 to 7 bands of Landsat imagery and fusing (separately) multiple bands of synthetic imagery. The simulations, results, and a description of the prototype system are presented.

Kagel, J. H.↗

Adaptive structures - Challenges, issues, and opportunities

Because of the precise pointing/shape control needs of future space systems coupled with a 10-20-year life requirement and very stringent limitations on system weight, a new approach to their control system design was developed. This approach, adaptive structures, exploits recent breakthroughs in advanced composite materials, sensors and actuators, and intelligent control concepts to provide an integrated structure/controller. Ground experiments, the focus of which to demonstrate and evaluate the emerging control hardware and methodologies on realistic three-dimensional testbeds, are also discussed.

Das, Alok↗

Laser power beaming system analyses

The successful demonstration of the PAMELA adaptive optics hardware and the fabrication of the BTOS truss structure were identified by the program office as the two most critical elements of the NASA power beaming program, so it was these that received attention during this program. Much of the effort was expended in direct program support at MSFC, but detailed technical analyses of the AMP deterministic control scheme and the BTOS truss structure (both the JPL design and a spherical one) were prepared and are attached, and recommendations are given.

Zeiders, Glenn W., Jr.↗

Hierarchical Simulation to Assess Hardware and Software Dependability

This thesis presents a method for conducting hierarchical simulations to assess system hardware and software dependability. The method is intended to model embedded microprocessor systems. A key contribution of the thesis is the idea of using fault dictionaries to propagate fault effects upward from the level of abstraction where a fault model is assumed to the system level where the ultimate impact of the fault is observed. A second important contribution is the analysis of the software behavior under faults as well as the hardware behavior. The simulation method is demonstrated and validated in four case studies analyzing Myrinet, a commercial, high-speed networking system. One key result from the case studies shows that the simulation method predicts the same fault impact 87.5% of the time as is obtained by similar fault injections into a real Myrinet system. Reasons for the remaining discrepancy are examined in the thesis. A second key result shows the reduction in the number of simulations needed due to the fault dictionary method. In one case study, 500 faults were injected at the chip level, but only 255 propagated to the system level. Of these 255 faults, 110 shared identical fault dictionary entries at the system level and so did not need to be resimulated. The necessary number of system-level simulations was therefore reduced from 500 to 145. Finally, the case studies show how the simulation method can be used to improve the dependability of the target system. The simulation analysis was used to add recovery to the target software for the most common fault propagation mechanisms that would cause the software to hang. After the modification, the number of hangs was reduced by 60% for fault injections into the real system.

Ries, Gregory Lawrence↗

Effectiveness of Loan Guarantees versus Tax Incentives for Space Launch Ventures

Over the course of the past few years, several new and innovative fully or partiailly reusable launch vehicle designs have been initiated with the objective of reducing the cost of space transportation. These new designs are in various stages hardware development for technology and system demonstrators. The larger vehicles include the Lockheed Martin X-33 technology demonstrator for VentureStar and the Space Access launcher. The smaller launcher ventures include Kelly Space and Technology and Rotary Rocket Company. A common denominator between the new large and small commercial launch systems is the ability to obtain project financing and at an affordable cost. Both are having or will have great difficulty in obtaining financing in the capital markets because of the dollar amounts and the risk involved. The large established companies are pursuing multi-billion dollar developments which are a major challenge to finance because of the size and risk of the projects. The smaller start-up companies require less capital for their smaller systems, however, their lack of corporate financial muscle and launch vehicle track record results in a major challenge to obtain financing also because of high risk. On Wall Street, new launch system financing is a question of market, technical, organizational, legal/regulatory and financial risk. The current limit of acceptable financial risk for Space businesses on Wall Street are the telecommunications and broadcast satellite projects, of which many in number are projected for the future. Tbc recent problems with Iridium market and financial performance are casting a long shadow over new satellite project financing, making it increasingly difficult for the new satellite projects to obtain needed financing.

Scottoline, S.↗

Achieving Space Shuttle Abort-to-Orbit Using the Five-Segment Booster

The Five-Segment Booster design concept was evaluated by a team that determined the concept to be feasible and capable of achieving the desired abort-to-orbit capability when used in conjunction with increased Space Shuttle main engine throttle capability. The team (NASA Johnson Space Center, NASA Marshall Space Flight Center, ATK Thiokol Propulsion, United Space Alliance, Lockheed-Martin Space Systems, and Boeing) selected the concept that provided abort-to-orbit capability while: 1) minimizing Shuttle system impacts by maintaining the current interface requirements with the orbiter, external tank, and ground operation systems; 2) minimizing changes to the flight-proven design, materials, and processes of the current four-segment Shuttle booster; 3) maximizing use of existing booster hardware; and 4) taking advantage of demonstrated Shuttle main engine throttle capability. The added capability can also provide Shuttle mission planning flexibility. Additional performance could be used to: enable implementation of more desirable Shuttle safety improvements like crew escape, while maintaining current payload capability; compensate for off nominal performance in no-fail missions; and support missions to high altitudes and inclinations. This concept is a low-cost, low-risk approach to meeting Shuttle safety upgrade objectives. The Five-Segment Booster also has the potential to support future heavy-lift missions.

Craft, Joe↗

A Study on the Requirements for Fast Active Turbine Tip Clearance Control Systems

This paper addresses the requirements of a control system for active turbine tip clearance control in a generic commercial turbofan engine through design and analysis. The control objective is to articulate the shroud in the high pressure turbine section in order to maintain a certain clearance set point given several possible engine transient events. The system must also exhibit reasonable robustness to modeling uncertainties and reasonable noise rejection properties. Two actuators were chosen to fulfill such a requirement, both of which possess different levels of technological readiness: electrohydraulic servovalves and piezoelectric stacks. Identification of design constraints, desired actuator parameters, and actuator limitations are addressed in depth; all of which are intimately tied with the hardware and controller design process. Analytical demonstrations of the performance and robustness characteristics of the two axisymmetric LQG clearance control systems are presented. Takeoff simulation results show that both actuators are capable of maintaining the clearance within acceptable bounds and demonstrate robustness to parameter uncertainty. The present model-based control strategy was employed to demonstrate the tradeoff between performance, control effort, and robustness and to implement optimal state estimation in a noisy engine environment with intent to eliminate ad hoc methods for designing reliable control systems.

DeCastro, Jonathan A.↗

Status of the Combustion Devices Injector Technology Program at the NASA MSFC

To support the NASA Space Exploration Mission, an in-house program called Combustion Devices Injector Technology (CDIT) is being conducted at the NASA Marshall Space Flight Center (MSFC) for the fiscal year 2005. CDIT is focused on developing combustor technology and analysis tools to improve reliability and durability of upper-stage and in-space liquid propellant rocket engines. The three areas of focus include injector/chamber thermal compatibility, ignition, and combustion stability. In the compatibility and ignition areas, small-scale single- and multi-element hardware experiments will be conducted to demonstrate advanced technological concepts as well as to provide experimental data for validation of computational analysis tools. In addition, advanced analysis tools will be developed to eventually include 3-dimensional and multi- element effects and improve capability and validity to analyze heat transfer and ignition in large, multi-element injectors.

Jones, Gregg↗

Testing, Modeling and System Impact of Metabolic Heat Regenerated Temperature Swing Adsorption

Metabolic heat regenerated temperature swing adsorption (MTSA) technology is being developed for removal and rejection of carbon dioxide (CO2) and heat from a portable life support system (PLSS) to the Martian environment. Previously, hardware was built and tested to demonstrate using heat from simulated, dry ventilation loop gas to affect the temperature swing required to regenerate an adsorbent used for CO2 removal. New testing has been performed using a moist, simulated ventilation loop gas to demonstrate the effects of water condensing and freezing in the heat exchanger during adsorbent regeneration. In addition, thermal models of the adsorbent during regeneration were modified and calibrated with test data to capture the effect of the CO2 heat of desorption. Finally, MTSA impact on PLSS design was evaluated by performing thermal balances assuming a specific PLSS architecture. Results using NASA s Extravehicular Activity System Sizing Analysis Tool (EVAS_SAT), a PLSS system evaluation tool, are presented.

Lacomini, Christine S.↗

The Max Launch Abort System - Concept, Flight Test, and Evolution

The NASA Engineering and Safety Center (NESC) is an independent engineering analysis and test organization providing support across the range of NASA programs. In 2007 NASA was developing the launch escape system for the Orion spacecraft that was evolved from the traditional tower-configuration escape systems used for the historic Mercury and Apollo spacecraft. The NESC was tasked, as a programmatic risk-reduction effort to develop and flight test an alternative to the Orion baseline escape system concept. This project became known as the Max Launch Abort System (MLAS), named in honor of Maxime Faget, the developer of the original Mercury escape system. Over the course of approximately two years the NESC performed conceptual and tradeoff analyses, designed and built full-scale flight test hardware, and conducted a flight test demonstration in July 2009. Since the flight test, the NESC has continued to further develop and refine the MLAS concept.

Gilbert, Michael G.↗

Electrically Driven Single Phase Thermal Management: STP-H5 EHD Experiment

The Electrically Driven Single Phase Thermal Management: STP-H5 iEHDS Experiment is a technology demonstration of prototype proof of concept hardware to establish the feasilibilty and long term operation of this hardware. This is a structural thermal plate that will operate continuous as part of the STP-H5 ISEM experiment for up to 18 months. This presentation discusses the design, fabrication and environmental operational paramertes of the experiment hardware.

Thermal Control Multifunctional Hardware↗

Thermal Modeling of an Advanced Geared Turbofan for Distributed Engine Control Application

Reliability and life-expectancy of gas turbine engine components is very much correlated to the temperature environment in which they operate. This is no different for control system components, especially those with electronic parts. In recent years, the concept of Distributed Engine Control (DEC) has emerged to address the limitations of the current centralized control implementation. This new approach involves relocating control system components from a relatively benign environment to the harsher thermal environment of the engine casing and its surrounding structures and cavities. In this paper, an approach to modeling the gas turbine thermal environment is described. The modeling approach is applied to a 3rd generation geared turbofan design with a focus on the engine locations where control instrumentation and actuation could be installed. The analysis was conducted with an eye toward component reliability and service life as it relates to the thermal environment. The results were found to be reasonable. Furthermore, the model is shown to execute in real-time within a multi-model simulation environment that demonstrates the capability to interact with hardware to drive test equipment.

Kratz, Jonathan↗

Demonstration of automated proximity and docking technologies

An autodock was demonstrated using straightforward techniques and real sensor hardware. A simulation testbed was established and validated. The sensor design was refined with improved optical performance and image processing noise mitigation techniques, and the sensor is ready for production from off-the-shelf components. The autonomous spacecraft architecture is defined. The areas of sensors, docking hardware, propulsion, and avionics are included in the design. The Guidance Navigation and Control architecture and requirements are developed. Modular structures suitable for automated control are used. The spacecraft system manager functions including configuration, resource, and redundancy management are defined. The requirements for autonomous spacecraft executive are defined. High level decisionmaking, mission planning, and mission contingency recovery are a part of this. The next step is to do flight demonstrations. After the presentation the following question was asked. How do you define validation? There are two components to validation definition: software simulation with formal and vigorous validation, and hardware and facility performance validated with respect to software already validated against analytical profile.

Anderson, Robert L.↗

Extended Logic Intelligent Processing System for a Sensor Fusion Processor Hardware

The paper presents the hardware implementation and initial tests from a low-power, highspeed reconfigurable sensor fusion processor. The Extended Logic Intelligent Processing System (ELIPS) is described, which combines rule-based systems, fuzzy logic, and neural networks to achieve parallel fusion of sensor signals in compact low power VLSI. The development of the ELIPS concept is being done to demonstrate the interceptor functionality which particularly underlines the high speed and low power requirements. The hardware programmability allows the processor to reconfigure into different machines, taking the most efficient hardware implementation during each phase of information processing. Processing speeds of microseconds have been demonstrated using our test hardware.

Stoica, Adrian↗

Comparing the Electrical Modeling and Thermal Analysis Toolbox Simulation Data to Electrified Aircraft Propulsion Test Hardware Data

A model using the Electrical Modeling and Thermal Analysis Toolbox (EMTAT), a National Aeronautics and Space Administration (NASA)-developed Simulink® model block library of electrical components, was developed to mirror the Hybrid Propulsion Emulation Rig (HyPER) hardware, a laboratory focused on Electrified Aircraft Propulsion (EAP) hardware tests. The goal of the model was to demonstrate the utility of the library by comparing the accuracy of the library models to the performance of real hardware, with the primary metrics being the simulation outputs matching physical test hardware data within 5% of full scale.The objective of this paper is to present the background, setup, testing and results of this comparison. It describes some of the adjustments that were necessary to match the system hardware, as well as next steps in verification and validation. The outputs of the model were compared to the results of several tests in HyPER, and in the process captured an additional torque loss that is still being analyzed for the root cause but has been confirmed in the hardware. Across all the test series, only one key model parameter was outside the target 5% full scale matching, and nearly 70% were within 1%.

Mark E Bell↗

Comparing the Electrical Modeling and Thermal Analysis Toolbox Simulation Data to Electrified Aircraft Propulsion Test Hardware Data

A model using the Electrical Modeling and Thermal Analysis Toolbox (EMTAT), a National Aeronautics and Space Administration (NASA)-developed Simulink® model block library of electrical components, was developed to mirror the Hybrid Propulsion Emulation Rig (HyPER) hardware, a laboratory focused on Electrified Aircraft Propulsion (EAP) hardware tests. The goal of the model was to demonstrate the utility of the library by comparing the accuracy of the library models to the performance of real hardware, with the primary metrics being the simulation outputs matching physical test hardware data within 5 percent of full scale. The objective of this paper is to present the background, setup, testing and results of this comparison. It describes some of the adjustments that were necessary to match the system hardware, as well as next steps in verification and validation. The outputs of the model were compared to the results of several tests in HyPER, and in the process captured an additional torque loss that is still being analyzed for the root cause but has been confirmed in the hardware. Across all the test series, only one key model parameter was outside the target 5 percent full scale matching, and nearly 70 percent were within 1 percent.

Mark E. Bell↗

Long decoding runs for Galileo's convolutional codes

Decoding results are described for long decoding runs of Galileo's convolutional codes. A 1 k-bit/sec hardware Viterbi decoder is used for the (15, 1/4) convolutional code, and a software Viterbi decoder is used for the (7, 1/2) convolutional code. The output data of these long runs are stored in data files using a data compression format which can reduce file size by a factor of 100 to 1 typically. These data files can be used to replicate the long, time-consuming runs exactly and are useful to anyone who wants to analyze the burst statistics of the Viterbi decoders. The 1 k-bit/sec hardware Viterbi decoder was developed in order to demonstrate the correctness of certain algorithmic concepts for decoding Galileo's experimental (15, 1/4) code, and for the long-constraint-length codes in general. The hardware decoder can be used both to search for good codes and to measure accurately the performance of known codes.

Lahmeyer, C. R.↗