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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,153 records · Page 64

All sources NASA NTRS DOE OSTI

NASA NTRS1993

Development of a software safety process and a case study of its use

The goal of this research is to continue the development of a comprehensive approach to software safety and to evaluate the approach with a case study. The case study is a major part of the project, and it involves the analysis of a specific safety-critical system from the medical equipment domain. The particular application being used was selected because of the availability of a suitable candidate system. We consider the results to be generally applicable and in no way particularly limited by the domain. The research is concentrating on issues raised by the specification and verification phases of the software lifecycle since they are central to our previously-developed rigorous definitions of software safety. The theoretical research is based on our framework of definitions for software safety. In the area of specification, the main topics being investigated are the development of techniques for building system fault trees that correctly incorporate software issues and the development of rigorous techniques for the preparation of software safety specifications. The research results are documented. Another area of theoretical investigation is the development of verification methods tailored to the characteristics of safety requirements. Verification of the correct implementation of the safety specification is central to the goal of establishing safe software. The empirical component of this research is focusing on a case study in order to provide detailed characterizations of the issues as they appear in practice, and to provide a testbed for the evaluation of various existing and new theoretical results, tools, and techniques. The Magnetic Stereotaxis System is summarized.

Knight, John C.↗

NASA NTRSDate not supplied

Verification of Viscous Goal-Based Anisotropic Mesh Adaptation

Adaptive unstructured mesh techniques have a limited, but growing impact on production analysis workflows where the control of discretization error is critical to obtaining reliable simulation results. Recent progress has matured a number of independent implementations of flow solvers, anisotropic metric construction methods, and anisotropic mesh adaptation mechanics. A key ingredient for the broader acceptance of unstructured mesh adaptation is the verification of these implementations. Anisotropic metric construction methods are evaluated with analytically defined primal fields and the corresponding entropy variables as adjoint fields. This allows the comparison of different metric formulations and different implementations of the same formulation without the complications of a flow and adjoint solution method. The convergence of the output associated with the entropy variable adjoint is studied for mesh adaptation to these fields and a manufactured solution. Mesh adapted drag output is studied for two simple wings in compressible laminar flow to show fine-mesh convergence of multiple metric construction methods to less than a single drag count. The documentation of these verification exercises helps to prepare these goal-based methods for routine use in more complex simulations for production workflows.

mesh adaptation↗

NASA NTRSDate not supplied

Design, Formalization, and Verification of Decision Making for Intelligent Systems

The development of autonomous systems requires a rigorous process that can guarantee a system’s reliability in critical applications. At its core, an autonomous system bases its behavior on a well-defined decision making system. In this paper, we present a methodological basis for the design, formalization and formal verification of Decision Making systems for autonomous agents. The approach is generally applicable to operational objectives that can be functionally decomposed and subsequently represented as Hierarchical Finite State Machines. As a case study, we present the application of this method to implement a Decision Making model in Simulink. Furthermore, we present how we use NASA’s FRET tool to write requirements in structured natural language and generate formal specifications that can be automatically digested by NASA’s CoCoSim tool. Finally, we present how, by leveraging CoCoSim, we perform formal verification against the Simulink model and present analysis results.

Model-based development↗

NASA NTRSDate not supplied

Design, Formalization, and Verification of Decision Making for Intelligent Systems

Model-based development↗

DOE OSTI2014

SU-E-T-335: Transit Dosimetry for Verification of Dose Delivery Using Electronic Portal Imaging Device (EPID)

Purpose: To evaluate the effectiveness of transit dose, measured with an electronic portal imaging device (EPID), in verifying actual dose delivery to patients. Methods: Plans of 5 patients with lung cancer, who received IMRT treatment, were examined using homogeneous solid water phantom and inhomogeneous anthropomorphic phantom. To simulate error in patient positioning, the anthropomorphic phantom was displaced from 5 mm to 10 mm in the inferior to superior (IS), superior to inferior (SI), left to right (LR), and right to left (RL) directions. The transit dose distribution was measured with EPID and was compared to the planed dose using gamma index. Results: Although the average passing rate based on gamma index (GI) with a 3% dose and a 3 mm distance-to-dose agreement tolerance limit was 94.34 % for the transit dose with homogeneous phantom, it was reduced to 84.63 % for the transit dose with inhomogeneous anthropomorphic phantom. The Result also shows that the setup error of 5mm (10mm) in IS, SI, LR and SI direction can Result in the decrease in values of GI passing rates by 1.3% (3.0%), 2.2% (4.3%), 5.9% (10.9%), and 8.9% (16.3%), respectively. Conclusion: Our feasibility study suggests that the transit dose-based quality assurance may provide information regarding accuracy of dose delivery as well as patient positioning.

60 APPLIED LIFE SCIENCES↗

DOE OSTI2022

Global gyrokinetic study of shaping effects on electromagnetic modes at NSTX aspect ratio with ad hoc parallel magnetic perturbation effects

Plasma shaping may have a stronger effect on global turbulence in tight-aspect-ratio tokamaks than in conventional-aspect-ratio tokamaks due to the higher toroidicity and more acute poloidal asymmetry in the magnetic field. In addition, previous local gyrokinetic studies have shown that it is necessary to include parallel magnetic field perturbations in order to accurately compute growth rates of electromagnetic modes in tight-aspect-ratio tokamaks. In this work, the effects of elongation and triangularity on global, ion-scale, linear electromagnetic modes are studied at National Spherical Torus Experiment (NSTX) aspect ratio and high plasma β using the global gyrokinetic particle-in-cell code XGC. The effects of compressional magnetic perturbations are approximated via a well-known modification to the particle drifts that was developed for flux-tube simulations [Joiner et al., Phys. Plasmas 17, 072104 (2010)], without proof of its validity in a global simulation, with the gyrokinetic codes GENE and GEM being used for local verification and global cross-verification. Magnetic equilibria are re-constructed for each distinct plasma profile that is used. Coulomb collision effects are not considered. Within the limitations imposed by the present study, it is found that linear growth rates of electromagnetic modes (collisionless microtearing modes and kinetic ballooning modes) are significantly reduced in a high-elongation and high-triangularity NSTX-like geometry compared to a circular NSTX-like geometry. For example, growth rates of kinetic ballooning modes at high- β are reduced to the level of that of collisionless trapped electron modes.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

DOE OSTI2016

A method for verification of treatment delivery in HDR prostate brachytherapy using a flat panel detector for both imaging and source tracking

Purpose: Verification of high dose rate (HDR) brachytherapy treatment delivery is an important step, but is generally difficult to achieve. A technique is required to monitor the treatment as it is delivered, allowing comparison with the treatment plan and error detection. In this work, we demonstrate a method for monitoring the treatment as it is delivered and directly comparing the delivered treatment with the treatment plan in the clinical workspace. This treatment verification system is based on a flat panel detector (FPD) used for both pre-treatment imaging and source tracking. Methods: A phantom study was conducted to establish the resolution and precision of the system. A pretreatment radiograph of a phantom containing brachytherapy catheters is acquired and registration between the measurement and treatment planning system (TPS) is performed using implanted fiducial markers. The measured catheter paths immediately prior to treatment were then compared with the plan. During treatment delivery, the position of the {sup 192}Ir source is determined at each dwell position by measuring the exit radiation with the FPD and directly compared to the planned source dwell positions. Results: The registration between the two corresponding sets of fiducial markers in the TPS and radiograph yielded a registration error (residual) of 1.0 mm. The measured catheter paths agreed with the planned catheter paths on average to within 0.5 mm. The source positions measured with the FPD matched the planned source positions for all dwells on average within 0.6 mm (s.d. 0.3, min. 0.1, max. 1.4 mm). Conclusions: We have demonstrated a method for directly comparing the treatment plan with the delivered treatment that can be easily implemented in the clinical workspace. Pretreatment imaging was performed, enabling visualization of the implant before treatment delivery and identification of possible catheter displacement. Treatment delivery verification was performed by measuring the source position as each dwell was delivered. This approach using a FPD for imaging and source tracking provides a noninvasive method of acquiring extensive information for verification in HDR prostate brachytherapy.

60 APPLIED LIFE SCIENCES↗

DOE OSTI2012

Potential Collaborative Research topics with Korea’s Agency for Defense Development

This presentation provides a high level summary of current research activities at the Los Alamos National Laboratory (LANL)-University of California Jacobs School of Engineering (UCSD) Engineering Institute that will be presented at Korea's Agency for Defense Development (ADD). These research activities are at the basic engineering science level with different level of maturity ranging from initial concepts to field proof-of-concept demonstrations. We believe that all of these activities are appropriate for collaborative research activities with ADD subject to approval by each institution. All the activities summarized herein have the common theme that they are multi-disciplinary in nature and typically involved the integration of high-fidelity predictive modeling, advanced sensing technologies and new development in information technology. These activities include: Wireless Sensor Systems, Swarming Robot sensor systems, Advanced signal processing (compressed sensing) and pattern recognition, Model Verification and Validation, Optimal/robust sensor system design, Haptic systems for large-scale data processing, Cyber-physical security for robots, Multi-source energy harvesting, Reliability-based approaches to damage prognosis, SHMTools software development, and Cyber-physical systems advanced study institute.

42 ENGINEERING↗

DOE OSTI2012

Voxel-Based Dose Reconstruction for Total Body Irradiation With Helical TomoTherapy

Purpose: We have developed a megavoltage CT (MVCT)-based dose reconstruction strategy for total body irradiation (TBI) with helical TomoTherapy (HT) using a deformable registration model to account for the patient's interfraction changes. The proposed technique serves as an efficient tool for delivered dose verification and, potentially, plan adaptation. Methods and Materials: Four patients with acute myelogenous leukemia treated with TBI using HT were selected for this study. The prescription was 12 Gy, 2 Gy/fraction, twice per day, given at least 6 h apart. The original plan achieved coverage of 80% of the clinical target volume (CTV) by the 12 Gy isodose surface. MVCTs were acquired prior to each treatment. Regions of interest were contoured on each MVCT. The dose for each fraction was calculated based on the MVCT using the HT planned adaptive station. B-spline deformable registration was conducted to establish voxel-to-voxel correspondence between the MVCT and the planning CT. The resultant deformation vector was employed to map the reconstructed dose from each fraction to the same point as the plan dose, and a voxel-to-voxel summed dose from all six fractions was obtained. The reconstructed dose distribution and its dosimetric parameters were compared with those of the original treatment plan. Results: While changes in CTV contours occurred in all patients, the reconstructed dose distribution showed that the dose-volume histogram for CTV coverage was close (<1.5%) to that of the original plan. For sensitive structures, the differences between the reconstructed and the planned doses were less than 3.0%. Conclusion: Voxel-based dose reconstruction strategy that takes into account interfraction anatomical changes using MVCTs is a powerful tool for treatment verification of the delivered doses. This proposed technique can also be applied to adaptive TBI therapy using HT.

62 RADIOLOGY AND NUCLEAR MEDICINE↗

NASA NTRS2024

Population Accommodation for NASA Spacesuit and Hardware

The goal of this work is to review the population accommodation principles and methodologies NASA Johnson Space Center has developed for the spacesuit, vehicle hardware, and habitats. NASA has defined the target population characteristics in the Human-System Integration Requirements based on the US Army Anthropometric Survey (ANSUR) database. However, the data was screened to select the cases of 30-50 year old subjects, given the historical characteristics of the crew. Further, accommodation ranges were defined for critical body measurements, as NASA aims to accommodate 1st percentile female to 99th percentile male of the crew-like population. The historical truncation thresholds of 5-95th percentiles were not used. This ensured that the accommodation range was not limited and accounted for the current astronaut population. A simulation study also showed that less than 68% of the population may have remained after multiple measurement truncations due to the anthropometry covariance patterns if the narrower range was retained. The ranges were also adjusted for long-term trends of body shape changes as predicted by the US National Health and Nutrition Examination Survey. Overall, the requirements were deemed critical to ensure the fit and accommodation of the new suit and space hardware. The requirements have specifically defined boundary cases for verifications and validations, of which the details have proven useful as standards across the different space programs. The specific use and benefits will be further discussed through case studies at the presentation.

Han Kim↗

DOE OSTI2013

Dosimetric properties of an amorphous silicon EPID for verification of modulated electron radiotherapy

Purpose: To investigate the dosimetric properties of an electronic portal imaging device (EPID) for electron beam detection and to evaluate its potential for quality assurance (QA) of modulated electron radiotherapy (MERT). Methods: A commercially available EPID was used to detect electron beams shaped by a photon multileaf collimator (MLC) at a source-surface distance of 70 cm. The fundamental dosimetric properties such as reproducibility, dose linearity, field size response, energy response, and saturation were investigated for electron beams. A new method to acquire the flood-field for the EPID calibration was tested. For validation purpose, profiles of open fields and various MLC fields (square and irregular) were measured with a diode in water and compared to the EPID measurements. Finally, in order to use the EPID for QA of MERT delivery, a method was developed to reconstruct EPID two-dimensional (2D) dose distributions in a water-equivalent depth of 1.5 cm. Comparisons were performed with film measurement for static and dynamic monoenergy fields as well as for multienergy fields composed by several segments of different electron energies. Results: The advantageous EPID dosimetric properties already known for photons as reproducibility, linearity with dose, and dose rate were found to be identical for electron detection. The flood-field calibration method was proven to be effective and the EPID was capable to accurately reproduce the dose measured in water at 1.0 cm depth for 6 MeV, 1.3 cm for 9 MeV, and 1.5 cm for 12, 15, and 18 MeV. The deviations between the output factors measured with EPID and in water at these depths were within {+-}1.2% for all the energies with a mean deviation of 0.1%. The average gamma pass rate (criteria: 1.5%, 1.5 mm) for profile comparison between EPID and measurements in water was better than 99% for all the energies considered in this study. When comparing the reconstructed EPID 2D dose distributions at 1.5 cm depth to film measurements, the gamma pass rate (criteria: 2%, 2 mm) was better than 97% for all the tested cases. Conclusions: This study demonstrates the high potential of the EPID for electron dosimetry, and in particular, confirms the possibility to use it as an efficient verification tool for MERT delivery.

62 RADIOLOGY AND NUCLEAR MEDICINE↗

NASA NTRS2017

Open-Source RTOS Space Qualification: An RTEMS Case Study

NASA space-qualification of reusable off-the-shelf real-time operating systems (RTOSs) remains elusive due to several factors notably (1) The diverse nature of RTOSs utilized across NASA, (2) No single NASA space-qualification criteria, lack of verification and validation (V&V) analysis, or test beds, and (3) different RTOS heritages, specifically open-source RTOSs and closed vendor-provided RTOSs. As a leader in simulation test beds, the NASA IV&V Program is poised to help jump-start and lead the space-qualification effort of the open source Real-Time Executive for Multiprocessor Systems (RTEMS) RTOS. RTEMS, as a case-study, can be utilized as an example of how to qualify all RTOSs, particularly the reusable non-commercial (open-source) ones that are gaining usage and popularity across NASA. Qualification will improve the overall safety and mission assurance of RTOSs for NASA-agency wide usage. NASA's involvement in space-qualification of an open-source RTOS such as RTEMS will drive the RTOS industry toward a more qualified and mature open-source RTOS product.

Real-time operating system↗

DOE OSTI2013

Performance parameters of a liquid filled ionization chamber array

Purpose: In this work, the properties of the two-dimensional liquid filled ionization chamber array Octavius 1000SRS (PTW-Freiburg, Germany) for use in clinical photon-beam dosimetry are investigated.Methods: Measurements were carried out at an Elekta Synergy and Siemens Primus accelerator. For measurements of stability, linearity, and saturation effects of the 1000SRS array a Semiflex 31013 ionization chamber (PTW-Freiburg, Germany) was used as a reference. The effective point of measurement was determined by TPR measurements of the array in comparison with a Roos chamber (type 31004, PTW-Freiburg, Germany). The response of the array with varying field size and depth of measurement was evaluated using a Semiflex 31010 ionization chamber as a reference. Output factor measurements were carried out with a Semiflex 31010 ionization chamber, a diode (type 60012, PTW-Freiburg, Germany), and the detector array under investigation. The dose response function for a single detector of the array was determined by measuring 1 cm wide slit-beam dose profiles and comparing them against diode-measured profiles. Theoretical aspects of the low pass properties and of the sampling frequency of the detector array were evaluated. Dose profiles measured with the array and the diode detector were compared, and an intensity modulated radiation therapy (IMRT) field was verified using the Gamma-Index method and the visualization of line dose profiles.Results: The array showed a short and long term stability better than 0.1% and 0.2%, respectively. Fluctuations in linearity were found to be within ±0.2% for the vendor specified dose range. Saturation effects were found to be similar to those reported in other studies for liquid-filled ionization chambers. The detector's relative response varied with field size and depth of measurement, showing a small energy dependence accounting for maximum signal deviations of ±2.6% from the reference condition for the setup used. The σ-values of the Gaussian dose response function for a single detector of the array were found to be (0.72 ± 0.25) mm at 6 MV and (0.74 ± 0.25) mm at 15 MV and the corresponding low pass cutoff frequencies are 0.22 and 0.21 mm{sup −1}, respectively. For the inner 5 × 5 cm{sup 2} region and the outer 11 × 11 cm{sup 2} region of the array the Nyquist theorem is fulfilled for maximum sampling frequencies of 0.2 and 0.1 mm{sup −1}, respectively. An IMRT field verification with a Gamma-Index analysis yielded a passing rate of 95.2% for a 3 mm/3% criterion with a TPS calculation as reference.Conclusions: This study shows the applicability of the Octavius 1000SRS in modern dosimetry. Output factor and dose profile measurements illustrated the applicability of the array in small field and stereotactic dosimetry. The high spatial resolution ensures adequate measurements of dose profiles in regular and intensity modulated photon-beam fields.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

DOE OSTI2016

Identification of fuel cycle simulator functionalities for analysis of transition to a new fuel cycle

Dynamic fuel cycle simulation tools are intended to model holistic transient nuclear fuel cycle scenarios. As with all simulation tools, fuel cycle simulators require verification through unit tests, benchmark cases, and integral tests. Model validation is a vital aspect as well. Although compara-tive studies have been performed, there is no comprehensive unit test and benchmark library for fuel cycle simulator tools. The objective of this paper is to identify the must test functionalities of a fuel cycle simulator tool within the context of specific problems of interest to the Fuel Cycle Options Campaign within the U.S. Department of Energy s Office of Nuclear Energy. The approach in this paper identifies the features needed to cover the range of promising fuel cycle options identified in the DOE-NE Fuel Cycle Evaluation and Screening (E&S) and categorizes these features to facilitate prioritization. Features were categorized as essential functions, integrating features, and exemplary capabilities. One objective of this paper is to propose a library of unit tests applicable to each of the essential functions. Another underlying motivation for this paper is to encourage an international dialog on the functionalities and standard test methods for fuel cycle simulator tools.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

DOE OSTI2019

Investigating mesh sensitivity and polycrystalline RVEs in crystal plasticity finite element simulations.

Abstract not provided.

Lim, Hojun↗

DOE OSTI2022

Verification of neoclassical toroidal viscosity induced by energetic particles

The thermal particles contributed neoclassical toroidal viscosity (NTV) have been successfully developed and explored by many impressive works such as the study by Shaing et al. [Phys. Plasmas 10, 1443 (2003)] and Zhu et al. [Phys. Rev. Lett. 96, 225002 (2006)]. In this work, the scope of the NTV study is extended to explore the contribution of energetic particles (EPs) through both theory and experiments. In theory, the existence of the NTV torque due to the precessional drift resonance of trapped EPs is identified based on the equivalence between the NTV torque and the perturbed drift kinetic energy [J. Park, Phys. Plasmas 18, 110702 (2011)]. Toroidal modeling with the Magneto Resistive Spectrum - drift Kinetic code [Y. Liu, Phys. Plasmas 15, 112503 (2008)], based on this equivalence, indicates that trapped EPs can contribute a significant amount of the NTV torque. Meanwhile, this work also focuses on developing the dedicated DIII-D experiments in the presence of the n = 2 external magnetic perturbation to verify the EP induced NTV (EP-NTV) by measuring the change of the NTV torque while varying the angle and the voltage of the neutral beam injection. However, the developed experiments have been unable to create conditions necessary to clearly demonstrate the presence of EP-NTV. The main challenge is separating the resonant and non-resonant momentum transport responses in the plasma. Finally, the experience, gained from this study, can help the further exploration of EP-NTV in the future experiments.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

DOE OSTI2013

On the use of a single-fiber multipoint plastic scintillation detector for {sup 192}Ir high-dose-rate brachytherapy

Purpose: The goal of this study was to prove the feasibility of using a single-fiber multipoint plastic scintillation detector (mPSD) as an in vivo verification tool during {sup 192}Ir high-dose-rate brachytherapy treatments.Methods: A three-point detector was built and inserted inside a catheter-positioning template placed in a water phantom. A hyperspectral approach was implemented to discriminate the different optical signals composing the light output at the exit of the single collection optical fiber. The mPSD was tested with different source-to-detector positions, ranging from 1 to 5 cm radially and over 10.5 cm along the longitudinal axis of the detector, and with various integration times. Several strategies for improving the accuracy of the detector were investigated. The device's accuracy in detecting source position was also tested.Results: Good agreement with the expected doses was obtained for all of the scintillating elements, with average relative differences from the expected values of 3.4 {+-} 2.1%, 3.0 {+-} 0.7%, and 4.5 {+-} 1.0% for scintillating elements from the distal to the proximal. A dose threshold of 3 cGy improved the general accuracy of the detector. An integration time of 3 s offered a good trade-off between precision and temporal resolution. Finally, the mPSD measured the radioactive source positioning uncertainty to be no more than 0.32 {+-} 0.06 mm. The accuracy and precision of the detector were improved by a dose-weighted function combining the three measurement points and known details about the geometry of the detector construction.Conclusions: The use of a mPSD for high-dose-rate brachytherapy dosimetry is feasible. This detector shows great promise for development of in vivo applications for real-time verification of treatment delivery.

61 RADIATION PROTECTION AND DOSIMETRY↗

DOE OSTI2021

Examining the Ice Nucleating Particles from Southern Great Plains Part II (ExINP-SGP). Field Campaign Report

Knowledge of airborne particulate matter (PM), especially the particles that have supermicron diameters, is key for understanding ice-nucleating particles (INPs). Supported by the Atmospheric Radiation Measurement (ARM) user facility, recent INP measurements at the Southern Great Plains observatory (SGP; 36'' 36' 18→ N, 97° 29' 6'' W) during multiple campaigns, such as SINCE-2014 (DeMott et al. 2015), Examining the Ice-Nucleating Particles from SGP (ExINP-2019; Hiranuma and Vepuri 2020), and Aerosol-Ice Formation Closure Pilot Study (AEROICESTUDY; Knopf et al. 2021a), strongly suggested the contribution of supermicron aerosol particles to observed INP abundance at SGP. However, verification of this hypothesis was hampered since additional offline laboratory analyses require sufficient amounts of collected airborne PM, which was lacking. Therefore, the principal investigators (PIs) conducted a field campaign, named ExINP-SGP II, to collect airborne PM at SGP for complementary laboratory characterization of the particles’ physicochemical properties (including ice nucleation properties). We used a passive particle sampler, which is a 4’ x 4’ x 2” (L x W x D) aluminum pan inside the 12”-high wooden windshield wall at the rooftop deck of the ARM Aerosol Observing System (AOS) trailer to collect dry PM deposits from January to April 2021. Figure 1 shows images of our experimental setup at the site. Additionally, we also collected surface soil near the ARM AOS trailer on 20 November 2020 (Figure 1b) to examine the ground soil dust particles (< 63 µm sieved) for their propensities to initiate immersion freezing compared to collected ambient PM. Surface soil and airborne samples were stored in the chemically inert container separately and kept in a dry, cool place until analyzed.

54 ENVIRONMENTAL SCIENCES↗