邵俊伟

作品数：5被引量：4H指数：1
导出分析报告
供职机构：电子科技大学能源科学与工程学院更多>>
发文主题：不等式区间分析非负性稳定性判据更多>>
发文领域：理学自动化与计算机技术更多>>
发文期刊：《系统科学与数学》《中国科学：信息科学》《数学学报（中文版）》《计算机工程与科学》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
二维线性连续系统稳定性的新判据被引量：1
《计算机工程与科学》2013年第1期171-174,共4页邵俊伟 侯晓荣 
国家自然科学基金资助项目(61074189)
提出了一个检验二维线性连续系统稳定性的新算法。该算法基于多项式判别系统理论,可以对系统稳定与否作出完备的判断,克服了传统频域方法需要取大量频率点进行检验且只能提供近似结论的不足。更重要的是,此算法可以用于分析含参数系统...
关键词：二维系统 稳定性 多项式判别系统 
InequalityProve及一个公开问题的求解被引量：1
《计算机工程与科学》2011年第6期114-117,共4页邵俊伟 侯晓荣 
国家973计划资助项目(2004CB318000);国家自然科学基金资助项目(10571095)
传统的不等式自动证明方法主要依赖于符号计算,一般只能处理代数类型,或可最终转化为代数类型的不等式,而且效率会随着问题中变量个数的增加迅速降低。为克服这些局限性以满足众多实际问题的需要,并充分挖掘计算机在数值计算方面的能力...
关键词：区间分析 不等式 自动证明 
加权差分代换与型的非负性判定
《数学学报（中文版）》2010年第6期1171-1180,共10页侯晓荣 徐松 邵俊伟 
国家重点基础研究发展规划基金(2004CB318000);国家自然基金资助项目(10571095)
本文从几何的视角来研究加权差分代换,引入代换集序列收敛性概念,证明了逐次加权差分代换是收敛的.并据此给出正定型在逐次加权差分代换下可正向终止的一个严格的证明,得到了不定型在逐次加权差分代换下可负向终止并自动输出反例的一个...
关键词：加权差分代换 型的非负性判定 重心重分 
基于区间分析的不等式自动证明被引量：2
《系统科学与数学》2010年第10期1351-1358,共8页侯晓荣 邵俊伟 
国家973重点基础研究发展规划项目(2004CB318000);国家自然科学基金(10571095;61074189)资助
提出了一种基于区间分析的不等式自动证明方法,这一方法可以处理类型较为一般的不等式,只需对应的函数具有所需的高阶连续可微性质,而传统的不等式自动证明方法一般仅处理代数类型,或可最终转化为代数类型的不等式.实际例子显示,该方法...
关键词：区间分析 不等式 自动证明 
差分代换的一些几何性质
《中国科学：信息科学》2010年第8期1096-1105,共10页侯晓荣 徐松 邵俊伟 
国家重点基础研究发展计划(批准号:2004CB318000);国家自然科学基金(批准号:10571095)资助项目
文中从一种新的视角,即从几何上来研究差分代换,给出了差分代换的几何意义,引入代换收敛性概念,证明了逐次差分代换是不收敛的;得到了一个有趣结果:给定一个k维有理超平面,则用有限次差分代换总能把该k维有理超平面变为新变量所在坐标系...
关键词：差分代换 型的非负性判定 重心重分 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部