国家重点基础研究发展计划(CB318003)
- 作品数：3 被引量：4H指数：1
- 相关作者：郭红霞潘斌陈蜜方海光任剑锋更多>>
- 相关机构：成都理工大学成都大学首都师范大学更多>>
- 发文基金：国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 教育软件工程的研究框架与发展趋势被引量：3
- 2007年
- 教育软件的开发一直缺少相适应的开发方法的研究。教育软件工程是近年来出现的崭新的研究方向,是软件工程和教育学相互融合深入的产物。首先从总体上讨论了教育软件的概念、教育软件工程在软件产品开发中和生存周期的关系,然后描述了当前应用的具有代表性的教育软件开发模型,最后是关于教育软件工程的未来研究课题内容、研究趋势整体框架和研究发展分层结构。
- 方海光陈蜜任剑锋
- 关键词：教育软件分层结构
- MPI环境下的几何定理并行自动推理
- 2008年
- 将几何定理机器证明和并行计算结合起来考虑,尝试用并行计算方法来提高传统定理证明算法效率,探讨了前推法、数值并行法的并行算法,分析了两种定理证明算法在消息传递编程模型下的任务划分、通信组织、任务调度等问题,并用MPICH2实现了这两种并行算法,对算法的并行性能指标进行了测试,测试数据表明,两种并行算法在基于MPI-2的并行计算环境下,能很好地发挥并行计算的优势,有效缩短构造性几何命题机器证明的时间。
- 潘斌郭红霞
- 关键词：定理证明
- 几何定理机器证明的并行前向推理被引量：1
- 2008年
- 为了提高传统前向推理算法在几何定理机器证明中的解题效率,采用并行计算方法来组织推理过程,基于消息传递模型,分析了前向推理并行算法的任务划分、通信组织、任务调度等问题,讨论了算法的时间复杂度,并在MPICH 2构建的并行计算环境下实现了并行前向推理算法.对多个几何定理实例进行的并行性能指标测试表明,该算法并行性好,与传统串行算法相比,在证明复杂的几何命题时,能显著减少推理时间.
- 潘斌郭红霞
- 关键词：定理证明
