Search NASA⌕ Search

SEARCH · Search NASA

Results for “version control”

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 145 records · Page 8

Artificial intelligence-based predictive modeling for imaging neutral particle analyzers on the DIII-D tokamak

The Imaging Neutral Particle Analyzer (INPA) at DIII-D is a diagnostic system used to accurately resolve the energy and spatial distributions of fast ions in fusion plasmas. A novel artificial intelligence (AI) technique named INPA-net is based on Reservoir Computing Networks and developed here to predict active and passive signals produced by charge-exchange reactions from injected and edge-cold neutrals, respectively, in magnetically confined fusion plasmas. This model is trained using a set of 21 time domain signals between 0 s to 3.35 s that includes injected beam and thermal plasma information, and 6444 real 2D experimental images of the INPA in 12 plasma discharges at DIII-D. The trained neural network is able to forecast experimental images in real-time. The model achieves an R-squared value of 0.91, which is higher than the 0.83 value achieved by a simple linear regression model. This improvement highlights the model's enhanced predictive accuracy for measured images from the validation set. This AI approach is valuable due to its rapid response times and potential for integration into real-time plasma control systems. A version of this model capable of generating syntehic images would be useful for the real-time monitoring of fast-ion transport. A comprehensive sensitivity study reveals that INPA-net maintains high performance even with variations in the input parameters, indicating the model's robustness and reliability. While developed for the INPA, the underlying architecture is adaptable and may be applied to various 2D imaging diagnostics in fusion research.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Second generation experiments in fault tolerant software

The purpose of the Multi-Version Software (MVS) experiment is to obtain empirical measurements of the performance of multi-version systems. Twenty version of a program were prepared under reasonably realistic development conditions from the same specifications. The overall structure of the testing environment for the MVS experiment and its status are described. A preliminary version of the control system is described that was implemented for the MVS experiment to allow the experimenter to have control over the details of the testing. The results of an empirical study of error detection using self checks are also presented. The analysis of the checks revealed that there are great differences in the ability of individual programmers to design effective checks.

Knight, J. C.↗

Markov chains for testing redundant software

A preliminary design for a validation experiment has been developed that addresses several problems unique to assuring the extremely high quality of multiple-version programs in process-control software. The procedure uses Markov chains to model the error states of the multiple version programs. The programs are observed during simulated process-control testing, and estimates are obtained for the transition probabilities between the states of the Markov chain. The experimental Markov chain model is then expanded into a reliability model that takes into account the inertia of the system being controlled. The reliability of the multiple version software is computed from this reliability model at a given confidence level using confidence intervals obtained for the transition probabilities during the experiment. An example demonstrating the method is provided.

White, Allan L.↗

Improving situation awareness displays for air traffic controllers

Situation awareness displays play a critical role in the performance of air traffic controllers, but present versions are far from ideal. One problem is the use of alphanumeric datablocks for critical information such as altitude and speed. Reading datablocks is cumbersome and time-consuming, and additional cognitive effort is required to retain and use the information obtained. We investigated redundant pictorial display of datablock information. Four experiments tested different schemes for depicting altitude. The performance measure was the time to find a target aircraft whose altitude was within 1000 feet of a cued aircraft. Color-coding of altitude (either discrete bands or continuously varying hues) substantially improved performance. A variety of achromatic pictorial codes for altitude (including size, intensity and micro-texture pattern) produced modest improvement or none at all. Icons that provide an integrated perceptual reprensation of aircraft altitude, altitude change, speed, and projected path are discussed.

Johnston, James C.↗

Formal Aspects of Human-Automation Interaction

While new versions of automated control systems such as flight guidance systems are introduced at a rapid pace, it is widely recognized that user interaction with these machines is increasingly problematic. One cause for this difficulty that is commonly cited in the literature, is the discrepancy between the machine's behavior and the operator's (e.g., pilot) expectations. This paper discusses a formal approach to the analysis of operator's interaction with complex automated control systems. We focus attention on the issue of interface correctness; that is, on the question whether the display provides adequate information about the machine's configurations (states, modes, and associated parameters) and transitions, so as to enable the operator to successfully perform the specified set of tasks. To perform the analysis several assumptions are made: (1) A complete formal model of the machine's behavior is available (e.g., as a state transition system, or as a hybrid-machine); (2) A specification of operator's tasks is available and can be formally described (e.g., the reliable and predictable transition between activities involved in executing a climb to a new altitude); (3) The pilot is well trained and has a correct 'mental' model of the machine's response-map. By 'comparing' the machine's model with the set of operator's tasks we formally (i.e., mathematically) evaluate two questions: 1) does the machine's output interface (display) enable the operator to determine, unambiguously, what the current configuration (e.g., mode) of the machine is, and 2) does the display enable the operator to determine, unambiguously, what the next configuration of the machine will be, in response to a specified interaction by the operator (e.g., engaging a mode or changing a parameter such as a speed or target altitude). This paper describes a methodology for conducting such an evaluation using examples from automated flight control systems of modem 'glass cockpit' jetliners. Taxonomy of the different types of discrepancies that lead to pilot inability to resolve the current and next configuration of the machine is suggested. Data from incident reports involving 'mode confusion' is used to corroborate these discrepancies. Finally, means for compensating, either by augmenting the display and/or the operator's 'mental model' are briefly mentioned.

Degani, Asaf↗

Inventory Management

Known as MRO for Maintenance, Repair and Operating supplies, Tropicana Products, Inc.'s automated inventory management system is an adaptation of the Shuttle Inventory Management System (SIMS) developed by NASA to assure adequate supply of every item used in support of the Space Shuttle. The Tropicana version monitors inventory control, purchasing receiving and departmental costs for eight major areas of the company's operation.

Source record↗

Air Traffic Control Improvement Using Prioritized CSMA

Version 7 simulations of the industry-standard network simulation software "OPNET" are presented of two applications of the Aeronautical Telecommunications Network (ATN), Controller Pilot Data Link Communications (CPDLC) and Automatic Dependent Surveillance-Broadcast mode (ADS-B), over VHF Data Link mode 2 (VDL-2). Communication is modeled for air traffic between just three cities. All aircraft are assumed to have the same equipage. The simulation involves Air Traffic Control (ATC) ground stations and 105 aircraft taking off, flying realistic free-flight trajectories, and landing in a 24-hr period. All communication is modeled as unreliable. Collision-less, prioritized carrier sense multiple access (CSMA) is successfully tested. The statistics presented include latency, queue length, and packet loss. This research may show that a communications system simpler than the currently accepted standard envisioned may not only suffice, but also surpass performance of the standard at a lower cost of deployment.

Robinson, Daryl C.↗

Development of N-version software samples for an experiment in software fault tolerance

The report documents the task planning and software development phases of an effort to obtain twenty versions of code independently designed and developed from a common specification. These versions were created for use in future experiments in software fault tolerance, in continuation of the experimental series underway at the Systems Validation Methods Branch (SVMB) at NASA Langley Research Center. The 20 versions were developed under controlled conditions at four U.S. universities, by 20 teams of two researchers each. The versions process raw data from a modified Redundant Strapped Down Inertial Measurement Unit (RSDIMU). The specifications, and over 200 questions submitted by the developers concerning the specifications, are included as appendices to this report. Design documents, and design and code walkthrough reports for each version, were also obtained in this task for use in future studies.

Lauterbach, L.↗

IPACS Attitude Control Technology Considerations

Larger facilities or the Space Station and its evolutionary versions are considered for the control bandwidth which will evolve to lower values, probably in the 0.01 to 0.1 hertz range. An integrated power attitude control systems (IPACS) unit that incorporates conventional mechanical bearings to have a bandwidth of 4-10 hertz is expected. If the IPACS unit incorporates the advanced technology magnetic bearing, a bandwidth of 1.2 hertz is expected. It is found that for the Space Station or even the Space Platform, either of the above IPACS concepts are adequate.

Brandon, L.↗

IAC control system analysis development

The MultiOptimal Differential Equation Language (MODEL) is described. It provides a means for generating numerical solutions to systems of differential equations using a digital computer. The notation of this language is similar to that usually used in describing physical systems by differential equations. Thus, the learning process is simplified, programming becomes easier, and debugging is more readily accomplished. Programs written in the MultiOptimal Differential Equation Language are machine translated into FORTRAN 4 code which is optimal in several respects. The interactive version of MODEL makes use of interactive system routines so that the user may observe the solution as it is being generated and interact with the program in a manner similar to that associated with analog simulation. The DISCOS-Control version of the MODEL simulation language is used to describe the control system for a plant which is modelled by the DISCOS program. DISCOS plant variables may be referenced in the control system description and all the sensor signals, coupling torques, momentum devices and external loads are automatically linked to the DISCOS plant model.

Frisch, H. P.↗

Adaptive control robustness in flexible aircraft application

This paper presents the application of a model reference adaptive control (MRAC) algorithm to flexible aircraft flight control. The algorithm is an adaptive version of the Command Generator Tracking (CGT) control technique. This technique forces a dynamic system to follow a reduced-order model, allowing it to cope with the problem of unmodeled dynamics. The studies were made via simulation, using for the plant an aircraft dynamic model similar to the B1 bomber. This model is of a large aircraft with a reasonable amount of structural flexibility. In particular, flight configurations were analyzed where the influence of the flexible modes make it difficult to control the aircraft. The results indicate that the algorithm has good robustness properties vis-a-vis unmodeled dynamics and can force the flexible aircraft to follow rigid body responses.

Sanchez, E. N.↗

Wind Tunnel Testing of Active Flow Control on High-Lift Common Research Model

A 10%-scale high-lift version of the Common Research Model (CRM-HL) and an Active Flow Control (AFC) version of the model equipped with a simple-hinged flap (CRM-SHLAFC) were successfully tested. The tests were performed in the 14- by 22-Foot Subsonic Tunnel (14x22) at the NASA Langley Research Center (LaRC). The CRM-HL has a set of 37° inboard and outboard single-element Fowler flaps. The CRM-SHL-AFC has a set of 50° inboard and 55° outboard simple-hinged flaps equipped with integrated modular AFC cartridges on the flap shoulder. Both high-lift configurations share the same 30° slats and engine nacelle. Three new types of AFC devices were examined: the Double-Row Sweeping Jets (DRSWJ), the Alternating Pulsed Jets (APJ), and the High Efficiency Low Power (HELP) actuators. The DRSWJ and the APJ actuators used two rows of unsteady jets, whereas the HELP actuators used a combination of unsteady and steady jets, to overcome strong adverse pressure gradients while minimizing the mass flow usage. Nozzle pressure ratio, mass flow consumption and the power coefficient, which takes account of both supply air pressure and mass flow usage for the actuators, were used for judging the performance efficiency of the AFC devices. A prestall lift performance degradation for the CRM-HL configuration was resolved with a properly placed nacelle chine. The configuration with nacelle chine was chosen as the representative reference conventional high-lift case for comparison with the CRMSHL- AFC. The AFC-induced lift coefficient increment (DCL) was maintained for the entire lift curve over the CRM-SHL-AFC case with no AFC for almost all flow-control cases examined. The lift curve of the reference CRM-HL have a slightly steeper slope compared to those of the CRM-SHL-AFC configurations. The HELP actuation concept was extremely effective in controlling flow separation in the “linear region” of the curves comparing lift coefficient to mass flow rate. The HELP actuation achieved a targeted DCL of 0.50 using a moderate amount of mass flow and supply air pressure. The CRM-SHL-AFC configuration equipped with HELP actuation was able to match or exceed the lift performance of the reference conventional high-lift configuration (i.e., CRM-HL equipped with a nacelle chine), thus meeting the NASA Advanced Air Transport Technology (AATT) project goal.

Lin, John C.↗

New multivariable capabilities of the INCA program

The INteractive Controls Analysis (INCA) program was developed at NASA's Goddard Space Flight Center to provide a user friendly, efficient environment for the design and analysis of control systems, specifically spacecraft control systems. Since its inception, INCA has found extensive use in the design, development, and analysis of control systems for spacecraft, instruments, robotics, and pointing systems. The (INCA) program was initially developed as a comprehensive classical design analysis tool for small and large order control systems. The latest version of INCA, expected to be released in February of 1990, was expanded to include the capability to perform multivariable controls analysis and design.

Bauer, Frank H.↗

Ergonomics technology

Major areas of research and development in ergonomics technology for space environments are discussed. Attention is given to possible applications of the technology developed by NASA in industrial settings. A group of mass spectrometers for gas analysis capable of fully automatic operation has been developed for atmosphere control on spacecraft; a version for industrial use has been constructed. Advances have been made in personal cooling technology, remote monitoring of medical information, and aerosol particle control. Experience gained by NASA during the design and development of portable life support units has recently been applied to improve breathing equipment used by fire fighters.

Jones, W. L.↗

Automatically generated acceptance test: A software reliability experiment

This study presents results of a software reliability experiment investigating the feasibility of a new error detection method. The method can be used as an acceptance test and is solely based on empirical data about the behavior of internal states of a program. The experimental design uses the existing environment of a multi-version experiment previously conducted at the NASA Langley Research Center, in which the launch interceptor problem is used as a model. This allows the controlled experimental investigation of versions with well-known single and multiple faults, and the availability of an oracle permits the determination of the error detection performance of the test. Fault interaction phenomena are observed that have an amplifying effect on the number of error occurrences. Preliminary results indicate that all faults examined so far are detected by the acceptance test. This shows promise for further investigations, and for the employment of this test method on other applications.

Protzel, Peter W.↗

Complementary Paired G4FETs as Voltage-Controlled NDR Device

It is possible to synthesize a voltage-controlled negative-differential-resistance (NDR) device or circuit by use of a pair of complementary G4FETs (four-gate field-effect transistors). [For more information about G4FETs, please see the immediately preceding article]. As shown in Figure 1, the present voltage-controlled NDR device or circuit is an updated version of a prior NDR device or circuit, known as a lambda diode, that contains a pair of complementary junction field-effect transistors (JFETs). (The lambda diode is so named because its current-versus- voltage plot bears some resemblance to an upper-case lambda.) The present version can be derived from the prior version by substituting G4FETs for the JFETs and connecting both JFET gates of each G4FET together. The front gate terminals of the G4FETs constitute additional terminals (that is, terminals not available in the older JFET version) to which one can apply control voltages VN and VP. Circuits in which NDR devices have been used include (1) Schmitt triggers and (2) oscillators containing inductance/ capacitance (LC) resonant circuits. Figure 2 depicts such circuits containing G4FET NDR devices like that of Figure 1. In the Schmitt trigger shown here, the G4FET NDR is loaded with an ordinary inversion-mode, p-channel, metal oxide/semiconductor field-effect transistor (inversion-mode PMOSFET), the VN terminal of the G4FET NDR device is used as an input terminal, and the input terminals of the PMOSFET and the G4FET NDR device are connected. VP can be used as an extra control voltage (that is, a control voltage not available in a typical prior Schmitt trigger) for adjusting the pinch-off voltage of the p-channel G4FET and thereby adjusting the trigger-voltage window. In the oscillator, a G4FET NDR device is loaded with a conventional LC tank circuit. As in other LC NDR oscillators, oscillation occurs because the NDR counteracts the resistance in the tank circuit. The advantage of this G4FET-NDR LC oscillator over a conventional LC NDR oscillator is that one can apply a time-varying signal to one of the extra control input terminals (VN or VP) to modulate the conductance of the NDR device and thereby amplitude-modulate the output signal.

Mojarradi, Mohammad↗