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 469 records · Page 26
All sourcesNASA NTRSDOE OSTI
NASA NTRS2016

The Zero Boil-Off Tank Experiment Ground Testing and Verification of Fluid and Thermal Performance

The Zero Boil-Off Technology (ZBOT) Experiment involves performing a small scale International Space Station (ISS) experiment to study tank pressurization and pressure control in microgravity. The ZBOT experiment consists of a vacuum jacketed test tank filled with an inert fluorocarbon simulant liquid. Heaters and thermo-electric coolers are used in conjunction with an axial jet mixer flow loop to study a range of thermal conditions within the tank. The objective is to provide a high quality database of low gravity fluid motions and thermal transients which will be used to validate Computational Fluid Dynamic (CFD) modeling. This CFD can then be used in turn to predict behavior in larger systems with cryogens. This paper will discuss the work that has been done to demonstrate that the ZBOT experiment is capable of performing the functions required to produce a meaningful and accurate results, prior to its launch to the International Space Station. Main systems discussed are expected to include the thermal control system, the optical imaging system, and the tank filling system.This work is sponsored by NASAs Human Exploration Mission Directorates Physical Sciences Research program.

Fluid management↗
NASA NTRS2018

Shaped Pupil Coronagraph: Disk Science Mask Experimental Verification and Testing

The Shaped Pupil Coronagraph (SPC) is one of the two operating modes of the baseline coronagraph instrument for the proposed WFIRST mission. While in SPC mode, multiple sets of shaped pupil masks and focal plane masks would be available for various imaging tasks. The disk science mask set (SPC-DSM) is designed for exozodiacal disk science. With a 360 degree high contrast field of view, extending up to 20 λ/D, the SPC-DSM provides a powerful tool to study exozodiacal dust clouds associated with stellar debris disks to gain insight of the exoplanet formation and stellar disk dynamics. We will describe the performance verification and demonstration of the SPC-DSM coronagraph as tested in the high contrast imaging testbed (HCIT) at JPL. The goal of the testbed demonstration is an average contrast of 5e-9 over a 10% bandwidth centered at 565nm, in a field of view extending from 6.5 λ/D to 20 λ/D. We will discuss electric field conjugation, performance metrics, and model agreement as applied to the SPC-DSM.

Shi, Fang↗
NASA NTRS1994

Large area mapping of soil moisture using the ESTAR passive microwave radiometer

Investigations designed to study land surface hydrologic-atmospheric interactions, showing the potential of L band passive microwave radiometry for measuring surface soil moisture over large areas, are discussed. Satisfying the data needs of these investigations requires the ability to map large areas rapidly. With aircraft systems this means a need for more beam positions over a wider swath on each flightline. For satellite systems the essential problem is resolution. Both of these needs are currently being addressed through the development and verification of Electronically Scanned Thinned Array Radiometer (ESTAR) technology. The ESTAR L band radiometer was evaluated for soil moisture mapping applications in two studies. The first was conducted over the semiarid rangeland Walnut Gulch watershed located in south eastern Arizona (U.S.). The second was performed in the subhumid Little Washita watershed in south west Oklahoma (U.S.). Both tests showed that the ESTAR is capable of providing soil moisture with the same level of accuracy as existing systems.

Jackson, T. J.↗
NASA NTRS2007

Survey of Product-line Verification and Validation Techniques

This report presents the results from the first task of the SARP Center Initiative, 'Product Line Verification of Safety-Critical Software.' Task 1 is a literature survey of available techniques for product line verification and validation. Section 1 of the report provides an introduction to product lines and motivates the survey of verification techniques. It describes what is reused in product-line engineering and explains the goal of verifiable conformance of the developed system to its product-line specifications. Section 2 of the report describes six lifecycle steps in product-line verification and validation. This description is based on, and refers to, the best practices extracted from the readings. It ends with a list of verification challenges for NASA product lines (2.7) and verification enablers for NASA product lines (2.8) derived from the survey. Section 3 provides resource lists of related conferences, workshops, industrial and defense industry experiences and case studies of product lines, and academic/industrial consortiums. Section 4 is a bibliography of papers and tutorials with annotated entries for relevant papers not previously discussed in sections 2 or 3.

testing↗
NASA NTRS1973

H2-O2 auxiliary power unit for space shuttle vehicles

A program to establish technology readiness of hydrogen-oxygen (H2-O2) auxiliary power units for use on board the space shuttle orbiter vehicle is discussed. Fundamental objectives include experimentally establishing an acceptable propellant flow control method, verification of combustor stability, and adequate thermal management. An initial APU configuration with recycled hydrogen flow has been studied and revised towards greater simplicity and scaling ease. The selected APU is a recuperated open-cycle, turbine-driven unit. Series flow of cryogenic hydrogen removes internally-generated heat and from the hydraulic system. Steady-state test of the combustor has been successful.

Joyce, J. P.↗
NASA NTRS1977

Solar energy heating system design package for a single-family residence at New Castle, Pennsylvania

The design of a solar heating and hot water system for a single family dwelling is described. Cost trade studies on the energy conservation and architectural features of the solar house are discussed. The present status of verification for the single family heating system, i.e., proof that the components and the system meet applicable physical and functional requirements, is reported. The system integration drawings, the major subsystems drawings, and the architect's specifications and plans are included.

Source record↗
NASA NTRS1984

Definition of ground test for verification of large space structure control

Control theory and design, dynamic system modelling, and simulation of test scenarios are the main ideas discussed. The overall effort is the achievement at Marshall Space Flight Center of a successful ground test experiment of a large space structure. A simplified planar model of ground test experiment of a large space structure. A simplified planar model of ground test verification was developed. The elimination from that model of the uncontrollable rigid body modes was also examined. Also studied was the hardware/software of computation speed.

Doane, G. B., III↗
NASA NTRS1987

Space station definition and preliminary design, WP-01. Volume 1: Executive summary

System activities are summarized and an overview of the system level engineering tasks performed are provided. Areas discussed include requirements, system test and verification, the advanced development plan, customer accommodations, software, growth, productivity, operations, product assurance and metrication. The hardware element study results are summarized. Overviews of recommended configurations are provided for the core module, the USL, the logistics elements, the propulsion subsystems, reboost, vehicle accommodations, and the smart front end. A brief overview is provided for costing activities.

Lenda, J. A.↗
NASA NTRS1987

Liquid Engine Jet Atomization Workshop report

The workshop was oriented to disclose information and unsettled problems to understand the fundamental physical mechanism of the droplet formation process. Based on presentation and discussion of results, recommendations were made which should lead to associated future activities. To accomplish this task, existing observations and experiments, contributing to the basic knowledge, providing data for analytical concept verification, and forming a basis for empirical correlations were solicited. Advanced analytical modeling methods or results from specific studies were requested as well as the experience and advice from injector designers. All effort is directed to advance current analytical techniques, simulating the flow behavior downstream of the injection elements in a liquid rocket combustion chamber. Such a tool can be used to optimize injector designs with respect to short length weight savings, wall material protection, or large heat energy transport to a regenerative cooling fluid, while simultaneously achieving the maximum specific impulse in performance. The liquid atomization process also forms a sound basis for combustion instability analysis.

Gross, Klaus W.↗
NASA NTRS1991

Group evaporation

Liquid fuel combustion process is greatly affected by the rate of droplet evaporation. The heat and mass exchanges between gas and liquid couple the dynamics of both phases in all aspects: mass, momentum, and energy. Correct prediction of the evaporation rate is therefore a key issue in engineering design of liquid combustion devices. Current analytical tools for characterizing the behavior of these devices are based on results from a single isolated droplet. Numerous experimental studies have challenged the applicability of these results in a dense spray. To account for the droplets' interaction in a dense spray, a number of theories have been developed in the past decade. Herein, two tasks are examined. One was to study how to implement the existing theoretical results, and the other was to explore the possibility of experimental verifications. The current theoretical results of group evaporation are given for a monodispersed cluster subject to adiabatic conditions. The time evolution of the fluid mechanic and thermodynamic behavior in this cluster is derived. The results given are not in the form of a subscale model for CFD codes.

Shen, Hayley H.↗
NASA NTRS1994

New X-ray spectral observations of NGC 4151 with ASCA

We present new X-ray spectral data for the well-studied Seyfert galaxy NGC 4151, which was observed twice for about 20 ks each during the ASCA performance verification phase, once on 1993 May 25 and again on 1993 November 5. The source underwent complex spectral variability, and the observed 2-10 keV flux increased by a factor of 2 while the intrinsic 2-10 keV flux increased by no more than 20%. The data can be modeled with either a dual cold absorber plus a soft X-ray excess consisting of scattered continuum flux and an additional 'ultrasoft' X-ray excess component, or a warm absorber plus scattered continuum flux. There is evidence for variability at less than 1 keV energies that is unrelated to the 2-10 keV continuum. For an ionized-absorber description of NGC 4151, changes in the ionization state of the absorber appear to be unrelated to changes in the ionizing continuum.

Weaver, K. A.↗
NASA NTRSDate not supplied

Quality Control Methods of Tower Data at Kennedy Space Center’s Launch Complex 39-B and the USAF Cape Canaveral 500 Foot Tower

The National Aeronautics and Space Administration (NASA) has long used meteorological data from weather towers located at Kennedy Space Center (KSC) and the United States Air Force’s Eastern Range(ER) in support of their various launch vehicles and climate studies. Some of the most valuable data is gathered at the Launch Complex 39-B (LC39-B) and the 500 foot tower located approximately two miles west of LC39-B and three miles north of the Vehicle Assembly Building (VAB). The data from LC39-B gives NASA Space Launch System (SLS) engineers valuable insight into the weather the vehicle can expect at the pad, while the 500 foot tower has a longer period of record and has been used by the Shuttle and SLS programs. However, numerous data quality (DQ) control issues have arisen when utilizing this data for analysis. In addition, instrumentation tends to deteriorate faster than normal due to the corrosive nature of the high salt content in the air. NASA’s Natural Environments branch has developed several QC databases of these towers, but these studies were for fixed periods of records. EV44 identified a need for a continually updated and QC’ed database of tower data not only to provide along term QC’ed database for vehicle and climate analyses, but also to provide the capability to investigate recent weather events such as downbursts and other high wind events. This study follows the methods developed in prior Natural Environment QC tower databases, which includes variable specific QC thresholds and checks used to generate QC flags. However, this study developed new techniques such as the development and design of the graphical user interface (GUI) for manual verification, and the creation of the final monthly QC files.

Quality Control↗
NASA NTRS1977

Boundary layer integral matrix procedure: Verification of models

The three turbulent models currently available in the JANNAF version of the Aerotherm Boundary Layer Integral Matrix Procedure (BLIMP-J) code were studied. The BLIMP-J program is the standard prediction method for boundary layer effects in liquid rocket engine thrust chambers. Experimental data from flow fields with large edge-to-wall temperature ratios are compared to the predictions of the three turbulence models contained in BLIMP-J. In addition, test conditions necessary to generate additional data on a flat plate or in a nozzle are given. It is concluded that the Cebeci-Smith turbulence model be the recommended model for the prediction of boundary layer effects in liquid rocket engines. In addition, the effects of homogeneous chemical reaction kinetics were examined for a hydrogen/oxygen system. Results show that for most flows, kinetics are probably only significant for stoichiometric mixture ratios.

Bonnett, W. S.↗
NASA NTRS1977

Orbital construction demonstration study. Volume 1: Executive summary

A conceptual design and program plan for an Orbital Construction Demonstration Article (OCDA), that can be used for technology growth and verification, and as the construction facility for a variety of large structures is presented. The OCDA design includes a large work platform, a rotating manipulator boom, a 250 kw solar array, and a core module of subsystems with a total mass of 37,093 kg, that can be assembled in three shuttle flights. An analysis of OCDA continued utility potential indicates that a shuttle tended platform with 250 kW of power can effectively be used to construct highly beneficial antenna systems and large demonstration articles that advance solar power satellite technologies. The construction of 100 m parabolic reflectors for use as a radiometer for measuring soil moisture and water salinity was found to be within the capabilities of OCDA concept. With 252 fixed beams for high population centers, and 16 scanning beams for rural areas, the antenna has the potential to significantly improve U.S. space based communications systems. The OCDA, that is slightly increased in size, was found adequate to build a large 2 MW solar array which, when coupled to a transmit antenna, demonstrate power transfer from space to ground.

Source record↗
NASA NTRS1986

Design verification and fabrication of active control systems for the DAST ARW-2 high aspect ratio wing. Part 2: Appendices

This is Part 2-Appendices of a study conducted under Drones for Aerodynamic and Structural Testing (DAST) Program to accomplish the final design and hardware fabrication for four active control systems compatible with and ready for installation in the NASA Aeroelastic Research Wing No. 2 (ARW-2) and Firebee II drone flight test vehicle. The wing structure was designed so that Active Control Systems (ACS) are required in the normal flight envelope by integrating control system design with aerodynamics and structure technologies. The DAST ARW-2 configuration uses flutter suppression, relaxed static stability, and gust and maneuver load alleviation ACS systems, and an automatic flight control system. Performance goals and criteria were applied to individual systems and the systems collectively to assure that vehicle stability margins, flutter margins, flying qualities, and load reductions were achieved.

Mcgehee, C. R.↗
NASA NTRS2010

Development of a Response Surface Thermal Model for Orion Mated to the International Space Station

A study was performed to determine if a Design of Experiments (DOE)/Response Surface Methodology could be applied to on-orbit thermal analysis and produce a set of Response Surface Equations (RSE) that accurately predict vehicle temperatures. The study used an integrated thermal model of the International Space Station and the Orion Outer mold line model. Five separate factors were identified for study: yaw, pitch, roll, beta angle, and the environmental parameters. Twenty external Orion temperatures were selected as the responses. A DOE case matrix of 110 runs was developed. The data from these cases were analyzed to produce an RSE for each of the temperature responses. The initial agreement between the engineering data and the RSE predictions was encouraging, although many RSEs had large uncertainties on their predictions. Fourteen verification cases were developed to test the predictive powers of the RSEs. The verification showed mixed results with some RSE predicting temperatures matching the engineering data within the uncertainty bands, while others had very large errors. While this study to not irrefutably prove that the DOE/RSM approach can be applied to on-orbit thermal analysis, it does demonstrate that technique has the potential to predict temperatures. Additional work is needed to better identify the cases needed to produce the RSEs

Miller, Stephen W.↗
NASA NTRSDate not supplied

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif

Verification of Programmable Logic Controller (PLC) programs requires reasoning about propositions qualified in terms of time. CERN’s PLCverif, an open-source tool for the analysis of safety-critical PLC systems, uses Linear Temporal Logic (LTL) for the specification of properties. Until now, PLCverif depended on third-party tools that accept LTL specifications to perform verification. However, our experience with industrial PLC programs shows that, to overcome analysis limitations, a wide range of techniques are needed to successfully verify complex properties. In this paper, we extend PLCverif to enable PLC program verification of pure-past LTL (PLTL) safety properties with assertion-based verification tools. To this end, we take an algorithm from the runtime-monitoring domain, apply it to bounded model checking of PLC programs, and implement it in PLCverif. We extend the integration of NASA’s Formal Requirements Elicitation Tool (FRET) into PLCverif to use PLTL properties generated with FRET. In addition, we leverage the program structure induced by the PLC scan-cycle for a state-space reduction. Finally, we expose the algorithm to a real-world case study of critical systems at CERN.

Formal verification↗