Search NASA⌕ Search

SEARCH · Search NASA

Results for “Proving”

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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
NASA NTRS1975

Utilization of EREP data in geological evaluation, regional planning, forest management, and water management in North Carolina

The author has identified the following significant results. The S190A, S190B, and S192 photographs and imagery were studied, using standard air-photo interpretation techniques supplemented by color additive viewing and density slicing. The EREP data were found to have potential usefulness for natural resource inventory work, water quality monitoring, and land use mapping for specific problems at scales up to 1:30,000. Distinctions between forest types in North Carolina are limited to conifers, mixed conifer-hardwoods, and hardwoods. Geologic interpretation was limited to detection of lineaments; lithologic differentiation and soil group mapping have proved infeasible in North Carolina except for differentiation of wetland soils in the coastal plain. Imagery from the S192 multispectral scanner has proved to be capable of useful discriminations for vegetation and crop analysis.

Welby, C. W.↗
NASA NTRS1976

Application of Skylab EREP data for land use management

The author has identified the following significant results. The 1.09-1.19 micron band proved to be very valuable for discriminating a variety of land use categories, including agriculture, forest, and urban classes. The 1.55-1.75 micron band proved very useful in combination with the 1.09-1.19 micron band. Misregistration between spectral bands, even by as little as 1/2 pixel, may degrade classification accuracy. Identification accuracy of boundary or border pixels was as much as 13% lower than the accuracy for identifying internal field pixels. The principal conclusion with respect to the S190B camera system is that the higher resolution of the S190B system in comparison to previous space photography (Gemini, Apollo), to the S190A system (Skylab), and to LANDSAT imagery significantly increases the range of additional discrimination achievable.

Simonett, D. S.↗
NASA NTRS1975

Directional-cosine and related pre-processing techniques - Possibilities and problems in earth-resources surveys

The possibilities of using various pre-processing techniques (directional-cosine, ratios and ratio/sum) have been investigated in relation to an urban land-use problem in Marion County, Indiana (USA) and for geologic applications in the San Juan Mountains of Colorado. For Marion County, it proved possible to classify directional-cosine data from September 1972 into different land uses by applying statistics developed with data from a May 1973 ERTS frame, thereby demonstrating the possibilities of using this type of data for signature-extension purposes. In the Silverton (Colorado) area pre-processed data proved superior to original data when extracting useful information in mountainous areas without corresponding ground observations. This approach allowed meaningful classification and interpretation of the data. The main problems encountered as a result of atmospheric effects, mixing of different surface materials, and the performance characteristics of ERTS are elucidated.

Quiel, F.↗
NASA NTRS1975

The use of LANDSAT data in a Large Area Crop Inventory Experiment /LACIE/

A Large Area Crop Inventory Experiment (LACIE) has been undertaken jointly by the U.S. Department of Agriculture, the National Oceanic and Atmospheric Administration (NOAA) of the Department of Commerce and the National Aeronautics and Space Administration (NASA) to prove out an economically important application of remote sensing from space. At the outset LACIE will concentrate on wheat grown in the North American area. The experiment will combine crop area measurements obtained from LANDSAT data and meteorological information from NOAA satellites and from ground stations designed to relate weather conditions to yield assessment and ultimately to production forecasts. The Department of Agriculture will study the utilization of the experimentally derived production estimates in its crop reports. These reports are made public as a routine service to the domestic and international agriculture community. If this activity is successful and the results prove useful the application will be extended to other regions and ultimately to other crops.

Macdonald, R. B.↗
NASA NTRS1975

Effect of the mass center shift for force-free flexible spacecraft

For a spinning flexible spacecraft the mass center generally shifts relative to the nominal undeformed position. It is thought that this shift of center complicates spacecraft stability analysis. It is proved, on the basis of results achieved by Meirovitch and Calico (1972), that for the general class of force-free single-spin flexible spacecraft it is possible to ignore this shift of center without affecting the stability criteria in any significant way. A new theorem on inequalities for quadratic forms is proved to demonstrate the validity of the stability analysis.

Meirovitch, L.↗
NASA NTRS1976

Bit error rate measurement for evaluation of a fiber optic link

Digital fiber-optic data-link terminal modules are being developed in a number of laboratories, and often the modules take the form of black boxes without convenient access to internal signals. This paper discusses types of measurements which can be made using only the digital terminals of the link. Bit-error-rate (BER) vs signal-power data can, of course, provide a means for proving overall link performance, but it can also be used to determine certain internal parameters of the receiver. The theoretical dependence of the BER-vs-light-signal-power curve shape on receiver input-noise equivalent power and comparator slicing level is discussed. BER-vs-light-signal-power measurements obtained with an experimental link are presented and interpreted with the aid of the theoretical curves. The effects of other problems, such as hum or oscillation, on the BER data are mentioned. Sensitivity of the system BER to bit rate is also discussed, with application to determining system operating limits. Since BER measurements are simple to make and can easily be automated, they may prove to be a useful means for either laboratory evaluation or production-line acceptance testing of sealed terminal modules.

Bergman, L. A.↗
NASA NTRS1977

Landsat imagery for surface-mine inventory

The feasibility of using Landsat imagery for routine monitoring of surface mining and reclamation was tested in a two-county (1541 sq km) area of western Maryland. Two digital analysis methods were studied. The first, a four-band analysis distinguishing various strip mine associated classes and conditions, proved useful, but has limited extendibility over a seasonal or annual period. In the second approach, a band-ratio method was developed for measuring disturbed surface areas, and it proved to be both temporally and geographically extendible. For mines ranging between 31 and 244 acres, the measurement accuracy of total affected acreage was 92%. The use of Landsat satellite data together with multilevel sampling of aircraft and field verification inspections has shown that multispectral analysis of digital data is an effective means of monitoring the progress of surface mining operations.

Anderson, A. T.↗
NASA NTRS1977

Investigation of environmental change pattern in Japan

The author has identified the following significant results. In the Plains of Tokachi, where the scale of agricultural field was comparatively large in Japan, LANDSAT data with its accuracy have proved to be useful enough to observe the actual condition of agricultural land use and changes more accurately than present methods. Species and ages of grasses in pasture were identified and soils were classified into several types. The actual land cover and ecological environment were remarkably changeable at the rapidly industrialized area by the urbanization in the flat plane and also by the forest works and road construction in the mountainous area. The practical use of the recognition results was proved as the base map of the field survey or the retouching work of the vegetation and land use. There was a 10% cut in cost, labor, and time. Vegetation cover in Tokyo districts was estimated by both the multiregression model and the parametric model. Multicorrelation coefficient between observed value and estimated value was 0.87 and standard deviation was + or - 15%. Vegetation cover in Tokyo was mapped into five levels with equal intervals of 20%.

Maruyasu, T.↗
NASA NTRS1982

The Nimbus satellite system: Remote sensing R&D platform of the 70's

Originally conceived to be the future operational weather satellite, the Nimbus series of seven satellites became the work horse and experimental backbone of the NASA/NOAA space research program. Early problems in developing the attitude control system and proving its operational characteristics in the simulated space environment are discussed. The program proved itself many times over; contributing substantially to the scientific knowledge of atmospherics and weather. As application/research vehicles, the seven Nimbus spacecraft were used for the development, test and application of a variety of new and advanced meteorological and geophysical remote sensing instruments and associated data transmission and processing techniques.

Haas, I. S.↗
NASA NTRS1981

U.S. manned space flight: The first twenty years - A biomedical status report

In the last 20 years, the biomedical problems facing man in space have been brought into sharper focus. Space motion sickness is presently the most serious problem. Its etiology remains obscure, but the 'sensory conflict' theory appears most plausible. No valid predictive tests of susceptibility exist and presently medication for prevention or mitigation of symptoms must be relied on. Adaptation/biofeedback techniques may prove useful. Cardiovascular 'deconditioning' may be effectively attenuated by use of anti-g suits or plasma expanding techniques. Recent bedrest simulation studies would seem to indicate that concerns about chronically elevated central venous pressure during space flight are unfounded. The loss of red cell mass in space flight appears to be self-limited, independent of mission duration, and not of clinical concern, based on recent Soviet experiences. And finally, clodronate, a new diphosphonate effective in preventing hypercalciuria and negative calcium balance in normal human bedrested subjects, may prove effective in preventing or lessening skeletal mineral loss in space.

Dietlein, L. F.↗
NASA NTRS1981

Ground water use inventory in Minnesota using LANDSAT data

An irrigation ground water use inventory in Sherburne County, Minnesota, was attempted by indirectly locating irrigation wells by determining the location of irrigated lands. Digital classification of LANDSAT MSS imagery was employed using the IDIMS at Goddard Space Flight Center. Single-date classification proved moderately successful after accurate ground truth data were obtained. A combination of supervised and unsupervised classification was used. Multitemporal analysis using August 10 and May 21, 1978 imagery was also attempted. This unsupervised classification proved most successful in identifying crops and irrigated fields.

Beissel, D. R.↗
NASA NTRS1983

Experimental comparison of icing cloud instruments

Icing cloud instruments were tested in the spray cloud Icing Research Tunnel (IRT) in order to determine their relative accuracy and their limitations over a broad range of conditions. It was found that the average of the readings from each of the liquid water content (LWC) instruments tested agreed closely with each other and with the IRT calibration; but all have a data scatter (+ or - one standard deviation) of about + or - 20 percent. The effect of this + or - 20 percent uncertainty is probably acceptable in aero-penalty and deicer experiments. Existing laser spectrometers proved to be too inaccurate for LWC measurements. The error due to water runoff was the same for all ice accretion LWC instruments. Any given laser spectrometer proved to be highly repeatable in its indications of volume median drop size (DVM), LWC and drop size distribution. However, there was a significant disagreement between different spectrometers of the same model, even after careful standard calibration and data analysis. The scatter about the mean of the DVM data from five Axial Scattering Spectrometer Probes was + or - 20 percent (+ or - one standard deviation) and the average was 20 percent higher than the old IRT calibration. The + or - 20 percent uncertainty in DVM can cause an unacceptable variation in the drag coefficient of an airfoil with ice; however, the variation in a deicer performance test may be acceptable.

Olsen, W.↗
NASA NTRS1983

Air Force Logistics Command (AFLC) solar thermal plant

The plant proved its capability to deliver the desired energy product in a USAF industrial environment. The collector proved capable of energy conversion at insolation levels up to 25% below design minimum. The plant and the project were negatively affected by severe winter weather, with total insolation during the test period 60 percent less than the expected value. Environmental effects reduced plant availability to 55 percent. Only five, minimally good operating days were experienced during the test period. The subsequent lack of performance data prohibits the drawing of general conclusions regarding system performance. System operability was rated generally high. The only inhibiting factor was the difficulty in procuring replacement parts for rapid repair under USAF stockage and procurement policies. No inherently serious system failures were recorded, although a thermostatic valve malfunction in the freeze protection system ultimately took 30 days to repair.

Source record↗
NASA NTRS1984

Support of Oil Lubrication by Bonded Coatings

A new generation of lubricating lacquers for treatment of metal surfaces has been developed. These new coatings have proved to be oil-compatible and are used in oil-lubricated systems. The oil lubrication is supported thereby through reduction of friction and increase of load-carrying capacity during boundary conditions. For difficult tribological systems, the problem-solving lubricating concept has proved to be the beneficial combination of lubricating oil and bonded coatings. A number of practical applications are presented.

Ruediger Holinski↗
NASA NTRS1983

STP: A Mechanized Logic for Specification and Verification

A logic and proof theory that was mechanized and successfully applied to prove nontrivial properties of a fully distributed fault tolerant system is described. The system is close to achieving the critical balance in man machine interaction necesary for successful application by users other than the system developers. Motivation for the form of man machine interaction embodied by STP is discussed. A formal description of the logic and the proof theory is contained, and the description illustrated with an example. The use of STP in a large scale effort to prove nontrivial properties on SIFT, a distributed Software Implemented Fault Tolerant operating system for aircraft flight control is discussed. Finally, directions for further work are described.

Shostak, R. E.↗
NASA NTRS1983

HDM/PASCAL Verification System User's Manual

The HDM/Pascal verification system is a tool for proving the correctness of programs written in PASCAL and specified in the Hierarchical Development Methodology (HDM). This document assumes an understanding of PASCAL, HDM, program verification, and the STP system. The steps toward verification which this tool provides are parsing programs and specifications, checking the static semantics, and generating verification conditions. Some support functions are provided such as maintaining a data base, status management, and editing. The system runs under the TOPS-20 and TENEX operating systems and is written in INTERLISP. However, no knowledge is assumed of these operating systems or of INTERLISP. The system requires three executable files, HDMVCG, PARSE, and STP. Optionally, the editor EMACS should be on the system in order for the editor to work. The file HDMVCG is invoked to run the system. The files PARSE and STP are used as lower forks to perform the functions of parsing and proving.

Hare, D.↗
NASA NTRS1983

The Proof of the SIFT Implementation

The Software Implemented Fault Tolerance SIFT specifications consist primarily of constraints on the schedule table and descriptions of the changes each routine makes to the global variables. The proof proceeds by proving that each routine is consistent with its specification. Each of these proofs is separate from the others and the order of the proofs is unimportant. A routine is proved by generating a set of verification conditions from the PASCAL code and the SPECIAL specifications. Each verification condition is a set of assertions derived from a particular path in the routine. A verification condition (VC) is generated for each possible path through the routine.

Source record↗
NASA NTRS1983

Peer Review of a Formal Verification/Design Proof Methodology

The role of formal verification techniques in system validation was examined. The value and the state of the art of performance proving for fault-tolerant compuers were assessed. The investigation, development, and evaluation of performance proving tools were reviewed. The technical issues related to proof methodologies are examined. The technical issues discussed are summarized.

Source record↗