| 几何定理并行验证算法研究 |
| |
| 引用本文： | 潘斌,郭红霞. 几何定理并行验证算法研究[J]. 计算机工程, 2007, 33(1): 16-18 |
| |
| 作者姓名： | 潘斌 郭红霞 |
| |
| 作者单位： | 中科院成都计算机应用研究所,成都,610041;成都大学,成都,610106 |
| |
| 基金项目： | 国家重点基础研究发展计划(973计划) |
| |
| 摘 要： | 几何定理证明的数值验证法以数值计算代替符号计算来提高效率，但是在实际应用中对复杂命题的解题效率还存在问题。该文尝试用并行计算方法来提高算法效率，分析了MPI编程模型下的任务划分、通信组织、任务调度等问题，并在MPICH2下实现了数值并行验证算法，对算法的并行性能指标进行了测试，得到了较好的结果。
|
| 关 键 词： | 几何定理机器证明 数值并行法 任务池 并行性能量度 |
| 文章编号： | 1000-3428（2007）01-0016-03 |
| 修稿时间： | 2006-06-28 |
Research on Parallel Algorithm of Numerical Verification for Geometry Theorem Proving |
| |
| PAN Bin,GUO Hongxia. Research on Parallel Algorithm of Numerical Verification for Geometry Theorem Proving[J]. Computer Engineering, 2007, 33(1): 16-18 |
| |
| Authors: | PAN Bin GUO Hongxia |
| |
| Affiliation: | 1. Chengdu Institute of Computer Application, Chinese Academy of Sciences, Chengdu 610041; 2. Chengdu University, Chengdu 610106 |
| |
| Abstract: | The numerical verification of geometry theorem proving makes use of numerical computation instead of symbolic computation to improve the efficiency,but there are still problems about the efficiency of complex propositions in practice.This paper attempts the parallel computation method to improve the efficiency,analyzes the partitioning,communication and the task-scheduling algorithm with the MPI programming model,realizes the parallel numerical verification algorithm with MPICH2,and tests the efficiency of algorithm through the parallel performance measure,then the results are satisfied. |
| |
| Keywords: | Mechanical geometry theorem proving Parallel numerical method Task pool Parallel performance measure |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载免费的PDF全文 |
