Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Verification study”

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 307 records · Page 17

Display research: Pilot response with the ""follow-me'' box display

A study of display configurations and their effect on pilot-aircraft system response was undertaken. An examination of conventional displays was done to provide a set of data that can be used for comparison with advanced displays. An examination of an advanced display design that includes the use of a digital computer and a cathode ray tube to provide a drawing of a three dimensional box is done. The results show the improvement in system performance that can be obtained with the advanced display. Studies were conducted using the General Aviation Simulator, but verification of the results with the advanced display was also obtained from flight tests.

Adams, J. J.↗

Large space antenna technology applied to radar-imaging, rain-rate measurements, and ocean wind sensing

During the last decade, the utility of spaceborne microwave remote sensing systems for ocean windspeed measurement, ocean wave imaging and sea ice studies was demonstrated. Development of large space antennas offers some interesting possibilities for rain rate measurements, ocean and ice studies, and radar imaging. The joint use of active and passive sensors using the 15 m antenna for ocean, ice, and soil moisture studies; rain rate measurements; and radar imaging is considered. Verification of the frequency agile rain radar concept with Shuttle offers the possibility of much needed rain rate statistics over the ocean.

Moore, R. K.↗

Numerical study of the effects of boundary conditions on the measurement and calibration of gardon type heat flux sensors

To monitor the high-intensity heat flux conditions that occur in the space shuttle main engine (SSME), it is necessary to use specifically designed heat flux sensors. These sensors, which are of the Gardon-type, are exposed on the measuring face to high-intensity radiative and convective heat fluxes and on the other face to convective cooling. To improve the calibration and measurement accuracy of these gauges, researchers are studing the effect that the thermal boundary conditions have on gauge performance. In particular, they are studying how convective cooling effects the field inside the sensor and the measured heat flux. The first phase of this study involves a numerical study of these effects. Subsequent phases will involve experimental verification. A computer model of the heat transfer around a Garden-type heat flux sensor was developed. Two specific geometries are being considered are: (1) heat flux sensor mounted on a flat-plate; and (2) heat flux sensor mounted at the stagnation point of a circular cylinder. Both of these configurations are representative of the use of heat flux sensors in the components of the SSME. The purpose of the analysis is to obtain a temperature distribution as a function of the boundary conditions.

Krane, M.↗

Time-domain imaging

The quest for the highest resolution microwave imaging and principle of time-domain imaging has been the primary motivation for recent developments in time-domain techniques. With the present technology, fast time varying signals can now be measured and recorded both in magnitude and in-phase. It has also enhanced our ability to extract relevant details concerning the scattering object. In the past, the interface of object geometry or shape for scattered signals has received substantial attention in radar technology. Various scattering theories were proposed to develop analytical solutions to this problem. Furthermore, the random inversion, frequency swept holography, and the synthetic radar imaging, have two things in common: (1) the physical optic far-field approximation, and (2) the utilization of channels as an extra physical dimension, were also advanced. Despite the inherent vectorial nature of electromagnetic waves, these scalar treatments have brought forth some promising results in practice with notable examples in subsurface and structure sounding. The development of time-domain techniques are studied through the theoretical aspects as well as experimental verification. The use of time-domain imaging for space robotic vision applications has been suggested.

Tolliver, C. L.↗

Space Shuttle Main Engine Liquid Air Insulation Redesign Lessons Learned

The Space Shuttle Main Engine Liquid Air Insulation redesign was required to prevent the reoccurance of the STS-111 High Pressure Speed Sensor In-Flight Anomaly. The STS-111 In-Flight Anomaly Failure Investigation Team's initial redesign of the High Pressure Fuel Turbopump Pump End Ball Bearing Liquid Air Insulation failed the certification test by producing Liquid Air. The certification test failure indicated not only the High Pressure Fuel Turbopump Liquid Air Insulation, but all other Space Shuttle Main Engine Liquid Air Insulation. This paper will document the original Space Shuttle Main Engine Liquid Air STS-111 In-Flight Anomaly investigation, the heritage Space Shuttle Main Engine Insulation certification testing faults, the techniques and instrumentation used to accurately test the Liquid Air Insulation systems on the Stennis Space Center SSME test stand, the analysis techniques used to identify the Liquid Air Insulation problem areas and the analytical verification of the redesign before entering certification testing, Trade study down selected to three potential design solutions, the results of the development testing which down selected the final Liquid Air Redesign are also documented within this paper.

Darrell Gaddy↗

Development of a truss joint for robotic assembly of space structures

This report presents the results of a detailed study of mechanical fasteners which were designed to facilitate robotic assembly of structures. Design requirements for robotic structural assembly were developed, taking into account structural properties and overall system design, and four candidate fasteners were designed to meet them. These fasteners were built and evaluated in the laboratory, and the Hammer-Head joint was chosen as superior overall. It had a high reliability of fastening under misalignments of 2.54 mm (0.1 in) and 3 deg, the highest end fixity (2.18), the simplest end effector, an integral capture guide, good visual verification, and the lightest weight (782 g, 1.72 lb). The study found that a good design should incorporate chamfers sliding on chamfers, cylinders sliding on chamfers, and hard surface finishes on sliding surfaces. The study also comments on robot flexibility, sag, hysteresis, thermal expansion, and friction which were observed during the testing.

Parma, George F.↗

A study of the atmospheric energetics of a six-layer operational forecast model

Verification data for twice-daily analyses of horizontal wind and temperature are compared with 00, 12, 24, 36, 60, and 84 hour forecasts prepared for winter 1975-76 from a six-layer operational forecast model; the comparison focuses on certain energy components in the forecast fields. Significant losses (15 to 20%) of zonal available potential energy and zonal kinetic energy appear beyond the 36-hour forecasts; the zonal kinetic energy loss is associated with a large increase in this parameter during the first 12-hour forecast period, due to a downward and northward movement of the mean jet-stream core. In addition, energy losses in the eddy potential and kinetic energy components are noted in the initialization procedure.

Hauser, R. K.↗

Studies Of Residual Flexibility And Vibration Testing

Collection of reports presents theoretical and experimental studies in which concept of residual flexibility applied to modal vibration testing and verification of mathematical models of vibrations of flexible structure constrained by another structure. "Residual flexibility" denotes that part of interface flexibility due to mode shapes out of frequency range of test. Studies directed toward assessing residual-flexibility approach as substitute for fixed-base vibrational testing of payloads installed in spacecraft.

Admire, John R.↗

Space shuttle sortie payload crew safety and systems compatibility criteria. Volume 1: Executive summary

As part of the effort to reduce the costs of shuttle payloads, this study was performed to determine the minimum, mandatory design and verification criteria necessary to insure that sortie payloads are compatible with the space shuttle system; distinguishing them from those criteria related primarily to mission success, configuration choices, management prerogatives, or other cost-benefit variables which are, therefore, discretionary to payload project management. It was concluded that utilization of the mandatory design criteria, presented in this report, as the basis for sortie payload specifications will produce basic systems compatibility between the orbiter and its sortie payloads at reduced costs. Also, when additional criteria are generated due to changes in subsystems, designs, or guidelines, the categorization methodology developed can aid managerial decision-making concerning these criteria. To a limited degree, the compatibility criteria as defined in this study reflect a portion of the total system safety effort involved in a manned space program.

Source record↗

Near field to far field transformations and multiple beam forming and steering

The feasibility of acoustic verification of microwave near field to far field transformation algorithms using the Phased Array Sonic Simulation System was studied. Existing electromagnetic near field measurement techniques and transformation algorithms (equations) were investigated. It was analytically determined that acoustic verification is valid. Acoustic simulation of electromagnetic near field to far field transformations is emphasized. The acoustic simulation of electromagnetic near field to far field transformation is verified for the modal expansion method. In the modal expansion method, data from antenna near field measurements are converted to a summation or spectrum of modes corresponding to wave numbers in the measurement coordinate system. Fourier transformation of those measurements preserves the far field information in a spectral form that is then readily extractable.

Source record↗

Cognitive Bias in the Verification and Validation of Space Flight Systems

Cognitive bias is generally recognized as playing a significant role in virtually all domains of human decision making. Insight into this role is informally built into many of the system engineering practices employed in the aerospace industry. The review process, for example, typically has features that help to counteract the effect of bias. This paper presents a discussion of how commonly recognized biases may affect the verification and validation process. Verifying and validating a system is arguably more challenging than development, both technically and cognitively. Whereas there may be a relatively limited number of options available for the design of a particular aspect of a system, there is a virtually unlimited number of potential verification scenarios that may be explored. The probability of any particular scenario occurring in operations is typically very difficult to estimate, which increases reliance on judgment that may be affected by bias. Implementing a verification activity often presents technical challenges that, if they can be overcome at all, often result in a departure from actual flight conditions (e.g., 1-g testing, simulation, time compression, artificial fault injection) that may raise additional questions about the meaningfulness of the results, and create opportunities for the introduction of additional biases. In addition to mitigating the biases it can introduce directly, the verification and validation process must also overcome the cumulative effect of biases introduced during all previous stages of development. A variety of cognitive biases will be described, with research results for illustration. A handful of case studies will be presented that show how cognitive bias may have affected the verification and validation process on recent JPL flight projects, identify areas of strength and weakness, and identify potential changes or additions to commonly used techniques that could provide a more robust verification and validation of future systems.

Larson, Steve↗

Software verification plan for GCS

This verification plan is written as part of an experiment designed to study the fundamental characteristics of the software failure process. The experiment will be conducted using several implementations of software that were produced according to industry-standard guidelines, namely the Radio Technical Commission for Aeronautics RTCA/DO-178A guidelines, Software Consideration in Airborne Systems and Equipment Certification, for the development of flight software. This plan fulfills the DO-178A requirements for providing instructions on the testing of each implementation of software. The plan details the verification activities to be performed at each phase in the development process, contains a step by step description of the testing procedures, and discusses all of the tools used throughout the verification process.

Dent, Leslie A.↗

Investigation of uses of holographic optical elements

The data represent a thorough study of the aberrations and imaging properties of holographic optical elements. Principle studies include (1) the indepth experimental investigation of single holographic optical elements, (2) the verification of the accuracy of the theoretical computer-based description of hologram behavior, (3) the computer-generation of interferograms that are characteristic of a prescribed aberrated imaging condition, (4) the experimental verification of wavelength optimization, (5) the experimental determination of the space bandwidth product of single holographic optical elements as a function of bending and field angle, and (6) the first experimental study of the aberration properties of holographic optical elements constructed in very thick (750 microns) recording media.

Zech, R. G.↗

Computational Characterization and Model Verification for 3D Microstructure Reconstruction of Additively-Manufactured Materials

The goal of this study is to characterize and validate the texture and grain topology of additively-manufactured anisotropic three-dimensional (3D) polycrystalline microstructures. The special focus is on developing methodologies to compare the grain shapes and orientations of two-dimensional (2D) and 3D microstructure representations using the same metric. To generate statistical data, synthetic microstructures are reconstructed from experimental data using Markov random field (MRF). The statistical similarity between the experimental and synthetic microstructures is verified by comparing their grain topologies. A universal measure to compare 2D and 3D grains is portrayed through the concept of image moments that are invariant to shape transformations. The graphical plots developed based on moment invariants to compare the 2D and 3D grains are used to verify the synthetic model

Materials Characterization↗

From Verified Models to Verifiable Code

Declarative specifications of digital systems often contain parts that can be automatically translated into executable code. Automated code generation may reduce or eliminate the kinds of errors typically introduced through manual code writing. For this approach to be effective, the generated code should be reasonably efficient and, more importantly, verifiable. This paper presents a prototype code generator for the Prototype Verification System (PVS) that translates a subset of PVS functional specifications into an intermediate language and subsequently to multiple target programming languages. Several case studies are presented to illustrate the tool's functionality. The generated code can be analyzed by software verification tools such as verification condition generators, static analyzers, and software model-checkers to increase the confidence that the generated code is correct.

Lensink, Leonard↗

Satellite Power System (SPS) concept definition study (exhibit C)

The major outputs of the study are the constructability studies which resulted in the definition of the concepts for satellite, rectenna, and satellite construction base construction. Transportation analyses resulted in definition of heavy-lift launch vehicle, electric orbit transfer vehicle, personnel orbit transfer vehicle, and intra-orbit transfer vehicle as well as overall operations related to transportation systems. The experiment/verification program definition resulted in the definition of elements for the Ground-Based Experimental Research and Key Technology plans. These studies also resulted in conceptual approaches for early space technology verification. The cost analysis defined the overall program and cost data for all program elements and phases.

Haley, G. M.↗