李宏博
- 作品数：14 被引量：28H指数：3
- 供职机构：吉林大学更多>>
- 发文基金：国家自然科学基金吉林省自然科学基金吉林省科技发展计划基金更多>>
- 相关领域：自动化与计算机技术生物学理学更多>>
- 多重调控偶氮苯基多金属氧簇复合物的组装
- 自组装是利用基本的构筑基元,如分子,纳米材料或更大尺寸材料自发形成有序结构的技术。在自组装过程中,聚集体通过非共价作用力形成了稳定的、有规律的几何体,如囊泡、胶束、纳米管和螺旋等。在分子传感器、高效催化和生物医学材料等方...
- 李宏博
- 关键词：偶氮苯主客体
- 文献传递
- 一种基于环切割的约束满足问题求解算法被引量：7
- 2011年
- 该文首先给出一种无环约束满足问题的无回溯搜索算法Tree_Search,然后将环切割思想嵌入到目前最流行的MAC3 rm算法中,给出一种新算法CCS.CCS将原回溯搜索过程分为两部分:第1部分通过回溯搜索求解环切割集中变量,将原问题化简成一个满足弧相容的无环问题;第2部分通过无回溯的Tree_Search算法求解化简后的无环问题,改进了MAC3rm算法.证明了MAC3rm算法在环切割集上求得的局部解一定可以扩展为一个全局解,并且如果原问题无解,则MAC3rm算法在环切割集上找不到局部解.实验结果显示,CCS的效率在大多数情况下高于MAC3rm.在求解随机问题相变阶段的测试用例时,CCS的效率最高可以达到MAC3rm的140倍.Benchmark中几组问题的测试结果显示,CCS在整体上效率高于MAC,最高可以达到MAC3rm的100倍以上.
- 李占山李宏博张永刚王孜文
- 关键词：弧相容
- 概率最大受限路径相容算法被引量：1
- 2015年
- 研究了可用于求解约束满足问题的最大受限路径相容算法(max RPC).max RPC算法执行过程中有大量无效的寻找路径相容证明(PC-witness)的操作,有效地识别和避免这些无效的寻找PC-witness的操作,可以提高max RPC算法的求解效率.首先,提出了在一条约束上任意两个相容的值在任意路径上存在PC-witness的概率;然后,基于这一概率提出了一种概率最大受限路径相容算法(Pmax RPC),并将新算法成功应用于求解约束满足问题的回溯搜索.实验结果显示:Pmax RPC可以避免一部分无效的寻找PC-witness的操作,在求解约束满足问题时,Pmax RPC效率高于max RPC.在某些测试用例上,Pmax RPC比max RPC和最流行的弧相容算法效率更高.
- 李宏博梁艳春李占山
- 关键词：约束满足问题
- 约束满足问题研究及其在配置问题中的应用
- 约束满足问题是人工智能研究领域一个重要分支,在很多实际问题中有着广泛的应用。但约束满足问题的求解是一个NP完全问题,因此一个高效的求解算法一直是该领域众多学者的研究重点。本文首先改进了约束满足问题的经典回顾式搜索算法动态...
- 李宏博
- 关键词：产品配置等价类
- 文献传递
- 图分割在Singleton弧相容算法中的应用被引量：2
- 2010年
- 基于原有SAC-MP算法,提出一种将图分割技术应用到SAC-MP算法中的一种新算法,该算法在执行时能充分利用图分割技术确定适当的k值,避免了由于k值的不确定带来的冗余操作和盲目性.实验结果表明,该算法在求解约束满足问题时效率较高.
- 杜会盈李占山李宏博沈海娇
- 关键词：约束满足问题图分割
- 约束满足问题研究及其在蛋白质结构预测中的应用
- 约束程序是人工智能领域重要的基础模型，在很多领域都有着广泛的应用。本文介绍了约束满足问题的基于回溯搜索结合约束传播技术的求解策略，详述了求解过程中各个模块的细节，分析了不同策略在各个模块对求解效率的影响，重点讨论了在回溯...
- 李宏博
- 关键词：约束满足问题启发式搜索蛋白质结构预测
- 负表约束的简单表缩减广泛弧相容算法被引量：6
- 2016年
- 广泛弧相容算法(generalized arc consistency,简称GAC),是求解约束满足问题的核心方法.表约束理论上可以表示所有约束关系,在过去10年中,有很多应用于表约束的广泛弧相容算法被提出来.在这些算法中,表缩减算法的效率非常高.但是目前的表缩减算法只能应用于正表约束,无法直接应用于负表约束.首先,提出一种表缩减算法STR-N,可以直接应用于负表约束;然后,给出了STR-N的两个改进版本STR-N2和STR-NIC.实验结果显示,STR-N算法在负表约束上的求解效率具有明显的优势.
- 李宏博梁艳春李占山
- 关键词：约束满足问题
- 改进求解约束满足问题粗粒度弧相容算法被引量：12
- 2012年
- 约束满足问题在人工智能领域有着广泛的应用.研究了约束满足问题的粗粒度维持弧相容求解算法,发现在求解过程中,对于指向已赋值变量的弧存在无效的修正检查,证明了这类修正检查是冗余的.提出一种方法避免这类冗余的修正检查,给出改进后的粗粒度弧相容算法的基本框架AC3_frame_ARR,该改进框架可用于改进所有粗粒度弧相容算法.实验结果表明,经过AC3_frame_ARR改进后的算法最多可以节省80%的修正检查次数和40%的求解耗时.
- 李宏博李占山王涛
- 关键词：约束满足问题
- 产品配置器的设计被引量：2
- 2009年
- 针对大批量定制中的产品配置问题,提出一种参数化产品结构模型,采用UML分析设计产品配置,实现了产品配置系统.该系统能建立多种类型产品的通用建模与配置求解,并可以在冲突无解时给出合理解释与提示.该系统还具有给用户提供产品模型元素的发布与收回功能,从而可以动态生成新的配置界面,以满足用户个性化需求.
- 李占山韩文成李宏博王涛
- 关键词：大批量定制产品配置个性化
- 基于动态值启发式的约束满足求解算法被引量：2
- 2011年
- 为提高约束满足问题的求解效率,提出了一种基于动态值启发式的约束满足问题求解算法。该算法在求解过程中吸收了以往启发式算法的优点,充分利用了预处理和弧相容检查阶段的信息。不但加入了变量启发式,而且在实例化变量时,对所有值的优先级进行动态的改变,从而实现了动态值启发式。比较了静态值启发式和动态值启发式的效率,分析了该算法的优缺点。通过随机问题标准库用例测试表明,该算法比经典主流算法具有更好的效率优势。
- 王孜文李占山艾阳李宏博
- 关键词：约束满足问题启发式算法
