基于多核的并行软件工程的CDT模型的研究
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 第1章 绪论 | 第8-14页 |
| ·研究背景 | 第8-9页 |
| ·国内外研究现状及待解决问题 | 第9-12页 |
| ·CDT 模型 | 第9-10页 |
| ·多核处理器 | 第10-12页 |
| ·本论文的研究内容 | 第12-13页 |
| ·论文的组织结构 | 第13-14页 |
| 第2章 CDT 模型相关理论 | 第14-26页 |
| ·范畴论中的基本概念 | 第14-15页 |
| ·范畴 | 第14页 |
| ·函子 | 第14-15页 |
| ·CDT 构造 | 第15-18页 |
| ·基础范畴 | 第15-16页 |
| ·类型函子 | 第16页 |
| ·T‐代数范畴（T‐Algebras） | 第16-17页 |
| ·CDT 的构造步骤 | 第17-18页 |
| ·常用数据类型的CDT 构造 | 第18-24页 |
| ·表的CDT 构造 | 第18-20页 |
| ·二叉树的CDT 构造 | 第20-21页 |
| ·CDT 构造的性质 | 第21-22页 |
| ·CDT 的因式分解定理 | 第22-24页 |
| ·本章小结 | 第24-26页 |
| 第3章 CDT 模型在多核并行软件工程中的应用 | 第26-40页 |
| ·多核处理器 | 第26-32页 |
| ·计算机体系结构 | 第26-27页 |
| ·并行处理技术 | 第27-29页 |
| ·多核处理器和单核处理器的比较 | 第29-30页 |
| ·并行软件工程 | 第30-32页 |
| ·CDT 模型适合必行的秘密 | 第32页 |
| ·传统并行计算模型与CDT 模型 | 第32-36页 |
| ·SIMD 同步并行计算模型 | 第33页 |
| ·MIMD 异步并行计算模型 | 第33-35页 |
| ·CDT 并行计算模型适用于多核平台的特点 | 第35-36页 |
| ·并行程序设计语言——OpenMP | 第36-38页 |
| ·OpenMP 与多核处理器 | 第36-37页 |
| ·OpenMP 与CDT 模型 | 第37-38页 |
| ·本章小结 | 第38-40页 |
| 第4章 基础同态之间关系的研究 | 第40-50页 |
| ·表结构的基础同态之间的关系 | 第40-44页 |
| ·表结构的基础同态介绍 | 第40-42页 |
| ·表结构的基础同态之间的联系 | 第42-44页 |
| ·二叉树的基础同态之间的关系 | 第44-49页 |
| ·二叉树的基础同态介绍 | 第44-48页 |
| ·二叉树的基础同态之间的关系 | 第48-49页 |
| ·本章小结 | 第49-50页 |
| 第5章 表结构CDT 模型的设计实现及性能分析 | 第50-66页 |
| ·构建链表CDT 模型的前期准备 | 第50-52页 |
| ·选取链表作为建立CDT 模型的依据 | 第50-51页 |
| ·链表的ADT（抽象数据类型）模型的建立 | 第51-52页 |
| ·构造链表CDT（范畴数据类型） | 第52-59页 |
| ·构造器函数的算法设计思想 | 第54-58页 |
| ·构造器函数的实现 | 第58-59页 |
| ·并行实验平台 | 第59-61页 |
| ·试验性能分析 | 第61-65页 |
| ·链表的映射函数 | 第61页 |
| ·验证映射函数的可并行性 | 第61-62页 |
| ·实验数值分析 | 第62-65页 |
| ·本章小结 | 第65-66页 |
| 结 论 | 第66-68页 |
| 全文总结 | 第66页 |
| 下一步工作展望 | 第66-68页 |
| 参考文献 | 第68-70页 |
| 攻读硕士学位期间取得的研究成果 | 第70-71页 |
| 致谢 | 第71页 |
