Engineering Papers⌕ Search

SEARCH · Engineering Papers

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 901 records · Page 50
All sourcesNASA NTRSDOE OSTI
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↗
NASA NTRS1989

Time and frequency-domain identification and verification of BO-105 dynamic models

Mathematical models for the dynamics of the DLR BO 105 helicopter are extracted from flight test data using two different approaches: frequency-domain and time-domain identification. Both approaches are reviewed. Results from an extensive data consistency analysis are given. Identifications for 6 degrees of freedom (DOF) rigid body models are presented and compared in detail. The extracted models compare favorably and their prediction capability is demonstrated in verification results. Approaches to extend the 6 DOF models are addressed and first results are presented. System identification is broadly defined as the deduction of system characteristics from measured data. It provides the only possibility to extract both non-parametric (e.g., frequency responses) and parametric (e.g., state space matrices) aircraft models from flight test data and therefore gives a reliable characterization of the dynamics of the actually existing aircraft. Main applications of system identification are seen in areas where higher accuracies of the mathematical models are required: Simulation validation, control system design (in particular model-following control system design for in-flight simulation), and handling qualities.

Kaletka, Juergen↗
NASA NTRS1991

SEDS1 mission software verification using a signal simulator

The first flight of the Small Expendable Deployer System (SEDS1) is scheduled as the secondary payload of a Delta II in late 1992. The objective of the SEDS1 mission is to collect data to validate the concept of tethered satellite systems and to verify computer simulations used to predict their behavior. A series of tests will be performed to exercise the software modules which make up the Mission Software of the SEDS Data System. These tests will be performed by using a SEDS Signal Simulator to generate signals which will simulate the inputs normally produced by sensors and circuits in the SEDS system. The SEDS Signal Simulator will be used in the debugging and in the formal verification of the SEDS1 Mission Software. The Simulator will not only emulate normal flight conditions but also exercise all modules written to handle anticipated anomalous flight conditions, conditions that would be difficult to reproduce and control with actual SEDS hardware. The simulator will help to expedite software development and to increase the confidence of the users of the Mission Software. With little modification, the Simulator should be useful in the software development of future SEDS flights.

Pierson, William E.↗
NASA NTRS1991

Precision Cleaning Verification of Nonvolatile Residues by Using Water, Ultrasonics, and Turbidity Analyses

Chlorofluorocarbons (CFC's) in the atmosphere are believed to present a major environmental problem because they are able to interact with and deplete the ozone layer. NASA has been mandated to replace chlorinated solvents in precision cleaning, cleanliness verification, and degreasing of aerospace fluid systems hardware and ground support equipment. KSC has a CFC phase-out plan which provides for the elimination of over 90 percent of the CFC and halon use by 1995. The Materials Science Laboratory and KSC is evaluating four analytical methods for the determination of nonvolatile residues removal by water: (1) infrared analyses using an attenuated total reflectance; (2) surface tension analyses, (3) total organic content analyses, and (4) turbidity analyses. This research project examined the ultrasonic-turbidity responses for 22 hydrocarbons in an effect to determine: (1) if ultrasonics in heated water (70 C) will clean hydrocarbons (oils, greases, gels, and fluids) from aerospace hardware; (2) if the cleaning process by ultrasonics will simultaneously emulsify the removed hydrocarbons in the water; and (3) if a turbidimeter can be used successfully as an analytical instrument for quantifying the removal of hydrocarbons. Sixteen of the 22 hydrocarbons tested showed that ultrasonics would remove it at least 90 percent of the contaminated hydrocarbon from the hardware in 10 minutes or less giving a good ultrasonic-turbidity response. Six hydrocarbons had a lower percentage removal, a slower removal rate, and a marginal ultrasonic-turbidity response.

Skinner, S. Ballou↗
NASA NTRS1992

Structural Deterministic Safety Factors Selection Criteria and Verification

Though current deterministic safety factors are arbitrarily and unaccountably specified, its ratio is rooted in resistive and applied stress probability distributions. This study approached the deterministic method from a probabilistic concept leading to a more systematic and coherent philosophy and criterion for designing more uniform and reliable high-performance structures. The deterministic method was noted to consist of three safety factors: a standard deviation multiplier of the applied stress distribution; a K-factor for the A- or B-basis material ultimate stress; and the conventional safety factor to ensure that the applied stress does not operate in the inelastic zone of metallic materials. The conventional safety factor is specifically defined as the ratio of ultimate-to-yield stresses. A deterministic safety index of the combined safety factors was derived from which the corresponding reliability proved the deterministic method is not reliability sensitive. The bases for selecting safety factors are presented and verification requirements are discussed. The suggested deterministic approach is applicable to all NASA, DOD, and commercial high-performance structures under static stresses.

Verderaime, V.↗
NASA NTRS1992

Expert system verification and validation study. ES V/V guidelines/workshop conference summary

The intent of the workshop was to start moving research on the verification and validation (V&V) of knowledge based systems (KBSs) in the direction of providing tangible 'products' that a KBS developer could use. In the near term research will focus on identifying the kinds of experiences encountered during KBS development of 'real' KBSs. These will be stored in a repository and will serve as the foundation for the rest of the activities described here. One specific approach to be pursued is 'benchmarking'. With this approach, a KBS developer can use either 'canned' KBSs with seeded errors or existing KBSs with known errors to evaluate a given tool's ability to satisfactorily identify errors.

French, Scott W.↗