-
题名几何定理并行验证算法研究
被引量：1
- 1
-
-
作者
潘斌
郭红霞
-
机构
中科院成都计算机应用研究所
成都大学
-
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第1期16-18,21,共4页
-
基金
国家"973"计划基金资助项目(CB318003
CB030602)
-
文摘
几何定理证明的数值验证法以数值计算代替符号计算来提高效率,但是在实际应用中对复杂命题的解题效率还存在问题。该文尝试用并行计算方法来提高算法效率,分析了MPI编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2下实现了数值并行验证算法,对算法的并行性能指标进行了测试,得到了较好的结果。
-
关键词
几何定理机器证明
数值并行法
任务池
并行性能量度
-
Keywords
Mechanical geometry theorem proving
Parallel numerical method
Task pool
Parallel performance measure
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名几何定理可读证明的并行化方法(英文)
- 2
-
-
作者
潘斌
郭红霞
-
机构
中国科学院成都计算机应用研究所自动推理实验室
成都大学电子信息工程学院
-
出处
《科学技术与工程》
2007年第18期4769-4773,4780,共6页
-
基金
国家973计划(NKBRSF-2004CB318003)资助
-
文摘
为了生成传统形式的几何定理可读证明,前推法必不可少。但是现有算法在实际应用中对复杂命题的解题效率还存在问题。文中尝试用并行计算方法来提高算法效率,分析了消息传递编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2下实现了并行前向推理算法,对算法的并行性能指标进行了测试。
-
关键词
几何定理可读证明
并行前向推理
并行性能量度
流水线
-
Keywords
geometry theorem readable proving parallel forward reasoning parallel performance measures pipeline
-
分类号
TP391.6
[自动化与计算机技术—计算机应用技术]
-
