Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Quantum theory (4)
- Quantum computers -- Testing (3)
- Adaptive computing systems (1)
- Brain damage (1)
- Cellular automata (1)
-
- Complementary metal oxide semiconductors (1)
- Computer software -- Verification (1)
- Dynamics (1)
- Electronic data processing -- Distributed processing (1)
- Formal methods (Computer science) (1)
- IIntracranial pressure -- Measurement (1)
- Interorganizational relations (1)
- Intracranial pressure -- Computer simulation (1)
- Laser beams -- Testing (1)
- Lasers -- Calibration (1)
- Optical parametric oscillators (1)
- Parallel processing (Electronic computers) (1)
- Quantum computers (1)
- Quantum computing (1)
- Reversable computing (1)
- Reversible computing (1)
- Semiconductor industry (1)
- Signal processing (1)
- Simulation methods -- Sensitivity (1)
- Sonar (1)
- System analysis (1)
- Technological innovations -- Management (1)
- Technology -- Management (1)
- Tomography (1)
- Underwater acoustics -- Mathematics (1)
Articles 1 - 11 of 11
Full-Text Articles in Engineering
Atpg For Reversible Circuits Using Technology-Related Fault Models, Jeff S. Allen, Jacob D. Biamonte, Marek Perkowski
Atpg For Reversible Circuits Using Technology-Related Fault Models, Jeff S. Allen, Jacob D. Biamonte, Marek Perkowski
Electrical and Computer Engineering Faculty Publications and Presentations
We address the problem of test set generation and test set reduction, to first detect, and later localize faults occurring in reversible circuits. Reversible Computation has high promise of low power consumption. Some new fault models are first presented here. An explanation of the new fault models is made based on a physical realization representing the state of the art in the reversible CMOS circuit technology. Evidence is then presented showing that the fault models presented in the current literature are not adequate for existing realizations of reversible logic such as CMOS. We designed a ATPG software package with a …
The Case For Thoroughly Testing Complex System Dynamic Models, Wayne Wakeland, Megan Hoarfrost
The Case For Thoroughly Testing Complex System Dynamic Models, Wayne Wakeland, Megan Hoarfrost
Systems Science Faculty Publications and Presentations
In order to determine whether model testing is as useful as suggested by modeling experts, the full battery of model tests recommended by Forrester, Senge, Sterman, and others was applied retrospectively to a complex previously-published system dynamics model. The time required to carry out each type of test was captured, and the benefits that resulted from applying each test was determined subjectively. The resulting benefit to cost ratios are reported. These ratios suggest that rather than focusing primarily on sensitivity testing, modelers should consider other types of model tests such as extreme condition tests and family member tests. The study …
Extending Classical Test To Quantum, Jacob D. Biamonte, Minki Jeong, Jae-Seung Lee, Marek Perkowski
Extending Classical Test To Quantum, Jacob D. Biamonte, Minki Jeong, Jae-Seung Lee, Marek Perkowski
Electrical and Computer Engineering Faculty Publications and Presentations
We first introduce a method called quantum path verification, where we search for a break in a quantum network. After explaining these capabilities, we address gate internal faults. We present new fault models to represent crosstalk and unwanted nearest neighbor entanglement. When witnessed, these errors are probabilistic, but there is a set of tests that has the highest probability of detecting a fault. We introduce a method of probabilistic set covering to identify this set of tests. A large part of our work consisted of writing a software package that allows us to compare various fault models and test strategies.
Acceleration Management: The Semiconductor Industry Confronts The 21st Century, Melissa M. Appleyard, C. N. Berglund, Craig Peterson, Richard W. Smith
Acceleration Management: The Semiconductor Industry Confronts The 21st Century, Melissa M. Appleyard, C. N. Berglund, Craig Peterson, Richard W. Smith
Business Faculty Publications and Presentations
In the recent generations of semiconductor devices, the semiconductor industry has been accelerating towards the limits of the physical sciences. As a consequence, technology managers in that industry face seven major challenges, which will threaten progress: process, complexity, performance, power, density, productivity, and quality / reliability. We believe that confronting these challenges requires a new approach to technology management both within organizations and between organizations that form the backbone of the industry. We call this new approach Acceleration Management. Acceleration Management first requires that firms cultivate deep technical knowledge and inspire creative solutions to seemingly insoluble technical problems. The second …
Creating Clinically Useful In Silico Models Of Intracranial Pressure Dynamics, Wayne W. Wakeland, Joe Fusion, Brahm Goldstein
Creating Clinically Useful In Silico Models Of Intracranial Pressure Dynamics, Wayne W. Wakeland, Joe Fusion, Brahm Goldstein
Systems Science Faculty Publications and Presentations
To create clinically useful computer simulation models of intracranial pressure (ICP) dynamics by using prospective clinical data to estimate subject-specific physiologic parameters.
The Quest For Novel Computational Paradigms And Machines, Christof Teuscher
The Quest For Novel Computational Paradigms And Machines, Christof Teuscher
Electrical and Computer Engineering Faculty Publications and Presentations
The quest for novel and unconventional computing machines is mainly motivated by the man-machine dichotomy and by the belief that meeting tomorrow's complex real world challenges will require new paradigms and new engineering methods to organize, train, and program such machines and to interact with them.
Depth-Shifting Of Shallow Water Guide Source Observations, Lisa M. Zurk, Brian H. Tracey
Depth-Shifting Of Shallow Water Guide Source Observations, Lisa M. Zurk, Brian H. Tracey
Electrical and Computer Engineering Faculty Publications and Presentations
In theory, matched field processing offers the significant benefit of higher signal gains and increased localization capability. However, this has not been robustly observed in practice because of inherent uncertainties about details of the shallow water propagation environments which limit the prediction of the channel response. The use of guide sources to directly measure the transfer function between source and receiver arrays has been proposed as a means for reducing mismatch. However, the guide source measurement only provides a measured transfer function at the guide source location. In this paper a method of depth-shifting guide source observations is proposed, making …
A Quantum Test Algorithm, Marek Perkowski, Jacob Biamonte
A Quantum Test Algorithm, Marek Perkowski, Jacob Biamonte
Electrical and Computer Engineering Faculty Publications and Presentations
Current processes validation methods rely on diverse input states and exponential applications of state tomography. Through generalization of classical test theory exceptions to this rule are found. Instead of expanding a complete operator basis to validate a process, the objective is to utilize quantum effects making each gate realized in the process act on a complete set of characteristic states and next extract functional information. Random noise, systematic errors, initialization inaccuracies and measurement faults must also be detected. This concept is applied to the switching class comprising the search oracle. In a first approach, the test set cardinality is held …
Synthesis Of Ternary Quantum Logic Circuits By Decomposition, Marek Perkowski
Synthesis Of Ternary Quantum Logic Circuits By Decomposition, Marek Perkowski
Electrical and Computer Engineering Faculty Publications and Presentations
Recent research in multi-valued logic for quantum computing has shown practical advantages for scaling up a quantum computer. [1,12] Multivalued quantum systems have also been used in the framework of quantum cryptography, [4] and the concept of a qudit cluster state has been proposed by generalizing the qubit cluster state. [5] An evolutionary algorithm based synthesizer for ternary quantum circuits has recently been presented, [2] as well as a synthesis method based on matrix factorization [3].In this paper, a recursive synthesis method for ternary quantum circuits based on the Cosine-Sine unitary matrix decomposition is presented.
Realizing Ternary Quantum Switching Networks Without Ancilla Bits, Marek Perkowski, Guowu Yang, Xiaoyu Song, Jinzhao Wu
Realizing Ternary Quantum Switching Networks Without Ancilla Bits, Marek Perkowski, Guowu Yang, Xiaoyu Song, Jinzhao Wu
Electrical and Computer Engineering Faculty Publications and Presentations
This paper investigates the synthesis of quantum networks built to realize ternary switching circuits in the absence of ancilla bits. The results we established are twofold. The first shows that ternary Swap, ternary NOT and ternary Toffoli gates are universal for the realization of arbitrary n × n ternary quantum switching networks without ancilla bits. The second result proves that all n×n quantum ternary networks can be generated by NOT, Controlled-NOT, Multiply-Two and Toffoli gates. Our approach is constructive.
Effects Of Focusing-Beam Field Variations On The Stability Of Laser Oscillators, Pitak Chenkosol, Lee W. Casperson
Effects Of Focusing-Beam Field Variations On The Stability Of Laser Oscillators, Pitak Chenkosol, Lee W. Casperson
Electrical and Computer Engineering Faculty Publications and Presentations
Semiclassical models for the dynamical behavior of single-longitudinal-mode, homogeneously broadened, unidirectional ring-laser oscillators have long been available. However, in most of these models the beam's cross section is assumed to be independent of longitudinal position in the laser, while in practical laser systems it is common for the diameter to vary with position. A model for lasers with focusing-beam field variations is developed here. Linear stability analysis shows that higher values of excitation are required to reach the type 1 instability threshold for lasers with longitudinal variations of the beam diameter than for the uniform plane-wave laser model.