Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “system validation”

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 217 records · Page 12

Optimization procedure to control the coupling of vibration modes in flexible space structures

As spacecraft structural concepts increase in size and flexibility, the vibration frequencies become more closely-spaced. The identification and control of such closely-spaced frequencies present a significant challenge. To validate system identification and control methods prior to actual flight, simpler space structures will be flown. To challenge the above technologies, it will be necessary to design these structures with closely-spaced or coupled vibration modes. Thus, there exists a need to develop a systematic method to design a structure which has closely-spaced vibration frequencies. This paper describes an optimization procedure which is used to design a large flexible structure to have closely-spaced vibration frequencies. The procedure uses a general-purpose finite element analysis program for the vibration and sensitivity analyses and a general-purpose optimization program. Results are presented from two studies. The first study uses a detailed model of a large flexible structure to design a structure with one pair of closely-spaced frequencies. The second study uses a simple equivalent beam model of a large flexible structure to obtain a design with two pairs of closely-spaced frequencies.

Walsh, Joanne L.↗

Design and verification by nonlinear simulation of a Mach/CAS control law for the NASA TCV B737 aircraft

A Mach/CAS control system using an elevator was designed and developed for use on the NASA TCV B737 aircraft to support research in profile descent procedures and approach energy management. The system was designed using linear analysis techniques primarily. The results were confirmed and the system validated at additional flight conditions using a nonlinear 737 aircraft simulation. All design requirements were satisfied.

Bruce, Kevin 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.↗

Optimization procedure to control the coupling of vibration modes in flexible space structures

As spacecraft structural concepts increase in size and flexibility, the vibration frequencies become more closely-spaced. The identification and control of such closely-spaced frequencies present a significant challenge. To validate system identification and control methods prior to actual flight, simpler space structures will be flown. To challenge the above technologies it will be necessary to design these structures with closely-spaced or coupled vibration modes. Thus there exists a need to develop a systematic method to design a structure which has closely-spaced vibration frequencies. This paper describes an optimization procedure which is used to design a large flexible structure to have closely-spaced vibration frequencies. The procedure uses a general-purpose finite-element analysis program for the vibration and sensitivity analyses and a general-purpose optimization program. Results are presented from two studies. The first study uses a detailed model of a large flexible structure to design a structure with one pair of closely-spaced frequencies. The second study uses a simple equivalent beam model of a large flexible structure to obtain a design with two pairs of closely-spaced frequencies.

Walsh, Joanne L.↗

GPS-based geodesy in California, Mexico and the Caribbean

The NASA GPS-based geophysical geodetics system will be capable of 1-3 cm relative position accuracies on regional baselines and GPS ephemerides with submeter accuracies. Simultaneity and mutual visibility allow high differential carrier phase and group delay measurements to be obtained without clock errors. Both mobile GPS terminal sites and fiducial sites whose locations are accurately maintained by independent VLBI and SLR systems are to be used. A system validation and multiyear measurement program is under way.

Melbourne, W. G.↗

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

Space human factors publications: 1980-1990

A 10 year cummulative bibliography of publications resulting from research supported by the NASA Space Human Factors Program of the Life Science Division is provided. The goal of this program is to understand the basic mechanisms underlying behavioral adaptation to space and to develop and validate system design requirements, protocols, and countermeasures to ensure the psychological well-being, safety, and productivity of crewmembers. Subjects encompassed by this bibliography include selection and training, group dynamics, psychophysiological interactions, habitability issues, human-machine interactions, psychological support measures, and anthropometric data. Principal Investigators whose research tasks resulted in publication are identified by asterisk.

Dickson, Katherine J.↗

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↗

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↗

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↗

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↗

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↗

High-order ENO methods for the unsteady compressible Navier-Stokes equations

The adaptive stencil concepts of ENO (Essentially Non-Oscillatory) methods are applied to the laminar Navier-Stokes equations to yield a high-order, time-accurate algorithm with a shock-capturing capability. The method targets problems in the areas of nonlinear acoustics, compressible transition, and turbulence which, due to the presence of shocks or complex geometries, are not easily solved by spectral methods. The present approach has been implemented and tested for the full three-dimensional Navier-Stokes equations in a transformed curvilinear coordinate system. Validation results are presented for a variety of problems which verify the method's accuracy properties and shock capturing capabilities, as well as demonstrate its use as a direct simulation tool.

Atkins, H. L.↗

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

Orbit transfer rocket engine technology program: Automated preflight methods concept definition

The possibility of automating preflight engine checkouts on orbit transfer engines is discussed. The minimum requirements in terms of information and processing necessary to assess the engine'e integrity and readiness to perform its mission were first defined. A variety of ways for remotely obtaining that information were generated. The sophistication of these approaches varied from a simple preliminary power up, where the engine is fired up for the first time, to the most advanced approach where the sensor and operational history data system alone indicates engine integrity. The critical issues and benefits of these methods were identified, outlined, and prioritized. The technology readiness of each of these automated preflight methods were then rated on a NASA Office of Exploration scale used for comparing technology options for future mission choices. Finally, estimates were made of the remaining cost to advance the technology for each method to a level where the system validation models have been demonstrated in a simulated environment.

Erickson, C. M.↗

The NASA Radiation Health Program

The Space Radiation Health Program (SRHP) is defined in terms of motivation and methodology with specific reference given to the impacts of HZE particles and solar energetic particles. The biological hazards are mentioned that can be associated with the two particle types and ionizing radiation in general. The lack of data on the impact of such radiation and effective shielding countermeasures is identified as the primary motivation for worst-case assumptions. However, the resulting shielding designs can potentially overestimate the thickness by a factor of 10 and add unnecessarily to vehicle take-off mass. A space-based validation system is proposed to complement ground-based investigations of the effects of ionizing radiation in interplanetary space. The Lifesat satellite is proposed as a part of the SRHP effort to determine the requirements for protection and future shielding specifications.

Schimmerling, Walter↗

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