张良
- 作品数：6 被引量：11H指数：2
- 供职机构：吉林大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金吉林省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- Dom/ddeg自主分支辅助决策约束求解被引量：4
- 2014年
- 基于自主分支约束求解方法,提出一种新的自主分支辅助决策约束求解算法AUTOdom/ddeg,并在标准测试库Benchmarks上进行对比实验.实验结果表明,AUTOdom/ddeg算法能显著提高求解效率.
- 王海燕李闯张良董延华
- 基于问题结构的边界启发式方法被引量：1
- 2013年
- 现有启发式方法在处理Composed问题时会生成过多节点,造成求解效率下降。基于此类问题结构特性,设计并实现了一种新的变量排序启发式方法——边界启发式。针对问题结构,提出了边界变量的概念,在Composed问题上实现了对边界变量的筛选,检索过程中,同普通变量相比边界变量被赋予更高的实例化优先级,文中给出了新启发式方法的两种实现策略。实验结果表明,新启发式方法在求解效率上明显优于原有启发式方法。
- 李占山张良郭劲松张乾
- 关键词：人工智能约束满足问题
- 结合look-ahead值排序的自适应分支求解算法被引量：1
- 2013年
- 基于新近提出的自适应分支约束求解框架,结合look-ahead值启发式,提出一种新的约束求解算法AdaptBranchLVO。为验证算法效率,在标准测试库上进行了充分对比实验。结果表明,新提出算法在效率上明显优于已有的自适应分支求解算法。
- 王海燕欧阳丹彤张永刚张良
- 关键词：约束满足问题
- 基于成功回溯的约束推理技术被引量：1
- 2016年
- 提出了基于成功回溯的约束推理技术及其相应的约束求解算法MAC_BTS,并证明了该算法在一条分枝上回溯到网络相容状态的最坏时间复杂度是O（ned3）。实验结果表明：新的MAC_BTS算法在大多数问题的求解上较国际上流行的MAC3rm算法以及MAC_LC算法取得了10%~20%的加速,甚至在某些问题上达到50%,可见该算法在效率上更优。
- 王涛张乾李占山张良
- 关键词：人工智能约束满足问题
- 结合Survivors-first学习型值排序的自适应分支求解
- 2013年
- 针对单一的自适应分支启发式无法充分发挥自适应约束求解的优势这一问题,将自适应分支策略与学习型值启发式Survivors-first相结合,提出了AdaptBranchsurv算法。最后,针对几类典型的Benchmark问题进行测试,结果表明:AdaptBranchsurv算法能显著提高约束求解的效率。
- 王海燕欧阳丹彤张永刚张良
- 关键词：约束满足问题
- 基于实例化次数的约束求解方法研究被引量：5
- 2015年
- 启发式是约束满足问题领域的重要研究课题,有效的启发式方法可以极大地提高问题的求解效率.在求解约束满足问题时,发现变量实例化失败次数与值实例化成功次数反映了变量和值与已实例化集合之间的关系,将实例化次数加以利用可以对问题求解效率有很大的影响.据此,提出了实例化次数的权值统计方法,并将其与现有启发式方法相结合,提出了实例化次数启发式及其相应的约束求解算法MAC_Try,并证明了其在一个分支上的最坏时间复杂度是O(ned3).大量实验结果表明,新的MAC_Try方法在求解效率上明显优于国际上流行的MAC3rm方法.
- 李占山张乾张良
- 关键词：人工智能约束满足问题
