Search NASA⌕ Search

SEARCH · Search NASA

Results for “documentation”

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 343 records · Page 19
All sourcesNASA NTRSDOE OSTI
NASA NTRS1978

Using tools for verification, documentation and testing

Methodologies are discussed on four of the major approaches to program upgrading -- namely dynamic testing, symbolic execution, formal verification and static analysis. The different patterns of strengths, weaknesses and applications of these approaches are shown. It is demonstrated that these patterns are in many ways complementary, offering the hope that they can be coordinated and unified into a single comprehensive program testing and verification system capable of performing a diverse and useful variety of error detection, verification and documentation functions.

Osterweil, L. J.↗
NASA NTRS1977

GEOS-2 refraction program summary document

Data from an extensive array of collocated instrumentation at the Wallops Island test facility were intercompared in order to (1) determine the practical achievable accuracy limitations of various tropospheric and ionospheric correction techniques; (2) examine the theoretical bases and derivation of improved refraction correction techniques; and (3) estimate internal systematic and random error levels of the various tracking stations. The GEOS 2 satellite was used as the target vehicle. Data were obtained regarding the ionospheric and tropospheric propagation errors, the theoretical and data analysis of which was documented in some 30 separate reports over the last 6 years. An overview of project results is presented.

Mallinckrodt, A. J.↗
NASA NTRS1979

Random harmonic analysis program, L221 (TEV156). Volume 2: Supplemental system design and maintenenace document

Volume 2 of a two volume document is presented. A computer program, L222 (TEV 156), available for execution on the CDC 6600 computer is described. The program is capable of calculating steady-state solutions for linear second-order differential equations due to sinusoidal forcing functions. From this, steady-state solutions, generalized coordinates, and load frequency responses may be determined. Statistical characteristics of loads for the forcing function spectral shape may also be calculated using random harmonic analysis techniques. The particular field of application of the program is the analysis of airplane response and loads due to continuous random air turbulence.

Graham, M. L.↗
NASA NTRS1979

Documentation of the analysis of the benefits and costs of aeronautical research and technology models, volume 1

The analysis of the benefits and costs of aeronautical research and technology (ABC-ART) models are documented. These models were developed by NASA for use in analyzing the economic feasibility of applying advanced aeronautical technology to future civil aircraft. The methodology is composed of three major modules: fleet accounting module, airframe manufacturing module, and air carrier module. The fleet accounting module is used to estimate the number of new aircraft required as a function of time to meet demand. This estimation is based primarily upon the expected retirement age of existing aircraft and the expected change in revenue passenger miles demanded. Fuel consumption estimates are also generated by this module. The airframe manufacturer module is used to analyze the feasibility of the manufacturing the new aircraft demanded. The module includes logic for production scheduling and estimating manufacturing costs. For a series of aircraft selling prices, a cash flow analysis is performed and a rate of return on investment is calculated. The air carrier module provides a tool for analyzing the financial feasibility of an airline purchasing and operating the new aircraft. This module includes a methodology for computing the air carrier direct and indirect operating costs, performing a cash flow analysis, and estimating the internal rate of return on investment for a set of aircraft purchase prices.

Bobick, J. C.↗
NASA NTRS1979

Digital adaptive controllers for VTOL vehicles. Volume 2: Software documentation

The VTOL approach and landing test (VALT) adaptive software is documented. Two self-adaptive algorithms, one based on an implicit model reference design and the other on an explicit parameter estimation technique were evaluated. The organization of the software, user options, and a nominal set of input data are presented along with a flow chart and program listing of each algorithm.

Hartmann, G. L.↗
NASA NTRS1980

Forecast of long term coal supply and mining conditions: Model documentation and results

A coal industry model was developed to support the Jet Propulsion Laboratory in its investigation of advanced underground coal extraction systems. The model documentation includes the programming for the coal mining cost models and an accompanying users' manual, and a guide to reading model output. The methodology used in assembling the transportation, demand, and coal reserve components of the model are also described. Results presented for 1986 and 2000, include projections of coal production patterns and marginal prices, differentiated by coal sulfur content.

Source record↗
NASA NTRS1980

An application of software design and documentation language

The software design and documentation language (SDDL) is a general purpose processor to support a lanugage for the description of any system, structure, concept, or procedure that may be presented from the viewpoint of a collection of hierarchical entities linked together by means of binary connections. The language comprises a set of rules of syntax, primitive construct classes (module, block, and module invocation), and language control directives. The result is a language with a fixed grammar, variable alphabet and punctuation, and an extendable vocabulary. The application of SDDL to the detailed software design of the Command Data Subsystem for the Galileo Spacecraft is discussed. A set of constructs was developed and applied. These constructs are evaluated and examples of their application are considered.

Callender, E. D.↗
NASA NTRS1981

TOMS Near Realtime System design document

The System Design Document for the TOMS (Total Mapping Spectrometer) Near Realtime System provides detailed definition of the system functions and records the system history from a data processing and development point-of-view. The system was designed to produce map products displaying ozone concentrations over the United States as measured by the TOMS flown on the NIMBUS 7 satellite. The maps were produced and delivered to the user within six hours of round receipt of the satellite data for the period March 1, 1981 through May 15, 1981 on a daily basis. Sample system products are shown and data archival locations are listed.

Puccinelli, E. F.↗
NASA NTRS1981

Documentation for the machine-readable character coded version of the SKYMAP catalogue

The SKYMAP catalogue is a compilation of astronomical data prepared primarily for purposes of attitude guidance for satellites. In addition to the SKYMAP Master Catalogue data base, a software package of data base management and utility programs is available. The tape version of the SKYMAP Catalogue, as received by the Astronomical Data Center (ADC), contains logical records consisting of a combination of binary and EBCDIC data. Certain character coded data in each record are redundant in that the same data are present in binary form. In order to facilitate wider use of all SKYMAP data by the astronomical community, a formatted (character) version was prepared by eliminating all redundant character data and converting all binary data to character form. The character version of the catalogue is described. The document is intended to fully describe the formatted tape so that users can process the data problems and guess work; it should be distributed with any character version of the catalogue.

Warren, W. H., Jr.↗
NASA NTRS1981

Software design and documentation language: User's guide for SDDL release 4

The changes introduced in the PASCAL implementation of the software design and documentation language are described. These changes include a number of new capabilities, plus some changes to make the language more consistent and easier to use. Incompatibilities with earlier versions are limited to certain of the directive statements.

Zepko, T. M.↗
NASA NTRS1979

Integrated testing and verification system for research flight software design document

The NASA Langley Research Center is developing the MUST (Multipurpose User-oriented Software Technology) program to cut the cost of producing research flight software through a system of software support tools. The HAL/S language is the primary subject of the design. Boeing Computer Services Company (BCS) has designed an integrated verification and testing capability as part of MUST. Documentation, verification and test options are provided with special attention on real time, multiprocessing issues. The needs of the entire software production cycle have been considered, with effective management and reduced lifecycle costs as foremost goals. Capabilities have been included in the design for static detection of data flow anomalies involving communicating concurrent processes. Some types of ill formed process synchronization and deadlock also are detected statically.

Taylor, R. N.↗
NASA NTRS1982

Documentation for the machine-readable version of the Luminous Stars in the Northern Milky Way

A machine-readable version of a catalogue, Luminuous Stars in the Northern Milky Way, which contains all stars of six source publications in a single file is described. Files containing lists in order of their publication and sorted by right ascension are included in the computerized catalogue. Additional details regarding the program, instrumentation, spectral classification and determinations of magnitudes and positions are given in the source publications. This document was designed to be distributed with any machine-readable version of the catalogue

Warren, W. H., Jr.↗
NASA NTRS1982

General multiyear aggregation technology: Methodology and software documentation

A general methodology is presented for estimating a stratum's at-harvest crop acreage proportion for a given crop year (target year) from the crop's estimated acreage proportion for sample segments from within the stratum. Sample segments from crop years other than the target year are (usually) required for use in conjunction with those from the target year. In addition, the stratum's (identifiable) crop acreage proportion may be estimated for times other than at-harvest in some situations. A by-product of the procedure is a methodology for estimating the change in the stratum's at-harvest crop acreage proportion from crop year to crop year. An implementation of the proposed procedure as a statistical analysis system routine using the system's matrix language module, PROC MATRIX, is described and documented. Three examples illustrating use of the methodology and algorithm are provided.

Baker, T. C.↗
NASA NTRS1982

Documentation for the machine-readable version of the catalog of galactic O type stars

The Catalog of Galactic O-Type Stars (Garmany, Conti and Chiosi 1982), a compilation from the literature of all O-type stars for which spectral types, luminosity classes and UBV photometry exist, contains 765 stars, for each of which designation (HD, DM, etc.), spectral type, V, B-V, cluster membership, Galactic coordinates, and source references are given. Derived values of absolute visual and bolometric magnitudes, and distances are included. The source reference should be consulted for additional details concerning the derived quantities. This description of the machine-readable version of the catalog seeks to enable users to read and process the data with a minimum of guesswork. A copy of this document should be distributed with any machine readable version of the catalog.

Warren, W. H., Jr.↗
NASA NTRS1984

Software Document Inventory Program

Program offers ways to file and locate sources of reference. DOCLIB system consists of two parts to serve needs of two type of users: general user and librarian. DOCLIB systems provides user with interactive, menudriven document inventory capability.

Merwarth, P. D.↗
NASA NTRS1982

Data documentation for the 1981 summer vegetation experiment

The mobile agricultural radar sensor was used to collect data from 31 fields in the floodplain of the Kansas River east of Lawrence, Kansas during the summer of 1981. Corn, soybeans, and wheat crops were observed from May 1 to November 11. Radar backscattering measurements were acquired at 10.2 GHz for VV and VH polarizations at 50 deg incidence angles for all fields and at 30 deg, 40 deg, 50 deg, 60 deg, and 70 deg for nine of the 31 fields. Target parameters describing the vegatation and soil characteristics, such as plant moisture, plant height, soil moisture, etc., were also measured. The methodology, radar backscatter data and associated ground-truth data obtained during this experiment are documented.

Ulaby, F. T.↗
NASA NTRS1982

An experimental documentation of a separated trailing-edge flow at a transonic Mach number

A detailed experiment on the separated flow field at a sharp trailing edge is described and documented. The separated flow is a result of sustained adverse pressure gradients. The experiment was conducted using an elongated airfoil-like model at a transonic Mach number and at a high Reynolds number of practical interest. Measurements made include surface pressures and detailed mean and turbulence flow quantities in the region just upstream of separation to downstream into the near-wake, following wake closure. The data obtained are presented mostly in tabular form. These data are of sufficient quality and detail to be useful as a test case for evaluating turbulence models and calculation methods.

Viswanath, P. R.↗