Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Logic circuits -- Design and construction (3)
- Kalman filtering (2)
- Logic synthesis (2)
- Acoustical engineering (1)
- Boats and boating -- Electronic equipment (1)
-
- Boolean algebra (1)
- Computer algorithms (1)
- Frequencies of oscillating systems -- Measurement (1)
- Genetic algorithms (1)
- Geologic Sediments (1)
- Graphics processing units (1)
- Image processing -- Digital techniques (1)
- Modulation (Electronics) -- Mathematical models (1)
- Noise (1)
- Perfusion (Physiology) (1)
- Quantum computers (1)
- Quantum theory (1)
- Radon transforms (1)
- Reversible computing (1)
- Reversible logic (1)
- Tracking radar -- Mathematics (1)
- Underwater acoustics (1)
Articles 1 - 8 of 8
Full-Text Articles in Engineering
Synthesis Of Reversible Circuits For Large Reversible Functions, Marek Perkowski, Nouraddin Alhagi, Maher Hawash
Synthesis Of Reversible Circuits For Large Reversible Functions, Marek Perkowski, Nouraddin Alhagi, Maher Hawash
Electrical and Computer Engineering Faculty Publications and Presentations
This paper presents a new algorithmMP (multiple pass) to synthesize large reversible binary circuits without ancilla bits. The well-known MMD algorithm for synthesis of reversible circuits requires to store a truth table (or a Reed-Muller - RM transform) as a 2n vector to represent a reversible function of n variables. This representation prohibits synthesis of large functions. However, in MP we do not store such an exponentially growing data structure. The values of minterms are calculated in MP dynamically, one-by-one, from a set of logic equations that specify the reversible circuit to be designed. This allows for synthesis of large …
Absolute Blood Velocity Measured With A Modified Fundus Camera, Donald D. Duncan, Paul Lemaillet, Mohamed Ibrahim, Quan D. Nguyen, Matthias Hiller, Jessica C. Ramella-Roman
Absolute Blood Velocity Measured With A Modified Fundus Camera, Donald D. Duncan, Paul Lemaillet, Mohamed Ibrahim, Quan D. Nguyen, Matthias Hiller, Jessica C. Ramella-Roman
Electrical and Computer Engineering Faculty Publications and Presentations
We present a new method for the quantitative estimation of blood flow velocity, based on the use of the Radon transform. The specific application is for measurement of blood flow velocity in the retina. Our modified fundus camera uses illumination from a green LED and captures imagery with a high-speed CCD camera. The basic theory is presented, and typical results are shown for an in vitro flow model using blood in a capillary tube. Subsequently, representative results are shown for representative fundus imagery. This approach provides absolute velocity and flow direction along the vessel centerline or any lateral displacement therefrom. …
Application Of Cuda In The Boolean Domain For The Unate Covering Problem, Eric Paul, Bernd Steinbach, Marek Perkowski
Application Of Cuda In The Boolean Domain For The Unate Covering Problem, Eric Paul, Bernd Steinbach, Marek Perkowski
Electrical and Computer Engineering Faculty Publications and Presentations
NVIDIA’s Compute Unified Device Architecture (CUDA) is a relatively-recent development that allows to realize very fast algorithms for several Constraint Satisfaction and Computer Aided Design tasks. In this paper we present an approach to use Graphics Processing Units (GPU) and CUDA for solving Unate Covering Problem, a practical problem related to SAT. In particular we present a CUDA-enabled Petrick Function Minimizer. We compare the performance of a pipeline-processor (CPU) and a parallel processor (GPU) implementation of the matrix-multiplication method for solving unate covering problems.
Experimental Observations Of Active Invariance Striations In A Tank Environment, Jorge E. Quijano, Richard L. Campbell, Tobias G. Oesterlein, Lisa M. Zurk
Experimental Observations Of Active Invariance Striations In A Tank Environment, Jorge E. Quijano, Richard L. Campbell, Tobias G. Oesterlein, Lisa M. Zurk
Electrical and Computer Engineering Faculty Publications and Presentations
The waveguide invariant in shallow water environments has been widely studied in the context of passive sonar. The invariant provides a relationship between the frequency content of a moving broadband source and the distance to the receiver, and this relationship is not strongly affected by small perturbations in environment parameters such as sound speed or bottom features. Recent experiments in shallow water suggest that a similar range-frequency structure manifested as striations in the spectrogram exists for active sonar, and this property has the potential to enhance the performance of target tracking algorithms. Nevertheless, field experiments with active sonar have not …
Evolutionary Quantum Logic Synthesis Of Boolean Reversible Logic Circuits Embedded In Ternary Quantum Space Using Heuristics, Martin Lukac, Marek Perkowski, Michitaka Kameyama
Evolutionary Quantum Logic Synthesis Of Boolean Reversible Logic Circuits Embedded In Ternary Quantum Space Using Heuristics, Martin Lukac, Marek Perkowski, Michitaka Kameyama
Electrical and Computer Engineering Faculty Publications and Presentations
It has been experimentally proven that realizing universal quantum gates using higher-radices logic is practically and technologically possible. We developed a Parallel Genetic Algorithm that synthesizes Boolean reversible circuits realized with a variety of quantum gates on qudits with various radices. In order to allow synthesizing circuits of medium sizes in the higher radix quantum space we performed the experiments using a GPU accelerated Genetic Algorithm. Using the accelerated GA we compare heuristic improvements to the mutation process based on cost minimization, on the adaptive cost of the primitives and improvements due to Baldwinian vs. Lamarckian GA.We also describe various …
Adaptive Passive Fathometer Processing, Martin Siderius, Heechun Song, Peter Gerstoft, William S. Hodgkiss, Paul Hursky, Chris H. Harrison
Adaptive Passive Fathometer Processing, Martin Siderius, Heechun Song, Peter Gerstoft, William S. Hodgkiss, Paul Hursky, Chris H. Harrison
Electrical and Computer Engineering Faculty Publications and Presentations
Recently, a technique has been developed to image seabed layers using the ocean ambient noise field as the sound source. This so called passive fathometer technique exploits the naturally occurring acoustic sounds generated on the sea-surface, primarily from breaking waves. The method is based on the cross-correlation of noise from the ocean surface with its echo from the seabed, which recovers travel times to significant seabed reflectors. To limit averaging time and make this practical, beamforming is used with a vertical array of hydrophones to reduce interference from horizontally propagating noise. The initial development used conventional beamforming, but significant improvements …
Multiharmonic Frequency Tracking Method Using The Sigma-Point Kalman Smoother, Sunghan Kim, Anindya S. Paul, Eric A. Wan, James Mcnames
Multiharmonic Frequency Tracking Method Using The Sigma-Point Kalman Smoother, Sunghan Kim, Anindya S. Paul, Eric A. Wan, James Mcnames
Electrical and Computer Engineering Faculty Publications and Presentations
Several groups have proposed the state-space approach to tracking time-varying frequencies of multiharmonic quasiperiodic signals. The extended Kalman filter/smoother (EKF/EKS) is one of the common frequency tracking approaches seen in the literature. We introduce a multiharmonic frequency tracker based on the forward-backward statistical linearized Sigma-Point Kalman smoother (FBSL-SPKS) and compare its performance to that of the extended Kalman smoother (EKS). In all cases the FBSL-SPKS tracker outperformed the EKS tracker over a wide range of signal-to-noise (SNR) ratios. We also demonstrate its superior performance on real signals.
Fault Testing Quantum Switching Circuits, Marek Perkowski, Jacob Biamonte
Fault Testing Quantum Switching Circuits, Marek Perkowski, Jacob Biamonte
Electrical and Computer Engineering Faculty Publications and Presentations
Test pattern generation is an electronic design automation tool that attempts to find an input (or test) sequence that, when applied to a digital circuit, enables one to distinguish between the correct circuit behavior and the faulty behavior caused by particular faults. The effectiveness of this classical method is measured by the fault coverage achieved for the fault model and the number of generated vectors, which should be directly proportional to test application time. This work address the quantum process validation problem by considering the quantum mechanical adaptation of test pattern generation methods used to test classical circuits. We found …