Search NASA⌕ Search

SEARCH · Search NASA

Results for “automation”

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 415 records · Page 23

Design of the Automated Rendezvous and Capture Docking System

This paper describes the Automated Rendezvous and Capture (AR&C) system that was designed and is being tested at NASA's Marshall Space Flight Center (MSFC). The AR&C system incorporates some of the latest innovations in Global Positioning System (GPS), laser sensor technologies and automated mission sequencing algorithms as well as the capability for ground and crew monitoring and commanding. This paper summarizes the variety of mission scenarios supported by the AR&C system. It also describes the major components of the AR&C system including the Guidance, Navigation and Control system, GPS receivers, relative navigation filter and the Video Guidance Sensor. A discussion of the safety and reliability issues confronted during the design follows. By designing a safe and robust automated system, space mission operations cost can be reduced by decreasing the number of ground personnel required for the extensive mission design, preflight planning and training typically required for rendezvous and docking missions.

Cruzen, Craig A.↗

Automated pH Control of Nutrient Solution in a Hydroponic Plant Growth System

Over, the years, NASA has played an important role in providing to and the development of automated nutrient delivery and monitoring, systems for growing crops hydroponically for long term space missions. One example are the systems used in the Biomass Production Chamber (BPC) at Kennedy Space Center (KSC). The current KSC monitoring system is based on an engineering workstation using standard analog/digital input/output hardware and custom written software. The monitoring system uses completely separate sensors to provide a check of control sensor accuracy and has the ability to graphically display and store data form past experiment so that they are available for data analysis [Fortson, 1992]. In many cases, growing systems have not been fitted with the kind of automated control systems as used at KSC. The Center for Food and Environmental Systems for Human Exploration of Space (CFESH) located on the campus of Tuskegee University, has effectively grown sweetpotatoes and peanuts hydroponically for the past five years. However they have adjusted the pH electrical conductivity and volume of the hydroponic nutrient solution only manually at times when the solution was to be replenished or changed out according to its protocol (e.g. one-week, two-week, or two-day cycle). But the pH of the nutrient solution flowing through the channel is neither known nor controlled between the update, change out, or replenishment period. Thus, the pH of the nutrient solution is not held at an optimum level over the span of the plant's growth cycle. To solve this dilemma, an automated system for the control and data logging of pH data relative to sweetpotato production using the nutrient film technique (NFT) has been developed, This paper discusses a microprocessor-based system, which was designed to monitor, control, and record the pH of a nutrient solution used for growing sweetpotatoes using NFT.

Smith, B.↗

Automated, Parametric Geometry Modeling and Grid Generation for Turbomachinery Applications

The objective of this Phase I project is to develop a highly automated software system for rapid geometry modeling and grid generation for turbomachinery applications. The proposed system features a graphical user interface for interactive control, a direct interface to commercial CAD/PDM systems, support for IGES geometry output, and a scripting capability for obtaining a high level of automation and end-user customization of the tool. The developed system is fully parametric and highly automated, and, therefore, significantly reduces the turnaround time for 3D geometry modeling, grid generation and model setup. This facilitates design environments in which a large number of cases need to be generated, such as for parametric analysis and design optimization of turbomachinery equipment. In Phase I we have successfully demonstrated the feasibility of the approach. The system has been tested on a wide variety of turbomachinery geometries, including several impellers and a multi stage rotor-stator combination. In Phase II, we plan to integrate the developed system with turbomachinery design software and with commercial CAD/PDM software.

Harrand, Vincent J.↗

Using Automation to Improve the Flight Software Testing Process

One of the critical phases in the development of a spacecraft attitude control system (ACS) is the testing of its flight software. The testing (and test verification) of ACS flight software requires a mix of skills involving software, attitude control, data manipulation, and analysis. The process of analyzing and verifying flight software test results often creates a bottleneck which dictates the speed at which flight software verification can be conducted. In the development of the Microwave Anisotropy Probe (MAP) spacecraft ACS subsystem, an integrated design environment was used that included a MAP high fidelity (HiFi) simulation, a central database of spacecraft parameters, a script language for numeric and string processing, and plotting capability. In this integrated environment, it was possible to automate many of the steps involved in flight software testing, making the entire process more efficient and thorough than on previous missions. In this paper, we will compare the testing process used on MAP to that used on previous missions. The software tools that were developed to automate testing and test verification will be discussed, including the ability to import and process test data, synchronize test data and automatically generate HiFi script files used for test verification, and an automated capability for generating comparison plots. A summary of the perceived benefits of applying these test methods on MAP will be given. Finally, the paper will conclude with a discussion of re-use of the tools and techniques presented, and the ongoing effort to apply them to flight software testing of the Triana spacecraft ACS subsystem.

ODonnell, James R., Jr.↗

Current Level of Mission Control Automation at NASA/Goddard Space Flight Center

NASA is particularly concerned with reducing mission operations costs through increased automation. This paper examines the operations procedures within NASA Mission Control Centers in order to uncover the level of automation that currently exists within them. Based on an assessment of mission operations procedures within three representative control centers, this paper recommends specific areas where there is potential for mission cost reduction through increased automation.

Maks, Lori↗

Using Automation to Improve the Flight Software Testing Process

One of the critical phases in the development of a spacecraft attitude control system (ACS) is the testing of its flight software. The testing (and test verification) of ACS flight software requires a mix of skills involving software, knowledge of attitude control, and attitude control hardware, data manipulation, and analysis. The process of analyzing and verifying flight software test results often creates a bottleneck which dictates the speed at which flight software verification can be conducted. In the development of the Microwave Anisotropy Probe (MAP) spacecraft ACS subsystem, an integrated design environment was used that included a MAP high fidelity (HiFi) simulation, a central database of spacecraft parameters, a script language for numeric and string processing, and plotting capability. In this integrated environment, it was possible to automate many of the steps involved in flight software testing, making the entire process more efficient and thorough than on previous missions. In this paper, we will compare the testing process used on MAP to that used on other missions. The software tools that were developed to automate testing and test verification will be discussed, including the ability to import and process test data, synchronize test data and automatically generate HiFi script files used for test verification, and an automated capability for generating comparison plots. A summary of the benefits of applying these test methods on MAP will be given. Finally, the paper will conclude with a discussion of re-use of the tools and techniques presented, and the ongoing effort to apply them to flight software testing of the Triana spacecraft ACS subsystem.

ODonnell, James R., Jr.↗

CFD Process Automation Using Overset Grids

This talk summarizes three applications of the overset grid method for CFD using some level of automated grid generation, flow solution and post-processing. These applications are 2D high-lift airfoil analysis (INS2D code), turbomachinery applications (ROTOR2/3 codes), and subsonic transport wing/body configurations (OVERFLOW code). These examples provide a forum for discussing the advantages and disadvantages of overset gridding for use in an automated CFD process. The goals and benefits of the automation incorporated in each application will be described, as well as the shortcomings of the approaches.

Buning, Pieter G.↗

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↗

Workload-Matched Adaptive Automation Support of Air Traffic Controller Information Processing Stages

Adaptive automation (AA) has been explored as a solution to the problems associated with human-automation interaction in supervisory control environments. However, research has focused on the performance effects of dynamic control allocations of early stage sensory and information acquisition functions. The present research compares the effects of AA to the entire range of information processing stages of human operators, such as air traffic controllers. The results provide evidence that the effectiveness of AA is dependent on the stage of task performance (human-machine system information processing) that is flexibly automated. The results suggest that humans are better able to adapt to AA when applied to lower-level sensory and psychomotor functions, such as information acquisition and action implementation, as compared to AA applied to cognitive (analysis and decision-making) tasks. The results also provide support for the use of AA, as compared to completely manual control. These results are discussed in terms of implications for AA design for aviation.

Kaber, David B.↗

Automation Tools for Finite Element Analysis of Adhesively Bonded Joints

This article presents two new automation creation tools that obtain stresses and strains (Shear and peel) in adhesively bonded joints. For a given adhesively bonded joint Finite Element model, in which the adhesive is characterised using springs, these automation tools read the corresponding input and output files, use the spring forces and deformations to obtain the adhesive stresses and strains, sort the stresses and strains in descending order, and generate plot files for 3D visualisation of the stress and strain fields. Grids (nodes) and elements can be numbered in any order that is convenient for the user. Using the automation tools, trade-off studies, which are needed for design of adhesively bonded joints, can be performed very quickly.

Tahmasebi, Farhad↗

Automation of the Environmental Control and Life Support System

The objective of the Environmental Control and Life Support System (ECLSS) Advanced Automation Project is to recommend and develop advanced software for the initial and evolutionary Space Station Freedom (SSF) ECLS system which will minimize the crew and ground manpower needed for operations. Another objective includes capturing ECLSS design and development knowledge for future missions. This report summarizes our results from Phase I, the ECLSS domain analysis phase, which we broke down into three steps: 1) Analyze and document the baselined ECLS system, 2) envision as our goal an evolution to a fully automated regenerative life support system, built upon an augmented baseline, and 3) document the augmentations (hooks and scars) and advanced software systems which we see as necessary in achieving minimal manpower support for ECLSS operations. In addition, Phase I included development of an advanced software life cycle testing tools will be used in the development of the software. In this way, we plan in preparation for phase II and III, the development and integration phases, respectively. Automated knowledge acquisition, engineering, verification, and can capture ECLSS development knowledge for future use, develop more robust and complex software, provide feedback to the KBS tool community, and insure proper visibility of our efforts.

Dewberry, Brandon S.↗

CFD Process Pre- and Post-processing Automation in Support of Space Propulsion

The use of Computational Fluid Dynamics or CFD has become standard practice in the design and analysis of the major components used for space propulsion. In an attempt to standardize and improve the CFD process a series of automated tools have been developed. Through the use of these automated tools the application of CFD to the design cycle has been improved and streamlined. This paper presents a series of applications in which deficiencies were identified in the CFD process and corrected through the development of automated tools.

Dorney, Suzanne M.↗

Automating CPM-GOMS

CPM-GOMS is a modeling method that combines the task decomposition of a GOMS analysis with a model of human resource usage at the level of cognitive, perceptual, and motor operations. CPM-GOMS models have made accurate predictions about skilled user behavior in routine tasks, but developing such models is tedious and error-prone. We describe a process for automatically generating CPM-GOMS models from a hierarchical task decomposition expressed in a cognitive modeling tool called Apex. Resource scheduling in Apex automates the difficult task of interleaving the cognitive, perceptual, and motor resources underlying common task operators (e.g. mouse move-and-click). Apex's UI automatically generates PERT charts, which allow modelers to visualize a model's complex parallel behavior. Because interleaving and visualization is now automated, it is feasible to construct arbitrarily long sequences of behavior. To demonstrate the process, we present a model of automated teller interactions in Apex and discuss implications for user modeling. available to model human users, the Goals, Operators, Methods, and Selection (GOMS) method [6, 21] has been the most widely used, providing accurate, often zero-parameter, predictions of the routine performance of skilled users in a wide range of procedural tasks [6, 13, 15, 27, 28]. GOMS is meant to model routine behavior. The user is assumed to have methods that apply sequences of operators and to achieve a goal. Selection rules are applied when there is more than one method to achieve a goal. Many routine tasks lend themselves well to such decomposition. Decomposition produces a representation of the task as a set of nested goal states that include an initial state and a final state. The iterative decomposition into goals and nested subgoals can terminate in primitives of any desired granularity, the choice of level of detail dependent on the predictions required. Although GOMS has proven useful in HCI, tools to support the construction of GOMS models have not yet come into general use.

GOMS↗

Science Goal Driven Automation for NASA Missions: The Science Goal Monitor

Infusion of automation technologies into NASA s future missions will be essential not only to achieve substantial reduction in mission operations staff and costs, but also in order to both effectively handle an exponentially increasing volume of scientific data and to successfully meet dynamic, opportunistic scientific goals and objectives. Current spacecraft operations cannot respond to science driven events, such as intrinsically variable or short-lived phenomena in a timely manner. For such investigations, we must teach our platforms to dynamically understand, recognize, and react to the scientists goals. While much effort has gone into automating routine spacecraft operations to reduce human workload and hence costs, applying intelligent automation to the science side, i.e., science data acquisition, data analysis and reactions to that data analysis in a timely and still scientifically valid manner, has been relatively under-emphasized.

Korathkar, Anuradha↗

Automated Rendezvous and Capture System Development and Simulation for NASA

The United States does not have an Automated Rendezvous and Capture/Docking (AR and C) capability and is reliant on manned control for rendezvous and docking of orbiting spacecraft. This reliance on the labor intensive manned interface for control of rendezvous and docking vehicles has a significant impact on the cost of the operation of the International Space Station (ISS) and precludes the use of any U.S. expendable launch capabilities for Space Station resupply. The Soviets have the capability to autonomously dock in space, but their system produces a hard docking with excessive force and contact velocity. Automated Rendezvous and Capture/Docking has been identified as a key enabling technology for the Space Launch Initiative (SLI) Program, DARPA Orbital Express and other DOD Programs. The development and implementation of an AR&C capability can significantly enhance system flexibility, improve safety, and lower the cost of maintaining, supplying, and operating the International Space Station. The Marshall Space Flight Center (MSFC) has conducted pioneering research in the development of an automated rendezvous and capture (or docking) (AR and C) system for U.S. space vehicles. This AR&C system was tested extensively using hardware-in-the-loop simulations in the Flight Robotics Laboratory, and a rendezvous sensor, the Video Guidance Sensor was developed and successfully flown on the Space Shuttle on flights STS-87 and STS-95, proving the concept of a video- based sensor. Further developments in sensor technology and vehicle and target configuration have lead to continued improvements and changes in AR&C system development and simulation. A new Advanced Video Guidance Sensor (AVGS) with target will be utilized on the Demonstration of Autonomous Rendezvous Technologies (DART) flight experiment in 2004.

Roe, Fred D.↗

Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software

We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP). For full automation, however, the obligations must be aggressively preprocessed and simplified We describe the unique requirements this places on the ATP and demonstrate how the individual simplification stages, which are implemented by rewriting, influence the ability of the ATP to solve the proof tasks. Experiments on more than 25,000 tasks were carried out using Vampire, Spass, and e-setheo.

Denney, Ewen↗

Formal verification of human-automation interaction

This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machine interaction and focuses on verifying the correctness of the interaction in complex and automated control systems. The paper describes a systematic methodology for evaluating whether the interface provides the necessary information about the machine to enable the operator to perform a specified task successfully and unambiguously. It also addresses the adequacy of information provided to the user via training material (e.g., user manual) about the machine's behavior. The essentials of the methodology, which can be automated and applied to the verification of large systems, are illustrated by several examples and through a case study of pilot interaction with an autopilot aboard a modern commercial aircraft. The expected application of this methodology is an augmentation and enhancement, by formal verification, of human-automation interfaces.

Aviation↗

Concepts to Automate Fluid Transfer Capability of Low Impact Docking System (LIDS)

The capability to transfer mass between spacecraft is necessary for many mission scenarios. Docking and berthing operations have enabled fluid, electrical, crew and equipment transfers to some degree on all manned space operations since the Gemini program. The Apollo program performed some sophisticated docking maneuvers to land men on the moon and return them safely to Earth. These programs primarily transferred crew, equipment, and pressurized atmosphere between docked spacecraft. The International Space Station (ISS) U.S. modules are connected by Common Berthing Mechanism (CBM) portals. They provide many feed-through ports for electrical, and fluid transfer between modules, as well as a large diameter crew and equipment tunnel. Fluid and electrical jumpers are manually installed after the CBM sealing surfaces have been securely mated to maintain the pressurized cabin environment. CBM berthing and subsequent fluid transfer capability requires a lengthy manual process involving an active interface that mates with a passive half. The Androgynous Peripheral Attach System (MAS) a Russian technology that docked the Russian Zarya module to Unity, or Node 1, is a more complex system that also is capable of fuel transfer, enabling refueling of the Russian re-boost engines on ISS. For several years, a Low Impact Docking System (LIDS) has been under development at Johnson Space Center (JSC). This docking technology has a requirement to be androgynous in order to allow the fabrication of a single configuration that can dock with all other LIDS units. It is desired to make electrical and fluid coupling mating an automated process to enable routine docking and undocking operations to support future exploration missions. It is envisioned that modular design and vehicle assembly will require an efficient LIDS for fuel, electrical, crew, and equipment transfer. Marshall Space Flight Center (MSFC) has joined the LIDS development effort and plans to employ fluid transfer concepts and technology from previous development programs, such as the Automated Fluid Interface System (AFIS) and the Ohital Fluid Transfer System (OFTS) that were developed and tested by MSFC. Orbital Expressderived robotic satellite servicing technology is scheduled to fly soon to demonstrate fluid transfer technology developed for the Air Force. This paper will compare known technology against possible fluid transfer requirements for LIDS to develop design strategies for automated fluid transfer.

Miernik, Janie H.↗