您的位置: 专家智库 > >

封磊

作品数:1 被引量:2H指数:1
供职机构:南开大学计算机与控制工程学院更多>>
发文基金:天津市自然科学基金国家重点实验室开放基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇代数
  • 1篇递推
  • 1篇迭代
  • 1篇迭代函数
  • 1篇迭代序列
  • 1篇收敛性
  • 1篇敛散
  • 1篇敛散性
  • 1篇函数

机构

  • 1篇南开大学

作者

  • 1篇杨巨峰
  • 1篇姬秀娟
  • 1篇许静
  • 1篇封磊
  • 1篇李晓虹

传媒

  • 1篇计算机学报

年份

  • 1篇2013
1 条 记 录,以下是 1-1
排序方式:
基于递推链代数与迭代序列敛散性的死循环检测被引量:2
2013年
该文针对两大类循环分别给出了非终止性判定的数学方法.首先,针对基本迭代关系为线性或几何性的循环提出了基于递推链代数的分析方法.通过递推链代数将循环变量进行统一表示,根据运算规则推导出循环条件关于迭代次数的闭形式函数,然后通过约束求解以及单调性判断循环的非终止性.其次,针对一元非线性循环提出了基于迭代序列敛散性的分析方法.根据迭代函数以及不动点判断迭代函数产生的迭代序列的敛散性来判断循环的非终止性.实验部分采用Velroyen[20]的52组循环、文献[18-19,21-23]的23组循环、文献[3]以及自组的13组循环进行分析验证,结果表明该文所提出的方法能有效地判断循环的非终止性:若循环无法终止,可以推导出循环无法终止的变量约束;若循环可终止,则可以估算循环的迭代次数.
姬秀娟杨巨峰许静李晓虹封磊
共1页<1>
聚类工具0