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 1,531 records · Page 85

Full Counting Statistics of Charge in Chaotic Many-Body Quantum Systems

We investigate the full counting statistics of charge transport in U(1)-symmetric random unitary circuits. We consider an initial mixed state prepared with a chemical potential imbalance between the left and right halves of the system and study the fluctuations of the charge transferred across the central bond in typical circuits. Using an effective replica statistical mechanics model and a mapping onto an emergent classical stochastic process valid at large on-site Hilbert space dimension, we show that charge transfer fluctuations approach those of the symmetric exclusion process at long times, with subleading t –1/2 quantum corrections. Here, we discuss our results in the context of fluctuating hydrodynamics and macroscopic fluctuation theory of classical nonequilibrium systems and check our predictions against direct matrix-product state calculations.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Aerodynamics support of research instrument development

A new velocimetry system is currently being developed at NASA LaRC. The device, known as a Doppler global velocimeter (DGV), can record three velocity components within a plane simultaneously and in near real time. To make measurements the DGV, like many other velocimetry systems, relies on the scattering of light from numerous small particles in a flow field. The particles or seeds are illuminated by a sheet of laser light and viewed by two CCD cameras. The scattered light from the particles will have a frequency which is a function of the source laser light frequency, the viewing angle, and most importantly the seed velocities. By determining the scattered light intensity the velocity can be measured at all points within the light sheet simultaneously. Upon completion of DGV component construction and initial check out a series of tests in the Basic Aerodynamic Research (wind) Tunnel (BART) are scheduled to verify instrument operation and accuracy. If the results are satisfactory, application of the DGV to flight measurements on the F-18 High Alpha Research Vehicle (HARV) are planned. The DGV verification test in the BART facility will utilize a 75 degree swept delta wing model. A major task undertaken this summer included evaluation of previous results for this model. A specific series of tests matching exactly the previous tests and exploring new DGV capabilities were developed and suggested. Another task undertaken was to study DGV system installation possibilities in the F-18 HARV aircraft. In addition, a simple seeding system modification was developed and utilized to make Particle Imaging Velocimetry (PIV) measurements in the BART facility.

Miller, L. Scott↗

Calibration for Thrust and Airflow Measurements in the CE-22 Advanced Nozzle Test Facility

CE-22 facility procedures and measurements for thrust and airflow calibration obtained with choked-flow ASME nozzles are presented. Six calibration nozzles are used at an inlet total pressure from 20 to 48 psia. Throat areas are from 9.9986 to 39.986 sq. in.. Throat Reynolds number varies from 1.8 to 7.9 million. Nozzle gross thrust coefficient (CFG) uncertainty is 0.25 to 0.75 percent, with smaller uncertainly generally for larger nozzles and higher inlet total pressure. Nozzle discharge coefficient (CDN) uncertainty is 0.15 percent or less for all the data. ASME nozzle calibrations need to be done before and after research model testing to achieve these uncertainties. In addition, facility capability in terms of nozzle pressure ratio (NPR) and nozzle airflow are determined. Nozzle pressure ratio of 50 or more is obtainable at 40 psia for throat areas between 20 and 30 sq. in.. Also presented are results for two of the ASME nozzles vectored at 10deg, a dead-weight check of the vertical (perpendicular to the jet axis) force measurement, a calibration of load cell forces for the effects of facility tank deflection with tank pressure, and the calibration of the metric-break labyrinth seal.

Werner, Roger A.↗

Self-Supervised Anomaly Detection via Neural Autoregressive Flows with Active Learning

Many self-supervised methods have been proposed with the target of image anomaly detection. These methods often rely on the paradigm of data augmentation with predefined transformations such as flipping, cropping, and rotations. However, it is not straightforward to apply these techniques for non-image data, such as time series or tabular data, while the performance of the existing deep approaches has been under our expectation on tasks beyond images. In this work, we propose a novel active learning (AL) scheme that relied on neural autoregressive flows (NAF) for self-supervised anomaly detection, specifically on small-scale data. Unlike other generative models such as GANs or VAEs, flow-based models allow to explicitly learn the probability density and thus can assign accurate likelihoods to normal data which makes it usable to detect anomalies. The proposed NAF-AL method is achieved by efficiently generating random samples from latent space and transforming them into feature space along with likelihoods via invertible mapping. The samples with lower likelihoods are selected and further checked by outlier detection using Mahalanobis distance. The augmented samples incorporating with normal samples are used for training a better detector so as to approach decision boundaries. Compared with random transformations, NAF-AL can be interpreted as a likelihood-oriented data augmentation that is more efficient and robust. Extensive experiments show that our approach outperforms existing baselines on multiple time series and tabular datasets, and a real-world application in advanced manufacturing, with significant improvement on anomaly detection accuracy and robustness over the state-of-the-art.

Zhang, Jiaxin↗

Invited Review Article: Gas puff imaging diagnostics of edge plasma turbulence in magnetic fusion devices

Gas puff imaging (GPI) is a diagnostic of plasma turbulence which uses a puff of neutral gas at the plasma edge to increase the local visible light emission for improved space-time resolution of plasma fluctuations. This paper reviews gas puff imaging diagnostics of edge plasma turbulence in magnetic fusion research, with a focus on the instrumentation, diagnostic cross-checks, and interpretation issues. The gas puff imaging hardware, optics, and detectors are described for about 10 GPI systems implemented over the past similar to 15 years. Comparison of GPI results with other edge turbulence diagnostic results is described, and many common features are observed. Here, several issues in the interpretation of GPI measurements are discussed, and potential improvements in hardware and modeling are suggested.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Validation and Verification of the Correct Operation of the Thermo Fisher Scientific’s Genesys 10S spectrometer used in ANC122 and NF-ANC122

In December of 2015, the old qualified Prim UV-Vis instrument used in the ANC122 and NFANC122 procedures failed its monthly calibration check. Attempts to get the system to pass by cleaning flow cells, replacing the light bulb and realigning the light path failed to get sustained reproducible results from the system. As it could no longer pass QA/QC requirements the decision to take it out of service was made. To replace the system, a previously purchased Thermo Fisher Scientific UV-VIS spectrometer (model Genesys 10S; Serial #: 2L5R059137) was retrieved from storage. This report shows that the system is performing as required and meeting all QC requirements listed in ANC122 and NF-ANC122

47 OTHER INSTRUMENTATION↗

Automatic Conversion of Conceptual Geometry to CFD Geometry for Aircraft Design

Conceptual aircraft design is usually based on simple analysis codes. Its objective is to provide an overall system performance of the developed concept, while preliminary aircraft design uses high-fidelity analysis tools such as computational fluid dynamics (CFD) analysis codes or finite element structural analysis codes. In some applications, such as low-boom supersonic concept development, it is important to be able to explore a variety of drastically different configurations while using CFD analysis to check whether a given configuration can be tailored to have a low-boom ground signature. It poses an extremely challenging problem of integrating CFD analysis in conceptual design. This presentation will discuss a computer code, called iPatch, for automatic conversion of conceptual geometry to CFD geometry. In general, conceptual aircraft geometry is not as well-defined as a CAD geometry model. In particular, a conceptual aircraft geometry model usually does not define the intersection curves for the connecting surfaces. The computer code iPatch eliminates the gap between conceptual geometry and CFD geometry by accomplishing the following three tasks automatically: (1) use bicubic B-splines to extrapolate (if necessary) each surface in a conceptual geometry so that all the independently defined geometry components (such as wing and fuselage) can be intersected to form a watertight CFD geometry, (2) compute the intersection curves of surface patches at any resolution (up to 10-7 accuracy) specified by users, and (3) write the B-spline surface patches and the corresponding boundary points for the watertight CFD geometry in the format that can be directly exported to the meshing tool VGRID in the CFD software TetrUSS. As a result, conceptual designers can get quick feedback on the aerodynamic characteristics of their concepts, which will allow them to understand some subtlety in their concepts and to be able to assess their concepts with a higher degree of confidence. This integration of CFD analysis in conceptual aircraft design will greatly eliminate some uncertainty due to simple analysis codes used to develop the concepts and improve the feasibility/credibility of the final concept. The presentation will highlight the mathematical challenges of accomplishing the aforementioned three tasks and the computational algorithms used by iPatch.

Li, Wu↗

Comparison of Two Load Prediction Methods for Strain-Gage Balances

Data from a five-component semi-span balance is used to perform a systematic comparison of the load prediction accuracy of two load prediction methods. Both methods independently obtain the load prediction equations from multivariate least squares fits of balance calibration data. The first method is called the Non-Iterative Method. This approach directly uses regression models of the individual load components of a balance for the load prediction. The second method is called the Iterative Method. This alternate approach uses a load iteration equation for the load prediction that is constructed from the regression coefficients of the gage outputs of the balance. Basic characteristics of the two methods are reviewed. Afterwards, both methods are applied to calibration, check load, and wind tunnel test data of a five-component semi-span balance. Selected analysis results are compared. These comparisons confirm that the accuracy of the two methods is the same for all practical purposes.

strain-gage balance↗

A Novel Bone Marrow Single Cell Atlas of Mechanotransduction in Microgravity, Normal Gravity, Exercise, and Hindlimb Unloading for WT and CDKN1A-Null Regenerative Mice

Mechanical loading of adult stem cell progenitors is a key factor in modulating their proliferation, differentiation, and tissue regenerative potential, with loading generally promoting tissue formation and unloading mediating tissue loss. To address the role of mechanotransduction in maintaining stem cell-based tissue regenerative health, we generated a single cell transcriptomic atlas mapping responses of femur bone marrow mesenchymal and hematopoietic lineages to a range of altered mechanical loading conditions, both in WT B1629SF2/J mice as well as the p21/CDKN1A-null regenerative mice. We selected the femur marrow compartment as a model because of the diversity and high numbers of stem cell progenitor stages present, and because it undergoes static and cyclic hydrostatic pressure loading associated with weight-bearing and ambulation. Our study included normally loaded mice at 1g, unloading in microgravity during spaceflight as well as tail suspension hindlimb unloading, and voluntary running wheel exercise. Basal, one-year natural aging, and habitat controls were also conducted. Overall, the atlas encompasses 18 different experimental conditions with N=3 mice per condition and includes more than 500,000 single cell expressomes. Key specific findings include: increased mature reticulocyte populations in aging and unloading mice compared to active mice; greater hematopoietic and mesenchymal differentiating progenitors cluster identification in CDKN1A-null samples, especially the exercise model; distinct pseudotime cell trajectory shifts in the hematopoietic lineage for spaceflight and unloaded mice; and shifts in monocytic cell populations toward osteoclastic bone degenerative lineages in unloading and spaceflight samples. Overall mechanical loading shows increased marrow progenitor population differentiation while unloading is associated with increased CDKN1A expression and maintenance of marrow population stemness. Deletion of CDKN1A appears to remove a negative check on progenitor lineages commitment to differentiation. Finally, the Bone Marrow Mechanotransduction Single Cell Atlas will serve as a reference tool for studying marrow regenerative responses across a range of mechanical environments as they relate to CDKN1A status.

single-cell↗

Thermal Wear Sensing System: Proof of the Concept

A technique for wear sensing using a sacrificial layer with specific material properties has been developed successfully. This is achieved by recording the temperature evolution underneath the sacrificial organic layer during sliding tests, and by correlating the recorded temperature with a wear depth. Finite element modeling was used to calculate the contact temperature which spreads through the sacrificial layer under different sliding test conditions. Numerical simulation was used to determine the optimal parameters for the best correlation between temperature and wear depth. These parameters were used to select the appropriate sacrificial layer for wear sensing. Thus, an epoxy layer was implemented and experimental measurements were carried out to check the correlation between the measured temperature underneath the epoxy layer and wear depth. It was found that a low thermal conductivity of the sacrificial layer of less than 1 W/m K and a relative high thermal conductivity of the substrate, namely more than 4 W/m K are the optimal parameters for our thermal wear sensing system. The thickness of the sacrificial layer is also a crucial parameter and has to be taken into account when designing such a sensing system.

36 MATERIALS SCIENCE↗

Fragile aspects of topological transition in lossy and parity-time symmetric quantum walks

Quantum walks often provide telling insights about the structure of the system on which they are performed. Here, in PT-symmetric and lossy dimer lattices, the topological properties of the band structure manifest themselves in the quantization of the mean displacement of such a walker. We investigate the fragile aspects of a topological transition in these two dimer models. We find that the transition is sensitive to the initial state of the walker on the Bloch sphere, and the resultant mean displacement has a robust topological component and a quasiclassical component. In PT symmetric dimer lattices, we also show that the transition is smeared by nonlinear effects that become important in the PT-symmetry broken region. By carrying out consistency checks via analytical calculations, tight-binding results, and beam-propagation-method simulations, we show that our predictions are easily testable in today’s experimental systems.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Circuit complexity near critical points

Here, we consider the Bose–Hubbard model in two and three spatial dimensions and numerically compute the quantum circuit complexity of the ground state in the Mott insulator and superfluid phases using a mean field approximation with additional quadratic fluctuations. After mapping to a qubit system, the result is given by the complexity associated with a Bogoliubov transformation applied to the reference state taken to be the mean field ground state. In particular, the complexity has peaks at the O(2) critical points where the system can be described by a relativistic quantum field theory. Given that we use a Gaussian approximation, near criticality the numerical results agree with a free field theory calculation. To go beyond the Gaussian approximation we use general scaling arguments that imply that, as we approach the critical point t → t c , there is a non-analytic behavior in the complexity c 2 (t) of the form |c 2 (t) – c 2 (t c )| ~ |t – t c | νd , up to possible logarithmic corrections. Here d is the number of spatial dimensions and ν is the usual critical exponent for the correlation length ξ ~ |t – t c | –ν . As a check, for d = 2 this agrees with the numerical computation if we use the Gaussian critical exponent $v=\frac{1}{2}$. Finally, using AdS/CFT methods, we study higher dimensional examples and confirm this scaling argument with non-Gaussian exponent ν for strongly interacting theories that have a gravity dual.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

SU-G-201-15: Nomogram as an Efficient Dosimetric Verification Tool in HDR Prostate Brachytherapy

Purpose: Nomogram as a simple QA tool for HDR prostate brachytherapy treatment planning has been developed and validated clinically. Reproducibility including patient-to-patient and physician-to-physician variability was assessed. Methods: The study was performed on HDR prostate implants from physician A (n=34) and B (n=15) using different implant techniques and planning methodologies. A nomogram was implemented as an independent QA of computer-based treatment planning before plan execution. Normalized implant strength (total air kerma strength Sk*t in cGy cm{sup 2} divided by prescribed dose in cGy) was plotted as a function of PTV volume and total V100. A quadratic equation was used to fit the data with R{sup 2} denoting the model predictive power. Results: All plans showed good target coverage while OARs met the dose constraint guidelines. Vastly different implant and planning styles were reflected on conformity index (entire dose matrix V100/PTV volume, physician A implants: 1.27±0.14, physician B: 1.47±0.17) and PTV V150/PTV volume ratio (physician A: 0.34±0.09, physician B: 0.24±0.07). The quadratic model provided a better fit for the curved relationship between normalized implant strength and total V100 (or PTV volume) than a simple linear function. Unlike the normalized implant strength versus PTV volume nomogram which differed between physicians, a unique quadratic model based nomogram (Sk*t)/D=−0.0008V2+0.0542V+1.1185 (R{sup 2}=0.9977) described the dependence of normalized implant strength on total V100 over all the patients from both physicians despite two different implant and planning philosophies. Normalized implant strength - total V100 model also generated less deviant points distorting the smoothed ones with a significantly higher correlation. Conclusion: A simple and universal, excel-based nomogram was created as an independent calculation tool for HDR prostate brachytherapy. Unlike similar attempts, our nomogram is insensitive to implant style and does not rely on reproducing dose calculations using TG-43 formalism, thus making it a truly independent check.

60 APPLIED LIFE SCIENCES↗

MO-FG-202-07: Real-Time EPID-Based Detection Metric For VMAT Delivery Errors

Purpose: To create and test an accurate EPID-frame-based VMAT QA metric to detect gross dose errors in real-time and to provide information about the source of error. Methods: A Swiss cheese model was created for an EPID-based real-time QA process. The system compares a treatmentplan- based reference set of EPID images with images acquired over each 2° gantry angle interval. The metric utilizes a sequence of independent consecutively executed error detection Methods: a masking technique that verifies infield radiation delivery and ensures no out-of-field radiation; output normalization checks at two different stages; global image alignment to quantify rotation, scaling and translation; standard gamma evaluation (3%, 3 mm) and pixel intensity deviation checks including and excluding high dose gradient regions. Tolerances for each test were determined. For algorithm testing, twelve different types of errors were selected to modify the original plan. Corresponding predictions for each test case were generated, which included measurement-based noise. Each test case was run multiple times (with different noise per run) to assess the ability to detect introduced errors. Results: Averaged over five test runs, 99.1% of all plan variations that resulted in patient dose errors were detected within 2° and 100% within 4° (∼1% of patient dose delivery). Including cases that led to slightly modified but clinically equivalent plans, 91.5% were detected by the system within 2°. Based on the type of method that detected the error, determination of error sources was achieved. Conclusion: An EPID-based during-treatment error detection system for VMAT deliveries was successfully designed and tested. The system utilizes a sequence of methods to identify and prevent gross treatment delivery errors. The system was inspected for robustness with realistic noise variations, demonstrating that it has the potential to detect a large majority of errors in real-time and indicate the error source. J. V. Siebers receives funding support from Varian Medical Systems.

60 APPLIED LIFE SCIENCES↗

Constraint checking during error recovery

The system-level software onboard a spacecraft is responsible for recovery from communication, power, thermal, and computer-health anomalies that may occur. The recovery must occur without disrupting any critical scientific or engineering activity that is executing at the time of the error. Thus, the error-recovery software may have to execute concurrently with the ongoing acquisition of scientific data or with spacecraft maneuvers. This work provides a technique by which the rules that constrain the concurrent execution of these processes can be modeled in a graph. An algorithm is described that uses this model to validate that the constraints hold for all concurrent executions of the error-recovery software with the software that controls the science and engineering activities of the spacecraft. The results are applicable to a variety of control systems with critical constraints on the timing and ordering of the events they control.

Lutz, Robyn R.↗

SNAPSHOT USA 2020: A second coordinated national camera trap survey of the United States during the COVID-19 pandemic

Managing wildlife populations in the face of global change requires regular data on the abundance and distribution of wild animals, but acquiring these over appropriate spatial scales in a sustainable way has proven challenging. Here, in this study, we present the data from Snapshot USA 2020, a second annual national mammal survey of the USA. This project involved 152 scientists setting camera traps in a standardized protocol at 1485 locations across 103 arrays in 43 states for a total of 52,710 trap-nights of survey effort. Most (58) of these arrays were also sampled during the same months (September and October) in 2019, providing a direct comparison of animal populations in 2 years that includes data from both during and before the COVID-19 pandemic. All data were managed by the eMammal system, with all species identifications checked by at least two reviewers. In total, we recorded 117,415 detections of 78 species of wild mammals, 9236 detections of at least 43 species of birds, 15,851 detections of six domestic animals and 23,825 detections of humans or their vehicles. Spatial differences across arrays explained more variation in the relative abundance than temporal variation across years for all 38 species modeled, although there are examples of significant site-level differences among years for many species. Temporal results show how species allocate their time and can be used to study species interactions, including between humans and wildlife. These data provide a snapshot of the mammal community of the USA for 2020 and will be useful for exploring the drivers of spatial and temporal changes in relative abundance and distribution, and the impacts of species interactions on daily activity patterns. There are no copyright restrictions, and please cite this paper when using these data, or a subset of these data, for publication.

54 ENVIRONMENTAL SCIENCES↗

Daily grass reference evapotranspiration with Meteosat Second Generation shortwave radiation and reference ET products

Here we assess the accuracy of estimating daily grass reference evapotranspiration (PM-ET o ) using daily shortwave radiation (R s ) and reference evapotranspiration (ET REF ) products provided by the Meteosat Second Generation (MSG) geostationary satellite delivered by the Satellite Applications Facility on Land Surface Analysis (LSA-SAF) framework. The accuracy of using reanalysis ERA5 shortwave radiation data (R s ERA5 ) provided by the European Center for Medium-Range Weather Forecasts (ECMWF) is also evaluated. The assessments were performed using observed weather variables at 37 weather stations distributed across continental Portugal, where climate conditions range from semi-arid to humid, and 12 weather stations located in Azores islands, characterized by humid, windy and often cloudy conditions. This study&#x27;s use of data from a variety of climate conditions contributed to a unique and innovative assessment of the usability of LSA-SAF and ERA5 products for ET o estimation. The first assessment focused on comparing LSA-SAF estimates of R s (R s LSA-SAF ) against ground stations (R s ground ). The results showed a good matching between the two R s data sets for continental Portugal but a tendency for R s LSA-SAF to under-estimate R s ground in the cloudy islands of Azores. ET o values computed using R s LSA-SAF data and observed temperature, humidity and wind speed (ET o LSA-SAF ) were then compared with PM-ET o estimates with ground-based data, which were used as benchmark; input data of temperature and humidity needed for PM-ET o were quality checked for surface aridity effects. It was observed that ET o LSA-SAF is strongly correlated with PM-ET o (R 2 > 0.97) for most locations in continental Portugal, with regression coefficient of a linear regression forced to the origin ranging between 0.95 and 1.05, mean root mean square error (RMSE) of 0.13 mm d –1 , and Nash and Sutcliff efficiency of modeling (EF) above 0.95. For most Azores locations, ET o LSA-SAF over-estimated PM-ET o . This is likely a consequence of the high spatio-temporal heterogeneity of weather conditions that occur in these oceanic islands together with the different footprints of satellite (averaged over the pixel) and station observations. Reanalysis ERA5 shortwave radiation data presented similar behavior to the LSA-SAF products, however with slightly lower accuracy. The daily LSA-SAF ET REF product (ET REF LSA-SAF ) was assessed and results have shown a good accuracy of this product, with acceptable RMSE and high EF values, for continental Portugal but a low accuracy for the Azores islands. A simplified bias correction approach was shown to improve both ET o derived from the LSA-SAF products, namely for Azores stations, which seem to be representative of smaller areas. The use of the FAO-PM temperature approach (PMT) was also assessed using the R s LSA-SAF and R s ERA5 data, which showed a superiority of the LSA-SAF product for ET o estimations (ET o PMT LSA-SAF ). No significant differences (p < 0.05) were observed in terms of the median value of the RMSE when adopting ET o PMT and ET REF LSA-SAF . Differently, results showed that using the R s LSA-SAF in the PMT approach (ET o PMT LSA-SAF ) produces significantly better RMSE results than ET o PMT and ET REF LSA-SAF . Overall, the performed assessment allows concluding that the use of R s LSA-SAF, and to a lesser extent the use of the R s ERA5 , highly improves the accuracy of computation of ET o when R s observations are not available, including when only temperature data are accessible. The use of the ET REF LSA-SAF product is a good alternative when observed weather data are not available.

54 ENVIRONMENTAL SCIENCES↗

Testing predictions of the quantum landscape multiverse 2: the exponential inflationary potential

The 2015 Planck data release tightened the region of the allowed inflationary models. Inflationary models with convex potentials have now been ruled out since they produce a large tensor to scalar ratio. Meanwhile the same data offers interesting hints on possible deviations from the standard picture of CMB perturbations. Here we revisit the predictions of the theory of the origin of the universe from the landscape multiverse for the case of exponential inflation, for two reasons: firstly to check the status of the anomalies associated with this theory, in the light of the recent Planck data; secondly, to search for a counterexample whereby new physics modifications may bring convex inflationary potentials, thought to have been ruled out, back into the region of potentials allowed by data. Using the exponential inflation as an example of convex potentials, we find that the answer to both tests is positive: modifications to the perturbation spectrum and to the Newtonian potential of the universe originating from the quantum entanglement, bring the exponential potential, back within the allowed region of current data; and, the series of anomalies previously predicted in this theory, is still in good agreement with current data. Hence our finding for this convex potential comes at the price of allowing for additional thermal relic particles, equivalently dark radiation, in the early universe.

79 ASTRONOMY AND ASTROPHYSICS↗