SEARCH · Engineering Papers

Results for “model checking”

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 811 records · Page 45

All sources NASA NTRS DOE OSTI

NASA NTRS1975

The self streamlining wind tunnel

A two dimensional test section in a low speed wind tunnel capable of producing flow conditions free from wall interference is presented. Flexible top and bottom walls, and rigid sidewalls from which models were mounted spanning the tunnel are shown. All walls were unperforated, and the flexible walls were positioned by screw jacks. To eliminate wall interference, the wind tunnel itself supplied the information required in the streamlining process, when run with the model present. Measurements taken at the flexible walls were used by the tunnels computer check wall contours. Suitable adjustments based on streamlining criteria were then suggested by the computer. The streamlining criterion adopted when generating infinite flowfield conditions was a matching of static pressures in the test section at a wall with pressures computed for an imaginary inviscid flowfield passing over the outside of the same wall. Aerodynamic data taken on a cylindrical model operating under high blockage conditions are presented to illustrate the operation of the tunnel in its various modes.

Goodyer, M. J.↗

NASA NTRS2007

The DaveMLTranslator: An Interface for DAVE-ML Aerodynamic Models

It can take weeks or months to incorporate a new aerodynamic model into a vehicle simulation and validate the performance of the model. The Dynamic Aerospace Vehicle Exchange Markup Language (DAVE-ML) has been proposed as a means to reduce the time required to accomplish this task by defining a standard format for typical components of a flight dynamic model. The purpose of this paper is to describe an object-oriented C++ implementation of a class that interfaces a vehicle subsystem model specified in DAVE-ML and a vehicle simulation. Using the DaveMLTranslator class, aerodynamic or other subsystem models can be automatically imported and verified at run-time, significantly reducing the elapsed time between receipt of a DAVE-ML model and its integration into a simulation environment. The translator performs variable initializations, data table lookups, and mathematical calculations for the aerodynamic build-up, and executes any embedded static check-cases for verification. The implementation is efficient, enabling real-time execution. Simple interface code for the model inputs and outputs is the only requirement to integrate the DaveMLTranslator as a vehicle aerodynamic model. The translator makes use of existing table-lookup utilities from the Langley Standard Real-Time Simulation in C++ (LaSRS++). The design and operation of the translator class is described and comparisons with existing, conventional, C++ aerodynamic models of the same vehicle are given.

Hill, Melissa A.↗

NASA NTRS1991

Investigating decoherence in a simple system

The results of some simple calculations designed to study quantum decoherence are presented. The physics of quantum decoherence are briefly reviewed, and a very simple 'toy' model is analyzed. Exact solutions are found using numerical techniques. The type of incoherence exhibited by the model can be changed by varying a coupling strength. The author explains why the conventional approach to studying decoherence by checking the diagonality of the density matrix is not always adequate. Two other approaches, the decoherence functional and the Schmidt paths approach, are applied to the toy model and contrasted to each other. Possible problems with each are discussed.

Albrecht, Andreas↗

NASA NTRS1990

Equivalent circuit models for ac impedance data analysis

A least-squares fitting routine has been developed for the analysis of ac impedance data. It has been determined that the checking of the derived equations for a particular circuit with a commercially available electronics circuit program is essential. As a result of the investigation described, three equivalent circuit models were selected for use in the analysis of ac impedance data.

Danford, M. D.↗

NASA NTRSDate not supplied

Development of a Composite Material Aerodynamic Demise Model for the Object Reentry Survival Analysis Tool (ORSAT)

The reentry demise of fiber-reinforced polymer (FRP) composites is an increasing concern for modern spacecraft at end of life. Unlike traditional materials such as metals, shredding of the material by aerodynamic forces appears to be a major component of the reentry demise mechanism. This paper will describe a new mechanical, strength-based, material demise model for the Object Reentry Survival Analysis Tool (ORSAT) Version 7.1. The model is based on laboratory in-situ and residual strength tests of several FRP materials performed during the NASA Orbital Debris Program Office’s Phase II Composite Material Demise test campaign. To test the residual strength of partially charred FRP materials, the authors tested 107 rectangular shaped samples of different thicknesses that were previously exposed to high-enthalpy flow at the University of Texas at Austin’s Inductively Coupled Plasma Torch facility. Tests were performed under normal atmospheric conditions at NASA Johnson Space Center’s Experimental Impact Laboratory using a Chatillon TCD1000 tensile test machine configured with a three-point bending jig. Mean fracture load, residual strength, delamination, and flexural modulus were measured for each test. An engineering model of aeromechanical demise for each material was developed by correlating the measured residual strength of the samples with the duration and magnitude of the applied heat flux and the mass loss and char progression. This model has been implemented in ORSAT 7.1 for the built-in, charring carbon fiber/epoxy and charring glass fiber/epoxy material models. The new model was verified by calculating the demise of hundreds of FRP composite fragments of various shapes and sizes and checking the calculations for consistency, with specific focus on material characterization in one-dimension. Further tests are planned in hypersonic flow facilities to validate the assumptions used in the model.

Priscilla A. Mendoza↗

NASA NTRSDate not supplied

Development of a Composite Material Aerodynamic Demise Model for the Object Reentry Survival Analysis Tool (ORSAT)

Priscilla A. Mendoza↗

NASA NTRS1977

Initial test results using the GEOS-3 engineering model altimeter

Data from a series of experimental tests run on the engineering model of the GEOS 3 radar altimeter using the Test and Measurement System (TAMS) designed for preflight testing of the radar altimeter are presented. These tests were conducted as a means of preparing and checking out a detailed test procedure to be used in running similar tests on the GEOS 3 protoflight model altimeter systems. The test procedures and results are also included.

Hayne, G. S.↗

NASA NTRS1993

A formally verified algorithm for interactive consistency under a hybrid fault model

Consistent distribution of single-source data to replicated computing channels is a fundamental problem in fault-tolerant system design. The 'Oral Messages' (OM) algorithm solves this problem of Interactive Consistency (Byzantine Agreement) assuming that all faults are worst-cass. Thambidurai and Park introduced a 'hybrid' fault model that distinguished three fault modes: asymmetric (Byzantine), symmetric, and benign; they also exhibited, along with an informal 'proof of correctness', a modified version of OM. Unfortunately, their algorithm is flawed. The discipline of mechanically checked formal verification eventually enabled us to develop a correct algorithm for Interactive Consistency under the hybrid fault model. This algorithm withstands $a$ asymmetric, $s$ symmetric, and $b$ benign faults simultaneously, using $m+1$ rounds, provided $n is greater than 2a + 2s + b + m$, and $m\geg a$. We present this algorithm, discuss its subtle points, and describe its formal specification and verification in PVS. We argue that formal verification systems such as PVS are now sufficiently effective that their application to fault-tolerance algorithms should be considered routine.

Lincoln, Patrick↗

DOE OSTI2018

Numerical Modelling of Radionuclide Migration in the Context of a Near-Surface LILW Disposal Facility - 18618

The reference solution for the management of low and intermediate level short-lived waste (LILW) in France consists in their emplacement in concrete vaults built at the near-surface. The corresponding disposal facility under operation by the French waste management organization (Andra), is located in North-eastern France and planned to be closed in 2060. The safety case developed by Andra has to show the evidence that, amongst other aspects, the radionuclide transfer through the confinement barriers will occur in such a way that the human and environmental exposure will be as low as reasonably achievable (ALARA) and in accordance with the dose constraints. For this purpose, modelling is used to integrate uncertainties about the characteristics of concrete components, waste and water table and their evolution in time and space. At last, modelling is finally used to investigate the radiological impact of specific scenarios in which the failure of safety barriers occurs. In the frame of its technical review of the safety assessment, the French Institute for Radiological Protection and Nuclear Safety (IRSN) also performs such kind of numerical modelling of radionuclide fate from the waste to the hydrogeological outlets, in order to check whether the assessment performed by Andra takes into account sufficiently conservative assumptions. The present work aims to evaluate the role of components of the vaults on radionuclide transport during the post-closure period over a few thousand years. For this purpose, IRSN carries out numerical calculations with MELODIE software, which simulates water flow and transport of species, in order to simulate radionuclide migration from waste packages emplaced in a concrete vault to the surrounding groundwater. The developed transport model focuses on 3-H radionuclide and integrates Andra's main assumptions (release model from the waste packages, chemical and hydraulic properties of the vault components, shrinkage and cracks in concrete components). An adaptive mesh method, based on an a posteriori error estimator, was used to model the cracks and the consideration of a strong heterogeneity in the hydraulic and transport parameters values in the different components of the model. This method shows an improvement of results of about 40 times, whereas the mesh size was increased by only 2%. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

NASA NTRS1992

On the interaction between dust and gas in late-type stellar atmospheres and winds

An assumption inherent to most models of dust-driven winds from cool, evolved stars is that the radiative and collisional drag forces acting on an individual dust grain are in balance throughout the flow. We have checked the validity of this supposition of 'complete momentum coupling' by comparing the grain motion obtained from such a model with that derived from solution of the full grain equation of motion. For physical conditions typical of the circumstellar envelopes of oxygen-rich red giants, we find that silicate grains with initial radii smaller than about 5 x 10 exp -6 cm decouple from the ambient gas near the base of the outflow. The implications of these results for models of dust-driven mass loss from late-type giants and supergiants are discussed.

Macgregor, K. B.↗

NASA NTRS2012

Hypervelocity Impact Initiation of Explosive Transfer Lines

The Gemini, Apollo and Space Shuttle spacecraft utilized explosive transfer lines (ETL) in a number of applications. In each case the ETL was located behind substantial structure and the risk of impact initiation by micrometeoroids and orbital debris was negligible. A current NASA program is considering an ETL to synchronize the actuation of pyrobolts to release 12 capture latches in a contingency. The space constraints require placing the ETL 50 mm below the 1 mm thick 2024-T72 Whipple shield. The proximity of the ETL to the thin shield prompted analysts at NASA to perform a scoping analysis with a finite-difference hydrocode to calculate impact parameters that would initiate the ETL. The results suggest testing is required and a 12 shot test program with surplused Shuttle ETL is scheduled for February 2012 at the NASA White Sands Test Facility. Explosive initiation models are essential to the analysis and one exists in the CTH library for HNS I, but not the HNS II used in the Shuttle 2.5 gr/ft rigid shielded mild detonating cord (SMDC). HNS II is less sensitive than HNS I so it is anticipated that these results using the HNS I model are conservative. Until the hypervelocity impact test results are available, the only check on the analysis was comparison with the Shuttle qualification test result that a 22 long bullet would not initiate the SMDC. This result was reproduced by the hydrocode simulation. Simulations of the direct impact of a 7 km/s aluminum ball, impacting at 0 degree angle of incidence, onto the SMDC resulted in a 1.5 mm diameter ball initiating the SMDC and 1.0 mm ball failing to initiate it. Where one 1.0 mm ball could not initiate the SMDC, a cluster of six 1.0 mm diameter aluminum balls striking simultaneously could. Thus the impact parameters that will result in initiating SMDC located behind a Whipple shield will depend on how well the shield fragments the projectile and spreads the fragments. An end-to-end simulation of the impact of an aluminum ball onto a Whipple shield covering SMDC is problematic due to the hydrocode fracture models. Regardless, two simulations were performed resulting in a 5 mm ball initiating the SMDC and a 4 mm ball failing to initiate the SMDC.

Bjorkman, Michael D.↗

DOE OSTI2017

Development of a point-kinetic verification scheme for nuclear reactor applications

In this paper, a new method that can be used for checking the proper implementation of time- or frequency-dependent neutron transport models and for verifying their ability to recover some basic reactor physics properties is proposed. This method makes use of the application of a stationary perturbation to the system at a given frequency and extraction of the point-kinetic component of the system response. Even for strongly heterogeneous systems for which an analytical solution does not exist, the point-kinetic component follows, as a function of frequency, a simple analytical form. The comparison between the extracted point-kinetic component and its expected analytical form provides an opportunity to verify and validate neutron transport solvers. The proposed method is tested on two diffusion-based codes, one working in the time domain and the other working in the frequency domain. As long as the applied perturbation has a non-zero reactivity effect, it is demonstrated that the method can be successfully applied to verify and validate time- or frequency-dependent neutron transport solvers. Although the method is demonstrated in the present paper in a diffusion theory framework, higher order neutron transport methods could be verified based on the same principles.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

DOE OSTI2013

An extensive analysis of the triple W UMa type binary FI BOO

We present a detailed analysis of the interesting W UMa binary FI Boo in view of the spectroscopic signature of a third body through photometry, period variation, and a thorough investigation of solution uniqueness. We obtained new BVR{sub c}I{sub c} photometric data that, when combined with spectroscopic data, enable us to analyze the system FI Boo and determine its basic orbital and physical properties through PHOEBE, as well as the period variation by studying the times of the minima. This combined approach allows us to study the long-term period changes in the system for the first time in order to investigate the presence of a third body and to check extensively the solution uniqueness and the uncertainties of derived parameters. Our modeling indicates that FI Boo is a W-type moderate (f = 50.15% ± 8.10%) overcontact binary with component masses of M {sub h} = 0.40 ± 0.05 M {sub ☉} and M {sub c} = 1.07 ± 0.05 M {sub ☉}, temperatures of T {sub h} = 5746 ± 33 K and T {sub c} = 5420 ± 56 K, and a third body, which may play an important role in the formation and evolution. The results were tested by heuristic scanning and parameter kicking to provide the consistent and reliable set of parameters that was used to obtain the initial masses of the progenitors (1.71 ± 0.10 M {sub ☉} and 0.63 ± 0.01 M {sub ☉}, respectively). We also investigated the evolutionary status of massive components with several sets of widely used isochrones.

79 ASTRONOMY AND ASTROPHYSICS↗

DOE OSTI2017

The Newton constant and gravitational waves in some vector field adjusting mechanisms

At the present, there exist some Lorentz breaking scenarios which explain the smallness of the cosmological constant at the present era [1]–[2]. An important aspect to analyze is the propagation of gravitational waves and the screening or enhancement of the Newton constant G {sub N} in these models. The problem is that the Lorentz symmetry breaking terms may induce an unacceptable value of the Newton constant G {sub N} or introduce longitudinal modes in the gravitational wave propagation. Furthermore this breaking may spoil the standard dispersion relation ω= ck . In [3] the authors have presented a model suggesting that the behavior of the gravitational constant is correct for asymptotic times. In the present work, an explicit checking is made and we finally agree with these claims. Furthermore, it is suggested that the gravitational waves are also well behaved for large times. In the process, some new models with the same behavior are obtained, thus enlarging the list of possible adjustment mechanisms.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

DOE OSTI2014

SU-E-T-64: CG-Based Radiation Therapy Simulator with Physical Modeling for Avoidance of Collisions Between Gantry and Couch Or Patient

Purpose: It is time-consuming and might cause re-planning to check couch-gantry and patient-gantry collisions on a radiotherapy machine when using couch rotations for non-coplanar beam angles. The aim of this study was to develop a computer-graphics (CG)-based radiation therapy simulator with physical modeling for avoidance of collisions between gantry and couch or patient on a radiotherapy machine. Methods: The radiation therapy simulator was three-dimensionally constructed including a radiotherapy machine (Clinac iX, Varian Medical Systems), couch, and radiation treatment room according to their designs by using a physical-modeling-based computer graphics software (Blender, free and open-source). Each patient was modeled by applying a surface rendering technique to their planning computed tomography (CT) images acquired from 16-slice CT scanner (BrightSpeed, GE Healthcare). Immobilization devices for patients were scanned by the CT equipment, and were rendered as the patient planning CT images. The errors in the collision angle of the gantry with the couch or patient between gold standards and the estimated values were obtained by fixing the gantry angle for the evaluation of the proposed simulator. Results: The average error of estimated collision angles to the couch head side was -8.5% for gantry angles of 60 to 135 degree, and -5.5% for gantry angles of 225 to 300 degree. Moreover, the average error of estimated collision angles to the couch foot side was -1.1% for gantry angles of 60 to 135 degree, and 1.4% for gantry angles of 225 to 300 degree. Conclusion: The CG-based radiation therapy simulator could make it possible to estimate the collision angle between gantry and couch or patient on the radiotherapy machine without verifying the collision angles in the radiation treatment room.

60 APPLIED LIFE SCIENCES↗

DOE OSTI2016

TU-H-CAMPUS-TeP2-05: Selective Protection of Normal Tissue by Cerium Oxide Nanoparticles During Radiation Therapy

Purpose: Cerium oxide nanoparticles (CONPs) have unique pH dependent properties such that they act as a radical modulator. These properties may be used in radiation therapy (RT) to protect normal tissue. This work investigates the selective radioprotection of CONPs in-vitro and potential for in-situ delivery of CONPs in prostate cancer RT. Methods: i) Normal human umbilical vein endothelial cells (HUVEC) and human prostate cancer cells (PC-3) were treated with 0 or 2 ng/mL CONPs (NP size: 5 nm). 2 Gy of 100 kVp radiation was delivered to the cells 4 hours after the CONP treatment. Cell viability was checked 48 hours later using MTS assays. ii) A prostate tumor was modeled as a 2-cm diameter sphere. CONPs were proposed to be loaded in a hollow radiotherapy fiducial marker. The concentration profile for the CONPs within the tumor was modeled with a previously validated diffusion equation employed in other studies for nanoparticles 10 nm or less. Results: i) Without radiation, cell viability was above 90% when treated with 2 ng/mL CONPs for both HUVEC and PC-3. After irradiation, a slightly higher viability was observed in HUVEC with CONPs than the ones without CONPs, and this effect was not observed in PC-3. ii) Based on the calculations, 2 ng/mL of CONPs could be delivered to normal cells by diffusion with a 1 µg/mL initial concentration within two weeks. Conclusion: We conclude that CONPs can provide selective radioprotection. The delivery of needed concentrations of CONPs is feasible via in-situ release from radiotherapy biomaterials (e.g. fiducials) loaded with the CONPs.

60 APPLIED LIFE SCIENCES↗

DOE OSTI2017

Kip, Version 1.0

This high-performance ray tracing library provides very fast rendering, compact code, type flexibility via C++ 'generic programming' techniques, and ease of use through an application programming interface (API) that functions independently of any GUI, on-screen display, or other enclosing application. Kip supports constructive solid geometry models based on any of several built-in shapes and operators and allows for new, user-defined shapes and operators. Additional features include basic texturing, input/output of models using a simple human-readable file format with full error checking and detailed diagnostics, and support for shared data parallelism. Kip is written in pure, ANSI Standard C++, is entirely platform independent, and is very easy to use, as it requires no build system, configuration or installation scripts, wizards, special preprocessing, makefiles, or external libraries.

Staley, Martin↗

DOE OSTI2024

Utah FORGE: GES Well 16A(78)-32 and Well 16B(78)-32 Stimulation Seismic Event Catalogs

This dataset contains seismic event catalogs from the hydraulic stimulation of wells 16A(78)-32 and 16B(78)-32 at the Utah FORGE site in April 2024. The data was collected by Geo Energy Suisse (GES) using a variety of seismic monitoring technologies, including 3-component (3C) geophones and distributed acoustic sensing (DAS) systems. These technologies were deployed across several locations, including wells 16A, 16B, and Delano-1, with sensor arrays at multiple depths to capture microseismic activity during the stimulations. The catalogs provide both real-time and manually checked seismic event locations, with detailed parameters such as trigger conditions, velocity models, and data acquisition settings. The dataset includes information on the stimulation stages, event rates, and hydraulic injection conditions for each well, with a report detailing the data acquisition configuration and seismic event location methodologies. Users will need to reference the included report for a complete understanding of the sensor network, data processing techniques, and accuracy considerations.

15 GEOTHERMAL ENERGY↗