张永刚
- 作品数：76 被引量：354H指数：10
- 供职机构：吉林大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金教育部重点实验室开放基金吉林省科技发展计划基金更多>>
- 相关领域：自动化与计算机技术文化科学医药卫生经济管理更多>>
- 基于学习-推理的约束求解方法研究进展
- 2024年
- 机器学习与自动推理的融合是当前人工智能研究的新趋势.约束满足问题是人工智能研究的经典问题,现实世界中大量的调度、规划和配置等问题均可以建模为约束满足问题,高效的求解算法一直是研究热点.近年来涌现出众多将机器学习应用于约束满足问题求解的新方法,这些基于“学习-推理”的新方法为约束满足问题求解开辟了新方向并展示出巨大发展潜力,方法的突出优点是适应性强、可在线优化并具有更强的可扩展性.将当前的“学习-推理”方法分为基于消息传递神经网络、基于序列到序列和基于最优化等3类进行综述,详细分析各类方法的特点和在不同的问题集上求解效果,尤其对每类方法所涵盖的相关工作进行多角度的对比分析.最后,对基于“学习-推理”的约束求解方法进行总结和展望.
- 邹悦赖家洋张永刚
- 关键词：约束满足问题
- 4×2汽车TCS测功机试验台研究
- 汽车牵引力控制系统(Traction Control System,简称TCS)是车辆在起步、加速、爬坡时防止驱动轮发生过度滑转,以获得最大牵引力和最佳操纵稳定性的一种新型主动控制系统。它的控制原理是控制汽车驱动轮滑转率...
- 张永刚
- 关键词：硬件在环
- 文献传递
- 基于线下线上混合模式的算法设计与分析课程构建与实践
- 算法设计与分析是计算机科学相关专业的重要基础课,具有逻辑性强,难度大的特点,学生要通过大量练习和编程实践才能够达到较好的学习效果。针对这些特点,课程近年来将传统的线下单一教学模式改为线下线上混合教学模式,借助在线技术从时...
- 李妮娅张永刚朱允刚
- 关键词：混合教学模式算法设计与分析课程体系
- 扩展的随机约束满足问题生成模型研究
- 本文针对约束求解算法的测试问题，研究了当前用于测试算法的各种典型约束满足问题的生成模型，分析了各种模型的特点，提出了扩展的RCSP生成模型以及问题实例的生成办法，给出了一种回溯搜索与相容性检查结合的基于关系矩阵表示的RC...
- 张永刚孙吉贵高健
- 关键词：约束满足问题相变
- 文献传递
- 一种离散事件系统的反向遍历诊断方法
- 本发明涉及一种离散事件系统的反向遍历诊断方法，属于模型诊断技术领域。首先建立系统模型自动机；选择合适位置加入便于诊断所需的传感器，参考系统最大传输延迟的相关性质设计时间窗口。然后，根据时间窗口的长度，周期得到系统的观测序...
- 张立明欧阳丹彤赵毅李占山白洪涛张永刚于海鸿李河刘杰董旭初
- 基于AC与LmaxRPC的自适应约束传播求解算法
- 2013年
- 在现有自适应约束求解方法基础上,提出一种新的自适应约束传播求解算法ADAPTAC-LmaxRPC.该算法能根据约束的不同特性,在传播能力强但开销高的LmaxRPC与传播能力弱却开销低的AC之间自适应地切换进行约束传播.多个Benchmark实例类上的测试实验数据表明,ADAPTAC-LmaxRPC算法有效地平衡了求解效率和算法开销之间的矛盾,大幅度提高了约束求解的效率.
- 王海燕欧阳丹彤张永刚杨明明
- 关键词：人工智能约束满足问题
- 基于代数格的软约束程序设计框架
- 提出了基于代数格的软约束满足框架,并在此框架中对于经典的约束满足问题相关概念重新进行定义,尤其是我们扩展了经典的局部相容性技术,使之能够适合相应的约束求解,并用此框架表达经典约束满足问题、模糊约束满足问题和多维软约束满足...
- 张永刚孙吉贵
- 关键词：软件工程代数格程序设计软约束
- 文献传递
- 基于比特位操作的自适应约束传播算法被引量：1
- 2012年
- 在现有约束传播算法研究的基础上,提出了一种基于比特位操作的自适应约束传播算法AC_MaxRPC_Bitwise。该算法在寻找AC支持及PC支持中引入基于比特位的数据结构,并利用比特位操作加速AC支持和PC证据搜索,从而提高自适应约束传播的效率。对几类典型benchmark问题的测试结果表明,算法AC_MaxRPC_Bitwise在总体性能上明显优于AC及原自适应约束传播算法。
- 王海燕郭劲松欧阳丹彤张永刚
- 关键词：人工智能约束满足问题
- 基于序列的子问题相容性技术
- 2015年
- 研究约束求解中的相容性技术,针对目前已有相容性的传播级别,提出一种新的相容性概念——基于序列的子问题相容性（SSAC）,并给出相应的实现算法。然后分析其时空、空间复杂性及正确性,证明SSAC化简不改变原约束满足问题的解集,同时证明SSAC的约束传播能力介于SAC和AC之间。通过对随机问题和composed问题的测试表明,所提算法的效率是已有算法SAC-SDS和SAC-3的2~3倍。
- 陈德泉张永刚辛颖刘文壮
- 基于知识图谱嵌入的多跳中文知识问答方法被引量：7
- 2022年
- 基于知识图谱嵌入模型,提出一种知识图谱嵌入评分与链路评分相结合的评分方法,以解决中文领域的多跳知识图谱问答任务,与传统的单跳知识问答方法相比适用性更广.该方法在搜索最优答案的同时构建一个查询链路,通过查询给出答案集合,从而有效缓解了现有方法中遗漏答案的情况.在NLPCC-MH数据集上的实验结果表明,该方法在多跳问题上的平均F_(1)值为0.653,显著优于对比方法.真实知识图谱通常存在链路缺失的情况,实验以随机丢弃25%三元组的方式模拟了知识图谱的稀疏性,结果表明该方法在这种情况下仍然有效.
- 张天杭李婷婷张永刚
- 关键词：知识图谱链路预测
