Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “verifications”

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 541 records · Page 30
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

Verification of numerical models for seismic fluid-structure interaction analysis of internal components in liquid-filled advanced reactors

Earthquake shaking of a liquid-filled advanced reactor induces fluid-structure interaction (FSI) between the reactor vessel (tank), its internal components, and the contained liquid. Seismic design, qualification, and risk assessment of such reactors must consider fluid-structure responses, their geometries and support conditions, and three-directional seismic inputs, all of which require numerical simulations. Numerical models used for analysis of safety-related nuclear equipment must be verified and validated. Here, this paper verifies numerical models of submerged components using analytical solutions. Seismic FSI analysis of the numerical models is performed using the Arbitrary Lagrangian-Eulerian (ALE) and Incompressible Computational Fluid Dynamics (ICFD) solvers in LS-DYNA. Prior analytical solutions are reworked in this paper, and calculation errors are identified and corrected. The solutions address frequencies of two concentric cylindrical pipes filled with liquid: the inner pipe is a submerged component, and the outer pipe contains the liquid. A unitless frequency coefficient is defined and presented for pipes of different materials, filled with different liquids, and with a range of dimensions for application to advanced reactors. The numerical models are verified here by comparing the lateral frequencies of submerged components with those calculated using the corrected analytical solutions. Recommendations for verification of numerical models of internal components in advanced reactors for seismic FSI analysis are provided. Although the unitless frequency coefficients and verification procedures are developed for application to advanced nuclear reactors, they are broadly applicable to FSI analysis of submerged components in liquid-filled vessels such as storage tanks, boilers, and steam generators.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
DOE OSTI2018

Thermoacoustic range verification in the presence of acoustic heterogeneity and soundspeed errors - Robustness relative to ultrasound image of underlying anatomy

Purpose: To demonstrate robustness of thermooacoustic range verification to acoustic heterogeneity and discrepancies between assumed and true propagation speed, i.e., soundspeed errors. Methods: A beam sweeper was used to deliver 250 ns pulses that deposited 0.26 Gy of 16 MeV protons and 2.3 Gy of 60 MeV helium ions into water and oil targets, respectively. Thermoacoustic signals were detected by a 96-channel ultrasound array with a 1-4 MHz sensitivity band (-6 dB), bandpass filtered and backprojected to create thermoacoustic images in the plane of the ultrasound array. The same soundspeed and transducer array were used to estimate range and generate the ultrasound images onto which Bragg peak locations were overlaid. An air-gap phantom that displaced the Bragg peak by 6.5 mm demonstrated accuracy. Robustness to soundspeed errors was demonstrated in a waterbath as the assumed propagation speed scanner setting was altered by +/- 5%. Tissue-mimicking gelatin and a bone sample were introduced to demonstrate robustness to acoustic heterogeneity relative to ultrasound images of the underlying morphology. Results: Single ion pulse measurements sufficed during the helium run, but signal averaging was required for protons. Moreover, range and entry point into the target were estimated from data collected by transducers placed at least 6 cm distal to the Bragg peak. When ultrasound images depicted the air-target interface where the beam enters, estimates of the entry point agreed with ultrasound images and range estimates agreed with Monte Carlo simulations to within 300 mu m, even when thermoacoustic emissions traveled through a strongly scattering bone sample. Estimated Bragg peak locations were translated 6.5 mm by the air-gap phantom and correctly identified scenarios when the beam stopped inside the bone. Conclusions: Soundspeed errors dilate and acoustic heterogeneities deform ultrasound images. When thermoacoustic receivers are co-located with the ultrasound imaging array, the same transformations shift thermoacoustic range estimates. Hence, thermoacoustic range verification is robust relative to ultrasound images of underlying anatomy. When the treatment target is visible in ultrasound, e.g., prostate, online thermoacoustic range estimates could verify that the treatment spot is inside the target.

47 OTHER INSTRUMENTATION↗
DOE OSTI2014

Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges

In this work, we present a combination of approaches for the verification of event-condition-action (ECA) systems. The analyzed ECA systems range from structurally simple to structurally complex systems. We address the verification of reachability properties and behavioral properties. Reachability properties are represented by assertions in the program and we determine statically whether an assertion holds for all execution paths. Behavioral properties are represented as linear temporal logic formulas specifying the input/output behavior of the program. Our approach assumes a finite state space. We compare a symbolic analysis with an exhaustive state space exploration and discuss the trade-offs between the approaches in terms of the number of computed states and run-time behavior. All variants compute a state transition graph which can also be passed to an LTL verifier. The variants have a different impact on the number of computed states in the state transition graph which in turn impacts the run-time and memory consumption of subsequent phases. Finally, we evaluate the different analysis variants with the RERS benchmarks.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2012

Intrafraction Verification of Gated RapidArc by Using Beam-Level Kilovoltage X-Ray Images

Purpose: To verify the geometric accuracy of gated RapidArc treatment using kV images acquired during dose delivery. Methods and Materials: Twenty patients were treated using the gated RapidArc technique with a Varian TrueBeam STx linear accelerator. One to 7 metallic fiducial markers were implanted inside or near the tumor target before treatment simulation. For patient setup and treatment verification purposes, the internal target volume (ITV) was created, corresponding to each implanted marker. The gating signal was generated from the Real-time Position Management (RPM) system. At the beginning of each fraction, individualized respiratory gating amplitude thresholds were set based on fluoroscopic image guidance. During the treatment, we acquired kV images immediately before MV beam-on at every breathing cycle, using the on-board imaging system. After the treatment, all implanted markers were detected, and their 3-dimensional (3D) positions in the patient were estimated using software developed in-house. The distance from the marker to the corresponding ITV was calculated for each patient by averaging over all markers and all fractions. Results: The average 3D distance between the markers and their ITVs was 0.8 {+-} 0.5 mm (range, 0-1.7 mm) and was 2.1 {+-} 1.2 mm at the 95th percentile (range, 0-3.8 mm). On average, a left-right margin of 0.6 mm, an anterior-posterior margin of 0.8 mm, and a superior-inferior margin of 1.5 mm is required to account for 95% of the intrafraction uncertainty in RPM-based RapidArc gating. Conclusion: To our knowledge, this is the first clinical report of intrafraction verification of respiration-gated RapidArc treatment in stereotactic ablative radiation therapy. For some patients, the markers deviated significantly from the ITV by more than 2 mm at the beginning of the MV beam-on. This emphasizes the need for gating techniques with beam-on/-off controlled directly by the actual position of the tumor target instead of external surrogates such as RPM.

62 RADIOLOGY AND NUCLEAR MEDICINE↗
DOE OSTI2017

Clinical Implementation of a Model-Based In Vivo Dose Verification System for Stereotactic Body Radiation Therapy–Volumetric Modulated Arc Therapy Treatments Using the Electronic Portal Imaging Device

Purpose: To report findings from an in vivo dosimetry program implemented for all stereotactic body radiation therapy patients over a 31-month period and discuss the value and challenges of utilizing in vivo electronic portal imaging device (EPID) dosimetry clinically. Methods and Materials: From December 2013 to July 2016, 117 stereotactic body radiation therapy–volumetric modulated arc therapy patients (100 lung, 15 spine, and 2 liver) underwent 602 EPID-based in vivo dose verification events. A developed model-based dose reconstruction algorithm calculates the 3-dimensional dose distribution to the patient by back-projecting the primary fluence measured by the EPID during treatment. The EPID frame-averaging was optimized in June 2015. For each treatment, a 3%/3-mm γ comparison between our EPID-derived dose and the Eclipse AcurosXB–predicted dose to the planning target volume (PTV) and the ≥20% isodose volume were performed. Alert levels were defined as γ pass rates <85% (lung and liver) and <80% (spine). Investigations were carried out for all fractions exceeding the alert level and were classified as follows: EPID-related, algorithmic, patient setup, anatomic change, or unknown/unidentified errors. Results: The percentages of fractions exceeding the alert levels were 22.6% for lung before frame-average optimization and 8.0% for lung, 20.0% for spine, and 10.0% for liver after frame-average optimization. Overall, mean (± standard deviation) planning target volume γ pass rates were 90.7% ± 9.2%, 87.0% ± 9.3%, and 91.2% ± 3.4% for the lung, spine, and liver patients, respectively. Conclusions: Results from the clinical implementation of our model-based in vivo dose verification method using on-treatment EPID images is reported. The method is demonstrated to be valuable for routine clinical use for verifying delivered dose as well as for detecting errors.

62 RADIOLOGY AND NUCLEAR MEDICINE↗
DOE OSTI2020

Code-verification techniques for hypersonic reacting flows in thermochemical nonequilibrium

The study of hypersonic flows and their underlying aerothermochemical reactions is particularly important in the design and analysis of vehicles exiting and reentering Earth's atmosphere. Computational physics codes can be employed to simulate these phenomena; however, code verification of these codes is necessary to certify their credibility. To date, few approaches have been presented for verifying codes that simulate hypersonic flows, especially flows reacting in thermochemical nonequilibrium. In this work, we present our code-verification techniques for verifying the spatial accuracy and thermochemical source term in hypersonic reacting flows in thermochemical nonequilibrium. Additionally, we demonstrate the effectiveness of these techniques on the Sandia Parallel Aerodynamics and Reentry Code (SPARC).

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2023

Code-verification techniques for the method-of-moments implementation of the magnetic-field integral equation

For computational physics simulations, code verification plays a major role in establishing the credibility of the results by assessing the correctness of the implementation of the underlying numerical methods. In computational electromagnetics, surface integral equations, such as the method-of-moments implementation of the magnetic-field integral equation, are frequently used to solve Maxwell's equations on the surfaces of electromagnetic scatterers. These electromagnetic surface integral equations yield many code-verification challenges due to the various sources of numerical error and their possible interactions. In this paper, we provide approaches to separately measure the numerical errors arising from these different error sources. We demonstrate the effectiveness of these approaches for cases with and without coding errors.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2023

Code-verification techniques for the method-of-moments implementation of the combined-field integral equation

Code verification plays an important role in establishing the credibility of computational simulations by assessing the correctness of the implementation of the underlying numerical methods. In computational electromagnetics, the numerical solution to integral equations incurs multiple interacting sources of numerical error, as well as other challenges, which render traditional code-verification approaches ineffective. In this paper, we provide approaches to separately measure the numerical errors arising from these different error sources for the method-of-moments implementation of the combined-field integral equation. Here, we demonstrate the effectiveness of these approaches for cases with and without coding errors.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2022

Verification of Bison fission product species conservation under TRISO reactor conditions

When assessing the reliability and predictive capabilities of a simulation tool, code verification is used to ensure that the implemented numerical algorithm is a faithful representation of its underlying mathematical model, including partial differential or integral equations, initial and boundary conditions, and auxiliary relationships. During this process, numerical results in a discrete solution are compared to the analytical solution of the mathematical model. Here, in this paper, the code verification process is applied to one-dimensional spatiotemporal problems that exercise partial differential equation governing the conservation of fission product species (or mass diffusion). Numerical experiments were performed in the Bison fuel performance code to evaluate its predictive capability under various TRISO reactor conditions such as base irradiation and safety heating test conditions for either short- or long-lived fission product species, as well as a case concerning evaporation from the outer surface of a particle. The code predictions were compared with the expected exact results obtained from the analytical expressions, and the fact that they demonstrate the correct analytical behavior provides strong evidence of proper numerical algorithm implementation.

07 ISOTOPE AND RADIATION SOURCES↗
DOE OSTI2012

Field match verification during combination proton, photon, and electron therapy for oligometastatic inflammatory breast cancer

Postmastectomy radiation therapy (PMRT) has been shown in randomized trials to improve overall survival for patients with locally advanced breast cancer. The standard PMRT clinical target volume (CTV) encompasses the chest wall and undissected regional lymphatics. Conformal isodose distributions covering the standard CTV with acceptable dose limits to normal tissue can typically be achieved with a combination of photon and electron fields. Field borders are marked on the patient's skin using a light field projection of each beam and are subsequently used to verify daily field matching clinically. Initial imaging of a patient with oligometastatic inflammatory breast cancer demonstrated direct extension of disease from the involved internal mammary lymph node chain into the anterior mediastinum as the only site of metastatic disease. The patient achieved a pathologic complete response to neoadjuvant chemotherapy and underwent mastectomy. The initial sites of gross disease, including the anterior mediastinal node was included in the CTV for PMRT, and treatment planning demonstrated a clear advantage to the inclusion of proton fields in this case. The absence of a light source on the proton delivery system that accurately projects proton field edges onto the patient's skin posed a significant challenge for daily verification of proton-to-photon and -electron field matching. Proton field-specific radiographic imaging devices were designed and used such that proton field edges could be delineated on the patient's skin and used for daily matching with photon and electron fields. Manufacture of the imaging devices was quick and inexpensive. Weekly verification of proton field alignment with the proton field delineation on the skin demonstrated agreement within 3-mm tolerance. The patient remains with no evidence of disease 18 months after completing radiation. Other patients with similar indications may benefit from multimodality radiation therapy.

61 RADIATION PROTECTION AND DOSIMETRY↗
DOE OSTI2013

Reinforcing of QA/QC programs in radiotherapy departments in Croatia: Results of treatment planning system verification

Implementation of advanced techniques in clinical practice can greatly improve the outcome of radiation therapy, but it also makes the process much more complex with a lot of room for errors. An important part of the quality assurance program is verification of treatment planning system (TPS). Dosimetric verifications in anthropomorphic phantom were performed in 4 centers where new systems were installed. A total of 14 tests for 2 photon energies and multigrid superposition algorithms were conducted using the CMS XiO TPS. Evaluation criteria as specified in the International Atomic Energy Agency Technical Reports Series (IAEA TRS) 430 were employed. Results of measurements are grouped according to the placement of the measuring point and the beam energy. The majority of differences between calculated and measured doses in the water-equivalent part of the phantom were in tolerance. Significantly more out-of-tolerance values were observed in “nonwater-equivalent” parts of the phantom, especially for higher-energy photon beams. This survey was done as a part of continuous effort to build up awareness of quality assurance/quality control (QA/QC) importance in the Croatian radiotherapy community. Understanding the limitations of different parts of the various systems used in radiation therapy can systematically improve quality as well.

61 RADIATION PROTECTION AND DOSIMETRY↗
DOE OSTI2015

Dosimetric verification of stereotactic radiosurgery/stereotactic radiotherapy dose distributions using Gafchromic EBT3

Aim of this study is to examine the feasibility of using the new Gafchromic EBT3 film in a high-dose stereotactic radiosurgery and radiotherapy quality assurance procedure. Owing to the reduced dimensions of the involved lesions, the feasibility of scanning plan verification films on the scanner plate area with the best uniformity rather than using a correction mask was evaluated. For this purpose, signal values dispersion and reproducibility of film scans were investigated. Uniformity was then quantified in the selected area and was found to be within 1.5% for doses up to 8 Gy. A high-dose threshold level for analyses using this procedure was established evaluating the sensitivity of the irradiated films. Sensitivity was found to be of the order of centiGray for doses up to 6.2 Gy and decreasing for higher doses. The obtained results were used to implement a procedure comparing dose distributions delivered with a CyberKnife system to planned ones. The procedure was validated through single beam irradiation on a Gafchromic film. The agreement between dose distributions was then evaluated for 13 patients (brain lesions, 5 Gy/die prescription isodose ~80%) using gamma analysis. Results obtained using Gamma test criteria of 5%/1 mm show a pass rate of 94.3%. Gamma frequency parameters calculation for EBT3 films showed to strongly depend on subtraction of unexposed film pixel values from irradiated ones. In the framework of the described dosimetric procedure, EBT3 films proved to be effective in the verification of high doses delivered to lesions with complex shapes and adjacent to organs at risk.

61 RADIATION PROTECTION AND DOSIMETRY↗
DOE OSTI2016

Linear models to perform treaty verification tasks for enhanced information security

Linear mathematical models were applied to binary-discrimination tasks relevant to arms control verification measurements in which a host party wishes to convince a monitoring party that an item is or is not treaty accountable. These models process data in list-mode format and can compensate for the presence of variability in the source, such as uncertain object orientation and location. The Hotelling observer applies an optimal set of weights to binned detector data, yielding a test statistic that is thresholded to make a decision. The channelized Hotelling observer applies a channelizing matrix to the vectorized data, resulting in a lower dimensional vector available to the monitor to make decisions. We demonstrate how incorporating additional terms in this channelizing-matrix optimization offers benefits for treaty verification. We present two methods to increase shared information and trust between the host and monitor. The first method penalizes individual channel performance in order to maximize the information available to the monitor while maintaining optimal performance. Second, we present a method that penalizes predefined sensitive information while maintaining the capability to discriminate between binary choices. Data used in this study was generated using Monte Carlo simulations for fission neutrons, accomplished with the GEANT4 toolkit. Custom models for plutonium inspection objects were measured in simulation by a radiation imaging system. Model performance was evaluated and presented using the area under the receiver operating characteristic curve.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

Characterizing the Experiment for Calibration with Uranium (Excalibur) neutron source for use in warhead verification

Neutron sources can play a variety of roles in warhead verification. For transmission radiography, a source of directed high energy neutrons is required, while for applications to detect fissile isotopes, sub-MeV neutrons are preferred. The Excalibur (Experiment for Calibration with Uranium) neutron source has been built and used in a variety of verification-related experiments. Excalibur is based on a commercial deuterium-tritium neutron generator specified and measured to be capable of producing 14 MeV neutrons at rates of up to 8.2 × 10 8 neutrons/s. Here, the generator is enclosed in a carbon-steel 32" diameter, 23.62" high carbon-steel cylinder that moderates the mean neutron energy to under 500 keV. This, in turn, is encased in 5%-borated polyethylene such that the entire assembly is a 48" x 48" box that is 30" tall. For radiographic applications, a narrow, tapered channel in the steel and polyethylene allows 14 MeV neutrons to stream directly from the generator to a test object. Its collimating capability is demonstrated by measuring the neutron flux profile. In the moderated mode of operation, the generator is fully enclosed in the steel, but a large section of the polyethylene is removed, providing a flux of sub-MeV neutrons from a wide range of angles. Neutron angular and spectral measurements using both a nested neutron spectrometer and a commercial liquid scintillator coupled with a 3 He detector show the expected softer neutron spectrum in moderated mode in good agreement with MCNP6 calculations. The gamma-ray spectrum from Excalibur is also in good agreement with MCNP modeling. Based on these findings, the future application of Excalibur in its two configurations is discussed.

Fissile material detection↗
DOE OSTI2019

Development and Verification of a Numerical Library for Solving Global Terrestrial Multiphysics Problems

Abstract Current generation Land Surface Models (LSMs) routinely simulate many nonlinear multiphysics processes. The complexity of future generation LSMs is expected to increase as critical new biophysical and biogeochemical processes are incorporated. Current generation LSMs have several shortcomings including the lack of robust numerical methods to solve discretized equations, monolithic software design that hinders testing of a process representation in isolation from other components, and absence of a flexible coupling framework to solve tightly coupled multiphysics problems. While the LSMs community vigorously evaluates the accuracy of the conceptual model to represent reality (validation), the accuracy of the numerical implementation of the conceptual model (verification) is seldom examined. Method of Manufactured Solutions is a technique for verifying complex codes when analytical solutions are unavailable. In this work, we present a stand‐alone, open source numerical library for solving global terrestrial multiphysics processes that includes a flexible coupling framework. Robust numerical solution for linear and nonlinear equations is provided via the Portable, Extensible Toolkit for Scientific Computation library. We verify the numerical library using Method of Manufactured Solutions for a range of problems comprising single and multiphysics steady state problems that are applied in one or multiple physical domains. This work provides an example of incorporating code verification as an integral part of Land Surface Model development activities.

58 GEOSCIENCES↗
DOE OSTI2012

An isocenter detection and verification device for use in proton therapy

We developed a new device for isocenter detection and verification for use in proton therapy. This device can be used to confirm the isocenters of a room laser, a digital radiography system, and a rotational gantry. Agreement between the isocenters of a room laser and a digital radiography system was examined visually. We used the star-shots method for detecting and verifying the rotational gantry isocenter. The gafchromic film could be irradiated with this method using a 2 mm slitted 200 MeV proton beam. The isocenters of a room laser and digital radiography system were in good agreement. The size distribution of the isocenter by the star-shots method was <2 mm, which is the value recommended by the American Association of Physicists in Medicine Task Group 142. This new device can be used to evaluate comprehensive isocenter detection and verification for related equipment. Subsequent checking using this new device will decrease the uncertainty in measuring an isocenter. When using this device, the working time was significantly reduced to about 30 min, including preparation. These measurements should be useful for high accuracy daily treatments.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2014

The monitoring and verification of nuclear weapons

This paper partially reviews and updates the potential for monitoring and verification of nuclear weapons, including verification of their destruction. Cooperative monitoring with templates of the gamma-ray spectrum are an important tool, dependent on the use of information barriers.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗
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↗