【摘 要】
：
为了提高传统前向推理算法在几何定理机器证明中的解题效率,采用并行计算方法来组织推理过程,基于消息传递模型,分析了前向推理并行算法的任务划分、通信组织、任务调度等问
【机 构】
：
成都理工大学信息管理学院,成都大学电子信息工程学院
论文部分内容阅读
为了提高传统前向推理算法在几何定理机器证明中的解题效率,采用并行计算方法来组织推理过程,基于消息传递模型,分析了前向推理并行算法的任务划分、通信组织、任务调度等问题,讨论了算法的时间复杂度,并在MPICH 2构建的并行计算环境下实现了并行前向推理算法.对多个几何定理实例进行的并行性能指标测试表明,该算法并行性好,与传统串行算法相比,在证明复杂的几何命题时,能显著减少推理时间.
其他文献
脉冲电源是实现高精度电解加工的关键技术之一．文中研制了一种用于微细电解加工的超短脉冲——纳秒级脉冲电源，其最小稳定输出脉宽为100ns，额定电流为1A，占空比和频率均独立可调．
通过教学实践，仅就目前计算机应用基础课程教学的内容、结构、授课方式等问题提出计算机应用基础教学改革几点想法。
本文针对高职院校《冲压工艺与模具设计》课程过程中出现的问题,提出了一些改进和实施的意见,从而利于进一步开展模具制造和设计专业其它专业课程的教学工作。
钛铁品位检测效率的高低是关系钛精矿、铁精矿生产规模化的关键问题。鉴于能量色散X荧光分析（EDXRF）技术的非破坏性、多元素快速分析等优势,开发了钛铁品位在线自动分析系统,该
随着旅游业的发展和人们对旅游业认识的深入，旅游业对环境的影响和破坏正在被人们所了解。在发展旅游业的同时，如何将因旅游而造成的环境污染降到最低以符合可持续发展的要求是