国家高技术研究发展计划(2007AA01Z146)
- 作品数：3 被引量：14H指数：2
- 相关作者：郭绍忠甄涛贾琦李未罗杰更多>>
- 相关机构：解放军信息工程大学北京航空航天大学更多>>
- 发文基金：国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 基于存储过程的海量邮件数据挖掘被引量：9
- 2010年
- 现有的邮件系统缺少对海量邮件数据的分析和挖掘功能,传统的对单封邮件的分类方式效率低下。针对该问题,研究文本挖掘特点,提出一种基于海量关系型数据库存储过程实现的高效的海量邮件内容数据挖掘算法,并对算法进行多个级别的性能优化。实验结果表明,该算法具有高效性、稳定性和普适性。
- 郭绍忠甄涛贾琦
- 关键词：数据挖掘
- 一个在Horn子句中求解极大缩减的算法被引量：4
- 2011年
- 在信念修正理论中,一个核心问题是求解一个公式集合关于事实集合的所有极大协调子集,即极大缩减.本文尝试从算法的角度来解决这一问题,研究在Horn子句中求解所有极大缩减的算法.首先,本文指出并证明了公式集合和事实集合并集的极小不协调子集与公式集合关于事实集合的极大缩减之间的转化关系.其次,给出并证明了Horn子句集合极小不协调的一个必要条件.然后,基于上述两个结论,本文提出了一个在Horn子句中枚举公式集合和事实集合并集的极小不协调子集的交互式算法和一个通过这些极小不协调子集计算所有极大缩减的算法.最后,综合这两个算法,提出了一个在Horn子句中求解所有极大缩减的交互式算法.
- 罗杰李未
- 关键词：HORN子句
