Search NASA⌕ Search

SEARCH · Search NASA

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 1,711 records · Page 95

Verification of the MCU precision code and ROSFOND neutron data in application to the calculations of criticality of fast reactors with highly enriched uranium

Calculation of 335 critical assemblies (benchmark experiments) with the core of highly enriched uranium and reflectors of various materials is performed. The statistical analysis of the results shows that, for all 16 materials studied, the absolute value of the most probable deviation of the calculated value of K{sub eff} from the experimental one does not exceed 0.005.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

Project Arrangement NP-06 Feasibility study of the applicability for future advanced Pu direct monitoring technology for Pu solutions with FP at reprocessing plants - Gamma-ray Analysis

This report summarizes the efforts to investigate the gamma-ray radiation signatures present in High Active Liquid (HAL) to determine the feasibility of developing advanced plutonium monitoring technology for plutonium to improve safeguards verification measurements and nuclear material accountancy at the Tokai Reprocessing Plant. This includes the development of MCNP models of a waste tank and ion chamber and using experimental results to benchmark the model. With this model the expected dose rate and gamma radiation signatures could be determined for various volumes of liquid waste in the tank.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗

Prediction and verification of creep behavior in metallic materials and components, for the space shuttle thermal protection system. Volume 1, phase 1: Cyclic materials creep predictions

Cyclic creep response was investigated and design methods applicable to thermal protection system structures were developed. The steady-state (constant temperature and load) and cyclic creep response characteristics of four alloys were studied. Steady-state creep data were gathered through a literature survey to establish reference data bases. These data bases were used to develop empirical equations describing creep as a function of time, temperature, and stress and as a basis of comparison for test data. Steady-state creep tests and tensile cyclic tests were conducted. The following factors were investigated: material thickness and rolling direction; material cyclic creep response under varying loads and temperatures; constant stress and temperature cycles representing flight conditions; changing stresses present in a creeping beam as a result of stress redistribution; and complex stress and temperature profiles representative of space shuttle orbiter trajectories. A computer program was written, applying creep hardening theories and empirical equations for creep, to aid in analysis of test data. Results are considered applicable to a variety of structures which are cyclicly exposed to creep producing thermal environments.

Davis, J. W.↗

Experimental Verification of Computational Models for Laminated Composites

The objective of the research reported herein is to develop a progressive damage methodology capable of predicting the residual strength of continuous fiber-reinforced, laminated, polymer matrix composites with through-penetration damage. The fracture behavior of center-notch tension panels with thin crack-like slits was studied. Since fibers are the major load-carrying constituent in polymer matrix composites, predicting the residual strength of a laminate requires a criterion for fiber fracture. The effects on fiber strain due to other damage mechanisms such as matrix cracking and delaminations must also be modeled. Therefore, the research herein examines the damage mechanisms involved in translaminate fracture and identifies the toughening mechanisms responsible for damage growth resistance in brittle epoxy matrix systems. The mechanics of matrix cracking and fiber fracture are discussed as is the mathematical framework for the progressive damage model developed by the authors. The progressive damage analysis algorithms have been implemented into a general purpose finite element code developed by NASA, the Computational Structural Mechanics Testbed (COMET). Damage growth is numerically simulated and the analytical residual strength predictions are compared to experimental results for a variety of notched panel configurations and materials systems.

Harris, Charles E.↗

The developments and verifications of trace model for IIST LOCA experiments

The test facility IIST (INER Integral System Test) is a Reduced-Height and Reduced-Pressure (RHRP) integral test loop, which was constructed for the purposes of conducting thermal hydraulic and safety analysis of the Westinghouse three-loop PWR Nuclear Power Plants. The main purpose of this study is to develop and verify TRACE models of IIST through the IIST small break loss of coolant accident (SBLOCA) experiments. First, two different IIST TRACE models which include a pipe-vessel model and a 3-D vessel component model have been built. The steady state and transient calculation results show that both TRACE models have the ability to simulate the related IIST experiments. Comparing with IIST SBLOCA experiment data, the 3-D vessel component model has shown better simulation capabilities so that it has been chosen for all further thermal hydraulic studies. The second step is the sensitivity studies of two phase multiplier and subcooled liquid multiplier in choked flow model; and two correlation constants in CCFL model respectively. As a result, an appropriate set of multipliers and constants can be determined. In summary, a verified IIST TRACE model with 3D vessel component, and fine-tuned choked flow model and CCFL model is established for further studies on IIST experiments in the future. (authors)

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

Effects of air chemistry and stiffened EOS of air in numerical simulations of bubble collapse in water

In this paper we study the effects of a stiffened gas equation of state for air at high pressure and air chemistry with dissociation in numerical simulations of bubble collapse in water. Two types of bubble collapse are studied, with one corresponding to spherically symmetric collapse simulating single-bubble sonoluminescence (SBSL), and the other a GPa-shock-induced axisymmetric bubble collapse. The numerical method is a finite-volume based solver with diffuse material interface model. Verification and validation of the solver are demonstrated by comparing to analytical solutions and experimental observations. We find that for sonoluminescence, air chemistry and equation of state for air at high pressures can have significant effects on the peak temperature and pressure attained during the evolution, and that the peak temperature is on the order of 1 eV, which is close to that observed in experiments. For shock-induced bubble collapse, the pressure inside the bubble will not be as high as that in sonoluminescence due to the absence of spherical symmetry. However, the air chemistry still has a significant effect on the temperature of the bubble. We also examine the effect of multiple bubble interaction in shock-induced bubble collapse and find several mechanisms that can significantly increase the pressure in the water. These mechanisms include frontal-distal-side-collision, shock focusing, upstream-traveling shocks, and compression of the water near the centerline by the vortex generated by bubble collapse. These have important implications for cavitation erosion.

42 ENGINEERING↗

Angular dependence of the nanoDot OSL dosimeter

Purpose: Optically stimulated luminescent detectors (OSLDs) are quickly gaining popularity as passive dosimeters, with applications in medicine for linac output calibration verification, brachytherapy source verification, treatment plan quality assurance, and clinical dose measurements. With such wide applications, these dosimeters must be characterized for numerous factors affecting their response. The most abundant commercial OSLD is the InLight/OSL system from Landauer, Inc. The purpose of this study was to examine the angular dependence of the nanoDot dosimeter, which is part of the InLight system. Methods: Relative dosimeter response data were taken at several angles in 6 and 18 MV photon beams, as well as a clinical proton beam. These measurements were done within a phantom at a depth beyond the build-up region. To verify the observed angular dependence, additional measurements were conducted as well as Monte Carlo simulations in MCNPX. Results: When irradiated with the incident photon beams parallel to the plane of the dosimeter, the nanoDot response was 4% lower at 6 MV and 3% lower at 18 MV than the response when irradiated with the incident beam normal to the plane of the dosimeter. Monte Carlo simulations at 6 MV showed similar results to the experimental values. Examination of the results in Monte Carlo suggests the cause as partial volume irradiation. In a clinical proton beam, no angular dependence was found. Conclusions: A nontrivial angular response of this OSLD was observed in photon beams. This factor may need to be accounted for when evaluating doses from photon beams incident from a variety of directions.

62 RADIOLOGY AND NUCLEAR MEDICINE↗

HYSPLIT/MACCS Atmospheric Dispersion Model Technical Documentation and Benchmark Analysis

The nuclear accident consequence analysis code MACCS has traditionally modeled dispersion during downwind transport using a Gaussian plume segment model. MACCS is designed to estimate consequence measures such as air concentrations and ground depositions, radiological doses, and health and economic impacts on a statistical basis over the course of a year to produce annualaveraged output measures. The objective of this work is to supplement the Gaussian atmospheric transport and diffusion (ATD) model currently in MACCS with a new option using the HYSPLIT model. HYSPLIT/MACCS coupling has been implemented, with HYSPLIT as an alternative ATD option. The subsequent calculations in MACCS use the HYSPLIT-generated air concentration, and ground deposition values to calculate the same range of output quantities (dose, health effects, risks, etc.) that can be generated when using the MACCS Gaussian ATD model. Based on the results from the verification test cases, the implementation of the HYSPLIT/MACCS coupling is confirmed. This report contains technical details of the HYSPLIT/MACCS coupling and presents a benchmark analysis using the HYSPLIT/MACCS coupling system. The benchmark analysis, which involves running specific scenarios and sensitivity studies designed to examine how the results generated by the traditional MACCS Gaussian plume segment model compare to the new, higher fidelity HYSPLIT/MACCS modeling option, demonstrates the modeling results that can be obtained by using this new option. The comparisons provided herein can also help decision-makers evaluate the potential benefit of using results based on higher fidelity modeling with the additional computational burden needed to perform the calculations. Three sensitivity studies to investigate the potential impact of alternative modeling options, regarding 1) input meteorological data set, 2) method to estimate stability class, and 3) plume dispersion model for larger distances, on consequence results were also performed. The results of these analyses are provided and discussed in this report.

97 MATHEMATICS AND COMPUTING↗

Documentation requirements for Applications Systems Verification and Transfer projects (ASVTs)

NASA's Application Systems Verification and Transfer Projects (ASVTs) are deliberate efforts to facilitate the transfer of applications of NASA-developed space technology to users such as federal agencies, state and local governments, regional planning groups, public service institutions, and private industry. This study focused on the role of documentation in facilitating technology transfer both to primary users identified during project planning and to others with similar information needs. It was understood that documentation can be used effectively when it is combined with informal (primarily verbal) communication within each user community and with other formal techniques such as organized demonstrations and training programs. Documentation examples from eight ASVT projects and one potential project were examined to give scope to the investigation.

Suchy, J. T.↗

Combustion Fundamentals Research

Increased emphasis is placed on fundamental and generic research at Lewis Research Center with less systems development efforts. This is especially true in combustion research, where the study of combustion fundamentals has grown significantly in order to better address the perceived long term technical needs of the aerospace industry. The main thrusts for this combustion fundamentals program area are as follows: analytical models of combustion processes, model verification experiments, fundamental combustion experiments, and advanced numeric techniques.

Source record↗

Statistical Time Series Models of Pilot Control with Applications to Instrument Discrimination

A general description of the methodology used in obtaining the transfer function models and verification of model fidelity, frequency domain plots of the modeled transfer functions, numerical results obtained from an analysis of poles and zeroes obtained from z plane to s-plane conversions of the transfer functions, and the results of a study on the sequential introduction of other variables, both exogenous and endogenous into the loop are contained.

Altschul, R. E.↗

SIR-A imagery in geologic studies of the Sierra Madre Oriental, northeastern Mexico. Part 1 (Regional stratigraphy): The use of morphostratigraphic units in remote sensing mapping

SIR-A imaging was used in geological studies of sedimentary terrains in the Sierra Madre Oriental, northeastern Mexico. Geological features such as regional strike and dip, bedding, folding and faulting were readily detected on the image. The recognition of morphostructural units in the imagery, coupled with field verification, enabled geological mapping of the region at the scale of 1:250 000. Structural profiling lead to the elaboration of a morphostructural map allowing the recognition of an echelon folds and field trends which were used to postulate the ectonic setting of the region.

Longoria, J. F.↗

Space Station personal hygiene study

A personal hygiene system is currently under development for Space Station application that will provide capabilities equivalent to those found on earth. This paper addresses the study approach for specifying both primary and contingency personal hygiene systems and provisions for specified growth. Topics covered are system definition and subsystem descriptions. Subsystem interfaces are explored to determine which concurrent NASA study efforts must be monitored during future design phases to stay up-to-date on critical Space Station parameters. A design concept for a three (3) compartment personal hygiene facility is included as a baseline for planned test and verification activities.

Prejean, Stephen E.↗

Lunar base mission technology issues and orbital demonstration requirements on space station

The International Space Station has been the object of considerable design, redesign, and alteration since it was originally proposed in early 1984. In the intervening years the station has slowly evolved to a specific design that was thoroughly reviewed by a large agency-wide Critical Evaluation Task Force (CETF). As space station designs continue to evolve, studies must be conducted to determine the suitability of the current design for some of the primary purposes for which the station will be used. This paper concentrates on the technology requirements and issues, the on-orbit demonstration and verification program, and the space station focused support required prior to the establishment of a permanently manned lunar base as identified in the National Commission on Space report. Technology issues associated with the on-orbit assembly and processing of the lunar vehicle flight elements are also discussed.

Llewellyn, Charles P.↗

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif

PLCverif is an actively developed project at CERN, enabling the formal verification of Programmable Logic Controller (PLC) programs in critical systems. In this paper, we present our work on improving the formal requirements specification experience in PLCverif through the use of natural language. To this end, we integrate NASA’s FRET, a formal requirement elicitation and authoring tool, into PLCverif. FRET is used to specify formal requirements in structured natural language, which automatically translates into temporal logic formulae. FRET’s output is then directly used by PLCverif for verification purposes. We discuss practical challenges that PLCverif users face when authoring requirements and the FRET features that help alleviate these problems. We present the new requirement formalization workflow and report our experience using it on two critical CERN case studies.

FRET↗

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif

PLCverif is an actively developed project at CERN, enabling the formal verification of Programmable Logic Controller (PLC) programs in critical systems. In this paper, we present our work on improving the formal requirements specification experience in PLCverif through the use of natural language. To this end, we integrate NASA’s FRET, a formal requirement elicitation and authoring tool, into PLCverif. FRET is used to specify formal requirements in structured natural language, which automatically translates into temporal logic formulae. FRET’s output is then directly used by PLCverif for verification purposes. We discuss practical challenges that PLCverif users face when authoring requirements and the FRET features that help alleviate these problems. We present the new requirement formalization workflow and report our experience using it on two critical CERN case studies.

FRET↗

Update on the use of Neutron Absorbers for Storage Applications at Y-12

The Y-12 National Security Complex has a high density enriched uranium storage system at the Highly Enriched Uranium Materials Facility (HEUMF) that has been deployed for nearly 10 years. A robust neutron absorber system is provided through the design of Rackable Can Storage Boxes (RCSBs) and their configuration into storage racks. The requirements from ANSI/ANS-8.21, Use of Fixed Neutron Absorbers in Nuclear Facilities outside Reactors, are met with the RCSB and rack system at HEUMF through various design aspects, verification criteria, functional testing, and simulation modeling. Previous publications on a neutron absorber storage system at Y-12 were present at ANS in 2001 and 2002, when the RCSBs were still in a conceptual phase. The publications focused on ongoing studies at the time of what materials worked best for storage applications and how to test those materials, as well the practical design of the unit. The RCSBs have proven to provide a safe, static, and low maintenance storage system, with some minor design issues and several opportunities for future improvement.

42 ENGINEERING↗

Weak Lensing Analysis of SPT selected Galaxy Clusters using Dark Energy Survey Science Verification Data

We present weak-lensing (WL) mass constraints for a sample of massive galaxy clusters detected by the South Pole Telescope (SPT) via the Sunyaev-Zel'dovich effect (SZE). We use griz imaging data obtained from the Science Verification (SV) phase of the Dark Energy Survey (DES) to fit the WL shear signal of 33 clusters in the redshift range 0.25 <= z <= 0.8 with NFW profiles and to constrain a four-parameter SPT mass-observable relation. To account for biases in WL masses, we introduce a WL mass to true mass scaling relation described by a mean bias and an intrinsic, lognormal scatter. We allow for correlated scatter within the WL and SZE mass-observable relations and use simulations to constrain priors on nuisance parameters related to bias and scatter from WL. We constrain the normalization of the zeta-M-500 relation, A(SZ) = 12.0(-6.7)(+2.6) when using a prior on the mass slope B-SZ from the latest SPT cluster cosmology analysis. Without this prior, we recover A(SZ) = 10.8(-5.2)(+2.3) and B-SZ = 1.30(-0.44)(+0.22). Results in both cases imply lower cluster masses than measured in previous work with and without WL, although the uncertainties are large. The WL derived value of B-SZ is approximate to 20 per cent lower than the value preferred by the most recent SPT cluster cosmology analysis. The method demonstrated in this work is designed to constrain cluster masses and cosmological parameters simultaneously and will form the basis for subsequent studies that employ the full SPT cluster sample together with the DES data.

cosmology: observations↗