非线性循环及Rm上线性循环的终止性判定

摘要：

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

关键词：非线性循环、线性循环、终止性分析、周期轨道

所属期刊栏目：45

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

资助基金：国家自然科学基金资助项目11101295;国家自然科学基金资助项目N61103110;重庆市科技攻关项目cstc2012ggB40004

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

页数：共7页

页码：110-116