Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “circuit complexity”

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 379 records · Page 21

A world without pythons would be so simple

We show that bulk operators lying between the outermost extremal surface and the asymptotic boundary admit a simple boundary reconstruction in the classical limit. This is the converse of the Python's lunch conjecture, which proposes that operators with support between the minimal and outermost (quantum) extremal surfaces—e.g. the interior Hawking partners—are highly complex. Our procedure for reconstructing this 'simple wedge' is based on the HKLL construction, but uses causal bulk propagation of perturbed boundary conditions on Lorentzian timefolds to expand the causal wedge as far as the outermost extremal surface. As a corollary, we establish the Simple Entropy proposal for the holographic dual of the area of a marginally trapped surface as well as a similar holographic dual for the outermost extremal surface. Here, we find that the simple wedge is dual to a particular coarse-grained CFT state, obtained via averaging over all possible Python's lunches. An efficient quantum circuit converts this coarse-grained state into a 'simple state' that is indistinguishable in finite time from a state with a local modular Hamiltonian. Under certain circumstances, the simple state modular Hamiltonian generates an exactly local flow; we interpret this result as a holographic dual of black hole uniqueness.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Electrically controlling and optically observing the membrane potential of supported lipid bilayers

Supported lipid bilayers are a well-developed model system for the study of membranes and their associated proteins, such as membrane channels, enzymes, and receptors. These versatile model membranes can be made from various components, ranging from simple synthetic phospholipids to complex mixtures of constituents, mimicking the cell membrane with its relevant physiochemical and molecular phenomena. In addition, the high stability of supported lipid bilayers allows for their study via a wide array of experimental probes. In this work, we describe a platform for supported lipid bilayers that is accessible both electrically and optically, and demonstrate direct optical observation of the transmembrane potential of supported lipid bilayers. We show that the polarization of the supported membrane can be electrically controlled and optically probed using voltage-sensitive dyes. Membrane polarization dynamics is understood through electrochemical impedance spectroscopy and the analysis of an equivalent electrical circuit model. In addition, we describe the effect of the conducting electrode layer on the fluorescence of the optical probe through metal-induced energy transfer, and show that while this energy transfer has an adverse effect on the voltage sensitivity of the fluorescent probe, its strong distance dependency allows for axial localization of fluorescent emitters with ultrahigh accuracy. We conclude with a discussion on possible applications of this platform for the study of voltage-dependent membrane proteins and other processes in membrane biology and surface science.

59 BASIC BIOLOGICAL SCIENCES↗

Fidelity Analysis of Complex Large-Scale Simulation Models of PEs (MARS) in Future Power Grids

With the proliferation of power electronic (PE)-based resources in the electric grid, there have been numerous different kinds of simulation models developed and studied to understand their dynamic behavior. Study of PE-based resources using each simulation model has its own distinct advantages and disadvantages. Therefore it is very important to carefully select the appropriate model for the evaluation of the PE-based resources. In this paper, one such effort is made to analyze the different types of models in the case of a multi-port autonomous reconfigurable solar power plant (MARS). The MARS integrates a hybrid photovoltaic (PV)-energy storage system (ESS) plant to high-voltage direct current (HVdc) system and transmission alternating current (ac) grid. The dynamic models are evaluated under different test cases varying the short-circuit ratio (SCR) and control algorithms. Recommendations are provided on the equipment study needs based on the analysis completed.

Marthi, Phani Ratna Vanamali↗

Long-Term Degradation of Passivated Emitter and Rear Contact Silicon Solar Cell under Light and Heat

Advanced designs enable high-efficiency solar cells; however, more complex structures create new long-term stability concerns. Herein, the long-term degradation processes affecting advanced silicon solar cells using laboratory-based illumination and heating over hundreds of hours are investigated. The activation energy for the degradation of voltage is estimated and the degradation rates to normal solar cell operating temperature ranges are extrapolated. The cell degradation observed at high temperatures in the lab is kinetically similar to the process affecting field-deployed modules contributing to 0.37% year-1 of annualized degradation. Electroluminescence and photoluminescence mapping show that the degradation is dominated by minority carrier lifetime reduction. Suns-open-circuit voltage and light beam-induced current results indicate that the degradation could result from passivation degradation at the surface or defect formation in the near-subsurface region, leading to increased minority carrier recombination. This work highlights a long-term degradation process under elevated temperature and illumination that may continue to affect cells in an irreversible manner that is separate from recoverable light-induced degradation and light- and elevated temperature-induced degradation.

14 SOLAR ENERGY↗

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↗

Complex Oxides for Brain–Inspired Computing: A Review

The fields of brain-inspired computing, robotics, and, more broadly, artificial intelligence (AI) seek to implement knowledge gleaned from the natural world into human-designed electronics and machines. In this review, the opportunities presented by complex oxides, a class of electronic ceramic materials whose properties can be elegantly tuned by doping, electron interactions, and a variety of external stimuli near room temperature, are discussed. The review begins with a discussion of natural intelligence at the elementary level in the nervous system, followed by collective intelligence and learning at the animal colony level mediated by social interactions. An important aspect highlighted is the vast spatial and temporal scales involved in learning and memory. The focus then turns to collective phenomena, such as metal-to-insulator transitions (MITs), ferroelectricity, and related examples, to highlight recent demonstrations of artificial neurons, synapses, and circuits and their learning. First-principles theoretical treatments of the electronic structure, and in situ synchrotron spectroscopy of operating devices are then discussed. The implementation of the experimental characteristics into neural networks and algorithm design is then revewed. Finally, outstanding materials challenges that require a microscopic understanding of the physical mechanisms, which will be essential for advancing the frontiers of neuromorphic computing, are highlighted.

36 MATERIALS SCIENCE↗

Inter-cofactor protein remodeling rewires short-circuited transmembrane electron transfer

Intraprotein electron transfer (ET) requires explicit local control of the environment of cofactors to influence their intermolecular distances, relative orientations, and redox properties. Efficient, longer-range ET often utilizes molecular orbitals of aromatic residues present in the intervening space. Here, revitalization of a vestigial ET pathway in the bacterial photosynthetic reaction center is achieved by scanning with tryptophans to uncover markedly improved routes of electron conduction in a key stabilizing step spanning 15 Å between tetrapyrrole and quinone cofactors. This ET event is maximally enhanced by pairing one or more tryptophans with a threonine to influence quinone binding and/or redox potential. Synergistic effects of these substitutions increase the yield of that ET step to ~95%. Joining these substitutions with mutant residues that improve initial ET steps dramatically enhances transmembrane charge separation via this redesigned version of a pathway that is quantitatively inactive in the native protein-cofactor complex.

Biophysical chemistry↗

Photoinduced Melting of V 4 O 7 Correlated State

The compound V 4 O 7 is one of the Magnéli phase (V n O 2n - 1 , n = 3, 4, …, 9) correlated vanadium oxides with distinct intriguing electronic and structural properties. The possibility to manipulate the phase state of V 4 O 7 on an ultrafast time scale by light makes this material promising for potential applications in photonics, optoelectronics, quantum, and neuromorphic circuit design. In this work, the ultrafast spectroscopy of V 4 O 7 reveals the second-order nature of the photoinduced insulator-to-metal transition, emphasizing electronic and lattice contributions. The findings reveal the influence of the laser excitation level and temperature on these dynamics, providing a comprehensive understanding of V 4 O 7 structural changes and response to external stimuli. The phenomenological model based on the Landau–Ginzburg formalism provides a robust framework for explaining the photoinduced transition dynamics, showing a detailed picture of the light interaction with the electronic and lattice subsystems. This integrated approach significantly enhances the understanding of V 4 O 7 complex behavior upon photoexcitation, opening new possibilities for developing new optoelectronic devices and noninvasive optical control of the phase transition pathways in vanadates.

36 MATERIALS SCIENCE↗

Simulating dirty bosons on a quantum computer

Abstract Quantum computers hold the potential to unlock new discoveries in complex quantum systems by enabling the simulation of physical systems that have heretofore been impossible to implement on classical computers due to intractability. A system of particular interest is that of dirty bosons, whose physics highlights the intriguing interplay of disorder and interactions in quantum systems, playing a central role in describing, for instance, ultracold gases in a random potential, doped quantum magnets, and amorphous superconductors. Here, we demonstrate how quantum computers can be used to elucidate the physics of dirty bosons in one and two dimensions. Specifically, we explore the disorder-induced delocalized-to-localized transition using adiabatic state preparation. In one dimension, the quantum circuits can be compressed to small enough depths for execution on currently available quantum computers. In two dimensions, the compression scheme is no longer applicable, thereby requiring the use of large-scale classical state vector simulations to emulate quantum computer performance. In addition, simulating interacting bosons via emulation of a noisy quantum computer allowed us to study the effect of quantum hardware noise on the physical properties of the simulated system. Our results suggest that scaling laws control how noise modifies observables versus its strength, the circuit depth, and the number of qubits. Moreover, we observe that noise impacts the delocalized and localized phases differently. A better understanding of how noise alters the observed properties of the simulated system is essential for leveraging near-term quantum devices for simulation of dirty bosons, and indeed for condensed matter systems in general.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Nitride-Oxide-Metal Heterostructure with Self-Assembled Core–Shell Nanopillar Arrays: Effect of Ordering on Magneto-Optical Properties

Magneto-optical (MO) coupling incorporates photon-induced change of magnetic polarization that can be adopted in ultrafast switching, optical isolators, mode convertors, and optical data storage components for advanced optical integrated circuits. However, integrating plasmonic, magnetic, and dielectric properties in one single material system poses challenges since one natural material can hardly possess all these functionalities. Here, co-deposition of a three-phase heterostructure composed of a durable conductive nitride matrix with embedded core–shell vertically aligned nanopillars, is demonstrated. Additionally, the unique coupling between ferromagnetic NiO core and atomically sharp plasmonic Au shell enables strong MO activity out-of-plane at room temperature. Further, a template growth process is applied, which significantly enhances the ordering of the nanopillar array. The ordered nanostructure offers two schemes of spin polarization which result in stronger antisymmetry of Kerr rotation. The presented complex hybrid metamaterial platform with strong magnetic and optical anisotropies is promising for tunable and modulated all-optical-based nanodevices.

36 MATERIALS SCIENCE↗

Underwater plasma breakdown characteristics with respect to highly pressurized drilling applications

Deep earth drilling is a key technique to extract oil, gas, and geothermal heat from the earth. Many complex energy focusing methods have been explored as an alternative approach to reach these resources but most of them require high energy. However, by utilizing short time span liquid plasma discharges, energy focusing can be achieved within traditional drilling systems. These discharges induce a rapid expansion process and a resulting shockwave. It is believed that this focused energy will lower the required cutting force to progress through the rock. Lowering the required cutting force will allow for lower drill bit wear, quicker rate of penetration, and an overall cost savings of the project. Plasma breakdown characteristics at drilling relevant pressures, ranging from 1 to 350 atm, were studied. A resistance–capacitance circuit with an air gapped spark switch was utilized to generate pulsed plasma between the pressurized electrodes. It was found that the required breakdown voltage increases as the pressure increases. It was also found that a plasma channel formation and an associated breakdown may or may not occur between the electrodes at different pressures due to variation in required breakdown voltages. Breakdown time-lag in the dielectric medium (tap water, 780 μS cm –1 ) increased as the pressure was increased, which indicated a higher voltage drop at higher pressures (>100 atm). The plasma generated cavitation bubble with an associated shockwave occurred as pressures were increased. However, the bubble radius and the bubble duration decreased as the pressure was increased. The plasma generated shockwave speeds fall within the expected speed of sound in water. Lastly, preliminary rock cracking tests were performed on granite at high pressures (340 and 272 atm) and it was found that plasma is able to create cracks in the rock.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Electrochemical behavior of SnCl 2 and influence of Cu and Ni ions in molten LiCl−KCl−CaCl 2 eutectic

Reliable transport and thermodynamic data for multivalent ions in complex molten salts are scarce, limiting model fidelity for electrorefining and impurity control. Here, we report a comprehensive electrochemical characterization of SnCl₂ in LiCl–KCl–CaCl₂ (50.5–44.2–5.3 mol%) at 685 K, including the effects of Ni 2+ and Cu + impurities. Using cyclic voltammetry (CV), chronoamperometry (CA), and chronopotentiometry (CP), we quantified Sn 2+ and Ni 2+ diffusion with exceptional agreement across methods: Sn 2+ averaged (1.03 ± 0.10) × 10 −5 cm 2 s −1 , and Ni 2+ averaged (0.75 ± 0.19) × 10 −5 cm 2 s −1 . The tight confidence-interval overlap across CV, CA, and CP strengthens confidence in these values and is uncommon in molten chloride studies. Open-circuit-potential measurements provided standard apparent reduction potentials that closely match LiCl–KCl literature, indicating minimal shift with CaCl₂ present. The Sn 2+ /Sn couple behaves as a reversible two-electron soluble–insoluble process at 685 K; the Sn 4+ /Sn 2+ couple transitions to soluble–soluble behavior near 788 K, which may correlate with the decomposition of surface bound chlorostannates, though direct characterization remains to be established. In mixed systems, Cu+/Cu overlaps Sn 2+ /Sn, limiting Cusingle bondSn electroseparation, whereas the larger potential gap between Ni 2+ /Ni and Sn 2+ /Sn supports selective Ni removal. These internally consistent transport and thermodynamic data establish a validated basis for process modeling and optimization of Sn electrorefining and impurity management in LiCl–KCl–CaCl₂.

Berzins-Delahay↗

Counter Data Paucity through Adversarial Invariance Encoding: A Case Study on Modeling Battery Thermal Runaway

Lithium-ion batteries, widely used for their durability and high energy storage, face the risk of internal short circuits leading to catastrophic thermal runaway events. These events, triggered by external stimuli like mechanical loads, pose safety concerns in applications such as electric vehicles. Detecting and understanding thermal runaway events is crucial, but physics-driven models struggle to explain the non-linear evolution of battery temperature during these events, considering factors like material composition and state-of-charge. Due to the rarity of these events and the cost of data collection, we propose a deep learning (DL) model to predict battery temperature responses during thermal runaway. The challenge lies in the scarcity of data, making traditional DL models prone to overfitting and learning low-quality representations of the complex process.Our approach introduces a novel few-shot architecture that incorporates an adversarially governed invariant encoding process. This architecture aims to distill "invariant" relationships by addressing distributional shifts in data across various battery properties, facilitating the detection of thermal runaway events. Specifically, our results demonstrate that deep learning models conditioned on these "invariant" representations outperform state-of-the-art baselines, achieving a remarkable 96.8% performance improvement in terms of the popular metric MAPE. This framework presents a promising direction for enhancing battery safety modeling, particularly in the context of rare and complex events like thermal runaway. Our code and code and dataset used for the paper are public1.

Tabassum, Anika [ORNL] (ORCID:0000000254600955)↗

A Two-Stage Approach for PV Inverter Engagement in Power Factor Correction and Voltage Regulation

The rapid integration of distributed energy resources, like solar photovoltaics (PVs), can lead to overvolt-age challenges due to reverse power flow and a noticeable decrease in power factor at the substation interface. While existing literature extensively explores utilizing smart inverter capabilities for reactive power flexibility using a volt-var curve (VVC), obtaining time-varying operating points of such curves in real-time is challenging due to computational demands and communication requirements. Similarly, employing optimization-based approaches for reactive power control and active voltage regulation in large-scale distribution feeders is difficult due to the complexity of the problem and the challenges in effectively engaging customer-owned resources. This paper proposes a two-stage strategy to harness smart inverters for reactive power support. The first stage formulates short-term planning by optimally designing VVCs (on a daily or hourly basis) for large-scale solar PVs based on projected system needs and communicating optimal curves to smart inverters in advance. Subsequently, the second stage employs a transactive-based method to involve customer-owned PVs for reactive power support, effectively enhancing overall system performance and addressing real-time demands. In conclusion, the efficacy of this approach will be demonstrated using real-world distribution circuits provided by Vermont Electric Power Company (VELCO) and Vermont Electric Cooperative (VEC).

Poudel, Shiva [Pacific Northwest National Laborato↗

Geometric Structure and Transversal Logic of Quantum Reed–Muller Codes

Designing efficient and noise-tolerant quantum computation protocols generally begins with an understanding of quantum error-correcting codes and their native logical operations. The simplest class of native operations are transversal gates, which are naturally fault-tolerant. Here, in this paper, we aim to characterize the transversal gates of quantum Reed–Muller (RM) codes by exploiting the well-studied properties of their classical counterparts. We start our work by establishing a new geometric characterization of quantum RM codes via the Boolean hypercube and its associated subcube complex. More specifically, a set of stabilizer generators for a quantum RM code can be described via transversal X and Z operators acting on subcubes of particular dimensions. This characterization leads us to define subcube operators composed of single-qubit π/2 k Z -rotations that act on subcubes of given dimensions. We first characterize the action of subcube operators on the code space: depending on the dimension of the subcube, these operators either (1) act as a logical identity on the code space, (2) implement non-trivial logic, or (3) rotate a state away from the code space. Second, and more remarkably, we uncover that the logic implemented by these operators corresponds to circuits of multi-controlled-Z gates that have an explicit and simple combinatorial description. Overall, this suite of results yields a comprehensive understanding of a class of natural transversal operators for quantum RM codes.

Reed–Muller (RM) codes↗

RD53 pixel readout integrated circuits for ATLAS and CMS HL-LHC upgrades

The RD53 collaboration has since 2013 developed new hybrid pixel detector chips with 50 × 50 μm2 pixels for the HL-LHC upgrades of the ATLAS and CMS experiments at CERN. A common architecture, design and verification framework has been developed to enable final pixel chips of different sizes to be designed, verified and tested to handle extreme hit rates of 3 GHz/cm2 (up to 12 GHz per chip) together with an increased trigger rate of 1 MHz and efficient readout of up to 5.12 Gbits/s per pixel chip. Tolerance to an extremely hostile radiation environment with 1 Grad over 10 years and induced SEU (Single Event Upset) rates of up to 100 upsets per second per chip have been major challenges to make reliable pixel chips. Three generations of pixel chips, and many specific mixed signal building blocks and radiation test chips, have been submitted and extensively tested to get to final production chips. The large, complex and high rate pixel chips have been developed with a strong emphasis on low power consumption together with a concurrent development and qualification of novel serial powering at chip, module and system level, to minimize detector material budget.

Alimonti, G↗

The deep-DRT: A deep neural network approach to deconvolve the distribution of relaxation times from multidimensional electrochemical impedance spectroscopy data

Electrochemical impedance spectroscopy (EIS) is an experimental technique ubiquitously used to study electrochemical systems. However, conventional EIS data interpretation through physical and equivalent circuit models is challenging because physical models are problem-specific, and equivalent circuits are often just lumped-element analogs lacking physical meaning. The distribution of relaxation times (DRT) has emerged as a complementary approach to resolve these issues. One drawback of conventional DRT deconvolution is that the EIS data is understood to be (only) a function of frequency (i.e. 1D data) and deconvolved accordingly. This work proposes a novel deconvolution method based on deep neural networks (DNNs), allowing the analysis of multidimensional EIS spectra to bridge data dependency on both frequencies and experimental conditions. Two particularly appealing traits of the deep-DRT method developed in this article are that neither regularization nor specific spacing on the state variables defining the experiment are required. Finally, leveraging DNN to examine complex EIS spectra and their dependence on experimental conditions, this work opens a new research direction in the area of EIS analysis and DRT deconvolution.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

High-bandwidth density silicon photonic resonators for energy-efficient optical interconnects

The growth of artificial intelligence applications demands ever larger and more complex deep learning models, dominating today's—and tomorrow's—data center and high-performance computing systems. While traditional electronics are failing to keep pace with application demands, silicon photonic (SiPh) interconnects have emerged as a necessary technology to support these systems. SiPh-driven wavelength-division multiplexing (WDM) offers a particularly promising path toward supporting incredibly high-aggregate link bandwidth in a compact and efficient form factor. One of the basic building blocks of these integrated WDM interconnects is the SiPh resonator. Their inherent wavelength selectivity and compact footprint allow for efficient data transmission multiplexed across dozens of carrier wavelengths. Used as add-drop (AD) filters, SiPh resonators are critical to constructing integrated tunable wavelength-selective optical circuit switches as well as for demultiplexing the different carrier wavelengths toward independent wavelength-insensitive photodiodes in a dense wavelength-division multiplexing receiver. Resonators in the all-pass (AP) configuration are widespread as well, allowing for wavelength-selective modulation to drive aggregate link bandwidths far beyond the individual channel data rate. Unlike SiPh Mach–Zehnder modulators (MZM), resonant modulators can be driven using low, complementary metal-oxide-semiconductor drive voltages, allowing for tight co-integration between photonic integrated circuits, fabricated with larger process node technologies, and electronic integrated circuits, designed to exploit the advantages of the latest node. To push toward practical peta-scale interconnects, a comprehensive review of SiPh resonators is required, addressing bottlenecks and design constraints at both the architecture and device levels. We first describe the predominant integrated link architectures and identify their limits. We then discuss the device-level design considerations that can be made for both AD and AP configuration resonators to overcome the system level limits with novel resonator device designs. Analytical models and numerical simulation of resonators are validated by experimental measurement of devices fabricated in a commercial 300-mm foundry, showing a clear path toward volume manufacturing. The demonstrated resonant modulators and filters support the feasibility of increasing the aggregate bandwidth of resonator-driven SiPh interconnects into the peta-scale regime.

42 ENGINEERING↗