| 有界闭区间并上的非线性循环程序的终止性验证 |
| |
| 引用本文： | 李玲娜,田继东,刘德斌.有界闭区间并上的非线性循环程序的终止性验证[J].计算机应用与软件,2012(10):105-108. |
| |
| 作者姓名： | 李玲娜 田继东 刘德斌 |
| |
| 作者单位： | 西南石油大学理学院 四川 成都610500 |
| |
| 基金项目： | 国家自然科学基金重点项目(91018012);国家重点基础研究发展计划项目(2011CB302400) |
| |
| 摘 要： | 利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论,证明一类非线性循环程序不终止的必要条件是在该程序循环区间上有不动点或者周期点存在,并给出相应的终止性验证算法.利用该算法可以验证一维有界闭区间上的非线性循环程序的终止性.最后,给出计算实例演示该算法的算法步骤.
|
| 关 键 词： | 程序验证 终止性分析 非线性循环程序 不动点 周期点 |
TERMINATION VERIFICATION OF NONLINEAR LOOP PROGRAMS OVER THE UNION OF BOUNDED CLOSED INTERVALS |
| |
| Li Lingna Tian Jidong Liu Debin.TERMINATION VERIFICATION OF NONLINEAR LOOP PROGRAMS OVER THE UNION OF BOUNDED CLOSED INTERVALS[J].Computer Applications and Software,2012(10):105-108. |
| |
| Authors: | Li Lingna Tian Jidong Liu Debin |
| |
| Affiliation: | Li Lingna Tian Jidong Liu Debin(School of Sciences,Southwest Petroleum University,Chengdu 610500,Sichuan,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
