几何定理并行验证算法研究  

Research on Parallel Algorithm of Numerical Verification for Geometry Theorem Proving

作　　者：潘斌[1] 郭红霞[2] 

机构地区：[1]中科院成都计算机应用研究所,成都610041 [2]成都大学,成都610106

出　　处：《计算机工程》2007年第1期16-18,21,共4页Computer Engineering

基　　金：国家"973"计划基金资助项目(CB318003;CB030602)

摘　　要：几何定理证明的数值验证法以数值计算代替符号计算来提高效率,但是在实际应用中对复杂命题的解题效率还存在问题。该文尝试用并行计算方法来提高算法效率,分析了MPI编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2下实现了数值并行验证算法,对算法的并行性能指标进行了测试,得到了较好的结果。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.

关 键 词：几何定理机器证明 数值并行法 任务池 并行性能量度 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]