Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Validate”

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 1,117 records · Page 62
All sourcesNASA NTRSDOE OSTI
NASA NTRS1986

The Earth Radiation Budget Experiment - Early validation results

The primary techniques used to obtain and validate the data of the Earth Radiation Budget Experiment (ERBE) are described, together with preliminary results of the validation. The ERBE consists of radiometers aboard the ERB Satellite, dedicated to a 57-deg orbit, and each of the two NOAA meteorological spacecraft (NOAA 9 and NOAA G) in near polar orbits. The radiometers include scanning narrow field-of-view (FOV) and nadir-looking wide and medium FOV radiometers, and a solar monitoring channel. Measurements of the solar constant by the solar monitors, and the wide and medium FOV radiometers of the ERB and the NOAA 9 spacecraft agree within a fraction of a percent. Comparison of the wide and medium FOV radiometers with the scanning radiometers showed an agreement of 1 to 4 percent. The multiple ERBE satellites are acquiring the first global measurements of regional scale-diurnal variations in the earth's radiation budget. These were verified by comparison with the high-temporal-resolution geostationary satellite data.

Smith, G. L.↗
NASA NTRS1984

Supersonic, nonlinear, attached-flow wing design for high lift with experimental validation

Results of the experimental validation are presented for the three dimensional cambered wing which was designed to achieve attached supercritical cross flow for lifting conditions typical of supersonic maneuver. The design point was a lift coefficient of 0.4 at Mach 1.62 and 12 deg angle of attack. Results from the nonlinear full potential method are presented to show the validity of the design process along with results from linear theory codes. Longitudinal force and moment data and static pressure data were obtained in the Langley Unitary Plan Wind Tunnel at Mach numbers of 1.58, 1.62, 1.66, 1.70, and 2.00 over an angle of attack range of 0 to 14 deg at a Reynolds number of 2.0 x 10 to the 6th power per foot. Oil flow photographs of the upper surface were obtained at M = 1.62 for alpha approx. = 8, 10, 12, and 14 deg.

Pittman, J. L.↗
NASA NTRS1986

NASA scatterometer data processing system: Features for validation

The design of the N-ROSS scatterometer data system and the development of key processing algorithms are described. The data products and parts of the data system to be directly validated are listed. The main features of the Data Management Subsystem, which delivers data to science users and supports system validation are outlined.

Callahan, Philip S.↗
NASA NTRS1987

Validation of SAM 2 and SAGE satellite

Presented are the results of a validation study of data obtained by the Stratospheric Aerosol and Gas Experiment I (SAGE I) and Stratospheric Aerosol Measurement II (SAM II) satellite experiments. The study includes the entire SAGE I data set (February 1979 - November 1981) and the first four and one-half years of SAM II data (October 1978 - February 1983). These data sets have been validated by their use in the analysis of dynamical, physical and chemical processes in the stratosphere. They have been compared with other existing data sets and the SAGE I and SAM II data sets intercompared where possible. The study has shown the data to be of great value in the study of the climatological behavior of stratospheric aerosols and ozone. Several scientific publications and user-oriented data summaries have appeared as a result of the work carried out under this contract.

Kent, G. S.↗
NASA NTRS1987

Validation of the SURE Program, phase 1

Presented are the results of the first phase in the validation of the SURE (Semi-Markov Unreliability Range Evaluator) program. The SURE program gives lower and upper bounds on the death-state probabilities of a semi-Markov model. With these bounds, the reliability of a semi-Markov model of a fault-tolerant computer system can be analyzed. For the first phase in the validation, fifteen semi-Markov models were solved analytically for the exact death-state probabilities and these solutions compared to the corresponding bounds given by SURE. In every case, the SURE bounds covered the exact solution. The bounds, however, had a tendency to separate in cases where the recovery rate was slow or the fault arrival rate was fast.

Dotson, Kelly J.↗
NASA NTRS1985

Validation of a fault-tolerant multiprocessor: Baseline experiments and workload implementation

In the future, aircraft must employ highly reliable multiprocessors in order to achieve flight safety. Such computers must be experimentally validated before they are deployed. This project outlines a methodology for validating reliable multiprocessors. The methodology begins with baseline experiments, which tests a single phenomenon. As experiments progress, tools for performance testing are developed. The methodology is used, in part, on the Fault Tolerant Multiprocessor (FTMP) at NASA-Langley's AIRLAB facility. Experiments are designed to evaluate the fault-free performance of the system. Presented are the results of interrupt baseline experiments performed on FTMP. Interrupt causing exception conditions were tested, and several were found to have unimplemented interrupt handling software while one had an unimplemented interrupt vector. A synthetic workload model for realtime multiprocessors is then developed as an application level performance analysis tool. Details of the workload implementation and calibration are presented. Both the experimental methodology and the synthetic workload model are general enough to be applicable to reliable multiprocessors beside FTMP.

Feather, Frank↗
NASA NTRS1986

Downward longwave surface radiation from sun-synchronous satellite data - Validation of methodology

An extensive study has been carried out to validate a satellite technique for estimating downward longwave radiation at the surface. The technique, mostly developed earlier, uses operational sun-synchronous satellite data and a radiative transfer model to provide the surface flux estimates. The satellite-derived fluxes were compared directly with corresponding ground-measured fluxes at four different sites in the United States for a common one-year period. This provided a study of seasonal variations as well as a diversity of meteorological conditions. Dome heating errors in the ground-measured fluxes were also investigated and were corrected prior to the comparisons. Comparison of the monthly averaged fluxes from the satellite and ground sources for all four sites for the entire year showed a correlation coefficient of 0.98 and a standard error of estimate of 10 W/sq m. A brief description of the technique is provided, and the results validating the technique are presented.

Darnell, W. L.↗
NASA NTRS1987

On the validity of the modified equation approach to the stability analysis of finite-difference methods

The validity of the modified equation stability analysis introduced by Warming and Hyett was investigated. It is shown that the procedure used in the derivation of the modified equation is flawed and generally leads to invalid results. Moreover, the interpretation of the modified equation as the exact partial differential equation solved by a finite-difference method generally cannot be justified even if spatial periodicity is assumed. For a two-level scheme, due to a series of mathematical quirks, the connection between the modified equation approach and the von Neuman method established by Warming and Hyett turns out to be correct despite its questionable original derivation. However, this connection is only partially valid for a scheme involving more than two time levels. In the von Neumann analysis, the complex error multiplication factor associated with a wave number generally has (L-1) roots for an L-level scheme. It is shown that the modified equation provides information about only one of these roots.

Chang, Sin-Chung↗
NASA NTRS1987

Methodology for testing and validating knowledge bases

A test and validation toolset developed for artificial intelligence programs is described. The basic premises of this method are: (1) knowledge bases have a strongly declarative character and represent mostly structural information about different domains, (2) the conditions for integrity, consistency, and correctness can be transformed into structural properties of knowledge bases, and (3) structural information and structural properties can be uniformly represented by graphs and checked by graph algorithms. The interactive test and validation environment have been implemented on a SUN workstation.

Krishnamurthy, C.↗
NASA NTRS1988

Accuracy requirements and benchmark experiments for CFD validation

The role of experiment in the development of Computation Fluid Dynamics (CFD) for aerodynamic flow prediction is discussed. The CFD verification is a concept that depends on closely coordinated planning between computational and experimental disciplines. Because code applications are becoming more complex and their potential for design more feasible, it no longer suffices to use experimental data from surface or integral measurements alone to provide the required verification. Flow physics and modeling, flow field, and boundary condition measurements are emerging as critical data. Four types of experiments are introduced and examples given that meet the challenge of validation: flow physics experiments; flow modeling experiments; calibration experiments; and verification experiments. Measurement and accuracy requirements for each of these differ and are discussed. A comprehensive program of validation is described, some examples given, and it is concluded that the future prospects are encouraging.

Marvin, Joseph G.↗
NASA NTRS1988

NASA Sea Ice and Snow Validation Program for the DMSP SSM/I: NASA DC-8 flight report

In June 1987 a new microwave sensor called the Special Sensor Microwave Imager (SSM/I) was launched as part of the Defense Meteorological Satellite Program (DMSP). In recognition of the importance of this sensor to the polar research community, NASA developed a program to acquire the data, to convert the data into sea ice parameters, and finally to validate and archive both the SSM/I radiances and the derived sea ice parameters. Central to NASA's sea ice validation program was a series of SSM/I aircraft underflights with the NASA DC-8 airborne Laboratory. The mission (the Arctic '88 Sea Ice Mission) was completed in March 1988. This report summarizes the mission and includes a summary of aircraft instrumentation, coordination with participating Navy aircraft, flight objectives, flight plans, data collected, SSM/I orbits for each day during the mission, and lists several piggyback experiments supported during this mission.

Cavalieri, D. J.↗
NASA NTRS1988

Expert system validation in prolog

An overview of the Expert System Validation Assistant (EVA) is being implemented in Prolog at the Lockheed AI Center. Prolog was chosen to facilitate rapid prototyping of the structure and logic checkers and since February 1987, we have implemented code to check for irrelevance, subsumption, duplication, deadends, unreachability, and cycles. The architecture chosen is extremely flexible and expansible, yet concise and complementary with the normal interactive style of Prolog. The foundation of the system is in the connection graph representation. Rules and facts are modeled as nodes in the graph and arcs indicate common patterns between rules. The basic activity of the validation system is then a traversal of the connection graph, searching for various patterns the system recognizes as erroneous. To aid in specifying these patterns, a metalanguage is developed, providing the user with the basic facilities required to reason about the expert system. Using the metalanguage, the user can, for example, give the Prolog inference engine the goal of finding inconsistent conclusions among the rules, and Prolog will search the graph intantiations which can match the definition of inconsistency. Examples of code for some of the checkers are provided and the algorithms explained. Technical highlights include automatic construction of a connection graph, demonstration of the use of metalanguage, the A* algorithm modified to detect all unique cycles, general-purpose stacks in Prolog, and a general-purpose database browser with pattern completion.

Stock, Todd↗
NASA NTRS1988

Accuracy requirements and benchmark experiments for CFD validation

The role of experiment in the development of Computational Fluid Dynamics (CFD) for aerodynamic flow prediction is discussed. The CFD verification is a concept that depends on closely coordinated planning between computational and experimental disciplines. Because code applications are becoming more complex and their potential for design more feasible, it no longer suffices to use experimental data from surface or integral measurements alone to provide the required verification. Flow physics and modeling, flow field, and boundary condition measurements are emerging as critical data. Four types of experiments are introduced and examples are given that meet the challenge of validation: flow physics experiments; flow modeling experiments; calibration experiments; and verification experiments. Measurement and accuracy requirements for each of these differ and are discussed. A comprehensive program of validation is described, some examples given, and it is concluded that the future prospects are encouraging.

Marvin, Joseph G.↗
NASA NTRS1988

Validation of highly reliable, real-time knowledge-based systems

Knowledge-based systems have the potential to greatly increase the capabilities of future aircraft and spacecraft and to significantly reduce support manpower needed for the space station and other space missions. However, a credible validation methodology must be developed before knowledge-based systems can be used for life- or mission-critical applications. Experience with conventional software has shown that the use of good software engineering techniques and static analysis tools can greatly reduce the time needed for testing and simulation of a system. Since exhaustive testing is infeasible, reliability must be built into the software during the design and implementation phases. Unfortunately, many of the software engineering techniques and tools used for conventional software are of little use in the development of knowledge-based systems. Therefore, research at Langley is focused on developing a set of guidelines, methods, and prototype validation tools for building highly reliable, knowledge-based systems. The use of a comprehensive methodology for building highly reliable, knowledge-based systems should significantly decrease the time needed for testing and simulation. A proven record of delivering reliable systems at the beginning of the highly visible testing and simulation phases is crucial to the acceptance of knowledge-based systems in critical applications.

Johnson, Sally C.↗
NASA NTRS1989

Results of an A109 simulation validation and handling qualities study

The results for the validation of a mathematical model of the Agusta A109 helicopter, and subsequent use of the model as the baseline for a handling qualities study of cockpit centerstick requirements, are described. The technical approach included flight test, non-realtime analysis, and realtime piloted simulation. Results of the validation illustrate a time- and frequency-domain approach to the model and simulator issues. The final A109 model correlates well with the actual aircraft with the Stability Augmentation System (SAS) engaged, but is unacceptable without the SAS because of instability and response coupling at low speeds. Results of the centerstick study support the current U.S. Army handling qualities requirements for centerstick characteristics.

Eshow, Michelle M.↗
NASA NTRS1988

Intent inferencing by an intelligent operator's associate - A validation study

In the supervisory control of a complex, dynamic system, one potential form of aiding for the human operator is a computer-based operator's associate. The design philosophy of the operator's associate is that of 'amplifying' rather than automating human skills. In particular, the associate possesses understanding and control properties. Understanding allows it to infer operator intentions and thus form the basis for context-dependent advice and reminders; control properties allow the human operator to dynamically delegate individual tasks or subfunctions to the associate. This paper focuses on the design, implementation, and validation of the intent inferencing function. Two validation studies are described which empirically demonstrate the viability of the proposed approach to intent inferencing.

Jones, Patricia M.↗
NASA NTRS1988

Nimbus-7 global cloud climatology. I - Algorithms and validation

An improved version of the Nimbus-7 cloud retrieval algorithm was validated using data from Nimbus-7 Temperature Humidity Infrared Radiometer and Total Ozone Mapping Spectrometer to determine cloudiness parameters for the globe. Quantitative validation of total cloud amount was performed by comparing the algorithm results with estimates derived from GOES images and auxiliary meteorological data. The systematic errors of the Nimbus-7 total cloud-amount algorithm, relative to the GOES-derived estimates, were found to be less than 10 percent. The random errors of daily estimates ranged between 7 and 16 percent, day or night.

Stowe, L. L.↗
NASA NTRS1989

SAGE II aerosol validation - Selected altitude measurements, including particle micromeasurements

The validity of particulate extinction coefficients derived from limb path solar radiance measurements obtained during the Stratospheric Aerosol and Gas Experiment (SAGE) II is tested. The SAGE II measurements are compared with correlative aerosol measurements taken during January 1985, August 1985, and July 1986 with impactors, laser spectrometers, and filter samplers on a U-2 aircraft, an upward pointing lidar on a P-3 aircraft, and balloon-borne optical particle counters. The data for July 29, 1986 are discussed in detail. The aerosol measurements taken on this day at an altitude of 20.5 km produce particulate extinction values which validate the SAGE II values for similar wavelengths.

Oberbeck, Verne R.↗