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 685 records · Page 38

thevenin: An Equivalent Circuit Modeling Package [SWR-24-132]

This package is a wrapper for the well-known Thevenin equivalent circuit model for simulating battery behavior with a focus on ease of use. The model is comprised of a single series resistor followed by any number of parallel RC pairs. The package includes an intuitive "experiment" interface, which simplifies the programming of constant or dynamic current, voltage, and/or power-driven loads, making it ideal for a wide range of applications, from basic tests to complex simulations. It also supports state-of-charge (SOC) and temperature-dependent properties, allowing the model to be more easily calibrated against real cells.

Randall, Corey↗

The connectome of the adult Drosophila mushroom body provides insights into function

Making inferences about the computations performed by neuronal circuits from synapse-level connectivity maps is an emerging opportunity in neuroscience. The mushroom body (MB) is well positioned for developing and testing such an approach due to its conserved neuronal architecture, recently completed dense connectome, and extensive prior experimental studies of its roles in learning, memory, and activity regulation. Here, we identify new components of the MB circuit in Drosophila , including extensive visual input and MB output neurons (MBONs) with direct connections to descending neurons. We find unexpected structure in sensory inputs, in the transfer of information about different sensory modalities to MBONs, and in the modulation of that transfer by dopaminergic neurons (DANs). We provide insights into the circuitry used to integrate MB outputs, connectivity between the MB and the central complex and inputs to DANs, including feedback from MBONs. Our results provide a foundation for further theoretical and experimental work.

Li, Feng↗

The Assurance Challenges of Advanced Packaging Technologies for Electronics

Advances in microelectronic parts performance are driving towards finer feature sizes, three-dimensional geometries and ever-increasing number of transistor equivalents that are resulting in increased die sizes and interconnection (I/O) counts. The resultant packaging necessary to provide assemble-ability, environmental protection, testability and interconnection to the circuit board for the active die creates major challenges, particularly for space applications, Traditionally, NASA has used hermetically packaged microcircuits whenever available but the new demands make hermetic packaging less and less practical at the same time as more and more expensive, Some part types of great interest to NASA designers are currently only available in non-hermetic packaging. It is a far more complex quality and reliability assurance challenge to gain confidence in the long-term survivability and effectiveness of nonhermetic packages than for hermetic ones. Although they may provide more rugged environmental protection than the familiar Plastic Encapsulated Microcircuits (PEMs), the non-hermetic Ceramic Column Grid Array (CCGA) packages that are the focus of this presentation present a unique combination of challenges to assessing their suitability for spaceflight use. The presentation will discuss the bases for these challenges, some examples of the techniques proposed to mitigate them and a proposed approach to a US MIL specification Class for non-hermetic microcircuits suitable for space application, Class Y, to be incorporated into M. IL-PRF-38535. It has recently emerged that some major packaging suppliers are offering hermetic area array packages that may offer alternatives to the nonhermetic CCGA styles but have also got their own inspectability and testability issues which will be briefly discussed in the presentation,

Sampson, Michael J.↗

Strategies for simulating the time evolution of Hamiltonian lattice field theories

Simulating the time evolution of quantum field theories given some Hamiltonian H requires developing algorithms for implementing the unitary operator e -iHt . A variety of techniques exist that accomplish this task, with the most common technique used so far being Trotterization, which is a special case of the application of a product formula. However, other techniques exist that promise better asymptotic scaling in certain parameters of the theory being simulated, the most efficient of which are based on the concept of block encoding. In this work we study the performance of such algorithms in simulating lattice field theories. We derive and compare the asymptotic gate complexities of several commonly used simulation techniques in application to Hamiltonian lattice field theories. Using the scalar $\hat{φ}$ 4 theory as a test, we also perform numerical studies and compare the gate costs required by product formulas and signal-processing-based techniques to simulate time evolution. For the latter, we use the linear combination of unitaries (LCU) construction augmented with the quantum Fourier transform circuit to switch between the field and momentum eigenbases, which leads to immediate order-of-magnitude improvement in the cost of preparing the block encoding. Further, this paper also includes a pedagogical review of the techniques used, in particular product formulas, LCU, qubitization, quantum signal processing, as well as the technique for simulating geometrically-local Hamiltonians developed by Haah, Hastings, Kothari, and Low.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

A design concept for an MMIC microstrip phased array

A conceptual design for a microstrip phased array with monolithic microwave integrated circuit (MMIC) amplitude and phase controls is described. The MMIC devices used are 20 GHz variable power amplifiers and variable phase shifters recently developed by NASA contractors for applications in future Ka band advanced satellite communication antenna systems. The proposed design concept is for a general NxN element array of rectangular lattice geometry. Subarray excitation is incorporated in the MMIC phased array design to reduce the complexity of the beam forming network and the number of MMIC components required. The proposed design concept takes into consideration the RF characteristics and actual phyical dimensions of the MMIC devices. Also, solutions to spatial constraints and interconnections associated with currently available packaging designs are discussed. Finally, the design of the microstrip radiating elements and their radiation characteristics are examined.

Lee, R. Q.↗

A network flow model for load balancing in circuit-switched multicomputers

In multicomputers that utilize circuit switching or wormhole routing, communication overhead depends largely on link contention - the variation due to distance between nodes is negligible. This has a major impact on the load balancing problem. In this case, there are some nodes with excess load (sources) and others with deficit load (sinks) and it is required to find a matching of sources to sinks that avoids contention. The problem is made complex by the hardwired routing on currently available machines: the user can control only which nodes communicate but not how the messages are routed. Network flow models of message flow in the mesh and the hypercube were developed to solve this problem. The crucial property of these models is the correspondence between minimum cost flows and correctly routed messages. To solve a given load balancing problem, a minimum cost flow algorithm is applied to the network. This permits one to determine efficiently a maximum contention free matching of sources to sinks which, in turn, tells one how much of the given imbalance can be eliminated without contention.

Bokhari, Shahid H.↗

A network flow model for load balancing in circuit-switched multicomputers

In multicomputers that utilize circuit switching or wormhole routing, communication overhead depends largely on link contention - the variation due to distance between nodes is negligible. This has a major impact on the load balancing problem. In this case, there are some nodes with excess load (sources) and others with deficit load (sinks) and it is required to find a matching of sources to sinks that avoids contention. The problem is made complex by the hardwired routing on currently available machines: the user can control only which nodes communicate but not how the messages are routed. Network flow models of message flow in the mesh and the hypercube were developed to solve this problem. The crucial property of these models is the correspondence between minimum cost flows and correctly routed messages. To solve a given load balancing problem, a minimum cost flow algorithm is applied to the network. This permits one to determine efficiently a maximum contention free matching of sources to sinks which, in turn, tells one how much of the given imbalance can be eliminated without contention.

Bokhari, Shahid H.↗

Simulating a pulsed-power-driven plasma with ideal MHD

We describe a simple practical numerical method for simulating plasma driven within a vacuum chamber by a pulsed power generator. Typically, in this type of simulation, the vacuum region adjacent to the plasma is approximated as a highly resistive, light fluid; this involves computationally expensive solvers describing the diffusion of the magnetic field through this fluid. Instead, we provide a recipe for coupling pulsed power generators to the magnetohydrodynamics (MHD) domain by approximating the perfectly insulating vacuum as a light, perfectly conducting, inviscid MHD fluid and discuss the applicability of this counter-intuitive technique. This much more affordable ideal MHD representation is particularly useful in situations where a plasma exhibits interesting three-dimensional phenomena, either due to the design of the experiment or due to developing instabilities. We verified that this coupling recipe works by modeling an exactly solvable flux compression generator as well as a self-similar Noh-like solution and demonstrated convergence to the theoretical solution. We also showed examples of simulating complex three-dimensional pulsed power devices with this technique. We release our code implementation to the public.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Information Processing Capacity of Spintronic Oscillator

Physical reservoir computing is a framework that enables energy‐efficient information processing by using physical systems. Nonlinear dynamics in physical systems provide a computational capability that is unique to reservoirs. It is, however, difficult to find an appropriate task for a reservoir because of the complexity of nonlinear information processing. The information processing capacity has recently been used to clarify systematically the tasks that are solved by reservoirs; it quantifies the memory capacity of reservoirs in accordance with the order of nonlinearity. Herein, an experimental evaluation of the information processing capacity of a spintronic oscillator consisting of nanostructured ferromagnets is reported. The spintronic reservoir state is electrically manipulated by adding a delayed‐feedback circuit. The total capacity reaches a maximum of 5.6 at the edge of the echo state property. A trade‐off between the linear and nonlinear components of the capacity is also found. The result can be used to better understand the nonlinear information processing in reservoirs and to find good matches between reservoirs and tasks. As an example, a function‐approximation task is performed and it is found that it can be efficiently solved when the reservoir state is appropriately tuned so that its information processing capacity matches that of the task.

97 MATHEMATICS AND COMPUTING↗

An investigation to determine the producibility of a 3-D braider and bias direction weaving loom

The development of prototype machines for the production of generalized braid patterns is described. Mechanical operating principles and control strategies are presented for two prototype machines which were fabricated and evaluated. Both machines represent advances over current techniques for forming composite material preforms by enabling near ideal control of fiber orientation. Furthermore, they overcome both the lack of general control of produced fiber architectures and the complexity of other weaving processes that were produced for the same purpose. One prototype, the modified Farley braider, consists of an array of turntables which can be rotated 90 degrees and returned; hence, they can form tracks in the x and y axis. Yarn ends are transported about the surface formed by the turntables using motorized tractors. These tractors are controlled using an optical link with a control circuit and host computer. The tractors are powered through electrical contact with the turntables. The necessary relative motions are produced by a series of linear tractor moves combined with a sequence of turntable rotations. The movement of the tractors about the surface causes the yarns to produce the desired braiding pattern. The second device, the shuttle plate braider, consists of a braiding surface formed by an array of square elements, each separated from its neighbor by a gap. Beneath this surface lies a shuttle plate, which reciprocates first in one axis and then in the other. As this movement takes place, yarn carrying shuttles engage and disengage the plate by means of solenoid activated pins. By selective engagement and disengagement, the shuttles can move the yarn ends in any desired pattern, forming the desired braid. Control power, and control signals, are transmitted from the electronic interface circuit and host computer, via the braiding surface through electrical contact with the shuttles. Motive power is proved to the shuttles by motion of the shuttle plate, which is passively driven using pneumatic rams. Each shuttle is a simple device that uses only a solenoid to engage the plate and is a simple device that uses only a solenoid to engage the plate and is independently controllable. When compared with each other, the modified Farley braider has the advantage of speed, and the shuttle plate braider the advantage of mechanical control and simplicity.

Huey, Cecil O., Jr.↗

Neural net diagnostics for VLSI test

This paper discusses the application of neural network pattern analysis algorithms to the IC fault diagnosis problem. A fault diagnostic is a decision rule combining what is known about an ideal circuit test response with information about how it is distorted by fabrication variations and measurement noise. The rule is used to detect fault existence in fabricated circuits using real test equipment. Traditional statistical techniques may be used to achieve this goal, but they can employ unrealistic a priori assumptions about measurement data. Our approach to this problem employs an adaptive pattern analysis technique based on feedforward neural networks. During training, a feedforward network automatically captures unknown sample distributions. This is important because distributions arising from the nonlinear effects of process variation can be more complex than is typically assumed. A feedforward network is also able to extract measurement features which contribute significantly to making a correct decision. Traditional feature extraction techniques employ matrix manipulations which can be particularly costly for large measurement vectors. In this paper we discuss a software system which we are developing that uses this approach. We also provide a simple example illustrating the use of the technique for fault detection in an operational amplifier.

Lin, T.↗

Formal semantics for a subset of VHDL and its use in analysis of the FTPP scoreboard circuit

In the first part of the report, we give a detailed description of an operational semantics for a large subset of VHDL, the VHSIC Hardware Description Language. The semantics is written in the functional language Caliban, similar to Haskell, used by the theorem prover Clio. We also describe a translator from VHDL into Caliban semantics and give some examples of its use. In the second part of the report, we describe our experience in using the VHDL semantics to try to verify a large VHDL design. We were not able to complete the verification due to certain complexities of VHDL which we discuss. We propose a VHDL verification method that addresses the problems we encountered but which builds on the operational semantics described in the first part of the report.

Bickford, Mark↗

High-performance silicon photonic single-sideband modulators for cold-atom interferometry

The laser system is the most complex component of a light-pulse atom interferometer (LPAI), controlling frequencies and intensities of multiple laser beams to configure quantum gravity and inertial sensors. Its main functions include cold-atom generation, state preparation, state-selective detection, and generating a coherent two-photon process for the light-pulse sequence. To achieve substantial miniaturization and ruggedization, we integrate key laser system functions onto a photonic integrated circuit. Our study focuses on a high-performance silicon photonic suppressed-carrier single-sideband (SC-SSB) modulator at 1560 nanometers, capable of dynamic frequency shifting within the LPAI. By independently controlling radio frequency (RF) channels, we achieve 30-decibel carrier suppression and unprecedented 47.8-decibel sideband suppression at peak conversion efficiency of –6.846 decibels (20.7%). We investigate imbalances in both amplitudes and phases between the RF signals. Using this modulator, we demonstrate cold-atom generation, state-selective detection, and atom interferometer fringes to estimate gravitational acceleration, g ≈ 9.77 ± 0.01 meters per second squared, in a rubidium ( 87 Rb) atom system.

47 OTHER INSTRUMENTATION↗

The SONATA data format for efficient description of large-scale network models

Increasing availability of comprehensive experimental datasets and of high-performance computing resources are driving rapid growth in scale, complexity, and biological realism of computational models in neuroscience. To support construction and simulation, as well as sharing of such large-scale models, a broadly applicable, flexible, and high-performance data format is necessary. To address this need, we have developed the Scalable Open Network Architecture TemplAte (SONATA) data format. It is designed for memory and computational efficiency and works across multiple platforms. The format represents neuronal circuits and simulation inputs and outputs via standardized files and provides much flexibility for adding new conventions or extensions. SONATA is used in multiple modeling and visualization tools, and we also provide reference Application Programming Interfaces and model examples to catalyze further adoption. SONATA format is free and open for the community to use and build upon with the goal of enabling efficient model building, sharing, and reproducibility.

59 BASIC BIOLOGICAL SCIENCES↗

Open Radiation Monitoring: Histogram Builder Module Design

The Open Radiation Monitoring Project seeks to develop and demonstrate a modular radiation detection architecture designed specifically for use in arms control treaty verification (ACTV) applications that will facilitate rapid development of trusted systems to meet the needs of potential future treaties. A modular architecture can be used to reduce more complex systems to a series of single purpose building blocks, thereby facilitating equipment inspection and in turn building trust in the equipment by all treaty parties. Furthermore, a modular architecture can be used to control data flow within the measurement system, reducing the risk of "hidden switches" and constraining the amount of sensitive information that could potentially be inadvertently leaked. This report details the first revision of a prototype circuit that will convert analog pulses directly into a histogrammed data set for further processing. The circuit was designed with both spectroscopy and multiplicity analysis in mind but can, in principle, be used to reduce any raw data stream into a histogram. The number of output channels is limited, and the histogram bin ranges are user configurable to allow for non-uniform and discontinuous bins, which makes it possible to restrict the information being passed down stream if desired. Pulse processing relies entirely on analog circuitry and non- programmable logic, which enables operation without the need for a central processor or other programmable control unit. The circuit remains untested under the Open Radiation Monitoring project due to the closure of the sponsoring program. However, further development and testing is scheduled to take place in support of a purpose-built trusted verification system development effort known as COGNIZANT, which demonstrates the potential benefit of developing a suite of modular trusted system components.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

High performance computing applications in neurobiological research

The human nervous system is a massively parallel processor of information. The vast numbers of neurons, synapses and circuits is daunting to those seeking to understand the neural basis of consciousness and intellect. Pervading obstacles are lack of knowledge of the detailed, three-dimensional (3-D) organization of even a simple neural system and the paucity of large scale, biologically relevant computer simulations. We use high performance graphics workstations and supercomputers to study the 3-D organization of gravity sensors as a prototype architecture foreshadowing more complex systems. Scaled-down simulations run on a Silicon Graphics workstation and scale-up, three-dimensional versions run on the Cray Y-MP and CM5 supercomputers.

Ross, Muriel D.↗

Angular Distribution of Elastically Scattered Electrons Determined and Its Effect on Collector Performance Computed

It has been demonstrated that the suppression of secondary electron emission significantly improves the performance of electron beam collectors (ref. 1). However, a complete analysis of the effects of secondary electron emission with respect to collector performance has not been possible because of the lack of quantitative data on angular distributions of secondary electrons. Secondary electrons are emitted with energies ranging from near zero to the energy of the incident primary. For our purposes, we define elastically scattered electrons as secondary electrons within 20 percent of the incident energy. Elastically scattered electrons are of great concern because their energy allows them to follow trajectories that can carry them almost anywhere within the vacuum envelope. If these secondaries leave the collector and reenter the slow wave circuit, they can produce undesired signal distortion and oscillation.This apparatus, which was built by Krainsky (ref. 2), was used at the NASA Lewis Research Center to obtain detailed measurements of the angular distributions of elastically scattered secondaries. Data were obtained for three surfaces of significant interest to collector applications: highly polished copper, copper roughened by ion sputtering, and isotropic graphite. Lewis researchers discovered that elastically scattered electrons have a complex angular distribution that is strongly dependent on the atomic number and surface morphology of the target material, as well as the energy and angle of incidence of the primary beam. At low energies, secondary emission from polished copper in the chosen energy range is primarily directed back to the source of primary electrons (backscattering). Forward scattering increases with primary energy until, at high energies, forward scattering dominates the angular distribution. Although back-scattered secondaries dominate the distributions of the textured copper surface, the yield is substantially lower. From the standpoint of secondary emission, isotropic graphite is the most attractive material because it exhibits low yield and little back scattering.

Krainsky, Isay L.↗

Exploration Architecture with Quantum Inertial Gravimetry and In-Situ ChipSat Sensors

The Dual Exploration Architecture is a mission concept that combines remote sensing and in-situ observations into a single mission to answer planetary science questions that can only be answered with both types of data. Adoption of dual exploration architectures may short circuit the long, slow cycle of missions to inaccessible bodies by eliminating the need for separate precursor and follow-up missions. Additionally, the dual architecture possesses inherent flexibility that enables the design of adaptive, event-driven missions that are very different from traditional, largely pre-planned missions. Five key observations about the state and trends of planetary science exploration lead us to the dual architecture: increasing complexity of observations; scarcity of future mission opportunities; desire to capture transitory events; continued miniaturization of spacecraft components; and the Mars exploration cycle. Our goal in this study is to explore missions that can only happen using the dual architecture concept and find technology development needs that must be filled for those missions to compete. A survey of historical and current missions finds that opportunities for exploration are becoming less frequent, causing the flexibility and dual-nature elements of each mission to become more common. The dual exploration architecture takes these trends to their far conclusion, attempting to eliminate precursor and follow-up missions while still returning more scientific payoff. A study of the future of planetary science goals through the decadal survey reveals broad applicability of dual missions to solve mysteries that cannot be answered with a traditional mission architecture. These missions fall into three broad classes: choosing a local target from a global survey; dynamic/reactive science; and global in-situ networks. Two example missions of each class are notionally described. A deeper look at these dual architecture classes reveals four technology development needs that must be addressed for wide adoption of dual missions: passive landers; guided atmospheric probes; robust sensing packages; and small, precise orbital instruments. This study pursues a specific focus on two examples of such enabling technologies: the ChipSat and cold atom gravimetry. The ChipSat is a fully functional spacecraft-on-a-chip system that has broad versatility in the dual architecture mission space. Initial studies show that ChipSats could survive as passive impactor landers on bodies up to the size of Europa. Furthermore, COTS (Commercial Off-The-Shelf) components could provide an in-situ sensor suite that readily answers a number of pressing planetary science questions. Cold atom gravimetry uses inertial sensors based on light-pulse atom interferometry in a small form factor to map the gravity field of a body to precision equaling what would normally require two full spacecraft to achieve. The cold atom gravimeter provides an example of how advanced remote sensing capability can enable dual missions by providing greater returns in a significantly smaller package. Using the above two technologies, we study an example dual-architecture mission to both characterize and sample the subsurface oceans at Europa. The greatest scientific return in terms of detecting extraterrestrial life is in those regions where Europa’s ice crust is thin. The identification of regions with thin ice should therefore precede the selection of surface targets and dispatch of probes to those targets. This two-step process, if accomplished by separate flagship-scale missions, might take decades. As a result, a combined mission to both identify thin areas of Europa’s ice and follow up with surface observations at those regions is a good candidate for the dual-exploration architecture. This example mission consists of an orbiter spacecraft carrying a cold atom gravimeter capable of sensing or inferring the ice thickness on regional to local scales, along with a number of ChipSat probes capable of landing on the moon. The small size and weight of the ChipSats allows large numbers of them to be carried, ensuring that enough can be dropped to ensure survival of a minimum number of probes and potentially allowing for the in-situ sampling of multiple locations on the moon. The example missions and Europa case study show that amazing scientific return can obtained from dual-exploration architecture missions with a single launch by breaking the long timescales of planetary exploration and providing the flexibility to capturing transitory events and collect data across the local, regional, and global scales.

Exploration↗