几何定理机器证明并行算法研究
| 第一章 引言 | 第1-18页 |
| 1．1 几何定理机器证明现状 | 第8-12页 |
| 1．2 并行系统和并行算法研究现状 | 第12-15页 |
| 1．3 本文研究目标和内容 | 第15-17页 |
| 1．4 论文的组织和安排 | 第17-18页 |
| 第二章 理论基础与概念描述 | 第18-55页 |
| 2．1 几何定理机器证明方法介绍 | 第18-36页 |
| 2．1．1 几何信息搜索方法 | 第18-26页 |
| 2．1．2 数值并行法 | 第26-30页 |
| 2．1．3 吴方法 | 第30-36页 |
| 2．2 并行计算理论简介 | 第36-55页 |
| 2．2．1 并行计算机系统 | 第36-40页 |
| 2．2．2 并行编程模型 | 第40-42页 |
| 2．2．3 并行算法设计 | 第42-49页 |
| 2．2．4 并行算法性能量度 | 第49-55页 |
| 第三章 并行编程接口MPI简介 | 第55-69页 |
| 3．1 MPI的目的 | 第55-56页 |
| 3．2 MPI新发展 | 第56-60页 |
| 3．3 当前 MPI-2的实现 | 第60-62页 |
| 3．4 MPI性能研究 | 第62-69页 |
| 3．4．1 基于消息传递的并行程序性能模型 | 第63页 |
| 3．4．2 点对点状态性能研究 | 第63-66页 |
| 3．4．3 组通信状态性能研究 | 第66-69页 |
| 第四章 证明器的 MPI环境实现 | 第69-98页 |
| 4．1 前推法的 MPI并行实现 | 第71-84页 |
| 4．1．1 并行策略分析 | 第71-74页 |
| 4．1．2 程序设计 | 第74-81页 |
| 4．1．3 任务调度策略 | 第81-83页 |
| 4．1．4 算法复杂度分析 | 第83-84页 |
| 4．2 数值并行法的 MPI并行实现 | 第84-91页 |
| 4．2．1 并行策略分析 | 第84-85页 |
| 4．2．2 任务调度策略 | 第85-87页 |
| 4．2．3 程序设计 | 第87-91页 |
| 4．3 并行特征列算法初探 | 第91-98页 |
| 4．3．1 大整数并行乘法 | 第93-95页 |
| 4．3．2 多变元多项式并行乘法 | 第95-98页 |
| 第五章 实例与分析 | 第98-105页 |
| 5．1 前推法算法评价 | 第99-102页 |
| 5．2 数值并行法评价 | 第102-105页 |
| 第六章 结论和展望 | 第105-107页 |
| 6．1 主要研究工作回顾 | 第105页 |
| 6．2 研究成果和结论 | 第105-106页 |
| 6．3 进一步工作的方向 | 第106-107页 |
| 参考文献 | 第107-113页 |
| 致谢 | 第113-114页 |
| 发表文章目录 | 第114-115页 |
| 附录1 | 第115-117页 |
| 附录2 | 第117-121页 |
| 附录3 | 第121-122页 |
| 附录4 | 第122页 |
