计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2006年
4期
105-107,161
,共4页
循环不变式%算法程序%形式化方法%PAR方法
循環不變式%算法程序%形式化方法%PAR方法
순배불변식%산법정서%형식화방법%PAR방법
循环不变式体现了循环程序的本质特征,在算法程序的开发、证明和推导中具有十分重要的作用.而传统的循环不变式开发策略并没有很好地解决循环不变式开发难的问题.文章在阐述现有策略局限性的基础上,详细阐述了刻画循环不变式本质特征的新定义及基于此定义的开发循环不变式的新策略,并通过三个典型的实例,对开发新策略的具体应用作了比较深入的探索.
循環不變式體現瞭循環程序的本質特徵,在算法程序的開髮、證明和推導中具有十分重要的作用.而傳統的循環不變式開髮策略併沒有很好地解決循環不變式開髮難的問題.文章在闡述現有策略跼限性的基礎上,詳細闡述瞭刻畫循環不變式本質特徵的新定義及基于此定義的開髮循環不變式的新策略,併通過三箇典型的實例,對開髮新策略的具體應用作瞭比較深入的探索.
순배불변식체현료순배정서적본질특정,재산법정서적개발、증명화추도중구유십분중요적작용.이전통적순배불변식개발책략병몰유흔호지해결순배불변식개발난적문제.문장재천술현유책략국한성적기출상,상세천술료각화순배불변식본질특정적신정의급기우차정의적개발순배불변식적신책략,병통과삼개전형적실례,대개발신책략적구체응용작료비교심입적탐색.
