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 433 records · Page 24

JTAG-based PLC memory acquisition framework for industrial control systems

In industrial control systems (ICS), programmable logic controllers (PLC) are the embedded devices that directly control and monitor critical industrial infrastructure processes such as nuclear plants and power grid stations. Cyberattacks often target PLCs to sabotage a physical process. A memory forensic analysis of a suspect PLC can answer questions about an attack, including compromised firmware and manipulation of PLC control logic code and I/O devices. Given physical access to a PLC, collecting forensic information from the PLC memory at the hardware-level is risky and challenging. It may cause the PLC to crash or hang since PLCs have proprietary, legacy hardware with heterogeneous architecture. This paper addresses this research problem and proposes a novel JTAG (Joint Test Action Group)-based framework, Kyros, for reliable PLC memory acquisition. Kyros systematically creates a JTAG profile of a PLC through hardware assessment, JTAG pins identification, memory map creation, and optimizing acquisition parameters. It also facilitates the community of interest (such as ICS owners, operators, and vendors) to develop the JTAG profiles of PLCs. Further, we present a case study of Kyros implementation over Allen-Bradley 1756-A10/B to help understand the framework's application on a real-world PLC used in industry settings. The sample PLC memory dumps are shared with the research community to facilitate further research.

Rais, Muhammad Haris↗

HIDRA-MAT liquid metal droplet injector for liquid metal applications in HIDRA

A liquid metal droplet injector was explicitly designed for the Hybrid Illinois Device for Research and Applications Material Analysis Test-stand (HIDRA-MAT) at the University of Illinois Urbana-Champaign to prepare liquid metal plasma-facing components (PFCs) for plasma exposure. The design goals were to create a compact, reliable, and robust design that could apply liquid metal droplets in-vacuo to a variety of samples. The injector was designed for liquid metal use, and results discussed pertain to lithium. The injector can produce lithium droplets of consistent size by utilizing programmable piston movement. Here, droplet formation data is presented for four different piston step sizes (0.125 mm, 0.25 mm, 0.5 mm, and 1 mm) at three different nozzle temperatures (185 °C, 230 °C, and 270 °C). Droplets are formed on the injector nozzle tip and a linear shift mechanism vertically translates the droplet to the substrate for application. This design prevents the droplet from inadvertently detaching off the nozzle and falling to the sample. Application of the liquid metal droplet ensures placement consistency on the substrate and helps avoid damage to components in HIDRA-MAT that should not interact with liquid metals. A description of the liquid lithium droplet creation and application results is given and provides additional insight into the cooling and oxidation of lithium droplets under vacuum conditions. A second nozzle was fabricated and demonstrated repeatability in droplet diameter creation having a variance of ±0.14 mm for droplets created from the same number of piston steps. The end-use for the injector on HIDRA-MAT is to apply liquid metals to PFCs and expose them to HIDRA's plasma with subsequent intershot in-vacuo surface analysis in HIDRA-MAT for plasma-material interaction studies.

42 ENGINEERING↗

A comparative analysis of numerical approaches for the description of gas flow in clay-based repository systems: From a laboratory to a large-scale gas injection test

There is nowadays a consensus among many countries that geological disposal is a favourable solution for the long-term management. Although different host formations and different barrier systems are under consideration around the world, clay-based materials form an important component for waste isolation in most national programmes. Hence, a good comprehension of the effect of gas flow on the hydro-mechanical behaviour of clay-based soils is essential, both at laboratory and field scale. Task B under the international cooperative project DECOVALEX-2023 has recently shown that, after some enhancement, models can be employed to reproduce laboratory scale tests, even with different sample geometries 37 . However, further work is required to understand whether they can be applied to simulate a large-scale experiment. Up-scaling of models for the advective transport of gas through clay-based low permeable material presents a number of problems related to the difficulty in obtaining consistent hydrogeological parameters and constitutive relationships at both laboratory and field scale. Based on a unique dataset from a large-scale gas injection test (Lasgit) performed at the Äspö Hard Rock Laboratory (Sweden), Task B within DECOVALEX-2023 has explored the refinement of these numerical strategies applied to the simulation of gas flow. Work performed within the task reveals that codes do not need to be substantially modified from the laboratory models to reproduce full-scale tests: indeed, model parameters calibrated and validated at laboratory scale have been applied to predict field scale gas flow at Lasgit, including peak gas pressure and injected cumulative gas volume. By means of (1) the introduction of interfaces between blocks to reflect the experimental configuration and the (2) adjustment of some parameters (e.g., higher permeability), the updated models are able to represent most of the key features observed in the experimental data, even at a large scale.

Tamayo-Mas, E↗

3D Simulations of gas injection on callovo-oxfordian claystone assuming spatial heterogeneity and anisotropy

A series of gas injection tests on Callovo-Oxfordian (COx) claystone from the Bure underground research laboratory (URL) in France were carried out at the British Geological Survey (BGS). The tests were performed using a triaxial apparatus specifically designed to capture small volumetric strains induced by the injected gas flow and consequent material dilatancy. The long-duration experiments were monitored throughout. Measurements also included pressure, stresses (axial and radial stresses prescribed for each test stage), rate of gas inflow, gas outflow volume as well as pore-pressures observed at various points of the sample. A coupled hydro-gas-mechanical 3D numerical model has been developed to simulate the tests. Initial permeability is assumed heterogeneous throughout the specimen and embedded fractures are incorporated in the formulation. Gas pressure-induced deformations during the test lead to variations of permeability due to changes in matrix porosity and, especially, fracture aperture as well as fracture orientation due to material anisotropy. A programme of sensitivity analyses involving the variation of different aspects and parameters of the model contributes to a better understanding of the phenomena and highlights its complexity. The model is able to reproduce the observed behaviour of the tests.

58 GEOSCIENCES↗

Kinetic analysis of Cas12a and Cas13a RNA-Guided nucleases for development of improved CRISPR-Based diagnostics

Bacterial CRISPR systems provide acquired immunity against invading nucleic acids by activating RNA-programmable RNases and DNases. Cas13a and Cas12a enzymes bound to CRISPR RNA (crRNA) recognize specific nucleic acid targets, initiating cleavage of the targets as well as non-target (trans) nucleic acids. Here, we examine the kinetics of single-turnover target and multi-turnover trans-nuclease activities of both enzymes. High-turnover, non-specific Cas13a trans-RNase activity is coupled to rapid binding of target RNA. By contrast, low-turnover Cas12a trans-nuclease activity is coupled to relatively slow cleavage of target DNA, selective for DNA over RNA, indifferent to base identity, and preferential for single-stranded substrates. Combining multiple crRNA increases detection sensitivity of targets, an approach we use to quantify pathogen DNA in samples from patients suspected of Buruli ulcer disease. Results reveal that these enzymes are kinetically adapted to play distinct roles in bacterial adaptive immunity and show how kinetic analysis can be applied to CRISPR-based diagnostics.

59 BASIC BIOLOGICAL SCIENCES↗

Designing sequence-defined peptoids for fibrillar self-assembly and silicification

In the biological environment, mineral crystals exquisitely controlled by biomacromolecules often show intricate hierarchical structures and superior mechanical properties. Among these biominerals, spicules, hybrid silica/protein superstructures serving as skeletal elements in demosponges, represent an excellent example for motivating the synthesis of silica materials. Herein, by designing sequence-defined peptoids containing side chains with a strong binding to silica, we demonstrated that self-assembly of these peptoids into fiber structures enables the mimicking of both biocatalytic and templating functions of silicatein filaments for the formation of silica fibers at near-neutral pH and ambient temperature. We further showed that the presence of amino groups is significant for the nucleation of silica on self-assembled peptoid nanofibers. Molecular dynamics simulation further confirmed that having silica-binding of amino side chains is critical for self-assembled peptoid fibers in triggering silica formation. Here, we demonstrated that tuning inter-peptoid interactions by varying carboxyl and amino side chains significantly influences the assembly kinetics and final morphologies of peptoid assemblies as scaffolds for directing silica mineralization to form silica spheres, fibers, and sheets. The formation of silica shell on peptoid fibers increased the mechanical property of peptoid hydrogel materials by nearly 1000-fold, highlighting the great potential of using silicification to enhance the mechanical property of hydrogel materials for applications including tissue engineering. Since peptoids are highly robust and programmable, we expect that self-assembly of peptoids containing solid-binding side chains into hierarchical materials opens new opportunities in the design and synthesis of highly tunable scaffolds that direct the formation of composite nanomaterials.

59 BASIC BIOLOGICAL SCIENCES↗

Learning functional priors and posteriors from data and physics

In this work, we develop a new Bayesian framework based on deep neural networks to be able to extrapolate in space-time using historical data and to quantify uncertainties arising from both noisy and gappy data in physical problems. Specifically, the proposed approach has two stages: (1) prior learning and (2) posterior estimation. At the first stage, we employ the physics-informed Generative Adversarial Networks (PI-GAN) to learn a functional prior either from a prescribed function distribution, e.g., Gaussian process, or from historical data and physics. At the second stage, we employ the Hamiltonian Monte Carlo (HMC) method to estimate the posterior in the latent space of PI-GANs. In addition, we use two different approaches to encode the physics: (1) automatic differentiation, used in the physicsinformed neural networks (PINNs) for scenarios with explicitly known partial differential equations (PDEs), and (2) operator regression using the deep operator network (DeepONet) for PDE-agnostic scenarios. We then test the proposed method for (1) meta-learning for one-dimensional regression, and forward/inverse PDE problems (combined with PINNs); (2) PDE-agnostic physical problems (combined with DeepONet), e.g., fractional diffusion as well as saturated stochastic (100-dimensional) flows in heterogeneous porous media; and (3) spatial-temporal regression problems, i.e., inference of a marine riser displacement field using experimental data from the Norwegian Deepwater Programme (NDP). The results demonstrate that the proposed approach can provide accurate predictions as well as uncertainty quantification given very limited scattered and noisy data, since historical data could be available to provide informative priors. In summary, the proposed method is capable of learning flexible functional priors, e.g., both Gaussian and non-Gaussian process, and can be readily extended to big data problems by enabling mini-batch training using stochastic HMC or normalizing flows since the latent space is generally characterized as low dimensional.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

UQpy: A general purpose Python package and development environment for uncertainty quantification

In this paper, we present the UQpy software toolbox, an open-source Python package for general uncertainty quantification (UQ) in mathematical and physical systems. The software serves as both a user-ready toolbox that includes many of the latest methods for UQ in computational modeling and a convenient development environment for Python programmers advancing the field of UQ. The paper presents an introduction to the software's architecture and existing capabilities, divided in the code in a set of modules centered around different UQ tasks such as sampling methods, generation of random processes and random fields, probabilistic inverse modeling, reliability analysis, surrogate modeling, and active learning. The paper also highlights the importance of the RunModel module, which is used to drive simulations in the uncertainty analyses performed in UQpy. This module conveniently allows the user to define computational models directly in Python, or to run simulations from a third-party software in serial or in parallel. To illustrate the various capabilities, two examples are tracked throughout the paper and analyzed repeatedly for various UQ tasks. The first is a Python model solving a nonlinear structural dynamics problem, used to illustrate UQpy's capabilities in sampling and forward propagation of high dimensional random vectors (stochastic processes), and probabilistic inference. The second model is a third-party Abaqus finite element model solving the thermomechanical response of a beam structure. This example is used to illustrate UQpy's capabilities in variance reduction sampling techniques, reliability analysis, surrogate modeling and active learning techniques.

97 MATHEMATICS AND COMPUTING↗

A Fine-grained Asynchronous Bulk Synchronous parallelism model for PGAS applications

The Partitioned Global Address Space (PGAS) model is well suited for executing irregular applications on cluster-based systems, due to its efficient support for short, one-sided messages. Separately, the actor model has been gaining popularity as a productive asynchronous message-passing approach for distributed objects in enterprise and cloud computing platforms, typically implemented in languages such as Erlang, Scala or Rust. To the best of our knowledge, there has been no past work on using the actor model to deliver both productivity and scalability to irregular PGAS applications with large number of small messages. In this paper, we introduce a new programming system for PGAS applications, in which point-to-point remote operations can be expressed as fine-grained asynchronous actor messages. In our approach, the programmer does not need to worry about programming complexities related to message aggregation and termination detection. Our approach can be viewed as extending the classical Bulk Synchronous Parallelism model with fine-grained asynchronous communications within a phase or superstep. Here, we believe that our approach offers a desirable point in the productivity-performance space for PGAS applications, with more scalable performance and higher productivity relative to past approaches. Specifically, for seven irregular mini-applications from the Bale Kernels and three graph kernels executed using 2048 cores in the NERSC Cori system, our approach shows geometric mean performance improvements of ≥ 20X relative to standard PGAS versions (UPC and OpenSHMEM) while maintaining comparable productivity to those versions.

97 MATHEMATICS AND COMPUTING↗

MATAR: A performance portability and productivity implementation of data-oriented design with Kokkos

There is a need for simple, fast, and memory-efficient multidimensional data structures for dense and sparse storage that arise with numerical methods and in software applications. The data structures must perform equally well across multiple computer architectures, including CPUs and GPUs. For this purpose, we developed MATAR, a C++ software library that allows for simple creation and use of intricate data structures that is also portable across disparate architectures using Kokkos. Here, the performance aspect is achieved by forcing contiguous memory layout (or as close to contiguous as possible) for multidimensional and multi-size dense or sparse MATrix and ARray (hence, MATAR) types. Our results show that MATAR has the capability to improve memory utilization, performance, and programmer productivity in scientific computing. This is achieved by fitting more work into the available memory, minimizing memory loads required, and by loading memory in the most efficient order. This document describes the purpose of the work, the implementation of each of the data types, and the resulting performance both in some simple baseline test cases and in an application code.

97 MATHEMATICS AND COMPUTING↗

A review of crosstalk polymorphic circuits and their scalability

Using a control variable, the functionality of Polymorphic circuits can be modified, making them adaptable and useful for reconfiguring circuit behavior — all the way from gate level to system level. State-of-the art polymorphic circuits are based on custom non-linear circuit design or emerging devices such as ambipolar FET, configurable magnetic devices etc. While some of these approaches are inefficient in performance, others involve exotic devices. The Crosstalk computing based polymorphic circuits offer a fresh perspective. In Crosstalk, the interconnect interference between nanoscale metal lines is intentionally engineered to exhibit the programmable Boolean logic behavior. This approach relies on the coupling between metal lines and not on the transistors for computing, resulting in better scalability, security by obscurity, and fault tolerance by reconfiguration. Our novel approach is backed by the mathematical formulation that conveys the rationale to generalize and achieve a wide variety of polymorphic circuits. Our experiments, including design, simulation, and Power Performance Area (PPA) characterization results indicate that crosstalk circuits provide significant improvement in transistor count (about 3x), switching energy (2x), and speed (1.5x) for polymorphic logic circuits. In the best-case scenario, the transistor count reduction is 5x. This paper presents Crosstalk computing’s fundamentals, polymorphism and the scalability aspects to compete/co-exist with CMOS for digital logic implementations below 10 nm. Our scalability study uses Open Source 7 nm PDK, considers all process variation aspects and accommodates worst-case scenarios. The study results for various benchmark circuits show that the Crosstalk technology is a viable alternative to CMOS for digital logic implementations below 10 nm, having 48% density, 57% power, and 10% performance gains over equivalent CMOS counterparts. Finally, we compare Crosstalk Polymorphic Circuit design technique with similar approaches described in related works and discuss its features and constraints.

97 MATHEMATICS AND COMPUTING↗

Electrostatically assembled open square and checkerboard superlattices

Programmable assembly of nanoparticles into structures other than two-dimensional hexagonal lattices remains challenging. Assembling an open checkerboard or square lattice is harder to achieve compared to a close-packed hexagonal structure. Here, in this study, we introduce a unified, robust approach to assemble nanoparticles into a diverse family of two-dimensional superlattices at the liquid–air interface. Gold nanoparticles are grafted with pH-responsive, water-soluble poly(ethylene glycol) chains terminating in single bondCOOH or -NH 2 end groups, enabling control over interparticle Coloumbic interactions, while the molecular weight of grafted polymer dictates its conformation. This combined control of charges and conformation enables crystallization into checkerboard, simple-square, and body-centered honeycomb superlattices. Furthermore, tuning the pH induces structural transitions between different lattice types. This approach opens new avenues for the fabrication of colloidal superstructures with tailored architectures.

36 MATERIALS SCIENCE↗

Initial tests of large format sensors for the ATLAS ITk strip tracker

For the construction of the Inner Tracker (ITk) as part of the phase-II upgrade programme of the ATLAS detector for the High-Luminosity (HL) LHC, batches of Long Strip (LS) and Short Strip (SS) n + -in-p type micro-strip sensors have been produced by Hamamatsu Photonics and Infineon. The full size sensors measure approximately 98 × 98 mm 2 and are designed and engineered for tolerance against the 9.7 × 10 14 1 MeV n eq /cm 2 fluence expected at the HL-LHC, including a safety factor of 1.5. Each sensor has 2 or 4 columns of 1280 individual channels arranged at 75.5 μ m horizontal pitch. To ensure the sensors comply with their specifications, a Quality Control (QC) procedure has been implemented, comprising measurements on every individual sensor as well as on a sample basis. Every sensor is subjected to an initial visual inspection, after which the full surface of the sensor is captured with very high resolution by an automated camera setup. Non-contact metrology is performed to obtain the sensor surface profile. Electrical measurements establishing the reverse bias leakage current and depletion voltage are then conducted automatically. Sample sensors from every batch are subjected to 40 h of leakage stability checks in controlled atmosphere, and tests on every channel measuring leakage current, coupling capacitance and bias resistance are done. The recorded results are uploaded to a production database following data quality checks. In this paper, QC test validation data and the compiled results for the first batches of production grade sensors are presented. The QC protocol was validated, and the first production sensors were confirmed to be within specification. The results are compared to those from the previous generation of prototype sensors.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

A PIPS + SrI 2 (Eu) detector for atmospheric radioxenon monitoring

The PIPS–SrI 2 (Eu) is a prototype atmospheric radioxenon detection system designed at Oregon State University in support of international efforts towards monitoring clandestine nuclear weapon testing activities. This detector aims to address some shortcomings found in currently deployed beta–gamma atmospheric radioxenon detection systems, such as lackluster energy resolution and memory effect, by employing modern detection materials and readout. The system uses a PIPSBox, a silicon-based gas cell, for electron detection, and a pair of ultrabright, D-shaped SrI 2 (Eu) scintillators coupled to silicon photomultipliers for photon detection. A custom eight-channel digital pulse processor equipped with a field programmable gate-array (FPGA) identifies electron–photon coincidences between the volumes in near real-time. Gas samples of the four radioxenon isotopes of interest were independently measured with the PIPS–SrI 2 (Eu) detection system to determine energy resolution and efficiency. Application of FPGA-based coincidence discrimination in near real-time reduced the ambient background count rate by 95.85 ± 0.04%. Using parameters from the Xenon International gas processing unit and assuming a blank sample and zero memory effect the minimum detectable concentrations (MDCs) for the isotopes were calculated to be 0.12 ± 0.03, 0.27 ± 0.05, 0.15 ± 0.02, and 1.00 ± 0.08 mBq/m 3 air for 131m Xe, 133 Xe, 133m Xe, and 135 Xe, respectively. These MDC estimates compare well with other radioxenon detection systems employed in the International Monitoring System (IMS) and indicate that the PIPS–SrI 2 (Eu) is in compliance with the Comprehensive Nuclear Test-Ban-Treaty Organization (CTBTO) sensitivity requirement of ≤ 1 mBq/m 3 for 133 Xe.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

The data acquisition system of the LZ dark matter detector: FADR

The Data Acquisition System (DAQ) for the LUX-ZEPLIN (LZ) dark matter detector is described. The signals from 745 PMTs, distributed across three subsystems, are sampled with 100-MHz 32-channel digitizers (DDC-32s). A basic waveform analysis is carried out on the on-board Field Programmable Gate Arrays (FPGAs) to extract information about the observed scintillation and electroluminescence signals. This information is used to determine if the digitized waveforms should be preserved for offline analysis. The system is designed around the Kintex-7 FPGA. In addition to digitizing the PMT signals and providing basic event selection in real time, the flexibility provided by the use of FPGAs allows us to monitor the performance of the detector and the DAQ in parallel to normal data acquisition. Furthermore, the hardware and software/firmware of this FPGA-based Architecture for Data acquisition and Realtime monitoring (FADR) are discussed and performance measurements are described.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Recollections for the 50th anniversary of the plasma surface interactions (PSI) in controlled fusion devices conference

The Plasma Surface Interactions in Controlled Fusion Devices (PSI) conference reached an important milestone in 2024 with its 50th anniversary. It was celebrated at its venue in Marseille by a special round table discussion gathering 6 former chairmen of its Programme Committees, who gave some highlights presented at the conference during the five decades. The article provides a summary of this overview.

Plasma Surface Interactions Conference↗

From oversimplified to overlooked: The case for exploring rich dark sectors

The Standard Model (SM) of particle physics provides a very successful description of fundamental particles and their interactions but it is incomplete, as neutrino masses, dark matter and the baryon asymmetry of the Universe indicate. In addition, the origin of masses and of the approximate fundamental symmetries call out for deeper explanations. The quest for a New SM Theory, that extends the SM to a more general theory, is ongoing. For decades the main focus has been on the TeV scale, but despite an impressive theoretical and experimental effort, no hints of new physics at such scale has been found in experiments. Dark sectors provide an interesting alternative to TeV scale extensions of the SM to explain the open questions in particle and astroparticle physics. Going beyond minimal models, rich dark sectors extend the SM to a complex theory with multiple particles and interactions, in analogy to the SM itself. They have a wealth of theoretical and astrophysical/cosmological consequences and can lead to phenomenological signatures that can be markedly different to that of minimal ones. These include short-lived particles and semi-visible decay signatures, as opposed to minimal models where new states are typically long-lived and purely visible or invisible resonances. Given the experimental configurations and analysis strategies, current dark sector searches might miss such signatures. We advocate a dedicated programme of searches for rich dark sectors that overcomes the assumptions on minimality and on the long lifetime of particles and encompasses a broader range of possibilities. Here, we discuss a prototype model that includes a complex structure akin to the SM: multiple generations of fermions charged under a new spontaneously-broken gauge symmetry.

Dark matter↗

Time-reversed Young’s experiment: Deterministic, diffractionless second-order interference effect

The classic Young’s double-slit experiment exhibits first-order interference, producing alternating bright and dark fringes shaped by the diffraction effect of the slits. In contrast, here we demonstrate that its time-reversed configuration generates an ideal, deterministic second-order ‘ghost’ interference pattern free from diffraction and first-order effects with the use of only a position-fixed detector. The pattern’s size is governed by the dimensions of the ‘effectively extended light source’ formed by point emitter(s). Beyond highlighting the nonreciprocal physics between the two configurations, this system unlocks a range of novel phenomena inaccessible in traditional double-slit experiments. These include fully programmable, digitized interference fringe formations and the ability to align the pattern plane with the source plane on the same side of the setup. Remarkably, our proposed experiment achieves these outcomes without relying on nonclassical correlations or quantum entanglement. Here, by restoring time-reversal symmetry and eliminating diffraction, our theoretical analysis reveals that this approach offers exciting potential for advancing optical imaging and sensing technologies with improved transverse and longitudinal phase-shift sensitivity and resolution limit beyond current limitations.

74 ATOMIC AND MOLECULAR PHYSICS↗