有界闭域上的线性赋值循环终止性分析*
对有界闭域上的线性赋值循环程序终止性问题进行研究。利用Jordan标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题。证明了当线性迭代映射满足一定条件时,该类循环程序不可终止的充分必要条件是:迭代映射在有界闭域上有不动点或周期轨。
可信计算、非线性循环、终止性分析、Jordan标准型、有界闭域
TP301(计算技术、计算机技术)
国家自然科学基金61103110;重庆市科技攻关项目cstc2012ggB40004
2014-08-23(万方平台首次上网日期,不代表论文的发表时间)
共10页
1133-1142