SEARCH · Engineering Papers
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.
Information on the format of the film product and type of film used for the LANDSAT-4 scrounge processed thematic mapper data is presented. Image gray scale, annotation field, and general layout are described.
A summary of the research on air transportation is addressed including navigation; guidance, control and display concepts; and hardware, with special emphasis on applications to general aviation aircraft. Completed works and status reports are presented also included are annotated bibliographies of all published research sponsored on these grants since 1972.
This report covers the initial activities and deliberations of a continuing working group asked to assist the SETI Program Office at NASA. Seven chapters present the group's consensus on objectives, strategies, and plans for instrumental R&D and for a microwave search for extraterrestrial in intelligence (SETI) projected for the end of this decade. Thirteen appendixes reflect the views of their individual authors. Included are discussions of the 8-million-channel spectrum analyzer architecture and the proof-of-concept device under development; signal detection, recognition, and identification on-line in the presence of noise and radio interference; the 1-10 GHz sky survey and the 1-3 GHz targeted search envisaged; and the mutual interests of SETI and radio astronomy. The report ends with a selective, annotated SETI reading list of pro and contra SETI publications.
The problems of interfacing a human with a teleoperation system, for work in space are discussed. Much of the information presented here is the result of experience gained by the M.I.T. Space Systems Laboratory during the past two years of work on the ARAMIS (Automation, Robotics, and Machine Intelligence Systems) project. Many factors impact the design of the man-machine interface for a teleoperator. The effects of each are described in turn. An annotated bibliography gives the key references that were used. No conclusions are presented as a best design, since much depends on the particular application desired, and the relevant technology is swiftly changing.
The following strategy is suggested for specification and proof: (1) Defer the construction of a formal program specification with respect to I/O assertions unit the correctness of the program with respect to an abstract mathematical model of program intent is demonstrated. (2) Prove that an abstract machine (using infinite precision arithmetic) would compute that object exactly. (3) Prove that the computational sequences of arithmetic operations that occur in the abstract machine must be precisely the same at every step as those occurring on an actual machine (with finite precision arithmetic), executing the same program. (4) Use a Verification Conditions VC-generator that knows about the semantics of arithmetic operations to annotate the program with assertions that bound (or in some circumstances estimate) the difference between the actual machine state variables and the corresponding ones of the abstract machine. Construct the formal program specification by combining the verification conditions into theorems about computational error that can be proved with mechanical assistance.
A bibliography for the Supersonic Cruise Research (SCR) and Variable Cycle Engine (VCE) Programs is presented. An annotated bibliography for the last 123 formal reports and a listing of titles for 44 articles and presentations is included. The studies identifies technologies for producing efficient supersonic commercial jet transports for cruise Mach numbers from 2.0 to 2.7.
A particular implementation of the programming structural synthesis system (PROSSS) is described. This software system combines a state of the art optimization program, a production level structural analysis program, and user supplied, problem dependent interface programs. These programs are combined using standard command language features existing in modern computer operating systems. PROSSS is explained in general with respect to this implementation along with the steps for the preparation of the programs and input data. Each component of the system is described in detail with annotated listings for clarification. The components include options, procedures, programs and subroutines, and data files as they pertain to this implementation. An example exercising each option in this implementation to allow the user to anticipate the type of results that might be expected is presented.
A crops and soils data base has been developed at Purdue University's Laboratory for Applications of Remote Sensing using spectral and agronomic measurements made by several government and university researchers. The data are being used to (1) quantitatively determine the relationships of spectral and agronomic characteristics of crops and soils, (2) define future sensor systems, and (3) develop advanced data analysis techniques. Researchers follow defined data acquisition and preprocessing techniques to provide fully annotated and calibrated sets of spectral, agronomic, and meteorological data. These procedures enable the researcher to combine his data with that acquired by other researchers for remote sensing research. The key elements or requirements for developing a field research data base of spectral data that can be transported across sites and years are appropriate experiment design, accurate spectral data calibration, defined field procedures, and through experiment documentation.
The results of an intensive literature review in the general topics of human error analysis, stress and job performance, and accident and safety analysis revealed no usable techniques or approaches for analyzing human error in ground or space operations tasks. A task review model is described and proposed to be developed in order to reduce the degree of labor intensiveness in ground and space operations tasks. An extensive number of annotated references are provided.
Research using satellite remotely sensed data, even within any single scientific discipline, often lacked a unifying principle or strategy with which to plan or integrate studies conducted over an area so large that exhaustive examination is infeasible, e.g., the U.S.A. However, such a series of studies would seem to be at the heart of what makes satellite remote sensing unique, that is the ability to select for study from among remotely sensed data sets distributed widely over the U.S., over time, where the resources do not exist to examine all of them. Using this philosophical underpinning and the concept of a unifying principle, an operational procedure for developing a sampling strategy and formal testable hypotheses was constructed. The procedure is applicable across disciplines, when the investigator restates the research question in symbolic form, i.e., quantifies it. The procedure is set within the statistical framework of general linear models. The dependent variable is any arbitrary function of remotely sensed data and the independent variables are values or levels of factors which represent regional climatic conditions and/or properties of the Earth's surface. These factors are operationally defined as maps from the U.S. National Atlas (U.S.G.S., 1970). Eighty-five maps from the National Atlas, representing climatic and surface attributes, were automated by point counting at an effective resolution of one observation every 17.6 km (11 miles) yielding 22,505 observations per map. The maps were registered to one another in a two step procedure producing a coarse, then fine scale registration. After registration, the maps were iteratively checked for errors using manual and automated procedures. The error free maps were annotated with identification and legend information and then stored as card images, one map to a file. A sampling design will be accomplished through a regionalization analysis of the National Atlas data base (presently being conducted). From this analysis a map of homogeneous regions of the U.S.A. will be created and samples (LANDSAT scenes) assigned by region.
Articles entered into the data base and Lunar and Planetary Institute Library in the period from May to October, 1983 are listed in annotated bibliography. The topics of the articles include asteroids, comets, and meteorites.
Computer-controlled automatic system processes accelerometer data from rotating machines, producing mathematical description and graphical display of shaft motion. Program saves processing time, readily identifies type of motion (circular, looped, or elliptical), provides annotated assessments to assist in failure analysis, alerts user to look for distinctive characteristics of machinery, and creates informative plots.
Current and historical aerospace bibliographic control techniques are surveyed with emphasis on the NASA experience. Topics covered include early NACA and NASA bibliographic control, NASA historical research, STAR and IAA, NASA/RECON, NASA selective dissemination of information, the NASA Library Network, and the NASA Technology Utilization System. Consideration is also given to aerospace serials control, NASA subject categories, foreign aerospace bibliographic control, and aerospace picture, film, and microfiche control. An extensive, partially annotated bibliography is provided.
NASA has developed an airborne SAR that simultaneously yields image data in four linear polarizations in L-band with 10-m resolution over a swath of about 10 km. Signal data are recorded both optically and digitally and annotated in each of the channels to facilitate completely automated digital correlation. Comparison of the relative intensities of the different polarizations furnishes discriminatory mapping information. Local intensity variations in like-polarization images result from topographic effects, while strong cross polarization responses denote the effects of vegetation cover and, in some cases, possible scattering from the subsurface. In each of the areas studied, multiple polarization data led to the discrimination and mapping of unique surface unit features.
A program has been developed for use by researchers at the Langley Research Center (LaRC) to allow a quick and easy method to display color contour plots. The bilinear interpolation technique used in the contouring routine enables the user to analyze large data sets with smoothly varying color changes instead of dashes and lines. Annotations can be added to enhance the contour plot, and the resulting plot can easily be made into a color print or a viewgraph.
Research in the area of functional programming languages has intensified in the 8 years since John Backus' Turing Award Lecture on the topic was published. The purpose of this paper is to present a survey of the ideas of functional programming languages. The paper assumes the reader is comfortable with mathematics and has knowledge of the basic principles of traditional programming languages, but does not assume any prior knowledge of the ideas of functional languages. A simple functional language is defined and used to illustrate the basic ideas. Topics discussed include the reasons for developing functional languages, methods of expressing concurrency, the algebra of functional programming languages, program transformation techniques, and implementations of functional languages. Existing functional languages are also mentioned. The paper concludes with the author's opinions as to the future of functional languages. An annotated bibliography on the subject is also included.
Composites research conducted at the Langley Research Center during the period from 1975 to 1986 is described, and an annotated bibliography of over 600 documents (with their abstracts) is presented. The research includes Langley basic technology and the composite primary structures element of the NASA Aircraft Energy Efficiency (ACEE) Program. The basic technology documents cited in the bibliography are grouped according to the research activity such as design and analysis, fatigue and fracture, and damage tolerance. The ACEE documents cover development of composite structures for transport aircraft.
An annotated bibliography of the research reports written by participants in NASA's Workload Research Program since 1981 is presented, representing the results of theoretical and applied research conducted at Ames Research Center and at universities and industrial laboratories funded by the program. The major program elements included: 1) developing an understanding of the workload concept; 2) providing valid, reliable, and practical measures of workload; and 3) creating a computer model to predict workload. The goal is to provide workload-related design principles, measures, guidelines, and computational models. The research results are transferred to user groups by establishing close ties with manufacturers, civil and military operators of aerospace systems, and regulatory agencies; publishing scientific articles; participating in and sponsoring workshops and symposia; providing information, guidelines, and computer models; and contributing to the formulation of standards. In addition, the methods and theories developed have been applied to specific operational and design problems at the request of a number of industry and government agencies.