排序方式： 共有5条查询结果，搜索用时 0 毫秒
1
1.
利用复分析理论，结合Blondel的方法，对线性系统同时镇定中著名的广义香槟问题给出理论上的解答，完整地回答了Patel等人文中的未解决问题，自然包含原香槟问题的解，结合杨路等人新近发展的不等式型定理机器证明理论，给出控制器的设计方法，得到的数值例子明显改进了已有文献中的结果． 相似文献
2.
现有的隔离零维多项式系统实解的算法都不计算解的重数.文中用一种自然的方式定义了零维三角型多项式系统解的重数并证明了该定义与经典的局部(相交)重数的定义等价.使用该定义,给出了一个完备有效的算法计算零维三角型多项式系统的实解隔离及实解重数.文中的算法基于代数数系数多项式的无平方因子分解和区间算术.文中还给出了一些算例. 相似文献
3.
自动发现不等式型定理的一个完备算法 总被引：1，自引：0，他引：1
利用多项式的判别式序列、WR算法、吴消元法及部分的柱形代数分解算法,给出了能自动发现不等式的一个实用算法.该算法无须事先对结果做任何形式的猜测,而能全自动地发现新不等式.该算法对一大类不等式型定理是完备的,而且可用于几何约束问题的实解分类.在Maple下,据之编写的程序DISCOVERER已发现了许多不同背景的不等式型定理. 相似文献
4.
夏壁灿 《四川大学学报(自然科学版)》1998,35(5):669-672
提出了一套求解系统ＴＳＧ的完整理论和高效的算法,据此实现的通用软件ＥＸＰＯＬＲＥＲ已成功地自动发现了许多几何不等式。 相似文献
5.
自动发现不等式型定理的一个完备算法 总被引：3，自引：1，他引：2
利用多项式的判别式序列、WR算法、吴消元法及部分的柱形代数分解算法,给出了能自动发现不等式的一个实用算法. 该算法无须事先对结果做任何形式的猜测,而能全自动地发现新不等式. 该算法对一大类不等式型定理是完备的,而且可用于几何约束问题的实解分类. 在Maple下,据之编写的程序DISCOVERER已发现了许多不同背景的不等式型定理. 相似文献
1