發(fā)布時間：2021-07-01 20:13

　　該文通過對組合數(shù)學中Catalan數(shù)列問題和Fibonacci數(shù)列問題進行深入研究,利用歸納推理、組合數(shù)學中的加法和乘法原理等方法得到問題求解函數(shù),使用變量記錄算法求解過程中子問題的解,并約束循環(huán)變量的變化范圍,獲得問題求解算法的循環(huán)不變式,由此得到了2類數(shù)列問題循環(huán)不變式的統(tǒng)一開發(fā)策略.以二叉樹的形態(tài)數(shù)問題和階梯問題為例,利用所提策略開發(fā)循環(huán)不變式,并基于循環(huán)不變式展示了這2類數(shù)列問題算法程序的形式化推導過程. 

【文章來源】：江西師范大學學報(自然科學版). 2020,44(03)北大核心

【文章頁數(shù)】：6 頁

【文章目錄】：
0 引言
1 2類數(shù)列問題循環(huán)不變式開發(fā)策略
2 形式化開發(fā)算法程序的過程
3 開發(fā)實例
    3.1 二叉樹的形態(tài)數(shù)問題
    3.2 階梯問題
4 總結和展望


【參考文獻】：
期刊論文
[1]自動合成數(shù)組不變式[J]. 李彬,翟娟,湯震浩,湯恩義,趙建華.  軟件學報. 2018(06)
[2]含有析取語義循環(huán)的不變式生成改進方法[J]. 潘建東,陳立前,黃達明,孫浩,曾慶凱.  軟件學報. 2016(07)
[3]一類單元賦值語句型循環(huán)不變式的開發(fā)方法研究[J]. 楊黃磊,薛錦云.  江西師范大學學報(自然科學版). 2014(04)
[4]一種自適應的循環(huán)不變式生成方法[J]. 劉自恒,曾慶凱.  計算機工程. 2013(06)
[5]用daikon發(fā)現(xiàn)循環(huán)不變式[J]. 許歡,王以松.  貴州大學學報(自然科學版). 2012(04)
[6]循環(huán)不變式開發(fā)技術研究[J]. 萬松松,薛錦云,謝武平.  計算機工程與科學. 2010(09)
[7]算法歸納設計策略與循環(huán)不變式[J]. 王曉東,吳英杰,傅仰耿,傅志祥.  福州大學學報(自然科學版). 2004(04)

碩士論文
[1]算法形式化方法在三類組合數(shù)學問題求解中的應用研究[D]. 游穎.江西師范大學 2017



本文編號：3259794