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

Termination of a Class of Non-linear Loop Programs

作　　者：廖苑蓉[1] 陈光喜[1] 

机构地区：[1]桂林电子科技大学广西可信软件重点实验室,数学与计算科学学院,广西桂林541004

出　　处：《微电子学与计算机》2013年第11期51-55,共5页Microelectronics & Computer

基　　金：国家自然科学基金项目(60963024);广西可信软件重点实验室开放基金

摘　　要：提出一类非线性循环程序的终止性是可以判定的.该类程序的终止性与其赋值矩阵的正特征值相对应的特征向量有关.然后提出了一种新的判定这类程序终止性的方法,该方法跟循环迭代的次数和变量的初始赋值息息相关.通过这个方法,不但能判定这一类程序是否终止,还能对不是所有初始值都终止的程序,给出能使该程序终止的初值建议.The termination of a class of non-linear loop program can be determined .The category of the program termination assignment matrix with positive eigenvalues related to the corresponding feature vector .Then proposed a new method to determine the type of program termination ,the method is closely related with the initial assignment of loop iterations and variables .By this method ,not only able to determine whether to terminate this category program ,but also on not all the initial values are the termination procedures ,given recommendations enables the initial value of the program terminates .

关 键 词：非线性循环程序 终止性 程序验证 JORDAN标准型 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]