| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第一章 引言 | 第10-16页 |
| ·研究背景与意义 | 第10-14页 |
| ·研究内容 | 第14-15页 |
| ·论文的组织结构 | 第15-16页 |
| 第二章 正则表达式匹配技术综述 | 第16-28页 |
| ·正则表达式的基本概念 | 第16-18页 |
| ·经典的正则表达式匹配方法 | 第18-19页 |
| ·正则表达式匹配的一般流程 | 第18页 |
| ·NFA和DFA的基本概念与比较 | 第18-19页 |
| ·基于确定型有限状态自动机的正则表达式匹配的研究现状 | 第19-27页 |
| ·DFA的空间压缩技术 | 第20-23页 |
| ·DFA构建加速技术 | 第23-24页 |
| ·DFA最小化及其并行技术 | 第24-26页 |
| ·基于硬件加速的匹配技术 | 第26-27页 |
| ·本章小结 | 第27-28页 |
| 第三章 DFA构建的并行加速技术 | 第28-47页 |
| ·问题的提出 | 第28-30页 |
| ·经典的DFA构建算法：子集构造法 | 第30-31页 |
| ·基于多线程并行读写的DFA并行构建算法：PRW | 第31-34页 |
| ·PRW算法的基本思想 | 第31-32页 |
| ·PRW算法的设计与实现 | 第32-34页 |
| ·基于单线程和多线程循环交替的DFA并行构建算法：SMA | 第34-39页 |
| ·SMA算法的基本思想 | 第34-37页 |
| ·SMA算法的设计与实现 | 第37-39页 |
| ·实验评估 | 第39-45页 |
| ·实验环境与实验数据 | 第39-40页 |
| ·PRW算法与k-Reduction算法的比较 | 第40-41页 |
| ·线程数量对PRW算法的影响 | 第41-42页 |
| ·SMA算法与k-Reduction算法的比较 | 第42-43页 |
| ·线程数量对SMA算法的影响 | 第43-44页 |
| ·切换阈值对SMA算法的影响 | 第44-45页 |
| ·本章小结 | 第45-47页 |
| 第四章 DFA并行分解技术 | 第47-62页 |
| ·问题的提出 | 第47-48页 |
| ·基于字符集分解的DFA并行分解算法PDFA | 第48-55页 |
| ·PDFA算法的基本思想 | 第48页 |
| ·PDFA算法的形式化定义与正确性证明 | 第48-50页 |
| ·PDFA算法的整体流程 | 第50-51页 |
| ·PDFA算法的预处理阶段 | 第51-52页 |
| ·PDFA算法的过滤与校验阶段 | 第52-53页 |
| ·PDFA算法对状态转移表大小的影响 | 第53-55页 |
| ·实验评估 | 第55-61页 |
| ·实验环境与实验数据 | 第55页 |
| ·实验一：PDFA算法的空间压缩效果 | 第55-58页 |
| ·实验二：PDFA算法的压缩效果与相关压缩算法的比较 | 第58页 |
| ·实验三：PDFA算法的过滤效果 | 第58-60页 |
| ·实验四：PDFA算法的匹配用时 | 第60-61页 |
| ·本章小结 | 第61-62页 |
| 第五章 DFA最小化的并行加速技术 | 第62-71页 |
| ·问题的提出 | 第62-63页 |
| ·经典的DFA最小化算法Hopcroft | 第63-64页 |
| ·基于多线程并行的DFA最小化算法P-Hopcroft | 第64-67页 |
| ·P-Hopcroft算法的基本思想 | 第64-65页 |
| ·P-Hopcroft算法的设计与实现 | 第65-67页 |
| ·实验评估 | 第67-70页 |
| ·实验环境与实验数据 | 第67-68页 |
| ·实验一：P-Hopcroft算法与原始Hopcroft算法的比较 | 第68页 |
| ·8实验二：线程数量对P-Hopcroft算法性能的影响 | 第68-70页 |
| ·本章小结 | 第70-71页 |
| 第六章 总结与展望 | 第71-73页 |
| ·本文工作总结 | 第71-72页 |
| ·下一步的研究工作 | 第72-73页 |
| 参考文献 | 第73-78页 |
| 致谢 | 第78-80页 |
| 攻读学位期间发表或已录用的学术论文 | 第80页 |
