Matrix Code

Matrix Code gives imperative programming a mathematical semantics and heuristic power comparable in quality to functional and logic programming. A program in Matrix Code is developed incrementally from a specification in pre/post-condition form. The computations of a code matrix are characterized by powers of the matrix when it is interpreted as a transformation in a space of vectors of logical conditions. Correctness of a code matrix is expressed in terms of a fixpoint of the transformation. The abstract machine for Matrix Code is the dual-state machine, which we present as a variant of the classical finite-state machine.Comment: 39 pages, 19 figures; extensions and minor correction

Processing techniques development, volume 3. Part 2: Data preprocessing and information extraction techniques

There are no author-identified significant results in this report

Geobase Information System Impacts on Space Image Formats

As Geobase Information Systems increase in number, size and complexity, the format compatability of satellite remote sensing data becomes increasingly more important. Because of the vast and continually increasing quantity of data available from remote sensing systems the utility of these data is increasingly dependent on the degree to which their formats facilitate, or hinder, their incorporation into Geobase Information Systems. To merge satellite data into a geobase system requires that they both have a compatible geographic referencing system. Greater acceptance of satellite data by the user community will be facilitated if the data are in a form which most readily corresponds to existing geobase data structures. The conference addressed a number of specific topics and made recommendations

Infrared astronomical satellite (IRAS) catalogs and atlases. Volume 1: Explanatory supplement

The Infrared Astronomical Satellite (IRAS) was launched on January 26, 1983. During its 300-day mission, IRAS surveyed over 96 pct of the celestial sphere at four infrared wavelengths, centered approximately at 12, 25, 60, and 100 microns. Volume 1 describes the instrument, the mission, and data reduction

Use of LANDSAT-1 data for the detection and mapping of saline seeps in Montana

The author has identified the following significant results. April, May, and August are the best times to detect saline seeps. Specific times within these months would be dependent upon weather, phenology, and growth conditions. Saline seeps can be efficiently and accurately mapped, within resolution capabilities, from merged May and August LANDSAT 1 data. Seeps were mapped by detecting salt crusts in the spring and indicator plants in the fall. These indicator plants were kochia, inkweed, and foxtail barley. The total hectares of the mapped saline seeps were calculated and tabulated. Saline seeps less than two hectares in size or that have linear configurations less than 200 meters in width were not mapped using the LANDSAT 1 data. Saline seep signatures developed in the Coffee Creek test site were extended to map saline seeps located outside this area

Solar-terrestrial data access distribution and archiving

It is recommended that a central data catalog and data access network (CDC/DAN) for solar-terrestrial research be established, initially as a NASA pilot program. The system is envisioned to be flexible and to evolve as funds permit, starting from a catalog to an access network for high-resolution data. The report describes the various functional requirements for the CDC/DAN, but does not specify the hardware and software architectures as these are constantly evolving. The importance of a steering committee, working with the CDC/DAN organization, to provide scientific guidelines for the data catalog and for data storage, access, and distribution is also stressed

The engineering design integration (EDIN) system

A digital computer program complex for the evaluation of aerospace vehicle preliminary designs is described. The system consists of a Univac 1100 series computer and peripherals using the Exec 8 operating system, a set of demand access terminals of the alphanumeric and graphics types, and a library of independent computer programs. Modification of the partial run streams, data base maintenance and construction, and control of program sequencing are provided by a data manipulation program called the DLG processor. The executive control of library program execution is performed by the Univac Exec 8 operating system through a user established run stream. A combination of demand and batch operations is employed in the evaluation of preliminary designs. Applications accomplished with the EDIN system are described

An analysis of the use of graphics for information retrieval

Several research groups have addressed the problem of retrieving vector graphics. This work has, however, focused either on domain-dependent areas or was based on very simple graphics languages. Here we take a fresh look at the issue of graphics retrieval in general and in particular at the tasks which retrieval systems must support. The paper presents a series of case studies which explored the needs of professionals in the hope that these needs can help direct future graphics IR research. Suggested modelling techniques for some of the graphic collections are also presented

Program documentation for a selective dissemination system for NASA scientific and technical information

Program documentation for selective dissemination system for NASA scientific and technical informatio