Long-term orbit prediction using two-variable asymptotic expansions and the automated manipulation capabilities of the FORMAC language.
Explore the source record for details and available documents.
Barry, B. F.↗
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.
The programming language HAL: A specification
HAL accomplishes three significant objectives: (1) increased readability, through the use of a natural two-dimensional mathematical format; (2) increased reliability, by providing for selective recognition of common data and subroutines, and by incorporating specific data-protect features; (3) real-time control facility, by including a comprehensive set of real-time control commands and signal conditions. Although HAL is designed primarily for programming on-board computers, it is general enough to meet nearly all the needs in the production, verification and support of aerospace, and other real-time applications.
Source record↗
Ground Operations Aerospace Language (GOAL). Volume 4: Interpretive code translator
This specification identifies and describes the principal functions and elements of the Interpretive Code Translator which has been developed for use with the GOAL Compiler. This translator enables the user to convert a compliled GOAL program to a highly general binary format which is designed to enable interpretive execution. The translator program provides user controls which are designed to enable the selection of various output types and formats. These controls provide a means for accommodating many of the implementation options which are discussed in the Interpretive Code Guideline document. The technical design approach is given. The relationship between the translator and the GOAL compiler is explained and the principal functions performed by the Translator are described. Specific constraints regarding the use of the Translator are discussed. The control options are described. These options enable the user to select outputs to be generated by the translator and to control vrious aspects of the translation processing.
Source record↗
Scheduling language and algorithm development study. Volume 1, phase 2: Design considerations for a scheduling and resource allocation system
Data and analyses related to a variety of algorithms for solving typical large-scale scheduling and resource allocation problems are presented. The capabilities and deficiencies of various alternative problem solving strategies are discussed from the viewpoint of computer system design.
Morrell, R. A.↗
Methodology for automated analysis of high order language programs
Explore the source record for details and available documents.
Hsia, P.↗
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.↗