刘春晖
- 作品数：4 被引量：8H指数：2
- 供职机构：吉林大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金吉林省青年科研基金吉林省科技发展计划基金更多>>
- 相关领域：自动化与计算机技术交通运输工程机械工程理学更多>>
- 基于约束传播的约束求解方法研究
- 约束程序是人工智能的重要研究方向,约束推理是约束程序领域中一个重要的概念,它包括在求解一个约束满足时,为找到满足所有约束的解而用到的各种技术。而约束传播即为众多的约束推理技术之一,目前已经成为约束求解的核心技术。本文的主...
- 刘春晖
- 某些醇和胺体系中硅铝沸石的合成
- 刘春晖
- 基于约束理论的轿车涂装迂回工艺倒推排序算法被引量：3
- 2008年
- 针对轿车涂装迂回工艺的排序难题提出了一个基于TOC的倒推排序算法,该算法从涂装的下线顺序入手,反向进行计算,倒推得到涂装的上线顺序。在自行设计实现的汽车生产线APS系统中应用结果表明,该算法切实可行,具有很高的效率。
- 刘春晖张永刚徐均哲
- 关键词：计算机软件
- 一种改进的双向singleton弧相容算法被引量：2
- 2008年
- 在现有相容性算法研究的基础上,提出了一种在约束网络中确立双向singleton弧相容的新算法——BiSAC-2,并给出了其正确性和完备性证明。该算法与原有算法BiSAC-1具有相同的化简问题能力,但BiSAC-2能够减少弧相容维护的次数,避免冗余约束传播过程的产生,从而可以快速地到达稳定点,进而实现高效的目的。对随机约束满足问题的测试结果表明,算法BiSAC-2比原始算法BiSAC-1具有更明显的性能优势。
- 刘春晖朱兴军孙吉贵姜珊珊
- 关键词：人工智能约束满足问题
