吉林省青年科研基金(20080107)
- 作品数：7 被引量：31H指数：3
- 相关作者：张永刚孙吉贵李莹朱兴军张长胜更多>>
- 相关机构：吉林大学东北大学中华人民共和国住房和城乡建设部更多>>
- 发文基金：吉林省青年科研基金国家自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术交通运输工程机械工程更多>>
- 一种基于PSO的分割聚类算法被引量：5
- 2008年
- 为了求得一个数据集的最优分割,提出了一种基于PSO的分割聚类算法-PKPSO,将PSO算法和K均值聚类算法有效地结合在一起,对群体中的候选解有选择地利用K均值算法做进一步优化以提高解的精度。通过对算法的分析,给出了控制参数选择依据。并将此算法与单独使用K均值、PSO算法及QPSO算法聚类进行比较,试验测试结果表明:PKPSO算法有更好的全局收敛性,不仅能有效地克服传统算法易陷入局部极小值的缺点,而且求得解的精度和算法的稳定性都明显优于其他方法。
- 张长胜孙吉贵崔妍杨凤芹
- 关键词：人工智能粒子群算法K均值算法惯性权重
- 一个基于动态代理次序的分布式约束求解算法
- 2009年
- 最近分布式约束满足问题逐渐成为人工智能领域一个新的研究热点,它的提出将约束满足问题的应用范围扩展到复杂的分布式环境。并发搜索是求解分布式约束满足问题的一个高效算法。文中改进了并发搜索中的变量选择策略,将动态代理次序应用到其中,同时提出了一个适合于分布式条件下的基于动态代理次序的并发搜索算法。多组随机生成问题实验结果显示加入动态代理次序的并发回溯搜索在求解效率和通信量方面都表现出优异的性能。
- 张剑鹏高健
- 关键词：分布式约束满足
- 一种新的基于完全独立相容性的预处理技术被引量：3
- 2009年
- 研究了求解约束满足问题(Constraint satisfaction problem,CSP)中的预处理技术.首先提出了子论域上的完全独立相容性(Entirety singleton consistency,ESC)概念和相应算法,分析并证明了算法的复杂性和正确性,而后对其两条重要性质进行了详细证明.基于此概念和性质,提出了一种基于完全独立相容性的预处理算法:SAC-ESC算法,并给出了正确性证明.最后,本文采用分治思想,根据不同问题的论域自适应地合理划分其子论域.实验结果表明,对于随机问题、鸽巢问题、N皇后问题和基准用例,算法SAC-ESC的执行效率大约是目前流行算法SAC-SDS和SAC-3的3～20倍.
- 朱兴军孙吉贵张永刚李莹
- 关键词：约束满足问题分治策略
- 基于注意力机制归纳网络的小样本关系抽取模型
- 2023年
- 针对小样本关系抽取问题,提出一种基于注意力机制的归纳网络.首先,利用归纳网络中的动态路由算法学习类别表示;其次,提出实例级别的注意力机制,用于调整支持集,并获取支持集与查询集样本之间的高级信息,进而获得与查询实例更相关的支持集样本.该模型很好地解决了训练数据不足时如何进行关系抽取的问题.在小样本关系抽取数据集FewRel上进行实验,得到的实验结果为:5-way 5-shot情形下准确率为(88.38±0.27)%,5-way 10-shot情形下准确率为(89.91±0.33)%,10-way 5-shot情形下准确率为(77.92±0.44)%,10-way 10-shot情形下准确率为(81.21±0.39)%.实验结果表明,该模型能适应任务并且优于其他对比模型,在小样本关系抽取中取得了优于对比模型的结果.
- 季泊男张永刚
- 关键词：关系抽取自然语言处理
- 基于约束理论的轿车涂装迂回工艺倒推排序算法被引量：3
- 2008年
- 针对轿车涂装迂回工艺的排序难题提出了一个基于TOC的倒推排序算法,该算法从涂装的下线顺序入手,反向进行计算,倒推得到涂装的上线顺序。在自行设计实现的汽车生产线APS系统中应用结果表明,该算法切实可行,具有很高的效率。
- 刘春晖张永刚徐均哲
- 关键词：计算机软件
- 一种新的基于扩展规则的定理证明算法被引量：19
- 2009年
- 基于扩展规则的定理证明方法是一种与归结方法互补的新的定理证明方法.首先通过对扩展规则的深入研究,给出了扩展规则的一个重要性质,设计并实现了该性质的判定算法.此外,从理论上分析及证明了该判定算法的时间和空间复杂性.基于此,提出了一种新的基于扩展规则的定理证明算法NER,将判定子句集可满足性问题转化为一系列文字集合的包含问题,而非计数问题.实验结果表明,算法NER的执行效率较原有扩展规则算法IER和基于归结的有向归结算法DR有明显提高,有些问题可以提高两个数量级.
- 孙吉贵李莹朱兴军吕帅
- 关键词：定理机器证明命题逻辑
- 多值传播的相容性技术被引量：2
- 2009年
- 相容性技术是求解约束满足问题的重要手段.本文针对目前已有相容性算法的单值传播特点,提出多值传播理论,证明出k次单值传播与一次多值传播的等价性,在此基础上,给出多值传播的弧相容定理.将该定理与目前流行的Singleton弧相容技术结合,得到多值传播算法SAC-MP,并证明其完备性和正确性.通过对随机问题、N皇后、鸽巢问题及基准用例的测试表明,算法SAC-MP的执行效率是已有算法SAC-SDS和SAC-3的2～3倍.
- 朱兴军张永刚李莹张长胜
- 关键词：约束满足问题
