| MPI环境下的几何定理并行自动推理 |
| |
| 引用本文： | 潘斌,郭红霞.MPI环境下的几何定理并行自动推理[J].电子科技大学学报（自然科学版）,2008,37(6):908-912. |
| |
| 作者姓名： | 潘斌 郭红霞 |
| |
| 作者单位： | 1.成都理工大学信息管理学院 成都 610059; |
| |
| 基金项目： | 国家重点基础研究发展规划(973计划)
|
| |
| 摘 要： | 将几何定理机器证明和并行计算结合起来考虑,尝试用并行计算方法来提高传统定理证明算法效率,探讨了前推法、数值并行法的并行算法,分析了两种定理证明算法在消息传递编程模型下的任务划分、通信组织、任务调度等问题,并用MPICH2实现了这两种并行算法,对算法的并行性能指标进行了测试,测试数据表明,两种并行算法在基于MPI-2的并行计算环境下,能很好地发挥并行计算的优势,有效缩短构造性几何命题机器证明的时间。
|
| 关 键 词： | 前向推理 并行算法 数值并行法 性能量度 定理证明 |
| 收稿时间： | 2007-04-08 |
Parallel Automated Reasoning for Geometry Theorem Proving Based on MPI Environment |
| |
| PAN Bin,GUO Hong-xia.Parallel Automated Reasoning for Geometry Theorem Proving Based on MPI Environment[J].Journal of University of Electronic Science and Technology of China,2008,37(6):908-912. |
| |
| Authors: | PAN Bin GUO Hong-xia |
| |
| Affiliation: | 1.College of Information Management,Chengdu University of Technology Chengdu 610059;2.College of Electronic and Information Engineering,Chengdu University Chengdu 610106 |
| |
| Abstract: | This paper describes two parallel algorithms for geometry theorem proving based on the two traditional methods:the forward reasoning and the numerical verification method. The task partitioning, communication, and the task-scheduling algorithm are also described with the message-passing programming model. Tests on the parallel computing environment are reported. The results demonstrate that proving time of the program is shorten effectively. |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《电子科技大学学报（自然科学版）》浏览原始摘要信息 |
|
点击此处可从《电子科技大学学报（自然科学版）》下载全文 |
