| 线性循环程序的终止性判定 |
| |
| 引用本文： | 李轶.线性循环程序的终止性判定[J].系统科学与数学,2013,33(5):626-638. |
| |
| 作者姓名： | 李轶 |
| |
| 作者单位： | 中国科学院重庆绿色智能技术研究院,重庆,401122 |
| |
| 基金项目： | 国家自然科学基金，国家自然科学基金重点项目，国家973计划项目，重庆市科技攻关项目(cstc2012ggB40004)资助课题 |
| |
| 摘 要： | 对赋值矩阵仅为一个Jordan块的特殊线性循环,构造了不可终止点集的一个子集,证明了此类循环的终止性可仅由该子集是否为空来判定.除此之外,该类循环的终止性被证明也可通过比较几个系数的符号来判定.而对一般的线性循环程序,提出了递归判定算法,使得这类循环的终止性可转化为上述特殊循环的终止性判定.最后,对N-不可终止点,给出了计算N的方法.
|
| 关 键 词： | 可信计算 线性循环 终止性分析 N-不可终止点 |
TERMINATION ANALYSIS OF LINEAR LOOP PROGRAMS |
| |
| LI Yi.TERMINATION ANALYSIS OF LINEAR LOOP PROGRAMS[J].Journal of Systems Science and Mathematical Sciences,2013,33(5):626-638. |
| |
| Authors: | LI Yi |
| |
| Institution: | LI Yi (Chongqing Institute of Green and Intelligent Technology,Chinese Academy of Sciences, Chongqing 401122) |
| |
| Abstract: | |
| |
| Keywords: | Trustworthy computing linear loops termination analysis N-nonterminating point |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
