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

【文章來(lái)源】：江西師范大學(xué)學(xué)報(bào)(自然科學(xué)版). 2020,44(03)北大核心

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

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


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

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



本文編號(hào)：3259794