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,459 records · Page 81
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

Gas-Gap Calorimeter Sizing and Rating Tools for Heat Pipe Experimentation

Effective gas-gap calorimeter sizing and rating tools are required to design calorimeters that enable well-defined operating conditions, high cooling powers, and accurate calorimetry. The present report describes two tools utilizing Microsoft Excel and MathWorks MATLAB that enable the sizing and rating of gas-gap calorimeters with a He-Ar binary gas mixture in the gap. The Excel tools are two easy-to-use spreadsheets for calculating heat pipe operating temperature or He-Ar mole fractions given the required inputs. The MATLAB tool includes similar models with more robust solution algorithms along with sub-options for full-vacuum, static gas-gap, and forced circulation in the gas-gap. The accuracy of the developed tools were demonstrated by comparing with existing work in literature. The MATLAB tool was used for a parametric study to determine the gas-gap thickness, coolant gap thickness, coolant flow rate, and coolant inlet temperatures for the testing of a 3/4 in outer diameter heat pipe up to powers of 10 kW and temperatures of 1,000°C. The effects of heat pipe and calorimeter inner shell surface emissivities were investigated, considering the inability to control or accurately measure surface emissivities in most applications. It was found that controlling the He-Ar mole fractions provides a wide operating range for gas-gap thicknesses around ~ 0.042--0.090 in (~ 1.07--2.29 mm) for a surface emissivity range of 0.4--0.8, since conduction heat transfer is a significant fraction of the heat transfer across the gas-gap. In addition, it was found that turbulent flow in the coolant gap is needed at high input powers to prevent shell temperatures from approaching the boiling temperature of the water coolant. The parametric study resulted in choosing stainless steel tubes with an outer diameter and thickness of 1 x 0.065 in as the inner shell, and a 1-1/2 x 0.156 in as the outer shell of the calorimeter. Overall, this report presents the necessary information for the sizing and rating of gas-gap calorimeters with He-Ar mixtures for the testing of high-temperature heat pipes (~ 500--1,000°C).

22 - GENERAL STUDIES OF NUCLEAR REACTORS↗
NASA NTRS1989

The liquid rocket booster and its potential for the STS

Results of the liquid rocket booster study initiated by NASA to define an alternative to solid rocket boosters, are presented. The prime study contractors, Martin Marietta Corporation and General Dynamics, have identified liquid rocket booster configurations that can increase shuttle performance to 70 klb. These boosters will provide improved reliability, hold down, verification prior to vehicle release, engine-out and abort capabilities. Phasing of these boosters into Space Transportation System (STS) operations without adversely affecting flight rate is described.

Space Shuttle↗
NASA NTRS1995

Cassini radar: Instrument description and performance status

The spacecraft of the Cassini mission is planned to be launched towards Saturn in October 1997. The mission is designed to study the physical structure and chemical composition of Titan. The results of the tests performed on the Cassini radar engineering qualification model (EQM) are summarized. The approach followed in the verification and evaluation of the performance of the radio frequency subsystem EQM is presented. The results show that the instrument satisfies the most relevant mission requirements.

Johnson, W. T. K.↗
NASA NTRS1996

Cassini Radar EQM Model: Instrument Description and Performance Status

The spaeccraft of the Cassini Mission is planned to be launched towards Saturn in October 1997. The mission is designed to study the physical structure and chemical composition of Titan. The results of the tests performed on the Cassini radar engineering qualification model (EQM) are summarized. The approach followed in the verification and evaluation of the performance of the radio frequency subsystem EQM is presented. The results show that the instrument satisfies the relevant mission requirements.

Borgarelli, L.↗
NASA NTRS1997

Experiences Using Lightweight Formal Methods for Requirements Modeling

This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies differ from previously reported applications of formal methods in that formal methods were applied very early in the requirements engineering process, to validate the evolving requirements. The results were fed back into the projects, to improve the informal specifications. For each case study, we describe what methods were applied, how they were applied, how much effort was involved, and what the findings were. In all three cases, formal methods enhanced the existing verification and validation processes, by testing key properties of the evolving requirements, and helping to identify weaknesses. We conclude that the benefits gained from early modeling of unstable requirements more than outweigh the effort needed to maintain multiple representations.

Easterbrook, Steve↗
NASA NTRS2020

Observation and Quantification of Aerosol Outflow from Southern Africa Using Spaceborne Lidar

Biomass burning in Africa provides a prolific source of aerosols that are transported from the source region to distant areas, as far away as South America and Australia. Models have long predicted the primary outflow and transport routes. Over time, field studies have validated the basic production and dynamics that underlie these transport patterns. In more recent years, the advancement of spaceborne active remote sensing techniques has allowed for more detailed verification of the models and, importantly, verification of the vertical distribution of the aerosols in the transport regions, particularly with respect to westerly transport over the Atlantic Ocean. The Cloud-Aerosol Transport System (CATS) lidar on the International Space Station has detection sensitivity that provides observations that support long-held theories of aerosol transport from the African subcontinent over the remote Indian Ocean and as far downstream as Australia.

Lidar↗
NASA NTRS2020

Bridging the Gap Between Requirements and Model Analysis : Evaluation on Ten Cyber-Physical Challenge Problems

Formal verfication and simulation are powerful tools to validate requirements against complex systems. [Problem] Requirements are developed in early stages of the software lifecycle and are typically written in ambiguous natural language. There is a gap between such requirements and formal notations that can be used by verification tools, and lack of support for proper association of requirements with software artifacts for verification. [Principal idea] We propose to write requirements in an intuitive, structured natural language with formal semantics, and to support formalization and model/code verification as a smooth, well-integrated process. [Contribution] We have developed an end-to-end, open source requirements analysis framework that checks Simulink models against requirements written in structured natural language. Our framework is built in the Formal Requirements Elicitation Tool (fret); we use fret's requirements language named fretish, and formalization of fretish requirements in temporal logics. Our proposed framework contributes the following features: 1) automatic extraction of Simulink model information and association of fretish requirements with target model signals and components; 2) translation of temporal logic formulas into synchronous dataflow cocospec specifications as well as Simulink monitors, to be used by verification tools; we establish correctness of our translation through extensive automated testing; 3) interpretation of counterexamples produced by verification tools back at requirements level. These features support a tight integration and feedback loop between high level requirements and their analysis. We demonstrate our approach on a major case study: the Ten Lockheed Martin Cyber-Physical, aerospace-inspired challenge problems.

Mavridou, Anastasia↗
DOE OSTI2012

Simulation and Analysis of Converging Shock Wave Test Problems

Results and analysis pertaining to the simulation of the Guderley converging shock wave test problem (and associated code verification hydrodynamics test problems involving converging shock waves) in the LANL ASC radiation-hydrodynamics code xRAGE are presented. One-dimensional (1D) spherical and two-dimensional (2D) axi-symmetric geometric setups are utilized and evaluated in this study, as is an instantiation of the xRAGE adaptive mesh refinement capability. For the 2D simulations, a 'Surrogate Guderley' test problem is developed and used to obviate subtleties inherent to the true Guderley solution's initialization on a square grid, while still maintaining a high degree of fidelity to the original problem, and minimally straining the general credibility of associated analysis and conclusions.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1995

Verification of surface preparation for adhesive bonding

A survey of solid rocket booster (SRB) production operations identified potential contaminants which might adversely affect bonding operations. Lap shear tests quantified these contaminants' effects on adhesive strength. The most potent contaminants were selected for additional studies on SRB thermal protection system (TPS) bonding processes. Test panels were prepared with predetermined levels of contamination, visually inspected using white and black light, then bonded with three different TPS materials over the unremoved contamination. Bond test data showed that white and black light inspections are adequate inspection methods for TPS bonding operations. Extreme levels of contamination (higher than expected on flight hardware) had an insignificant effect on TPS bond strengths because of the apparent insensitivity of the adhesive system to contamination effects, and the comparatively weak cohesive strength of the TPS materials.

Myers, Rodney S.↗
DOE OSTI2013

RELAP5-3D Restart and Backup Verification Testing

Existing testing methodology for RELAP5-3D employs a set of test cases collected over two decades to test a variety of code features and run on a Linux or Windows platform. However, this set has numerous deficiencies in terms of code coverage, detail of comparison, running time, and testing fidelity of RELAP5-3D restart and backup capabilities. The test suite covers less than three quarters of the lines of code in the relap directory and just over half those in the environmental library. Even in terms of code features, many are not covered. Moreover, the test set runs many problems long past the point necessary to test the relevant features. It requires standard problems to run to completion. This is unnecessary for features can be tested in a short-running problem. For example, many trips and controls can be tested in the first few time steps, as can a number of fluid flow options. The testing system is also inaccurate. For the past decade, the diffem script has been the primary tool for checking that printouts from two different RELAP5-3D executables agree. This tool compares two output files to verify that all characters are the same except for those relating to date, time and a few other excluded items. The variable values printed on the output file are accurate to no more than eight decimal places. Therefore, calculations with errors in decimal places beyond those printed remain undetected. Finally, fidelity of restart is not tested except in the PVM sub-suite and backup is not specifically tested at all. When a restart is made from any midway point of the base-case transient, the restart must produce the same values. When a backup condition occurs, the code repeats advancements with the same time step. A perfect backup can be tested by forcing RELAP5 to perform a backup by falsely setting a backup condition flag at a user-specified-time. Comparison of the calculations of that run and those produced by the same input w/o the spurious condition should be identical. Backup testing is more difficult the other kinds of testing described above because it requires additional coding to implement. The testing system constructed and described in this document resolves all of these issues. A matrix of test features and short-running cases that exercise them is presented. A small information file that contains sufficient data to verify calculations to the last decimal place and bit is produced. This testing system is used to test base cases (called null testing) as well as restart and backup cases. The programming that implements these new capabilities is presented.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2019

V&V for turbulent mixing in the intermediate asymptotic regime

Turbulent fluid flow interacts nonlinearly with a number of processes, including reactive flow (chemistry), radiation, and the transport of particles embedded in the flow. Subgrid scale modeling of these nonlinear processes is a major challenge to computational science. To this end, turbulent mixing of dissimilar fluids is a driver. Here we study validation issues for a class of turbulent mixing simulations. In previous work, we have obtained agreement between simulation and experiment. The present paper addresses a remaining issue, the role of meniscus related boundary effects for immiscible fluids in the validation process. Validation and even verification has been controversial for turbulent mixing flows, as commonly used numerical models are diffusive and the resulting numerical diffusion modifies the parameters of the problem and its solution. Additionally, numerical diffusion of concentration and temperature is well documented in the scientific literature for Eulerian simulations. Lagrangian simulations, which might appear to avoid this problem, are subject to mesh tangling, ensuing regridding and use of Arbitrary Lagrangian Eulerian codes to substitute for a pure Lagrangian algorithm. In practice, Lagrangian methods are potentially subject to the same numerical diffusion issues when used to study complex interface instabilities.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2014

Verification of maximum radial power peaking factor due to insertion of FPM-LEU target in the core of RSG-GAS reactor

Verification of Maximum Radial Power Peaking Factor due to insertion of FPM-LEU target in the core of RSG-GAS Reactor. Radial Power Peaking Factor in RSG-GAS Reactor is a very important parameter for the safety of RSG-GAS reactor during operation. Data of radial power peaking factor due to the insertion of Fission Product Molybdenum with Low Enriched Uranium (FPM-LEU) was reported by PRSG to BAPETEN through the Safety Analysis Report RSG-GAS for FPM-LEU target irradiation. In order to support the evaluation of the Safety Analysis Report incorporated in the submission, the assessment unit of BAPETEN is carrying out independent assessment in order to verify safety related parameters in the SAR including neutronic aspect. The work includes verification to the maximum radial power peaking factor change due to the insertion of FPM-LEU target in RSG-GAS Reactor by computational method using MCNP5and ORIGEN2. From the results of calculations, the new maximum value of the radial power peaking factor due to the insertion of FPM-LEU target is 1.27. The results of calculations in this study showed a smaller value than 1.4 the limit allowed in the SAR.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
DOE OSTI2016

Development of Advanced Numerical Tools for the Nonlinear Seismic Analysis of Nuclear Systems

In the framework of Probabilistic Risk Assessment (PRA) of nuclear facilities, a rigorous dynamic characterization of all structural and non-structural components is of paramount concern. The common features of nuclear facilities lies in the combination of three characteristics: 1. low aspect ratio; 2. large mass; and 3. significant embedment in soil. These characteristics make the interaction between the structural system and the surrounding soil a key aspect to consider for seismic risk evaluations. The methodologies and numerical tools currently in use for simulating the seismic response of a nuclear facility with significant Soil Structure Interaction (SSI) date back to the 1970's and rely on a number of simplifying idealizations, mainly related to the characterization of the incident seismic waveforms, the assumption of linear-elastic behavior of the superstructures, and idealization of equivalent linear behavior of the supporting soils. Given this background and taking advantage of the substantial progress in computational mechanics in the last decades, the ongoing research aims at developing advanced numerical tools for the nonlinear, time history simulation of nuclear facilities. This translates into the availability of a robust nonlinear time-domain simulation tool that can accurately model the nonlinearities of coupled soil-structure systems, and whose development includes robust verification and validation. The work described herein is supported by the U.S. Department of Energy (DOE) and focuses on delivering the next-generation, high performance simulation tool in support of DOE needs and mission. (authors)

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2017

Investigation of Xenon Oscillations via Point Kinetics

We all appreciate the special role Xenon-135 plays in reactor transients. Unless there is sufficient reactivity override, on shutdown a conventional reactor cannot immediately restart because of the buildup of strongly absorbing Xenon from Iodine decay and the absence of neutron flux to continue its elimination. We are also aware of how the flux imbalance in a large reactor core gives rise to Xenon induced power precession around the core in unpredictable ways. In addition, with regard to computational methods, we lack readily accessible numerical algorithms enabling reliable characterization of Xenon oscillations with simple models to explain this fundamentally important phenomenon. Nowhere is this more apparent than in the classroom. In this presentation, we first consider a new 12-element comprehensive decay model to Xenon and its corresponding numerical implementation and verification to establish a predictive model of Xenon buildup in a constant flux. We then follow with a reduced self-consistent flux model in an infinite reactor- a model not found in textbooks. This presentation should appeal to those interested in developing high order numerical methods for reactor transients.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2014

Dependency of EBT2 film calibration curve on postirradiation time

Purpose: The Ashland Inc. product EBT2 film model is a widely used quality assurance tool, especially for verification of 2-dimensional dose distributions. In general, the calibration film and the dose measurement film are irradiated, scanned, and calibrated at the same postirradiation time (PIT), 1-2 days after the films are irradiated. However, for a busy clinic or in some special situations, the PIT for the dose measurement film may be different from that of the calibration film. In this case, the measured dose will be incorrect. This paper proposed a film calibration method that includes the effect of PIT. Methods: The dose versus film optical density was fitted to a power function with three parameters. One of these parameters was PIT dependent, while the other two were found to be almost constant with a standard deviation of the mean less than 4%. The PIT-dependent parameter was fitted to another power function of PIT. The EBT2 film model was calibrated using the PDD method with 14 different PITs ranging from 1 h to 2 months. Ten of the fourteen PITs were used for finding the fitting parameters, and the other four were used for testing the model. Results: The verification test shows that the differences between the delivered doses and the film doses calculated with this modeling were mainly within 2% for delivered doses above 60 cGy, and the total uncertainties were generally under 5%. The errors and total uncertainties of film dose calculation were independent of the PIT using the proposed calibration procedure. However, the fitting uncertainty increased with decreasing dose or PIT, but stayed below 1.3% for this study. Conclusions: The EBT2 film dose can be modeled as a function of PIT. For the ease of routine calibration, five PITs were suggested to be used. It is recommended that two PITs be located in the fast developing period (1∼6 h), one in 1 ∼ 2 days, one around a week, and one around a month.

61 RADIATION PROTECTION AND DOSIMETRY↗
DOE OSTI2013

Global Identification of Previously Undetected Pre-Satellite-Era Tropical Cyclone Candidates in NOAA/CIRES Twentieth-Century Reanalysis Data

Prior to the satellite era, limited synoptic observation networks led to an indefinite number of tropical cyclones (TCs) remaining undetected. This period of decreased confidence in the TC climatological record includes the first two-thirds of the twentieth century. While prior studies found that this undersampling exists, disagreement regarding its magnitude has caused difficulties in interpreting multidecadal changes in TC activity. Previous research also demonstrated that reanalyses can be used to extend TC climatology, utilizing the NOAA/Cooperative Institute for Research in Environmental Sciences (CIRES) Twentieth-Century Reanalysis to manually identify previously unknown Atlantic Ocean basin potential TCs. This study expands the spatiotemporal scope of the earlier work by presenting a filtering algorithm that dramatically improves the efficiency with which candidate events are identified in the reanalysis. This algorithm was applied to all tropical basins for the years 1871–1979, resulting in the first quantitative and objective global TC candidate event counts for the decades prior to formal recordkeeping. Observational verification performed on a subset of these events indicates that the algorithm identifies potential missing TCs at a success rate approximating that of earlier work with a significant decrease in the amount of time required. Extrapolating these proportions to all of the candidate events identified suggests that this method may help to locate hundreds of previously unknown TCs worldwide for future study and cataloging. As such, the dataset produced by this research is a source of independent guidance for use in ongoing and future TC climatology revision efforts to produce a more complete historical record more quickly than with current methods.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2015

Development and Validation of Multidimensional Models of Supercritical CO 2 Energy Conversion Systems for Nuclear Power Reactors

A general objective of this project was to develop, verify and validate mechanistic multidimensional models of local flow and heat transfer in supercritical carbon dioxide (S-CO 2 ) devices and systems, and to demonstrate the application of the new models to selected components of S-CO 2 nuclear energy transport systems. Both steady-state and time-dependent operating conditions have been investigated. The overall workscope consisted of the following three major parts: Development, testing and validation of a mechanistic model of forced-convection heat transfer in heated channels cooled using S-CO 2 at slightly supercritical pressures; Development, testing and verification/validation of a new model of the dynamics of closed- loop S-CO 2 heat transport systems; and, Formulation, testing and verification of a mechanistic model for the analysis of flow and pressure distribution in S-CO 2 compressors. The results of the work performed for the project have been documented in several publications.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2012

Development and preliminary verification of the 3D core neutronic code: COCO

As the recent blooming economic growth and following environmental concerns (China)) is proactively pushing forward nuclear power development and encouraging the tapping of clean energy. Under this situation, CGNPC, as one of the largest energy enterprises in China, is planning to develop its own nuclear related technology in order to support more and more nuclear plants either under construction or being operation. This paper introduces the recent progress in software development for CGNPC. The focus is placed on the physical models and preliminary verification results during the recent development of the 3D Core Neutronic Code: COCO. In the COCO code, the non-linear Green's function method is employed to calculate the neutron flux. In order to use the discontinuity factor, the Neumann (second kind) boundary condition is utilized in the Green's function nodal method. Additionally, the COCO code also includes the necessary physical models, e.g. single-channel thermal-hydraulic module, burnup module, pin power reconstruction module and cross-section interpolation module. The preliminary verification result shows that the COCO code is sufficient for reactor core design and analysis for pressurized water reactor (PWR). (authors)

22 GENERAL STUDIES OF NUCLEAR REACTORS↗