SEARCH · Engineering Papers

Results for “code 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.

SourceResearch connectionFrom yearThrough year

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

At least 127 records · Page 7

All sources NASA NTRS DOE OSTI

NASA NTRS1983

The Proof of the SIFT Implementation

The Software Implemented Fault Tolerance SIFT specifications consist primarily of constraints on the schedule table and descriptions of the changes each routine makes to the global variables. The proof proceeds by proving that each routine is consistent with its specification. Each of these proofs is separate from the others and the order of the proofs is unimportant. A routine is proved by generating a set of verification conditions from the PASCAL code and the SPECIAL specifications. Each verification condition is a set of assertions derived from a particular path in the routine. A verification condition (VC) is generated for each possible path through the routine.

Source record↗

NASA NTRS1990

Methods for evaluating the predictive accuracy of structural dynamic models

Uncertainty of frequency response using the fuzzy set method and on-orbit response prediction using laboratory test data to refine an analytical model are emphasized with respect to large space structures. Two aspects of the fuzzy set approach were investigated relative to its application to large structural dynamics problems: (1) minimizing the number of parameters involved in computing possible intervals; and (2) the treatment of extrema which may occur in the parameter space enclosed by all possible combinations of the important parameters of the model. Extensive printer graphics were added to the SSID code to help facilitate model verification, and an application of this code to the LaRC Ten Bay Truss is included in the appendix to illustrate this graphics capability.

Hasselman, T. K.↗

NASA NTRS1989

Manipulation strategies for massive space payloads

Control for the bracing strategy is being examined. It was concluded earlier that trajectory planning must be improved to best achieve the bracing motion. Very interesting results were achieved which enable the inverse dynamics of flexible arms to be calculated for linearized motion in a more efficient manner than previously published. The desired motion of the end point beginning at t=0 and ending at t=t sub f is used to calculate the required torque at the joint. The solution is separated into a causal function that is zero for t is less than 0 and an accusal function which is zero for t is greater than t sub f. A number of alternative end point trajectories were explored in terms of the peak torque required, the amount of anticipatory action, and other issues. The single link case is the immediate subject and an experimental verification of that case is being performed. Modeling with experimental verification of closed chain dynamics continues. Modeling effort has pointed out inaccuracies that result from the choice of numerical techniques used to incorporate the closed chain constraints when modeling our experimental prototype RALF (Robotic Arm Large and Flexible). Results were compared to TREETOPS, a multi body code. The experimental verification work is suggesting new ways to make comparisons with systems having structural linearity and joint and geometric nonlinearity. The generation of inertial forces was studied with a small arm that will damp the large arm's vibration.

Book, Wayne J.↗

NASA NTRS2009

A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software

Model-based development and automated code generation are increasingly used for production code in safety-critical applications, but since code generators are typically not qualified, the generated code must still be fully tested, reviewed, and certified. This is particularly arduous for mathematical and control engineering software which requires reviewers to trace subtle details of textbook formulas and algorithms to the code, and to match requirements (e.g., physical units or coordinate frames) not represented explicitly in models or code. Both tasks are complicated by the often opaque nature of auto-generated code. We address these problems by developing a verification-driven approach to traceability and documentation. We apply the AUTOCERT verification system to identify and then verify mathematical concepts in the code, based on a mathematical domain theory, and then use these verified traceability links between concepts, code, and verification conditions to construct a natural language report that provides a high-level structured argument explaining why and how the code uses the assumptions and complies with the requirements. We have applied our approach to generate review documents for several sub-systems of NASA s Project Constellation.

Denney, Ewen W.↗

NASA NTRS1972

The ORNL-SNAP shielding program

The effort in the ORNL-SNAP shielding program is directed toward the development and verification of computer codes using numerical solutions to the transport equation for the design of optimized radiation shields for SNAP power systems. A brief discussion is given for the major areas of the SNAP shielding program, which are cross-section development, transport code development, and integral experiments. Detailed results are presented for the integral experiments utilizing the TSF-SNAP reactor. Calculated results are compared with experiments for neutron and gamma-ray spectra from the bare reactor and as transmitted through slab shields.

Mynatt, F. R.↗

NASA NTRS1977

Review of experimental work on transonic flow in turbomachinery

The review is primarily concerned with modern experimental techniques of high response and laser supported instrumentation. The considered techniques make it possible to obtain detailed data of steady and unsteady processes occurring inside transonic blade rows and in the vicinity of the rows. Such data are needed for the verification of computer codes used for the study of the operational characteristics of turbomachinery. Attention is given to high response transducers, hot wire probes, hot film gages, laser Doppler velocimeter systems, laser fluorescence, and laser holography.

Mcnally, W. D.↗

NASA NTRS1985

Overview of Aerothermodynamic Loads Definition Study

The Aerothermodynamic Loads Definition were studied to develop methods to more accurately predict the operating environment in the space shuttle main engine (SSME) components. Development of steady and time-dependent, three-dimensional viscous computer codes and experimental verification and engine diagnostic testing are considered. The steady, nonsteady, and transient operating loads are defined to accurately predict powerhead life. Improvements in the structural durability of the SSME turbine drive systems depends on the knowledge of the aerothermodynamic behavior of the flow through the preburner, turbine, turnaround duct, gas manifold, and injector post regions.

Povinelli, L. A.↗

NASA NTRS1985

Transition in Turbines

The concept of a large disturbance bypass mechanism for the initiation of transition is reviewed and studied. This mechanism, or some manifestation thereof, is suspected to be at work in the boundary layers present in a turbine flow passage. Discussion is presented on four relevant subtopics: (1) the effect of upstream disturbances and wakes on transition; (2) transition prediction models, code development, and verification; (3) transition and turbulence measurement techniques; and (4) the hydrodynamic condition of low Reynolds number boundary layers.

Source record↗

NASA NTRS1986

Langley hypersonic facilities complex - Description and application

The Langley Hypersonic Facilities Complex (HFC) consists of hypersonic, blowdown wind tunnels developed and put into operation between the late 1950's and early 1970's. These facilities complement one another to presently provide ranges of Mach number from 6 to 22, unit Reynolds number from 0.1 to 15 million per foot, and normal shock density ratio from 4 to 12. Descriptions of these facilities are presented along with the testing techniques routinely used. Examples of the application of the HFC to generate data bases for proposed entry vehicles and for the verification of computer codes are given. Plans to upgrade the facilities to improve flow quality, productivity, capability and reliability are discussed.

Miller, C. G.↗

NASA NTRS1994

Turbulent Flow In A Circular-To-Rectangular Transition Duct

NASA technical memorandum describes experiments and analysis of experimental data pertaining to subsonic, turbulent flow of air in duct that includes gradual transition from circular cross section at inlet to rectangular cross section at outlet. Study intended to support further research on physics of flow, by providing comprehensive set of data for calibration and verification of computer codes for simulation of transition-duct flows and mathematical models of turbulence in flows in which effects of curvature of streamlines important.

Davis, David O.↗

NASA NTRS1993

Foil bearing research at Penn State

Foil journal bearings consist of a compliant metal shell or foil which supports a rigid journal by means of a fluid film. Foil bearings are considered to be a potential alternative to rolling element or traditional rigid surface bearings in cryogenic turbomachinery applications. The prediction of foil bearing performance requires the coupled solution of the foil deflection and the fluid flow in the bearing clearance between the rotor and the foil. The investigations being conducted in the Department of Mechanical Engineering at Penn State are focused in three areas: theoretical prediction of steady state bearing performance, modeling of the dynamic bearing characteristics to determine performance in rotor systems, and experimental verification of analysis codes. The current status and results from these efforts will be discussed.

Carpino, Marc↗

NASA NTRS1994

Arc-heater performance research

The tasks performed can be divided into the following categories: an analysis of the electric arc phenomena, especially near the electrodes; a parametric study of arcjet performance by means of a computer code (ARCFLO) and verification with experimental data where possible; the development of a data acquisition system to collect the above experimental data using Ames arc-jets; and a study of the critical components (electrodes and constrictor disks) and suggestions of how to improve their performance.

Shepard, Charles E.↗

NASA NTRS1994

Engineering large-scale agent-based systems with consensus

The paper presents the consensus method for the development of large-scale agent-based systems. Systems can be developed as networks of knowledge based agents (KBA) which engage in a collaborative problem solving effort. The method provides a comprehensive and integrated approach to the development of this type of system. This includes a systematic analysis of user requirements as well as a structured approach to generating a system design which exhibits the desired functionality. There is a direct correspondence between system requirements and design components. The benefits of this approach are that requirements are traceable into design components and code thus facilitating verification. The use of the consensus method with two major test applications showed it to be successful and also provided valuable insight into problems typically associated with the development of large systems.

Bokma, A.↗

NASA NTRS1996

Endwall Heat Transfer Measurements in a Transonic Turbine Cascade

Turbine blade endwall heat transfer measurements are given for a range of Reynolds and Mach numbers. Data were obtained for Reynolds numbers based on inlet conditions of 0.5 and 1.0 x 106, for isentropic exit Mach numbers of 1.0 and 1.3, and for freestream turbulence intensities of 0.25% and 7.0%. Tests were conducted in a linear cascade at the NASA Lewis Transonic Turbine Blade Cascade Facility. The test article was a turbine rotor with 136' of turning and an axial chord of 12.7 cm. The large scale allowed for very detailed measurements of both flow field and surface phenomena. The intent of the work is to provide benchmark quality data for computational fluid dynamics (CFD) code and model verification. The flow field in the cascade is highly three-dimensional as a result of thick boundary layers at the test section inlet. Endwall heat transfer data were obtained using a steady-state liquid crystal technique.

Giel, P. W.↗

NASA NTRS1996

Three-Dimensional Flow Field Measurements in a Transonic Turbine Cascade

Three-dimensional flow field measurements are presented for a large scale transonic turbine blade cascade. Flow field total pressures and pitch and yaw flow angles were measured at an inlet Reynolds number of 1.0 x 10(exp 6) and at an isentropic exit Mach number of 1.3 in a low turbulence environment. Flow field data was obtained on five pitchwise/spanwise measurement planes, two upstream and three downstream of the cascade, each covering three blade pitches. Three-hole boundary layer probes and five-hole pitch/yaw probes were used to obtain data at over 1200 locations in each of the measurement planes. Blade and endwall static pressures were also measured at an inlet Reynolds number of 0.5 x 10(exp 6) and at an isentropic exit Mach number of 1.0. Tests were conducted in a linear cascade at the NASA Lewis Transonic Turbine Blade Cascade Facility. The test article was a turbine rotor with 136 deg of turning and an axial chord of 12.7 cm. The flow field in the cascade is highly three-dimensional as a result of thick boundary layers at the test section inlet and because of the high degree of flow turning. The large scale allowed for very detailed measurements of both flow field and surface phenomena. The intent of the work is to provide benchmark quality data for CFD code and model verification.

Giel, P. W.↗

NASA NTRS1997

Numerical modeling of HgCdTe solidification: Effects of phase diagram, double-diffusion convection and microgravity level

A numerical model of HgCdTe solidification was implemented using finite the element code FIDAP. Model verification was done using both experimental data and numerical test problems. The model was used to evaluate possible effects of double-diffusion convection in molten material, and microgravity level on concentration distribution in the solidified HgCdTe. Particular attention was paid to incorporation of HgCdTe phase diagram. It was found, that below a critical microgravity amplitude, the maximum convective velocity in the melt appears virtually independent on the microgravity vector orientation. Good agreement between predicted interface shape and an interface obtained experimentally by quenching was achieved. The results of numerical modeling are presented in the form of video film.

Bune, Andris V.↗

NASA NTRS1998

A Generalized Fluid System Simulation Program to Model Flow Distribution in Fluid Networks

This paper describes a general purpose computer program for analyzing steady state and transient flow in a complex network. The program is capable of modeling phase changes, compressibility, mixture thermodynamics and external body forces such as gravity and centrifugal. The program's preprocessor allows the user to interactively develop a fluid network simulation consisting of nodes and branches. Mass, energy and specie conservation equations are solved at the nodes; the momentum conservation equations are solved in the branches. The program contains subroutines for computing "real fluid" thermodynamic and thermophysical properties for 33 fluids. The fluids are: helium, methane, neon, nitrogen, carbon monoxide, oxygen, argon, carbon dioxide, fluorine, hydrogen, parahydrogen, water, kerosene (RP-1), isobutane, butane, deuterium, ethane, ethylene, hydrogen sulfide, krypton, propane, xenon, R-11, R-12, R-22, R-32, R-123, R-124, R-125, R-134A, R-152A, nitrogen trifluoride and ammonia. The program also provides the options of using any incompressible fluid with constant density and viscosity or ideal gas. Seventeen different resistance/source options are provided for modeling momentum sources or sinks in the branches. These options include: pipe flow, flow through a restriction, non-circular duct, pipe flow with entrance and/or exit losses, thin sharp orifice, thick orifice, square edge reduction, square edge expansion, rotating annular duct, rotating radial duct, labyrinth seal, parallel plates, common fittings and valves, pump characteristics, pump power, valve with a given loss coefficient, and a Joule-Thompson device. The system of equations describing the fluid network is solved by a hybrid numerical method that is a combination of the Newton-Raphson and successive substitution methods. This paper also illustrates the application and verification of the code by comparison with Hardy Cross method for steady state flow and analytical solution for unsteady flow.

Majumdar, Alok↗

NASA NTRS1999

Blade Heat Transfer Measurements and Prediction in a Transonic Turbine Cascade

Detailed heat transfer measurements and predictions are given for a turbine rotor with 136 deg of turning and an axial chord of 12.7 cm. Data were obtained for inlet Reynolds numbers of 0.5 and 1.0 x 10(exp 6), for isentropic exit Mach numbers of 1.0 and 1.3, and for inlet turbulence intensities of 0.25% and 7.0%. Measurements were made in a linear cascade having a highly three-dimensional flow field resulting from thick inlet boundary layers. The purpose of the work is to provide benchmark quality data for three-dimensional CFD code and model verification. Data were obtained by a steady-state technique using a heated, isothermal blade. Heat fluxes were determined from a calibrated resistance layer in conjunction with a surface temperature measured by calibrated liquid crystals. The results show the effects of strong secondary vortical flows, laminar-to-turbulent transition, shock impingement, and increased inlet turbulence on the surface heat transfer.

Giel, P. W.↗