Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “SMT”

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 OSTI2023

In Situ Scattering Studies of Superconducting Vacancy‐Ordered Monoclinic TiO Thin Films

Abstract The structural and transport properties of vacancy‐ordered monoclinic superconducting titanium oxide (TiO) thin films grown by molecular beam epitaxy are investigated. The evolution of the crystal structure during growth is monitored by in situ synchrotron X‐ray diffraction. Long‐range ordering of Ti and O vacancies in the disordered cubic phase stabilizes the vacancy‐ordered monoclinic TiO phase. The reduced structural disorder arising from vacancy‐ordering is correlated with a superconductor‐metal transition (SMT) in contrast to the superconductor‐insulator transition (SIT) observed in cubic TiO, orthorhombic Ti 2 O 3 , and the Magneli γ − Ti 3 O 5 and γ − Ti 4 O 7 phase. Magnetoresistance measurements for the SIT phases indicate superconducting fluctuations persisting in the normal phase. These results confirm the role of disorder related to Ti and O vacancies and structural inhomogeneity in determining the electronic properties of the normal state of titanium oxide‐based superconductors.

Baksi, Merve↗
DOE OSTI2024

Synthesizing realistic sand assemblies with denoising diffusion in latent space

Abstract The shapes and morphological features of grains in sand assemblies have far‐reaching implications in many engineering applications, such as geotechnical engineering, computer animations, petroleum engineering, and concentrated solar power. Yet, our understanding of the influence of grain geometries on macroscopic response is often only qualitative, due to the limited availability of high‐quality 3D grain geometry data. In this paper, we introduce a denoising diffusion algorithm that uses a set of point clouds collected from the surface of individual sand grains to generate grains in the latent space. By employing a point cloud autoencoder, the three‐dimensional point cloud structures of sand grains are first encoded into a lower‐dimensional latent space. A generative denoising diffusion probabilistic model is trained to produce synthetic sand that maximizes the log‐likelihood of the generated samples belonging to the original data distribution measured by a Kullback‐Leibler divergence. Numerical experiments suggest that the proposed method is capable of generating realistic grains with morphology, shapes and sizes consistent with the training data inferred from an F50 sand database. We then use a rigid contact dynamic simulator to pour the synthetic sand in a confined volume to form granular assemblies in a static equilibrium state with targeted distribution properties. To ensure third‐party validation, 50,000 synthetic sand grains and the 1542 real synchrotron microcomputed tomography (SMT) scans of the F50 sand, as well as the granular assemblies composed of synthetic sand grains are made available in an open‐source repository.

Vlassis, Nikolaos N.↗
DOE OSTI2020

Influence of crystal structure on constitutive anisotropy of silica sand at particle-scale

In spite of recent advanced geotechnical research regarding the influence of particle-scale morphology and fabric on the constitutive behavior of silica sands, there is still no published literature that investigated the influence of crystal structure of sand particles on their constitutive behavior. The main constituent of silica sand particles is quartz mineral, which has a trigonal crystal system and hexagonal lattice. This paper investigates the influence of quartz crystal structure on the constitutive response of silica sand particles using 3D X-ray diffraction (3DXRD), synchrotron micro-computed tomography (SMT), and 3D finite element (FE) analysis. Here, unconfined uniaxial compression experiments on single particles of synthetic silica cubes exposed the notion of constitutive anisotropy caused by the crystal structure of quartz. Since the silica cubes have simple regular geometry (1 mm) 3 , they were loaded in different directions with respect to their crystal local planes. The crystal structure was also identified for a natural silica sand specimen composed of 2705 particles and loaded in confined uniaxial compression. Physical limitations of the experimental measurements made a strong case for the use of 3D FE analysis to study how the change in crystal local orientation of individual sand particles can fundamentally produce anisotropy in the constitutive response of natural sand specimens. The 3D FE analysis was validated to accurately model the crystal-based constitutive anisotropy in silica particles using the results of the silica cube experiments. The analysis was then executed on 3D FE meshes that closely matched the physical shape and fabric of the 2705 particles in the natural sand specimen. Both the experiments and 3D FE analysis showed that the crystal structure of quartz essentially causes a directional anisotropy in the constitutive behavior of silica particles.

58 GEOSCIENCES↗
DOE OSTI2025

Influence of Initial fabric and water-wetting on particle fracture and force chain evolution in natural silica sand

Particle fracture has a significant influence on the engineering behavior of granular materials. However, the combined influence of the initial fabric and wetting on particle fracture and force chain evolution in granular materials, particularly in sands, remains insufficiently explored in the current literature. Here, in this paper, one-dimensional (1D) confined compression experiments were conducted on dry and wet specimens, and particle-level fracture was captured using three-dimensional (3D) in-situ Synchrotron Micro-Computed Tomography (SMT). A quantitative assessment of particle fracture revealed that wet specimens, which have disturbed fabric, exhibited a higher fracture percentage in comparison to dry specimens. Complementary 3D finite element (FE) simulations were performed using dry and wet (only solid fabric was considered and the influence of pore water is not considered) sand assemblies to assess interparticle contact forces and particle-scale stress distributions within the specimens. Force chain analysis was subsequently conducted, encompassing quantification of interparticle forces, characterization of force network structures, and monitoring the dynamic evolution of force chains under different strain levels. The results show that the specimens with disturbed fabric led to a more dynamic and less persistent force network, more fabric instability, and thus more reorganization of force chain structures. In addition, the frequent rearrangement of the force network in the presence of water (with reduced inter-particle contact friction) likely exacerbates localized stress concentrations, promoting failure in previously unengaged or weakly connected particles. The results reported in this paper offer a new insight into how the initial fabric and wetting cause different fracture behavior. The findings can also pave the way for more in-depth future investigations into the mechanics governing particle fracture in granular assemblies.

Finite element analysis↗
DOE OSTI2020

Superconducting phase transitions in disordered NbTiN films

Suppression of superconductivity in disordered systems is a fundamental problem of condensed matter physics. Here we investigate superconducting niobium-titanium-nitride (Nb 1-x Ti x N) thin films grown by the atomic layer deposition (ALD) with slightly different growth process parameters. We observe a smooth crossover from the disorder-driven superconductor-normal metal transition (SMT) to the superconductor-insulator transition (SIT) via the intermediate Bose metal state detected by the low-temperature saturation of the temperature dependence of the sheet resistance. We demonstrate that the SIT via the intervening Bose metal state occurs if the sheet resistance of the film in the maximum, R max prior to the superconducting drop of R(T), exceeds R q = h/4e 2 .

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2026

Probing jet base emission of M87* with the 2021 Event Horizon Telescope observations

We investigate the presence and spatial characteristics of the jet base emission in M87* at 230 GHz, enabled by the significantly enhanced (u,v) coverage in the 2021 Event Horizon Telescope (EHT) observations. The integration of the 12−m Kitt Peak Telescope (USA) and NOEMA (France) stations into the array introduces two critical intermediate-length baselines to SMT (USA) and IRAM 30−m (Spain), providing sensitivity to emission structures at spatial scales of ∼250 μas and ∼2500 μas (∼ 0.02 pc and ∼ 0.02 pc). Without these new baselines, previous EHT observations of the source in 2017 and 2018 lacked the capability to constrain emission on large scales, where a “missing flux” of order ∼1 Jy is expected to reside. To probe these scales, we analyzed closure phases–robust against station-based gain calibration errors–and model the jet base emission using a simple Gaussian component offset from the compact ring emission at spatial separations > 100 μas. Our analysis revealed a Gaussian feature centered at (ΔRA ≈ 320 μ as, ΔDec. ≈ 60 μ as), projected separation of ≈ 5500 AU, with an estimated flux density of only ∼60 mJy, implying that most of the missing flux identified in previous EHT studies had to originate from different, larger scales. Brighter emission at the relevant spatial scales is firmly ruled out, and the data do not favor more complex models. This component aligns with the inferred position of the large-scale jet and is therefore physically consistent with the emission of the jet base. While our findings point to detectable jet base emission at 230 GHz, the limited coverage provided by only two intermediate baselines limits our ability to robustly reconstruct its morphology. Consequently, we treated the recovered Gaussian as an upper limit on the jet base flux density. Future EHT observations with expanded intermediate baseline coverage will be essential to constrain the structure and nature of this component with higher precision.

accretion, accretion disks↗
DOE OSTI2020

Three-Dimensional Evaluation of Sand Particle Fracture Using Discrete-Element Method and Synchrotron Microcomputed Tomography Images

Recent research showed that fracture of sand particles plays a significant role in determining the plastic bulk volumetric changes of granular materials under different loading conditions. One of the major tools used to better understand the influence of particle fracture on the behavior of granular materials is discrete-element modeling (DEM). This paper employed the bonded block model (BBM) to simulate the fracture behavior of sand. Each sand particle is modeled as an agglomerate of rigid blocks bonded at their contacts using the linear-parallel contact model, which can transmit both moment and force. DEM simulated particles closely matched the actual three-dimensional (3D) shape of sand particles acquired using high-resolution 3D synchrotron microcomputed tomography (SMT). Results from unconfined one-dimensional (1D) compression of a single synthetic silica cube were used to calibrate the model parameters. Particle fracture was investigated for specimens composed of three sand particles that were loaded under confined 1D compression. Breakage energy measured from DEM models matched well with that measured experimentally. The paper studied the effects of contact loading condition and particle interaction on the fracture mode of particles using BBM that can closely capture the 3D shape of real sand particles.

58 GEOSCIENCES↗
DOE OSTI2022

Fabrication of Polymer Membrane-Suspended Microstructures on Printed Circuit Boards

When microelectromechanical systems are manufactured in high densities, the necessary routing layer structures can become complex and thus expensive if executed in silicon technology. If, additionally, the microstructures are also to be fabricated suspended on membranes, complex thinning processes become necessary to form these often rather fragile membranes. Here, a novel fabrication concept is demonstrated that allows for the fabrication of membrane-suspended microstructures using standard microfabrication techniques directly integrated with printed circuit boards (PCB) by laminating polyimide (PI) films over cavities in the PCB. This results in cost-effective routing layer fabrication and direct compatibility with common electronic component standards such as SMT (surface-mount technology) and THT (through-hole technology). To illustrate the capabilities of the fabrication process, we fabricated an array of membrane suspended microheaters. Individual platinum microheater elements are suspended on PI membranes that are 25 μm thick and 500 μm in diameter. The fabricated PCB carries a 10x10 array of suspended microheaters on an area of 26,mm x 26,mm. Here, the characterization of the microheater array shows that a yield of 86% functional microheaters was achieved. An individual microheater shows an almost linear heating characteristic at least up to 200°C demonstrating the viability of the technique for creating functional membrane-suspended microstructures on a PCB. [2021-0226]

47 OTHER INSTRUMENTATION↗
DOE OSTI2022

Proposed Material Properties, Allowable Stresses, and Design Curves of Diffusion Bonded Alloy 800H for the ASME Code Section III Division 5

Abstract Increased interest in compact heat exchangers (CHXs) to serve as intermediate heat exchangers of very high temperature reactors resulted in significant research and development on their design, analysis, and construction. Printed circuit heat exchangers are a type of CHXs with high thermal efficiency and compactness achieved through diffusion bonding a stack of etched plates with millimeter scaled channels. The diffusion bonding process changes the microstructural and mechanical properties of the wrought metal plates. The current nonnuclear design code ASME section VIII, division 1 captures the material property change through a “joint efficiency factor.” However, the current nuclear design code ASME section III, division 5 does not address or support the diffusion bonded material properties. Hence, there is a need to develop allowable stresses, isochronous curves, and fatigue life curves for various diffusion bonded alloys. In this study, Alloy 800H material was selected to establish the diffusion bonded material properties under tension, creep, fatigue, and creep-fatigue loads at elevated temperatures in the range 550–760 °C. A set of tests on diffusion bonded Alloy 800H (DB 800H) were performed and the acquired data are used in developing allowable stresses Sy, Su, Sr, Sm, St, Smt, So, isochronous curves and fatigue life curves according to the ASME section III, division 5 requirements. This paper also presents detailed procedures used in developing the ASME code section III division 5 design provisions for diffusion bonded Alloy 800H.

Engineering↗
DOE OSTI2023

Automating NISQ Application Design with Meta Quantum Circuits with Constraints (MQCC)

Near-term intermediate scale quantum (NISQ) computers are likely to have very restricted hardware resources, where precisely controllable qubits are expensive, error-prone, and scarce. Programmers of such computers must therefore balance trade-offs among a large number of (potentially heterogeneous) factors specific to the targeted application and quantum hardware. To assist them, we propose Meta Quantum Circuits with Constraints (MQCC), a meta-programming framework for quantum programs. Programmers express their application as a succinct collection of normal quantum circuits stitched together by a set of (manually or automatically) added meta-level choice variables, whose values are constrained according to a programmable set of quantitative optimization criteria. MQCC’s compiler generates the appropriate constraints and solves them via an SMT solver, producing an optimized, runnable program. We showcase a few MQCC’s applications for its generality including an automatic generation of efficient error syndrome extraction schemes for fault-tolerant quantum error correction with heterogeneous qubits and an approach to writing approximate quantum Fourier transformation and quantum phase estimation that smoothly trades off accuracy and resource use. We also illustrate that MQCC can easily encode prior one-off NISQ application designs-–multi-programming (MP), crosstalk mitigation (CM)—as well as a combination of their optimization goals (i.e., a combined MP-CM).

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

A Formalization of Core Why3 in Coq

Intermediate verification languages like Why3 and Boogie have made it much easier to build program verifiers, transforming the process into a logic compilation problem rather than a proof automation one. Why3 in particular implements a rich logic for program specification with polymorphism, algebraic data types, recursive functions and predicates, and inductive predicates; it translates this logic to over a dozen solvers and proof assistants. Accordingly, it serves as a backend for many tools, including Frama-C, EasyCrypt, and GNATProve for Ada SPARK. But how can we be sure that these tools are correct? The alternate foundational approach, taken by tools like VST and CakeML, provides strong guarantees by implementing the entire toolchain in a proof assistant, but these tools are harder to build and cannot directly take advantage of SMT solver automation. As a first step toward enabling automated tools with similar foundational guarantees, we give a formal semantics in Coq for the logic fragment of Why3. We show that our semantics are useful by giving a correct-by-construction natural deduction proof system for this logic, using this proof system to verify parts of Why3's standard library, and proving sound two of Why3's transformations used to convert terms and formulas into the simpler logics supported by the backend solvers.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

Grid Event Signature Library's Signature Matching Tool

The Signature Matching Tool (SMT) is a tool that assists users in labeling any unlabeled signatures, according to the hierarchical, event tags taxonomy developed for the Department of Energy's (DOE) Grid Event Signature Library (GESL).

Joo, Jhi Young [Lawrence Livermore National Labora↗
DOE OSTI2026

Pyctos

Pyctos is a concolic testing framework for standard, dynamically-typed Python. Pyctos is able to generate exhaustive test inputs reaching 100% coverage for a subset of pure Python in the absence of type annotations, even where modern fuzzers would fail. Pyctos's underlying reasoning engine is the CVC5 SMT solver, though Z3 is also supported. Pyctos also supports a growing subset of the standard library and some third-party libraries, such as NumPy.

Washbourne, ErickN [Lawrence Livermore National La↗
DOE OSTI2020

Andes Data Analysis System at the Oak Ridge Leadership Computing Facility

Andes is a (704)-node commodity-type Linux® cluster. Each of Andes’s 704 nodes contain two 16-core 3.0 GHz AMD EPYC 7302 processors with AMD’s Simultaneous Multithreading (SMT) Technology and 256GB of main memory. Andes also has nine large memory GPU nodes. These nodes each have 1TB of main memory and two NVIDIA K80 GPUs with two 14-core 2.30 GHz Intel Xeon processors with HT Technology.

AMD EPYC↗
DOE OSTI2020

Effect of heating/cooling dynamics in the hysteresis loop and tunable IR emissivity of VO 2 thin films

We experimentally investigate the semiconductor-to-metal transition (SMT) in vanadium dioxide thin films using an infrared thermographic technique. During the semiconductor to metal phase change process, VO 2 optical properties dynamically change and infrared emission undergoes a hysteresis loop due to differences between heating and cooling stages. The shape of the hysteresis loop was accurately monitored under different dynamic heating/cooling rates. In order to quantify and understand the effects of different rates, we used a numerical modelling approach in which a VO 2 thin layer was modeled as metamaterial. The main experimental findings are interpreted assuming that both the rate of formation and shape of metallic inclusions are tuned with the heating/cooling rate. The structural transition from monoclinic to tetragonal phases is the main mechanism for controlling the global properties of the phase transition. However, our experimental results reveal that the dynamics of the heating/cooling process can become a useful parameter for further tuning options and lays out a macroscopic optical sensing scheme for the microscopic phase change dynamics of VO 2 . Our study sheds light on phase-transition dynamics and their effect on the infrared emission spectra of VO 2 thin films, therefore enabling the heating/cooling rate to be an additional parameter to control infrared emission characteristics of thermal emitters. The hysteresis loop represents the phase coexistence region, thus being of fundamental importance for several applications, such as the operation of radiative thermal logic elements based on phase transition materials. For such applications, the phase transition region is shifted for heating and cooling processes. We also show that, depending on the way the phase change elements are heated, the temperature operation range will be slightly modified.

42 ENGINEERING↗
DOE OSTI2020

Report on FY 2020 Testing in Support of the Development and Extension of ASME Code Rules for Grade 91

This report summarizes the FY 2020 research and activities at Oak Ridge National Laboratory in support of the ASME code rule development and code extension for Grade 91 (Gr. 91) steel. Incorporation of the Gr. 91 temperature-dependent fatigue curves in Section III Division 5 was one major task, and the associated major aspects brought up during the course of the ASME balloting process are documented in this report. Experiments and analysis continued on the development of the alternative creep-fatigue evaluation based on elastic–perfectly plastic (EPP) plus simplified model test (SMT) methodology. The focus of the study in FY 2020 was the evaluation of the hold-time effect at high cycle and low strain range region. Baseline testing in support of the evaluation of hold time effects was started and will continue in FY 2021. Major on-going experiments and activities in support of the ASME code development and extension of Gr. 91 will be completed in FY 2021.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗
DOE OSTI2025

Initial Design Curves for Alloy 709 for an Improved Creep-fatigue Design Method

Creep-fatigue (CF) interaction damage is the primary damage mode for high-temperature structural components subjected to cyclic loading. Over the past several decades, researchers within the American Society of Mechanical Engineers (ASME) Boiler and Pressure Vessel Code (BPVC), Section III, Division 5, have focused on developing elevated temperature code rules to ensure conservative structural designs that mitigate CF failure in high-temperature reactors. The existing CF evaluation methodologies in the Code are based on the creep and fatigue damage diagram approach, which is complex and often excessively conservative. The alternative CF evaluation approach proposed here is intended to significantly simplify the evaluation procedure while reducing conservatism in high-temperature component design analysis. This alternative CF evaluation method integrates the elastic–perfectly plastic (EPP) analysis approach with the simplified model test (SMT) CF design concept, leveraging the advantages of both methods. This report presents the preliminary analysis and the approach for developing CF design curves for Alloy 709, utilizing fatigue and CF data generated for the 100,000-hr Code Case to support its qualification to ASME Section III, Division 5 for Class A construction of high temperature reactors. This study is to support the incorporation of Alloy 709 in this alternative CF evaluation method. Recommendations for the remaining work needed to complete the effort are also provided.

36 MATERIALS SCIENCE↗