首页 | 官方网站   微博 | 高级检索  
     

有界闭域上的线性赋值循环终止性分析
引用本文:李轶,吴文渊,冯勇.有界闭域上的线性赋值循环终止性分析[J].软件学报,2014,25(6):1133-1142.
作者姓名:李轶  吴文渊  冯勇
作者单位:中国科学院 重庆绿色智能技术研究院 自动推理与认知重庆市重点实验室, 重庆 401120;中国科学院 重庆绿色智能技术研究院 自动推理与认知重庆市重点实验室, 重庆 401120;中国科学院 重庆绿色智能技术研究院 自动推理与认知重庆市重点实验室, 重庆 401120
基金项目:国家自然科学基金(61103110);重庆市科技攻关项目(cstc2012ggB40004)
摘    要:对有界闭域上的线性赋值循环程序终止性问题进行研究.利用Jordan 标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题.证明了当线性迭代映射满足一定条件时,该类循环程序不可终止的充分必要条件是:迭代映射在有界闭域上有不动点或周期轨.

关 键 词:可信计算  非线性循环  终止性分析  Jordan  标准型  有界闭域
收稿时间:9/3/2012 12:00:00 AM
修稿时间:2/4/2013 12:00:00 AM

Termination Analysis of Loops with Linear Assignment over Closed and Bounded Domains
LI Yi,WU Wen-Yuan and FENG Yong.Termination Analysis of Loops with Linear Assignment over Closed and Bounded Domains[J].Journal of Software,2014,25(6):1133-1142.
Authors:LI Yi  WU Wen-Yuan and FENG Yong
Affiliation:Chongqing Key Laboratory of Automated Reasoning and Cognition, Automated Reasoning and Cognition Center, Chongqing Institute of Green and Intelligent Technology, The Chinese Academy of Sciences, Chongqing 401120, China;Chongqing Key Laboratory of Automated Reasoning and Cognition, Automated Reasoning and Cognition Center, Chongqing Institute of Green and Intelligent Technology, The Chinese Academy of Sciences, Chongqing 401120, China;Chongqing Key Laboratory of Automated Reasoning and Cognition, Automated Reasoning and Cognition Center, Chongqing Institute of Green and Intelligent Technology, The Chinese Academy of Sciences, Chongqing 401120, China
Abstract:Termination of linear programs over closed and bounded domains is analyzed in this paper. The termination of this class of loops can be reduced to that of another class of loops by means of Jordan canonical forms. It has been shown that under some condition, this kind of loops do not terminate over the domains if and only if there exist fixed points or periodic orbits in the domains.
Keywords:trusted computing  non-linear loop  termination analysi  Jordan canonical form  closed and bounded domain
本文献已被 CNKI 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号