2025年1月23日
星期四
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
封磊
作品数:
1
被引量:2
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张