高健
- 作品数：4 被引量：24H指数：3
- 供职机构：吉林大学计算机科学与技术学院更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金教育部“新世纪优秀人才支持计划”更多>>
- 相关领域：自动化与计算机技术更多>>
- 扩展的随机约束满足问题生成模型研究
- 本文针对约束求解算法的测试问题，研究了当前用于测试算法的各种典型约束满足问题的生成模型，分析了各种模型的特点，提出了扩展的RCSP生成模型以及问题实例的生成办法，给出了一种回溯搜索与相容性检查结合的基于关系矩阵表示的RC...
- 张永刚孙吉贵高健
- 关键词：约束满足问题相变
- 文献传递
- 最先失败原则的约束传播算法被引量：8
- 2008年
- 约束满足问题是人工智能研究领域的重要问题.而弧相容算法是求解约束满足问题的重要工具.在弧相容算法中应用启发式规则已经证明是一种很有效的方式.本文提出一个基于最先失败原则的约束传播算法,该算法在搜索过程中更早地发现含有空域的变量并提前进行回溯,从而提高问题求解效率.同时,在"明月1.0"架构下实现了该算法,实验结果表明使用最先失败原则的弧相容算法要比原来的算法效率上提高了约40%.
- 孙吉贵朱兴军张永刚高健
- 关键词：弧相容约束满足问题
- 一个基于最小冲突修补的动态约束满足求解算法被引量：13
- 2007年
- 约束满足问题是人工智能中一个重要的研究方向,近年来,对动态变化的约束满足问题的研究逐渐成为该领域的热点.在目前该领域最流行的LC算法基础上,引入禁忌搜索策略,提出了一个基于最小冲突修补的算法Tabu-LC.算法在每次冲突调整时将所有冲突变量看成一个整体,并采用分支定界搜索策略求解冲突变量组成的子问题,极大地提高了求解效率.同时,在约束求解系统"明月1.0"架构下给出了算法的具体实现,并针对大量随机问题进行了对比实验.结果表明,Tabu-LC算法在求解效率和解的质量上都明显优于LC算法.
- 孙吉贵高健张永刚
- 关键词：禁忌搜索
- 参数化弧相容约束传播被引量：3
- 2007年
- 为进一步提高约束满足问题求解算法的效率，对约束传播过程进行了分析，并使用变量论域缩减比例对弧相容传播深度进行参数化描述，同时提出了一个约束传播程度可以控制的弧相容传播算法，研究了在不同参数下约束求解算法的效率。该算法在“明月1．0”架构下实现。实验结果表明，约束传播程度是影响算法求解效率的一个重要因素，通过调整控制参数可以使算法效率提高3～4倍。
- 高健孙吉贵张永刚朱兴军
- 关键词：弧相容
