文献检索-宁波市创意产业特色资源库

限定检索结果

非线性循环及R^m上线性循环的终止性判定: 收藏
分享
引用; 《四川大学学报（工程科学版）》2013年第2期45卷 110-116页; 作者：陈敬敏中国科学院成都计算机应用研究所四川成都610041 四川大学数学学院四川成都610064; 为了研究程序设计中的软件可信性问题,分析了非线性单重循环程序While x∈Ωdo{x:=f(x)}end当Ω为有限个互不相交的闭区间之并时的终止性,证明该终止性在一定条件下可以由周期轨道的存在性加以判别,给出了确定条件下此类程序不终止的充...; 为了研究程序设计中的软件可信性问题,分析了非线性单重循环程序While x∈Ωdo{x:=f(x)}end当Ω为有限个互不相交的闭区间之并时的终止性,证明该终止性在一定条件下可以由周期轨道的存在性加以判别,给出了确定条件下此类程序不终止的充分必要条件,并建立了相应的判定程序。进一步,利用Brower不动点定理及凸分析的理论,在Rm上建立了当循环条件Ω是有限个互不相交的闭凸集之并时线性循环程序终止性判定的方法。; 来源：详细信息评论

限定检索结果