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 163 records · Page 9
All sourcesNASA NTRSDOE OSTI
NASA NTRS1996

Static test induced loads verification beyond elastic limit

Increasing demands for reliable and least-cost high-performance aerostructures are pressing design analyses, materials, and manufacturing processes to new and narrowly experienced performance and verification technologies. This study assessed the adequacy of current experimental verification of the traditional binding ultimate safety factor which covers rare events in which no statistical design data exist. Because large high-performance structures are inherently very flexible, boundary rotations and deflections under externally applied loads approaching fracture may distort their transmission and unknowingly accept submarginal structures or prematurely fracturing reliable ones. A technique was developed, using measured strains from back-to-back surface mounted gauges, to analyze, define, and monitor induced moments and plane forces through progressive material changes from total-elastic to total-inelastic zones within the structural element cross section. Deviations from specified test loads are identified by the consecutively changing ratios of moment-to-axial load.

Verderaime, V.↗
NASA NTRS1994

Active control of instabilities in laminar boundary-layer flow. Part 1: An overview

This paper (the first in a series) focuses on using active-control methods to maintain laminar flow in a region of the flow in which the natural instabilities, if left unattended, lead to turbulent flow. The authors review previous studies that examine wave cancellation (currently the most prominent method) and solve the unsteady, nonlinear Navier-Stokes equations to evaluate this method of controlling instabilities. It is definitely shown that instabilities are controlled by the linear summation of waves (i.e., wave cancellation). Although a mathematically complete method for controlling arbitrary instabilities has been developed (but not yet tested), the review, duplication, and physical explanation of previous studies are important steps for providing an independent verification of those studies, for establishing a framework for subsequent work which will involve automated transition control, and for detailing the phenomena by which the automated studies can be used to expand knowledge of flow control.

Joslin, Ronald D.↗
NASA NTRS1997

Active Control of Instabilities in Laminar Boundary Layers-Overview and Concept Validation

This paper (the first in a series) focuses on using active-control methods to maintain laminar flow in a region of the flow in which the natural instabilities, if left unattended, lead to turbulent flow. The authors review previous studies that examine wave cancellation (currently the most prominent method) and solve the unsteady, nonlinear Navier-Stokes equations to evaluate this method of controlling instabilities. It is definitively shown that instabilities are controlled by the linear summation of waves (i.e., wave cancellation). Although a mathematically complete method for controlling arbitrary instabilities has been developed, the review, duplication, and physical explanation of previous studies are important steps for providing an independent verification of those studies, for establishing a framework for the work which will involve automated transition control, and for detailing the phenomena by-which the automated studies can be used to expand knowledge of flow control.

Joslin, Ronald D.↗
DOE OSTI2020

Dense Seismic Array Study of a Legacy Underground Nuclear Test at the Nevada National Security Site

The complex postdetonation geologic structures that form after an underground nuclear explosion are difficult to constrain because increased heterogeneity around the damage zone affects seismic waves that propagate through the explosion site. Generally, a vertical rubble-filled structure known as a chimney is formed after an underground nuclear explosion that is composed of debris that falls into the subsurface cavity generated by the explosion. Compared with chimneys that collapse fully, leaving a surface crater, partially collapsed chimneys can have remnant subsurface cavities left in place above collapsed rubble. The 1964 nuclear test HADDOCK, conducted at the Nevada test site (now the Nevada National Security Site), formed a partially collapsed chimney with no surface crater. Understanding the subsurface structure of these features has significant national security applications, such as aiding the study of suspected underground nuclear explosions under a treaty verification. In this study, we investigated the subsurface architecture of the HADDOCK legacy nuclear test using hybrid 2D–3D active source seismic reflection and refraction data. The seismic data were acquired using 275 survey shots from the Seismic Hammer (a 13,000 kg weight drop) and 65 survey shots from a smaller accelerated weight drop, both recorded by ~1000 three-component 5 Hz geophones. First-arrival, P-wave tomographic modeling shows a low-velocity anomaly at ~200 m depth, likely an air-filled cavity caused by partial collapse of the rock column into the temporary postdetonation cavity. A high-velocity anomaly between 20 and 60 m depth represents spall-related compaction of the shallow alluvium. Hints of low velocities are also present near the burial depth (~364 m). The reflection seismic data show a prominent subhorizontal reflector at ~300 m depth, a short-curved reflector at ~200 m, and a high-amplitude reflector at ~50 m depth. Comparisons of the reflection sections to synthetic data and borehole stratigraphy suggest that these features correspond to the alluvium–tuff contact, the partial collapse cavity, and the spalled layer, respectively.

58 GEOSCIENCES↗
NASA NTRS2016

Development of a Subcell Based Modeling Approach for Modeling the Architecturally Dependent Impact Response of Triaxially Braided Polymer Matrix Composites

Understanding the high velocity impact response of polymer matrix composites with complex architectures is critical to many aerospace applications, including engine fan blade containment systems where the structure must be able to completely contain fan blades in the event of a blade-out. Despite the benefits offered by these materials, the complex nature of textile composites presents a significant challenge for the prediction of deformation and damage under both quasi-static and impact loading conditions. The relatively large mesoscale repeating unit cell (in comparison to the size of structural components) causes the material to behave like a structure rather than a homogeneous material. Impact experiments conducted at NASA Glenn Research Center have shown the damage patterns to be a function of the underlying material architecture. Traditional computational techniques that involve modeling these materials using smeared homogeneous, orthotropic material properties at the macroscale result in simulated damage patterns that are a function of the structural geometry, but not the material architecture. In order to preserve heterogeneity at the highest length scale in a robust yet computationally efficient manner, and capture the architecturally dependent damage patterns, a previously-developed subcell modeling approach where the braided composite unit cell is approximated as a series of four adjacent laminated composites is utilized. This work discusses the implementation of the subcell methodology into the commercial transient dynamic finite element code LS-DYNA (Livermore Software Technology Corp.). Verification and validation studies are also presented, including simulation of the tensile response of straight-sided and notched quasi-static coupons composed of a T700/PR520 triaxially braided [0deg/60deg/-60deg] composite. Based on the results of the verification and validation studies, advantages and limitations of the methodology as well as plans for future work are discussed.

finite element method↗
NASA NTRS1990

Verifying an interactive consistency circuit: A case study in the reuse of a verification technology

The work done at ORA for NASA-LRC in the design and formal verification of a hardware implementation of a scheme for attaining interactive consistency (byzantine agreement) among four microprocessors is presented in view graph form. The microprocessors used in the design are an updated version of a formally verified 32-bit, instruction-pipelined, RISC processor, MiniCayuga. The 4-processor system, which is designed under the assumption that the clocks of all the processors are synchronized, provides software control over the interactive consistency operation. Interactive consistency computation is supported as an explicit instruction on each of the microprocessors. An identical user program executing on each of the processors decides when and on what data interactive consistency must be performed. This exercise also served as a case study to investigate the effectiveness of reusing the technology which was developed during the MiniCayuga effort for verifying synchronous hardware designs. MiniCayuga was verified using the verification system Clio which was also developed at ORA. To assist in reusing this technology, a computer-aided specification and verification tool was developed. This tool specializes Clio to synchronous hardware designs and significantly reduces the tedium involved in verifying such designs. The tool is presented and how it was used to specify and verify the interactive consistency circuit is described.

Bickford, Mark↗
NASA NTRS1984

Verification and analysis of TOVS satellite data

A study which involves the verification of TOVS (TIROS Operational Vertical Soundings) stratospheric temperature information and derived geopotential heights, as well as the higher order derivations of wind, heat flux, and momentum flux, is discussed. Rocketsondes were launched daily at the times of NOAA-7 overpasses of Wallops Island during February 23-March 24, 1982, and resources made available by NASA were used to provide in-situ field measurements and additional analysis. The TOVS satellite products from hemispheric analyses are compared with unsmoothed rocketsonde data. Some of the benefits provided by the comparisons are considered.

Gelman, M. E.↗
NASA NTRS1971

Study of nondestructive techniques for redundancy verification

Redundant functional element, together with basic elements of system, constitutes a redundant system with primary and backup capability for performing particular functions with increased reliability. Methodology is applicable to design of a verification system for hypothetical complex communication system.

Source record↗
NASA NTRS1968

Improved fluid dynamics similarity, analysis and verification. Part 5: Analytical and experimental studies of thermal stratification phenomena

The stratification behavior of a contained fluid subjected to transient free convection heat transfer was studied. A rectangular vessel was employed with heat transfer from two opposite walls of the vessel to the fluid. The wall temperature was increased suddenly to initiate the process and was then maintained constant throughout the transient stratification period. Thermocouples were positioned on a post at the center of the vessel. They were adjusted so that temperatures could be measured at the fluid surface and at specific depths beneath the surface. The predicted values of the surface temperature and the stratified layer thickness were found to agree reasonably well with the experimental measurements. The experiments also provided information on the transient centerline temperature distribution and the transient flow distribution.

Winter, E. R. F.↗
NASA NTRS1979

Satellite Power Systems (SPS) concept definition study exhibit C. Volume 3: Experimental verification definition

An environmentally oriented microwave technology exploratory research program aimed at reducing the uncertainty associated with microwave power system critical technical issues is described. Topics discussed include: (1) Solar Power Satellite System (SPS) development plan elements; (2) critical technology issues related to the SPS preliminary reference configuration; (3) pilot plant to demonstrate commercial viability of the SPS system; and (4) research areas required to demonstrate feasibility of the SPS system. Progress in the development of advanced GaAs solar cells is reported along with a power distribution subsystem.

Source record↗
NASA NTRS2003

A Numerical Study of Hurricane Erin (2001): Model Verification and Storm Evolution - Part 1

The Pennsylvania State University-National Center for Atmospheric Research mesoscale model MM5 is used to simulate Hurricane Erin (2001) at high resolution (4-km spacing) from its early development as a tropical depression on 7 September 2001, through a period of rapid intensification into a strong hurricane (8-9 September), and finally into a stage during which it maintains its intensity on 10 September. These three stages of development, intensification, and maintenance in the simulation are in good agreement with the observed evolution of Erin. The simulation shows that during the development and early portions of the intensification stages, intensification is favored because the environmental wind shear is weak and the system moves over a warm tongue of water. As Erin intensifies, the wind'shear gradually increases with the approach of an upper-level trough and strengthening of a low-level high pressure system. By 10 September, the wind shear peaks and begins to decrease, the storm moves over slightly cooler waters, and the intensification ends. Important structural changes occur at this time as the outer precipitation shift from the northeastern and eastern sides to the western side of the eye and precipitation begins to surround the entire eye to initiate the development of a secondary wind maximum and an outer eyewall. The simulation is used to investigate the role of vertical wind shear in the changes of the precipitation structure that took place between 9-10 September by examining the effects of both storm-relative flow changes and changes in the shear-induced tilt. Qualitative agreement is found between the divergence pattern and advection of vorticity by the relative flow with convergence (divergence) generally associated with asymmetric inflow (outflow) in the eyewall region. The shift in the outer precipitation is consistent with a shift in the low-level relative inflow from the northeastern to the northwestern side of the storm. The changes in the relative flow are associated with changes in the winds as the hurricane moves relative to the upper tough and the low-level high pressure system. Examination of the shear-induced tilt of the vortex shows that the change in the tilt direction is greater than that of the shear direction as the tilt shifts from a northerly orientation to northwesterly. Consistent with theory for adiabatic vortices, the maximum low-level convergence and upper-level divergence (and the maximum upward motion) occurs in the direction of tilt. Consequently, both mechanisms may play roles in the changes in the precipitation pattern.

Wu, Liquang↗
NASA NTRS2006

A Numerical Study of Hurricane Erin (2001): Model Verification and Storm Evolution - Part 1

The fifth-generation Pennsylvania State University National Center for Atmospheric Research (PSU NCAR) Mesoscale Model (MM5) is used to simulate Hurricane Erin (2001) at high resolution (4-km spacing) from its early development as a tropical depression on 7 September 2001, through a period of rapid intensification into a strong hurricane (8 9 September), and finally into a stage during which it maintains its intensity on 10 September. These three stages of formation, intensification, and maintenance in the simulation are in good agreement with the observed evolution of Erin. The simulation shows that during the formation and early portions of the intensification stages, intensification is favored because the environmental wind shear is weak and the system moves over a warm tongue of water. As Erin intensifies, the wind shear gradually increases with the approach of an upper-level trough and strengthening of a low-level high pressure system. By 10 September, the wind shear peaks and begins to decrease, the storm moves over slightly cooler waters, and the intensification ends. Important structural changes occur at this time as the outer precipitation shifts from the northeastern and eastern sides to the western side of the eye. A secondary wind maximum and an outer eyewall begin to develop as precipitation begins to surround the entire eye. The simulation is used to investigate the role of vertical wind shear in the changes of the precipitation structure that took place between 9 and 10 September by examining the effects of changes in storm-relative flow and changes in the shear-induced tilt. Qualitative agreement is found between the divergence pattern and advection of vorticity by the relative flow with convergence (divergence) generally associated with asymmetric inflow (outflow) in the eyewall region. The shift in the outer precipitation is consistent with a shift in the low-level relative inflow from the northeastern to the northwestern side of the storm. The changes in the relative flow are associated with changes in the environmental winds as the hurricane moves relative to the upper trough and the low-level high pressure system. Examination of the shear-induced tilt of the vortex shows that the change in the tilt direction is greater than that of the shear direction as the tilt shifts from a northerly orientation to northwesterly. Consistent with theory for adiabatic vortices, the maximum low-level convergence and upper-level divergence (and the maximum upward motion) occurs in the direction of tilt. Consequently, both mechanisms may play roles in the changes in the precipitation pattern.

Wu, Liguang↗
NASA NTRS2000

Computer Simulations to Study Diffraction Effects of Stacking Faults in Beta-SiC: II. Experimental Verification: Experimental Verification - 2

Earlier results from computer simulation studies suggest a correlation between the spatial distribution of stacking errors in the Beta-SiC structure and features observed in X-ray diffraction patterns of the material. Reported here are experimental results obtained from two types of nominally Beta-SiC specimens, which yield distinct XRD data. These samples were analyzed using high resolution transmission electron microscopy (HRTEM) and the stacking error distribution was directly determined. The HRTEM results compare well to those deduced by matching the XRD data with simulated spectra, confirming the hypothesis that the XRD data is indicative not only of the presence and density of stacking errors, but also that it can yield information regarding their distribution. In addition, the stacking error population in both specimens is related to their synthesis conditions and it appears that it is similar to the relation developed by others to explain the formation of the corresponding polytypes.

Pujar, Vijay V.↗
NASA NTRS1997

Formal Methods for Verification and Validation of Partial Specifications: A Case Study

This paper describes our work exploring the suitability of formal specification methods for independent verification and validation (IV&V) of software specifications for large, safety critical systems. An IV&V contractor often has to perform rapid analysis on incomplete specifications, with no control over how those specifications are represented. Lightweight formal methods show significant promise in this context, as they offer a way of uncovering major errors, without the burden of full proofs of correctness. We describe a case study of the use of partial formal models for V&V of the requirements for Fault Detection Isolation and Recovery on the space station. We conclude that the insights gained from formalizing a specification are valuable, and it is the process of formalization, rather than the end product that is important. It was only necessary to build enough of the formal model to test the properties in which we were interested. Maintenance of fidelity between multiple representations of the same requirements (as they evolve) is still a problem, and deserves further study.

Easterbrook, Steve↗
NASA NTRS2013

FY12 End of Year Report for NEPP DDR2 Reliability

This document reports the status of the NASA Electronic Parts and Packaging (NEPP) Double Data Rate 2 (DDR2) Reliability effort for FY2012. The task expanded the focus of evaluating reliability effects targeted for device examination. FY11 work highlighted the need to test many more parts and to examine more operating conditions, in order to provide useful recommendations for NASA users of these devices. This year's efforts focused on development of test capabilities, particularly focusing on those that can be used to determine overall lot quality and identify outlier devices, and test methods that can be employed on components for flight use. Flight acceptance of components potentially includes considerable time for up-screening (though this time may not currently be used for much reliability testing). Manufacturers are much more knowledgeable about the relevant reliability mechanisms for each of their devices. We are not in a position to know what the appropriate reliability tests are for any given device, so although reliability testing could be focused for a given device, we are forced to perform a large campaign of reliability tests to identify devices with degraded reliability. With the available up-screening time for NASA parts, it is possible to run many device performance studies. This includes verification of basic datasheet characteristics. Furthermore, it is possible to perform significant pattern sensitivity studies. By doing these studies we can establish higher reliability of flight components. In order to develop these approaches, it is necessary to develop test capability that can identify reliability outliers. To do this we must test many devices to ensure outliers are in the sample, and we must develop characterization capability to measure many different parameters. For FY12 we increased capability for reliability characterization and sample size. We increased sample size this year by moving from loose devices to dual inline memory modules (DIMMs) with an approximate reduction of 20 to 50 times in terms of per device under test (DUT) cost. By increasing sample size we have improved our ability to characterize devices that may be considered reliability outliers. This report provides an update on the effort to improve DDR2 testing capability. Although focused on DDR2, the methods being used can be extended to DDR and DDR3 with relative ease.

Guertin, Steven M.↗
NASA NTRS2002

Experimental Verification of the Theoretical Prediction of the Phase Structure of a Ni-Al-Ti-Cr-Cu Alloy

The Bozzolo-Ferrante-Smith (BFS) method for alloys was applied to the study of NiAl-based materials to assess the effect of alloying additions on structure. Ternary, quaternary and even pentalloys based on NiAl with additions of Ti, Cr and Cu were studied and experimental verification of the theoretical predictions including the phase structure of a Ni-Al-Ti-Cr-Cu alloy is presented. Two approaches were used, Monte Carlo simulations to determine low energy structures, and analytical calculations of the energy of high symmetry configurations which give physical insight into preferred structures. The energetics for site occupancy in ternary and quaternary systems were calculated leading to an indirect determination of solubility limits at 0 K. Precipitate formation with information concerning structure and lattice parameter were also 'observed' computationally and the general characteristics of a Ni-Al-Ti-Cr-Cu alloy were correctly predicted. The results indicate that the BFS method for alloys can be a useful tool for alloy design and can be used to complement experimental alloy design programs.

Wilson, A.↗
NASA NTRS2022

Analysis of the MODIS Above-Cloud Aerosol Retrieval Algorithm Using MCARS

The Multi-sensor Cloud and Aerosol Retrieval Simulator (MCARS) presently produces synthetic radiance data from Goddard Earth Observing System version 5 (GEOS-5) model output as if the Moderate Resolution Imaging Spectroradiometer (MODIS) was viewing a combination of atmospheric column inclusive of clouds, aerosols and a variety of gases and land/ocean surface at a specific location. In this paper we use MCARS to study the MODIS Above-Cloud AEROsol retrieval algorithm (MOD06ACAERO). MOD06ACAERO is presently a regional research algorithm able to retrieve aerosol optical thickness over clouds, in particular absorbing biomass burning aerosols overlying marine boundary layer clouds in the Southeastern Atlantic Ocean. The algorithm’s ability to provide aerosol information in cloudy conditions makes it a valuable source of information for modeling and climate studies n an area where current clear sky-only operational MODIS aerosol retrievals effectively have a data gap between the months of June and October. We use MCARS for a verification and closure study of the MOD06ACAERO algorithm. The purpose of this study is to develop a set of constraints a model developer might use during assimilation of MOD06ACAERO data. Our simulations indicate that the MOD06ACAERO algorithm performs well for marine boundary layer clouds in the SE Atlantic provided some specific screening rules are observed. For the present study, a combination of five simulated MODIS data granules was used for a dataset of 13.5 million samples with known input conditions. When pixel retrieval uncertainty was less than 30%, optical thickness of the underlying cloud layer was greater than 4 and scattering angle range within the cloud bow was excluded, MOD06ACAERO retrievals agreed with the underlying ground truth (GEOS-5 cloud and aerosol profiles used to generate the synthetic radiances) with a slope of 0.913, offset of 0.06, and RMSE=0.107. When only near-nadir pixels were considered (view zenith angle within +/-20 degrees) the agreement with source data further improved (0.977, 0.051 and 0.096 respectively). Algorithm closure was examined using a single case out of the five 38 used for verification. For closure, the MOD06ACAERO code was modified to use GEOS-5 temperature and moisture profiles as ancillary. Agreement of MOD06ACAERO retrievals with source data for the closure study had a slope of 0.996 with offset -0.007 and RMSE of 0.097 at pixel uncertainty level of less than 40%, illustrating the benefits of high-quality ancillary atmospheric data for such retrievals.

MODIS↗