PAR方法在组合数学问题中的应用研究

摘要	第1-3页
Abstract	第3-6页
第一章 引言	第6-9页
·研究背景	第6-7页
·相关研究情况	第7-8页
·研究的主要内容	第8-9页
第二章 软件形式化方法	第9-16页
·软件形式化方法概述	第9-10页
·形式化方法与软件形式化方法	第9页
·软件形式化方法的发展	第9-10页
·软件形式化方法的特点	第10页
·完全形式化和部分形式化	第10-11页
·典型的形式化语言和方法	第11-13页
·软件开发系统 Specware	第13-16页
第三章 PAR方法及其在组合数学问题上的有效性	第16-28页
·一种实用的算法程序设计方法	第16-21页
·PAR方法的关键技术和自动转换系统	第16-17页
·循环不变式的新定义和开发新策略	第17-18页
·Radl语言和 Apla语言	第18-21页
·PAR方法开发步骤及开发实例	第21-23页
·PAR方法与典型形式化方法的比较	第23-24页
·PAR方法与 Specware的比较	第24-25页
·PAR方法在组合数学问题上的有效性	第25-28页
·PAR方法的特点	第25-26页
·PAR方法在组合数学问题上的有效性	第26-28页
第四章 PAR方法在组合数学问题中的应用研究实例	第28-54页
·字符串长度方案数问题	第28-31页
·错排方案数问题	第31-34页
·最大和问题	第34-37页
·背包问题	第37-40页
·最长公共子序列问题	第40-43页
·第二类司特林(Stirling_2)数问题	第43-44页
·卡特朗(Catalan)数问题	第44-46页
·最小生成树问题	第46-51页
·PAR方法在组合数学问题中的实用性研究	第51-54页
第五章 结束语	第54-55页
·本文工作总结	第54页
·进一步工作和展望	第54-55页
参考文献	第55-58页
附录一 转换器界面	第58-59页
附录二 C++程序代码及运行结果	第59-65页
致谢	第65-66页
学位论文独创性声明	第66页
学位论文版权使用授权书	第66页