CASIA OpenIR

浏览/检索结果: 共1条,第1-1条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
线性系统同时镇定若干问题的研究与基于BOTTEMA的一类全局优化问题的解 学位论文
, 中国科学院自动化研究所: 中国科学院研究生院, 2008
作者:  何冠男
Adobe PDF(2929Kb)  |  收藏  |  浏览/下载:282/0  |  提交时间:2015/09/02
线性系统  同时镇定  不等式型定理机器证明  比利时巧克力问题  法国香槟问题  复分析  全局优化  Bottema程序包  Linear Systems  Simultaneous Stabilization  Automated Inequality-type Theorem Proving  Belgian Chocolate Problem  French Champagne Problem  Complex Analysis  Global Optimization  Bottema