国家自然科学基金(91018012)
- 作品数：3 被引量：4H指数：1
- 相关作者：徐嘉姚勇李轶刘德斌田继东更多>>
- 相关机构：西南民族大学中国科学院成都计算机应用研究所中国科学院重庆绿色智能技术研究院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划重庆市科技攻关计划更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 线性循环程序的终止性判定被引量：1
- 2013年
- 对赋值矩阵仅为一个Jordan块的特殊线性循环,构造了不可终止点集的一个子集,证明了此类循环的终止性可仅由该子集是否为空来判定.除此之外,该类循环的终止性被证明也可通过比较几个系数的符号来判定.而对一般的线性循环程序,提出了递归判定算法,使得这类循环的终止性可转化为上述特殊循环的终止性判定.最后,对N-不可终止点,给出了计算N的方法.
- 李轶
- 关键词：可信计算终止性分析
- 有界闭区间并上的非线性循环程序的终止性验证
- 2012年
- 利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论,证明一类非线性循环程序不终止的必要条件是在该程序循环区间上有不动点或者周期点存在,并给出相应的终止性验证算法。利用该算法可以验证一维有界闭区间上的非线性循环程序的终止性。最后,给出计算实例演示该算法的算法步骤。
- 李玲娜田继东刘德斌
- 关键词：终止性分析不动点周期点
- Pólya方法与逐次差分代换方法被引量：3
- 2012年
- 通过检查某些特定型系数的非负性来证明给定型非负性的方法中,最典型的是Pólya方法与基于重心矩阵的逐次差分代换方法(GSDS).本文完整地比较了这两种方法的适用范围,证明了型f如果可使用Pólya方法证明非负性,则GSDS方法也可以,但反之不然.即GSDS方法的适用范围严格大于Pólya方法的适用范围.
- 徐嘉姚勇
