| 中文摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 第一章 绪论 | 第8-12页 |
| ·迭代序列模式挖掘技术的研究背景 | 第8-10页 |
| ·本文研究内容 | 第10-11页 |
| ·本文结构组织 | 第11-12页 |
| 第二章 序列模式挖掘的相关概念及其研究现状 | 第12-27页 |
| ·序列模式挖掘的相关概念 | 第12-13页 |
| ·序列模式挖掘的经典算法 | 第13-20页 |
| ·迭代闭序列模式的挖掘 | 第20-26页 |
| ·迭代闭序列模式的相关概念 | 第20-22页 |
| ·CLIPER算法 | 第22-26页 |
| ·本章小结 | 第26-27页 |
| 第三章 基于素数编码的分块迭代闭序列模式挖掘 | 第27-37页 |
| ·对于迭代序列模式进行素数分块编码 | 第27-28页 |
| ·迭代序列模式的扩展 | 第28-30页 |
| ·迭代序列模式前缀扩展事件、后缀扩展事件和中缀扩展事件的判定方法 | 第30-32页 |
| ·剪枝搜索空间 | 第32页 |
| ·CIPMPBE算法的描述 | 第32-33页 |
| ·实验设计与分析 | 第33-36页 |
| ·本章小结 | 第36-37页 |
| 第四章 CIPMPBE算法在软件可信性分析中的应用 | 第37-45页 |
| ·CIPMPBE算法在确定软件规范说明中的运用 | 第37-40页 |
| ·CIPMPBE算法在构造软件行分析中的应用 | 第40-44页 |
| ·本章小结 | 第44-45页 |
| 第五章 总结 | 第45-47页 |
| 参考文献 | 第47-50页 |
| 在学期间的研究成果 | 第50-51页 |
| 致谢 | 第51页 |