张永刚
【姓名】 张永刚
【职称】 教授;
【研究领域】 自动化技术;计算机软件及计算机应用;汽车工业;
【研究方向】 约束程序
【发表文献关键词】 调度,遗传算法,约束逻辑程序,s-语义,多重回答约束,tableau,资源分配,程序设计方法,问题分析图表,不等式析取,试错,上机实验,分阶段tableau,等价类,等词,自顶向下,时间表,计算机语言...
【工作单位】 吉林大学
【曾工作单位】 吉林大学;
【所在地域】 长春
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/40 27 33 10 472 10573
中国期刊全文数据库    共找到46篇
[1]杨航;张啸成;张永刚;.基于实体类别信息的数据分析与关系抽取模型构建[J]吉林大学学报(理学版).2025,(02)
[2]邹悦;赖家洋;张永刚;.基于学习-推理的约束求解方法研究进展[J]软件学报.2024,(01)
[3]张啸成;王涛;田昕;张永刚;.基于移位窗口自注意力机制的新生儿脑区域图像分割[J]吉林大学学报(理学版).2024,(05)
[4]陈正非;席皛;李志勇;杨航;张啸成;张永刚;.基于多源数据融合的电建知识图谱构建研究[J]吉林大学学报(信息科学版).2024,(05)
[5]季泊男;张永刚;.基于注意力机制归纳网络的小样本关系抽取模型[J]吉林大学学报(理学版).2023,(04)
[6]王放;辛颖;张灵;靳英丽;张永刚;辛卓远;李辉;刘玲;.生物医学科学专业的线上资源构建[J]基础医学教育.2023,(07)
[7]刘旭;杨航;张啸成;张永刚;.基于关系过滤和实体对标注的中文关系抽取方法[J]吉林大学学报(理学版).2023,(05)
[8]王放;靳英丽;辛颖;张灵;张永刚;刘玲;.生物医学科学专业虚拟仿真实践教学设计[J]国际老年医学杂志.2023,(05)
[9]冯勇;刘洋;王嵘冰;徐红艳;张永刚;.面向用户需求的生成对抗网络多样性推荐方法[J]小型微型计算机系统.2023,(06)
[10]张天杭;李婷婷;张永刚;.基于知识图谱嵌入的多跳中文知识问答方法[J]吉林大学学报(理学版).2022,(01)
更多
中国博士学位论文全文数据库    共找到1篇
[1]张永刚.约束程序语义与系统实现研究[D].吉林大学.2005
更多
中国优秀硕士学位论文全文数据库    共找到4篇
[1]张永刚.鹤岗地区矿山地震监测与瓦斯预警研究[D].吉林大学.2018
[2]张永刚.吉林电信客户维系策略改进研究[D].吉林大学.2010
[3]张永刚.4×2汽车TCS测功机试验台研究[D].吉林大学.2005
[4]张永刚.替扎尼定对脑卒中患者上肢功能恢复影响的临床研究[D].吉林大学.2005
更多
中国重要会议全文数据库    共找到3篇
[1]李妮娅;张永刚;朱允刚;.基于线下线上混合模式的算法设计与分析课程构建与实践[A].2023中国高校计算机教育大会论文集.2023-07-12
[2]张永刚;孙吉贵;.有穷论域约束逻辑程序设计及其应用[A].全国第16届计算机科学与技术应用（CACIS）学术会议论文集.2004-08-01
[3]冯莎莎;张永刚;孙吉贵;.从C语言上机实验课中的几个问题谈起[A].2005全国计算机程序设计类课程教学研讨会论文集.2005-09-01
更多