SEARCH · Search NASA
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.
This paper describes intra-layer architecture of a neuroprocessor organized in a SIMD configuration and the two challenging applications, misfire detection and engine idle speed control, that had served as the focus of this effort.
In Linear Temporal Logic (LTL) model checking, we check LTL formulas representing desired behaviors against a formal model of the system designed to exhibit these behaviors. To accomplish this task, the LTL formulas must be translated into automata [21]. We focus on LTL compilation by investigating LTL satisfiability checking via a reduction to model checking. Having shown that symbolic LTL compilation algorithms are superior to explicit automata construction algorithms for this task [16], we concentrate here on seeking a better symbolic algorithm.We present experimental data comparing algorithmic variations such as normal forms, encoding methods, and variable ordering and examine their effects on performance metrics including processing time and scalability. Safety critical systems, such as air traffic control, life support systems, hazardous environment controls, and automotive control systems, pervade our daily lives, yet testing and simulation alone cannot adequately verify their reliability [3]. Model checking is a promising approach to formal verification for safety critical systems which involves creating a formal mathematical model of the system and translating desired safety properties into a formal specification for this model. The complement of the specification is then checked against the system model. When the model does not satisfy the specification, model-checking tools accompany this negative answer with a counterexample, which points to an inconsistency between the system and the desired behaviors and aids debugging efforts.
Photomultiplier detector of Canopus for spacecraft attitude control
Modeling guidelines constitute one of the fundamental cornerstones for Model Based Development. Their relevance is essential when dealing with code generation in the safety-critical domain. This article presents the experience of a railway signaling systems manufacturer on this issue. Introduction of Model-Based Development (MBD) and code generation in the industrial safety-critical sector created a crucial paradigm shift in the development process of dependable systems. While traditional software development focuses on the code, with MBD practices the focus shifts to model abstractions. The change has fundamental implications for safety-critical systems, which still need to guarantee a high degree of confidence also at code level. Usage of the Simulink/Stateflow platform for modeling, which is a de facto standard in control software development, does not ensure by itself production of high-quality dependable code. This issue has been addressed by companies through the definition of modeling rules imposing restrictions on the usage of design tools components, in order to enable production of qualified code. The MAAB Control Algorithm Modeling Guidelines (MathWorks Automotive Advisory Board)[3] is a well established set of publicly available rules for modeling with Simulink/Stateflow. This set of recommendations has been developed by a group of OEMs and suppliers of the automotive sector with the objective of enforcing and easing the usage of the MathWorks tools within the automotive industry. The guidelines have been published in 2001 and afterwords revisited in 2007 in order to integrate some additional rules developed by the Japanese division of MAAB [5]. The scope of the current edition of the guidelines ranges from model maintainability and readability to code generation issues. The rules are conceived as a reference baseline and therefore they need to be tailored to comply with the characteristics of each industrial context. Customization of these recommendations has been performed for the automotive control systems domain in order to enforce code generation [7]. The MAAB guidelines have been found profitable also in the aerospace/avionics sector [1] and they have been adopted by the MathWorks Aerospace Leadership Council (MALC). General Electric Transportation Systems (GETS) is a well known railway signaling systems manufacturer leading in Automatic Train Protection (ATP) systems technology. Inside an effort of adopting formal methods within its own development process, GETS decided to introduce system modeling by means of the MathWorks tools [2], and in 2008 chose to move to code generation. This article reports the experience performed by GETS in developing its own modeling standard through customizing the MAAB rules for the railway signaling domain and shows the result of this experience with a successful product development story.
A multiple channel high data rate pressure sensing device is disclosed for use in wind tunnels, spacecraft, airborne, process control, automotive, etc., pressure measurements. Data rates in excess of 100,000 measurements per second are offered with inaccuracies from temperature shifts less than 0.25% (nominal) of full scale over a temperature span of 55 C. The device consists of thirty-two solid state sensors, signal multiplexing electronics to electronically address each sensor, and digital electronic circuitry to automatically correct the inherent thermal shift errors of the pressure sensors and their associated electronics.
Fluidic controls for automotive engine examined by Rankine cycle performance with water, CP-34, and freon TF and investigation for boiler and feed pump control criteria
Demands on the performance of vehicle control and diagnostic systems are steadily increasing as a consequence of stiff global competition and government mandates. In the United States, light trucks and passenger cars are required both to meet strict emission standards and to perform continuous diagnostics of all emissions systems operating in the vehicle.
Explore the source record for details and available documents.
A fuel control system is reported for automotive-type gas turbines and particulary advanced gas turbines utilizing variable geometry components to improve mileage and reduce pollution emission. The fuel control system compensates for fuel density variations, inlet temperature variations, turbine vane actuation, acceleration, and turbine braking. These parameters are utilized to control various orifices, spool valves and pistons.
High-temperature shape-memory alloys (HTSMAs) based on nickel-titanium (NiTi) with significant ternary additions of palladium (Pd), platinum (Pt), gold (Au), or hafnium (Hf) have been identified as potential high-temperature actuator materials for use up to 500 C. These materials provide an enabling technology for the development of "smart structures" used to control the noise, emissions, or efficiency of gas turbine engines. The demand for these high-temperature versions of conventional shape-memory alloys also has been growing in the automotive, process control, and energy industries. However these materials, including the NiPtTi alloys being developed at the NASA Glenn Research Center, will never find widespread acceptance unless they can be readily processed into useable forms.
The ability to measure emissions from aeronautic engines and in commercial applications such as automotive emission control and chemical process monitoring is a necessary first step if one is going to actively control those emissions. One single sensor will not give all the information necessary to determine the chemical composition of a high-temperature, harsh environment. Rather, an array of gas sensor arrays--in effect, a high-temperature electronic "nose"--is necessary to characterize the chemical constituents of a diverse, high-temperature environment, such as an emissions stream. The signals produced by this nose could be analyzed to determine the constituents of the emission stream. Although commercial electronic noses for near-room temperature applications exist, they often depend significantly on lower temperature materials or only one sensor type. A separate development effort necessary for a high-temperature electronic nose is being undertaken by the NASA Glenn Research Center, Case Western Reserve University, Ohio State University, and Makel Engineering, Inc. The sensors are specially designed for hightemperature environments. A first-generation high-temperature electronic nose has been demonstrated on a modified automotive engine. This nose sensor array was composed of sensors designed for hightemperature environments fabricated using microelectromechanical-systems- (MEMS-) based technology. The array included a tin-oxide-based sensor doped for nitrogen oxide (NOx) sensitivity, a SiC-based hydrocarbon (CxHy) sensor, and an oxygen sensor (O2). These sensors operate on different principles--resistor, diode, and electrochemical cell, respectively--and each sensor has very different responses to the individual gases in the environment. A picture showing the sensor head for the array is shown in the photograph on the left and the sensors installed in the engine are shown in the photograph on the right. Electronics are interfaced with the sensors for temperature control and signal conditioning, and packaging designed for high temperatures is necessary for the array to survive the engine environment.
In recent years, the aerospace propulsion and space power communities have expressed a growing need for electronic devices that are capable of sustained high temperature operation. Applications for high temperature electronic devices include development instrumentation within engines, engine control, and condition monitoring systems, and power conditioning and control systems for space platforms and satellites. Other earth-based applications include deep-well drilling instrumentation, nuclear reactor instrumentation and control, and automotive sensors. To meet the needs of these applications, the High Temperature Electronics Program at the Lewis Research Center is developing silicon carbide (SiC) as a high temperature semiconductor material. Research is focussed on developing the crystal growth, characterization, and device fabrication technologies necessary to produce a family of silicon carbide electronic devices and integrated sensors. The progress made in developing silicon carbide is presented, and the challenges that lie ahead are discussed.
Heterogeneous photocatalysis involves the use of a light-activated catalyst at room temperature in order to carry out a desired reaction. In the presence of molecular oxygen, illumination of the n-type semiconductor oxide titanium dioxide (TiO2) provides for production of highly active forms of oxygen, such as hydroxyl radicals, which are able to carry out the complete oxidative destruction of simple hydrocarbons such as methane, ethane, ethylene, propylene, and carbon monoxide. This broad oxidation potential, coupled with the ability with sufficient residence time to achieve complete oxidation of simple hydrocarbon contaminants to carbon dioxide and water, indicated that heterogeneous photocatalysis should be examined for its potential for purification of spacecraft air. If a successful catalyst and photoreactor could be demonstrated at the laboratory level, such results would allow consideration of photocatalysts as a partial or complete replacement of adsorption systems, thereby allowing for reduction in lift-off weight of a portion of the life support system for the spacecraft, or other related application such as a space station or a conventional commercial aircraft. The present research was undertaken to explore this potential through achievement of the following plan of work: (a) ascertain the intrinsic kinetics of conversion of pollutants of interest in spacecraft, (b) ascertain the expected lifetime of catalysts through examination of most likely routes of catalyst deactivation and regeneration, (c) model and explore experimentally the low pressure drop catalytic monolith, a commercial configuration for automotive exhaust control, and (d) examine the kinetics of multicomponent conversions. In the recent course of this work, we have also discovered how to increase catalyst activity via halide promotion which has allowed us to achieve approximately 100% conversion of an aromatic contaminant (toluene) in a very short residence time of 5-6 milliseconds.
Heterogeneous photocatalysis involves the use of a light-activated catalyst at room temperature in order to carry out a desired reaction. In the presence of molecular oxygen, illumination of the n-type semiconductor oxide titanium dioxide (TiO2) provides for production of highly active forms of oxygen, such as hydroxyl radicals, which are able to carry out the complete oxidative destruction of simple hydrocarbons such as methane, ethane, ethylene, propylene, and carbon monoxide. This broad oxidation potential, coupled with the ability with sufficient residence time to achieve complete oxidation of simple hydrocarbon contaminants to carbon dioxide and water, indicated that heterogeneous photocatalysis should be examined for its potential for purification of spacecraft air. If a successful catalyst and photoreactor could be demonstrated at the laboratory level, such results would allow consideration of photocatalysts as a partial or complete replacement of adsorption systems, thereby allowing for reduction in lift-off weight of a portion of the life support system for the spacecraft, or other related application such as a space station or a conventional commercial aircraft. The present research was undertaken to explore this potential through achievement of the following plan of work: (a) ascertain the intrinsic kinetics of conversion of pollutants of interest in spacecraft, (b) ascertain the expected lifetime of catalysts through examination of most likely routes of catalyst deactivation and regeneration (c) model and explore experimentally the low pressure drop catalytic monolith, a commercial configuration for automotive exhaust control (d) examine the kinetics of multicomponent conversions. In the recent course of this work, we have also discovered how to increase catalyst activity via halide promotion which has allowed us to achieve approximately 100% conversion of an aromatic contaminant (toluene) in a very short residence time of 5-6 milliseconds.
Spanning over 4 decades, NASA's bolt tension monitoring technology has benefited automakers, airplane builders, and other major manufacturers that rely on the devices to evaluate the performance of computerized torque wrenches and other assembly line mechanisms. In recent years, the advancement of ultrasonic sensors has drastically eased this process for users, ensuring that proper tension and torque are being applied to bolts and fasteners, with less time needed for data analysis. Langley Research Center s Nondestructive Evaluation Branch is one of the latest NASA programs to incorporate ultrasonic sensors within a bolt tension measurement instrument. As a multi-disciplined research group focused on spacecraft and aerospace transportation safety, one of the branch s many commitments includes transferring problem solutions to industry. In 1998, the branch carried out this obligation in a licensing agreement with Micro Control, Inc., of West Bloomfield, Michigan. Micro Control, an automotive inspection company, obtained the licenses to two Langley patents to provide an improved-but-inexpensive means of ultrasonic tension measurement.
Interest in high-temperature shape memory alloys (HTSMA) has been growing in the aerospace, automotive, process control, and energy industries. However, actual materials development has seriously lagged component design, with current commercial NiTi alloys severely limited in their temperature capability. Additions of Pd, Pt, Au, Hf, and Zr at levels greater than 10 at.% have been shown to increase the transformation temperature of NiTi alloys, but with few exceptions, the shape memory behavior (strain recovery) of these NiTiX systems has been determined only under stress free conditions. Given the limited amount of basic mechanical test data and general lack of information regarding the work attributes of these materials, a program to investigate the mechanical behavior of potential HTSMAs, with transformation temperatures between 100 and 500 C, was initiated. This paper summarizes the results of studies, focusing on both the practical temperature limitations for ternary TiNiPd and TiNiPt systems based on the work output of these alloys and the ability of these alloys to undergo repeated thermal cycling under load without significant permanent deformation or "walking". These issues are ultimately controlled by the detwinning stress of the martensite and resistance to dislocation slip of the individual martensite and austenite phases. Finally, general rules that govern the development of useful, high work output, next-generation HTSMA materials, based on the lessons learned in this work, will be provided
Human errors tend to be treated in terms of clinical and anecdotal descriptions, from which remedial measures are difficult to derive. Correction of the sources of human error requires an attempt to reconstruct underlying and contributing causes of error from the circumstantial causes cited in official investigative reports. A comprehensive analytical theory of the cause-effect relationships governing propagation of human error is indispensable to a reconstruction of the underlying and contributing causes. A validated analytical theory of the input-output behavior of human operators involving manual control, communication, supervisory, and monitoring tasks which are relevant to aviation, maritime, automotive, and process control operations is highlighted. This theory of behavior, both appropriate and inappropriate, provides an insightful basis for investigating, classifying, and quantifying the needed cause-effect relationships governing propagation of human error.
Over the past three years, our group has concentrated on the application of neural network methods to the training of controllers for real-world systems. This presentation describes our approach, surveys what we have found to be important, mentions some contributions to the field, and shows some representative results. Topics discussed include: (1) executing model studies as rehearsal for experimental studies; (2) the importance of correct derivatives; (3) effective training with second-order (DEKF) methods; (4) the efficacy of time-lagged recurrent networks; (5) liberation from the tyranny of the control cycle using asynchronous truncated backpropagation through time; and (6) multistream training for robustness. Results from model studies of automotive idle speed control serve as examples for several of these topics.