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 469 records · Page 26

Far-infrared tangential interferometer/polarimeter design and installation for NSTX-U

The Far-infrared Tangential Interferometer/Polarimeter (FIReTIP) system has been refurbished and is being reinstalled on the National Spherical Torus Experiment—Upgrade (NSTX-U) to supply real-time line-integrated core electron density measurements for use in the NSTX-U plasma control system (PCS) to facilitate real-time density feedback control of the NSTX-U plasma. Inclusion of a visible light heterodyne interferometer in the FIReTIP system allows for real-time vibration compensation due to movement of an internally mounted retroreflector and the FIReTIP front-end optics. Real-time signal correction is achieved through use of a National Instruments CompactRIO field-programmable gate array.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

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↗

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↗

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↗

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↗

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↗

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↗

Instrumentation and Control Selection for the 12 GeV Hall-B Magnets at Jefferson Lab

Here, as part of the Jefferson Lab 12 GeV accelerator upgrade, the Experimental Physics Hall B detector system requires two superconducting magnets – a Torus and a Solenoid. The specifications required maximum space for the detectors which led to the choice of conduction cooling for each magnet. The Torus consists of 6 trapezoidal 'race-track'-type coils connected in series with an operating current of 3770 A. The Solenoid is an actively shielded 5 Tesla magnet consisting of 5 coils connected in series operating at 2416 A. Within the hall the two magnets are located in close proximity to each other and are surrounded by particle detectors. We describe the philosophy behind the instrumentation selection and control design that accounts for this proximity and other challenging working conditions. We describe the choice of sensor technologies, as well as the control and data acquisition methods. The magnet power and cryogenic control sub-systems are implemented using Allen Bradley Control Logix 1756-L72 Programmable Logic Controllers. Sensor instrumentation read-backs are routed into the PLC via National Instruments cRIO hardware (Field Programmable Gate Arrays or FPGA/RT application) using Jefferson Lab designed FPGA-based multi-sensor-excitation-chassis. Configuration, monitoring, and alarm handlers for the magnet systems are provided via an Experimental Physics Instrumentation & Control System interface (EPICS). Failure Modes and Effects Analysis (FMEA) and the requirement to monitor critical parameters during operation guided the selection of instrumentation and associated hardware. The design of the quench protection and voltage tap sub-systems was driven by the anticipated level of voltages developed during a magnet quench. The primary hard-wired quench detection and protection sub-system together with the secondary PLC-based protection sub-system is also discussed. The successful commissioning and subsequent performance of these magnets demonstrates the robustness of the design and implementation approach that was adopted by the Jefferson Lab team and serves as an excellent 'How To' guide for future projects of this size and complexity.

12 GeV↗

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↗

Underground physics with DUNE

The Deep Underground Neutrino Experiment (DUNE) is a project to design, construct and operate a next-generation long-baseline neutrino detector with a liquid argon (LAr) target capable also of searching for proton decay and supernova neutrinos. It is a merger of previous efforts of the LBNE and LBNO collaborations, as well as other interested parties to pursue a broad programme with a staged 40-kt LAr detector at the Sanford Underground Research Facility (SURF) 1300 km from Fermilab. This programme includes studies of neutrino oscillations with a powerful neutrino beam from Fermilab, as well as proton decay and supernova neutrino burst searches. In this study, we will focus on the underground physics with DUNE.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

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↗

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 ↗

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.↗

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↗

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↗

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↗

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)↗

Modeling DNP3 Traffic Characteristics of Field Devices in SCADA Systems of the Smart Grid

In the generation, transmission, and distribution sectors of the smart grid, intelligence of field devices is realized by programmable logic controllers (PLCs). Many smart-grid subsystems are essentially cyber-physical energy systems (CPES): For instance, the power system process (i.e., the physical part) within a substation is monitored and controlled by a SCADA network with hosts running miscellaneous applications (i.e., the cyber part). To study the interactions between the cyber and physical components of a CPES, several co-simulation platforms have been proposed. However, the network simulators/emulators of these platforms do not include a detailed traffic model that takes into account the impacts of the execution model of PLCs on traffic characteristics. As a result, network traces generated by co-simulation only reveal the impacts of the physical process on the contents of the traffic generated by SCADA hosts, whereas the distinction between PLCs and computing nodes (e.g., a hardened computer running a process visualization application) has been overlooked. To generate realistic network traces using co-simulation for the design and evaluation of applications relying on accurate traffic profiles, it is necessary to establish a traffic model for PLCs. In this work, we propose a parameterized model for PLCs that can be incorporated into existing co-simulation platforms. We focus on the DNP3 subsystem of slave PLCs, which automates the processing of packets from the DNP3 master. To validate our approach, we extract model parameters from both the configuration and network traces of real PLCs. Simulated network traces are generated and compared against those from PLCs. Our evaluation shows that our proposed model captures the essential traffic characteristics of DNP3 slave PLCs, which can be used to extend existing co-simulation platforms and gain further insights into the behaviors of CPES.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗