Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “program 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 505 records · Page 28
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

Space Station Freedom avionics technology

The Space Station Freedom Program (SSFP) encompasses the design, development, test, evaluation, verification, launch, assembly, and operation and utilization of a set of spacecraft in low earth orbit (LEO) and their supporting facilities. The spacecraft set includes: the Space Station Manned Base (SSMB), a European Space Agency (ESA) provided Man-Tended Free Flyer (MTFF) at an inclination of 28.5 degrees and nominal attitude of 410 km, a USA provided Polar Orbiting Platform (POP), and an ESA provided POP in sun-synchronous, near polar orbits at a nominal altitude of 822 km. The SSMB will be assembled using the National Space Transportation System (NSTS). The POPs and the MTFF will be launched by Expendable Launch Vehicles (ELVs): a Titan 4 for the US POP and an Ariane for the ESA POP and MTFF. The US POP will for the most part use derivatives of systems flown on unmanned LEO spacecraft. The SSMB portion of the overall program is presented.

Edwards, A.↗
NASA NTRS1993

RighTime: A real time clock correcting program for MS-DOS-based computer systems

A computer program is described which effectively eliminates the misgivings of the DOS system clock in PC/AT-class computers. RighTime is a small, sophisticated memory-resident program that automatically corrects both the DOS system clock and the hardware 'CMOS' real time clock (RTC) in real time. RighTime learns what corrections are required without operator interaction beyond the occasional accurate time set. Both warm (power on) and cool (power off) errors are corrected, usually yielding better than one part per million accuracy in the typical desktop computer with no additional hardware, and RighTime increases the system clock resolution from approximately 0.0549 second to 0.01 second. Program tools are also available which allow visualization of RighTime's actions, verification of its performance, display of its history log, and which provide data for graphing of the system clock behavior. The program has found application in a wide variety of industries, including astronomy, satellite tracking, communications, broadcasting, transportation, public utilities, manufacturing, medicine, and the military.

Becker, G. Thomas↗
DOE OSTI2020

FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation

We present FPDetect, a low-overhead approach for detecting logical errors and soft errors affecting stencil computations without generating false positives. We develop an offline analysis that tightly estimates the number of floating-point bits preserved across stencil applications. This estimate rigorously bounds the values expected in the data space of the computation. Violations of this bound can be attributed with certainty to errors. FPDetect helps synthesize error detectors customized for user-specified levels of accuracy and coverage. FPDetect also enables overhead reduction techniques based on deploying these detectors coarsely in space and time. Experimental evaluations demonstrate the practicality of our approach.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1973

Experimental verification of the energy dissipation mechanism in acoustic dampers.

An experimental program is described which verifies the theoretical model that acoustic damping devices undergoing high intensity oscillations dissipate energy via jet kinetic losses. Pressure measurements within the damping devices and flow duct together with detailed surveys of the jet velocities provide the experimental confirmation. The theory accounts for duct flow effects, both steady and unsteady, as well as the jet dissipation. Discrepancies between theory and experiment can be traced to neglect of higher order terms or ignoring the difficult wall friction term in the case of the quarter-wave tube.

Tang, P. K.↗
NASA NTRS2018

Runtime Verification - 17 Years Later

Runtime verification is the discipline of analyzing program executions using rigorous methods. The discipline covers such topics as specification-based monitoring, where single executions are checked against formal specifications; predictive runtime analysis, where properties about a system are predicted/inferred from single (good) executions; specification mining from execution traces; visualization of execution traces; and to be fully general: computation of any interesting information from execution traces. Finally, runtime verification also includes fault protection, where monitors actively protect a running system against errors. The paper is written as a response to the ‘Test of Time Award’ attributed to the authors for their 2001 paper [45]. The present paper provides a brief overview of what lead to that paper, what has happened since, and some perspectives on the future of the field.

Rosu, Grigore↗
NASA NTRS1973

Space Shuttle Main Engine program status

Performance, weight, and reusability of the Space Shuttle Main Engine, the next generation rocket engine, are important factors in achieving the Space Shuttle mission. The design features of the engine contributing to the achievement of these engine demands are discussed. Many new fabrication methods, material applications, and innovations incorporated into the engine are presented. The engine program is now in the second year of the 47 months development period. The current status of activities in engineering, manufacturing, and test are reviewed. The Design Verification Specification approach to engine development is compared to the development programs for Saturn/Apollo engines.

Kirby, F. M.↗
NASA NTRS1990

Integration by parts

This paper describes the unique integration and verification challenges associated with the Space Station Freedom and an approach to solve these problems using Data Management Systems (DMS) Kits. These DMS Kits will help alleviate the complex integration problems inherent in building, assembling and testing the Space Station. Particular emphasis has been placed on utilizing the capabilities and services of the on-board DMS to provide the integration and verification tools, not only for the DMS but for the other on-board distributed systems as well. DMS Kits are provided to system/software developers across the program. These DMS Kits provide a common set of integration and verification tools and hardware. Each system developer can then utilize, through the kits, a simulation of the complete data processing environment which will be available on orbit. The paper describes the evolution of the integration process from the system level to the final integration of multiple launch packages. DMS Kits are used throughout this process, which addresses both the ground and on-orbit aspects of the problem.

Barry, Thomas↗
DOE OSTI2026

ORNL Report of Analysis for the Verification of NRMP CRM U030A

In support of the Certified Reference Material (CRM) program managed by the Nuclear Reference Material Program (NRMP), the Material Signatures and Isotopic Standards (MSIS) group of Oak Ridge National Laboratory (ORNL) was asked to prepare a set of CRM U030A units for use as standards for isotopic analysis using multicollector thermal ionization mass spectrometry (TIMS) and inductively coupled plasma mass spectrometry (ICP-MS) instruments. This report documents the results of the verification measurements performed on three randomly selected units by the MSIS group’s ISO/IEC 17025:2017 accredited operating procedure CSD-AM-CIMS-IN20, Determination of Uranium and Plutonium Isotopic Composition using Thermal Ionization Mass Spectrometry [1], and in accordance with the quality assurance plan as described in QAP-X-96-CSD/RML-001, Nuclear Analytical Chemistry Laboratory Section Quality Assurance Plan [2].

Mathew, Kattathu [Oak Ridge National Laboratory (O↗
DOE OSTI2022

Performance of the Initial Implementation of the Shift Monte Carlo Code in SCALE 6.3

The Shift Monte Carlo code will be introduced in SCALE 6.3 as an alternative to the KENO V.a, KENO-VI, and Monaco codes. Calculations were performed to establish the performance of Shift for criticality safety analyses within the criticality safety analyses sequence (CSAS) based on models in the Verified, Archived Library of Inputs and Data (VALID). This test suite contains over 600 critical experiment models covering a broad range of fissile materials and neutron energy spectra. The comparisons presented include calculated k eff values and runtime performance for serial calculations and a selection of parallel calculations. Comparisons are presented for multigroup (MG) and continuous-energy (CE) calculations for KENO V.a and KENO-VI models. Results generated with a beta version of SCALE 6.3 indicate excellent agreement in k eff values between KENO and Shift. The largest differences in the average k eff value calculated for the 15 categories of KENO V.a models are 0.00020 ± 0.00011 Δ k for MG calculations and 0.00011 ± 0.00005 Δ k for CE calculations. Similar comparisons in three categories using KENO-VI result in the largest differences for MG calculations: as 0.00004 ± 0.00003 Δ k , and -0.00002 ± 0.00003 Δ k for CE. The preliminary results also indicate that Shift is faster than KENO on a per particle basis, especially for fast spectrum systems. The uncertainty per history is also higher, however, so the Monte Carlo figure of merit is higher for KENO for thermal and intermediate spectrum systems. As expected, Shift generally has better speedup than KENO for parallel calculations, regardless of neutron energy spectrum.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2020

Development and Validation of a Two-Phase Thermal-Hydraulic CFD Code NEK-2P

A project is underway to develop, verify and validate an advanced two-phase flow modeling capability for the highly-scalable, high-performance Computational Fluid Dynamics (CFD) code NEK5000. The goal of this work is to verify and validate the two-phase version of the NEK5000 code, named NEK-2P, to simulate the two-phase flow and heat transfer phenomena that occur in a Boiling Water Reactor (BWR) fuel bundle under various operating conditions. The NEK-2P two-phase flow models follow the approach used for the Extended Boiling Framework (EBF) previously developed at Argonne but include more fundamental physical models of boiling phenomena and advanced numerical algorithms for improved computational accuracy, robustness, and computational speed. The development of the NEK-2P two-phase solver and the implementation of the Extended Boiling Framework two-phase models were initially supported by Argonne National Laboratory (Argonne) through a Laboratory Directed Research and Development (LDRD) project during FY2014-2016. The development and validation of the two-phase models through analyses of selected two-phase boiling flow experiments was supported by the Nuclear Energy Advanced Modeling and Simulation (NEAMS) program in FY2017-2020. This report focuses on verification and validation of the water-steam boiling model NEK-2P Two-Phase, CFD code. The NEK-2P was validated with Nuclear Power Engineering Corporation (NUPEC) Pressurized Water Reactor (PWR) Sub-channel and Bundle Test (PSBT) void distribution benchmark. Three different simulations were performed and analyzed for various operating conditions such as wall-heat flux and sub-cooled inlet temperatures. Reasonably good agreement with measured data was obtained in predicting the measured void distributions. Simulations were performed for Virginia Tech. (VT) 3x3 rod bundle geometry with and without spacers. The preliminary results were presented for Simplified Spacer Grid (SSG). In addition, the implementation of interface reconstruction model was tested with one of the Becker benchmark Critical Heat Flux (CHF) experiments.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
DOE OSTI2021

Using the “Inner” Array Boundary with KENO-VI [Slides]

Topics include: SGGP Array definition basics, what is meant by the "Inner" Boundary of an array, a critical experiment with flux filter, and NRC verification of criticality calculations with UNF-ST&DARDS.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2025

TEAMER Technical Support of Ramboll's for Numerical Modeling of WECs to Support OES Task 10: Cooperative Research and Development (Final Report)

National Technology & Engineering Solutions of Sandia, LLC (NTESS) in collaboration with the National Renewable Energy Laboratory (NREL), and with guidance from Ramboll, will perform fluid dynamics simulations to support of The Ocean Energy Systems (OES) Energy Technology Collaboration Program Task 10 Wave Energy Converters (WEC) Modelling Verification and Validation effort. Specific numerical simulations include the fixed device wave impingement studies to benchmark the performance of simulation techniques against physical testing results.

16 TIDAL AND WAVE POWER↗
NASA NTRS1980

Space Shuttle External Tank Project status

The External Tank Project is reviewed with emphasis on the DDT&E and production phases and the lightweight tank development. It is noted that the DDT&E phase is progressing well with the structural and ground vibration test article programs complete, the propulsion test article program progressing well, and the component qualification and verification testing 92% complete. New tools and facilities are being brought on line to support the increased build rate for the production phase. The lightweight tank, which will provide additional payload in orbit, is progressing to schedule with first delivery in early 1982.

Davis, R. M.↗
NASA NTRS1980

Extended frequency turbofan model

The fan model was developed using two dimensional modeling techniques to add dynamic radial coupling between the core stream and the bypass stream of the fan. When incorporated into a complete TF-30 engine simulation, the fan model greatly improved compression system frequency response to planar inlet pressure disturbances up to 100 Hz. The improved simulation also matched engine stability limits at 15 Hz, whereas the one dimensional fan model required twice the inlet pressure amplitude to stall the simulation. With verification of the two dimensional fan model, this program formulated a high frequency F-100(3) engine simulation using row by row compression system characteristics. In addition to the F-100(3) remote splitter fan, the program modified the model fan characteristics to simulate a proximate splitter version of the F-100(3) engine.

Mason, J. R.↗
NASA NTRS1984

Evaluation of propellant tank insulation concepts for low-thrust chemical propulsion systems

An analytical evaluation of cryogenic propellant tank insulations for liquid oxygen/liquid hydrogen low-thrust 2224N (500 lbf) propulsion systems (LTPS) was conducted. The insulation studied consisted of combinations of N2-purged foam and multilayer insulation (MLI) as well as He-purged MLI-only. Heat leak and payload performance predictions were made for three Shuttle-launched LTPS designed for Shuttle bay packaged payload densities of 56 kg/cu m, 40 kg/cu m and 24 kg/cu m. Foam/MLI insulations were found to increase LTPS payload delivery capability when compared with He-purged MLI-only. An additional benefit of foam/MLI was reduced operational complexity because Orbiter cargo bay N2 purge gas could be used for MLI purging. Maximum payload mass benefit occurred when an enhanced convection, rather than natural convection, heat transfer was specified for the insulation purge enclosure. The enhanced convection environment allowed minimum insulation thickness to be used for the foam/MLI interface temperature selected to correspond to the moisture dew point in the N2 purge gas. Experimental verification of foam/MLI benefits was recommended. A conservative program cost estimate for testing a MLI-foam insulated tank was 2.1 million dollars. It was noted this cost could be reduced significantly without increasing program risk.

Kramer, T.↗
NASA NTRS1984

Evaluation of propellent tank insulation concepts for low-thrust chemical propulsion systems: Executive summary

Cryogenic propellant tank insulations or liquid oxygen/liquid hydrogen low-thrust 2224N (500 lbf) propulsion systems (LTPS) were assessed. The insulation studied consisted of combinations of N2-purged foam and multilayer insulation (MLI) as well as He-purged MLI-only. Heat leak and payload performance predictions were made for three shuttle-launched LTPS designed for shuttle bay packaged payload densities of 56 kg cu/m (3.5 lbm/cu ft), 40 kg/cu m (2.5 lbm/cu ft) and 24 kg/cu m (1.5 lbm/cu ft). Foam/MLI insulations were found to increase LTPS payload delivery capability when compared with He-purged MLI-only. An additional benefit of foam/MLI was reduced operational complexity because orbiter cargo bay N2 purge gas could be used for MLI purging. Maximum payload mass benefit occurred when an enhanced convection, rather than natural convection, heat transfer was specified for the insulation purge enclosure. The enhanced convection environment allowed minimum insulation thickness to be used for the foam/MLI interface temperature selected to correspond to the moisture dew point in the N2 purge gas. Experimental verification of foam/MLI benefits was recommended. A conservative program cost estimate for testing a MLI-foam insulated tank was 2.1 million dollars. This cost could be reduced significantly without increasing program risk.

Kramer, T.↗
NASA NTRS1984

Definition of ground test for Large Space Structure (LSS) control verification, appendix G

A Large Space Structure (LSS) ground test facility was developed to help verify LSS passive and active control theories. The facility also perform: (1) subsystem and component testing; (2) remote sensing and control; (3) parameter estimation and model verification; and (4) evolutionary modeling and control. The program is examined as is and looks at the first experiment to be performed in the laboratory.

Source record↗