张永刚
- 作品数：72 被引量：337H指数：10
- 供职机构：吉林大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金教育部重点实验室开放基金吉林省科技发展计划基金更多>>
- 相关领域：自动化与计算机技术文化科学医药卫生理学更多>>
- 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倍。
- 陈德泉张永刚辛颖刘文壮
- 基于知识图谱嵌入的多跳中文知识问答方法被引量：6
- 2022年
- 基于知识图谱嵌入模型,提出一种知识图谱嵌入评分与链路评分相结合的评分方法,以解决中文领域的多跳知识图谱问答任务,与传统的单跳知识问答方法相比适用性更广.该方法在搜索最优答案的同时构建一个查询链路,通过查询给出答案集合,从而有效缓解了现有方法中遗漏答案的情况.在NLPCC-MH数据集上的实验结果表明,该方法在多跳问题上的平均F_(1)值为0.653,显著优于对比方法.真实知识图谱通常存在链路缺失的情况,实验以随机丢弃25%三元组的方式模拟了知识图谱的稀疏性,结果表明该方法在这种情况下仍然有效.
- 张天杭李婷婷张永刚
- 关键词：知识图谱链路预测
- 约束程序设计
- 孙吉贵欧阳丹彤杨凤杰李占山张永刚于海鸿张一民李泽海刘云翔张居阳赵春宇景沈艳曹晓威姜英新白洪涛林海
- 运用了约束程序设计的思想和各类优化技术，同时把人工智能和运筹学算法有机结合起来，以求达到较高的问题求解效率和速度。对约束逻辑程序的语义，多重论域上的大规模的约束问题求解理论与算法，约束推理与诊断推理和嵌入到过程约言的约束...
- 关键词：
- 关键词：约束程序设计线性规划
- 结合改进差分进化和模块密度的社区发现算法被引量：5
- 2020年
- 社区发现是个性化推荐、群体特征归集、社会网络分析等领域研究的基础与核心,而现有社区发现算法在处理日益复杂的社会网络时,存在准确性不高、收敛速度慢、模块度分辨率受限等问题。为此,将差分进化和模块密度思想引入社区发现中,提出了一种结合改进差分进化和模块密度的社区发现算法。该算法首先调整差分进化的变异策略和参数,再将模块密度作为适应度函数以克服模块度分辨率限制;然后根据社区结构进行修正操作,以提高种群中的个体质量,加快全局收敛速度。在计算机生成网络数据集及5个具有代表性的真实世界网络数据集上,与多个应用较为广泛的社区发现算法进行对比实验。实验结果表明所提算法具有更高的准确性和更优的收敛性能。
- 冯勇张冰茹徐红艳王嵘冰张永刚
- 关键词：社会网络差分进化模块密度
