Methodology for automated analysis of high order language programs
Explore the source record for details and available documents.
Hsia, P.↗
SEARCH · Engineering Papers
Results for “Language”
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.
SAINT: A combined simulation language for modeling man-machine systems
SAINT (Systems Analysis of Integrated Networks of Tasks) is a network modeling and simulation technique for design and analysis of complex man machine systems. SAINT provides the conceptual framework for representing systems that consist of discrete task elements, continuous state variables, and interactions between them. It also provides a mechanism for combining human performance models and dynamic system behaviors in a single modeling structure. The SAINT technique is described and applications of the SAINT are discussed.
Seifert, D. J.↗
Flight Design System-1 System Design Document. Volume 9: Executive logic flow, program design language
The detailed logic flow for the Flight Design System Executive is presented. The system is designed to provide the hardware/software capability required for operational support of shuttle flight planning.
Source record↗
LANDSAT language at our reach. First Swedish satellite. Civilization detectors
Information on the use of LANDSAT data by Argentina is presented. Details on a Swedish satellite to be completed in 1984 and to be called VIKING are reported. Attempts to contact other civilizations in space by the use of radiotelescopes are discussed.
Wayne, D. L.↗
System requirements language foundation for software engineering
Explore the source record for details and available documents.
Everhart, C. R.↗
Software Specification Language
SSL translator aids in developing and checking software systems. Goal of SSL is to provide form of verification and consistency checking early in design phase. Serves as formal document to communicate software architecure to detailed designers.
Buckles, B. P.↗
Semantic definitions of spacecraft command and control languages using hierarchical graphs
(Previously cited in issue 01, p. 123, Accession no. A82-10112)
Zaghloul, M. E.↗
SDDL: Software Design Documentation Language
Promotes effective communications between software designer and user. SDDL successful on tasks ranging from small, one-person informal projects to large projects of hundreds of formally published pages of design.
Kleine, H.↗
Spanish Language Equivalents for a Glossary of Terms Used in the Field of Space Exploration
A need was identified for a reference to provide translations into Spanish of terms used in space exploration. A search for such a resource bore no fruit, so the author compiled his own glossary and obtained the translations. It was printed as a Goddard Space Flight Center X Document (X-602-82-11).
Bullock, G. D.↗
Testing and analysis of DOD Ada language products for NASA
An activity is described that is keyed to Johnson Space Center's role as an Ada/APSE test site. Specific objectives and concerns relative to potential utilization of Ada for the Space Station are discussed. Finally, detailed discussion is provided concerning study tasks soon to be contracted out for detailed investigation and project risk assessment.
Source record↗
C Language Integrated Production System
CLIPS version 4.2 represents major revision of CLIPS code to organize better kernel and to lay groundwork for additional features in future. Includes rule compiler for run-time modules, integrated MicroEMACS editor and online help facility. Cross-reference tool expanded to provide style checking and automatic verification. DEC VAX version line oriented. PC and Macintosh versions each contain windowing variant of CLIPS as well as standard line-oriented version. Written in C.
Riley, G.↗
First International Conference on Ada (R) Programming Language Applications for the NASA Space Station, volume 1
Topics discussed include: test and verification; environment issues; distributed Ada issues; life cycle issues; Ada in Europe; management/training issues; common Ada interface set; and run time issues.
Bown, Rodney L.↗
Interfacing Ada and other languages
Interfacing two separately developed compilers is a complex task. The complexity arises because few design standards exist for compiler development. This, coupled with the many complicated design decisions inherent in compiler construction, usually guarantees noncompatibility. The interface subroutine which would link the two different run time environments would resolve as many of the dissimilarities as possible. The differences that could not be resolved would be responsible for the restrictions placed on the interface. Albeit restrictions would exist, the resulting interface may be well worthwhile.
Baffes, Paul↗
A natural-language interface to a mobile robot
The present work on robot instructability is based on an ongoing effort to apply modern manipulation technology to serve the needs of the handicapped. The Stanford/VA Robotic Aid is a mobile manipulation system that is being developed to assist severely disabled persons (quadriplegics) in performing simple activities of everyday living in a homelike, unstructured environment. It consists of two major components: a nine degree-of-freedom manipulator and a stationary control console. In the work presented here, only the motions of the Robotic Aid's omnidirectional motion base have been considered, i.e., the six degrees of freedom of the arm and gripper have been ignored. The goal has been to develop some basic software tools for commanding the robot's motions in an enclosed room containing a few objects such as tables, chairs, and rugs. In the present work, the environmental model takes the form of a two-dimensional map with objects represented by polygons. Admittedly, such a highly simplified scheme bears little resemblance to the elaborate cognitive models of reality that are used in normal human discourse. In particular, the polygonal model is given a priori and does not contain any perceptual elements: there is no polygon sensor on board the mobile robot.
Michalowski, S.↗
The FORCE: A portable parallel programming language supporting computational structural mechanics
This project supports the conversion of codes in Computational Structural Mechanics (CSM) to a parallel form which will efficiently exploit the computational power available from multiprocessors. The work is a part of a comprehensive, FORTRAN-based system to form a basis for a parallel version of the NICE/SPAR combination which will form the CSM Testbed. The software is macro-based and rests on the force methodology developed by the principal investigator in connection with an early scientific multiprocessor. Machine independence is an important characteristic of the system so that retargeting it to the Flex/32, or any other multiprocessor on which NICE/SPAR might be imnplemented, is well supported. The principal investigator has experience in producing parallel software for both full and sparse systems of linear equations using the force macros. Other researchers have used the Force in finite element programs. It has been possible to rapidly develop software which performs at maximum efficiency on a multiprocessor. The inherent machine independence of the system also means that the parallelization will not be limited to a specific multiprocessor.
Jordan, Harry F.↗
Applications of artificial intelligence to space station and automated software techniques: High level robot command language
The objective is to develop a system that will allow a person not necessarily skilled in the art of programming robots to quickly and naturally create the necessary data and commands to enable a robot to perform a desired task. The system will use a menu driven graphical user interface. This interface will allow the user to input data to select objects to be moved. There will be an imbedded expert system to process the knowledge about objects and the robot to determine how they are to be moved. There will be automatic path planning to avoid obstacles in the work space and to create a near optimum path. The system will contain the software to generate the required robot instructions.
Mckee, James W.↗
Six-degree-of-freedom aircraft simulation with mixed-data structure using the applied dynamics simulation language, ADSIM
A realistic simulation of an aircraft in the flight using the AD 100 digital computer is presented. The implementation of three model features is specifically discussed: (1) a large aerodynamic data base (130,00 function values) which is evaluated using function interpolation to obtain the aerodynamic coefficients; (2) an option to trim the aircraft in longitudinal flight; and (3) a flight control system which includes a digital controller. Since the model includes a digital controller the simulation implements not only continuous time equations but also discrete time equations, thus the model has a mixed-data structure.
Savaglio, Clare↗
Machine characterization based on an abstract high-level language machine
Measurements are presented for a large number of machines ranging from small workstations to supercomputers. The authors combine these measurements into groups of parameters which relate to specific aspects of the machine implementation, and use these groups to provide overall machine characterizations. The authors also define the concept of pershapes, which represent the level of performance of a machine for different types of computation. A metric based on pershapes is introduced that provides a quantitative way of measuring how similar two machines are in terms of their performance distributions. The metric is related to the extent to which pairs of machines have varying relative performance levels depending on which benchmark is used.
Saavedra-Barrera, Rafael H.↗