Search NASA⌕ Search

SEARCH · Search NASA

Results for “Verification”

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 685 records · Page 38
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

Space Shuttle production verification motor 1 (PV-1) field joint protection system, volume 7

The performance of the field joint protection system (FJPS) of the Space Shuttle Production Verification Motor 1 (PV-1), as evaluated by postfire hardware inspection. Compliance with the specifications is shown for the FJPS assembly and components. The simplified FJPS and field joint heaters performed nominally, maintaining all joint seal temperatures within the required range. One anomally was noted on the igniter-to-case joint heater during postfire inspection. The heater buckled off the surface in two areas, resulting in two hot spots on the heater and darkened heater insulation. The condition did not affect heater performance during ignition countdown and all igniter seals were maintained within required temperature limits.

Wilkinson, J. P.↗
NASA NTRS1990

Low level vapor verification of monomethyl hydrazine

The vapor scrubbing system and the coulometric test procedure for the low level vapor verification of monomethyl hydrazine (MMH) are evaluated. Experimental data on precision, efficiency of the scrubbing liquid, instrument response, detection and reliable quantitation limits, stability of the vapor scrubbed solution, and interference were obtained to assess the applicability of the method for the low ppb level detection of the analyte vapor in air. The results indicated that the analyte vapor scrubbing system and the coulometric test procedure can be utilized for the quantitative detection of low ppb level vapor of MMH in air.

Mehta, Narinder↗
NASA NTRS1990

Expert system verification and validation survey. Delivery 2: Survey results

The purpose is to determine the state-of-the-practice in Verification and Validation (V and V) of Expert Systems (ESs) on current NASA and industry applications. This is the first task of the series which has the ultimate purpose of ensuring that adequate ES V and V tools and techniques are available for Space Station Knowledge Based Systems development. The strategy for determining the state-of-the-practice is to check how well each of the known ES V and V issues are being addressed and to what extent they have impacted the development of ESs.

Source record↗
NASA NTRS1990

Expert system verification and validation study. Phase 2: Requirements identification. Delivery 1: Updated survey report

The purpose is to report the state-of-the-practice in Verification and Validation (V and V) of Expert Systems (ESs) on current NASA and Industry applications. This is the first task of a series which has the ultimate purpose of ensuring that adequate ES V and V tools and techniques are available for Space Station Knowledge Based Systems development. The strategy for determining the state-of-the-practice is to check how well each of the known ES V and V issues are being addressed and to what extent they have impacted the development of Expert Systems.

Source record↗
NASA NTRS1991

Expert system verification and validation study. Phase 2: Requirements Identification. Delivery 2: Current requirements applicability

The second phase of a task is described which has the ultimate purpose of ensuring that adequate Expert Systems (ESs) Verification and Validation (V and V) tools and techniques are available for Space Station Freedom Program Knowledge Based Systems development. The purpose of this phase is to recommend modifications to current software V and V requirements which will extend the applicability of the requirements to NASA ESs.

Source record↗
NASA NTRS1990

Expert system verification and validation survey. Delivery 3: Recommendations

The purpose is to determine the state-of-the-practice in Verification and Validation (V and V) of Expert Systems (ESs) on current NASA and Industry applications. This is the first task of a series which has the ultimate purpose of ensuring that adequate ES V and V tools and techniques are available for Space Station Knowledge Based Systems development. The strategy for determining the state-of-the-practice is to check how well each of the known ES V and V issues are being addressed and to what extent they have impacted the development of ESs.

Source record↗
NASA NTRS1990

Expert system verification and validation survey, delivery 4

The purpose is to determine the state-of-the-practice in Verification and Validation (V and V) of Expert Systems (ESs) on current NASA and Industry applications. This is the first task of a series which has the ultimate purpose of ensuring that adequate ES V and V tools and techniques are available for Space Station Knowledge Based Systems development. The strategy for determining the state-of-the-practice is to check how well each of the known ES V and V issues are being addressed and to what extent they have impacted the development of ESs.

Source record↗
NASA NTRS1990

Expert system verification and validation survey. Delivery 5: Revised

The purpose is to determine the state-of-the-practice in Verification and Validation (V and V) of Expert Systems (ESs) on current NASA and Industry applications. This is the first task of a series which has the ultimate purpose of ensuring that adequate ES V and V tools and techniques are available for Space Station Knowledge Based Systems development. The strategy for determining the state-of-the-practice is to check how well each of the known ES V and V issues are being addressed and to what extent they have impacted the development of ESs.

Source record↗
NASA NTRS1991

Use of the Long Duration Exposure Facility's thermal measurement system for the verification of thermal models

Results are presented of the comparison between the Long Duration Exposure Facility (LDEF) Thermal Measurements Systems (THERM) recorded temperature data and the predicted values as calculated prior to the LDEF deployment. The postflight thermal model was verified and calculated temperature uncertainties were reduced to under + or - 18 F from the preflight uncertainties of + or - 40 F. The THERM consisted of 8 temperature sensors, a shared tape recorder, a standard LDEF flight battery, and an electronics control box. The temperatures were measured at selected locations on the LDEF structure interior during the first 490 days of flight and recorded for postflight analysis. After the recorder was recovered from space, the tape recorder was recovered and the data reduced for comparison to the LDEF predicted temperatures. By comparing the calculated values to the measured data, a verified thermal model that presents the best agreement with the THERM data was obtained. The THERM experiment provided an economical way of performing a postflight verification of the LDEF Thermal Model by recording a limited number of flight temperatures on typical locations of the LDEF structure.

Berrios, William M.↗
NASA NTRS1991

Development and verification of global/local analysis techniques for laminated composites

A two-dimensional to three-dimensional global/local finite element approach was developed, verified, and applied to a laminated composite plate of finite width and length containing a central circular hole. The resulting stress fields for axial compression loads were examined for several symmetric stacking sequences and hole sizes. Verification was based on comparison of the displacements and the stress fields with those accepted trends from previous free edge investigations and a complete three-dimensional finite element solution of the plate. The laminates in the compression study included symmetric cross-ply, angle-ply and quasi-isotropic stacking sequences. The entire plate was selected as the global model and analyzed with two-dimensional finite elements. Displacements along a region identified as the global/local interface were applied in a kinematically consistent fashion to independent three-dimensional local models. Local areas of interest in the plate included a portion of the straight free edge near the hole, and the immediate area around the hole. Interlaminar stress results obtained from the global/local analyses compares well with previously reported trends, and some new conclusions about interlaminar stress fields in plates with different laminate orientations and hole sizes are presented for compressive loading. The effectiveness of the global/local procedure in reducing the computational effort required to solve these problems is clearly demonstrated through examination of the computer time required to formulate and solve the linear, static system of equations which result for the global and local analyses to those required for a complete three-dimensional formulation for a cross-ply laminate. Specific processors used during the analyses are described in general terms. The application of this global/local technique is not limited software system, and was developed and described in as general a manner as possible.

Thompson, Danniella Muheim↗
NASA NTRS1991

Translating expert system rules into Ada code with validation and verification

The purpose of this ongoing research and development program is to develop software tools which enable the rapid development, upgrading, and maintenance of embedded real-time artificial intelligence systems. The goals of this phase of the research were to investigate the feasibility of developing software tools which automatically translate expert system rules into Ada code and develop methods for performing validation and verification testing of the resultant expert system. A prototype system was demonstrated which automatically translated rules from an Air Force expert system was demonstrated which detected errors in the execution of the resultant system. The method and prototype tools for converting AI representations into Ada code by converting the rules into Ada code modules and then linking them with an Activation Framework based run-time environment to form an executable load module are discussed. This method is based upon the use of Evidence Flow Graphs which are a data flow representation for intelligent systems. The development of prototype test generation and evaluation software which was used to test the resultant code is discussed. This testing was performed automatically using Monte-Carlo techniques based upon a constraint based description of the required performance for the system.

Becker, Lee↗
NASA NTRS1991

Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit

Discussed here is work to formally specify and verify a floating point coprocessor based on the MC68881. The HOL verification system developed at Cambridge University was used. The coprocessor consists of two independent units: the bus interface unit used to communicate with the cpu and the arithmetic processing unit used to perform the actual calculation. Reasoning about the interaction and synchronization among processes using higher order logic is demonstrated.

Pan, Jing↗
NASA NTRS1991

Experimental verification of a new laminar airfoil: A project for the graduate program in aeronautics

Two reports on student activities to determine the properties of a new laminar airfoil which were delivered at a conference on soaring technology are presented. The papers discuss a wind tunnel investigation and analysis of the SM701 airfoil and verification of the SM701 airfoil aerodynamic charcteristics utilizing theoretical techniques. The papers are based on a combination of analytical design, hands-on model fabrication, wind tunnel calibration and testing, data acquisition and analysis, and comparison of test results and theory.

Nicks, Oran W.↗
NASA NTRS1989

Ice classification algorithm development and verification for the Alaska SAR Facility using aircraft imagery

The Alaska SAR Facility (ASF) at the University of Alaska, Fairbanks is a NASA program designed to receive, process, and archive SAR data from ERS-1 and to support investigations that will use this regional data. As part of ASF, specialized subsystems and algorithms to produce certain geophysical products from the SAR data are under development. Of particular interest are ice motion, ice classification, and ice concentration. This work focuses on the algorithm under development for ice classification, and the verification of the algorithm using C-band aircraft SAR imagery recently acquired over the Alaskan arctic.

Holt, Benjamin↗
NASA NTRS1991

Atmospheric verification mission for the TSS/STARFAC tethered satellite

Two types of a tethered satellite system (TSS) - a basic 1.8-m-diameter spherical spacecraft and the Shuttle Tethered Aerothermodynamic Research Facility (STARFAC) are considered. Issues related to the deployment and retrieval of a large satellite with exceedingly long tethers are discussed, and the objectives of an Atmospheric Verification Mission (ATM) are outlined. Focus is concentrated on the ATM satellite which will fly after TSS-1 and before the fully instrumented and costlier TSS-2. The differences between the AVM and TSS-2, including the configuration of the aerodynamic stabilizers, instrumentation, and the materials of construction are outlined. The basic Kevlar tether defined for the TSS-2 is being considered for use with the AVM, however, a complex tether is under consideration as well.

Wood, George M., Jr.↗
NASA NTRS1990

Delay compensation in integrated communication and control systems. II - Implementation and verification

The implementation and verification of the delay-compensation algorithm are addressed. The delay compensator has been experimentally verified at an IEEE 802.4 network testbed for velocity control of a DC servomotor. The performance of the delay-compensation algorithm was also examined by combined discrete-event and continuous-time simulation of the flight control system of an advanced aircraft that uses the SAE (Society of Automotive Engineers) linear token passing bus for data communications.

Luck, Rogelio↗
NASA NTRS1990

Space Shuttle payload trunnion interface verification test and correlation with fixed based responses

An interface verification test (IFVT) in the free-free condition was conducted to verify that the constrained modes of a mass simulator had the same frequencies as the Hubble Space Telescope, for which it was designed. Landing tests were performed in which the mass simulator was mounted on its trunnions inside a container onboard an aircraft. Its acceleration response was adequately measured, and the anticipated constrained natural frequencies based on the IFVT were confirmed. The first test updated the model to predict the fixed based modes, and the second verified the test's capacity to characterize the structure. The IFVT is shown to generate information which permits accurate modeling of the constrained structure, without requiring the traditional fixed-based modal test.

Blair, Mark A.↗
NASA NTRS1991

Bond verification of space shuttle tiles using time-domain techniques

The application of a high-resolution time-domain reflectometer (TDR) to the detection of faulty bonds in space shuttle tile structures is discussed. Experimental measurements on bonded and debonded tiles are included to demonstrate the technique. Computer simulations were used to verify the experimental results. A criterion for bond verification is proposed.

Bennia, Abdelhak↗