论文部分内容阅读
提出了一种基于区间分析的不等式自动证明方法,这一方法可以处理类型较为一般的不等式,只需对应的函数具有所需的高阶连续可微性质,而传统的不等式自动证明方法一般仅处理代数类型,或可最终转化为代数类型的不等式.实际例子显示,该方法可以解决一些其他方法无法解决的问题.
基于区间分析的不等式自动证明
【摘 要】
：
提出了一种基于区间分析的不等式自动证明方法,这一方法可以处理类型较为一般的不等式,只需对应的函数具有所需的高阶连续可微性质,而传统的不等式自动证明方法一般仅处理代
【机 构】
：
电子科技大学自动化工程学院
【出 处】
：
系统科学与数学
【发表日期】
：
2010年10期
其他文献
考虑解释变量带有测量误差且响应变量随机缺失情形下的非线性半参数EV模型.利用核实数据,构造了未知参数和非参数函数的两种估计.证明了未知参数估计的渐近正态性,给出了非参
Content and Language Integrated Learning (CLIL) ,which refers to pedagogical contexts in which a second or foreign language is used as a medium of instruction .
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
通过B2×B2上的全纯自同构将零截面映为零截面这一性质导出了一种证明B2×B2上全纯自同构群的新方法,通过计算得到了B2×B2的Bergman核函数及自同构Jacobi行列式.
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
固体的不可逆形变和断裂与一类过程相关,在此过程中宏观效应是细观层次行为起着支配作用.因此,流变性材料在外力作用下的可靠预测应基于对细、微观层次中过程机理的清楚了解.
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊