SEARCH · Search NASA

Results for “Validation Methods”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 163 records · Page 9

All sources NASA NTRS DOE OSTI

NASA NTRS1972

Analysis of a boron-carbide-drum-controlled critical reactor experiment

In order to validate methods and cross sections used in the neutronic design of compact fast-spectrum reactors for generating electric power in space, an analysis of a boron-carbide-drum-controlled critical reactor was made. For this reactor the transport analysis gave generally satisfactory results. The calculated multiplication factor for the most detailed calculation was only 0.7-percent Delta k too high. Calculated reactivity worth of the control drums was $11.61 compared to measurements of $11.58 by the inverse kinetics methods and $11.98 by the inverse counting method. Calculated radial and axial power distributions were in good agreement with experiment.

Mayo, W. T.↗

NASA NTRS1976

Extended applications of the vortex lattice method

The application of the vortex lattice method to problems not usually dealt with by this technique is considered. It is shown that if the discrete vortex lattice is considered as an approximation to surface-distributed vorticity, then the concept of the generalized principal part of an integral yields a residual term to the vortex-induced velocity that renders the vortex lattice method valid for supersonic flow. Special schemes for simulating non-zero thickness lifting surfaces and fusiform bodies with vortex lattice elements are presented. Thickness effects of wing-like components are simulated by a double vortex lattice layer, and fusiform bodies are represented by a vortex grid arranged on a series of concentric cylindrical surfaces. Numerical considerations peculiar to the application of these techniques are briefly discussed.

Miranda, L. R.↗

NASA NTRS1981

Baseline mathematics and geodetics for tracking operations

Various geodetic and mapping algorithms are analyzed as they apply to radar tracking systems and tested in extended BASIC computer language for real time computer applications. Closed-form approaches to the solution of converting Earth centered coordinates to latitude, longitude, and altitude are compared with classical approximations. A simplified approach to atmospheric refractivity called gradient refraction is compared with conventional ray tracing processes. An extremely detailed set of documentation which provides the theory, derivations, and application of algorithms used in the programs is included. Validation methods are also presented for testing the accuracy of the algorithms.

James, R.↗

NASA NTRS1981

In-mine testing of a natural background sensor, part B

The capability of a natural background sensor for measuring the thickness of top coal on a longwall face was examined. The limitations on the time during which tests could be performed, and the roof conditions, did not produce readings of top coal measurements during the shearer operation. It was demonstrated that the system is capable to survive operating conditions in the mine environment, while the static tests confirmed that the natural background sensor approach is a valid method of measuring top coal thickness in mines where the roof rock provides a constant radiation level. It is concluded that the practical results will improve sequent development of an integrated vertical control system which is information from the natural background system.

Martzloff, F. D.↗

NASA NTRS1984

Analyzing Flow Fields in Axial-Compressor Rotors and Stators

Computer program, BLADE3D, developed for analysis of inviscid threedimensional flow fields in single blade passage of axial-compressor rotor or stator. Applicable to arbitrary axial-compressor hub, tip, and blade geometries, including blades with part-span dampers. Also used for axial turbines but with lowered resolution of flows about blunt leading and trailing edges. Analysis method valid for subsonic, transonic and supersonic flows, including choked flows.

Thompkins, W. J., Jr.↗

NASA NTRS1983

Simulation and evaluation of the Sh-2F helicopter in a shipboard environment using the interchangeable cab system

The operation of the SH-2F helicopter from the decks of small ships in adverse weather was simulated using a large amplitude vertical motion simulator, a wide angle computer generated imagery visual system, and an interchangeable cab (ICAB). The simulation facility, the mathematical programs, and the validation method used to ensure simulation fidelity are described. The results show the simulator to be a useful tool in simulating the ship-landing problem. Characteristics of the ICAB system and ways in which the simulation can be improved are presented.

Paulk, C. H., Jr.↗

NASA NTRS1985

Does nucleation theory apply to the formation of refractory circumstellar grains?

It is pointed out that kinetic factors inherent in cosmic systems will prevent the attainment of an approximate equilibrium precondensation cluster distribution, and that therefore such systems will violate one of the most fundamental assumptions of nucleation theory. More importantly, it is shown that of the 11 refractory metal/metal oxide systems which have been studied experimentally none are consistent with the predictions of either classical nucleation theory or the Lothe-Pound modification. Since no valid method is known by which these deficiencies can be circumvented, it is concluded that nucleation theory cannot be made to work in expanding circumstellar shells. However, a stochastic, kinetic treatment which makes use of experimental and theoretical data for specific refractory systems does appear to be feasible.

Donn, B.↗

NASA NTRS1986

Experiments in software reliability - Life-critical applications

The paper discusses four reliability data gathering experiments which were conducted using a small sample of programs for two problems having ultrareliability requirements, n-version programming for fault detection, and repetitive run modeling for failure and fault rate estimation. The experimental results agree with those of Nagel and Skrivan in that the program error rates suggest an approximate log-linear pattern and the individual faults occurred with significantly different error rates. Additional analysis of the experimental data raises new questions concerning the phenomenon of interacting faults. This phenomenon may provide one explanation for software reliability decay. The fourth experiment underscored the difficulty in distinguishing between observations of deficiencies in the design of the algorithm and observations of software faults for real-time process control software. These experiments are a part of a program of serial experiments being pursued by the System Validation Methods of NASA-Langley Research Center to find a means of credibly performing reliability evaluations of flight control software.

Dunham, J. R.↗

NASA NTRS1987

Development of N-version software samples for an experiment in software fault tolerance

The report documents the task planning and software development phases of an effort to obtain twenty versions of code independently designed and developed from a common specification. These versions were created for use in future experiments in software fault tolerance, in continuation of the experimental series underway at the Systems Validation Methods Branch (SVMB) at NASA Langley Research Center. The 20 versions were developed under controlled conditions at four U.S. universities, by 20 teams of two researchers each. The versions process raw data from a modified Redundant Strapped Down Inertial Measurement Unit (RSDIMU). The specifications, and over 200 questions submitted by the developers concerning the specifications, are included as appendices to this report. Design documents, and design and code walkthrough reports for each version, were also obtained in this task for use in future studies.

Lauterbach, L.↗

NASA NTRS1987

Diagnostic emulation: Implementation and user's guide

The Diagnostic Emulation Technique was developed within the System Validation Methods Branch as a part of the development of methods for the analysis of the reliability of highly reliable, fault tolerant digital avionics systems. This is a general technique which allows for the emulation of a digital hardware system. The technique is general in the sense that it is completely independent of the particular target hardware which is being emulated. Parts of the system are described and emulated at the logic or gate level, while other parts of the system are described and emulated at the functional level. This algorithm allows for the insertion of faults into the system, and for the observation of the response of the system to these faults. This allows for controlled and accelerated testing of system reaction to hardware failures in the target machine. This document describes in detail how the algorithm was implemented at NASA Langley Research Center and gives instructions for using the system.

Becher, Bernice↗

NASA NTRS1989

Software reliability studies

The longterm goal of this research is to identify or create a model for use in analyzing the reliability of flight control software. The immediate tasks addressed are the creation of data useful to the study of software reliability and production of results pertinent to software reliability through the analysis of existing reliability models and data. The completed data creation portion of this research consists of a Generic Checkout System (GCS) design document created in cooperation with NASA and Research Triangle Institute (RTI) experimenters. This will lead to design and code reviews with the resulting product being one of the versions used in the Terminal Descent Experiment being conducted by the Systems Validations Methods Branch (SVMB) of NASA/Langley. An appended paper details an investigation of the Jelinski-Moranda and Geometric models for software reliability. The models were given data from a process that they have correctly simulated and asked to make predictions about the reliability of that process. It was found that either model will usually fail to make good predictions. These problems were attributed to randomness in the data and replication of data was recommended.

Wilson, Larry W.↗

NASA NTRS1991

Polarization Filtering of SAR Data

Theoretical analysis of polarization filtering of synthetic-aperture-radar (SAR) returns provide hybrid method applied to either (1) maximize signal-to-noise ratio of return from given target or (2) enhance contrast between targets of two different types (that have different polarization properties). Method valid for both point and extended targets and for both monostatic and bistatic radars as well as SAR. Polarization information in return signals provides more complete description of radar-scattering properties of targets and used to obtain additional information about targets for use in classifying them, discriminating between them, or enhancing features of radar images.

Dubois, Pascale C.↗

NASA NTRS1989

NASA-LaRc Flight-Critical Digital Systems Technology Workshop

The outcome is documented of a Flight-Critical Digital Systems Technology Workshop held at NASA-Langley December 13 to 15 1988. The purpose of the workshop was to elicit the aerospace industry's view of the issues which must be addressed for the practical realization of flight-critical digital systems. The workshop was divided into three parts: an overview session; three half-day meetings of seven working groups addressing aeronautical and space requirements, system design for validation, failure modes, system modeling, reliable software, and flight test; and a half-day summary of the research issues presented by the working group chairmen. Issues that generated the most consensus across the workshop were: (1) the lack of effective design and validation methods with support tools to enable engineering of highly-integrated, flight-critical digital systems, and (2) the lack of high quality laboratory and field data on system failures especially due to electromagnetic environment (EME).

Meissner, C. W., Jr.↗

NASA NTRS1993

Interface To The SURE Program

Abstract Semi-Markov Specification Interface to SURE Tool (ASSIST) computer program is interface program enabling reliability engineers to design large semi-Markov mathematical models accurately. Language enables efficient description of large, complicated systems. Also offers, as part of bundled package with SURE and PAWS/STEM, two other reliable analysis programs developed by Systems Validation Methods group at Langley Research Center.

Johnson, Sally C.↗

NASA NTRS1993

Programs Help Create And Evaluate Markov Models

Pade Approximation With Scaling (PAWS) and Scaled Taylor Exponential Matrix (STEM) computer programs provide flexible, user-friendly, language-based interface for creation and evaluation of Markov models describing behaviors of fault-tolerant reconfigurable computer systems. Produce exact solution for probabilities of system failures and provide conservative estimates of numbers of significant digits in solutions. Also offer as part of bundled package with SURE and ASSIST, two other reliable analysis programs developed by Systems Validation Methods group at Langley Research Center.

Butler, Ricky W.↗

NASA NTRS1991

Experimental validation of docking and capture using space robotics testbeds

Docking concepts include capture, berthing, and docking. The definitions of these terms, consistent with AIAA, are as follows: (1) capture (grasping)--the use of a manipulator to make initial contact and attachment between transfer vehicle and a platform; (2) berthing--positioning of a transfer vehicle or payload into platform restraints using a manipulator; and (3) docking--propulsive mechanical connection between vehicle and platform. The combination of the capture and berthing operations is effectively the same as docking; i.e., capture (grasping) + berthing = docking. These concepts are discussed in terms of Martin Marietta's ability to develop validation methods using robotics testbeds.

Spofford, John↗

NASA NTRS1992

Statistical modeling of software reliability

This working paper discusses the statistical simulation part of a controlled software development experiment being conducted under the direction of the System Validation Methods Branch, Information Systems Division, NASA Langley Research Center. The experiment uses guidance and control software (GCS) aboard a fictitious planetary landing spacecraft: real-time control software operating on a transient mission. Software execution is simulated to study the statistical aspects of reliability and other failure characteristics of the software during development, testing, and random usage. Quantification of software reliability is a major goal. Various reliability concepts are discussed. Experiments are described for performing simulations and collecting appropriate simulated software performance and failure data. This data is then used to make statistical inferences about the quality of the software development and verification processes as well as inferences about the reliability of software versions and reliability growth under random testing and debugging.

Miller, Douglas R.↗

NASA NTRS1994

Propagation of experimental uncertainties from the tunnel to the body coordinate system in 3-D LDV flow field studies

An analysis of experimental laser Doppler velocimetry (LDV) data uncertainties that propagate from measurements in the tunnel coordinate system to results in the model system are provided. Calculations of uncertainties as functions of the variables that comprise the final result requires assessment of the contribution each variable makes. Such an analysis enables and necessitates the experimentalists to identify and address the contributing error sources in the experimental measurement system. This provides an opportunity to improve the quality of data derived from experimental systems. This is especially important in experiments where small changes in test conditions are expected to produce small, detectable changes in results. In addition, the need for high-quality experimental data for CFD method validation demands a thorough assessment of experimental uncertainty. Transforming from one Cartesian coordinate system to another by three sequential rotations, equations were developed to transform the variables initially obtained in the original coordinates into variables in the final coordinate system. Based on the transformation equations, propagation equations for errors in the experimentally-derived flow quantities were derived for a model at angle of attack. Experimental uncertainties were then propagated from the tunnel coordinate system into the model system.

Neuhart, Dan H.↗