2类数列问题循环不变式开发策略研究与应用

发布时间：2021-07-01 20:13

　　该文通过对组合数学中Catalan数列问题和Fibonacci数列问题进行深入研究,利用归纳推理、组合数学中的加法和乘法原理等方法得到问题求解函数,使用变量记录算法求解过程中子问题的解,并约束循环变量的变化范围,获得问题求解算法的循环不变式,由此得到了2类数列问题循环不变式的统一开发策略.以二叉树的形态数问题和阶梯问题为例,利用所提策略开发循环不变式,并基于循环不变式展示了这2类数列问题算法程序的形式化推导过程. 

【文章来源】：江西师范大学学报(自然科学版). 2020,44(03)北大核心

【文章页数】：6 页

【文章目录】：
0 引言
1 2类数列问题循环不变式开发策略
2 形式化开发算法程序的过程
3 开发实例
    3.1 二叉树的形态数问题
    3.2 阶梯问题
4 总结和展望


【参考文献】：
期刊论文
[1]自动合成数组不变式[J]. 李彬,翟娟,汤震浩,汤恩义,赵建华.  软件学报. 2018(06)
[2]含有析取语义循环的不变式生成改进方法[J]. 潘建东,陈立前,黄达明,孙浩,曾庆凯.  软件学报. 2016(07)
[3]一类单元赋值语句型循环不变式的开发方法研究[J]. 杨黄磊,薛锦云.  江西师范大学学报(自然科学版). 2014(04)
[4]一种自适应的循环不变式生成方法[J]. 刘自恒,曾庆凯.  计算机工程. 2013(06)
[5]用daikon发现循环不变式[J]. 许欢,王以松.  贵州大学学报(自然科学版). 2012(04)
[6]循环不变式开发技术研究[J]. 万松松,薛锦云,谢武平.  计算机工程与科学. 2010(09)
[7]算法归纳设计策略与循环不变式[J]. 王晓东,吴英杰,傅仰耿,傅志祥.  福州大学学报(自然科学版). 2004(04)

硕士论文
[1]算法形式化方法在三类组合数学问题求解中的应用研究[D]. 游颖.江西师范大学 2017



本文编号：3259794