Search NASA⌕ Search

SEARCH · Search NASA

Results for “programmable”

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 865 records · Page 48
All sourcesNASA NTRSDOE OSTI
DOE OSTI2023

Logical quantum processor based on reconfigurable atom arrays

Suppressing errors is the central challenge for useful quantum computing, requiring quantum error correction (QEC) for large-scale processing. However, the overhead in the realization of error-corrected ‘logical’ qubits, in which information is encoded across many physical qubits for redundancy, poses substantial challenges to large-scale logical quantum computing. Here we report the realization of a programmable quantum processor based on encoded logical qubits operating with up to 280 physical qubits. Using logical-level control and a zoned architecture in reconfigurable neutral-atom arrays, our system combines high two-qubit gate fidelities, arbitrary connectivity, as well as fully programmable single-qubit rotations and mid-circuit readout. Operating this logical processor with various types of encoding, we demonstrate improvement of a two-qubit logic gate by scaling surface-code distance from d = 3 to d = 7, preparation of colour-code qubits with break-even fidelities, fault-tolerant creation of logical Greenberger–Horne–Zeilinger (GHZ) states and feedforward entanglement teleportation, as well as operation of 40 colour-code qubits. Finally, using 3D [[8,3,2]] code blocks, we realize computationally complex sampling circuits with up to 48 logical qubits entangled with hypercube connectivity with 228 logical two-qubit gates and 48 logical CCZ gates. We find that this logical encoding substantially improves algorithmic performance with error detection, outperforming physical-qubit fidelities at both cross-entropy benchmarking and quantum simulations of fast scrambling. These results herald the advent of early error-corrected quantum computation and chart a path towards large-scale logical processors.

74 ATOMIC AND MOLECULAR PHYSICS↗
DOE OSTI2025

Engineering modular enzyme assembly: synthetic interface strategies for natural products biosynthesis applications

Covering: 2020 to 2025Natural products remain indispensable sources of therapeutic and bioactive compounds, yet traditional discovery strategies are constrained by compound rediscovery. Modular biosynthetic enzymes, such as type I polyketide synthases (PKSs) and type A non-ribosomal peptide synthetases (NRPSs), offer promising platforms for combinatorial biosynthesis owing to their programmable architectures. However, practical implementation is frequently limited by inter-modular incompatibility and domain-specific interactions. This review highlights recent advances in modular enzyme assembly enabled by synthetic interfaces-including cognate docking domains, synthetic coiled-coils, SpyTag/SpyCatcher, and split inteins-which function as orthogonal, standardized connectors to facilitate post-translational complex formation. These interfaces support rational investigations into substrate specificity, module compatibility, and pathway derivatization as well as general enzyme clustering applications beyond PKS and NRPS systems. Synthetic interfaces can be integrated with computational tools to support a more systematic and scalable framework for modular enzyme engineering by providing predictive insights into domain compatibility and interface design. These approaches within iterative design-build-test-learn workflows can accelerate the programmable assembly of biosynthetic systems and expand the accessible chemical space for natural products.

Kim, Gahyeon↗
DOE OSTI2019

Unified probabilistic energy flow analysis for electricity–gas coupled systems with integrated demand response

Under a multi-energy environment, the conventional demand response programmes in smart-grid will be evolving to the concept of integrated demand response (IDR). In order to examine such an effect, this study presents a new methodological framework to conduct the probabilistic energy flow (PEF) analysis of integrated energy systems, while considering the potential effects of IDR. For this aim, a new price-elasticity-based IDR model is developed. As distinct from existing works, this study explicitly focuses on the stochastic characteristics of IDR programme and a novel Z-number-based technique is introduced to handle the relevant uncertainties that involved. The proposed Z-number model can not only capture the inherent randomness in demand-side performance but also account for the potential impact of information availability/reliability on the representation of IDR. Since the presence of Z-numbers makes the authors model include different types of uncertain representations, the fuzzy expectation technique and centroid method are jointly used to make them manageable under the same framework. A comprehensive algorithm based on the cumulant method and an optimisation scheme is employed to solve this PEF problem with consideration of IDR. The proposed framework is illustrated through numerical studies and simulation results confirm its effectiveness in actual implementations.

Zeng, Bo↗
DOE OSTI2019

The Muon $g-2$ Experiment at Fermilab

The current ~ 3.5σ discrepancy between the experimental measurement and theoretical prediction of the muon magnetic anomaly, a µ , stands as a potential indication of the existence of new physics. The Muon g - 2 experiment at Fermilab is set to measure aµ with a four-fold improvement in the uncertainty with respect to previous experiment, with an aim to determine whether the g - 2 discrepancy is well established. The experiment recently completed its first physics run and a summer programme of essential upgrades, before continuing on with its experimental programme. The Run-1 data alone are expected to yield a statistical uncertainty of 350 ppb and the publication of the first result is expected in late-2019.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2019

The laser shock station in the dynamic compression sector. I

The Laser Shock Station in the Dynamic Compression Sector [Advanced Photon Source (APS), Argonne National Laboratory] links a laser-driven shock compression platform with high energy x-ray pulses from the APS to achieve in-situ, time-resolved x-ray measurements (diffraction and imaging) in materials subjected to well-characterized, high stress, short duration planar shock waves. Additionally, the combination of this station and the other DCS experimental stations provides a unique and versatile experimental facility to study condensed state phenomena by undertaking real-time, multi-scale measurements in materials subjected to a wide range of shock amplitudes (to above ~350 GPa) and time-durations (~10 ns to 1 μs). The Laser Shock Station uses a 100 joule, 5-17 ns, 351 nm frequency tripled Nd:glass laser with programmable pulse shaping and focal profile smoothing for maximum precision. The laser is capable of a shot every 30 minutes. The interaction chamber contains multiple ports for simultaneous diagnostics, a sample holder that allows sequential exposure for 14 samples without breaking vacuum, the capability to vary the angle between the x-ray beam and laser beam by 135°, and the ability to translate to select one of two types of x-ray beams. X-ray data can be taken with a temporal resolution of ~90 psec. Highly reproducible, planar shocks can be propagated in samples to undertake precise and well-characterized experiments. In a series of ten shots, the absolute variation in the time the shock breaks out at the back of the sample is less than 500ps and the variation in peak particle velocity at the sample/window interface is 4.3%. Lastly, this paper describes the entire DCS Laser Shock Station, including sample fabrication and diagnostics, as well as representative experimental results from shock compressed tantalum to demonstrate the excellent quality of x-ray diffraction data in solid tantalum and to establish the stress for tantalum melting.

47 OTHER INSTRUMENTATION↗
DOE OSTI2020

CP2K: An Electronic Structure and Molecular Dynamics Software Package - Quickstep: Efficient and Accurate Electronic Structure Calculations

CP2K is an open source electronic structure and molecular dynamics software package to perform atomistic simulations of solid-state, liquid, molecular and biological systems. It is especially aimed at massively-parallel and linear-scaling electronic structure methods and state-of-the-art ab-initio molecular dynamics simulations. Excellent performance for electronic structure calculations is achieved using novel algorithms implemented for modern high-performance computing systems. This review revisits the main capabilities of CP2K to perform efficient and accurate electronic structure simulations. The emphasis is put on density functional theory and multiple post-Hartree-Fock methods using the Gaussian and plane wave approach and its augmented all-electron extension. TDK has received funding from the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme (grant agreement No. 716142). VRR has been supported by the Swiss National Science Foundation in the form of Ambizione grant No. PZ00P2 174227 and RZK by the Natural Sciences and Engineering Research Council of Canada (NSERC) through Discovery Grants (RGPIN-2016-0505). GKS and CJM are supported by the US Department of Energy, Office of Science, Office of Basic Energy Sciences, Division of Chemical Sciences, Geosciences, and Biosciences. UK based work was funded under the embedded CSE programme of the ARCHER UK National Supercomputing Service (http://www.archer.ac.uk), grants eCSE03-011, eCSE06-6, eCSE08-9, eCSE13-17 and the EPSRC (EP/P022235/1) grant “Surface and Interface Toolkit for the Materials Chemistry Community". Computational resources were provided by the Swiss National Supercomputing Centre (CSCS) and Compute Canada. The generous allocation of computing time on the FPGA-based supercomputer “Noctua" at PC2 is kindly acknowledged.

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

Structural and compositional complexities of hierarchical self-assembly: A hypergraph approach

Programmable self-assembly enables the construction of complex molecular, supramolecular, and crystalline architectures from well-designed building blocks. In this work, we introduce a hypergraph-based formalism, Blocks & Bonds (B&B), which generalizes classical chemical graph theory by incorporating directed and multicolored interactions, internal symmetries, and hierarchical organization. Within this framework, we develop the Structure Code (SC), a compact and versatile language for describing self-assembled architectures. We define a Kolmogorov-style structural complexity as the total information content of SC, obtained through its tokenization and Shannon information assignment. Complementing this encoding-based measure, we introduce a much simpler quantity, the compositional complexity, which depends only on the number and cumulative usage of block and bond types in the construction set. A central result of this work is a strong empirical correlation between the token-based structural complexity and the compositional complexity across all examined systems. Owing to this agreement, the compositional complexity emerges as the most practical and broadly applicable measure: it is easy to compute, requires no explicit encoding, and yet closely tracks the actual information content of structurally diverse architectures. Applications to molecular systems (ethylene glycol and glucose), DNA-origami lattices, and crystalline assemblies show that B&B hypergraphs provide a unified, scalable, and information-efficient representation of structural organization, naturally capturing symmetry, modularity, and stereochemistry. This framework establishes a quantitative foundation for complexity-aware classification and inverse design of programmable matter.

36 MATERIALS SCIENCE↗
DOE OSTI2023

A formally certified end-to-end implementation of Shor’s factorization algorithm

Quantum computing technology may soon deliver revolutionary improvements in algorithmic performance, but it is useful only if computed answers are correct. While hardware-level decoherence errors have garnered significant attention, a less recognized obstacle to correctness is that of human programming errors—“bugs.” Techniques familiar to most programmers from the classical domain for avoiding, discovering, and diagnosing bugs do not easily transfer, at scale, to the quantum domain because of its unique characteristics. To address this problem, we have been working to adapt formal methods to quantum programming. With such methods, a programmer writes a mathematical specification alongside the program and semiautomatically proves the program correct with respect to it. The proof’s validity is automatically confirmed—certified—by a “proof assistant.” Formal methods have successfully yielded high-assurance classical software artifacts, and the underlying technology has produced certified proofs of major mathematical theorems. As a demonstration of the feasibility of applying formal methods to quantum programming, we present a formally certified end-to-end implementation of Shor’s prime factorization algorithm, developed as part of a framework for applying the certified approach to general applications. By leveraging our framework, one can significantly reduce the effects of human errors and obtain a high-assurance implementation of large-scale quantum applications in a principled way.

Science & Technology - Other Topics↗
DOE OSTI2021

The Large Hadron–Electron Collider at the HL-LHC

The Large Hadron–Electron Collider (LHeC) is designed to move the field of deep inelastic scattering (DIS) to the energy and intensity frontier of particle physics. Exploiting energy-recovery technology, it collides a novel, intense electron beam with a proton or ion beam from the High-Luminosity Large Hadron Collider (HL-LHC). The accelerator and interaction region are designed for concurrent electron–proton and proton–proton operations. This report represents an update to the LHeC’s conceptual design report (CDR), published in 2012. It comprises new results on the parton structure of the proton and heavier nuclei, QCD dynamics, and electroweak and top-quark physics. It is shown how the LHeC will open a new chapter of nuclear particle physics by extending the accessible kinematic range of lepton–nucleus scattering by several orders of magnitude. Due to its enhanced luminosity and large energy and the cleanliness of the final hadronic states, the LHeC has a strong Higgs physics programme and its own discovery potential for new physics. Building on the 2012 CDR, this report contains a detailed updated design for the energy-recovery electron linac (ERL), including a new lattice, magnet and superconducting radio-frequency technology, and further components. Challenges of energy recovery are described, and the lower-energy, high-current, three-turn ERL facility, PERLE at Orsay, is presented, which uses the LHeC characteristics serving as a development facility for the design and operation of the LHeC. An updated detector design is presented corresponding to the acceptance, resolution, and calibration goals that arise from the Higgs and parton-density-function physics programmes. This paper also presents novel results for the Future Circular Collider in electron–hadron (FCC-eh) mode, which utilises the same ERL technology to further extend the reach of DIS to even higher centre-of-mass energies.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2025

Kaon physics: a cornerstone for future discoveries

The kaon physics programme, long heralded as a cutting-edge frontier by the European Strategy for Particle Physics, continues to stand at the intersection of discovery and innovation in high-energy physics (HEP). With its unparalleled capacity to explore new physics at the multi-TeV scale, kaon research is poised to unveil phenomena that could reshape our understanding of the Universe. This document highlights the compelling physics case, with emphasis on exciting new opportunities for advancing kaon physics not only in Europe but also on a global stage. As an important player in the future of HEP, the kaon programme promises to drive transformative breakthroughs, inviting exploration at the forefront of scientific discovery.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Overview of T and D–T results in JET with ITER-like wall

In 2021 JET exploited its unique capabilities to operate with T and D–T fuel with an ITER-like Be/W wall (JET-ILW). This second major JET D–T campaign (DTE2), after DTE1 in 1997, represented the culmination of a series of JET enhancements—new fusion diagnostics, new T injection capabilities, refurbishment of the T plant, increased auxiliary heating, in-vessel calibration of 14 MeV neutron yield monitors—as well as significant advances in plasma theory and modelling in the fusion community. DTE2 was complemented by a sequence of isotope physics campaigns encompassing operation in pure tritium at high T-NBI power. Carefully conducted for safe operation with tritium, the new T and D–T experiments used 1 kg of T (vs 100 g in DTE1), yielding the most fusion reactor relevant D–T plasmas to date and expanding our understanding of isotopes and D–T mixture physics. Furthermore, since the JET T and DTE2 campaigns occurred almost 25 years after the last major D–T tokamak experiment, it was also a strategic goal of the European fusion programme to refresh operational experience of a nuclear tokamak to prepare staff for ITER operation. The key physics results of the JET T and DTE2 experiments, carried out within the EUROfusion JET1 work package, are reported in this paper. Progress in the technological exploitation of JET D–T operations, development and validation of nuclear codes, neutronic tools and techniques for ITER operations carried out by EUROfusion (started within the Horizon 2020 Framework Programme and continuing under the Horizon Europe FP) are reported in (Litaudon et al Nucl. Fusion accepted), while JET experience on T and D–T operations is presented in (King et al Nucl. Fusion submitted).

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2025

GRAPH — an readout ASIC for large MCP based detectors

We present a programmable 16 channel, mixed signal, low power readout ASIC, having the project historically named Gigasample Recorder of Analog waveforms from a PHotodetector (GRAPH). It is designed to read large aperture single photon imaging detectors using micro channel plates for charge multiplication, and measuring the detector's response on crossed strips anodes to extrapolate the incoming photon position. Each channel consists of a fast, low power and low noise charge sensitive amplifier, which provides a myriad of coarse and fine programmable options for gain and shaping settings. Further, the amplified signal is recorded using, to our knowledge novel, the Hybrid Universal sampLing Architecture (HULA) ADC. A kind of mixed signal double buffer memory, that enables concurrent waveform recording, and selected event digitized data extraction. The sampling frequency is freely adjustable between few kHz up to 125 MHz, while the chip's internal digital memory holds a history 2048 samples for each channel, with a digital headroom of 12 bits. An optimized region of interest sample-read algorithm allows to extract the information just around the event pulse peak, while selecting the next event, thus substantially reducing the operational dead time. The chip is designed in 130 nm TSMC CMOS technology, and its power consumption is around 47 mW per channel.

47 OTHER INSTRUMENTATION↗
DOE OSTI2024

Ultrafast jet classification at the HL-LHC

Abstract Three machine learning models are used to perform jet origin classification. These models are optimized for deployment on a field-programmable gate array device. In this context, we demonstrate how latency and resource consumption scale with the input size and choice of algorithm. Moreover, the models proposed here are designed to work on the type of data and under the foreseen conditions at the CERN large hadron collider during its high-luminosity phase. Through quantization-aware training and efficient synthetization for a specific field programmable gate array, we show that O ( 100 ) ns inference of complex architectures such as Deep Sets and Interaction Networks is feasible at a relatively low computational resource cost.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2020

SPIDERS: overview of the X-ray galaxy cluster follow-up and the final spectroscopic data release

ABSTRACT SPIDERS (The SPectroscopic IDentification of eROSITA Sources) is a large spectroscopic programme for X-ray selected galaxy clusters as part of the Sloan Digital Sky Survey-IV (SDSS-IV). We describe the final data set in the context of SDSS Data Release 16 (DR16): the survey overall characteristics, final targeting strategies, achieved completeness, and spectral quality, with special emphasis on its use as a galaxy cluster sample for cosmology applications. SPIDERS now consists of about 27 000 new optical spectra of galaxies selected within 4000 photometric red sequences, each associated with an X-ray source. The excellent spectrograph efficiency and a robust analysis pipeline yield a spectroscopic redshift measurement success rate exceeding 98 per cent, with a median velocity accuracy of 20 km s−1 (at z = 0.2). Using the catalogue of 2740 X-ray galaxy clusters confirmed with DR16 spectroscopy, we reveal the 3D map of the galaxy cluster distribution in the observable Universe up to z ∼ 0.6. We highlight the homogeneity of the member galaxy spectra among distinct regions of the galaxy cluster phase space. Aided by accurate spectroscopic redshifts and by a model of the sample selection effects, we compute the galaxy cluster X-ray luminosity function and we present its lack of evolution up to z = 0.6. Finally we discuss the prospects of forthcoming large multiplexed spectroscopic programmes dedicated to follow up the next generation of all-sky X-ray source catalogues.

Clerc, N.↗
DOE OSTI2023

A striking relationship between dust extinction and radio detection in DESI QSOs: evidence for a dusty blow-out phase in red QSOs

ABSTRACT We present the first eight months of data from our secondary target programme within the ongoing Dark Energy Spectroscopic Instrument (DESI) survey. Our programme uses a mid-infrared and optical colour selection to preferentially target dust-reddened quasi-stellar objects (QSOs) that would have otherwise been missed by the nominal DESI QSO selection. So far, we have obtained optical spectra for 3038 candidates, of which ∼70 per cent of the high-quality objects (those with robust redshifts) are visually confirmed to be Type 1 QSOs, consistent with the expected fraction from the main DESI QSO survey. By fitting a dust-reddened blue QSO composite to the QSO spectra, we find they are well-fitted by a normal QSO with up to AV ∼ 4 mag of line-of-sight dust extinction. Utilizing radio data from the LOFAR Two-metre Sky Survey (LoTSS) DR2, we identify a striking positive relationship between the amount of line-of-sight dust extinction towards a QSO and the radio detection fraction, that is not driven by radio-loud systems, redshift and/or luminosity effects. This demonstrates an intrinsic connection between dust reddening and the production of radio emission in QSOs, whereby the radio emission is most likely due to low-powered jets or winds/outflows causing shocks in a dusty environment. On the basis of this evidence, we suggest that red QSOs may represent a transitional ‘blow-out’ phase in the evolution of QSOs, where winds and outflows evacuate the dust and gas to reveal an unobscured blue QSO.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2022

CRISPR-RNAa: targeted activation of translation using dCas13 fusions to translation initiation factors

Abstract Tools for synthetically controlling gene expression are a cornerstone of genetic engineering. CRISPRi and CRISPRa technologies have been applied extensively for programmable modulation of gene transcription, but there are few such tools for targeted modulation of protein translation rates. Here, we employ CRISPR-Cas13 as a programmable activator of translation. We develop a novel variant of the catalytically-deactivated Cas13d enzyme dCasRx by fusing it to translation initiation factor IF3. We demonstrate dCasRx-IF3’s ability to enhance expression 21.3-fold above dCasRx when both are targeted to the start of the 5′ untranslated region of mRNA encoding red fluorescent protein in Escherichia coli. Activation of translation is location-dependent, and we show dCasRx-IF3 represses translation when targeted to the ribosomal binding site, rather than enhancing it. We provide evidence that dCasRx-IF3 targeting enhances mRNA stability relative to dCasRx, providing mechanistic insights into how this new tool functions to enhance gene expression. We also demonstrate targeted upregulation of native LacZ 2.6-fold, showing dCasRx-IF3’s ability to enhance expression of endogenous genes. dCasRx-IF3 requires no additional host modification to influence gene expression. This work outlines a novel approach, CRISPR-RNAa, for post-transcriptional control of translation to activate gene expression.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2024

Fail-Safe Logic Design Strategies Within Modern FPGA Architectures

Fail-safe computing refers to computing systems that revert to a non-operational safe state when a fault occurs. In this paper, we investigate a circuit level technique as mitigation for single event upsets (SEUs) and fault injection attacks on field programmable gate arrays (FPGAs), and analyze the effectiveness of the technique as a fail-safe monitor for an encryption algorithm. The propagation of fault effects through FPGA primitives including lookup tables (LUTs) and programmable interconnect points (PIPs) is assessed within an FPGA architecture created using an open source tool, and validated using fault injection experiments on an FPGA. The analysis reveals additional vulnerabilities exist within reconfigurable architectures over those in equivalent fail-safe application specific integrated circuit (ASIC), thus requiring a more elaborate network of redundant circuits and checking logic. The configuration memory bits (CMBs), which configure routing and designate logic functions within the LUTs of the FPGA, add complexity to fail-safe design strategies by introducing additional fault conditions and fault propagation paths. A resource-efficient fail-safe circuit design technique called DEsign for Fail-safe in reCONfigurable systems (DEFCON) is proposed. The benefits and limitations associated with DEFCON are described in the context of fault injection experiments carried out as simulations and in FPGA hardware.

Bhakta, Priya A. [Univ. of New Mexico, Albuquerque↗
DOE OSTI2025

JACC.shared: Leveraging HPC Metaprogramming and Performance Portability for Computations That Use Shared Memory GPUs

In this work, we present JACC.shared, a new feature of Julia for ACCelerators (JACC), which is the performanceportable and metaprogramming model of the just-in-time and LLVM-based Julia language. This new feature allows JACC applications to leverage the high-performance computing (HPC) capabilities of high-bandwidth, on-chip GPU memory. Historically, exploiting high-bandwidth, shared-memory GPUs has not been a priority for high-level programming solutions. JACC.shared covers that gap for the first time, thereby providing a highlevel, portable, and easy-to-use solution for programmers to exploit this memory and supporting all current major accelerator architectures. Well-known HPC and AI workloads, such as multi/hyperspectral imaging and AI convolutions, have been used to evaluate JACC.shared on two exascale GPU architectures hosted by some of the most powerful US Department of Energy supercomputers: Perlmutter (NVIDIA A100) and Frontier (AMD MI250X). The performance evaluation reports speedup of up to 3.5× by adding only one line of code to the base codes, thus providing important accelerators in a simple, portable, and transparent way and elevating the programming productivity and performance-portability capabilities for Julia/JACC HPC, AI, and scientific applications.

Valero Lara, Pedro [ORNL] (ORCID:0000000214794310)↗