【摘 要】
：
为了提高传统前向推理算法在几何定理机器证明中的解题效率,采用并行计算方法来组织推理过程,基于消息传递模型,分析了前向推理并行算法的任务划分、通信组织、任务调度等问
【机 构】
：
成都理工大学信息管理学院,成都大学电子信息工程学院
论文部分内容阅读
为了提高传统前向推理算法在几何定理机器证明中的解题效率,采用并行计算方法来组织推理过程,基于消息传递模型,分析了前向推理并行算法的任务划分、通信组织、任务调度等问题,讨论了算法的时间复杂度,并在MPICH 2构建的并行计算环境下实现了并行前向推理算法.对多个几何定理实例进行的并行性能指标测试表明,该算法并行性好,与传统串行算法相比,在证明复杂的几何命题时,能显著减少推理时间.
其他文献
脉冲电源是实现高精度电解加工的关键技术之一．文中研制了一种用于微细电解加工的超短脉冲——纳秒级脉冲电源，其最小稳定输出脉宽为100ns，额定电流为1A，占空比和频率均独立可调．
本文立足于高等学校共青团建设工作的领导力，综合运用领导力学及管理学的相关原理和理论进行解析和探究，关注领导特质及实践方法，力求把共青团建设工作做得更有成效。
通过教学实践，仅就目前计算机应用基础课程教学的内容、结构、授课方式等问题提出计算机应用基础教学改革几点想法。
高职院校体育课程与思想政治教育是协同推进大学生体育与德育的双引擎。在"立德树人"教育总任务的指引下,如何将高职学生培养成身体健康的社会主义事业建设者和大国工匠,是高
本文针对高职院校《冲压工艺与模具设计》课程过程中出现的问题,提出了一些改进和实施的意见,从而利于进一步开展模具制造和设计专业其它专业课程的教学工作。
项目教学法的重要性已经得到了学校和社会的认可,但在教学实践中,项目教学法如果使用不当,直接影响到教学效果。本文结合教学实践,对当前高职艺术项目教学中存在的问题进行了
钛铁品位检测效率的高低是关系钛精矿、铁精矿生产规模化的关键问题。鉴于能量色散X荧光分析（EDXRF）技术的非破坏性、多元素快速分析等优势,开发了钛铁品位在线自动分析系统,该
随着旅游业的发展和人们对旅游业认识的深入，旅游业对环境的影响和破坏正在被人们所了解。在发展旅游业的同时，如何将因旅游而造成的环境污染降到最低以符合可持续发展的要求是
在当今世界与我国经济的大格局中，我国于今年与今后一个时期的高校毕业生的就业，面临着严峻的形势；党和国家的宏观调控及促进大学生就业的政策也非常有力；高校毕业生和只要具备良
对摇摆条件下的层流和湍流流体的受力特性进行了分析。从Navier-Stokes方程出发建立了摇摆条件下层流和湍流流体的流动模型,推导出了摇摆条件下圆管内层流和湍流流体的速度表