Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “mixed precision”

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 199 records · Page 11

Basic analysis of terminal operation benefits resulting from reduced vortex separation minima

The impact of reducing the wake vortex minimum separation required behind heavy jets on terminal area operation rate was analyzed. The effect on arrival saturation and steady state average delay was determined for various percentages mix of heavy and large jet traffic samples operating under various precision of interarrival spacing. Benefits increase with percentage of heavy aircraft and with precision of control. These results demonstrate the payoff possible from research to reduce the severity of the trailing vortex by aerodynamic means.

Credeur, L.↗

Random Testing and Model Checking: Building a Common Framework for Nondeterministic Exploration

Two popular forms of dynamic analysis, random testing and explicit-state software model checking, are perhaps best viewed as search strategies for exploring the state spaces introduced by nondeterminism in program inputs. We present an approach that enables this nondeterminism to be expressed in the SPIN model checker's PROMELA language, and then lets users generate either model checkers or random testers from a single harness for a tested C program. Our approach makes it easy to compare model checking and random testing for models with precisely the same input ranges and probabilities and allows us to mix random testing with model checking's exhaustive exploration of non-determinism. The PROMELA language, as intended in its design, serves as a convenient notation for expressing nondeterminism and mixing random choices with nondeterministic choices. We present and discuss a comparison of random testing and model checking. The results derive from using our framework to test a C program with an effectively infinite state space, a module in JPL's next Mars rover mission. More generally, we show how the ability of the SPIN model checker to call C code can be used to extend SPIN's features, and hope to inspire others to use the same methods to implement dynamic analyses that can make use of efficient state storage, matching, and backtracking.

dynamic analysis↗

Comparison of the earliest NC and CC planetesimals: Evidence from ungrouped iron meteorites

Isotope anomalies in meteorites reveal a fundamental dichotomy between Non-Carbonaceous- (NC) and Carbonaceous-type (CC) planetary bodies. Until now, this dichotomy is established for the major meteorite groups, representing about 36 distinct parent bodies. Ungrouped meteorites represent an even larger number of additional parent bodies, but whether they conform to the overall NC-CC dichotomy is unknown. Here, the genetics and chronology of 26 ungrouped iron meteorites are considered through nucleosynthetic Mo and radiogenic W isotopic compositions. Secondary cosmic ray-induced modifications of these isotope compositions are corrected using Pt isotope measurements on the same samples. We find that all of the ungrouped irons have Mo isotope anomalies within the range of the major meteorite groups and confirm the NC-CC dichotomy for Mo, where NC and CC meteorites define two distinct, subparallel s-process mixing lines. All ungrouped NC irons fall on the NC-line, which is now precisely defined for 41 distinct parent bodies. The ungrouped CC irons show scatter around the CC-line indicative of small r-process Mo heterogeneities among these samples. These r-process Mo isotope variations correlate with O isotope anomalies, most likely reflecting mixing of CI chondrite-like matrix, chondrule precursors, and Ca-Al-rich inclusions. This implies that CC iron meteorite parent bodies accreted the same nebular components as the later-formed carbonaceous chondrites. The Hf-W model ages of core formation for the ungrouped irons overlap with those of the iron meteorite groups from each reservoir and reveal a narrow age peak at ∼3.3 Ma after Ca-Al-rich inclusions for the CC irons. By contrast, the NC irons display more variable ages, including younger ages indicative of impact-induced melting events, which seem absent among the CC irons. This is attributed to the more fragile and porous nature of the CC bodies, making impact-induced melting on their surfaces difficult. The chemical characteristics of all iron meteorites together reveal slightly more oxidizing conditions during core formation for CC compared to NC irons. More strikingly, strong depletions in moderately volatile elements, typical of many iron meteorite parent bodies, predominantly occur among CC irons, for reasons that remain unclear at present.

Chondrite components↗

Complementary signals of lepton flavor violation at a high-energy muon collider

A muon collider would be a powerful probe of flavor violation in new physics. There is a strong complementary case for collider measurements and precision low-energy probes of lepton flavor violation (as well as CP violation). We illustrate this by studying the collider reach in a supersymmetric scenario with flavor-violating slepton mixing. We find that the collider could discover sleptons and measure the slepton and neutralino masses with high precision, enabling event reconstruction that could cleanly separate flavor-violating new physics signals from Standard Model backgrounds. The discovery reach of a high-energy muon collider would cover a comparably large, and overlapping, range of parameter space to future μ → e conversion and electron EDM experiments, and unlike precision experiments could immediately shed light on the nature of new physics responsible for flavor violation. This complementarity strengthens the case that a muon collider could be an ideal energy-frontier laboratory in the search for physics beyond the Standard Model.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Prognostic simulations of mixed-phase clouds with model AC-1D v1.0: the impact of aerosol types and freezing parameterizations on ice crystal budgets

Mixed-phase clouds at high latitudes contribute to the uncertainty in predicting cloud feedbacks and climate sensitivity, mainly due to the complexity of microphysical processes that influence the partitioning between the supercooled liquid and ice phases, and hence, cloud radiative effects on regional scales. Particularly in Arctic mixed-phase clouds, the activation of ice-nucleating particles (INPs) from various aerosol populations remains a leading source of uncertainty. We developed an aerosol-cloud one-dimensional (AC-1D) model, which provides a novel framework to prognostically treat INP and ice crystal budgets while explicitly accounting for polydisperse and multicomponent aerosol that activate INPs following different freezing parameterizations. The AC-1D model is informed by large-eddy simulations to probe the impact of INP representation on predicted ice crystal number concentrations (N i ) and ice crystal budgets in mixed-phase Arctic stratus. We apply three immersion freezing (IMF) parameterizations, two time-independent (singular) and one time-dependent (classical nucleation theory), to predict the evolution of the INP reservoir and resulting ice crystal budget from polydisperse mineral dust, organic (humic-like substances), and sea spray aerosol particle size distributions. Our analysis focuses on how variations in aerosol number concentration and cloud system parameters such as cloud cooling rate, cloud-top entrainment rate, and ice crystal fall speed influence the INP reservoir and ice crystal budgets. Furthermore, this study investigates the competitive ice nucleation dynamics in mixed aerosol environments and provides a process-level quantification of the INP budget terms, which directly controls ice crystal budgets. For all studied case scenarios, the aerosol types and associated particle size distributions significantly impact INP and N i , and the choice between a time-dependent and a singular freezing description yields orders-of-magnitude differences in the predicted INP and N i over the 10 h simulation time, reflecting typical cloud lifetimes. Our results show that the influence of cloud cooling, INP entrainment, and sedimentation varies significantly depending on the chosen freezing parameterization. These findings underscore the critical need for robust IMF parameterizations and precise cloud system observations to enhance the accuracy of models in predicting mixed-phase cloud structure and evolution.

Arctic clouds↗

Accuracy Guarantees and Quantum Advantage in Analog Open Quantum Simulation with and without Noise

Many-body open quantum systems, described by Lindbladian master equations, are a rich class of physical models that display complex equilibrium and out-of-equilibrium phenomena which remain to be understood. In this paper, we theoretically analyze noisy analog quantum simulation of geometrically local open quantum systems and provide evidence that this problem both is hard to simulate on classical computers and could be approximately solved on near-term quantum devices. First, given a noiseless quantum simulator, we show that the dynamics of local observables and the fixed-point expectation values of rapidly mixing local observables in geometrically local Lindbladians can be obtained to a precision of ϵ in time that is poly ( ϵ − 1 ) and uniform in system size. Furthermore, we establish that the quantum simulator would provide a superpolynomial advantage, in run-time scaling with respect to the target precision and either the evolution time (when simulating dynamics) or the Lindbladian’s decay rate (when simulating fixed points), over any classical algorithm for these problems, assuming BQP ≠ BPP . We then consider the presence of noise in the quantum simulator in the form of additional geometrically local Lindbladian terms. We show that the simulation tasks considered in this paper are stable to errors; i.e., they can be solved to a noise-limited, but system-size independent, precision. Finally, we establish that, assuming BQP ≠ BPP , there are stable geometrically local Lindbladian simulation problems such that, as the noise rate on the simulator is reduced, classical algorithms must take time superpolynomially longer in the inverse noise rate to attain the same precision as the analog quantum simulator. Published by the American Physical Society 2025

Kashyap, Vikram (ORCID:0000000208195207)↗

New NOvA Results with 10 Years of Data

NOvA is a two-detector accelerator neutrino oscillation experiment. Using Fermilab's newly Megawatt-capable NuMI neutrino beam, NOvA measures the disappearance of muon (anti)neutrinos and the appearance of electron (anti)neutrinos at the far detector, 810 km from the source. These oscillations are observed relative to the unoscillated beam composition measured at the functionally equivalent near detector, also located at Fermilab, which enables significant cancellation of systematic uncertainties. From these, we obtain precision measurements of the larger neutrino mass splitting and the largest neutrino mixing angle, as well as constraints on the octant of that angle, the neutrino mass ordering, and neutrino CP violation. In this talk I will present new measurements of these parameters using 10 years of NOvA data collected between 2013 and 2023, which includes twice the neutrino-mode exposure of our previous results.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Comparison of Sub-Ppm Instrument Response Suggests Higher Detection Limits Could Be Used to Quantify Methane Emissions from Oil and Gas Infrastructure

Quantifying and controlling fugitive methane emissions from oil and gas facilities remains essential for addressing climate goals, but the costs associated with monitoring millions of production sites remain prohibitively expensive. Current thinking, supported by measurement and simple dispersion modelling, assumes single-digit parts-per-million instrumentation is required. To investigate instrument response, the inlets of three trace-methane (sub-ppm) analyzers were collocated on a facility designed to release gas of known composition at known flow rates between 0.4 and 5.2 kg CH 4 h –1 from simulated oil and gas infrastructure. Methane mixing ratios were measured by each instrument at 1 Hertz resolution over nine hours. While mixing ratios reported by a cavity ring-down spectrometer (CRDS)-based instrument were on average 10.0 ppm (range 1.8 to 83 ppm), a mid-infrared laser absorption spectroscopy (MIRA)-based instrument reported short-lived mixing ratios far larger than expected (range 1.8 to 779 ppm) with a similar nine-hour average to the CRDS (10.1 ppm). We suggest the peaks detected by the MIRA are likely caused by a micrometeorological phenomenon, where vortex shedding has resulted in heterogeneous methane plumes which only the MIRA can observe. Further analysis suggests an instrument like the MIRA (an optical-cavity-based instrument with cavity size ≤10 cm3 measuring at ≥2 Hz with air flow rates in the order of ≤0.3 slpm at distances of ≤20 m from the source) but with a higher detection limit (25 ppm) could detect enough of the high-concentration events to generate representative 20 min-average methane mixing ratios. Even though development of a lower-cost, high-precision, high-accuracy instrument with a 25 ppm detection threshold remains a significant problem, this has implications for the use of instrumentation with higher detection thresholds, resulting in the reduction in cost to measure methane emissions and providing a mechanism for the widespread deployment of effective leak detection and repair programs for all oil and gas infrastructure.

03 NATURAL GAS↗

Characterization of a Combined CARS and Interferometric Rayleigh Scattering System

This paper describes the characterization of a combined Coherent anti-Stokes Raman Spectroscopy and Interferometric Rayleigh Scattering (CARS-IRS) system by reporting the accuracy and precision of the measurements of temperature, species mole fraction of N2, O2, and H2, and two-components of velocity. A near-adiabatic H2-air Hencken burner flame was used to provide known properties for measurements made with the system. The measurement system is also demonstrated in a small-scale Mach 1.6 H2-air combustion-heated supersonic jet with a co-flow of H2. The system is found to have a precision that is sufficient to resolve fluctuations of flow properties in the mixing layer of the jet.

Tedder, Sarah A.↗

Infrared measurements of atmospheric CH3CN

For the first time CH3CN has been measured in the Earth's atmosphere by means of infrared remote sensing. Vertical profiles of volume mixing ratio were retrieved from 12 solar occultation measurements by the balloon-borne JPL MkIV interferometer between 1993 and 2004. Profile retrieval is possible in an altitude range between 12 and 30 km with a precision of _20 ppt in the Arctic and _30 ppt at mid-latitudes. The retrieved CH3CN profiles show mixing ratios of 100-150 ppt a few kilometers above the tropopause that decrease to values below 40 ppt at altitudes between 22 and 30 km. The CH3CN mixing ratios show a reasonably compact correlation with the stratospheric tracers CH3Cl and CH4. The CH3CN altitude profiles and tracer correlations are well reproduced by a 2-dimensional model, suggesting that CH3CN is long-lived in the lower stratosphere and that previously-proposed ion-molecule reactions do not play a major role as loss processes of CH3CN.

infrared remote sensing↗

Microwave-assisted synthesis of mixed-linker covalent organic frameworks enabling tunable and ultrahigh iodine capture

The use of covalent organic frameworks (COFs) for hazardous radioiodine capture has been highly sought after recently. However, the synthesis of high-performance COF adsorbents while circumventing the limitations of traditional solvothermal methods remains largely unexplored. Herein, we for the first time combine microwave-assisted synthesis and mixed-linker strategy to fabricate multivariate COF adsorbents (X% OMe-TFB-BD COFs, X% = 0, 33, 50, 67, and 100 mol%) with varying ratios of benzidine (BD) and 3,3'-dimethoxylbenzidine (BD-OMe) linkers in a rapid and facile manner. Adjusting the BD-OMe/BD mole ratios has led to distinct variations in density, crystallinity, porosity, morphology, and thermal/chemical stability of the resultant COFs, which empowered fine-tuning of the adsorption performance towards static iodine vapor. Remarkably, the 50% OMe-TFB-BD COF exhibited an ultrahigh iodine adsorption capability of 8.2 g g –1 , surpassing those of single-component COFs, mixed-linker COFs with other methoxy content, physically blended mixtures, and most existing COF adsorbents. Moreover, 50% OMe-TFB-BD COF was recyclable seven times without obvious loss in its adsorption capacity. Finally, this work underscores the substantial potential of microwave-assisted mixed-linker strategy as a viable approach for developing multivariate COFs with shortened reaction times, precisely tailored pore environment, and tunable sorption properties, which are of considerable promise for environmental remediation and other niche applications.

36 MATERIALS SCIENCE↗

Moessbauer studies in zinc-manganese ferrites for use in measuring small velocities and accelerations with great precision

Mossbauer spectroscopy was used for a systematic study of the magnetic behavior of manganese and zinc in mixed ferrites. It was observed that Zn2+ has preference to substitute Mn2+ at interstitial sites where the metal ions are tetrahedrally coordinated with four oxygen neighbors. The internal magnetic hyperfine field at the tetrahedral iron site is larger than that at the octahedral site. The relaxation effects were observed to play an important role as the zinc contents were increased, while the spin-correlation time and the magnetic field were observed to decrease in strength. It is concluded that Mossbauer effect data on complex materials, when used in conjunction with other data, can provide useful insight into the origin of the microscopic properties of magnetic materials.

Escue, W. T.↗

Autoignition - A liquid propellant explosive potential limiting phenomena

It has been thought that the unplanned mixing of the propellants of liquid launch vehicles could result in massive explosion and destruction. This paper presents results of NASA's attempt to develop a precise analytical theory and predictive model for liquid propellant explosives. Prediction model experiments involving a 'seven-chart' approach showing the relationship between yield function, mixing function, time dependence, chemical and physical reactant properties and quantity effects were used to establish a theory that autoignition takes place when propellants mix in a certain 'critical mass' or greater. An analytical confirmation of the theory has been carried out, with particular reference to possible autoignition in LOX/LH2 and LOX/RP-1 and Saturn V: it was confirmed that autoignition occurs and prevents the mixing of more than the 'critical mass' and therefore limits the explosive yield to several thousand pounds, which will disperse the remaining propellant and prohibit detonation of the total quantities otherwise suspected.

Boggs, W. H.↗

Stratospheric Observations of CH3D and HDO from ATMOS Infrared Solar Spectra: Enrichments of Deuterium in Methane and Implications for HD

Stratospheric mixing ratios of CH3D from 100 mb to 17mb (approximately equals 15 to 28 km)and HDO from 100 mb to 10 mb (approximately equals 15 to 32 km) have been inferred from high resolution solar occultation infrared spectra from the Atmospheric Trace MOlecule Spectroscopy (ATMOS) Fourier-transform interferometer. The spectra, taken on board the Space Shuttle during the Spacelab 3 and ATLAS-1, -2, and -3 missions, extend in latitude from 70 deg S to 65 deg N. We find CH3D entering the stratosphere at an average mixing ratio of (9.9 +/- 0.8) x 10(exp -10) with a D/H ratio in methane (7.1 +/- 7.4)% less than that in Standard Mean Ocean Water (SMOW) (1 sigma combined precision and systematic error). In the mid to lower stratosphere, the average lifetime of CH3D is found to be (1.19 +/- 0.02) times that of CH4, resulting in an increasing D/H ratio in methane as air 'ages' and the methane mixing ratio decreases. We find an average of (1.0 +/- 0.1) molecules of stratospheric HDO are produced for each CH3D destroyed (1 sigma combined precision and systematic error), indicating that the rate of HDO production is approximately equal to the rate of CH3D destruction. Assuming negligible amounts of deuterium in species other than HDO, CH3D and HD, this limits the possible change in the stratospheric HD mixing ratio below about 10 mb to be +/- 0.1 molecules HD created per molecule CH3D destroyed.

Irion, F. W.↗

Prospects for beyond the Standard Model physics searches at the Deep Underground Neutrino Experiment: DUNE Collaboration

Abstract The Deep Underground Neutrino Experiment (DUNE) will be a powerful tool for a variety of physics topics. The high-intensity proton beams provide a large neutrino flux, sampled by a near detector system consisting of a combination of capable precision detectors, and by the massive far detector system located deep underground. This configuration sets up DUNE as a machine for discovery, as it enables opportunities not only to perform precision neutrino measurements that may uncover deviations from the present three-flavor mixing paradigm, but also to discover new particles and unveil new interactions and symmetries beyond those predicted in the Standard Model (SM). Of the many potential beyond the Standard Model (BSM) topics DUNE will probe, this paper presents a selection of studies quantifying DUNE’s sensitivities to sterile neutrino mixing, heavy neutral leptons, non-standard interactions, CPT symmetry violation, Lorentz invariance violation, neutrino trident production, dark matter from both beam induced and cosmogenic sources, baryon number violation, and other new physics topics that complement those at high-energy colliders and significantly extend the present reach.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

New directions for joint neutrino oscillation measurements with T2K and NOvA

The first joint analysis of data from the NOvA and T2K neutrino oscillations experiments was published in 2025, offering the most precise measurements of the larger mass splitting $\Delta m_{32}^{2}$, the largest mixing angle $\theta_{23}$, and the CP-violating phase $\delta_{CP}$ available at the time. In addition to working towards a reanalysis with additional data collected since that analysis, the collaborations are now exploring possible constraints on BSM physics scenarios. This poster will discuss the potential of a joint measurement of parameters in a framework treating effective non-standard neutral-current neutrino-matter interactions, NC-NSI. Uniquely, the differing baselines and energies of T2K and NOvA allow strong constraints to be set on the electron-muon and electron-tau parameters of NSI contributions to the Hamiltonian, while at the same time maintaining good sensitivity to the standard 3-flavor neutrino oscillations parameters, including the CP phase.

Mikola, Veera [Glasgow U.]↗

A Scalable Analysis Toolkit

The Scalable Analysis Toolkit (SAT) project aimed to demonstrate that it is feasible and useful to statically detect software bugs in very large systems. The technical focus of the project was on a relatively new class of constraint-based techniques for analysis software, where the desired facts about programs (e.g., the presence of a particular bug) are phrased as constraint problems to be solved. At the beginning of this project, the most successful forms of formal software analysis were limited forms of automatic theorem proving (as exemplified by the analyses used in language type systems and optimizing compilers), semi-automatic theorem proving for full verification, and model checking. With a few notable exceptions these approaches had not been demonstrated to scale to software systems of even 50,000 lines of code. Realistic approaches to large-scale software analysis cannot hope to make every conceivable formal method scale. Thus, the SAT approach is to mix different methods in one application by using coarse and fast but still adequate methods at the largest scales, and reserving the use of more precise but also more expensive methods at smaller scales for critical aspects (that is, aspects critical to the analysis problem under consideration) of a software system. The principled method proposed for combining a heterogeneous collection of formal systems with different scalability characteristics is mixed constraints. This idea had been used previously in small-scale applications with encouraging results: using mostly coarse methods and narrowly targeted precise methods, useful information (meaning the discovery of bugs in real programs) was obtained with excellent scalability.

Aiken, Alexander↗

Studies of Tropical/Mid-Latitude Exchange Using UARS Observations

At the time this proposal was submitted, recent publications had suggested an important role for transport of midlatitude air into the tropical lower stratosphere. Most of these studies had employed data that gave only a time-averaged picture, making it difficult to determine the nature of the transport processes responsible for the observed behavior. We proposed to analyze observations of long-lived trace gases, such as nitric acid, methane, nitrous oxide, and chlorofluorocarbons, made from the Upper Atmosphere Research Satellite, to investigate the seasonal behavior of mixing between the midlatitudes and tropics. We planned to construct probability distributions of the concentrations of these species over small altitude ranges and to compare them to expectations based on modeled mean concentrations and knowledge of instrument precision. Differences from expectation were to be analyzed with respect to meteorological parameters to determine whether wave activity may have induced apparent mixing.

Avallone, Linnea↗