Search NASA⌕ Search

SEARCH · Search NASA

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 649 records · Page 36
All sourcesNASA NTRSDOE OSTI
NASA NTRS1986

System level verification applying the Space Shuttle experience to the Space Station

The applicability of the verification process for the Shuttle guidance, navigation and control (GNC) and data management system (DMS) for the development of the Space Station are described. Shuttle avionics hardware/software integration was delayed to finalize the hardware design before detailed definition and testing of the software. A block diagram is provided of the flight simulation laboratory used to test the GNC programs before flight data were available. The Station will have distributed computers, unlike the Orbiter, and will only be assembled fully in space. Standardized integration simulation test equipment are being defined to guide the development of hardware and software. The simulation capability may become part of nominal in-flight operations to initiate new capabilities as they are added to the Station. The Station GNC and DMS systems development will be somewhat simplified relative to those of the Shuttle because ascent and reentry will not be considered for the Station.

Gilbert, David W.↗
NASA NTRS1986

Word and frame synchronization with verification for PPM optical communications

A method for obtaining word and frame synchronization in pulse position modulated optical communication systems is described. The method uses a short sync sequence inserted at the beginning of each data frame and a verification procedure to distinguish between inserted and randomly occurring sequences at the receiver. This results in an easy to implement sync system which provides reliable synchronization even at high symbol error rates. Results are given for the application of this approach to a highly energy efficient 256-ary PPM test system.

Marshall, William K.↗
NASA NTRS1986

Use of a 35mm camera for remote surface cleanliness verification

Non-contact or remote monitoring of surfaces for both particle and molecular contaminants is required for verification of surface cleanliness on many program subsystems. The capability of a 35mm camera to satisfy this need is presented. The many limitations imposed by standard available lens systems are compared to actual required sensitivities. Methods of optimizing camera systems for specific applications and descriptions of support systems for extending the range of usefulness of the recorded data are also provided. Although this general concept is not new, significant improvements in the technique involving the use of polarized light and diffraction effects have resulted in a more efficient utilization of information recorded on the film.

Crutcher, E. R.↗
NASA NTRS1985

Constitutive modeling of superalloy single crystals with verification testing

The goal is the development of constitutive equations to describe the elevated temperature stress-strain behavior of single crystal turbine blade alloys. The program includes both the development of a suitable model and verification of the model through elevated temperature-torsion testing. A constitutive model is derived from postulated constitutive behavior on individual crystallographic slip systems. The behavior of the entire single crystal is then arrived at by summing up the slip on all the operative crystallographic slip systems. This type of formulation has a number of important advantages, including the prediction orientation dependence and the ability to directly represent the constitutive behavior in terms which metallurgists use in describing the micromechanisms. Here, the model is briefly described, followed by the experimental set-up and some experimental findings to date.

Jordan, Eric↗
NASA NTRS1985

Experimental verification of vapor deposition rate theory in high velocity burner rigs

The main objective has been the experimental verification of the corrosive vapor deposition theory in high-temperature, high-velocity environments. Towards this end a Mach 0.3 burner-rig appartus was built to measure deposition rates from salt-seeded (mostly Na salts) combustion gases on the internally cooled cylindrical collector. Deposition experiments are underway.

Gokoglu, Suleyman A.↗
NASA NTRS1987

Verification of FANTASTIC integrated code

FANTASTIC is an acronym for Failure Analysis Nonlinear Thermal and Structural Integrated Code. This program was developed by Failure Analysis Associates, Palo Alto, Calif., for MSFC to improve the accuracy of solid rocket motor nozzle analysis. FANTASTIC has three modules: FACT - thermochemical analysis; FAHT - heat transfer analysis; and FAST - structural analysis. All modules have keywords for data input. Work is in progress for the verification of the FAHT module, which is done by using data for various problems with known solutions as inputs to the FAHT module. The information obtained is used to identify problem areas of the code and passed on to the developer for debugging purposes. Failure Analysis Associates have revised the first version of the FANTASTIC code and a new improved version has been released to the Thermal Systems Branch.

Chauhan, Rajinder Singh↗
NASA NTRS1987

A formal approach to validation and verification for knowledge-based control systems

As control systems become more complex in response to desires for greater system flexibility, performance and reliability, the promise is held out that artificial intelligence might provide the means for building such systems. An obstacle to the use of symbolic processing constructs in this domain is the need for verification and validation (V and V) of the systems. Techniques currently in use do not seem appropriate for knowledge-based software. An outline of a formal approach to V and V for knowledge-based control systems is presented.

Castore, Glen↗
NASA NTRS1987

Expert system verification concerns in an operations environment

The Space Shuttle community is currently developing a number of knowledge-based tools, primarily expert systems, to support Space Shuttle operations. It is proposed that anticipating and responding to the requirements of the operations environment will contribute to a rapid and smooth transition of expert systems from development to operations, and that the requirements for verification are critical to this transition. The paper identifies the requirements of expert systems to be used for flight planning and support and compares them to those of existing procedural software used for flight planning and support. It then explores software engineering concepts and methodology that can be used to satisfy these requirements, to aid the transition from development to operations and to support the operations environment during the lifetime of expert systems. Many of these are similar to those used for procedural hardware.

Goodwin, Mary Ann↗
NASA NTRS1988

Knowledge based system verification and validation as related to automation of space station subsystems: Rationale for a knowledge based system lifecycle

The role of verification and validation (V and V) in software has been to support and strengthen the software lifecycle and to ensure that the resultant code meets the standards of the requirements documents. Knowledge Based System (KBS) V and V should serve the same role, but the KBS lifecycle is ill-defined. The rationale of a simple form of the KBS lifecycle is presented, including accommodation to certain critical KBS differences from software development.

Richardson, Keith↗
NASA NTRS1988

The experimental verification of wall movement influence coefficients for an adaptive walled test section

Flexible walled wind tunnels have for some time been used to reduce wall interference effects at the model. A necessary part of the 3-D wall adjustment strategy being developed for the Transonic Self-Streamlining Wind Tunnel (TSWT) of Southampton University is the use of influence coefficients. The influence of a wall bump on the centerline flow in TSWT has been calculated theoretically using a streamline curvature program. This report details the experimental verification of these influence coefficients and concludes that it is valid to use the theoretically determined values in 3-D model testing.

Neal, G.↗
NASA NTRS1988

Verification of regional climates of GISS GCM. Part 1: Winter

Verification is made of the synoptic fields, sea level pressure, precipitation rate, 200 mb zonal wind and the surface resultant wind, generated by two versions of the GISS climate model. The models differ regarding the horizontal resolution of the computational grids and the specification of the sea surface temperatures. Maps of the regional distributions of seasonal variations of the model fields are shown alongside maps showing the observed distributions. Comparisons of the model results with observations are discussed, and also summarized in tables according to geographic regions.

Druyan, Leonard M.↗
NASA NTRS1988

Development and verification of NASA Standard Initiator-2 (NSI-2)

The results of verification testing under NASA Contract NAS9-17249 are summarized in this Final Report. An Appendix is published separately. The report contains a brief discussion of design elements, test results, and a discussion of the latter. The contract was awarded for development and demonstration of design modifications to the NASA Standard Initiator-1 (NSI-1), resulting in the development of NSI-2. The intent of the project was to develop and prove the following design features: (1) Protection from premature initiation due to electrostatic potential by means other than a spark gap; (2) Development of an integral insulated charge cup for use with a zirconium/potassium perchlorate type mixture; (3) Improved cost and reliability figures by the use of a deposited ridge; and (4) Elimination of dudding as a result of the pyrotechnic shock effect, the movement of the primer composition away from the bridge circuit.

Corbin-Roberts, Linda↗
NASA NTRS1988

Development and verification of NASA Standard Initiator-2 (NSI-2): Appendix

This is the Appendix to the Final Report on the results of verification testing on NASA Contract NAS9-17249. The test results are presented graphically in the Appendix. The Final Report is a brief discussion of design elements, test results, and a discussion of the latter. The contract was awarded for development and demonstration of design modifications to the NASA Standard Initiator-1 (NSI-1), resulting in the development of NSI-2. The intent of the project was to develop and prove the following design features: (1) Protection from premature detonation due to electrostatic potential by means other than a spark gap; (2) Development of an integral insulated charge cup for use with a zirconium/potassium perchlorate type mixture; (3) Improved cost and reliability figures by the use of a deposited bridge; and (4) Elimination of dudding as a result of the pyrotechnic shock effect, the movement of the primer composition away from the bridge circuit.

Source record↗
NASA NTRS1988

Workshop on Verification and Validation of Knowledge Based Systems. I - Overview and meeting summary

An overview is presented of a workshop held on May 14-15, 1987. Presentations included overviews of knowledge-based system (KBS) fundamentals, introductions to verification and validation (V&V) methods currently being used, and theoretical V&V work. The findings of three working groups are considered, involving: (1) KBS V&V feasibility within current NASA software constraints, (2) V&V methods suited to KBS constraints, and future KBS V&V research goals.

Richardson, Keith↗
NASA NTRS1988

Knowledge based system verification and validation as related to automation of Space Station subsystems - Rationale for a knowledge based system lifecycle

The role of verification and validation (V and V) in software has been to support and strengthen the software lifecycle and to ensure that the resultant code meets the standards of the requirements documents. Knowledge-based system (KBS) V and V should serve the same role, but the KBS lifecycle is ill-defined. The rationale of a simple form of the KBS lifecycle is presented, including accommodation to certain critical KBS differences from software development.

Richardson, Keith↗
NASA NTRS1988

Experimental verification of a large flexible manipulator

A large experimental lightweight manipulator would be useful for material handling, for welding, or for ultrasonic inspection of a large structure, such as an airframe. The flexible parallel link mechanism is designed for high rigidity without increasing weight. This constrained system is analyzed by singular value decomposition of the constraint Jacobian matrix. A verification of the modeling using the assumed mode method is presented. Eigenvalues and eigenvectors of the linearized model are compared to the measured system natural frequencies and their associated mode shapes. The modeling results for large motions are compared to the time response data from the experiments. The hydraulic actuator is verified.

Lee, Jac Won↗
NASA NTRS1988

Development of a verification program for deployable truss advanced technology

Use of large deployable space structures to satisfy the growth demands of space systems is contingent upon reducing the associated risks that pervade many related technical disciplines. The overall objectives of this program was to develop a detailed plan to verify deployable truss advanced technology applicable to future large space structures and to develop a preliminary design of a deployable truss reflector/beam structure for use a a technology demonstration test article. The planning is based on a Shuttle flight experiment program using deployable 5 and 15 meter aperture tetrahedral truss reflections and a 20 m long deployable truss beam structure. The plan addresses validation of analytical methods, the degree to which ground testing adequately simulates flight and in-space testing requirements for large precision antenna designs. Based on an assessment of future NASA and DOD space system requirements, the program was developed to verify four critical technology areas: deployment, shape accuracy and control, pointing and alignment, and articulation and maneuvers. The flight experiment technology verification objectives can be met using two shuttle flights with the total experiment integrated on a single Shuttle Test Experiment Platform (STEP) and a Mission Peculiar Experiment Support Structure (MPESS). First flight of the experiment can be achieved 60 months after go-ahead with a total program duration of 90 months.

Dyer, Jack E.↗