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

摘要：

针对Tiwari提出的线性循环程序的终止性判定问题,提出了循环条件为齐次多项式的非线性程序的不可中止性判定的理论证明,然后将程序终止性判定问题转化为参数半代数系统的求解.在求解中,借助强有力的代数符号工具DISCOVERER,解决了计算机浮点计算所造成的近似误差,精确地判定这类程序的不可终止性.最后,通过计算代数理论,把循环条件推广到了非齐次多项式,并且进行了验证.通过理论的证明和实验的验证,解决循环条件是非线性的一类循环程序的方法是高效合理的.

关键词：非线性程序、终止性、程序验证、Jordan标准型

所属期刊栏目：41

分类号：TP301(计算技术、计算机技术)

资助基金：国家科委973资助项目2004CB318003;中国科学院知识创新重要方向资助项目KJCX2-YW-S02;国家自然科学基金资助项目10771205

在线出版日期：2017-01-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：129-133