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 469 records · Page 26
All sourcesNASA NTRSDOE OSTI
DOE OSTI2019

A search for cosmological anisotropy using the Lyman alpha forest from SDSS quasar spectra

ABSTRACT The cosmological principle, the combined assumptions of cosmological isotropy and homogeneity, underpins the standard model of big bang cosmology with which we interpret astronomical observations. A new test of isotropy over the redshift range 2 < z < 4 and across large angular scales on the sky is presented. We use the cosmological distribution of neutral hydrogen, as probed by the Ly α forest seen towards distant quasars. The Sloan Digital Sky Survey provides the largest data set of quasar spectra available to date. We use combined information from Data Releases 12 and 14 to select a sample of 142 661 quasars most suitable for this purpose. The scales covered by the data extend beyond post-inflation causality scales, thus probing initial conditions in the early Universe. We identify significant spatially correlated systematic effects that can emulate cosmological anisotropy. Once these systematics have been accounted for, the data are found to be consistent with isotropy, providing an important independent check on the standard model, consistent with results from cosmic microwave background data.

Zavarygin, Evgeny O.↗
DOE OSTI2024

The Atacama Cosmology Telescope: Cosmology from Cross-correlations of unWISE Galaxies and ACT DR6 CMB Lensing

We present tomographic measurements of structure growth using cross-correlations of Atacama Cosmology Telescope (ACT) DR6 and Planck cosmic microwave background (CMB) lensing maps with the unWISE Blue and Green galaxy samples, which span the redshift ranges 0.2 ≲ z ≲ 1.1 and 0.3 ≲ z ≲ 1.8, respectively. We improve on prior unWISE cross-correlations not just by making use of the new, high-precision ACT DR6 lensing maps, but also by including additional spectroscopic data for redshift calibration and by analyzing our measurements with a more flexible theoretical model. We determine the amplitude of matter fluctuations at low redshifts (z ≃ 0.2–1.6), finding S 8 ≡ σ 8 (Ω m /0.3) 0.5 = 0.813 ± 0.021 using the ACT cross-correlation alone and S 8 = 0.810 ± 0.015 with a combination of Planck and ACT cross-correlations; these measurements are fully consistent with the predictions from primary CMB measurements assuming standard structure growth. The addition of baryon acoustic oscillation data breaks the degeneracy between σ 8 and Ω m , allowing us to measure σ 8 = 0.813 ± 0.020 from the cross-correlation of unWISE with ACT and σ 8 = 0.813 ± 0.015 from the combination of cross-correlations with ACT and Planck. These results also agree with the expectations from primary CMB extrapolations in ΛCDM cosmology; the consistency of σ 8 derived from our two redshift samples at z ∼ 0.6 and 1.1 provides a further check of our cosmological model. Our results suggest that structure formation on linear scales is well described by ΛCDM even down to low redshifts z ≲ 1.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2016

Low-density laboratory spectra near the He ii λ 304 line

Aims. Our aim is to interpret the EUV spectra of the solar corona, one hopes for laboratory data of specific chemical elements obtained under coronal conditions. Methods. EUV spectra of He, C, N, O, F, Ne, S, Ar, Fe, and Ni in a 40 Å wide wavelength interval near λ304 were excited in an electron beam ion trap. Results. We observe some two hundred lines about half of which are not yet identified and included in spectral models. Conclusions. Lastly, our data provide a check on the atomic data bases underlying the spectral models that are used to interpret solar corona data. However, a multitude of mostly weak additional lines taken together represent a flux that is comparable to that of various primary lines.

74 ATOMIC AND MOLECULAR PHYSICS↗
DOE OSTI2023

High-fidelity multiphysics load following and accidental transient modeling of microreactors using NEAMS tools: Application of NEAMS codes to perform multiphysics modeling analyses of micro-reactor concepts

The feasibility of modeling microreactors using high-fidelity models with the Nuclear Energy Advanced Modeling and Simulation (NEAMS) tools is investigated in this report. Three overarching questions guided this research: can NEAMS tools readily be applied for high-fidelity multiphysics modeling of different types of transients in microreactor designs; how accurate are the results obtained; and are improvements needed in accuracy or user experience of NEAMS tools, especially considering newly developed capabilities? This work builds upon FY-2022 work, and two microreactor concepts considering heat pipe (HP-MR) and gas-cooled (GC-MR) technologies were further analyzed using high-fidelity multiphysics simulations. The NEAMS tools considered and coupled within the MultiApp environment are Griffin for neutronics, BISON for thermo-mechanics, Sockeye for heat pipe modeling (in HP-MR), SAM for 1D Fluid – 3D solid modeling of coolant channels and system modeling of balance of plant components (in GC-MR), and the SWIFT code for hydrogen redistribution in hydride moderator. The Heat Pipe MicroReactor (HP-MR) concept was further analyzed in FY-2023 to demonstrate the stochastic TRISO failure modeling capability in BISON to check operational limits of the TRISO fuel. A new full-core Gas-Cooled MicroReactor (GC-MR) model was developed based on the initial assembly-model used in Y-2022 and used for steady-state and accidental depressurization transient simulations. Accuracy of the simulations performed was assessed through 1) verification analyses completed on the different physics with code-to-code comparison, and 2) validation of the multiphysics simulations based on modeling of the Kilopower Reactor Using Stirling Technology (KRUSTY) experiment. In FY-2023, the mesh and model of KRUSTY was updated to closely match publicly available data, and the neutronic model was verified and validated against experimental control rod worth measurements. The multiphysics model of KRUSTY was developed and used for steady-state analysis and for modeling reactivity insertion transient. The calculated power increase and stabilization agrees well with experimental data following adjustment in fuel thermal expansion coefficient. As an important component of this project, the ANL team gathered experience with a wide range of NEAMS tools: the MOOSE Mesh System, Griffin, BISON, SWIFT, Sockeye, SAM, Workbench, and the MOOSE MultiApp System, and provided assessment of new capabilities. Noteworthy are the user assessment of the “vapor-only” flow model in Sockeye and development of a multiphysics startup transient in HP-MR unit cell for use as tutorial in Sockeye. The full-core GC-MR model was used for assessment of SAM for balance of plant modeling and for demonstrating the SWIFT code capability for hydrogen redistribution modeling in multiphysics transient analyses. In this process, several bugs/issues were identified and reported to developers. Finally, the assembly GC-MR model developed in FY-2022 coupling Griffin, BISON and SAM through flow blockage and rod ejection transients was published to the National Reactor Innovation Center (NRIC) Virtual Test Bed (VTB). The Heat Pipe MicroReactor (HP-MR) concept high-fidelity multiphysics coupling of Griffin/BISON/Sockeye in load-following and heat pipe failure transients was also published on the VTB. Those submissions are enabling thorough review of these models as well as wide distribution to industry, regulator, and university users. In this analysis, several new research questions were uncovered, and follow-up analyses are recommended to further improve some models, consider additional transients, and continue development of VTB models.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2016

A novel method for the measurement of the von Neumann spike in detonating high explosives

We present detonation wave profiles measured in T2 (97 wt. % TATB) and TX1 (52 wt. % TATB and 45 wt. % HMX) high explosives. The experiments consisted in initiating a detonation wave in a 15 mm diameter cylinder of explosive using an explosive wire detonator and an explosive booster. Free surface velocity wave profiles were measured at the explosive/air interface using a Photon Doppler Velocimetry system. We demonstrate that a comparison of these free surface wave profiles with those measured at explosive/window interfaces in similar conditions allows to bracket the von Neumann spike in a narrow range. For T2, our measurements show that the spike pressure lies between 35.9 and 40.1 GPa, whereas for TX1, it lies between 42.3 and 47.0 GPa. The numerical simulations performed in support to these measurements show that they can be used to calibrate reactive burn models and also to check the accuracy of the detonation products equation of state at low pressure.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2014

The phase space and stellar populations of cluster galaxies at z ∼ 1: simultaneous constraints on the location and timescale of satellite quenching

We investigate the velocity versus position phase space of z ∼ 1 cluster galaxies using a set of 424 spectroscopic redshifts in nine clusters drawn from the GCLASS survey. Dividing the galaxy population into three categories, that is, quiescent, star-forming, and poststarburst, we find that these populations have distinct distributions in phase space. Most striking are the poststarburst galaxies, which are commonly found at small clustercentric radii with high clustercentric velocities, and appear to trace a coherent 'ring' in phase space. Using several zoom simulations of clusters, we show that the coherent distribution of the poststarbursts can be reasonably well reproduced using a simple quenching scenario. Specifically, the phase space is best reproduced if these galaxies are quenched with a rapid timescale (0.1 <τ {sub Q} < 0.5 Gyr) after they make their first passage of R ∼ 0.5 R {sub 200}, a process that takes a total time of ∼1 Gyr after first infall. The poststarburst phase space is not well reproduced using long quenching timescales (τ {sub Q} > 0.5 Gyr) or by quenching galaxies at larger radii (R ∼ R {sub 200}). We compare this quenching timescale to the timescale implied by the stellar populations of the poststarburst galaxies and find that the poststarburst spectra are well-fit by a rapid quenching (τ {sub Q} = 0.4{sub −0.4}{sup +0.3} Gyr) of a typical star-forming galaxy. The similarity between the quenching timescales derived from these independent indicators is a strong consistency check of the quenching model. Given that the model implies satellite quenching is rapid and occurs well within R {sub 200}, this would suggest that ram-pressure stripping of either the hot or cold gas component of galaxies are the most plausible candidates for the physical mechanism. The high cold gas consumption rates at z ∼ 1 make it difficult to determine whether hot or cold gas stripping is dominant; however, measurements of the redshift evolution of the satellite quenching timescale and location may be capable of distinguishing between the two.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2022

A gamma-ray pulsar timing array constrains the nanohertz gravitational wave background

We report after large galaxies merge, their central supermassive black holes are expected to form binary systems. Their orbital motion should generate a gravitational wave background (GWB) at nanohertz frequencies. Searches for this background use pulsar timing arrays, which perform long-term monitoring of millisecond pulsars at radio wavelengths. We used 12.5 years of Fermi Large Area Telescope data to form a gamma-ray pulsar timing array. Results from 35 bright gamma-ray pulsars place a 95% credible limit on the GWB characteristic strain of 1.0 × 10 -14 at a frequency of 1 year –1 . The sensitivity is expected to scale with t obs , the observing time span, as t$^{-13/6}_{obs}$. This direct measurement provides an independent probe of the GWB while offering a check on radio noise models.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2016

Contrasting galaxy formation from quantum wave dark matter, ψDM, with ΛCDM, using Planck and Hubble data

The newly established luminosity functions (LFs) of high-z galaxies at 4 ≲ z ≲ 10 can provide a stringent check on dark matter models that aim to explain the core properties of dwarf galaxies. The cores of dwarf spheroidal galaxies are understood to be too large to be accounted for by free streaming of warm dark matter without overly suppressing the formation of such galaxies. Here we demonstrate with cosmological simulations that wave dark matter, ψDM, appropriate for light bosons such as axions, does not suffer from this problem, given a boson mass of m{sub ψ}⩾1.2×10{sup −22} eV (2σ). In this case, the halo mass function is suppressed below ∼10{sup 10} M{sub ⊙} at a level that is consistent with the high-z LFs, while simultaneously generating the kiloparsec-scale cores in dwarf galaxies arising from the solitonic ground state in ψDM. We demonstrate that the reionization history in this scenario is consistent with the Thomson optical depth recently reported by Planck, assuming a reasonable ionizing photon production rate. We predict that the LF should turn over slowly around an intrinsic ultraviolet luminosity of M{sub UV}≳−16 at z≳4. We also show that for galaxies magnified >10× in the Hubble Frontier Fields, ψDM predicts an order of magnitude fewer detections than cold dark matter at z≳10 down to M{sub UV}∼−15, allowing us to distinguish between these very different interpretations for the observed coldness of dark matter.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2015

Global sensitivity analysis, probabilistic calibration, and predictive assessment for the data assimilation linked ecosystem carbon model

In this paper we propose a probabilistic framework for an uncertainty quantification (UQ) study of a carbon cycle model and focus on the comparison between steady-state and transient simulation setups. A global sensitivity analysis (GSA) study indicates the parameters and parameter couplings that are important at different times of the year for quantities of interest (QoIs) obtained with the data assimilation linked ecosystem carbon (DALEC) model. We then employ a Bayesian approach and a statistical model error term to calibrate the parameters of DALEC using net ecosystem exchange (NEE) observations at the Harvard Forest site. The calibration results are employed in the second part of the paper to assess the predictive skill of the model via posterior predictive checks.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS1984

Numerical analysis of flow and heat transfer in the VAFB LOX storage Dewar tank

The present report describes numerical simulation of three-dimensional transient distributions of velocity and temperature of liquid oxygen (LOX) in the LOX Dewar tank of Vendenberg Air Force Base (VAFB). The present analyses cover the replenish time period only. Four test cases have been considered. For all four cases, the input boundary conditions are comprised of LOX facility heat loads, drain flow rates, recirculation flow rates and dewar heating. All the quantities are prescribed as functions of time. The first two test cases considered sensitivity of results to the computational grid. In Case 3, system heat load was changed, while in Case 4, a lower LOX level was specified. Cases 1 and 2 showed that the temperatures were not sensitive to the grid refinement. This provided a basic check on the numerical model. Cases 3 and 4 showed that the thermal boundary layer motion near the tank surface becomes more significant at the late time, e.g., 5 1/2 hours from replenish start. Comparison between results of Cases 3 and 4 showed, as expected, that the smaller initial LOX volume given in Case 4, results in higher temperature level. All calculated velocity and temperature distributions were found to be plausible.

Tam, L. T.↗
NASA NTRS1987

Flow measurements in a water tunnel using a holocinematographic velocimeter

Dual-view holographic movies were used to examine complex flows with full three-space and time resolution. This approach, which tracks the movement of small tracer particles in water, is termed holocinematographic velocimetry (HCV). A small prototype of a new water tunnel was used to demonstrate proof-of-concept for the HCV. After utilizing a conventional flow visualization apparatus with a laser light sheet to illuminate tracer particles to evaluate flow quality of the prototype tunnel, a simplified version of the HCV was employed to demonstrate the capabilities of the approach. Results indicate that a full-scale version of the water tunnel and a high performance version of the HCV should be able to check theoretical and numerical modeling of complex flows and examine the mechanisms operative in turbulent and vortex flow control concepts, providing an entirely unique instrument capable, for the first time, of simultaneous three-space and time measurements in turbulent flow.

Weinstein, Leonard M.↗
NASA NTRS1988

Capacity for patterns and sequences in Kanerva's SDM as compared to other associative memory models

The information capacity of Kanerva's Sparse Distributed Memory (SDM) and Hopfield-type neural networks is investigated. Under the approximations used here, it is shown that the total information stored in these systems is proportional to the number connections in the network. The proportionality constant is the same for the SDM and Hopfield-type models independent of the particular model, or the order of the model. The approximations are checked numerically. This same analysis can be used to show that the SDM can store sequences of spatiotemporal patterns, and the addition of time-delayed connections allows the retrieval of context dependent temporal patterns. A minor modification of the SDM can be used to store correlated patterns.

Keeler, James D.↗
NASA NTRS1989

Cosmological velocity correlations - Observations and model predictions

By applying the present simple statistics for two-point cosmological peculiar velocity-correlation measurements to the actual data sets of the Local Supercluster spiral galaxy of Aaronson et al. (1982) and the elliptical galaxy sample of Burstein et al. (1987), as well as to the velocity field predicted by the distribution of IRAS galaxies, a coherence length of 1100-1600 km/sec is obtained. Coherence length is defined as that separation at which the correlations drop to half their zero-lag value. These results are compared with predictions from two models of large-scale structure formation: that of cold dark matter and that of baryon isocurvature proposed by Peebles (1980). N-body simulations of these models are performed to check the linear theory predictions and measure sampling fluctuations.

Gorski, Krzysztof M.↗
NASA NTRS1987

Capacity for patterns and sequences in Kanerva's SDM as compared to other associative memory models

The information capacity of Kanerva's Sparse Distributed Memory (SDM) and Hopfield-type neural networks is investigated. Under the approximations used, it is shown that the total information stored in these systems is proportional to the number connections in the network. The proportionality constant is the same for the SDM and Hopfield-type models independent of the particular model, or the order of the model. The approximations are checked numerically. This same analysis can be used to show that the SDM can store sequences of spatiotemporal patterns, and the addition of time-delayed connections allows the retrieval of context dependent temporal patterns. A minor modification of the SDM can be used to store correlated patterns.

Keeler, James D.↗
NASA NTRS1990

A verified model of fault-tolerance

The main objectives are: a model of a replicated system with exact-match voting; a fault model that includes transients; a theorem that establishes the conditions under which the system provides fault tolerance; a formal specification of the model; and a mechanically checked verification of the theorem that is consonant with the journal-level presentation. Formal specification and verification revealed typos in the original report, exposed omission in original proof, led to the stronger theorem and more elegant proof, and confirmed that Enhanced Hierarchical Development Methodology (EHDM) has the capability to specify interesting and useful properties in a direct, natural, and readable manner.

Rushby, John↗
NASA NTRS2000

Thermal Aspects of Lithium Ion Cells

This viewgraph presentation outlines the development of a thermal model of Li-ion cells in terms of heat generation, thermal mass, and thermal resistance. Intended for incorporation into battery model. The approach was to estimate heat generation: with semi-theoretical model, and then to check accuracy with efficiency measurements. Another objective was to compute thermal mass from component weights and specific heats, and to compute the thermal resistance from component dimensions and conductivities. Two lithium batteries are compared, the Cylindrical lithium battery, and the prismatic lithium cell. It reviews methodology for estimating the heat generation rate. Graphs of the Open-circuit curves of the cells and the heat evolution during discharge are given.

Frank, H.↗
NASA NTRSDate not supplied

TPSAS-NF1676L-18322-DND

MetOp-A satellite was launched on 19 October 2006 and MetOp-B was launched on 17 September 2013. Two satellites fly in complementary orbits and in a sun synchronous morning orbit passing over the Equator at the same local time 9:30 am. MetOp-B phased 50 minutes apart from MetOp-A. Presented here are the global surface IR emissivity spectra retrieved from IASI measurements observed from both MetOp-A and MetOp-B satellites. Inter-comparison of the emissivities obtained from MetOp-A and MetOp-B is performed to ensure the continuity of emissivity monitoring and its trend analysis. Effort on emissivity validation continues with available ground in-situ measurements and retrieval consistency check through radiative transfer model simulations. The spatial resolution of emissivity climatology atlas is now increased from 0.5 to 0.25 degrees latitude-longitude, and available to the community.

Daniel K Zhou↗