期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
有界闭区间并上的非线性循环程序的终止性验证
1
作者
李玲娜
田继东
刘德斌
《计算机应用与软件》
CSCD
北大核心
2012年第10期105-108,共4页
利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论,证明一类非线性循环程序不终止的必要条件是在该程序循环区间上有不动点或者周期点存在,并给出相应的终止性验证算法。利用该算法可以验证一维有界闭区间上的...
利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论,证明一类非线性循环程序不终止的必要条件是在该程序循环区间上有不动点或者周期点存在,并给出相应的终止性验证算法。利用该算法可以验证一维有界闭区间上的非线性循环程序的终止性。最后,给出计算实例演示该算法的算法步骤。
展开更多
关键词
程序
验证
终止性分析
非线性循环程序
不动点
周期点
在线阅读
下载PDF
职称材料
题名
有界闭区间并上的非线性循环程序的终止性验证
1
作者
李玲娜
田继东
刘德斌
机构
西南石油大学理学院
出处
《计算机应用与软件》
CSCD
北大核心
2012年第10期105-108,共4页
基金
国家自然科学基金重点项目(91018012)
国家重点基础研究发展计划项目(2011CB302400)
文摘
利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论,证明一类非线性循环程序不终止的必要条件是在该程序循环区间上有不动点或者周期点存在,并给出相应的终止性验证算法。利用该算法可以验证一维有界闭区间上的非线性循环程序的终止性。最后,给出计算实例演示该算法的算法步骤。
关键词
程序
验证
终止性分析
非线性循环程序
不动点
周期点
Keywords
Program verification Termination analysis Nonlinear loop programs Fixed point Periodic point
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
有界闭区间并上的非线性循环程序的终止性验证
李玲娜
田继东
刘德斌
《计算机应用与软件》
CSCD
北大核心
2012
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
