韩文成
- 作品数：4 被引量：3H指数：1
- 供职机构：吉林大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金吉林省科技发展计划基金吉林省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于分解的正向相容算法研究
- 约束满足问题是人工智能领域一个非常重要的研究领域。正向相容算法是约束满足问题求解的一个重要求解分支。本文的主要研究内容是基于对正向相容算法的研究,利用分解的相关理论知识,在结点赋值后不考虑已经赋值结点和当前结点将剩余的约...
- 韩文成
- 关键词：约束满足问题
- 文献传递
- 约束分解技术回顾与展望被引量：1
- 2011年
- 约束满足问题是一个强有力的知识表示框架,可以有效地解决许多问题。由于约束满足问题一般情况下是NP难度的问题,因此通过约束分解来降低计算的开销具有十分重要的意义。主要描述约束分解在约束满足问题中的地位、经典的分解技术和约束分解技术的发展历史,然后简要地分析这些分解技术。介绍了关于约束分解研究的最新状况,并描述、分析和总结其主要求解思想。最后根据存在的问题与不足提出了下一步的工作方向和研究思路。
- 李占山韩文成郭霆
- 关键词：约束满足问题
- 产品配置器的设计被引量：2
- 2009年
- 针对大批量定制中的产品配置问题,提出一种参数化产品结构模型,采用UML分析设计产品配置,实现了产品配置系统.该系统能建立多种类型产品的通用建模与配置求解,并可以在冲突无解时给出合理解释与提示.该系统还具有给用户提供产品模型元素的发布与收回功能,从而可以动态生成新的配置界面,以满足用户个性化需求.
- 李占山韩文成李宏博王涛
- 关键词：大批量定制产品配置个性化
- 基于等价类划分的配置求解与解释计算
- 2011年
- 基于约束的配置模型中会有一些变量之间不存在任何直接或间接的约束关系,这样的变量之间进行约束传播不会互相影响取值.基于配置问题的这一特点,提出了一种等价类划分的思想,用于构造产品模型时的预处理技术,可以有效地将原问题划分为若干子问题,证明了这些子问题可以分别处理.分别采用两种回溯策略对求解效率进行了测试,结果表明能够有效地提高求解效率.最后,等价类划分方法与计算解释的QUICKXPLAIN算法集成计算冲突解释,测试结果表明,经过等价类划分后,同样可以有效地提高计算解释的效率.
- 李宏博李占山韩文成
- 关键词：等价类
