张乾
- 作品数：6 被引量：7H指数：1
- 供职机构：吉林大学更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金吉林省自然科学基金更多>>
- 相关领域：自动化与计算机技术政治法律天文地球更多>>
- 辽西兴城曹庄地区早白垩世火山岩地层的划分及对比
- 本论文对辽西兴城曹庄地区的早白垩世火山岩地层进行研究,通过野外区域地质调查和实测剖面工作以及室内的综合地层学分析,厘定了岩石地层序列,针对研究区典型的岩石样品进行锆石U-Pb年龄及地球化学测定,并结合老爷庙南沟地区剖面,...
- 张乾
- 关键词：义县组地层对比锆石U-PB测年地球化学
- 文献传递
- 基于问题结构的边界启发式方法被引量：1
- 2013年
- 现有启发式方法在处理Composed问题时会生成过多节点,造成求解效率下降。基于此类问题结构特性,设计并实现了一种新的变量排序启发式方法——边界启发式。针对问题结构,提出了边界变量的概念,在Composed问题上实现了对边界变量的筛选,检索过程中,同普通变量相比边界变量被赋予更高的实例化优先级,文中给出了新启发式方法的两种实现策略。实验结果表明,新启发式方法在求解效率上明显优于原有启发式方法。
- 李占山张良郭劲松张乾
- 关键词：人工智能约束满足问题
- 基于成功回溯的约束推理技术被引量：1
- 2016年
- 提出了基于成功回溯的约束推理技术及其相应的约束求解算法MAC_BTS,并证明了该算法在一条分枝上回溯到网络相容状态的最坏时间复杂度是O（ned3）。实验结果表明：新的MAC_BTS算法在大多数问题的求解上较国际上流行的MAC3rm算法以及MAC_LC算法取得了10%~20%的加速,甚至在某些问题上达到50%,可见该算法在效率上更优。
- 王涛张乾李占山张良
- 关键词：人工智能约束满足问题
- 春秋时期的戮刑
- 本文利用出土文字材料与传世文献材料，对春秋时期的戮刑做了全面的梳理与考订。 春秋时期的“戮”字源于金文“翏”字，戮字含义中的“杀”和“辱”，反映了当时人们对戮刑的认知，即戮刑是死刑与耻辱刑结合的复合式刑罚。春秋时期尚未...
- 张乾
- 关键词：春秋时期
- 基于实例化次数的CSP求解方法研究
- 约束满足问题(Constraint Satisfaction Problem, CSP)作为一种抽象模型可以对现实世界中的很多问题进行建模求解，被广泛应用于调度、规划、网络以及生物信息学等诸多领域，得到了越来越多的重视和...
- 张乾
- 关键词：约束满足问题
- 文献传递
- 基于实例化次数的约束求解方法研究被引量：5
- 2015年
- 启发式是约束满足问题领域的重要研究课题,有效的启发式方法可以极大地提高问题的求解效率.在求解约束满足问题时,发现变量实例化失败次数与值实例化成功次数反映了变量和值与已实例化集合之间的关系,将实例化次数加以利用可以对问题求解效率有很大的影响.据此,提出了实例化次数的权值统计方法,并将其与现有启发式方法相结合,提出了实例化次数启发式及其相应的约束求解算法MAC_Try,并证明了其在一个分支上的最坏时间复杂度是O(ned3).大量实验结果表明,新的MAC_Try方法在求解效率上明显优于国际上流行的MAC3rm方法.
- 李占山张乾张良
- 关键词：人工智能约束满足问题
