许有军
- 作品数：3 被引量：3H指数：2
- 供职机构：吉林大学计算机科学与技术学院更多>>
- 发文基金：吉林省科技发展计划基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于扩展规则的若干SAT问题研究
- 从二十世纪五十年代开始,自动推理就成为了计算机科学的一个核心研究领域,而可满足性SAT (Satisfiability)问题是自动推理最重要的问题之一。基于扩展规则的方法是由林海等人于2003年提出的一种可用于求解SAT...
- 许有军
- 关键词：人工智能
- 文献传递
- 基于模型诊断的诊断算法与诊断策略
- 基于模型诊断是人工智能的一个重要的研究方向,是为克服第一代诊断专家系统的严重缺陷而产生的智能推理方法,广泛应用于通信,网络,交通,电子设备,航天等诸多领域。本文首先介绍了关于基于模型诊断的一些基本理论和概念,然后介绍了几...
- 许有军
- 关键词：基于模型诊断
- 文献传递
- 间接使用扩展规则求解#SAT问题被引量：2
- 2011年
- 针对求解#SAT问题时算法时间会随着子句集的规模迅速增加的问题,提出一种间接应用扩展规则的MCEHST算法。该算法首先求出子句集的所有极小碰集,然后应用扩展规则计算这些极小碰集所能扩展出的极大项的数量,即模型数。实验结果表明:MCEHST算法运行时间随子句集规模增加的速度要比CDP和CER算法慢;当子句的长度较短、子句数较多时,MCEHST算法的时间效率较高。
- 许有军欧阳丹彤叶育鑫何加亮
- 关键词：人工智能
