有界闭域上的线性赋值循环终止性分析*

• 作者: 冯勇 吴文渊 李轶
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 可信计算 非线性循环 终止性分析 Jordan标准型 有界闭域
• 年，卷（期）: 2014,（6）
• 所属期刊栏目: 软件学报
• 页码范围: 1133-1142
• 页数: 10页
• 分类号: TP301
• 字数: 9713字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004427

摘要

对有界闭域上的线性赋值循环程序终止性问题进行研究。利用Jordan标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题。证明了当线性迭代映射满足一定条件时，该类循环程序不可终止的充分必要条件是：迭代映射在有界闭域上有不动点或周期轨。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李轶	中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室	13	20	2.0	4.0
2	冯勇	中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室	52	233	8.0	13.0
3	吴文渊	中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室	19	79	6.0	8.0