期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
自动发现不等式型定理的一个完备算法 被引量:10
1
作者 杨路 侯晓荣 夏壁灿 《中国科学(E辑)》 CSCD 北大核心 2001年第3期273-288,共16页
利用多项式的判别式序列、WR算法、吴消元法及部分的柱形代数分解算法 ,给出了能自动发现不等式的一个实用算法 .该算法无须事先对结果做任何形式的猜测 ,而能全自动地发现新不等式 .该算法对一大类不等式型定理是完备的 ,而且可用于几... 利用多项式的判别式序列、WR算法、吴消元法及部分的柱形代数分解算法 ,给出了能自动发现不等式的一个实用算法 .该算法无须事先对结果做任何形式的猜测 ,而能全自动地发现新不等式 .该算法对一大类不等式型定理是完备的 ,而且可用于几何约束问题的实解分类 .在Maple下 。 展开更多
关键词 判别式序列 WR算法 吴消元法 柱形代数分解 自动发现不等式型定理
原文传递
一个分式型不等式定理及其应用
2
作者 阳凌云 《株洲师范高等专科学校学报》 2003年第2期24-25,共2页
探究了一个分式型不等式定理,得到了几个重要结论和推论,进而获得几个著名不等式的加强式和其推广式,或与其类似的不等式,使此类问题简洁,系统化。
关键词 分式不等式定理 不等式 应用
下载PDF
一个分式型不等式定理及其应用 被引量:7
3
作者 胡道煊 《数学通报》 2000年第6期28-29,共2页
关键词 分式不等式定理 应用 琴生不等式 柯西不等式
原文传递
线性系统的同时镇定问题 被引量:9
4
作者 关强 何冠男 +1 位作者 王龙 郁文生 《控制理论与应用》 EI CAS CSCD 北大核心 2011年第1期1-12,共12页
线性系统的同时镇定问题,是系统与控制理论中的基本问题,有着广泛的理论意义和应用价值.本文介绍了线性系统同时镇定问题的研究现状和最新进展.首先回顾了同时镇定问题的研究内容、基本方法及相关结果.其次,从理论求解和控制器设计的角... 线性系统的同时镇定问题,是系统与控制理论中的基本问题,有着广泛的理论意义和应用价值.本文介绍了线性系统同时镇定问题的研究现状和最新进展.首先回顾了同时镇定问题的研究内容、基本方法及相关结果.其次,从理论求解和控制器设计的角度对线性系统同时镇定研究中著名的"香槟问题","比利时巧克力问题"和"威士忌问题"进行了分析探讨,并基于不等式型定理机器证明理论,给出了线性系统同时镇定问题的相关工作.最后指出了对于同时镇定多个线性系统方面的若干研究方向. 展开更多
关键词 线性系统 同时镇定 香槟问题 比利时巧克力问题 威士忌问题 复分析 不等式型定理 机器证明 半代数系统
下载PDF
线性系统同时镇定中广义香槟问题的解
5
作者 关强 王龙 +3 位作者 夏壁灿 杨路 郁文生 曾振柄 《中国科学(E辑)》 CSCD 北大核心 2007年第6期770-780,共11页
利用复分析理论,结合Blondel的方法,对线性系统同时镇定中著名的广义香槟问题给出理论上的解答,完整地回答了Patel等人文中的未解决问题,自然包含原香槟问题的解,结合杨路等人新近发展的不等式型定理机器证明理论,给出控制器的设计方法... 利用复分析理论,结合Blondel的方法,对线性系统同时镇定中著名的广义香槟问题给出理论上的解答,完整地回答了Patel等人文中的未解决问题,自然包含原香槟问题的解,结合杨路等人新近发展的不等式型定理机器证明理论,给出控制器的设计方法,得到的数值例子明显改进了已有文献中的结果. 展开更多
关键词 线性系统 镇定 同时镇定 香槟问题 广义香槟问题 复分析 不等式型定理 机器证明
原文传递
Fujita-Liouville Type Theorem for Coupled Fourth-Order Parabolic Inequalities
6
作者 Zhaoxin JIANG Sining ZHENG 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 2012年第1期107-112,共6页
This paper deals with a coupled system of fourth-order parabolic inequalities |u|t ≥ -△2^u+|v|^q, |v|t ≥-△2v+|u|p^ in S=R^n ×R^+ withp, q 〉 1, n ≥1. AFujita- Liouville type theorem is establishe... This paper deals with a coupled system of fourth-order parabolic inequalities |u|t ≥ -△2^u+|v|^q, |v|t ≥-△2v+|u|p^ in S=R^n ×R^+ withp, q 〉 1, n ≥1. AFujita- Liouville type theorem is established that the inequality system does not admit nontrivial nonnegative global solutions on S whenever n/4≤ max( p+1/pq-1, q+1/pq-1 ). Since the general maximum-comparison principle does not hold for the fourth-order problem, the authors use the test function method to get the global non-existence of nontrivial solutions. 展开更多
关键词 Fujita exponent Liouville type theorem Higher-order parabolicinequalities Test function method
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部