楊國武

1999年評為副教授。

2001年9月至2005年6月美國波特蘭州立大學電子與計算機工程系任教學和研究助理。

2005年8月至2006年8月美國波特蘭州立大學計算機科學系，副研究員。

現任電子科技大學計算機科學與工程學院教授，電子科技大學中青年學術帶頭人，博士生導師。

主要從事量子計算中可逆邏輯電路的綜合、數字系統設計的形式化驗證和數字系統模擬的研究，在可逆邏輯電路綜合的理論分析、演演算法優化上都處於世界領先水平。楊教授發現並糾正了英特爾創立的GSTE理論中的一個錯誤。主持開發出了基於GSTE理論的模型檢測軟體和一款可擴展的嵌入式硬體模擬平台。其中硬體和軟體協同設計的自動化的形式化證明，獲得美國半導體研究合作組織、英特爾公司資助；量子計算中可逆邏輯電路的合成，獲得國家自然科學基金面上項目資助；非線性控制系統的理論研究，參與中科院系統所的國家自然科學基金項目。

科研情況

研究專業是電子和計算機工程，主要研究方向包括：1，系統設計的形式化方法的研究和開發相關的程序包。他與美國英特爾公司CAD研究實驗室合作研究了兩年多，研究和開發了英特爾公司硬體的自動化證明程序包GSTE。同時本人正在從事硬體和軟體的共同的自動化的形式化證明的研究和開發相關的程序包，該項目是美國半導體研究合作組織資助的前沿高科技技術。2，量子計算機中的合成演演算法的理論研究。3，非線性控制系統的理論研究。研究合作單位有：美國英特爾公司CAD研究實驗室，美國波特蘭州立大學電子與計算機工程系和計算機科學系，清華大學軟體學院等。發表論文57篇，其中SCI檢索22篇，EI檢索31篇，ISTP檢索16篇。

論文列表

1.Yan Zhang, Guowu Yang, William N. N. Hung, Juling Zhang, “Computing Affine Equivalence Classes of Boolean Functions by Group Isomorphism”, IEEE Transactions on Computers (accepted).

2.Rui Wang, William N. N. Hung, Guowu Yang, and Xiaoyu Song, “Uncertainty Model for Configurable Hardware/Software and Resource Partitioning”, IEEE Transactions on Computers (accepted).

3.Qianqi Le, Guowu Yang, William N.N. Hung, Xiaoyu Song and Xinpeng Zhang, “Pareto optimal mapping for tile-based network-on-chip under reliability constraints”, International Journal of Computer Mathematics, 92(1), 41-58, Jan. 2015.(SCI: AW9PF)

4.Qianqi Le, Guowu Yang, William N.N. Hung, Xiaoyu Song and Fuyou Fan, “Performance-driven assignment and mapping for reliable networks-on-chips”, Journal of Zhejiang University C,15(11),1009-1020, Nov. 2014.(SCI:AT3WR)

5.Fan Yang, Guowu Yang, Yujie Hao, Qingbin Luo and Yuqi Wang, “Security analysis of multi-party quantum private comparison protocol by model checking”, International Journal of Modern Physics B, Vol. 29, No. 18, JUL. 2015, 1550089 (11 pages) (SCI: CM8FB)

6.Chao Zhao, Guo-wu Yang, William N. N. Hung and Xiao-yu Li, “A multipartite entanglement measure based on coefficient matrices”, Quantum Information Processing, 14: 2861-2881, AUG. 2015. (SCI: CM9ZB)

7.Fuyou Fan, Guowu Yang, Gang Yang and William N. N. Hung, “A Synthesis Method of Quantum Reversible Logic Circuit Based on Elementary Qutrit Quantum Logic Gates”, Journal of Circuits Systems and Computers, 24(8), SEP. 2015. (SCI: CP3MW)

8.Jun-e Feng, James Lam, Guowu Yang and Zhao Li, “On a Conjecture About the Norm of Lyapunov Mappings”, Linear Algebra and the Applications, 465(15) Jan. 2015, 88-103. (SCI:AU2SP)

9.Qingbin Luo, Guowu Yang, Kun She, Weina Niu and Yuqi Wang, “Multi-party quantum private comparison protocol based on d-dimensional entangled states”, Quantum Information Processing, Oct. 2014, 13(10): 2343-2352. (SCI:AP1PC)

10.Qianqi Le, Guowu Yang, William N.N. Hung, Xinpeng Zhang, and Fuyou Fan, “A multiobjective scatter search algorithm for fault-tolerant NoC mapping optimization”, International Journal of Electronics, 101(8), 1056-1073, AUG. 2014.(SCI: AJ4XB)

11.Yongsheng Xu, Guowu Yang, Zhengwei Chang, Desheng Zheng, and Wensheng Guo, “Terminal Satisfiability in GSTE” , JOURNAL OF APPLIED MATHEMATICS, 725275, 2014. (SCI: AH7GL)

12.Wensheng Guo, Guowu Yang, Wei Wu, Lei He, Mingyu Sun, “A Parallel Attractor Finding Algorithm Based on Boolean Satisfiability for Genetic Regulatory Networks”, PLOS ONE 9(4): e94258, APR. 2014. (SCI: AE9PC)

13.Xiaoyu Li, Guowu Yang, Carlos Manuel Torres JR., Desheng Zheng and Kang L. Wang “A class of efficient quantum incrementer gates for quantum circuit synthesis”, INTERNATIONAL JOURNAL OF MODERN PHYSICS B, 28(1), JAN. 2014 1350191(1~15).(SCI：270ZK)

14.Fengmao Lv, Guowu Yang and Shuangbao Wang, “The Research on Controlling the Iteration of Quantum-Inspired Evolutionary Algorithms for Artificial Neural Networks”, 253-262, AAIM 2014, July 8-11, 2014, Vancouver, Canada. (EI: 20142917940722)

15.Desheng Zheng, Guowu Yang, Xiaoyu Li, Zhicai Wang, Feng Liu, Lei He, “An Efficient Algorithm for Computing Attractors of Synchronous And Asynchronous Boolean Networks”, PLOS ONE, 8(4): e60593, APR. 2013. (SCI: 130JB)

16.Wensheng Guo, Guowu Yang, William N.N. Hung and Xiaoyu Song, “Complete Boolean Satisfiability Solving Algorithms Based on Local Search”, Journal of Computer Science and Technology, 28(2), 247-254, MAR. 2013.( SCI: 138KY)

17.Guowu Yang, William N.N. Hung, Xiaoyu Song and Wensheng Guo, “A Transformation-Based Approach to Implication of GSTE Assertion Graphs”, Journal of Applied Mathematics, 709071, 2013. (SCI: 189BA)

18.Desheng Zheng, Guowu Yang, Xiaoyu Li, Zhicai Wang, William N.N. Hung, “An Efficient Algorithm for Finding Attractors in Synchronous Boolean Networks with Biochemical Application”, Genetics and Molecular Research, 12(4):4656-4666,2013. (SCI: AB2FG).

19.Guowu Yang, Fei Xie, William N.N. Hung, Xiaoyu Song, Marek A. Perkowski, “Realization and synthesis of reversible functions”, Theoretical Computer Science, 412(17), 2011-8, 1606-1613. (SCI: 741AN)

20.Guowu Yang, William N.N. Hung, Xiaoyu Song, Marek A. Perkowski, “Exact synthesis of three-qubit quantum circuits from non-binary quantum gates”, International Journal of Electronics, Volume 97 Issue 4, 475-489, 2010. (SCI: 588VQ)

21.Guowu Yang, Xiaoyu Song, William N.N. Hung, Marek A. Perkowski, “Synthesis of Reversible Circuits with Minimal Costs”, Calcolo, 45, 193-206, 2008. (SCI: 349ST)

22.Guowu Yang, Xiaoyu Song, Marek A. Perkowski, William N.N. Hung and Seo, Chang-Jun, “Minimal universal library for n x n reversible circuits”, Computers & Mathematics with Applications, 56 (1): 160-165 JUL 2008. (SCI: 311NJ)

23.Guowu Yang, Xiaoyu Song, William N.N. Hung, and Marek A. Perkowski, “Bi-directional Synthesis of 4-bit reversible Circuits”, The Computer Journal, Vol. 51, No. 2, March 2008, pp. 207-215. (SCI: 270UV)

24.Daizhan Cheng, Guowu Yang, Zairong Xi, “Nonlinear systems possessing linear symmetry”，International Journal of Robust and Nonlinear Control, 17 (1): 51-81 JAN 10 2007

25.Fei Xie, Guowu Yang, and Xiaoyu Song, “Component-Based Hardware/Software Co-Verification for Building Trustworthy Embedded Systems”. Journal of Systems and Software, v 80, n 5, May, 2007, p 643-654. (SCI:173LB)

26.Guowu Yang, Fei Xie, Xiaoyu Song, and Marek Perkowski, “Universality of 2-Qudit Ternary Reversible Gates”, Journal of Physics A: Mathematical and General. 39(24), 2006, 7763-7773. (SCI:056VU).

27.Xiaoyu Song, Guowu Yang, Marek Perkowski, Yuke Wang, “Algebraic Characteristics of Reversible Gates”, Theory of Computing Systems, 39 (2): 311-319, MAR-APR 2006. (SCI:016GC).

28.Fei Xie, Guowu Yang, and Xiaoyu Song. Compositional Reasoning for Hardware/Software Co-Verification. In Proc. of Fourth International Symposium on Automated Technology for Verification and Analysis (ATVA), LNCS 4218, 2006, 154-169. (SCI:BFF99)

29.Guowu Yang, Jin Yang, Xiaoyu Song and Fei Xie, “Maximal Models of Assertion Graph in GSTE”, TAMC 2006 (Theory and Applications of Models of Computation), Beijing, China, LNCS 3959: 684-693, 2006. (SCI:BEM07)

30.Guowu Yang, Jin Yang, Xiaoyu Song and Fei Xie, “Group Theory Based Synthesis of Binary Reversible Circuits”, TAMC 2006 (Theory and Applications of Models of Computation), Beijing, China, LNCS 3959: 365-374, 2006. (SCI:BEM07)

31.William N.N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek Perkowski, “Optimal Synthesis of Multiple Output Boolean Functions using a Set of Quantum Gates by Symbolic Reachability Analysis,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 25 (9): 1652-1663, SEP. 2006. (SCI:078CG).

32.Guowu Yang, Xiaoyu Song, Marek Perkowski and Jinzhao Wu, “Realization ternary quantum switching networks without ancilla bits”, Journal of Physics A: Mathematical and General. 38(44), 2005, 9689-9698. (SCI:986QW).

33.Guowu Yang, William N.N. Hung, Xiaoyu Song and Marek Perkowski, “Majority-Based Reversible Logic Gate”, Theoretical Computer Science, 334(1-3), 2005, 259-274. (SCI:922XT).

34.Ming Gu, Guowu Yang, Xiaoyu Song and Jiaguang Sun, “On Synthesis of 3x3 Reversible Logic Functions”, International Journal of Computer Mathematics, 82(4), 2005, 385-390. (SCI:893WN).

35.Yiguang Hong, Guowu Yang, Daizhan Cheng, and S. Spurgeon, “A New Approach to Terminal Sliding Mode Control Design”, Asian Journal of Control, 7 (2), 2005, 177-181。 (SCI:942RB)

36.Guowu Yang, Xiaoyu Song, Hannah H. Yang and Fei Xie, “A Theoretical Upper Bound for IP-Based Floorplanning”, COCOON 2005 (The Eleventh International Computing and Combinatorics Conference), Kunming, China, 2005, 411-419. (LNCS 3595). (SCI:BCY51)

統計學習，組合數學。

IEEE人工智慧學會量子計算專委會副主席。