杨国武
逻辑综合,形式化验证,算法优化
个性化签名
- 姓名:杨国武
- 目前身份:
- 担任导师情况:
- 学位:
-
学术头衔:
博士生导师
- 职称:-
-
学科领域:
计算机科学技术
- 研究兴趣:逻辑综合,形式化验证,算法优化
杨国武 教授/博导
教育背景:1989年7月获得中国科技大学数学系学士学位,1999年4月获得武汉理工大学计算流体力学硕士学位,2005年6月获得美国波特兰州立大学电子与计算机工程系博士学位。1989年9月至2001年8月,武汉理工大学数学系,1999年评为副教授;2001年9月至2005年6月:美国波特兰州立大学电子与计算机工程系任教学和研究助理;2005年8月至2006年8月:美国波特兰州立大学计算机科学系, 副研究员。
研究方向:逻辑综合,形式化验证,算法优化
科研情况:研究专业是电子和计算机工程,主要研究方向包括:1,系统设计的形式化方法的研究和开发相关的程序包。他与美国英特尔公司CAD研究实验室合作研究了两年多,研究和开发了英特尔公司硬件的自动化证明程序包GSTE。同时本人正在从事硬件和软件的共同的自动化的形式化证明的研究和开发相关的程序包,该项目是美国半导体研究合作组织资助的前沿高科技技术。2,量子计算机中的合成算法的理论研究。3,非线性控制系统的理论研究。研究合作单位有:美国英特尔公司CAD研究实验室,美国波特兰州立大学电子与计算机工程系和计算机科学系,清华大学软件学院等。在国内外发表和被接受40多篇论文(其中SCI:15篇,EI:19篇)。
获奖情况:2004年获得美国波特兰州立大学Maseeh工程与计算机科学学院 Maseeh 奖学金;2002,2003连续两年获得美国波特兰州立大学Maseeh工程与计算机科学学院杰出博士研究生。
-
主页访问
1135
-
关注数
0
-
成果阅读
406
-
成果数
7
杨国武, 程代展
系统科学与数学,2004,24(1):138~144,-0001,():
-1年11月30日
本文研究动力系统的线性群作用,该群的李代数与系统的向量场作用,以及两者间的关系.并将其结果应用于n阶旋转群,给出了n阶旋转对称非线性系统的一般结构表达式。
线性对称性,, 旋转群,, 李代数
-
78浏览
-
0点赞
-
0收藏
-
0分享
-
70下载
-
0评论
-
引用
杨国武, Guowu Yang, William N. N. Hung, Xiaoyu Song and Marek Perkowski
,-0001,():
-1年11月30日
We propose an approach to optimally synthesize quantum circuits from non-permutative quantum gates such as Controlled-Square-Root–of-Not (i.e. Controlled-V). Our approach reduces the synthesis problem to multiple-valued optimization and uses group theory. We devise a novel technique that transforms the quantum logic synthesis problem from a multi-valued constrained optimization problem to a group permutation problem. The transformation enables us to utilize group theory to exploit the properties of the synthesis problem. Assuming a cost of one for each two-qubit gate, we found all reversible circuits with quantum costs of 4, 5, 6, etc, and give another algorithm to realize these reversible circuits with quantum gates.
-
74浏览
-
0点赞
-
0收藏
-
0分享
-
69下载
-
0评论
-
引用
【期刊论文】A NEW APPROACH TO TERMINAL SLIDING MODE CONTROL DESIGN
杨国武, Yiguang Hong, Guowu Yang, Daizhan Cheng, and Sarah Spurgeon
Asian Journal of Control, Vol. 7, No.2, pp. 177-181, June 2005,-0001,():
-1年11月30日
In this paper, terminal sliding mode control design is considered. A control method, different from many existing terminal sliding model control design methods, is proposed based on a new switching law and continuous finite-time control ideas. Then terminal sliding mode control laws are constructed for some classes of nonlinear systems.
Terminal sliding mode control,, finite-time convergence,, nonsmooth feedback.,
-
39浏览
-
0点赞
-
0收藏
-
0分享
-
361下载
-
0评论
-
引用
【期刊论文】Majority-based reversible logic gates
杨国武, GuowuYang, William N.N. Hung?, Xiaoyu Song, Marek Perkowski
Theoretical Computer Science 334(2005)259-274,-0001,():
-1年11月30日
Reversible logic plays an important role in the synthesis of circuits for quantum computing. In this paper, we introduce families of reversible gates based on the majority Boolean function (MBF) and we prove their properties in reversible circuit synthesis. These gates can be used to synthesize reversible circuits of minimum "scratchpad register width" for arbitrary reversible functions.We show that, given a MBF f with 2k+1 inputs, f can be implemented by a reversible logic gate with 2k+1 inputs and 2k+1 outputs, i.e., without any constant inputs.We also demonstrate new gates from this family with very efficient quantum realizations for majority-based applications. They can be used to synthesize any reversible function of the same width in conjunction with inverters and Feynman (2-qubit controlled-NOT) gates. The gate universality problem is formulated in terms of elementary group theory and solved using the algebraic software GAP.
Reversible logic, Quantum computing, Majority Boolean functions, Logic synthesis
-
74浏览
-
0点赞
-
0收藏
-
0分享
-
646下载
-
0评论
-
引用
【期刊论文】Realizing Ternary Quantum Switching Networks without Ancilla Bits
杨国武, Guowu Yang, ? Xiaoyu Song and Marek Perkowski, Jinzhao Wu
,-0001,():
-1年11月30日
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.
-
46浏览
-
0点赞
-
0收藏
-
0分享
-
89下载
-
0评论
-
引用
【期刊论文】Component-based hardware/software co-verification for building trustworthy embedded systems*
杨国武, Fei Xiea, *, Guowu Yanga, Xiaoyu Songb
The Journal of Systems and Software 80(2007)643-654,-0001,():
-1年11月30日
We present a novel component-based approach to hardware/software co-verification of embedded systems using model checking. Embedded systems are pervasive and often mission-critical, therefore, they must be highly trustworthy. Trustworthy embedded systems require extensive verification. The close interactions between hardware and software of embedded systems demand co-verification. Due to their diverse applications and often strict physical constraints, embedded systems are increasingly component-based and include only the necessary components for their missions. In our approach, a component model for embedded systems which unifies the concepts of hardware IPs (i.e., hardware components) and software components is defined. Hardware and software components are verified as they are developed bottom-up. Whole systems are co-verified as they are developed top-down. Interactions of bottom-up and top-down verification are exploited to reduce verification complexity by facilitating compositional reasoning and verification reuse. Case studies on a suite of networked sensors have shown that our approach facilitates major verification reuse and leads to order-of-magnitude reduction on verification complexity.
Component-based embedded systems, Component model, Components, Model checking, Compositional reasoning, Hardware/, software co-verification, Verification reuse
-
54浏览
-
0点赞
-
0收藏
-
0分享
-
84下载
-
0评论
-
引用
【期刊论文】Nonlinear systems possessing linear symmetry
杨国武, Daizhan Cheng*, y, Guowu Yang and Zairong Xi
INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL Int. J. Robust Nonlinear Control 2007; 17: 51-81,-0001,():
-1年11月30日
This paper tackles linear symmetries of control systems. Precisely, the symmetry of affine nonlinear systems under the action of a sub-group of general linear group GL?n;R?: First of all, the structure of state space (briefly, ss) symmetry group and its Lie algebra for a given system is investigated. Secondly, the structure of systems, which are ss-symmetric under rotations, is revealed. Thirdly, a complete classification of ss-symmetric planar systems is presented. It is shown that for planar systems there are only four classes of systems which are ss-symmetric with respect to four linear groups. Fourthly, a set of algebraic equations are presented, whose solutions provide the Lie algebra of the largest connected ss-symmetry group. Finally, some controllability properties of systems with ss-symmetry group are studied. As an auxiliary tool for computation, the concept and some properties of semi-tensor product of matrices are included. Copyright
linear symmetry, Lie group, Lie algebra, control system, semi-tensor product of matrices
-
41浏览
-
0点赞
-
0收藏
-
0分享
-
54下载
-
0评论
-
引用