Search NASA⌕ Search

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.

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

At least 91 records · Page 5

Discovery and Analysis of Rare High-Impact Failure Modes using Adversarial RL-Informed Sampling

Adaptive learning agents have tremendous potential to handle critical tasks currently performed by humans. Unfortunately, due to their complexity, it can be difficult to verify that these learning agents do not have critical failure modes. Standard verification and validation methods often do not apply directly to learning agents and Monte Carlo methods have difficulty covering even a small fraction of the state space, especially in multiagent systems or over long time horizons. To overcome this difficulty, we demonstrate an adaptive stress-testing method based on reinforcement learning of correlations that raise the probability of failure. This approach has three key properties: (1) it is able to find rare failure modes with far greater sample efficiency than Monte Carlo methods, (2) it can estimate the true probability of a failure mode despite the inherent bias in the learning method, and (3) it is capable of learning and resampling compact representations of multimodal failure spaces. These properties are important in practice as we need to find disparate failure modes while accounting for their actual relevance. This is a significant advantage over traditional adaptive stress testing methods that give abstract likelihoods of particular failure instances, but cannot estimate the probability of a broader failure mode. We test our algorithm on a simple problem from the aviation domain where an autonomous aircraft lands in gusty wind conditions. The results suggest that we can find failure modes with far fewer samples than the Monte Carlo approach and simultaneously estimate the probability of failure.

reinforcement learning↗

Bioavailability and Pharmacodynamics of Promethazine on Long Duration Missions to the International Space Station

Space motion sickness (SMS) is often treated in space with promethazine (PMZ). Common side effects of PMZ administration (50 mg intramuscular) on the ground are drowsiness and impaired cognitive performance. Anecdotal reports indicate that these effects are absent or less pronounced in space. This suggests that the availability of PMZ to the body (bioavailability) and/or the response of the body to PMZ (pharmacodynamics) may change during space flight. Opportunities for clinical research in space are limited. The study described here is our response to a NASA Research Announcement for proposals for flight-based research needed to improve, or answer specific questions about, diagnosis and therapy during space flight, and post-flight rehabilitation. We propose here to evaluate noninvasive methods for determining the bioavailability and pharmacodynamics of PMZ. The specific objectives of the proposed research are to 1) compare pharmacokinetic and pharmacodynamic parameters of PMZ, estimated from saliva and plasma levels after administration of PMZ, 2) estimate the relative bioavailability of the three dosage forms of PMZ that are often administered to control motion sickness symptoms in space, and 3) establish the dose-response relationship of PMZ. We will estimate the bioavailability of an intramuscular injection (IM), oral tablet, and rectal suppository of PMZ in noma1 subjects during ambulatory and antiorthostatic bed rest (ABR) conditions using novel stable isotope techniques. We will compare and contrast the bioavailability of PMZ during normal and microgravity conditions to examine changes in drug absorption and bioavailability during microgravit. Results of this study will validate methods for an approved in-flight investigation with this medication awaiting an opportunity for manifestation..

Putcha, Lakshmi↗

Bioavailability and Pharmacodynamics of Promethazine in Human Subjects

Space Motion Sickness (SMS) is often treated in space with promethazine (PMZ). Anecdotal reports indicate that the common side effects of drowsiness and decrements in cognitive performance that are associated with PMZ administration (50 mg IM on the ground, are absent or less pronounced in space suggesting I that-the bioavailability and/or pharmacodynamic behavior of PMZ may be altered during space flight. There are limited flight opportunities available for clinical research in space, the NRA-99, therefore, solicits research required to improve, or answer specific questions about in-flight diagnosis, therapy, and post-flight rehabilitation. We propose here, to establish a noninvasive method for pharmacodynamic and therapeutic assessment of PMZ. The specific objectives of the proposed research are to, 1. Establish a saliva to plasma ratio of PMZ after administration, 2. Estimate the relative bioavailability of the three flight-specific dosage forms of PMZ, and 3. Establish the dose-response relationship of PMZ. We will estimate the bioavailability of intramuscular injection (IM), oral tablets and rectal suppositories in normal subjects during ambulatory and antiorthostatic; bed rest (ABR) conditions using novel stable isotope techniques. Drowsiness, cognitive performance and salivary flow rate will be measured as a function of circulating drug concentrations after administration of three IM doses of PMZ. We will compare and contrast the bioavailability of PMZ during normal and ABR conditions to examine whether or not ABR can simulate changes in drug, absorption and availability similar to those anticipated in a microgravity environment. Results of this study will validate methods for an approved study with this medication awaiting a flight opportunity for manifestation. These data will also provide the much needed information on the dynamics and therapeutic index. of this medication and their implications on crew fatigue and performance in space. Key words: Promethazine, stable isotopes, bioavailability, pharmacodynamics, cognitive performance, antiorthostatic bed rest.

Putcha, Lakshmi↗

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.↗

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.↗

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.↗

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.↗

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.↗

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.↗

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.↗

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.↗

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.↗

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↗

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.↗

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-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.↗

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.↗

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.↗