中国科学院重庆绿色智能技术研究院机构知识库

QQ客服 官方微博 反馈留言

	线性循环程序的终止性判定
	李轶
	2013
摘要	对赋值矩阵仅为一个Jordan块的特殊线性循环,构造了不可终止点集的一个子集,证明了此类循环的终止性可仅由该子集是否为空来判定.除此之外,该类循环的终止性被证明也可通过比较几个系数的符号来判定.而对一般的线性循环程序,提出了递归判定算法,使得这类循环的终止性可转化为上述特殊循环的终止性判定.最后,对N-不可终止点,给出了计算N的方法.
发表期刊	系统科学与数学
卷号	33期号:5页码:626-638
收录类别	CSCD
CSCD记录号	CSCD:4928937
语种	中文