非线性循环相关论文
单重线性循环程序的终止性问题已被广泛研究,而有关非线性循环终止性判定的结果甚少.利用不动点理论研究了n维单重非线性循环的终......
运用计算机代数中的Groebner基理论,对有界闭连通域上的单重非线性循环程序的终止性问题进行研究,建立了可计算的终止性判定算法.......
对有界闭域上的线性赋值循环程序终止性问题进行研究。利用Jordan标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单......
为了研究程序设计中的软件可信性问题,分析了非线性单重循环程序While x∈Ωdo{x：=f（x）}end当Ω为有限个互不相交的闭区间之并时的终......
