| 致谢 | 第9-10页 |
| 摘要 | 第10-12页 |
| ABSTRACT | 第12-13页 |
| 第一章 绪论 | 第18-22页 |
| 1.1 引言 | 第18-19页 |
| 1.2 本文主要研究内容 | 第19-21页 |
| 1.2.1 课题来源 | 第19页 |
| 1.2.2 主要概念 | 第19-20页 |
| 1.2.3 概念关系图 | 第20-21页 |
| 1.3 论文组织结构 | 第21-22页 |
| 第二章 带有通配符和约束条件模式匹配综述 | 第22-38页 |
| 2.1 经典模式匹配问题 | 第22-23页 |
| 2.2 基于通配符模式匹配问题的扩展 | 第23-30页 |
| 2.2.1 带有通配符模式匹配的研究背景 | 第23-26页 |
| 2.2.2 模式中通配符和约束条件的发展 | 第26-29页 |
| 2.2.3 扩展匹配问题的求解 | 第29-30页 |
| 2.3 带有限长空位和one-off约束的模式匹配(PMGO) | 第30-36页 |
| 2.3.1 问题定义 | 第30-31页 |
| 2.3.2 启发式算法的求解思路 | 第31-33页 |
| 2.3.3 问题解结构的表示和分析 | 第33-36页 |
| 2.4 本章小结 | 第36-38页 |
| 第三章 PMGO问题的求解模型研究 | 第38-51页 |
| 3.1 PMGO问题的约束可满足问题模型 | 第38-41页 |
| 3.1.1 约束可满足问题框架 | 第38页 |
| 3.1.2 PMGO问题的求解模型 | 第38-41页 |
| 3.2 PMGO问题的基本性质 | 第41-45页 |
| 3.2.1 问题的特殊情况分析 | 第41-43页 |
| 3.2.2 问题的解空间及其性质分析 | 第43-45页 |
| 3.3 PMGO问题的图结构表示 | 第45-49页 |
| 3.3.1 one-off约束下的组合优化问题 | 第45-47页 |
| 3.3.2 PMGO问题的有向无环图表示 | 第47-49页 |
| 3.4 本章小结 | 第49-51页 |
| 第四章 PMGO问题的解空间划分 | 第51-62页 |
| 4.1 解空间划分 | 第51-54页 |
| 4.1.1 划分边界 | 第51-53页 |
| 4.1.2 划分完备性 | 第53-54页 |
| 4.2 PMGO问题解空间划分算法SPLIT | 第54-58页 |
| 4.2.1 算法设计思路和流程 | 第54-57页 |
| 4.2.2 算法正确性证明 | 第57-58页 |
| 4.3 解空间划分实验 | 第58-60页 |
| 4.4 本章小结 | 第60-62页 |
| 第五章 图算法求解PMGO问题 | 第62-74页 |
| 5.1 图结构下的剪枝和匹配算法GPM | 第62-69页 |
| 5.1.1 算法总体流程 | 第62-63页 |
| 5.1.2 构建有向无环图 | 第63-65页 |
| 5.1.3 搜索策略与剪枝策略 | 第65-69页 |
| 5.2 GPM算法实验 | 第69-71页 |
| 5.2.1 实验设计参数和流程 | 第69页 |
| 5.2.2 实验结果 | 第69-71页 |
| 5.3 总体求解算法 | 第71-72页 |
| 5.4 本章小结 | 第72-74页 |
| 第六章 特定条件下PMGO问题的分析和求解 | 第74-89页 |
| 6.1 特定模式特征下的完备性分析 | 第74-82页 |
| 6.1.1 相关定义 | 第74-75页 |
| 6.1.2 PMGO问题在特定条件下的完备性证明 | 第75-79页 |
| 6.1.3 完备性实验 | 第79-82页 |
| 6.2 特定模式特征下的算法求解 | 第82-87页 |
| 6.2.1 相关定义 | 第82-83页 |
| 6.2.2 算法规则和总体流程 | 第83-86页 |
| 6.2.3 实验设计 | 第86-87页 |
| 6.3 本章小结 | 第87-89页 |
| 第七章 结束语 | 第89-92页 |
| 7.1 主要研究工作 | 第89-90页 |
| 7.2 下一步工作计划 | 第90-92页 |
| 参考文献 | 第92-98页 |
| 攻读博士学位期间的学术活动及成果情况 | 第98-100页 |