CASIA OpenIR

Browse/Search Results:  1-6 of 6 Help

Selected(0)Clear Items/Page:    Sort:
线性系统同时镇定若干问题的研究与基于BOTTEMA的一类全局优化问题的解 学位论文
, 中国科学院自动化研究所: 中国科学院研究生院, 2008
Authors:  何冠男
Adobe PDF(2929Kb)  |  Favorite  |  View/Download:140/0  |  Submit date:2015/09/02
线性系统  同时镇定  不等式型定理机器证明  比利时巧克力问题  法国香槟问题  复分析  全局优化  Bottema程序包  Linear Systems  Simultaneous Stabilization  Automated Inequality-type Theorem Proving  Belgian Chocolate Problem  French Champagne Problem  Complex Analysis  Global Optimization  Bottema  
Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems 期刊论文
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2007, 卷号: 50, 期号: 5, 页码: 719-731
Authors:  Guan Qiang;  Wang Long;  Xia BiCan;  Yang Lu;  Yu WenSheng;  Zeng ZhenBing
Favorite  |  View/Download:49/0  |  Submit date:2015/11/08
Linear Systems  Stabilization  Simultaneous Stabilization  Champagne Problem  Generalized Champagne Problem  Complex Analysis  Inequality-type Theorem  Automated Theorem Proving  
线性系统同时镇定若干问题的研究与射频识别网络规划 学位论文
, 中国科学院自动化研究所: 中国科学院研究生院, 2006
Authors:  关强
Adobe PDF(903Kb)  |  Favorite  |  View/Download:15/0  |  Submit date:2015/09/02
同时镇定  香槟问题  广义香槟问题  巧克力问题  不等式型定理机器证明  复分析  射频识别网络  网络规划  组合优化  Simultaneous Stabilization  Champagne Problem  Generalized Champagne Problem  Chocolate Problem  Automated Inequality-type Theorem Proving  Complex Analysis  Rfid Network  Network Planning  Combinational Optimization  
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras - II. Conic geometry 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2003, 卷号: 36, 期号: 5, 页码: 763-809
Authors:  Li, HB;  Wu, YH
Favorite  |  View/Download:24/0  |  Submit date:2015/11/08
Bracket Algebra  Cayley Algebra  Automated Theorem Proving  Projective Conic Geometry  
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras - I. Incidence geometry 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2003, 卷号: 36, 期号: 5, 页码: 717-762
Authors:  Li, HB;  Wu, YH
Favorite  |  View/Download:22/0  |  Submit date:2015/11/08
Cayley Algebra  Bracket Algebra  Automated Theorem Proving  Projective Incidence Geometry  
The invariant representations of a quadric cone and a twisted cubic 期刊论文
IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 2003, 卷号: 25, 期号: 10, 页码: 1329-1332
Authors:  Wu, YH;  Hu, ZY
Favorite  |  View/Download:24/0  |  Submit date:2015/11/08
Automated Theorem Proving  Computer Vision  Invariant Representation  Quadric Cone  Twisted Cubic