【摘 要】
：
传统的不等式自动证明方法主要依赖于符号计算,一般只能处理代数类型,或可最终转化为代数类型的不等式,而且效率会随着问题中变量个数的增加迅速降低。为克服这些局限性以满
【基金项目】
：
国家973计划资助项目（2004CB318000）, 国家自然科学基金资助项目（10571095）
论文部分内容阅读
传统的不等式自动证明方法主要依赖于符号计算,一般只能处理代数类型,或可最终转化为代数类型的不等式,而且效率会随着问题中变量个数的增加迅速降低。为克服这些局限性以满足众多实际问题的需要,并充分挖掘计算机在数值计算方面的能力,我们提出以区间分析为工具进行不等式的自动证明。该方法可以处理类型更为一般的不等式,只需对应的函数具有所需的高阶连续可微性质,并且该方法易于实现并行化。本文主要介绍这一方法在Maple系统上的实现,即InequalityProve,并以一个公开问题为例详细说明运用InequalityPro
其他文献
针对一类卫星平台的推力器布局进行优化方法建模，给出推力器布局设计原则和优化指标，将推力器布局问题转化为一个多约束多目标寻优问题．最后对IntelSat—VII／VIIA推力器布局进行
设计了红外地球敏感器的地面模拟卫星静电放电试验方法。对卫星的空间环境以及结构特点的分析结果表明，地球同步静止轨道卫星表面存在静电放电的可能性。通过静电放电试验找到
针对存在时变偏差的非线性系统状态估计问题，提出了一种新型的自适应两级UKF算法（ATUKF，adaptive two—stage unscented Kalman filter）．该算法利用衰减因子补偿模型的不确定性，对
本文提出将鲁棒扩展卡尔曼滤波(REKF)用于增强X射线脉冲星导航系统克服星表误差影响的能力.指出星表误差可以看作模型不确定性的一部分,在鲁棒滤波的理论框架内进行处理.对RE