艾阳
- 作品数：3 被引量：5H指数：2
- 供职机构：吉林大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金吉林省科技发展计划基金吉林省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 求解极小碰集的ROBDD算法的研究与分析
- 基于模型诊断(Model-based diagnosis)是一种智能推理方法,它的出现是为了弥补传统的故障诊断方法的缺点。基于模型诊断已经应用于通信、航天、燃气轮机监控、交通、电子设备等诸多领域。其基本思想是构建待诊断系...
- 艾阳
- 关键词：二元决策图
- 文献传递
- 基于动态值启发式的约束满足求解算法被引量：2
- 2011年
- 为提高约束满足问题的求解效率,提出了一种基于动态值启发式的约束满足问题求解算法。该算法在求解过程中吸收了以往启发式算法的优点,充分利用了预处理和弧相容检查阶段的信息。不但加入了变量启发式,而且在实例化变量时,对所有值的优先级进行动态的改变,从而实现了动态值启发式。比较了静态值启发式和动态值启发式的效率,分析了该算法的优缺点。通过随机问题标准库用例测试表明,该算法比经典主流算法具有更好的效率优势。
- 王孜文李占山艾阳李宏博
- 关键词：约束满足问题启发式算法
- 基于AC-4的动态值启发式约束满足问题求解算法被引量：3
- 2011年
- 通过对弧相容算法AC-4的研究,提出了基于AC-4的动态值启发式约束满足问题求解算法MAC-DMSV。算法充分利用AC-4在初始化阶段建立的计数器信息,选择计数最大者为优先实例化的值。将此值启发式加入MAC算法之中,在MAC的相容性检查时,更新计数器的值,实现了动态值启发式。实验结果表明,MAC-DMSV算法比MAC和BT+MPAC算法具有更高的求解效率。
- 李占山王孜文艾阳李宏博
- 关键词：人工智能约束满足问题
