1 / 1

Synthesis and Test of Quantum Circuits Dr. Marek Perkowski and Dr. Xiaoyu Song web.cecs.pdx/~mperkows/

Synthesis and Test of Quantum Circuits Dr. Marek Perkowski and Dr. Xiaoyu Song http://web.cecs.pdx.edu/~mperkows/.

reece
Télécharger la présentation

Synthesis and Test of Quantum Circuits Dr. Marek Perkowski and Dr. Xiaoyu Song web.cecs.pdx/~mperkows/

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Synthesis and Test of Quantum Circuits Dr. Marek Perkowski and Dr. Xiaoyu Song http://web.cecs.pdx.edu/~mperkows/ • Portland Quantum Logic Group is the group of international researchers from countries like USA, Canada, Japan, Korea, Poland, Germany, The Netherlands, Bangladesh, China, Russia, Jordan, Estonia and Ukraine interested in technical aspects of future quantum computers. The research issues include: • Synthesis of quantum and reversible circuits from high level specifications • Quantum Automata and their applications • Testing quantum circuits • Quantum Algorithms for NP-hard problems, especially CAD problems. • Quantum Image Processing and Transforms. Our research in the area of quantum computing will develop computer aided design tools for quantum circuits and systems which will be similar in use to the design automation tools for VLSI that are used now in industry. Cluster built by students to investigate parallel evolutionary algorithms for quantum circuits synthesis and simulation of quantum circuits and algorithms This research area includes Logic and System design of VLSI circuits, Field Programmable Gate Array circuits and Quantum Computers. Particular recent projects include synthesis and test of quantum circuits, reversible logic, quantum algorithms, Quantum Computational Intelligence, Evolutionary, Quantum-Inspired and Biologically-Motivated Algorithms for circuit design, and Multiple-Valued logic. Past funding came from NSF (three times), US Air Force Office of Scientific Research, Sharp Microelectronics and others. Good programming skills and certain liking of mathematics are expected from students who want to work in this area. Selected Publications S. Lee, S.J. Lee, T. Kim, J-S Lee, J. Biamonte, M. Perkowski, "The Cost of Quantum Gate Primitives," Journal of Multi-valued Logic and Soft Computing, 2005. J. Biamonte, M. Perkowski, "Automated Test Pattern Generation for Quantum Circuits," McNair Research Journal, Vol. 1, Issue 1, 2005. A. N. Al-Rabadi, M. Perkowski, "New Families of Reversible Expansions and their Regular Lattice Circuits," Journal of Multiple-Valued Logic and Soft Computing (MVLSC), U.S.A., Volume 11, Number 3-4, 2005. G. Yang, X. Song, M. Perkowski, J. Wu, "Realizing ternary quantum switching networks without ancilla bits," Journal of Physics A. Mathematical and General, 2005. W. Hung, X. Song, G. Yang, M. Perkowski, "Optimal Synthesis of multiple output boolean functions using a set of quantum gates by symbolic reachability analysis," IEEE Transactions on Computer-Aided Design, 2006 G. Yang, W. Hung, X. Song, M. Perkowski, "Majority-Based Reversible Logic Gates," Theoretical Computer Science C. 334(1-3), pp. 259-274, ISSN 0304-3975, April 15, 2005. X. Song, G, Yang, M. Perkowski, "Algebraic Characteristics of Reversible Gates,'' Accepted to Theory of Computing Systems (Mathematical Systems Theory, Springer Verlag. First published on Online Test, ISSN 1432-4350, 2005. M. Khan, M. Perkowski, M. Khan, P. Kerntopf, "Ternary GFSOP Minimization using Kronecker Decision Diagrams and Their Synthesis with Quantum Cascades," MVL Journal Special Issue, ISSN 1542-3980. P. Kerntopf, M. Perkowski, M. H. A. Khan. "Universality of ternary reversible gates," Accepted to special issue of International Journal on Multiple-Valued Logic and Soft Computing, Svetlana Yanushkevich, editor, ISSN 1542-3980. A. Al-Rabadi, L. Casperson, M. Perkowski, "Multiple-valued quantum logic," Quantum Computers and Computing, Vol. 3, Number 1. W. Hung, X. Song, M. Perkowski, "Reachability Analysis for reversible minimization," Proceedings of DAC 2004, June 2004, San Diego, California. M. Lukac, M. Perkowski, H. Goi, M. Pivtoraiko, C. H. Yu, K. Chung, H. Jee, B-G Kim, Y-D Kim, "Evolutionary Approach to Quantum and Reversible Circuits Synthesis," Artificial Intelligence Review Journal, Special Issue on Artificial Intelligence in Logic Design, S. Yanushkevich guest editor, ISSN 0269-2821, 2003. Quantum Braitenberg Automata Robots use concepts from quantum computing to solve problems and present emotional behaviors

More Related