Browse/Search Results:  1-7 of 7 Help

Selected(0)Clear Items/Page:    Sort:
一类积分不等式的机器判定 期刊论文
中国科学 : 信息科学, 2011, 卷号: 40, 期号: 1, 页码: 48-65
Authors:  杨路;  郁文生;  袁如意
View  |  Adobe PDF(720Kb)  |  Favorite  |  View/Download:49/12  |  Submit date:2016/04/05
Mechanical decision for a class of integral inequalities 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2010, 卷号: 53, 期号: 9, 页码: 1800-1815
Authors:  Yang Lu;  Yu WenSheng;  Yuan RuYi
Favorite  |  View/Download:36/0  |  Submit date:2015/11/08
Integral Inequality  Symmetric Polynomial Inequality  Timofte's Dimension-decreasing Method  Successive Difference Substitution  Mechanical Decision  Inequality-proving Package Bottema  
Real solution number of the nonlinear equations in the SHEPWM technology 会议论文
Proceedings of 2010 International Conference on Intelligent Control and Information Processing, ICICIP 2010, n PART 1, p 446-450, Dalian, China, 2010
Authors:  Yang, Kehu;  Fu, Siyao;  Hu, Haidong;  Yuan, Ruyi;  Yu, Wensheng
View  |  Adobe PDF(433Kb)  |  Favorite  |  View/Download:51/16  |  Submit date:2016/04/05
mechanicaldecisionforaclassofintegralinequalities 期刊论文
sciencechinainformationscience, 2010, 卷号: 000, 期号: 009, 页码: 1800
Authors:  Yang Lu;  Yu Wensheng;  Yuan Ruyi
Favorite  |  View/Download:3/0  |  Submit date:2020/03/30
增强现实中的跟踪问题研究 学位论文
, 中国科学院自动化研究所: 中国科学院研究生院, 2009
Authors:  姬靖
Adobe PDF(11223Kb)  |  Favorite  |  View/Download:155/0  |  Submit date:2015/09/02
增强现实  跟踪  姿态估计  平面图案  P4p问题  Pde方法  Augmented Reality  Tracking  Pose Estimation  Planar Pattern  P4p Problem  Pde Method  
线性系统同时镇定若干问题的研究与基于BOTTEMA的一类全局优化问题的解 学位论文
, 中国科学院自动化研究所: 中国科学院研究生院, 2008
Authors:  何冠男
Adobe PDF(2929Kb)  |  Favorite  |  View/Download:172/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  
线性系统同时镇定若干问题的研究与射频识别网络规划 学位论文
, 中国科学院自动化研究所: 中国科学院研究生院, 2006
Authors:  关强
Adobe PDF(903Kb)  |  Favorite  |  View/Download:39/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