计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2012年
10期
105-108
,共4页
程序验证%终止性分析%非线性循环程序%不动点%周期点
程序驗證%終止性分析%非線性循環程序%不動點%週期點
정서험증%종지성분석%비선성순배정서%불동점%주기점
利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论,证明一类非线性循环程序不终止的必要条件是在该程序循环区间上有不动点或者周期点存在,并给出相应的终止性验证算法.利用该算法可以验证一维有界闭区间上的非线性循环程序的终止性.最后,给出计算实例演示该算法的算法步骤.
利用符號動力學理論中有關一維離散映射的函數和區間的轉換圖方法及相關結論,證明一類非線性循環程序不終止的必要條件是在該程序循環區間上有不動點或者週期點存在,併給齣相應的終止性驗證算法.利用該算法可以驗證一維有界閉區間上的非線性循環程序的終止性.最後,給齣計算實例縯示該算法的算法步驟.
이용부호동역학이론중유관일유리산영사적함수화구간적전환도방법급상관결론,증명일류비선성순배정서불종지적필요조건시재해정서순배구간상유불동점혹자주기점존재,병급출상응적종지성험증산법.이용해산법가이험증일유유계폐구간상적비선성순배정서적종지성.최후,급출계산실례연시해산법적산법보취.
