邵俊伟
- 作品数：7 被引量：4H指数：1
- 供职机构：电子科技大学能源科学与工程学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 加权差分代换与型的非负性判定
- 2010年
- 本文从几何的视角来研究加权差分代换,引入代换集序列收敛性概念,证明了逐次加权差分代换是收敛的.并据此给出正定型在逐次加权差分代换下可正向终止的一个严格的证明,得到了不定型在逐次加权差分代换下可负向终止并自动输出反例的一个算法.
- 侯晓荣徐松邵俊伟
- 基于区间分析的不等式自动证明被引量：2
- 2010年
- 提出了一种基于区间分析的不等式自动证明方法,这一方法可以处理类型较为一般的不等式,只需对应的函数具有所需的高阶连续可微性质,而传统的不等式自动证明方法一般仅处理代数类型,或可最终转化为代数类型的不等式.实际例子显示,该方法可以解决一些其他方法无法解决的问题.
- 侯晓荣邵俊伟
- 关键词：区间分析不等式
- InequalityProve及一个公开问题的求解被引量：1
- 2011年
- 传统的不等式自动证明方法主要依赖于符号计算,一般只能处理代数类型,或可最终转化为代数类型的不等式,而且效率会随着问题中变量个数的增加迅速降低。为克服这些局限性以满足众多实际问题的需要,并充分挖掘计算机在数值计算方面的能力,我们提出以区间分析为工具进行不等式的自动证明。该方法可以处理类型更为一般的不等式,只需对应的函数具有所需的高阶连续可微性质,并且该方法易于实现并行化。本文主要介绍这一方法在Maple系统上的实现,即InequalityProve,并以一个公开问题为例详细说明运用InequalityProve进行不等式证明的一般过程。
- 邵俊伟侯晓荣
- 关键词：区间分析不等式
- 差分代换的一些几何性质
- 2010年
- 文中从一种新的视角,即从几何上来研究差分代换,给出了差分代换的几何意义,引入代换收敛性概念,证明了逐次差分代换是不收敛的;得到了一个有趣结果:给定一个k维有理超平面,则用有限次差分代换总能把该k维有理超平面变为新变量所在坐标系的k维坐标面;给出了半正定型在逐次差分代换下不能终止的一个充分条件.
- 侯晓荣徐松邵俊伟
- 关键词：差分代换
- 区间运算及其在不等式证明中的应用
- 在几何定理与不等式机器证明等方面，人们已进行了各种各样的尝试与研究，并且已开发出一些专用的计算机系统，例如杨路等人开发的基于Maple的BOTTEMA程序包。 本文从区间分析开始，讨论了区间矩阵的全正定性，由此建立了不...
- 邵俊伟
- 关键词：不等式证明稳定性分析
- 文献传递
- 基于实代数几何理论的区间系统鲁棒稳定性研究
- 对区间系统鲁棒稳定性的理论研究起始于上世纪七十年代末，在上世纪八、九十年代形成一股热潮并一直持续至今。这期间得到了一批重要的结果，所研究的区间系统模型越来越具有一般性。在涡轮发电、振动控制、飞行器控制等实际工程领域，区间...
- 邵俊伟
- 关键词：鲁棒稳定性
- 二维线性连续系统稳定性的新判据被引量：1
- 2013年
- 提出了一个检验二维线性连续系统稳定性的新算法。该算法基于多项式判别系统理论,可以对系统稳定与否作出完备的判断,克服了传统频域方法需要取大量频率点进行检验且只能提供近似结论的不足。更重要的是,此算法可以用于分析含参数系统的稳定裕度。实际案例显示了该算法的有效性。
- 邵俊伟侯晓荣
- 关键词：稳定性
