Search NASA⌕ Search

SEARCH · Search NASA

Results for “Structural Decomposition”

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 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Synthesis of Correct Digital Controller Models from Specifications by Model Transformation (21-0320)

The design of high consequence controllers (in weapons systems, autonomy, etc.) that do what they are supposed to do is a significant challenge. Testing simply does not come close to meeting the requirements for assurance. Today circuit designers at Sandia (and elsewhere) typically capture the core behavior of their components using state models in tools such as STATEFLOW. They then check that their models meet certain requirements (e.g. “The system bus must not deadlock” or “both traffic lights at an intersection must not be green at the same time”) using tools called model checkers. If the model checker returns “yes” then the property is guaranteed to be satisfied by the model. However, there are several drawbacks to this industry practice: (1) there is a lot of detail to get right, this is particularly challenging when there are multiple components requiring complex coordination (2) any errors returned by the model checker have to be traced back through the design and fixed, necessitating rework, (3) there are severe scalability problems with this approach, particularly when dealing with concurrency. All this places high demands on the designers who now face not only an accelerated schedule but also controllers of increasing complexity. This report describes a new and fundamentally different approach to the construction of safety-critical digital controllers. Instead of directly constructing a complete model and then trying to verify it, the designer can start with an initial abstract (think “sketch”) model plus the requirements, from which a correct concrete model is automatically synthesized. There is no need for post-hoc verification of required functional properties. Having tool to carry this out will significantly impact the nation’s ability to ensure the safety of high-consequence digital systems. The approach has been implemented in a prototype tool, along with a suite of examples, including ones that reflect actual problems faced by designers. Our approach operates on a variant of Statecharts developed at Sandia called Qspecs. Statecharts are a widely used formalism for developing concurrent reactive systems, supporting scalability through allowing state models containing composite states, which are the serial or parallel composition of substates which can themselves contain statecharts. Statecharts enable an incremental style of development, in which states are progressively refined to incorporate greater detail in an incremental model of software development. Our approach formulates a set of constraints from the structure of the models and the requirements and propagates these constraints to a fixpoint. The solution to the constraints is an inductive invariant along with guards on the transitions. We also show how our approach extends to implementation refinement, decomposition, composition, and elaboration. We currently handle safety requirements written in LTL (Linear Temporal Logic)

42 ENGINEERING↗
DOE OSTI2024

Synthesis of cerium precursors with alkoxide ligands for degradation to cerium oxide nanoparticles

Lanthanide oxide and sulfide nanoparticles present intriguing theoretical questions regarding their electronic structures, alongside numerous potential applications in material science and catalysis. Although these materials can be formed through hydrolysis, their synthesis via thermolysis is crucial for nanoscale materials and practical applications. This research aims to enhance our understanding of the decomposition mechanisms by focusing on cerium compounds, which are analogous to those studied previously. Currently, our knowledge of the decomposition mechanisms of cerium alkoxide precursors is limited. The objective of this project is to develop a mechanistic understanding of the formation of cerium oxide nanoparticles from cerium alkoxide precursors, employing a variety of techniques. These techniques include collision-induced dissociation in an ion-trap mass spectrometer, nuclear magnetic resonance (NMR) spectroscopy, thermogravimetric analysis coupled with differential scanning calorimetry (TGA-DSC), and gas chromatography-mass spectrometry (GC-MS) to investigate the decomposition mechanisms of the synthesized precursors.

37 - INORGANIC, ORGANIC, PHYSICAL AND ANALYTICAL C↗
DOE OSTI2024

Molecular structures of residual solvent in polyacrylonitrile based electrolytes: Implications for conductivity and stability

Lithium-ion batteries increasingly play significant roles in modern technologies; however, increased energy density also raises concerns about electrolyte safety. Traditional electrolytes that use volatile organic solvents face risks of thermal runaways and fires from electrode shorting. In response, polymer-based solid electrolytes have been developed for replacement. Polyacrylonitrile (PAN) is a promising fire-resistant component for electrolyte fabrication, but its limited solubility necessitates using low-volatility solvents, which are notoriously difficult to remove in subsequent drying processes. Here, we use femtosecond two-dimensional infrared spectroscopy to provide an in-depth understanding of how residual solvent from processing affects the molecular structures and dynamics within a polymer electrolyte. To this end, linear and nonlinear infrared spectroscopies are employed to interrogate the molecular interactions in PAN-based electrolytes containing various contents of N,N-dimethylformamide (DMF). We show that the amount of DMF within the PAN electrolyte affects the Li+ structure. Further, the coordination can proceed through the carbonyl group and/or the amide nitrogen to form antiparallel structures with the nitrile groups of PAN through dipole–dipole interactions. The free motion of DMF is drastically inhibited upon interaction with Li+ and PAN, which decreases the ionic conductivity and potentially affects the stability (resistance toward removal and chemical decomposition). These findings have implications for the design and processing of solid polymer electrolytes.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2024

Preparation and Characterization of YBa 2 Cu 4 O 8 Superconductor

Solid-state reaction of appropriate amounts of Y 2 O 3 , BaCOs, and CuO for 2 h at 800°C in flowing oxygen with a total pressure of 2.7 x 10 2 Pa (2 mm Hg), followed by cooling and annealing at 750°C for 10 h in oxygen at ambient pressure, has produced orthorhombic YBa 2 Cu 4 O 8 (124) as the main phase with YBa 2 Cu 3 O x (123) as an impurity phase. After the as-calcined powder was annealed in oxygen at 800°C for 24 h under ambient pressure, the phase purity improved considerably. Calcined 124 powder was pressed into pellets and rapidly annealed at temperatures from 870°C to 935°C. At these temperatures, the 124 decomposed into 123. The superconducting transition temperature, T c , of the annealed samples depended upon the annealing temperature and atmosphere. The decomposed samples have been characterized by low field RF SQUID magnetometer and high resolution transmission electron microscopy.

36 MATERIALS SCIENCE↗
DOE OSTI2025

Fused filament fabrication of thermoplastic polyurethane composites with microencapsulated phase-change material

Here, the present study examines the thermal energy storage (TES) effectiveness and printability of microencapsulated phase-change material (MEPCM) combined with thermoplastic polyurethane (TPU) for fused filament fabrication (FFF). Two formulations were assessed: 24D MEPCM, which changes phase at 24 ° C, compounded with TPU pellets and 43D MEPCM, which changes phase at 43 ° C, integrated with TPU powder. These combinations are designed to evaluate the effectiveness of the form of the TPU (pellets versus powder) in the FFF process. The investigation includes a comprehensive analysis of thermal characteristics, encompassing phase-change temperature, latent heat of fusion, thermal conductivity, and thermal decomposition, which are assessed through differential scanning calorimetry (DSC) and thermogravimetric analysis (TGA). Additionally, mechanical properties, including stress-strain behavior, are examined to evaluate material suitability for TES applications, while microstructural visualization is used to provide deeper insights into material performance, structural integrity, and the quality of printed components. The 24D MEPCM and TPU pellets formulation experienced a significant loss of approximately 39.6% of PCM during filament extrusion and printing, resulting in a reduced effective latent heat. Therefore, further characterization of the pellet formulation was discontinued due to excessive leakage. In contrast, the 43D MEPCM and TPU powder formulation demonstrated minimal PCM loss, with the 60 wt.% composition achieving an effective latent heat of 132 J/g. This value represents the highest effective latent heat currently documented in the literature for PCM-polymer-composite materials produced using an FFF-based additive manufacturing process.

25 ENERGY STORAGE↗
DOE OSTI2026

Goated: goal-oriented tensor decompositions in python

SAND2026-20464O Goated performs goal-oriented tensor decompositions in Python, enabling efficient compression of multi-dimensional simulation data. It extends common tensor decomposition methods by incorporating domain-specific knowledge, such as conservation laws in physics, through a penalty term in the optimization process. This approach improves data compression and modeling accuracy across various applications, including physics simulations, by using specialized algorithms and structure-aware subroutines to accelerate solver performance. Sandia National Laboratories is a multimission laboratory managed and operated by National Technology & Engineering Solutions of Sandia, LLC, a wholly owned subsidiary of Honeywell International Inc., for the U.S. Department of Energy's National Nuclear Security Administration under contract DE-NA0003525.

SciDAC↗
DOE OSTI2025

Kernel Manifolds: Nonlinear‐Augmentation Dimensionality Reduction Using Reproducing Kernel Hilbert Spaces

This paper generalizes recent advances on quadratic manifold (QM) dimensionality reduction by developing kernel methods-based nonlinear-augmentation dimensionality reduction. QMs, and more generally feature map-based nonlinear corrections, augment linear dimensionality reduction with a nonlinear correction term in the reconstruction map to overcome approximation accuracy limitations of purely linear approaches. While feature map-based approaches typically learn a least squares optimal polynomial correction term, we generalize this approach by learning an optimal nonlinear correction from a user-defined reproducing kernel Hilbert space. Our approach allows one to impose arbitrary nonlinear structure on the correction term, including polynomial structure, and includes feature map and radial basis function-based corrections as special cases. Furthermore, our method has relatively low training cost and has monotonically decreasing error as the latent space dimension increases. In conclusion, we compare our approach to proper orthogonal decomposition and several recent QM approaches on data from several example problems.

kernel methods↗
DOE OSTI2025

Infrared spectral signatures of interfacial water at TiO 2 –electrolyte interfaces from deep potential molecular dynamics

Vibrational spectroscopy is a powerful tool for probing water at oxide–electrolyte interfaces, but its molecular interpretation can be challenging. Here, we employ deep potential long-range molecular dynamics simulations with layer-resolved spectral analysis to investigate the microscopic origins of the infrared (IR) response of water at the interface with anatase TiO 2 (101), a prototypical oxide surface. The calculated interfacial spectra exhibit characteristic modifications compared to bulk water IR spectra, including enhanced intensities, a red shifted and broadened stretching band, and a higher-frequency shoulder, in qualitative agreement with experiments. Spectral decomposition shows that these signatures originate mainly from the first interfacial water layer, dominated by surface-bound H 2 O at Ti 5C sites, with secondary contributions from the second layer. A moderate salt concentration (0.4 M NaCl) leaves both the interfacial structure and the spectra essentially unchanged, while tuning the pH strongly modulates the spectral intensity. We establish a scaling relation linking the spectral intensity to the surface water dissociation fraction and the dipole moment, both governed by interfacial electric fields. These findings provide a microscopic framework for interpreting IR spectra of oxide–electrolyte interfaces.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2026

Chemical bonding, phase stability and magnetic property in Sm 2 Fe 17 X 3 (X=H, C, N): A first-principles perspective

As a promising alternative to Nd–Fe–B magnets, the critical rare earth free Sm 2 Fe 17 X 3 (X = C, N) exhibits potential for high-performance magnets. However, their poor phase stability remains a major obstacle to developing bulk magnets. We investigated the phase stability and intrinsic magnetic properties of Sm 2 Fe 17 X 3 (X = H, C, N) using first-principles calculations and chemical bond analysis. The formation energies are negative, while the decomposition energies are −1.53, 0.348, and −0.74 eV per formula unit for X = H, C, and N, respectively, which is responsible for the weak thermal stability. Our chemical bond analysis reveals that the bonding asymmetry between Sm–X and Fe–X interactions creates local structural distortions and degrades the phase stability of Sm 2 Fe 17 X 3 . The project Crystal Orbital Hamilton Population (-pCOHP) analysis indicates that the Sm–X bonding remains positive up to the Fermi level, indicating stable bonding interactions. Here, in contrast, the Fe–X bonding becomes negative near the Fermi level, signifying anti-bonding contributions that reduce structural stability. Interstitial atoms X expand the lattice and enhance Fe magnetic moments, but Fe–X bonding suppresses neighboring Fe moments. Electron transfer from Sm to X modifies the valence state of Sm and the crystal field at the site, contributing to enhanced magnetocrystalline anisotropy in Sm 2 Fe 17 X 3 . Among the interstitial elements, carbon and nitrogen—with their larger atomic radius and higher electronegativity—induce greater lattice expansion and form stronger bonds with neighboring Sm and Fe atoms compared to hydrogen. Consequently, Sm 2 Fe 17 X 3 (X = C and N) exhibits better phase stability and significant improvement in magnetic properties.

Chemical bonding↗
DOE OSTI2025

Unconventional low temperature decomposition of a saturated hydrocarbon over atomically-dispersed titanium-aluminum-boron catalyst

Sonochemically-synthesized atomically-dispersed titanium-aluminum-boron nanopowder (TiAlB NP) exhibits a remarkable low-temperature catalytic activation of aliphatic C-H bonds at 750 K followed by C-C bond activation thus emerging as a potent low-cost alternative to expensive platinum group metals. Here, the model saturated hydrocarbon, exo-tetrahydrodicyclopentadiene (C10H16), undergoes catalytic decomposition on TiAlB NPs in a chemical microreactor to produce 1,3-cyclopentadiene (c-C5H6), cyclopentene (c-C5H8), and molecular hydrogen (H2) as detected in situ via isomer-selective, single-photon ionization time-of-flight mass spectrometry. Extensive electronic structure theory calculations on model clusters of the catalyst decode a unique synergy among the atomic constituents of the catalyst and chemical bonding in this stepwise, retro Diels Alder reaction: Ti, although insensitive to C-H activation in its metallic state, initiates the catalysis via chemisorption of the hydrocarbon, adjacent B centers readily abstract hydrogen atoms and store them during the catalytic cycle, while Al stabilizes the catalyst structure yet providing space for critical docking sites for the departing hydrocarbons.

Biswas, Souvick↗
DOE OSTI2024

Importance of High Valence Element Nb in Ni-Rich Layered Cathodes for High-Voltage Lithium-Metal Batteries

Ni-rich layered cathode materials have attracted extensive attention due to their higher energy density and technological maturity in commercialization. As the nickel content is raised, especially surpassing 80%, the increased energy density comes with the tradeoff of diminished thermal stability and increased electrochemical structural instability of the cathode. Compared with Co, Al, B, and Ta, the introduction of high valence element Nb significantly improved the electrochemical cycling, delivering a capacity of 202 mAh/g, corresponding to a capacity retention of 92% after 200 cycles tested at 45 °C. Further, the ex situ differential scanning calorimetry and in situ isothermal microcalorimetry demonstrate that the Nb-modified cathode has the potential to enhance the safety of ultrahigh nickel (Ni) NMCs and displays remarkable resilience to extensive cycling by inhibiting high-temperature decomposition reactions and exhibiting a lower heat flow during electrochemical cycling.

25 ENERGY STORAGE↗
DOE OSTI2024

Structural and chemical evolutions of a magnesium vanadium oxide cathode under electrochemical cycling in magnesium batteries

The design of cathode materials that remain chemically and structurally stable during repetitive ion insertion and extraction poses a significant challenge in developing multivalent batteries. The cycling stability of traditional metal oxide-based cathode is challenged by sluggish diffusion of multivalent cations and parasitic reactivity at interfacial regimes, including the cathode electrolyte interphase layer (CEI). Understanding the reactions at the cathode-electrolyte interface, particularly those induced by non-stoichiometric surface layers, is a crucial design parameter for both cathode materials and electrolytes. Here, in this study, we employed multimodal analysis, including in situ and ex situ X-ray photoelectron spectroscopy (XPS), high resolution transmission electron microscopy (TEM) and electrochemical impedance spectroscopy (EIS) to examine the surface reactions and subsequent structural and chemical evolutions of the CEI on high voltage magnesium vanadium oxide (MgV 2 O 4 ) spinel cathode during the Mg 2+ insertion/extraction processes. The results revealed that the presence of non-stoichiometric surface layers in the magnesium vanadium oxide cathode drive the decomposition of bis(trifluoromethanesulfonyl)imide (TFSI - ) anion, leading to the formation of the CEI layer. The CEI layer could inhibit the Mg 2+ ion transfer processes. Accompanying this reactivity-driven degradation, the magnesium vanadium oxide cathode undergoes pulverization, forming clusters of nanosized particles. This process likely improves cycling ability by creating new intercalation sites and shortening the diffusion pathway for the Mg 2+ cations. This study demonstrates that controlling surface stoichiometry and engineering morphological properties are critical design parameters for high performance cathodes for multivalent batteries.

25 ENERGY STORAGE↗
DOE OSTI2025

Gas-phase synthesis of naphthalene through an unconventional thermal alkyne–alkene [2 + 2] cycloaddition mechanism

Exotic cycloaddition entrance channels were discovered for the bimolecular gas-phase reactions of the phenylethynyl radical (C 6 H 5 CC, X 2 A 1 ) with ethylene-d 4 (C 2 D 4 ) and propylene (C 3 H 6 ) as explored under single-collision conditions utilizing the crossed molecular beams technique combined with electronic structure and statistical calculations. Connecting the concepts of barrierless entrance channels, excited states, and facile non-photochemically activated cycloadditions, the reaction pathway features an unconventional thermal [2 + 2] cycloaddition forming a four-membered ring collision complex followed by multiple isomerizations prior to unimolecular decomposition via atomic hydrogen loss to (un)substituted naphthalenes—naphthalene-d 4 (C 10 H 4 D 4 ) and 1-/2-methylnaphthalene (C 11 H 10 ). The small energy gap between the singly-occupied a 1 highest occupied molecular orbital (HOMO) with a σ-character and the underlying doubly-occupied b 1 molecular orbital with a π-character allows a facile promotion of an electron. This in turn enables a versatile low-temperature reactivity of phenylethynyl, where the end-on and side-on barrierless approaches of ethylene are due to its interaction with the σ and π orbitals, respectively, thus suggesting this mechanism as a possible method for tuning substituents in polycyclic aromatic hydrocarbon (PAH) formation and highlighting its versatility as a probe of fundamental carbon chemistry via counterintuitive cycloaddition reactions under single-collision conditions.

Goettl, Shane J. [University of Hawaii at Manoa, H↗
DOE OSTI2025

Space-Time Finite Element Tensor Network Approach for the Time-Dependent Convection–Diffusion–Reaction Equation with Variable Coefficients

In this paper, we present a new space-time Galerkin-like method, where we treat the discretization of spatial and temporal domains simultaneously. This method utilizes a mixed formulation of the tensor-train (TT) and quantized tensor-train (QTT) (please see Section Tensor-Train Decomposition), designed for the finite element discretization (Q1-FEM) of the time-dependent convection–diffusion–reaction (CDR) equation. We reformulate the assembly process of the finite element discretized CDR to enhance its compatibility with tensor operations and introduce a low-rank tensor structure for the finite element operators. Recognizing the banded structure inherent in the finite element framework’s discrete operators, we further exploit the QTT format of the CDR to achieve greater speed and compression. Additionally, we present a comprehensive approach for integrating variable coefficients of CDR into the global discrete operators within the TT/QTT framework. The effectiveness of the proposed method, in terms of memory efficiency and computational complexity, is demonstrated through a series of numerical experiments, including a semi-linear example.

convection–diffusion–reaction equation↗
DOE OSTI2025

Fabrication, oxidation, and combustion of nanoscale magnesium diboride and tetraboride

The difficult ignition of boron decreases the combustion efficiency of boron-loaded, fuel-rich propellants. One approach to solving this problem involves the use of magnesium diboride (MgB2), which ignites easier than boron. Magnesium tetraboride (MgB4) offers greater energy density owing to its higher boron content. However, the effect of B/Mg ratio on the ignition and combustion is unknown. Additionally, while nanoscale MgB₂ particles and quasi-2D structures were recently recognized as promising energetic additives, the oxidation and combustion properties of nanoscale MgB₄ have not been explored. The objectives of the present work included synthesis, purification, and high-energy ball milling of MgB2 and MgB4 powders as well as investigation of their thermal decomposition, oxidation, and combustion. The MgB2 and MgB4 powders were fabricated by combustion synthesis in the chemical oven mode and by heating Mg/B mixtures in a tube furnace. The latter method was superior in the synthesis of MgB4. Oxide impurities in the synthesized powders were removed by acid leaching. Nanoscale powders were obtained by high-energy ball milling. Thermal decomposition and oxidation of the obtained MgB₂ and MgB₄ powders were investigated by conducting non-isothermal thermogravimetric analysis (TGA) at temperatures up to 1550 °C in argon and oxygen flows. Combustion of B, MgB₂, and MgB₄ powders with oxygen at atmospheric pressure was studied in a windowed chamber using laser ignition and high-speed video recording. The TGA has shown multi-step decomposition of both magnesium borides in an argon environment. The maximum oxidation rate of MgB4 in oxygen was observed at a much lower temperature than in the case of MgB2. In the combustion experiments, both magnesium borides burned much faster than submicron boron. Ball milling of the borides further increased their burning rates. It has been concluded that nanoscale magnesium tetraboride is a promising ingredient for fuel-rich propellants owing to its high energy density, efficient oxidation, and rapid combustion.

Molina, Andre [The University of Texas at El Paso]↗
DOE OSTI2024

A modular and extensible CHARMM-compatible model for all-atom simulation of polypeptoids

Peptoids (N-substituted glycines) are a class of sequence-defined synthetic peptidomimetic polymers with applications including drug delivery, catalysis, and biomimicry. Classical molecular simulations have been used to predict and understand the conformational dynamics of single chains and their self-assembly into morphologies including sheets, tubes, spheres, and fibrils. The CGenFF-NTOID model based on the CHARMM General Force Field has demonstrated success in accurate all-atom molecular modeling of peptoid structure and thermodynamics. Extension of this force field to new peptoid side chains has historically required reparameterization of side chain bonded interactions against ab initio data. This fitting protocol improves the accuracy of the force field but is also burdensome and precludes modular extensibility of the model to arbitrary peptoid sequences. In this work, we develop and demonstrate a Modular Side Chain CGenFF-NTOID (MoSiC-CGenFF-NTOID) as an extension of CGenFF-NTOID employing a modular decomposition of the peptoid backbone and side chain parameterizations, wherein arbitrary side chains within the large family of substituted methyl groups (i.e., –CH 3 , –CH 2 R, –CHRR', and –CRR'R") are directly ported from CGenFF. We validate this approach against ab initio calculations and experimental data to develop a MoSiC-CGenFF-NTOID model for all 20 natural amino acid side chains along with 13 commonly used synthetic side chains and present an extensible paradigm to efficiently determine whether a novel side chain can be directly incorporated into the model or whether refitting of the CGenFF parameters is warranted. We make the model freely available to the community along with a tool to perform automated initial structure generation.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2026

Investigation of Causal Relationships of the Cross‐Scale Wave Coupling Through Information Theoretical Approach

On 2015 October 2, MMS spacecraft observed an electron micro-injection event near the southern hemispheric high-altitude cusp, coinciding with intense wave activity across several frequency bands. Here, we investigated the MMS magnetic field and plasma during this event to explore cross-scale coupling among the wave modes. Employing the Hilbert-Huang transform, we perform an empirical mode decomposition to extract frequencies and amplitudes of the intrinsic mode functions (IMFs). In this analysis, we establish both linear and nonlinear relationships and examine the information transfer between the IMFs. Notably, the transfer entropy suggests that high frequency ion cyclotron waves may be driven by the mirror mode structures. Our case study effectively demonstrates the utility of the information theory based tools for studying cross-scale wave coupling phenomena.

Rivera, Elmer C. [Andrews University, Berrien Spri↗
DOE OSTI2025

Gluonic Structure from Instantons

The instanton vacuum provides an effective description of chiral symmetry breaking by local topological fluctuations of the gauge fields, as observed in lattice QCD simulations. The resulting effective dynamics at momenta below 1/$\bar{ρ}$ ≈ 0.6 GeV explains the basic features of light-quark correlation functions and is used extensively in studies of hadron structure. The instanton fields also make definite contributions to the gluonic structure of light hadrons, as expressed in the matrix elements of composite quark– gluon or gluon operators. The article reviews the gluonic structure of light hadrons (nucleon, pion) induced by instantons. This includes: (i) twist-2 parton distributions and momentum sum rule; (ii) twist-3 angular momentum and spin-orbit interactions; (iii) twist-3 and twist-4 quark–gluon correlations and power corrections; (iv) trace anomaly and hadron mass decomposition; (v) scalar gluon form factors and mechanical properties; (vi) axial anomaly and pseudoscalar gluon form factors. It also discusses possible further applications of the methods and recent developments including gauge field configurations beyond instantons.

Weiss, C. [Thomas Jefferson National Accelerator F↗