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.

SourceResearch connectionFrom yearThrough year

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

At least 289 records · Page 16

All sources NASA NTRS DOE OSTI

NASA NTRS1981

A Module Experimental Process System Development Unit (MEPSDU)

The purpose of this program is to demonstrate the technical readiness of a cost effective process sequence that has the potential for the production of flat plate photovoltaic modules which met the price goal in 1986 of $.70 or less per watt peak. Program efforts included: preliminary design review, preliminary cell fabrication using the proposed process sequence, verification of sandblasting back cleanup, study of resist parameters, evaluation of pull strength of the proposed metallization, measurement of contact resistance of Electroless Ni contacts, optimization of process parameter, design of the MEPSDU module, identification and testing of insulator tapes, development of a lamination process sequence, identification, discussions, demonstrations and visits with candidate equipment vendors, evaluation of proposals for tabbing and stringing machine.

Source record↗

NASA NTRS1982

Detection of aspen-conifer forest mixes from LANDSAT digital data

Aspen, conifer and mixed aspen/conifer forests were mapped for a 15-quadrangle study area in the Utah-Idaho Bear River Range using LANDSAT multispectral scanner data. Digital classification and statistical analysis of LANDSAT data allowed the identification of six groups of signatures which reflect different types of aspen/conifer forest mixing. Photo interpretations of the print symbols suggest that such classes are indicative of mid to late seral aspen forests. Digital print map overlays and acreage calculations were prepared for the study area quadrangles. Further field verification is needed to acquire additional information about the nature of the forests. Single date LANDSAT analysis should be a cost effective means to index aspen forests which are at least in the mid seral phase of conifer invasion. Since aspen canopies tend to obscure understory conifers for early seral forests, a second date analysis, using data taken when aspens are leafless, could provide information about early seral aspen forests.

Jaynes, R. A.↗

NASA NTRS1986

Single-Event-Upset Studies: A Compilation

Document summarizes 15 studies of single-event upsets covering 60 different types of semiconductor devices. Studies discussed in document include verification of basic reactions induced by heavy ions and protons and surveys of latchup and bit-flip susceptibility of several types of devices and device-fabrication technologies.

Nichols, D. K.↗

NASA NTRS1984

Detection of aspen/conifer forest mixes from multitemporal Landsat digital data

Aspen, conifer and mixed aspen/conifer forests were mapped for a 15-quadrangle study area in the Utah-Idaho Bear River Range using Landsat multispectral scanner data. Digital classification and statistical analysis of Landsat data allowed the identification of six groups of signatures which reflect different types of aspen/conifer forest mixing. Photo interpretations of the print symbols suggest that such classes are indicative of mid to late seral aspen forests. Digital print map overlayes and acreage calculations were prepared for the study area quadrangles. Further field verification is needed to acquire additional information about the nature of the forests. Single data Landsat analysis should be a cost effective means to index aspen forests which are at least in the mid seral phase of conifer invasion. Since aspen canopies tend to obscure understory conifers for early seral forests, a second data analysis, using data taken when aspens are leafless, could provide information about early seral aspen forests.

Merola, J. A.↗

NASA NTRS1984

The accuracy of mesoscale temperature and dewpoint fields retrieved from VAS satellite and conventional surface data

The Visible Infrared Spin-Scan Radiometer (VISSR) Atmospheric Sounder (VAS) is a twelve channel imaging radiometer on the Geostationary Operational Environmental Satellites (GOES). It is pointed out that the instrument is designed to monitor the evolution of tropospheric temperature and moisture fields at mesoscale resolution. Since the numerical qualities of VAS soundings affect their usefulness, a quantitative verification of the absolute and relative accuracy of VAS soundings appears highly desirable. The present investigation is concerned with an objective verification for two VAS case studies. Absolute accuray is measured by comparing the VAS retrievals to the radiosonde values at the network sites. Absolute temperature accuracy is found to be + or - 2 C below 500 mb, while absolute dewpoint accuracy is + or - 2 to + or - 3 C below 850 mb.

Chesters, D.↗

NASA NTRS1986

Low-Reynolds number aerodynamics research at NASA Langley Research Center

The present status of various types of low-Reynolds number aerodynamics research being conducted at the Fluid Dynamics Branch of NASA Langley Research Center is reviewed. The facilities, testing techniques, airfoil design, and experimental verification are addressed, and ongoing studies of laminar separation bubbles, boundary layer stability and transition control, and low-Reynolds number juncture flow are discussed. The possibility of improving vehicle characteristics at low Reynolds numbers and the general trends of the most promising research in these areas are examined.

Harvey, William D.↗

NASA NTRS1989

An investigation of counterrotating tip vortex interaction

A tip vortex interaction model originally developed for compressors has been extended and adapted for use with counterrotating open rotors. Comparison of available acoustic data with predictions (made with and without the tip vortex model included) illustrate the importance of this interaction effect. This report documents the analytical modeling, a limited experimental verification, and certain key parametric studies pertaining to the tip vortex as a noise source mechanism for the unsteady loading noise of counterrotating properllers.

Majjigi, R. K.↗

NASA NTRS1989

A day-to-day comparison study of Seasat scatterometer winds with winds observed from islands in the tropical Pacific

The winds derived from the Seasat-A Satellite Scatterometer (SASS) measurements have been the subject of great interest since the 1978 mission, because of the promise of radically improved wind observations over the world ocean. Due to the early end of the mission, only a few of the planned ground truth validation experiments could be made, and the subsequent lack of sufficient high quality independent wind data for comparison has limited the ability to resolve critical issues regarding the scatterometer's performance and the correct interpretation of its signal. Operational weather observations were made of ocean winds independent of Seasat mission plans during the Seasat mission period; the results are reported of a comparison study using such observations. Previous verification with in situ winds has been primarily in middle latitudes (GOASEX, JASIN, and NDBO buoys); winds observed from nine tropical Pacific islands are compared with nearly contemporaneous measurements taken by SASS during overpasses of the islands.

Davison, Jerry↗

NASA NTRS1995

Experimental Technique and Assessment for Measuring the Convective Heat Transfer Coefficient from Natural Ice Accretions

A technique was developed to cast frozen ice shapes that had been grown on a metal surface. This technique was applied to a series of ice shapes that were grown in the NASA Lewis Icing Research Tunnel on flat plates. Nine flat plates, 18 inches square, were obtained from which aluminum castings were made that gave good ice shape characterizations. Test strips taken from these plates were outfitted with heat flux gages, such that when placed in a dry wind tunnel, can be used to experimentally map out the convective heat transfer coefficient in the direction of flow from the roughened surfaces. The effects on the heat transfer coefficient for both parallel and accelerating flow will be studied. The smooth plate model verification baseline data as well as one ice roughened test case are presented.

Masiulaniec, K. Cyril↗

NASA NTRS2001

Thermal Analysis of a Carbon Fiber Rope Barrier for Use in the Reusable Solid Rocket Motor Nozzle Joint-2

This study provides for development and verification of analysis methods used to assess performance of a carbon fiber rope (CFR) thermal barrier system that is currently being qualified for use in Reusable Solid Rocket Motor (RSRM) nozzle joint-2. Modeled geometry for flow calculations considers the joint to be vented with the porous CFR barriers placed in the "open' assembly gap. Model development is based on a 1-D volume filling approach where flow resistances (assembly gap and CFRs) are defined by serially connected internal flow and the porous media "Darcy" relationships. Combustion gas flow rates are computed using the volume filling code by assuming a lumped distribution total joint fill volume on a per linear circumferential inch basis. Gas compressibility, friction and heat transfer are included in the modeling. Gas-to-wall heat transfer is simulated by concurrent solution of the compressible flow equations and a large thermal 2-D finite element (FE) conduction grid. The derived numerical technique loosely couples the FE conduction matrix with the compressible gas flow equations, Free constants that appear in the governing equations are calibrated by parametric model comparison to hot fire subscale test results. The calibrated model is then used to make full-scale motor predictions using RSRM aft dome environments. Model results indicate that CFR thermal barrier systems will provide a thermally benign and controlled pressurization environment for the RSRM nozzle joint-2 primary seal activation.

Clayton, J. Louie↗

NASA NTRS2002

Verification Assessment of Flow Boundary Conditions for CFD Analysis of Supersonic Inlet Flows

Boundary conditions for subsonic inflow, bleed, and subsonic outflow as implemented into the WIND CFD code are assessed with respect to verification for steady and unsteady flows associated with supersonic inlets. Verification procedures include grid convergence studies and comparisons to analytical data. The objective is to examine errors, limitations, capabilities, and behavior of the boundary conditions. Computational studies were performed on configurations derived from a "parameterized" supersonic inlet. These include steady supersonic flows with normal and oblique shocks, steady subsonic flow in a diffuser, and unsteady flow with the propagation and reflection of an acoustic disturbance.

Slater, John W.↗

NASA NTRS2011

Data Farming and Defense Applications

.Data farm,ing uses simulation modeling, high performance computing, experimental design and analysis to examine questions of interest with large possibility spaces. This methodology allows for the examination of whole landscapes of potential outcomes and provides the capability of executing enough experiments so that outliers might be captured and examined for insights. It can be used to conduct sensitivity studies, to support validation and verification of models, to iteratively optimize outputs using heuristic search and discovery, and as an aid to decision-makers in understanding complex relationships of factors. In this paper we describe efforts at the Naval Postgraduate School in developing these new and emerging tools. We also discuss data farming in the context of application to questions inherent in military decision-making. The particular application we illustrate here is social network modeling to support the countering of improvised explosive devices.

Horne, Gary↗

NASA NTRS2011

Improving Numerical Weather Predictions of Summertime Precipitation Over the Southeastern U.S. Through a High-Resolution Initialization of the Surface State

It is hypothesized that high-resolution, accurate representations of surface properties such as soil moisture and sea surface temperature are necessary to improve simulations of summertime pulse-type convective precipitation in high resolution models. This paper presents model verification results of a case study period from June-August 2008 over the Southeastern U.S. using the Weather Research and Forecasting numerical weather prediction model. Experimental simulations initialized with high-resolution land surface fields from the NASA Land Information System (LIS) and sea surface temperature (SST) derived from the Moderate Resolution Imaging Spectroradiometer (MODIS) are compared to a set of control simulations initialized with interpolated fields from the National Centers for Environmental Prediction 12-km North American Mesoscale model. The LIS land surface and MODIS SSTs provide a more detailed surface initialization at a resolution comparable to the 4-km model grid spacing. Soil moisture from the LIS spin-up run is shown to respond better to the extreme rainfall of Tropical Storm Fay in August 2008 over the Florida peninsula. The LIS has slightly lower errors and higher anomaly correlations in the top soil layer, but exhibits a stronger dry bias in the root zone. The model sensitivity to the alternative surface initial conditions is examined for a sample case, showing that the LIS/MODIS data substantially impact surface and boundary layer properties.

Case, Jonathan L.↗

NASA NTRS2020

Appraisal of SMAP Operational Soil Moisture Product from a Global Perspective

Space-borne soil moisture (SM) satellite products such as those available from Soil Moisture Active Passive (SMAP) offer unique opportunities for global and frequent monitoring of SM and also to understand its spatiotemporal variability. The present study investigates the performance of the SMAP L4 SM product at selected experimental sites across four continents, namely North America, Europe, Asia and Australia. This product provides global scale SM estimates at 9 km × 9 km spatial resolution at daily intervals. For the product evaluation, co-orbital in situ SM measurements were used, acquired at 14 test sites in North America, Europe, and Australia belonging to the International Soil Moisture Network (ISMN) and local networks in India. The satellite SM estimates of up to 0–5 cm soil layer were compared against collocated ground measurements using a series of statistical scores. Overall, the best performance of the SMAP product was found in North America (RMSE = 0.05 m(exp 3)/m(exp 3)) followed by Australia (RMSE = 0.08 m(exp 3)/m(exp 3)), Asia (RMSE = 0.09 m(exp 3)/m(exp 3)) and Europe (RMSE = 0.14 m(exp 3)/m(exp 3)). Our findings provide important insights into the spatiotemporal variability of the specific operational SM product in different ecosystems and environments. This study also furnishes an independent verification of this global product, which is of international interest given its suitability for a wide range of practical and research applications.

Soil moisture↗

NASA NTRS1994

Minimum accommodation for aerobrake assembly, phase 2

A multi-element study was done to assess the practicality of a Space Station Freedom-based aerobrake system for the Space Exploration Initiative. The study was organized into six parts related to structure, aerodynamics, robotics and assembly, thermal protection system, inspection, and verification, all tied together by an integration study. The integration activity managed the broad issues related to meeting mission requirements. This report is a summary of the issues addressed by the integration team.

Katzberg, Stephen J.↗

NASA NTRS1991

The formal verification of generic interpreters

The task assignment 3 of the design and validation of digital flight control systems suitable for fly-by-wire applications is studied. Task 3 is associated with formal verification of embedded systems. In particular, results are presented that provide a methodological approach to microprocessor verification. A hierarchical decomposition strategy for specifying microprocessors is also presented. A theory of generic interpreters is presented that can be used to model microprocessor behavior. The generic interpreter theory abstracts away the details of instruction functionality, leaving a general model of what an interpreter does.

Windley, P.↗

DOE OSTI2022

Software Verification Toolkit (SVT): Survey on Available Software Verification Tools and Future Direction

Writing software is difficult. However, writing complex, well tested and designed, and functionally correct software is incredibly difficult. An entire field of study is devoted to the validation and verification of software to address this problem, and in this paper we analyze the landscape of currently available third party software. We have divided our analyses into three separate subsections with regards to software validation: formal methods, static analysis, and test generation. Formal verification is the most complex method in which to validate software correctness, but also the most thorough as it truly validates the mathematical validity of the source code. Static analysis generally is relegated to abstract syntax tree traversal techniques to find errors related to faulty software such as memory leaks or stack overflow issues. Automatic test generation is similar in implementation to static analysis, but pushes a bit further in verifying the boundedness of function inputs and outputs with regards to annotated or parsed criteria. The crux of this report is to analyze and describe the software tools that implement these techniques to validate and verify software. Pros and cons related to installation, utilization, and capabilities of the frameworks are described, and reproducible examples are provided with a focus on usability. The initial survey concluded that the most interesting tools of note are Z3, Isabelle/HOL, and TLA+ with regards to formal verification; and Infer, Frama-C, and SonarQube with regards to static analysis. With these tools in mind, a final conjecture is provided that describes future avenues of utilizing these tools for developing a verification framework to assist in validating existing software at Sandia National Laboratories.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2022

Verification of a specialized hydrodynamic simulation code for modeling deflagration and detonation of high explosives

A specialized hydrodynamic simulation code has been developed and verified for the simulation of one-dimensional unsteady problems involving the detonation and deflagration of high explosives. To model all the relevant physical processes in these problems, a code is required to simulate compressible hydrodynamics, unsteady thermal conduction, and chemical reactions with complex rate laws. Several verification exercises are presented which test the implementation of these capabilities. The code also requires models for physics processes such as equations of state and conductivity for pure materials and mixtures as well as rate laws for chemical reactions. Additional verification tests are required to ensure that these models are implemented correctly. Though this code is limited in the types of problems it can simulate, its computationally efficient formulation allows it to be used in calibration studies for reactive burn models for high explosives. Furthermore, this study demonstrates how a series of verification tests can be used to ensure that the various physics processes needed to simulate complex phenomenon can be tested to ensure that they are correctly implemented.

97 MATHEMATICS AND COMPUTING↗