摘要：为了研究程序设计中的软件可信性问题,分析了非线性单重循环程序While x∈Ωdo{x：=f（x）}end当Ω为有限个互不相交的闭区间之并时的终止性,证明该终止性在一定条件下可以由周期轨道的存在性加以判别,给出了确定条件下此类程序不终止的充分必要条件,并建立了相应的判定程序。进一步,利用Brower不动点定理及凸分析的理论,在R^m上建立了当循环条件Ω是有限个互不相交的闭凸集之并时线性循环程序终止性判定的方法。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社