几何定理可读证明的并行化方法(英文)  

Parallel Method for Geometry Theorem Readable Proving

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

机构地区：[1]中国科学院成都计算机应用研究所自动推理实验室,成都610041 [2]成都大学电子信息工程学院,成都610106

出　　处：《科学技术与工程》2007年第18期4769-4773,4780,共6页Science Technology and Engineering

基　　金：国家973计划(NKBRSF-2004CB318003)资助

摘　　要：为了生成传统形式的几何定理可读证明,前推法必不可少。但是现有算法在实际应用中对复杂命题的解题效率还存在问题。文中尝试用并行计算方法来提高算法效率,分析了消息传递编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2下实现了并行前向推理算法,对算法的并行性能指标进行了测试。To produce the traditional readable proving of geometry theorem, the forward reasoning is necessary. In practice, the traditional algorithms still have problems about the efficiency for complex propositions. Attempted the parallel computation method to improve the efficiency, the partitioning, communication and the task -scheduling algorithm with the message - passing programming model are analyzed, Finally, implement the parallel forward reasoning algorithm with MPICH 2, the efficiency of algorithm through the parallel performance measures is tested .

关 键 词：几何定理可读证明 并行前向推理 并行性能量度 流水线 

分 类 号：TP391.6[自动化与计算机技术—计算机应用技术]