余伟

作品数：2被引量：3H指数：1
导出分析报告
供职机构：中国科学院成都计算机应用研究所更多>>
发文主题：多项式有限差分法分析有限差分循环不变式非线性更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划中国科学院西部之光基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
用Dixon结式产生非线性循环不变式被引量：1
《四川大学学报（工程科学版）》2012年第4期115-121,共7页余伟 冯勇 
国家"973"计划资助项目(2011CB302402);国家自然科学基金面上项目(11171053);国家自然科学基金重大研究计划资助项目(91118001)
针对循环程序的部分正确性问题,在代数变迁系统理论基础上,结合约束理论提出了一种用Dixon结式生成循环不变式的算法。首先,程序被转换成代数变迁系统,再根据代数变迁关系和不变式模板构造一个多项式组,计算此多项式组的Dixon结式可以...
关键词：循环不变式 Dixon结式 模板 约束 
用有限差分法分析多项式程序终止被引量：2
《四川大学学报（工程科学版）》2011年第6期111-114,118,共5页余伟 冯勇 
国家"973"计划资助项目(2011CB302402);中国科学院"西部之光"人才培养计划"联合学者"项目;国家自然科学基金资助项目(11171053)
针对多项式程序的终止性问题,提出了一种使用有限差分法判定其终止性的算法。以有限差分法的基本思想为基础,发现了程序循环条件表达式的值与其有限差分值之间的关系,并对其进行了严格证明,由此得到判定这类循环程序终止性的方法。最后...
关键词：有限差分 循环 终止 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部