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 649 records · Page 36
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

Signal Differentiation of Moving Magnetic Nanoparticles for Enhanced Biodetection and Diagnostics

Magnetic nanoparticles are extensively utilized as markers/signal labelling in various biomedical applications. Detecting and distinguishing magnetic signals from similarly sized moving magnetic nanoparticles in microfluidic systems is crucial yet challenging for biosensing. In this study, we have developed an original method to detect and differentiate magnetic signals from moving superparamagnetic (SPM) and ferrimagnetic (FM) nanoparticles of comparable sizes. Our approach utilizes a highly sensitive magnetic-coil-based sensor that harnesses the combined effects of giant magnetoimpedance (GMI) and an LC-resonance circuit, offering performance superior to that of conventional GMI sensors. Iron oxide nanoparticles, which have similar particle sizes but differing coercivities (zero for SPM and non-zero for FM) or similar zero coercivities but differing particle sizes, flow through the magnetic coil at controlled velocities. Their distinct effects are analyzed through changes in the complex impedance of the sensing system. Our findings provide a unique pathway for utilizing SPM and FM nanoparticles as innovative magnetic markers to identify specific biological entities, thereby expanding their potential applications.

Hwang, Kee Young↗
NASA NTRS2002

Predicting System Accidents with Model Analysis During Hybrid Simulation

Standard discrete event simulation is commonly used to identify system bottlenecks and starving and blocking conditions in resources and services. The CONFIG hybrid discrete/continuous simulation tool can simulate such conditions in combination with inputs external to the simulation. This provides a means for evaluating the vulnerability to system accidents of a system's design, operating procedures, and control software. System accidents are brought about by complex unexpected interactions among multiple system failures , faulty or misleading sensor data, and inappropriate responses of human operators or software. The flows of resource and product materials play a central role in the hazardous situations that may arise in fluid transport and processing systems. We describe the capabilities of CONFIG for simulation-time linear circuit analysis of fluid flows in the context of model-based hazard analysis. We focus on how CONFIG simulates the static stresses in systems of flow. Unlike other flow-related properties, static stresses (or static potentials) cannot be represented by a set of state equations. The distribution of static stresses is dependent on the specific history of operations performed on a system. We discuss the use of this type of information in hazard analysis of system designs.

Malin, Jane T.↗
NASA NTRS1994

Feasibility study, software design, layout and simulation of a two-dimensional Fast Fourier Transform machine for use in optical array interferometry

The goal of this project was the feasibility study of a particular architecture of a digital signal processing machine operating in real time which could do in a pipeline fashion the computation of the fast Fourier transform (FFT) of a time-domain sampled complex digital data stream. The particular architecture makes use of simple identical processors (called inner product processors) in a linear organization called a systolic array. Through computer simulation the new architecture to compute the FFT with systolic arrays was proved to be viable, and computed the FFT correctly and with the predicted particulars of operation. Integrated circuits to compute the operations expected of the vital node of the systolic architecture were proven feasible, and even with a 2 micron VLSI technology can execute the required operations in the required time. Actual construction of the integrated circuits was successful in one variant (fixed point) and unsuccessful in the other (floating point).

Boriakoff, Valentin↗
DOE OSTI2021

Lipkin model on a quantum computer

Atomic nuclei are important laboratories for exploring and testing new insights into the universe, such as experiments to directly detect dark matter or explore properties of neutrinos. The targets of interest are often heavy, complex nuclei that challenge our ability to reliably model them (as well as quantify the uncertainty of those models) with classical computers. Hence there is great interest in applying quantum computation to nuclear structure for these applications. As an early step in this direction, especially with regards to the uncertainties in the relevant quantum calculations, we develop circuits to implement variational quantum eigensolver (VQE) algorithms for the Lipkin-Meshkov-Glick model, which is often used in the nuclear physics community as a testbed for many-body methods. Here, we present quantum circuits for VQE for two and three particles and discuss the construction of circuits for more particles. Implementing the VQE for a two-particle system on the IBM Quantum Experience, we identify initialization and two-qubit gates as the largest sources of error. We find that error mitigation procedures reduce the errors in the results significantly, but additional quantum hardware improvements are needed for quantum calculations to be sufficiently accurate to be competitive with the best current classical methods.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1981

Developing new architectures for the Block 2 VLBI correlator system

The overall LSI (large-scale integrated circuits) architecture design and current status of the VBLI (very long baseline interferometry) block 2 correlator is addressed. The VBLI correlator algorithms demand a computing system that provides a throughput of hundreds of millions of instructions per second to perform cross-correlation detection for six baselines. The LSI technology lights the way for the computation of complex parallel process and is raising the upper bound of computerization.

Peterson, J. C.↗
NASA NTRS1983

Hierarchical Design and Verification for VLSI

The specification and verification work is described in detail, and some of the problems and issues to be resolved in their application to Very Large Scale Integration VLSI systems are examined. The hierarchical design methodologies enable a system architect or design team to decompose a complex design into a formal hierarchy of levels of abstraction. The first step inprogram verification is tree formation. The next step after tree formation is the generation from the trees of the verification conditions themselves. The approach taken here is similar in spirit to the corresponding step in program verification but requires modeling of the semantics of circuit elements rather than program statements. The last step is that of proving the verification conditions using a mechanical theorem-prover.

Shostak, R. E.↗
NASA NTRS2008

High-Power Piezoelectric Acoustic-Electric Power Feedthru for Metal Walls

Piezoelectric acoustic-electric power feed-through devices transfer electric power wirelessly through a solid wall by using acoustic waves. This approach allows for the removal of holes through structures. The technology is applicable to power supply for electric equipment inside sealed containers, vacuum or pressure vessels, etc where the holes on the wall are prohibitive or result in significant performance degrade or complex designs. In the author's previous work, 100-W electric power was transferred through a metal wall by a small, simple-structure piezoelectric device. To meet requirements of higher power applications, the feasibility to transfer kilowatts level power was investigated. Pre-stressed longitudinal piezoelectric feedthru devices were analyzed by finite element model. An equivalent circuit model was developed to predict the power transfer characteristics to different electric loads. Based on the analysis results, a prototype device was designed, fabricated and a demonstration of the transmission of electric power up to 1-kW was successfully conducted. The methods to minimize the plate wave excitation on the wall were also analyzed. Both model analysis and experimental results are presented in detail in this presentation.

acoustic wave↗
NASA NTRS2018

Guideline for Single-Event Effect (SEE) Testing of System on a Chip (SOC) Devices

The use of complex single and multicore processors with significant cache memory, on-chip peripherals, memory controllers, and high speed input/output (IO) that integrate many of the parts of a traditional computer system is becoming more common in space applications. Such devices are often referred to as system on a chip devices (SOCs), even though the term is used somewhat inaccurately due to the lack of analog and mixed signal subcircuits. These devices are complex combinations of single- or multi-core processors with memory controllers, high-speed input/output (IO), and other peripheral structures that formerly would have been handled by off-chip resources. In the past the processors were tested for single event effects (SEE) separately, and the peripherals were often put into custom application-specific integrated circuits (ASICs) along with other resources required by the user. Performance and cost pressures have pushed commercial devices to incorporate many of the functional blocks into a single chip, an SOC. The NASA Electronic Parts and Packaging Program (NEPP) has been examining ways to perform SEE radiation hardness assurance (RHA) testing of these processor-centric SOCs to achieve reasonable understanding of their performance in space missions.

Guertin, Steven M.↗
DOE OSTI2024

Open Circuit Potential Method for Thermodynamic Hydricity Measurements of Metal Hydrides

Metal hydrides are prevalent in many catalytic reactions, and thermodynamic hydricity has emerged as a useful parameter for understanding and predicting key hydride transfer steps with these intermediates. An open circuit potentiometry method for determining the hydricity of metal hydrides with a single thermodynamic parameter is reported. The open circuit potential (OCP) of a solution containing a metal hydride and its conjugate hydride acceptor, along with a conjugate acid/base pair, is coupled with known values for the acid pK a and H + /H – reduction potential to determine the hydricity. Here, the reliability of the method was established by using potentiometry to obtain the hydricity of three hydride complexes with varying supporting ligands and transition metal elements in acetonitrile solvent, all within error of previously reported values. Advantages and drawbacks of this method are discussed, and a recommended workflow for practitioners is introduced.

Anions↗
DOE OSTI2026

An end-to-end workflow for executing a classically bootstrapped variational quantum algorithm on an academic quantum computer

Academic quantum computing platforms often face unique challenges in executing quantum workloads due to fragmented software environments and limited engineering support. Unlike commercial ecosystems, academic devices typically evolve without full-stack integration in mind, making it difficult to run complex applications—such as variational quantum algorithms (VQA)—reliably and efficiently. Issues such as incompatible software layers and lack of automated job management significantly increase the overhead of theory-experiment collaboration. To address these challenges, we develop a modular, end-to-end workflow that decouples application-layer code from low-level hardware control, automates circuit submission and result collection, and supports fine-grained circuit-level job scheduling and recovery. The architecture employs a dual-end application programming interface (API) design, enabling robust operation across unstable or resource-constrained hardware backends. For practical use, the framework is lightweight and user-friendly, allowing rapid prototyping of full-stack workflows using basic Python tools. We validate this workflow on a high-fidelity trapped-ion quantum computer by demonstrating a variational quantum eigensolver (VQE) experiment with a classically bootstrapped ansatz initialization technique. The system successfully executed over 60,000 circuits across multiple molecular test cases with minimal human intervention, highlighting the framework’s effectiveness in enabling reproducible, resilient quantum experimentation in academic settings.

Clifford↗
DOE OSTI2026

Constant Overhead Entanglement Distillation via Scrambling

High-fidelity quantum entanglement enables key quantum networking capabilities such as secure communication and distributed quantum computing, but long-distance entanglement distribution is limited by noise and loss. Entanglement distillation protocols address this problem by extracting high-fidelity Bell pairs from multiple noisy ones. The primary objective is minimizing the resource overhead: the number of noisy input pairs needed to distill each high-fidelity output pair. While protocols achieving optimal overhead are known in theory, they often require complex decoding operations that make practical implementation challenging. We circumvent this challenge by introducing protocols that use quantum scrambling—the spreading of quantum information under chaotic dynamics—through random Clifford operations. Based on this scrambling mechanism, our protocol maintains asymptotically constant overhead, independent of the desired output error rate $\bar{𝜖}$ , and can be implemented with shallow quantum circuits of depth 𝑂⁡(poly log log⁡ $\bar{𝜖}$ −1 ) and memory 𝑂⁡(poly log⁡ $\bar{𝜖}$ −1 ). Our protocol remains effective even with noisy quantum gates. By incorporating error correction, our protocol achieves state-of-the-art performance: starting with pairs of 10% initial infidelity, we require only seven noisy inputs per output pair to distill a single Bell pair with infidelity $\bar{𝜖}$ =10 −12 , substantially outperforming existing schemes. We demonstrate the utility of our protocols for quantum repeater networks.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2024

Simplified projection on total spin zero for state preparation on quantum computers

Here, we introduce a simple algorithm for projecting on J = 0 states of a many-body system by performing a series of rotations to remove states with angular momentum projections greater than zero. Existing methods rely on unitary evolution with the two-body operator J 2 , which when expressed in the computational basis contains many complicated Pauli strings requiring Trotterization and leading to very deep quantum circuits. Our approach performs the necessary projections using the one-body operators J x and J z . By leveraging the method of Cartan decomposition, the unitary transformations that perform the projection can be parametrized as a product of a small number of two-qubit rotations, with angles determined by an efficient classical optimization. Given the reduced complexity in terms of gates, this approach can be used to prepare approximate ground states of even-even nuclei by projecting onto the J = 0 component of deformed Hartree-Fock states. We estimate the resource requirements in terms of the universal gate set {H,S, CNOT ,T} and briefly discuss a variant of the algorithm that projects onto J = 1/2 states of a system with an odd number of fermions.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
NASA NTRS1981

Simplified power supplies for ion thrusters

A program addressing less complex and potentially lower cost ion thruster systems has been started at the NASA Lewis Research Center. This paper discusses the initial development and demonstration of power supplies with an order of magnitude reduction in parts count, leading to increased reliability at lower weight, while still maintaining thrust system performance. Two new self-regulating keeper power supply circuits were developed and tested. One supply comprises 14 parts and uses an input voltage range of 18 to 36 volts, the other operates from 200 to 400 volts and requires 22 components. A new technique for controlling heater power is also demonstrated.

Gruber, R. P.↗
NASA NTRS1981

Minus 55 to plus 200 deg C 12 bit analog-to-digital converter

A 12 bit successive approximation analog to digital converter that offers moderately high speed precision data conversion at a reasonable level of cost and complexity is studied. The ADCH10HT extends this capability over a temperature range of -55 to +200 C. No missing-code performance is maintained over the entire temperature range. The converter is completely self-contained with internal clock and +10 volt reference. The CMOS devices offer low power dissipation, so that the internal temperature of the hybrid circuit does not rise as much from self heating. In CMOS circuits, pn junction leakage currents are returned to the supplies so that the logic keeps working at temperatures up to 250 C.

Smith, L. R.↗
NASA NTRS2014

Development and Validation of Linear Alternator Models for the Advanced Stirling Convertor

Two models of the linear alternator of the Advanced Stirling Convertor (ASC) have been developed using the Sage 1-D modeling software package. The first model relates the piston motion to electric current by means of a motor constant. The second uses electromagnetic model components to model the magnetic circuit of the alternator. The models are tuned and validated using test data and compared against each other. Results show both models can be tuned to achieve results within 7% of ASC test data under normal operating conditions. Using Sage enables the creation of a complete ASC model to be developed and simulations completed quickly compared to more complex multi-dimensional models. These models allow for better insight into overall Stirling convertor performance, aid with Stirling power system modeling, and in the future support NASA mission planning for Stirling-based power systems.

Linear Alternators↗
DOE OSTI2020

Binderjet Additive Manufacturing for Complex Heat Exchanger Geometries

Concentrated Solar Power (CSP) systems play a role in the worlds development of renewable energy. Mirrors are used to concentrate sunlight that is converted into electricity or other forms of useful energy. CSP impact depends significantly on its overall economics. The U.S. Department of Energy’s (DOE’s) Solar Energy Technology Office (SETO) cost goals for 2030include $0.05/kWh levelized cost of electricity (LCOE) for a baseload plant [1]. The power cycle cost goal is $900/kWe [1]. The envisioned recompression supercritical carbondioxide (sCO2) power cycle includes four heat exchangers, which together are at least ¾ of the total power cycle cost. Meeting the cost target requires reducing the heat exchanger cost. The 260 bar and 588 °C heat exchanger requirements are challenging. Shell and tube heat exchangers can meet the requirements, but the size and cost are prohibitive. State-of-the-art diffusion bonded printed circuit heat exchanger designs are 3 m3 or larger and expensive to manufacture. Additive manufacturing enables novel heat exchanger geometries that can reduce heat exchanger size and mass [2]. Binderjet technology is an additive manufacturing modality. It selectively deposits binder material onto the powder bed to form a solid part one layer at a time. Once applied, the binder is cured, the remaining powder removed, and the part heat treated in steps to remove the binder, sinter the metal powder, and densify the part. The Binderjet printing process is more than 10x faster than the best-known metal additive modality, direct metal laser melting (DMLM), thus enabling 10x the part through-put rate [3]. The high throughput rate results in a low-cost manufacturing process capable of creating complex heat exchanger geometries. This paper introduces a complex heat exchanger geometry and methods of Binderjet processing to fabricate the geometry.

Barua, Ananda↗
DOE OSTI2024

Solvent-mediated carboxylic acid diammonium spacer for synthesizing FA-based 2D Dion–Jacobson perovskites toward efficient solar cells

Two-dimensional (2D) perovskites are promising for photovoltaic applications due to their outstanding optical properties and better environmental stability compared to three-dimensional (3D) perovskites. Unlike 2D Ruddlesden–Popper (RP) perovskites, which use monovalent ammonium spacers, Dion–Jacobson (DJ) perovskites employ divalent organic spacers that enhance structural stability by mitigating weak van der Waals interactions. However, the random phase distribution and disorder crystal orientation in 2D DJ perovskites create deep quantum wells, hindering charge transfer and reducing short-circuit current density (J SC ) and overall photovoltaic performance. This study introduces an organic diammonium, 1,4-butanediamine diacetate (BDAAc 2 ), to replace the traditional halide spacer 1,4-butanediamine iodide (BDADI 2 ). This substitution regulates perovskites crystallization dynamics, reducing compositional disorder and random phase distribution, thus improving the quality of the perovskite films. The robust coordination interactions between BDAAc 2 and the perovskite inorganic framework lead to an ordered [PbX 6 ] 4− arrangement, suppressing the formation of complex intermediate phases and significantly enhancing δ phase crystallinity in the intermediate film. This results in a high yield of high-quality α phase. Consequently, the resulting 2D DJ perovskite solar cells based on BDAFA 3 Pb 4 (I 0.9 Br 0.1 ) 13 achieve a higher power conversion efficiency of 16.41% and an elevated J SC of 20.46 mA cm −2 .

14 SOLAR ENERGY↗
DOE OSTI2023

Variational Quantum Linear Solver

Previously proposed quantum algorithms for solving linear systems of equations cannot be implemented in the near term due to the re quired circuit depth. Here, we propose a hybrid quantum-classical algorithm, called Variational Quantum Linear Solver (VQLS), for solving linear systems on near-term quantum computers. VQLS seeks to variationally prepare |x$\rangle$ such that A|x$\rangle$ ∝ |b$\rangle$. We derive an operationally meaningful termination condition for VQLS that allows one to guarantee that a desired solution precision ϵ is achieved. Specifically, we prove that C $⩾$ ϵ 2 /κ 2 , where C is the VQLS cost function and κ is the condition number of A. We present efficient quantum circuits to estimate C, while providing evidence for the classical hardness of its estimation. Using Rigetti’s quantum computer, we success fully implement VQLS up to a problem size of 1024 × 1024. Finally, we numerically solve nontrivial problems of size up to 2 50 × 2 50 . For the specific examples that we consider, we heuristically find that the time complexity of VQLS scales efficiently in ϵ, κ, and the system size N.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗