Search NASA⌕ Search

SEARCH · Search NASA

Results for “task programming”

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 1,585 records · Page 88

Flexible data-management system

Combined ASRDI Data-Management and Analysis Technique (CADMAT) is system of computer programs and procedures that can be used to conduct data-management tasks. System was developed specifically for use by scientists and engineers who are confronted with management and analysis of large quantities of data organized into records of events and parametric fields. CADMAT is particularly useful when data are continually accumulated, such as when the need of retrieval and analysis is ongoing.

Pelouch, J. J., Jr.↗

The implementation and use of Ada on distributed systems with high reliability requirements

The use and implementation of Ada in distributed environments in which reliability is the primary concern were investigted. A distributed system, programmed entirely in Ada, was studied to assess the use of individual tasks without concern for the processor used. Continued development and testing of the fault tolerant Ada testbed; development of suggested changes to Ada to cope with the failures of interest; design of approaches to fault tolerant software in real time systems, and the integration of these ideas into Ada; and the preparation of various papers and presentations were discussed.

Knight, J. C.↗

Flat-plate solar array project. Volume 8: Project analysis and integration

Project Analysis and Integration (PA&I) performed planning and integration activities to support management of the various Flat-Plate Solar Array (FSA) Project R&D activities. Technical and economic goals were established by PA&I for each R&D task within the project to coordinate the thrust toward the National Photovoltaic Program goals. A sophisticated computer modeling capability was developed to assess technical progress toward meeting the economic goals. These models included a manufacturing facility simulation, a photovoltaic power station simulation and a decision aid model incorporating uncertainty. This family of analysis tools was used to track the progress of the technology and to explore the effects of alternative technical paths. Numerous studies conducted by PA&I signaled the achievement of milestones or were the foundation of major FSA project and national program decisions. The most important PA&I activities during the project history are summarized. The PA&I planning function is discussed and how it relates to project direction and important analytical models developed by PA&I for its analytical and assessment activities are reviewed.

Mcguire, P.↗

A software toolbox for robotics

A method for programming cooperating manipulators, which is guided by a geometric description of the task to be performed, is given. For this a suitable language must be used and a method for describing the workplace and the objects in it in geometric terms. A task level command language and its implementation for concurrently driven multiple robot arm is described. The language is suitable for driving a cell in which manipulators, end effectors, and sensors are controlled by their own dedicated processors. These processors can communicate with each other through a communication network. A mechanism for keeping track of the history of the commands already executed allows the command language for the manipulators to be event driven. A frame based world modeling system is utilized to describe the objects in the work environment and any relationships that hold between these objects. This system provides a versatile tool for managing information about the world model. Default actions normally needed are invoked when the data base is updated or accessed. Most of the first level error recovery is also invoked by the database by utilizing the concepts of demons. The package can be utilized to generate task level commands in a problem solver or a planner.

Sanwal, J. C.↗

Launch packaging options for the photovoltaic power module cargo element

The National Aeronautics and Space Administration recently embarked on the Space Station Freedom program, which will utilize the Shuttle Orbiter for transportation to orbit. This task will be accomplished with a number of flights over several years. Each flight is unique in terms of the hardware that is manifested and the method by which it is integrated to form viable cargo elements. Work Package 4 is responsible for the electric power system for Space Station Freedom, and was delegated the authority to develop a photovoltaic (PV) power module cargo element. The PV power module consists of several unique assemblies. The first of these is the combined solar array/beta gimbal assembly. The remaining assemblies form the single combined integrated equipment assembly for each PV power module. These three combined assemblies are packaged into a launch cradle to form the PV power module cargo element, which is placed in the cargo bay of the Shuttle Orbiter for transportation to orbit. Various constraints determine the packaging options for the three PV power module combined assemblies. The size and shape of the combined assemblies in relation to the Shuttle Orbiter cargo bay dimensions and other manifested hardware are ultimately a factor in determining the acceptable packaging schemes for the PV power module cargo element. Several packaging options for the PV power module cargo element are presented. These options are discussed in terms of their impact on the overall flight hardware manifest as determined by the various constraints.

Hoberecht, Mark A.↗

Monitoring robot actions for error detection and recovery

Reliability is a serious problem in computer controlled robot systems. Although robots serve successfully in relatively simple applications such as painting and spot welding, their potential in areas such as automated assembly is hampered by programming problems. A program for assembling parts may be logically correct, execute correctly on a simulator, and even execute correctly on a robot most of the time, yet still fail unexpectedly in the face of real world uncertainties. Recovery from such errors is far more complicated than recovery from simple controller errors, since even expected errors can often manifest themselves in unexpected ways. Here, a novel approach is presented for improving robot reliability. Instead of anticipating errors, researchers use knowledge-based programming techniques so that the robot can autonomously exploit knowledge about its task and environment to detect and recover from failures. They describe preliminary experiment of a system that they designed and constructed.

Gini, M.↗

Graphical explanation in an expert system for Space Station Freedom rack integration

The rationale and methodology used to incorporate graphics into explanations provided by an expert system for Space Station Freedom rack integration is examined. The rack integration task is typical of a class of constraint satisfaction problems for large programs where expertise from several areas is required. Graphically oriented approaches are used to explain the conclusions made by the system, the knowledge base content, and even at more abstract levels the control strategies employed by the system. The implemented architecture combines hypermedia and inference engine capabilities. The advantages of this architecture include: closer integration of user interface, explanation system, and knowledge base; the ability to embed links to deeper knowledge underlying the compiled knowledge used in the knowledge base; and allowing for more direct control of explanation depth and duration by the user. The graphical techniques employed range from simple statis presentation of schematics to dynamic creation of a series of pictures presented motion picture style. User models control the type, amount, and order of information presented.

Craig, F. G.↗

Compiling global name-space programs for distributed execution

Distributed memory machines do not provide hardware support for a global address space. Thus programmers are forced to partition the data across the memories of the architecture and use explicit message passing to communicate data between processors. The compiler support required to allow programmers to express their algorithms using a global name-space is examined. A general method is presented for analysis of a high level source program and along with its translation to a set of independently executing tasks communicating via messages. If the compiler has enough information, this translation can be carried out at compile-time. Otherwise run-time code is generated to implement the required data movement. The analysis required in both situations is described and the performance of the generated code on the Intel iPSC/2 is presented.

Koelbel, Charles↗

AI in manufacturing

AI techniques are shown to have been useful in such aerospace industry tasks as vehicle configuration layouts, process planning, tool design, numerically-controlled programming of tools, production scheduling, and equipment testing and diagnosis. Accounts are given of illustrative experiences at the production facilities of three major aerospace defense contractors. Also discussed is NASA's autonomous Intelligent Computer-Aided Training System, for such ambitious manned programs as Space Station Freedom, which employs five different modules to constitute its job-independent training architecture.

Gross, John E.↗

Lunar transit telescope lander design

The Program Development group at NASA's Marshall Space Flight Center has been involved in studying the feasibility of placing a 16 meter telescope on the lunar surface to scan the skies using visible/ Ultraviolet/ Infrared light frequencies. The precursor telescope is now called the TRANSIT LUNAR TELESCOPE (LTT). The Program Development Group at Marshall Space Flight Center has been given the task of developing the basic concepts and providing a feasibility study on building such a telescope. The telescope should be simple with minimum weight and volume to fit into one of the available launch vehicles. The preliminary launch date is set for 2005. A study was done to determine the launch vehicle to be used to deliver the telescope to the lunar surface. The TITAN IV/Centaur system was chosen. The engineering challenge was to design the largest possible telescope to fit into the TITAN IV/Centaur launch system. The telescope will be comprised of the primary, secondary and tertiary mirrors and their supporting system in addition to the lander that will land the telescope on the lunar surface and will also serve as the telescope's base. The lunar lander should be designed integrally with the telescope in order to minimize its weight, thus allowing more weight for the telescope and its support components. The objective of this study were to design a lander that meets all the constraints of the launching system. The basic constraints of the TITAN IV/Centaur system are given.

Omar, Husam A.↗

Intelligent perturbation algorithms for space scheduling optimization

The optimization of space operations is examined in the light of optimization heuristics for computer algorithms and iterative search techniques. Specific attention is given to the search concepts known collectively as intelligent perturbation algorithms (IPAs) and their application to crew/resource allocation problems. IPAs iteratively examine successive schedules which become progressively more efficient, and the characteristics of good perturbation operators are listed. IPAs can be applied to aerospace systems to efficiently utilize crews, payloads, and resources in the context of systems such as Space-Station scheduling. A program is presented called the MFIVE Space Station Scheduling Worksheet which generates task assignments and resource usage structures. The IPAs can be used to develop flexible manifesting and scheduling for the Industrial Space Facility.

Kurtzman, Clifford R.↗

Program Helps Decompose Complicated Design Problems

Time saved by intelligent decomposition into smaller, interrelated problems. DeMAID is knowledge-based software system for ordering sequence of modules and identifying possible multilevel structure for design problem. Displays modules in N x N matrix format. Requires investment of time to generate and refine list of modules for input, it saves considerable amount of money and time in total design process, particularly new design problems in which ordering of modules has not been defined. Program also implemented to examine assembly-line process or ordering of tasks and milestones.

Rogers, James L., Jr.↗

Lunar transit telescope lander design

The Program Development group at NASA's Marshall Space Flight Center has been involved in studying the feasibility of placing a 16 meter telescope on the lunar surface to scan the skies using visible/ Ultraviolet/ Infrared light frequencies. The precursor telescope is now called the TRANSIT LUNAR TELESCOPE (LTT). The Program Development Group at Marshall Space Flight Center has been given the task of developing the basic concepts and providing a feasibility study on building such a telescope. The telescope should be simple with minimum weight and volume to fit into one of the available launch vehicles. The preliminary launch date is set for 2005. A study was done to determine the launch vehicle to be used to deliver the telescope to the lunar surface. The TITAN IV/Centaur system was chosen. The engineering challenge was to design the largest possible telescope to fit into the TITAN IV/Centaur launch system. The telescope will be comprised of the primary, secondary and tertiary mirrors and their supporting system in addition to the lander that will land the telescope on the lunar surface and will also serve as the telescope's base. The lunar lander should be designed integrally with the telescope in order to minimize its weight, thus allowing more weight for the telescope and its support components. The objective of this study were to design a lander that meets all the constraints of the launching system. The basic constraints of the TITAN IV/Centaur system are given.

Omar, Husam A.↗

Dual-Arm Generalized Compliant Motion With Shared Control

Dual-Arm Generalized Compliant Motion (DAGCM) primitive computer program implementing improved unified control scheme for two manipulator arms cooperating in task in which both grasp same object. Provides capabilities for autonomous, teleoperation, and shared control of two robot arms. Unifies cooperative dual-arm control with multi-sensor-based task control and makes complete task-control capability available to higher-level task-planning computer system via large set of input parameters used to describe desired force and position trajectories followed by manipulator arms. Some concepts discussed in "A Generalized-Compliant-Motion Primitive" (NPO-18134).

Backes, Paul G.↗

Influence of a new generation of operations support systems on current spacecraft operations philosophy: The users feedback

Current trends in the spacecraft mission operations area (spacecraft & mission complexity, project duration, required flexibility are requiring a breakthrough for what concerns philosophy, organization, and support tools. A major evolution is related to space operations 'informationalization', i.e adding to existing operations support & data processing systems a new generation of tools based on advanced information technologies (object-oriented programming, artificial intelligence, data bases, hypertext) that automate, at least partially, operations tasks that used be performed manually (mission & project planning/scheduling, operations procedures elaboration & execution, data analysis & failure diagnosis). All the major facets of this 'informationalization' are addressed at MATRA MARCONI SPACE, operational applications were fielded and generic products are becoming available. These various applications have generated a significant feedback from the users (at ESA, CNES, ARIANESPACE, MATRA MARCONI SPACE), which is now allowing us to precisely measure how the deployment of this new generation of tools, that we called OPSWARE, can 'reengineer' current spacecraft mission operations philosophy, how it can make space operations faster, better, and cheaper. This paper can be considered as an update of the keynote address 'Knowledge-Based Systems for Spacecraft Control' presented during the first 'Ground Data Systems for Spacecraft Control' conference in Darmstadt, June 1990, with a special emphasis on these last two years users feedback.

Darroy, Jean Michel↗

TADS: A CFD-based turbomachinery and analysis design system with GUI. Volume 1: Method and results

The primary objective of this study was the development of a computational fluid dynamics (CFD) based turbomachinery airfoil analysis and design system, controlled by a graphical user interface (GUI). The computer codes resulting from this effort are referred to as the Turbomachinery Analysis and Design System (TADS). This document describes the theoretical basis and analytical results from the TADS system. TADS couples a throughflow solver (ADPAC) with a quasi-3D blade-to-blade solver (RVCQ3D) in an interactive package. Throughflow analysis capability was developed in ADPAC through the addition of blade force and blockage terms to the governing equations. A GUI was developed to simplify user input and automate the many tasks required to perform turbomachinery analysis and design. The coupling of various programs was done in a way that alternative solvers or grid generators could be easily incorporated into the TADS framework. Results of aerodynamic calculations using the TADS system are presented for a highly loaded fan, a compressor stator, a low-speed turbine blade, and a transonic turbine vane.

Topp, D. A.↗

Timing analysis by model checking

The safety of modern avionics relies on high integrity software that can be verified to meet hard real-time requirements. The limits of verification technology therefore determine acceptable engineering practice. To simplify verification problems, safety-critical systems are commonly implemented under the severe constraints of a cyclic executive, which make design an expensive trial-and-error process highly intolerant of change. Important advances in analysis techniques, such as rate monotonic analysis (RMA), have provided a theoretical and practical basis for easing these onerous restrictions. But RMA and its kindred have two limitations: they apply only to verifying the requirement of schedulability (that tasks meet their deadlines) and they cannot be applied to many common programming paradigms. We address both these limitations by applying model checking, a technique with successful industrial applications in hardware design. Model checking algorithms analyze finite state machines, either by explicit state enumeration or by symbolic manipulation. Since quantitative timing properties involve a potentially unbounded state variable (a clock), our first problem is to construct a finite approximation that is conservative for the properties being analyzed-if the approximation satisfies the properties of interest, so does the infinite model. To reduce the potential for state space explosion we must further optimize this finite model. Experiments with some simple optimizations have yielded a hundred-fold efficiency improvement over published techniques.

Naydich, Dimitri↗