一类非线性循环程序的终止性

• 作者: 廖苑蓉 陈光喜
• 来源期刊: 微电子学与计算机
• 关键词: 非线性循环程序 终止性 程序验证 Jordan标准型
• 年，卷（期）: 2013,（11）
• 页码范围: 51-55
• 页数: 5页
• 分类号: TP301
• 语种: 中文

摘要

提出一类非线性循环程序的终止性是可以判定的。该类程序的终止性与其赋值矩阵的正特征值相对应的特征向量有关。然后提出了一种新的判定这类程序终止性的方法，该方法跟循环迭代的次数和变量的初始赋值息息相关。通过这个方法，不但能判定这一类程序是否终止，还能对不是所有初始值都终止的程序，给出能使该程序终止的初值建议。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈光喜	桂林电子科技大学广西可信软件重点实验室数学与计算科学学院	82	455	12.0	16.0
2	廖苑蓉	桂林电子科技大学广西可信软件重点实验室数学与计算科学学院	3	2	1.0	1.0