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 1,009 records · Page 56
All sourcesNASA NTRSDOE OSTI
NASA NTRS2000

Verification and Validation Data for Computational Unsteady Aerodynamics

Computational Unsteady Aerodynamics computer codes are being increasingly used. In order to validate their results they must be tested against valid experimental data. The present report aims at collecting reliable experimental data on unsteady aerodynamics and presenting them in a form which permits use for verification of codes. For ease of handling, the data are also presented in machine readable form (CD-ROM). Data on increasingly complex generic forms were selected and the following categories are covered: flutter, buffet, stability and control, dynamic stall, cavity flows, store separation. Computational solutions are included in order to permit evaluation of codes and analysis of solutions which differ from experimental data.

Applied Vehicle Technology Panel (AVT)Task Group↗
NASA NTRS2000

Microgravity Acceleration Measurement System (MAMS) Flight Configuration Verification and Status

The Microgravity Acceleration Measurement System (MAMS) is a precision spaceflight instrument designed to measure and characterize the microgravity environment existing in the US Lab Module of the International Space Station. Both vibratory and quasi-steady triaxial acceleration data are acquired and provided to an Ethernet data link. The MAMS Double Mid-Deck Locker (DMDL) EXPRESS Rack payload meets all the ISS IDD and ICD interface requirements as discussed in the paper which also presents flight configuration illustrations. The overall MAMS sensor and data acquisition performance and verification data are presented in addition to a discussion of the Command and Data Handling features implemented via the ISS, downlink and the GRC Telescience Center displays.

Wagar, William↗
NASA NTRS2001

On the Formal Verification of Conflict Detection Algorithms

Safety assessment of new air traffic management systems is a main issue for civil aviation authorities. Standard techniques such as testing and simulation have serious limitations in new systems that are significantly more autonomous than the older ones. In this paper, we present an innovative approach, based on formal verification, for establishing the correctness of conflict detection systems. Fundamental to our approach is the concept of trajectory, which is a continuous path in the x-y plane constrained by physical laws and operational requirements. From the Model of trajectories, we extract, and formally prove, high level properties that can serve as a framework to analyze conflict scenarios. We use the Airborne Information for Lateral Spacing (AILS) alerting algorithm as a case study of our approach.

Munoz, Cesar↗
NASA NTRS2001

Experimental Verification of the Use of Metal Filled Via Hole Fences for Crosstalk Control of Microstrip Lines in LTCC Packages

Coupling between microstrip lines in dense RF packages is a common problem that degrades circuit performance. Prior three-dimensional-finite element method (3-D-FEM) electromagnetic simulations have shown that metal filled via hole fences between two adjacent microstrip lines actually Increases coupling between the lines: however, if the top of the via posts are connected by a metal strip, coupling is reduced. In this paper, experimental verification of the 3-D-FEM simulations is demonstrated for commercially fabricated low temperature cofired ceramic (LTCC) packages. In addition, measured attenuation of microstrip lines surrounded by the shielding structures is presented and shows that shielding structures do not change the attenuation characteristics of the line.

Ponchak, George E.↗
NASA NTRS2001

Thermal Performance of the Hubble Space Telescope (HST) Solar Array-3 During the Disturbance Verification Test (DVT)

The Hubble Space Telescope (HST) is one of NASA's most productive astronomical observatories. Launched in 1990, the HST continues to gather scientific data to help scientists around the world discover amazing wonders of the universe. To maintain HST in the fore front of scientific discoveries, NASA has routinely conducted servicing missions to refurbish older equipment as well as to replace existing scientific instruments with better, more powerful instruments. In early 2002, NASA will conduct its fourth servicing mission to the HST. This servicing mission is named Servicing Mission 3B (SM3B). During SM3B, one of the major refurbishment efforts will be to install new rigid-panel solar arrays as a replacement for the existing flexible-foil solar arrays. This is necessary in order to increase electrical power availability for the new scientific instruments. Prior to installing the new solar arrays on HST, the HST project must be certain that the new solar arrays will not cause any performance degradations to the observatory. One of the major concerns is any disturbance that can cause pointing Loss of Lock (LOL) for the telescope. While in orbit, the solar-array temperature transitions quickly from sun to shadow. The resulting thermal expansion and contraction can cause a "mechanical disturbance" which may result in LOL. To better characterize this behavior, a test was conducted at the European Space Research and Technology Centre (ESTEC) in the Large Space Simulator (LSS) thermal-vacuum chamber. In this test, the Sun simulator was used to simulate on-orbit effects on the solar arrays. This paper summarizes the thermal performance of the Solar Array-3 (SA3) during the Disturbance Verification Test (DVT). The test was conducted between 26 October 2000 and 30 October 2000. Included in this paper are: (1) brief description of the SA3's components and its thermal design; (2) a summary of the on-orbit temperature predictions; (3) pretest thermal preparations; (4) a description of the chamber and thermal monitoring sensors; and (6) presentation of test thermal data results versus flight predictions.

Nguyen, Daniel H.↗
NASA NTRS2001

Design and Verification of Space Station EVA-Operated Truss Attachment System

This paper describes the design and verification of a system used to attach two segments of the International Space Station (ISS). This system was first used in space to mate the P6 and Z1 trusses together in December 2000, through a combination of robotic and extravehicular tasks. Features that provided capture, coarse alignment, and fine alignment during the berthing process are described. Attachment of this high value hardware was critical to the ISS's sequential assembly, necessitating the inclusion of backup design and operational features. Astronauts checked for the proper performance of the alignment and bolting features during on-orbit operations. During berthing, the system accommodates truss-to-truss relative displacements that are caused by manufacturing tolerances and on-orbit thermal gradients. After bolt installation, the truss interface becomes statically determinate with respect to in-plane shear loads and isolates attach bolts from bending moments. The approach used to estimate relative displacements and the means of accommodating them is explained. Confidence in system performance was achieved through a cost-effective collection of tests and analyses, including thermal, structural, vibration, misalignment, contact dynamics, underwater simulation, and full-scale functional testing. Design considerations that have potential application to other mechanisms include accommodating variations of friction coefficients in the on-orbit joints, wrench torque tolerances, joint preload, moving element clearances at temperature extremes, and bolt-nut torque reaction.

Katell, Gabriel↗
NASA NTRS2001

RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems

The long-term future of space exploration at NASA is dependent on the full exploitation of autonomous and adaptive systems: careful monitoring of missions from earth, as is the norm now, will be infeasible due to the sheer number of proposed missions and the communication lag for deep-space missions. Mission managers are however worried about the reliability of these more intelligent systems. The main focus of the workshop was to address these worries and hence we invited NASA engineers working on autonomous and adaptive systems and researchers interested in the verification and validation (V&V) of software systems. The dual purpose of the meeting was to: (1) make NASA engineers aware of the V&V techniques they could be using; and (2) make the V&V community aware of the complexity of the systems NASA is developing.

Pecheur, Charles↗
NASA NTRS2001

Component Verification and Certification in NASA Missions

Software development for NASA missions is a particularly challenging task. Missions are extremely ambitious scientifically, have very strict time frames, and must be accomplished with a maximum degree of reliability. Verification technologies must therefore be pushed far beyond their current capabilities. Moreover, reuse and adaptation of software architectures and components must be incorporated in software development within and across missions. This paper discusses NASA applications that we are currently investigating from these perspectives.

Giannakopoulou, Dimitra↗
NASA NTRS2002

Software for Statistical Analysis of Weibull Distributions with Application to Gear Fatigue Data: User Manual with Verification

The Weibull distribution has been widely adopted for the statistical description and inference of fatigue data. This document provides user instructions, examples, and verification for software to analyze gear fatigue test data. The software was developed presuming the data are adequately modeled using a two-parameter Weibull distribution. The calculations are based on likelihood methods, and the approach taken is valid for data that include type 1 censoring. The software was verified by reproducing results published by others.

Krantz, Timothy L.↗
NASA NTRS1995

Ames Research Center Mars/Pathfinder Heat Shield Design Verification ARC-JET Test

Design verification tests were performed on samples representing the aerobrake of the Mars/Pathfinder vehicle. The test specimens consisted of the SLA-561V ablator bonded to the honeycomb structure. The primary objective was to evaluate the ablation materials performance and to measure temperatures within the ablator, at the structural bondline and at the back sheet of the honeycomb structure. Other objectives were to evaluate the effect of ablative repair plug material treatment and voids in the heat shield. A total of 29 models were provided for testing in the Ames 60MW arc-jet facility. Of these, 23 models were flat-faced and six remaining models were curved edge ones, intended to simulate the conditions on the curved rim of the forebody where the maximum shear occurred. Eight sets of test conditions were used. The stagnation point heating rates varied from 47 to 240 W/cm2 and the stagnation pressures from 0.15 to 0.27 atm. (The maximum flight values are 132 W/cm2 and 0.25 atm) The majority of these runs were made at a nominal stagnation pressure of 0.25 atm. Two higher pressure runs were made to check the current (denser) ablation material for spallation, or other forms of thermal stress failure. Over 60% of the flatfaced models yielded good thermocouple data and all produced useful surface recession information. Of the five curved-edge models that were tested, only one gave good data; the remaining ones experienced model-holder failure. The test results can be summarized by noting that no failure of the ablative material was observed on any model. Also, the bondline temperature design limit of 250 C was never reached within an equivalent flight time despite a stagnation point heat load that exceeded the maximum flight value by up to 130%. At heating rates of over 200W/cm2 and stagnation pressures of 0.25 atm, or greater, the average surface recessions exceeded 0.5 cm on some models. The surface roughness increased dramatically at pressures above 0.25 atm and was four times greater at 0.27 atm than at 0.25 atm. Procured repair plug material performed much better than room-temperature cured plugs, as observed in the previous tests. Voids in the ablator did not increase local temperatures and gaps did not grow during testing.

Tran, Huy K.↗
NASA NTRS2002

Software for Statistical Analysis of Weibull Distributions with Application to Gear Fatigue Data: User Manual with Verification

The Weibull distribution has been widely adopted for the statistical description and inference of fatigue data. This document provides user instructions, examples, and verification for software to analyze gear fatigue test data. The software was developed presuming the data are adequately modeled using a two-parameter Weibull distribution. The calculations are based on likelihood methods, and the approach taken is valid for data that include type I censoring. The software was verified by reproducing results published by others.

Kranz, Timothy L.↗
NASA NTRS2002

Hybrid Verification of an Interface for an Automatic Landing

Modern commercial aircraft have extensive automation which helps the pilot by performing computations, obtaining data, and completing procedural tasks. The pilot display must contain enough information so that the pilot can correctly predict the aircraft's behavior, while not overloading the pilot with unnecessary information. Human-automation interaction is currently evaluated through extensive simulation. In this paper, using both hybrid and discrete-event system techniques, we show how one could mathematically verify that an interface contains enough information for the pilot to safely and unambiguously complete a desired maneuver. We first develop a nonlinear, hybrid model for the longitudinal dynamics of a large civil jet aircraft in an autoland/go-around maneuver. We find the largest controlled subset of the aircraft's flight envelope for which we can guarantee both safe landing and safe go-around. We abstract a discrete procedural model using this result, and verify a discrete formulation of the pilot display against it. An interface which fails this verification could result in nondeterministic or unpredictable behavior from the pilot's point of view.

Oishi, Meeko↗
NASA NTRS2002

Learning Assumptions for Compositional Verification

Compositional verification is a promising approach to addressing the state explosion problem associated with model checking. One compositional technique advocates proving properties of a system by checking properties of its components in an assume-guarantee style. However, the application of this technique is difficult because it involves non-trivial human input. This paper presents a novel framework for performing assume-guarantee reasoning in an incremental and fully automated fashion. To check a component against a property, our approach generates assumptions that the environment needs to satisfy for the property to hold. These assumptions are then discharged on the rest of the system. Assumptions are computed by a learning algorithm. They are initially approximate, but become gradually more precise by means of counterexamples obtained by model checking the component and its environment, alternately. This iterative process may at any stage conclude that the property is either true or false in the system. We have implemented our approach in the LTSA tool and applied it to the analysis of a NASA system.

Cobleigh, Jamieson M.↗
NASA NTRS2002

Experimental Verification of the Theoretical Prediction of the Phase Structure of a Ni-Al-Ti-Cr-Cu Alloy

The Bozzolo-Ferrante-Smith (BFS) method for alloys was applied to the study of NiAl-based materials to assess the effect of alloying additions on structure. Ternary, quaternary and even pentalloys based on NiAl with additions of Ti, Cr and Cu were studied and experimental verification of the theoretical predictions including the phase structure of a Ni-Al-Ti-Cr-Cu alloy is presented. Two approaches were used, Monte Carlo simulations to determine low energy structures, and analytical calculations of the energy of high symmetry configurations which give physical insight into preferred structures. The energetics for site occupancy in ternary and quaternary systems were calculated leading to an indirect determination of solubility limits at 0 K. Precipitate formation with information concerning structure and lattice parameter were also 'observed' computationally and the general characteristics of a Ni-Al-Ti-Cr-Cu alloy were correctly predicted. The results indicate that the BFS method for alloys can be a useful tool for alloy design and can be used to complement experimental alloy design programs.

Wilson, A.↗
NASA NTRS2003

Practical Formal Verification of Diagnosability of Large Models via Symbolic Model Checking

This document reports on the activities carried out during a four-week visit of Roberto Cavada at the NASA Ames Research Center. The main goal was to test the practical applicability of the framework proposed, where a diagnosability problem is reduced to a Symbolic Model Checking problem. Section 2 contains a brief explanation of major techniques currently used in Symbolic Model Checking, and how these techniques can be tuned in order to obtain good performances when using Model Checking tools. Diagnosability is performed on large and structured models of real plants. Section 3 describes how these plants are modeled, and how models can be simplified to improve the performance of Symbolic Model Checkers. Section 4 reports scalability results. Three test cases are briefly presented, and several parameters and techniques have been applied on those test cases in order to produce comparison tables. Furthermore, comparison between several Model Checkers is reported. Section 5 summarizes the application of diagnosability verification to a real application. Several properties have been tested, and results have been highlighted. Finally, section 6 draws some conclusions, and outlines future lines of research.

Cavada, Roberto↗
NASA NTRS2003

Ambient and Cryogenic Alignment Verification and Performance of the Infrared Multi-Object Spectrometer

The Infrared Multi-Object Spectrometer (IRMOS) is a facility instrument for the Kitt Peak National Observatory 4 and 2.1 meter telescopes. IRMOS is a near-IR (0.8 - 2.5 micron) spectrometer with low- to mid-resolving power (R = 300 - 3000). IRMOS produces simultaneous spectra of approximately 100 objects in its 2.8 x 2.0 arc-min field of view using a commercial Micro Electro-Mechanical Systems (MEMS) Digital Micro-mirror Device (DMD) from Texas Instruments. The IRMOS optical design consists of two imaging subsystems. The focal reducer images the focal plane of the telescope onto the DMD field stop, and the spectrograph images the DMD onto the detector. We describe ambient breadboard subsystem alignment and imaging performance of each stage independently, and the ambient and cryogenic imaging performance of the fully assembled instrument. Interferometric measurements of subsystem wavefront error serve to venfy alignment, and are accomplished using a commercial, modified Twyman-Green laser unequal path interferometer. Image testing provides further verification of the optomechanical alignment method and a measurement of near-angle scattered light due to mirror small-scale surface error. Image testing is performed at multiple field points. A mercury-argon pencil lamp provides spectral lines at 546.1 nm and 1550 nm, and a CCD camera and IR camera are used as detectors. We use commercial optical modeling software to predict the point-spread function and its effect on instrument slit transmission and resolution. Our breadboard test results validate this prediction. We conclude with an instrument performance prediction for first light.

Connelly, Joseph A.↗