Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Compiler techniques”

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 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

Strategies for Post-Synthetic Functionalization of Mesoporous Carbon Nanomaterial Surfaces

Most widely used carbon-based materials feature a bulk framework tolerant of extreme pH and temperature conditions while maintaining physical robustness, electrical conductivity, and biological relevance due to its inherent nontoxicity. At the nanoscale, the study of porous carbons has been of interest because of the enhanced accessible surface area relative to nonporous analogues. The evolution of synthetic techniques has developed structural allotropes with tunable internal pore diameter averages spanning from sub-nanometer to micron-plus sizes. Within the mesopore range, surface chemical phenomena abide by a kinetic-limited ruleset (ignoring the effects of bulk diffusion, as they do not pertain to this size regime). Further, mesopores provide sufficient volume and surface area for hosting guest species, including metal nanoparticles (MNP), polymers, small organics, and enzymes. These two unique features of mesoporous carbon (MC) drive interest in surface modifications to create new physicochemical functionality to these systems and their hosted species. As a result, the evolution of surface modification techniques has been scattered to disparate niches across the literature. This review compiles the array of elegant methods by which these carbon systems are topically engineered.

functionalization↗
DOE OSTI2023

Contribution of nuclear excitation electromagnetic form factors in C 12 and O 16 to the Coulomb sum rule

We report on empirical parametrizations of longitudinal and transverse nuclear excitation electromagnetic form factors in 12 C and 16 O. We extract the contribution of nuclear excitations to the normalized inelastic Coulomb sum rule [S L (q)] as a function of momentum transfer q and find that it is significant (0.29 ± 0.030 at q = 0.22 GeV). The total contributions of nuclear excitations to S L (q) in 12 C and 16 O are found to be equal within uncertainties. Since the cross sections for nuclear excitations are significant, the radiative tails from nuclear excitations should be included in precise calculations of radiative corrections to quasielastic electron scattering at low q and deep-inelastic electron scattering at large energy transfers ν. The parametrizations also serve as a benchmark in testing theoretical modeling of cross sections for excitation of nuclear states in electron and neutrino interactions on nuclear targets at low energies.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2025

Detection and Association of Operational Events using DAS and Seismometers (FY 2025 Mid-Year Report)

This mid-year report summarizes ongoing work to identify anomalous vibration signals indicative of potential containment breaches. This work includes compiling continuous seismic datasets and testing and refining underground detection and geolocation techniques. In the first two quarters of FY25, we have completed two project work plan tasks: (1) creating a database of continuous waveforms and ground truth event data from multiple modalities and (2) refining and implementing a detection and association algorithm to create a catalog of anomalous underground activities. This report contains a summary of the seismic database including the continuous seismic data collected by a dense array of surface seismic stations above Pleasant Gap Mine, and continuous seismic data collected using subsurface distributed acoustic sensing (DAS) in the subsurface at Sanford Underground Research Facility (SURF) and the ground truth information gathered from both sites. This report also includes results from refining and applying a dynamic power spectral density detector to both continuous seismic datasets. Finally, the report provides an initial catalog of subsurface operational events from both sensing modalities.

58 GEOSCIENCES↗
DOE OSTI2021

Reoptimization of Quantum Circuits via Hierarchical Synthesis

The current phase of quantum computing is in the Noisy Intermediate-Scale Quantum (NISQ) era. On NISQ devices, two-qubit gates such as CNOTs are much noisier than single-qubit gates, so it is essential to minimize their count. Quantum circuit synthesis is a process of decomposing an arbitrary unitary into a sequence of quantum gates, and can be used as an optimization tool to produce shorter circuits to improve overall circuit fidelity. However, the time-to-solution of synthesis grows exponentially with the number of qubits. As a result, synthesis is intractable for circuits on a large qubit scale. In this paper, we propose a hierarchical, block-by-block opti-mization framework, QGo, for quantum circuit optimization. Our approach allows an exponential cost optimization to scale to large circuits. QGo uses a combination of partitioning and synthesis: 1) partition the circuit into a sequence of independent circuit blocks; 2) re-generate and optimize each block using quantum synthesis; and 3) re-compose the final circuit by stitching all the blocks together. We perform our analysis and show the fidelity improvements in three different regimes: small-size circuits on real devices, medium-size circuits on noisy simulations, and large-size circuits on analytical models. Our technique can be applied after existing optimizations to achieve higher circuit fidelity. Further, using a set of NISQ benchmarks, we show that QGo can reduce the number of CNOT gates by 29.9% on average and up to 50% when compared with industrial compiler optimizations such as t|ket). When executed on the IBM Athens system, shorter depth leads to higher circuit fidelity. We also demonstrate the scalability of our QGo technique to optimize circuits of 60+ qubits, Our technique is the first demonstration of successfully employing and scaling synthesis in the compilation tool chain for large circuits. Overall, our approach is robust for direct incorporation in production compiler toolchains to further improve the circuit fidelity.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

QECC-Synth: A Layout Synthesizer for Quantum Error Correction Codes on Sparse Architectures

Quantum Error Correction (QEC) codes are essential for achieving fault-tolerant quantum computing (FTQC). However, their implementation faces significant challenges due to disparity between required dense qubit connectivity and sparse hardware architectures. Current approaches often either underutilize QEC circuit features or focus on manual designs tailored to specific codes and architectures, limiting their capability and generality. In response, we introduce QECC-Synth, an automated compiler for QEC code implementation that addresses these challenges. We leverage the ancilla bridge technique tailored to the requirements of QEC circuits and introduces a systematic classification of its design space flexibilities. We then formalize this problem using the MaxSAT framework to optimize these flexibilities. Evaluation shows that our method significantly outperforms existing methods while demonstrating broader applicability across diverse QEC codes and hardware architectures.

Yin, Keyi [University of California, San Diego]↗
DOE OSTI2021

Evaluation of Programming Language-Aware Diffs for Improving Developer Productivity

As the number of supported platforms for SNL software increases, so do the testing requirements. This increases the total time spent between when a developer submits code for testing, and when tests are completed. This in turn leads developers to hold off submitting code for testing, meaning that when code is ready for testing there's a lot more of it. This increases the likelihood of merge conflicts which the developer must resolve by hand -- because someone else touched the files near the lines the developer touched. Current text-based diff tools often have trouble resolving conflicts in these cases. Work in Europe and Japan has demonstrated that, using programming language aware diff tools (e.g., using the abstract syntax tree (AST) a compiler might generate) can reduce the manual labor necessary to resolve merge conflicts. These techniques can detect code blocks which have moved, as opposed than current text-based diff tools, which only detect insertions / deletions of text blocks. In this study, we evaluate one such tool, GumTree, and see how effective it is as a replacement for traditional text-based diff approaches.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2026

Profile Generation for GPU Targets

GPU accelerators are ubiquitous, but their ecosystem is far less evolved than the host one. Compiler heuristics are often tuned for CPUs and reused for GPU. Similarly, tooling and more evolved optimization techniques are historically not available on GPU targets. In this work, we address one of these shortcomings and enable profile generation and profile-guided optimizations (PGO) for GPU targets. While this is only a single step towards a CPU equivalent ecosystem for offload devices, it shows how old misconceptions on the limitations of GPUs are often not warranted anymore. Through our implementation in LLVM/Offload, we enable device-side PGO for full scientific applications and open up tooling opportunities, including code coverage analysis and compiler-built-in roofline analysis. Our evaluation highlights the performance implications of profile generation, the insights gained from these profiles, and the (missed) opportunities in utilizing the information for GPU compilation.

McDonough, Ethan Luis [Lawrence Livermore National↗
DOE OSTI2025

A snapshot of high-entropy alloy processing techniques and their effects on resulting mechanical properties

High-entropy alloys (HEAs) exhibit exceptional strength, corrosion resistance, and thermal stability, making them promising candidates for nuclear, aerospace, and other extreme applications. While most prior work has focused on compositional design, manufacturing techniques themselves can alter microstructure and mechanical properties as dramatically as alloy chemistry. This review compiles and compares the effects of processing routes—including arc melting, induction melting, mechanical alloying with spark plasma sintering, and additive manufacturing—on the structure and properties of HEAs. Quantitative comparisons highlight, for example, that SPS-processed alloys can achieve ∼20–45 % higher yield and tensile strength than arc-melted counterparts, while Bridgman solidification produces nearly single-crystal structures with elongation to failure exceeding 80 %. Additive manufacturing routes such as selective laser melting offer fine microstructures but also introduce anisotropy and porosity, leading to yield strengths spanning 100–600 MPa for the same composition. By synthesizing such results, this review provides actionable insight into how processing routes interact with HEA core effects (high entropy, lattice distortion, sluggish diffusion, and cocktail effect) to determine performance, thereby offering a practical guide for optimizing manufacturing strategies.

36 MATERIALS SCIENCE↗
DOE OSTI2021

Statistical upscaling of ecosystem CO 2 fluxes across the terrestrial tundra and boreal domain: Regional patterns and uncertainties

Abstract The regional variability in tundra and boreal carbon dioxide (CO 2 ) fluxes can be high, complicating efforts to quantify sink‐source patterns across the entire region. Statistical models are increasingly used to predict (i.e., upscale) CO 2 fluxes across large spatial domains, but the reliability of different modeling techniques, each with different specifications and assumptions, has not been assessed in detail. Here, we compile eddy covariance and chamber measurements of annual and growing season CO 2 fluxes of gross primary productivity (GPP), ecosystem respiration (ER), and net ecosystem exchange (NEE) during 1990–2015 from 148 terrestrial high‐latitude (i.e., tundra and boreal) sites to analyze the spatial patterns and drivers of CO 2 fluxes and test the accuracy and uncertainty of different statistical models. CO 2 fluxes were upscaled at relatively high spatial resolution (1 km 2 ) across the high‐latitude region using five commonly used statistical models and their ensemble, that is, the median of all five models, using climatic, vegetation, and soil predictors. We found the performance of machine learning and ensemble predictions to outperform traditional regression methods. We also found the predictive performance of NEE‐focused models to be low, relative to models predicting GPP and ER. Our data compilation and ensemble predictions showed that CO 2 sink strength was larger in the boreal biome (observed and predicted average annual NEE −46 and −29 g C m −2 yr −1 , respectively) compared to tundra (average annual NEE +10 and −2 g C m −2 yr −1 ). This pattern was associated with large spatial variability, reflecting local heterogeneity in soil organic carbon stocks, climate, and vegetation productivity. The terrestrial ecosystem CO 2 budget, estimated using the annual NEE ensemble prediction, suggests the high‐latitude region was on average an annual CO 2 sink during 1990–2015, although uncertainty remains high.

Virkkala, Anna‐Maria↗
DOE OSTI2024

MUPPET: An automated OpenMP mutation testing framework for performance optimization

MUPPET is a tool for OpenMP programs that identifies program modifications, called mutations, aimed at improving program performance. Existing performance optimization techniques, including profiling-based and auto-tuning techniques, fail to indicate program modifications at the source level thus preventing their portability across compilers. MUPPET aims to help HPC developers reason about performance defects and missed opportunities to improve performance at the source code level.

Parasyris, Konstantinos↗
DOE OSTI2024

Native Two-Qubit Gates in Fixed-Coupling, Fixed-Frequency Transmons Beyond Cross-Resonance Interaction

Fixed-frequency superconducting qubits demonstrate remarkable success as platforms for stable and scalable quantum computing. Cross-resonance gates have been the workhorse of fixed-coupling, fixed-frequency superconducting processors, leveraging the entanglement generated by driving one qubit resonantly with a neighbor’s frequency to achieve high-fidelity, universal controlled- () gates. Here, we use on-resonant and off-resonant microwave drives to go beyond cross-resonance, realizing natively interesting two-qubit gates that are not equivalent to gates. In particular, we implement and benchmark native i , , i SWAP , and b gates; in fact, any SU ( 4 ) unitary can be achieved using these techniques. Furthermore, we apply these techniques for an efficient construction of the B gate: a perfect entangler from which any two-qubit gate can be reached in only two applications. We show that these native two-qubit gates are better than their counterparts compiled from cross-resonance gates. We elucidate the resonance conditions required to drive each two-qubit gate and provide a novel frame tracking technique to implement them in Qiskit. Published by the American Physical Society 2024

Physics↗
DOE OSTI2025

Deviations from the Porter-Thomas Distribution due to Nonstatistical 𝛾 Decay below the 150 Nd Neutron Separation Threshold

We introduce a new method for the study of fluctuations of partial transition widths based on nuclear resonance fluorescence experiments with quasimonochromatic linearly polarized photon beams below particle separation thresholds. It is based on the average branching of decays of 𝐽=1 states of an even-even nucleus to the 2$^{+}_{1}$ state in comparison to the ground state. Between 5 and 7 MeV, a constant average branching ratio for 𝛾 decays from 1 − states of 0.490(16) is observed for the nuclide 150 Nd. Assuming 𝜒 2 -distributed partial transition widths, this average branching ratio is related to a degree of freedom of 𝜈 = 1.93⁢(12), rejecting the validity of the Porter-Thomas distribution, requiring 𝜈 = 1. The observed deviation can be explained by nonstatistical effects in the 𝛾-decay behavior with contributions in the range of 9.4(10)% up to 94(10)%.

150 ≤ A ≤ 189↗
DOE OSTI2026

First observation of a high-𝐾 band structure in 162 Er and implications in the context of the identical bands phenomenon

The first ever identification of a high-𝐾 band structure in 162 Er is reported. Based on a 𝐾 𝜋 = 7 (−) isomer, it is found to be identical in nature to the corresponding 𝐾 𝜋 = 7 − sequence in 164 Er up to its highest observed spin. Furthermore, the phenomenon of identical high-K bands built on a two-quasiparticle configuration in an isotopic chain is reported here for the first time. While this is a notable addition to the systematics of known identical bands in nuclei at normal deformation, a satisfactory global understanding of the phenomenon remains elusive.

150 ≤ A ≤ 189↗
DOE OSTI2022

Determination of β -decay feeding patterns of 88 Rb and 88 Kr using the Modular Total Absorption Spectrometer at ORNL HRIBF

We report precise determination of ground-state feeding in the β decay of fission products is an important but challenging component in modeling reactor antineutrino flux and reactor decay heat. The Modular Total Absorption Spectrometer (MTAS) is a versatile NaI(Tl) detector array that determines the true β-decay pattern free from the pandemonium effect, including precise ground-state feeding intensities. In this paper, we report MTAS results of the β feeding intensities of 88 Rb and 88 Kr, fission products with large cumulative yields in nuclear reactors. By comparing MTAS results with previous measurements, 88 Rb provides a validation of MTAS's ability to determine ground-state feedings in β decays, while the precision of 88 Kr ground-state feeding is improved when compared with the Evaluated Nuclear Structure Data File (ENSDF). The investigation of sources that contribute to β feeding branching uncertainties in MTAS experiments is discussed in detail. Lastly, the deconvolution of 88 Rb decay spectra suggests that MTAS can distinguish an allowed β spectral shape from a first forbidden unique β spectral shape.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2023

Binary Control Pulse Optimization for Quantum Systems

Quantum control aims to manipulate quantum systems toward specific quantum states or desired operations. Designing highly accurate and effective control steps is vitally important to various quantum applications, including energy minimization and circuit compilation. In this paper we focus on discrete binary quantum control problems and apply different optimization algorithms and techniques to improve computational efficiency and solution quality. Specifically, we develop a generic model and extend it in several ways. We introduce a squared L 2 -penalty function to handle additional side constraints, to model requirements such as allowing at most one control to be active. We introduce a total variation (TV) regularizer to reduce the number of switches in the control. We modify the popular gradient ascent pulse engineering (GRAPE) algorithm, develop a new alternating direction method of multipliers (ADMM) algorithm to solve the continuous relaxation of the penalized model, and then apply rounding techniques to obtain binary control solutions. We propose a modified trust-region method to further improve the solutions. Our algorithms can obtain high-quality control results, as demonstrated by numerical studies on diverse quantum control examples.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2022

The Dependence of the Type Ia Supernova Host Bias on Observation or Fitting Technique

More luminous Type Ia supernovae prefer less massive hosts and regions of higher star formation. This correlation is inverted during width–color–luminosity light-curve standardization resulting in step-like biases of distance measurements with respect to host properties. Using the PMAS/PPak Integral-field Supernovahosts COmpilation (PISCO) supernova host sample and Sloan Digital Sky Survey, Galaxy Evolution Explorer, and Two Micron All Sky Survey photometry, we compare host stellar mass and specific star-formation rate (sSFR) from different observation methods, including local versus global, and fitting techniques to measure their impact on the host step biases. Mass-step measurements for all our mass samples are consistent within a 1σ significance from –0.03 ± 0.02 mag to –0.04 ± 0.02 mag. Including or excluding UV information had no effect on measured mass-step size or location. sSFR step sizes are more significant than mass-step measurements and varied from 0.05 ± 0.03 mag (Hα) and 0.06 ± 0.02 mag (UV) for a 51 host sample. The sSFR step location is influenced by the mass sample used to normalize star formation and by sSFR tracer choice. The step size is reduced to 0.04 ± 0.03 mag when using all available 73 hosts with Hα measurements. This 73 PISCO host subsample overall lacked a clear step signal, but here we are searching for whether different choices of mass or sSFR estimation can create a step signal. We find no evidence that different observation or fitting techniques choices can create a distance measurement step in either mass or sSFR.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2023

Molecular Symmetry in VQE: A Dual Approach for Trapped-Ion Simulations of Benzene

Understanding complex chemical systems—such as biomolecules, catalysts, and novel materials—is a central goal of quantum simulations. Near-term strategies hinge on the use of variational quantum eigensolver (VQE) algorithms combined with a suitable ansatz. However, straightforward application of many chemically-inspired ansatze yields prohibitively deep circuits. In this work, we employ several circuit optimization methods tailored for trapped-ion quantum devices to enhance the feasibility of intricate chemical simulations. The techniques aim to lessen the depth of the unitary coupled cluster with singles and doubles (uCCSD) ansatz's circuit compilation, a considerable challenge on current noisy quantum devices. Furthermore, we use symmetry-inspired classical post-selection methods to further refine the outcomes and minimize errors in energy measurements, without adding quantum overhead. Our strategies encompass optimal mapping from orbital to qubit, term reordering to minimize entangling gates, and the exploitation of molecular spin and point group symmetry to eliminate redundant parameters. The inclusion of error mitigation via post-selection based on known molecular symmetries improves the results to near milli-Hartree accuracy. These methods, when applied to a benzene molecule simulation, enabled the construction of an 8-qubit circuit with 69 two-qubit entangling operations, pushing the limits for variational quantum eigensolver (VQE) circuits executed on quantum hardware to date. 1 1 This manuscript has been authored in part by UT-Battelle, LLC, under contract DE-AC05-000R22725 with the US Department of Energy (DOE). The publisher acknowledges the US government license to provide public access under the DOE Public Access Plan(https://energy.gov/doe-public-access-plan).

Goings, Joshua↗