Engineering Papers⌕ Search

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.

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

At least 523 records · Page 29

Formal Methods for Automated Diagnosis of Autosub 6000

This is a progress report on applying formal methods in the context of building an automated diagnosis and recovery system for Autosub 6000, an Autonomous Underwater Vehicle (AUV). The diagnosis task involves building abstract models of the control system of the AUV. The diagnosis engine is based on Livingstone 2, a model-based diagnoser originally built for aerospace applications. Large parts of the diagnosis model can be built without concrete knowledge about each mission, but actual mission scripts and configuration parameters that carry important information for diagnosis are changed for every mission. Thus we use formal methods for generating the mission control part of the diagnosis model automatically from the mission script and perform a number of invariant checks to validate the configuration. After the diagnosis model is augmented with the generated mission control component model, it needs to be validated using verification techniques.

Ernits, Juhan↗

SU-E-T-349: Verification of a Monte Carlo Simulation Tool as a Second Check for TomoTherapy Treatment Planning

Purpose: To verify a virtual source model used in Monte Carlo (MC) TomoTherapy simulations and to provide a tool for the dose distribution second check for TomoTherapy treatment planning. Methods: Published studies adopted the full MC model to simulate helical TomoTherapy which use phase space files (PSFs) at different scoring planes to facilitate patient dose calculations. We have developed a simple virtual source model (VSM) based on the commissioning data of helical TomoTherapy unit which can be exported from the treatment planning station (TPS). To calculate the patient dose distribution, TPS-generated sinograms are extracted from archived patient XML files and fluence maps are created by incorporating the openclose leaf time with leaf filter, jaw penumbra, and leaf latency. The VSM has been validated for various geometrical set-ups including open fields, heterogeneous media and clinical DQA cases. Results: Good agreement was obtained between our VSM and a published full MC model for the test case of heterogeneous media. For the complex clinical head and neck (HN) case, the MC simulation of the DQA plan agreed with the film measurement with 98% of planar dose pixels passing the 2%/2 mm gamma value test. For the patient treatment plan itself, the MC simulation showed comparable DVHs for the planning target volumes (PTVs) and organs-at-risk (OARs). Deviations observed were consistent with literature. Conclusion: The proposed VSM can be used in the MC method to accurately simulate the patient dose distributions for helical TomoTherapy.

60 APPLIED LIFE SCIENCES↗

The JPL Field Emission Spectrometer

The Jet Propulsion Laboratory (JPL) Field Emission Spectrometer (FES) was built by Designs and Prototypes based on a set of functional requirements supplied by JPL. The instrument has a spectral resolution of 6 wavenumbers (wn) and can acquire spectra from either the Mid Infrared (3-5 mu m) or the Thermal Infrared (8-12 pm) depending on whether the InSb or HgCdTe detector is installed respectively. The instrument consists of an optical head system unit and battery. The optical head which is tripod mounted includes the interferometer and detector dewar assembly. Wavelength calibration of the interferometer is achieved using a Helium-Neon laser diode. The dewar needs replenishing with liquid Nitrogen approximately every four hours. The system unit includes the controls for operation and the computer used for acquiring viewing and processing spectra. Radiometric calibration is achieved with an external temperature-controlled blackbody that mounts on the fore-optics of the instrument. The blackbody can be set at 5 C increments between 10 and 55 C. The instrument is compact and weighs about 33 kg. Both the wavelength calibration and radiometric calibration of the instrument have been evaluated. The wavelength calibration was checked by comparison of the position of water features in a spectrum of the sky with their position in the output from a high resolution atmospheric model. The results indicatethat the features in the sky spectrum are within 6-8 wn of their position ill the model spectrum. The radiometric calibration was checked by first calibrating the instrument using the external blackbody supplied with the instrument and then measuring the radiance from another external blackbody at a series of temperatures. The temperatures of these radiance spectra were then recovered by inventing Planck's law and the recovered temperatures compared lo the measured blackbody temperature. These results indicate that radiometric calibration is good to 0.5 C over the range of temperatures 10 to 55 C. The results also indicate that the instrument drifts slowly over time and should be recalibrated every 20 to 30 minutes in the field to ensure good radiometric fidelity. The instrument has now been extensively tested in the field in the United States and Australia. These in situ field measurements are being used to validate emissivity spectra recovered from the Thermal Infrared Multispectral Scanner (TIMS) and also the Australian CO2 Laser. The availability of in situ measurements is proving crucial to validation of the spectra derived from the airborne instruments since many natural surfaces cannot be easily transported back to the laboratory.

Hook, Simon J.↗

Role of the likelihood for elastic scattering uncertainty quantification

In the last decade, uncertainty quantification (UQ) for optical model potentials (OMPs) has become a focal point for nuclear reaction theory, and several competing approaches for OMP UQ have recently been developed. Here, we clarify recent efforts to compare frequentist and Bayesian approaches in the context of OMP UQ [G. B. King et al., Phys. Rev. Lett. 122, 232502 (2019)]. We replicate a portion of that OMP UQ study but use independent statistical tools. Specifically, we compare two methods for OMP parameter inference from elastic scattering data: the Levenberg-Marquardt algorithm for χ 2 minimization on one hand and Markov chain Monte Carlo (MCMC) sampling on the other. Separately, we assess the common practice of using a renormalized likelihood (χ 2 /N), N being the number of data points, instead of the canonical weighted-least-squares likelihood (χ 2 ), as a way of accounting for unknown data correlations. Here, we show that for a generic linear model and for a five-parameter OMP analysis, frequentist and uniform-prior Bayesian approaches recover the same optimum and uncertainty estimates—not systematically larger uncertainties for the Bayesian approach, as was concluded in G. B. King et al., Phys. Rev. Lett. 122, 232502 (2019). Further, we show that if an additional, near-degenerate parameter is introduced into the same OMP analysis such that the parameter posterior becomes non-Gaussian, then covariance-based estimates of uncertainty become unreliable. Finally, we show that regardless of optimization approach, if χ 2 /N is used for the likelihood, the resulting parametric uncertainties increase by $\sqrt{N}$, and that this is responsible for the conclusions drawn in the revisited study. Based on our replication results, we find that a fortuitous cancellation of unreported errors and the renormalization factor can lead to improvement in empirical coverages, as was the case in the original comparative study. We emphasize that developing and applying a realistic likelihood function is an essential task in a UQ analysis, and that several recent UQ studies that employed a renormalized likelihood (i.e., including a 1/N factor) may have yielded unrealistically large uncertainties for elastic-scattering observables. If the parameter posterior deviates from multivariate-normal, a sampling-based approach like MCMC has a clear advantage over methods that assume the Laplace approximation holds. We note that empirical coverage can serve as an important internal check for the analyst whose model or data may have additional, unaccounted-for uncertainties.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

On the use of dynamic models for studying launch vehicle buffet and ground-wind loads

The complex nature of the random aerodynamic input forces associated with transonic buffet and ground winds leads to difficulty in analytical treatment of the response of launch vehicles to these important loading conditions. The application of aeroelastically scaled models in the wind tunnel as a mechanical analog of the matharnatically complex problem requiring solution is described. Scaling relationships involved in this approach are developed and some checks on their validity are presented. Model design and support techniques are discussed, and some typical results given. Some problems arising from the increased size of launch vehicles are discussed.

Perry W. Hanson↗

Turbulent transport modeling of shear flows around an aerodynamic wing. Development of turbulent near-wall model and its application to recirculating flows

Progress in implementing and refining two near-wall turbulence models in which the near-wall region is divided into either two or three zones is outlined. These models were successfully applied to the computation of recirculating flows. The research was further extended to obtaining experimental results of two different recirculating flow conditions in order to check the validity of the present models. Two different experimental apparatuses were set up: axisymmetric turbulent impinging jets on a flat plate, and turbulent flows in a circular pipe with a abrupt pipe expansion. It is shown that generally better results are obtained by using the present near-wall models, and among the models the three-zone model is superior to the two-zone model.

Amano, R. S.↗

TH-C-19A-07: Output Factor Dependence On Range and Modulation for a New Proton Therapy System

Purpose: Proton treatment planning systems are not able to accurately predict output factors and do not calculate monitor units (MU) for proton fields. Output factors (cGy/MU) for patient-specific fields are usually measured in phantoms or modeled empirically. The purpose of this study is to predict the output factors (OFs) for a given proton (R90) and modulation width (Mod) for the first Mevion S250 proton therapy system. Methods: Using water phantoms and a calibrated ionization chamber-electrometer, over 100 OFs were measured for various R90 and Mod combinations for 24 different options. OFs were measured at the center of the Mod, which coincided with the isocenter. The measured OFs were fitted using an analytic model developed by Kooy (Phys.Med.Biol. 50, 2005) for each option and a derived universal empirical-based polynomial as a function of R90 and Mod for all options. Options are devised for ranges of R90 and Mod. The predicted OFs from both models were compared to measurements. Results: Using the empirical-based model, the values could be predicted to within 3% for at least 90% of measurements and within 5% for 98% of the measurements. Using the analytic model to fit each option with the same effective source position, the prediction is much more accurate. The maximal uncertainty between measured and predicted is within 2% and the averaged root-mean-square is 1.5%. Conclusion: Although the measured data was not exhaustive, both models predicted OFs within acceptable uncertainty. Both models are currently used for a sanity check of our continual patient field OF measurements. As we acquire more patient-field OFs, the model will be refined with an ultimate goal of eliminating the time-consuming patient-specific OF measurements.

60 APPLIED LIFE SCIENCES↗

Dark Energy Survey Year 1 Results: Cosmological constraints from cluster abundances and weak lensing

In this work we perform a joint analysis of the counts and weak lensing signal of redMaPPer clusters selected from the Dark Energy Survey (DES) Year 1 dataset. Our analysis uses the same shear and source photometric redshifts estimates as were used in the DES combined probes analysis. Our analysis results in surprisingly low values for $S_8 =\sigma_8(\Omega_{\rm m}/0.3)^{0.5}= 0.65\pm 0.04$, driven by a low matter density parameter, $\Omega_{\rm m}=0.179^{+0.031}_{-0.038}$, with $\sigma_8-\Omega_{\rm m}$ posteriors in $2.4\sigma$ tension with the DES Y1 3x2pt results, and in $5.6\sigma$ with the Planck CMB analysis. These results include the impact of post-unblinding changes to the analysis, which did not improve the level of consistency with other data sets compared to the results obtained at the unblinding. The fact that multiple cosmological probes (supernovae, baryon acoustic oscillations, cosmic shear, galaxy clustering and CMB anisotropies), and other galaxy cluster analyses all favor significantly higher matter densities suggests the presence of systematic errors in the data or an incomplete modeling of the relevant physics. Cross checks with X-ray and microwave data, as well as independent constraints on the observable--mass relation from SZ selected clusters, suggest that the discrepancy resides in our modeling of the weak lensing signal rather than the cluster abundance. Repeating our analysis using a higher richness threshold ($\lambda \ge 30$) significantly reduces the tension with other probes, and points to one or more richness-dependent effects not captured by our model.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Author Correction: US oil and gas system emissions from nearly one million aerial site measurements

Correction to: Naturehttps://doi.org/10.1038/s41586-024-07117-5 Published online 13 March 2024 In the version of the article initially published, several errors were present and have been corrected in the HTML and PDF versions of the article and Supplementary Information. The main results, conclusions, and our interpretations of the data remain unchanged. See the new Supplementary Information Section S15 for a more detailed description of the errors corrected and the resulting effects on the analysis. Data processing and methods corrections Overflight count correction: We previously used pre-computed source coverage data for some Carbon Mapper campaigns that was computed differently than was required for our analysis. We have re-computed Carbon Mapper source coverage based on flightline polygons and source coordinates. Transition point computation, well sites: The updated version now correctly compares the cumulative emissions distribution of simulated well site emissions with that of aerially detected sources (rather than plumes) when computing the transition point. Transition point computation, midstream: Additionally, the transition point calculation has been corrected to exclude aerially detected midstream emissions below the transition point, which was previously leading to double counting of these emissions. This error was not present for upstream (well site) emissions. Calculation errors Unit error: We corrected a specific unit conversion error affecting well site emissions in the Kairos Fort Worth dataset. Across all datasets, we also correct the conversion factor for converting from standard volume to mass for midstream emissions. Sorting error: We correct code that was applying incorrect sorting when computing correction factors to account for partial detection at well sites. Small typographical corrections were made in Fig. 1b and SI Section S4.1. Data processing and methods corrections Overflight count correction: We previously used pre-computed source coverage data for some Carbon Mapper campaigns that was computed differently than was required for our analysis. We have re-computed Carbon Mapper source coverage based on flightline polygons and source coordinates. Transition point computation, well sites: The updated version now correctly compares the cumulative emissions distribution of simulated well site emissions with that of aerially detected sources (rather than plumes) when computing the transition point. Transition point computation, midstream: Additionally, the transition point calculation has been corrected to exclude aerially detected midstream emissions below the transition point, which was previously leading to double counting of these emissions. This error was not present for upstream (well site) emissions. Calculation errors Unit error: We corrected a specific unit conversion error affecting well site emissions in the Kairos Fort Worth dataset. Across all datasets, we also correct the conversion factor for converting from standard volume to mass for midstream emissions. Sorting error: We correct code that was applying incorrect sorting when computing correction factors to account for partial detection at well sites. Small typographical corrections were made in Fig. 1b and SI Section S4.1. The following practices may help researchers conducting similar analyses avoid making similar errors: 1, Clear, accessible documentation explaining the interpretation of all columns in data input tables and all internal variables within the model, 2, Simple cross-check calculations computed before and after unit conversions.

Sherwin, Evan D↗

VALID Past, Present, and Future [Slides]

This presentation discusses the Verified, Archived Library of Inputs and Data (VALID) procedure which is managed per computational procedure under the overall SCALE quality assurance plan. The principle behind VALID is that two independent, qualified people prepare and review the model, while a dual, independent check acts as a primary barrier to prevent errors in the library. A final check by VALID QAC of procedural compliance is then performed. The future for VALID includes plans to add more experiments, a review for all ICSBEP cases containing Deuterium, ZEUS intermediate and fast spectrum evaluations, intermediate enrichment experiments, other cases of interest to sponsors, and mixed/intermediate spectrum experiments.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Geophysical subsurface probing with radio-frequency interferometry

The radio-frequency interferometry method can be used to probe interiors of celestial bodies and terrestrial areas with low conductivity. In order to interpret the interference patterns, a theoretical study is made of the electromagnetic fields due to a dipole antenna on the surface of a horizontally stratified n-layered medium. Three approaches are used to calculate the interference patterns: direct numerical integration, asymptotic evaluation by the saddle point method, and a residue series approach. The asymptotic approach leads to the geometrical-optics interpretation. The residue approach leads to modal analysis. The validity of the formulation is checked by comparisons with analog model tank experiments and actual field data obtained from glaciers.

Kong, J. A.↗

The preview control problem with application to man-machine system analysis

The preview control problem is formulated in a general form and its solution is obtained. The analytical tool used is discrete stochastic optimal control theory. Aiming the application to manual control situations with preview, time delay, observation noise, motor noise, etc. were included in formulating the problem. Manual preview control experiments were performed to qualitatively check the validity of the model, and it was found that the mechanism of the manual control problem was explained by the developed model.

Tomizuka, M.↗

Studies of self streamlining wind tunnel real and imaginary flows

Testing in the low speed flexible walled tunnel in an effort to explain the reasons for data discrepancies at high angles of attack are presented. Automated transonic test sections were developed. The flexible walled tunnel was used in a new operating mode to a generated curved flow around the airfoil, allowing the extraction of purely rotary derivatives. Some straight wall, low speed pressure data, for wall and model, which is used for checking interference correction methods were reported. Computer software which includes an old streamlining algorithm and a prediction algorithm was examined.

Wolf, S. W. D.↗

One-millimeter brightness temperatures of the planets

Results are reported for a bolometric determination of the relative brightness at a wavelength of 1 mm of Mercury, Venus, Mars, Jupiter, Saturn, Uranus, and Neptune. The relative measurements are converted to absolute temperatures by using a thermal model for Mars, which was checked by observations of Mars and Jupiter at two different epochs. The mean planetary disk temperatures are found to be 320 + or 16 K for Mercury, 276 + or - 14 K for Venus, 145 + or - 7 K for Saturn, 168 + or - 8 K for Jupiter, 87 + or - 7 K for Uranus, and 96 + or - 10 K for Neptune. These results are compared with previous determinations at other wavelengths, and some aspects of the observations of the individual planets are briefly discussed.

Werner, M. W.↗

Turbine endwall single cylinder program

Detailed measurement of the flow field in front of a large-scale single cylinder, mounted in a wind tunnel is discussed. A better understanding of the three dimensional separation occuring in front of the cylinder on the endwall, and of the vortex system that is formed is sought. A data base with which to check analytical and numerical computer models of three dimensional flows is also anticipated.

Langston, L. S.↗

Ground level reflectance measurement techniques - An evaluation with emphasis on the importance of spectral calibration

The bandpasses, overflight conditions, and sensor geometry that will provide optimum target discrimination in remote-sensing studies can be determined only from spectral reflectance measurements made for various sun-target-sensor geometries, supplemented by model calculations which can be checked against field data. The accurate measurement of ground reflectance properties is critical to the design of future sensors and to the determination of imaging conditions. The current investigation has the objective to review typical methods of measuring spectral reflectance, to point out some of the problems inherent to reflectance measuring techniques, and to present a method of checking measurement accuracy.

Duggin, M. J.↗

A remote millivolt multiplexer and amplifier module for wind tunnel data acquisition

A 30-channel remotely located multiplexer and amplifier module is developed for the measurement of wind tunnel models, which substantially reduces the amount of wiring necessary and thus provides higher accuracy. The module provides for a wide variety of transducer voltage outputs to be multiplexed and amplified within the model, and all signals are able to exit the module on two wires. The module is self-calibrating, and when coupled with the electronically scanned pressure instrumentation widely used in wind tunnels, it allows the modular wind tunnel models to be fabricated and checked before installation into the wind tunnel.

Juanarena, D. B.↗

Skylab observations of the solar C I multiplets at 1560- and 1657-A

Skylab spectrograph profile observations of the solar C I multiplets are presented, and the profile variations from center to limb and at various heights above the quiet solar limb are noted. These lines are of interest both because they are formed in the midchromosphere, thereby providing checks and constraints on chromospheric models, and because they are sensitive to the magnitude of the nonthermal microvelocities included in theoretical calculations. The present observations are compared with the C I profiles calculated by Shine et al (1978), discussing the many inconsistencies that emerge, notably between the observed and computed 1560/1657-A ratio and in the center-to-limb and above-the-limb variations of the integrated intensity. The multiplet central cores are discussed in terms of several microturbulent velocity structures.

Roussel-Dupre, D.↗