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

• 作者: 潘斌 郭红霞
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 几何定理机器证明 数值并行法 任务池 并行性能量度
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 博士论文
• 页码范围: 16-18,21
• 页数: 4页
• 分类号: TP311
• 字数: 3317字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.01.006

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘斌	中科院成都计算机应用研究所	3	145	2.0	3.0
2	郭红霞		9	31	3.0	5.0