非线性循环及R^m上线性循环的终止性判定

作     者：陈敬敏 CHEN Jing-min

作者机构：中国科学院成都计算机应用研究所四川成都610041 四川大学数学学院四川成都610064 

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

出 版 物：《四川大学学报（工程科学版）》 (Journal of Sichuan University (Engineering Science Edition))

年 卷 期：2013年第45卷第2期

页      码：110-116页

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

主 题 词：非线性循环 线性循环 终止性分析 周期轨道 

学科分类：0810[工学-土木类] 08[工学] 0805[工学-能源动力学] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.15961/j.jsuese.2013.02.017

馆 藏 号：203534922...