Search NASA⌕ Search

SEARCH · Search NASA

Results for “ABSTRACT”

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 235 records · Page 13
All sourcesNASA NTRSDOE OSTI
NASA NTRS1987

Analysis and synthesis of abstract data types through generalization from examples

The discovery of general patterns of behavior from a set of input/output examples can be a useful technique in the automated analysis and synthesis of software systems. These generalized descriptions of the behavior form a set of assertions which can be used for validation, program synthesis, program testing, and run-time monitoring. Describing the behavior is characterized as a learning process in which the set of inputs is mapped into an appropriate transform space such that general patterns can be easily characterized. The learning algorithm must chose a transform function and define a subset of the transform space which is related to equivalence classes of behavior in the original domain. An algorithm for analyzing the behavior of abstract data types is presented and several examples are given. The use of the analysis for purposes of program synthesis is also discussed.

Wild, Christian↗
NASA NTRS1985

USL NASA/RECON project presentations at the 1985 ACM Computer Science Conference: Abstracts and visuals

This Working Paper Series entry represents the abstracts and visuals associated with presentations delivered by six USL NASA/RECON research team members at the above named conference. The presentations highlight various aspects of NASA contract activities pursued by the participants as they relate to individual research projects. The titles of the six presentations are as follows: (1) The Specification and Design of a Distributed Workstation; (2) An Innovative, Multidisciplinary Educational Program in Interactive Information Storage and Retrieval; (3) Critical Comparative Analysis of the Major Commercial IS and R Systems; (4) Design Criteria for a PC-Based Common User Interface to Remote Information Systems; (5) The Design of an Object-Oriented Graphics Interface; and (6) Knowledge-Based Information Retrieval: Techniques and Applications.

Dominick, Wayne D.↗
NASA NTRS1989

Gas-Grain Simulation Facility: Fundamental studies of particle formation and interactions. Volume 2: Abstracts, candidate experiments and feasibility study

An overview of the Gas-Grain Simulation Facility (GGSF) project and its current status is provided. The proceedings of the Gas-Grain Simulation Facility Experiments Workshop are recorded. The goal of the workshop was to define experiments for the GGSF--a small particle microgravity research facility. The workshop addressed the opportunity for performing, in Earth orbit, a wide variety of experiments that involve single small particles (grains) or clouds of particles. Twenty experiments from the fields of exobiology, planetary science, astrophysics, atmospheric science, biology, physics, and chemistry were described at the workshop and are outlined in Volume 2. Each experiment description included specific scientific objectives, an outline of the experimental procedure, and the anticipated GGSF performance requirements. Since these experiments represent the types of studies that will ultimately be proposed for the facility, they will be used to define the general science requirements of the GGSF. Also included in the second volume is a physics feasibility study and abstracts of example Gas-Grain Simulation Facility experiments and related experiments in progress.

Fogleman, Guy↗
NASA NTRS1988

Integrating causal reasoning at different levels of abstraction

In this paper, a problem-solving system which uses a multilevel causal model of its domain is described. The system functions in the role of a pilot's assistant in the domain of commercial air transport emergencies. The model represents causal relationships among the aircraft subsystems, the effectors (engines, control surfaces), the forces that act on an aircraft in flight (thrust, lift), and the aircraft's flight profile (speed, altitude, etc.). The causal relationships are represented at three levels of abstraction: Boolean, qualitative, and quantitative, and reasoning about causes and effects can take place at each of these levels. Since processing at each level has different characteristics with respect to speed, the type of data required, and the specificity of the results, the problem-solving system can adapt to a wide variety of situations. The system is currently being implemented in the KEE(TM) development environment on a Symbolics Lisp machine.

Hudlicka, Eva↗
NASA NTRS1989

Parameter identification for an abstract Cauchy problem by quasilinearization

A parameter identification problem is considered in the context of a linear abstract Cauchy problem with a parameter-dependent evolution operator. Conditions are investigated under which the gradient of the state with respect to a parameter possesses smoothness properties which lead to local convergence of an estimation algorithm based on quasi-linearization. Numerical results are presented concerning estimation of unknown parameters in delay-differential equations.

Brewer, Dennis W.↗
NASA NTRS1989

Abstracts for the Venus Geoscience Tutorial and Venus Geologic Mapping Workshop

Abstracts and tutorial are presented from the workshop. Representative titles are: Geology of Southern Guinevere Planitia, Venus, Based on Analyses of Goldstone Radar Data; Tessera Terrain: Characteristics and Models of Origin; Venus Volcanism; Rate Estimates from Laboratory Studies of Sulfur Gas-Solid Reactions; and A Morphologic Study of Venus Ridge Belts.

Source record↗
NASA NTRS1990

Small business innovation research. Abstracts of 1988 phase 1 awards

Non-proprietary proposal abstracts of Phase 1 Small Business Innovation Research (SBIR) projects supported by NASA are presented. Projects in the fields of aeronautical propulsion, aerodynamics, acoustics, aircraft systems, materials and structures, teleoperators and robots, computer sciences, information systems, data processing, spacecraft propulsion, bioastronautics, satellite communication, and space processing are covered.

Source record↗
NASA NTRS1990

Press abstracts of the 21st Lunar and Planetary Science Conference

The Program Committee for the Twenty-fisrt Lunar and Planetary Science Conference has chosen these contributions as having the greatest potential interest for the general public. The papers in this collection were written for general presentation, avoiding jargon and unnecessarily complex terms. More technical abstracts will be found in Lunar and Planetary Science XXI. Representative titles are: Ancient Ocean-Land-Atmosphere Interactions on Mars: Global Model and Geological Evidence; Oxygen Isotopic Compositions of Ordinary Chondrites and Their Chondrules; Exposure Ages and Collisional History of L-Chondrite Parent Bodies; Models of Solar-Powered Geysers on Triton; and Search for Life: A Science Rationale for a Permanent Base on Mars.

Source record↗
NASA NTRS1989

Region based route planning - Multi-abstraction route planning based on intermediate level vision processing

Intermediate and high level processing operations are performed on vision data for the organization of images into more meaningful, higher-level topological representations by means of a region-based route planner (RBRP). The RBRP operates in terrain scenarios where some or most of the terrain is occluded, proceeding without a priori maps on the basis of two-dimensional representations and gradient-and-roughness information. Route planning is accomplished by three successive abstractions and yields a detailed point-by-point path by searching only within the boundaries of relatively small regions.

Doshi, Rajkumar S.↗
NASA NTRS1990

An implementation and analysis of the Abstract Syntax Notation One and the basic encoding rules

The details of abstract syntax notation one standard (ASN.1) and the basic encoding rules standard (BER) that collectively solve the problem of data transfer across incompatible host environments are presented, and a compiler that was built to automate their use is described. Experiences with this compiler are also discussed which provide a quantitative analysis of the performance costs associated with the application of these standards. An evaluation is offered as to how well suited ASN.1 and BER are in solving the common data representation problem.

Harvey, James D.↗
NASA NTRS1990

Abstracts for the International Workshop on Meteorite Impact on the Early Earth

This volume contains abstracts that were accepted for presentation at the International Workshop on Meteorite Impact on the Early Earth, September 21-22, 1990, in Perth, Western Australia. The effects these impacts had on the young Earth are emphasized and a few of the topics covered are as follows: impact induced hot atmosphere, crater size and distribution, late heavy bombardment, terrestrial mantle and crust, impact damage, continental growth, volcanism, climate catastrophes, shocked quartz, and others.

Source record↗
NASA NTRS1990

Experience with abstract notation one

The development of computer science has produced a vast number of machine architectures, programming languages, and compiler technologies. The cross product of these three characteristics defines the spectrum of previous and present data representation methodologies. With regard to computer networks, the uniqueness of these methodologies presents an obstacle when disparate host environments are to be interconnected. Interoperability within a heterogeneous network relies upon the establishment of data representation commonality. The International Standards Organization (ISO) is currently developing the abstract syntax notation one standard (ASN.1) and the basic encoding rules standard (BER) that collectively address this problem. When used within the presentation layer of the open systems interconnection reference model, these two standards provide the data representation commonality required to facilitate interoperability. The details of a compiler that was built to automate the use of ASN.1 and BER are described. From this experience, insights into both standards are given and potential problems relating to this development effort are discussed.

Harvey, James D.↗
NASA NTRS1991

First LDEF Post-Retrieval Symposium abstracts

The LDE facility was designed to better understand the environments of space and the effects of prolonged exposure in these environments on future spacecraft. The symposium abstracts presented here are organized according to the symposium agenda into five sessions. The first session provides an overview of the LDEF, the experiments, the mission, and the natural and induced environments the spacecraft and experiments encountered during the mission. The second session presents results to date from studies to better define the environments of near-Earth space. The third session addresses studies of the effects of the space environments on spacecraft materials. The fourth session addresses studies of the effects of the space environments on spacecraft systems. And the fifth session addresses other subjects such as results of the LDEF life science and crystal growth experiments.

Levine, Arlene S.↗
NASA NTRS1991

Program and Abstracts for Clay Minerals Society 28th Annual Meeting

This volume contains abstracts that were accepted for presentation at the annual meeting. Some of the main topics covered include: (1) fundamental properties of minerals and methods of mineral analysis; (2) surface chemistry; (3) extraterrestrial clay minerals; (4) geothermometers and geochronometers; (5) smectite, vermiculite, illite, and related reactions; (6) soils and clays in environmental research; (7) kaolinite, halloysite, iron oxides, and mineral transformations; and (8) clays in lakes, basins, and reservoirs.

Source record↗
NASA NTRS1991

Abstracts for the 54th Annual Meeting of the Meteoritical Society

Abstracts of the papers presented at 54th Annual Meeting of the Meteoritic Society are compiled. The following subject areas are covered: Antarctic meteorites; nebula and parent body processing; primary and secondary SNC parent planet processes; enstatite chondrites and aubrites; achondrite stew; refractory inclusions; meteorite exposure ages and sizes; interstellar/meteorite connections; lunar origins, processes and meteorites; craters, cratering and tektites; cretaceous-tertiary impact(s); IDPs (LDEF, stratosphere, Greenland and Antarctica); chondrules; and chondrites.

Source record↗
NASA NTRS1992

TQM: A bibliography with abstracts

This document is designed to function as a special resource for NASA Langley scientists, engineers, and managers during the introduction and development of total quality management (TQM) practices at the Center. It lists approximately 300 bibliographic citations for articles and reports dealing with various aspects of TQM. Abstracts are also available for the majority of the citations. Citations are organized by broad subject areas, including case studies, customer service, senior management, leadership, communication tools, TQM basics, applications, and implementation. An introduction and indexes provide additional information on arrangement and availability of these materials.

Gottlich, Gretchen L.↗
NASA NTRS1992

Second LDEF Post-Retrieval Symposium Abstracts

These abstracts from the symposium represent the data analysis of the 57 experiments flown on the LDEF. The experiments include materials, coatings, thermal systems, power and propulsion, science, (cosmic ray, interstellar gas, heavy ions, micrometeoroids, etc.), electronics, optics, and life science.

Levine, Arlene S.↗
NASA NTRS1991

Stochastic regulator theory for a class of abstract wave equations

A class of steady-state stochastic regulator problems for abstract wave equations in a Hilbert space - of relevance to the problem of feedback control of large space structures using co-located controls/sensors - is studied. Both the control operator, as well as the observation operator, are finite-dimensional. As a result, the usual condition of exponential stabilizability invoked for existence of solutions to the steady-state Riccati equations is not valid. Fortunately, for the problems considered it turns out that strong stabilizability suffices. In particular, a closed form expression is obtained for the minimal (asymptotic) performance criterion as the control effort is allowed to grow without bound.

Balakrishnan, A. V.↗