咨询与建议

限定检索结果

文献类型

  • 934 篇 期刊文献
  • 103 篇 会议

馆藏范围

  • 1,037 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 990 篇 工学
    • 835 篇 计算机科学与技术...
    • 655 篇 软件工程
    • 403 篇 控制科学与工程
    • 76 篇 机械工程
    • 42 篇 网络空间安全
    • 36 篇 仪器科学与技术
    • 11 篇 信息与通信工程
    • 11 篇 地质资源与地质工...
    • 7 篇 测绘科学与技术
    • 6 篇 电子科学与技术(可...
    • 6 篇 公安技术
    • 5 篇 交通运输工程
    • 3 篇 建筑学
    • 2 篇 石油与天然气工程
    • 2 篇 环境科学与工程(可...
    • 2 篇 生物医学工程(可授...
    • 2 篇 生物工程
  • 480 篇 管理学
    • 478 篇 管理科学与工程(可...
  • 38 篇 理学
    • 17 篇 数学
    • 12 篇 系统科学
    • 5 篇 地理学
    • 4 篇 生物学
    • 3 篇 统计学(可授理学、...
    • 2 篇 物理学
  • 19 篇 艺术学
    • 19 篇 设计学(可授艺术学...
  • 15 篇 教育学
    • 15 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 6 篇 医学
    • 6 篇 临床医学
  • 4 篇 农学
    • 2 篇 农业资源与环境
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 法学
  • 1 篇 文学
  • 1 篇 军事学

主题

  • 100 篇 人工智能
  • 73 篇 计算机应用
  • 44 篇 强化学习
  • 38 篇 约束满足问题
  • 32 篇 深度学习
  • 24 篇 基于模型诊断
  • 23 篇 定性空间推理
  • 22 篇 本体
  • 21 篇 特征选择
  • 21 篇 遗传算法
  • 20 篇 数据挖掘
  • 20 篇 复杂网络
  • 19 篇 扩展规则
  • 18 篇 支持向量机
  • 17 篇 注意力机制
  • 16 篇 基于模型的诊断
  • 15 篇 聚类
  • 15 篇 深度强化学习
  • 15 篇 拓扑关系
  • 14 篇 计算机系统结构

机构

  • 997 篇 吉林大学
  • 194 篇 符号计算与知识工...
  • 78 篇 苏州大学
  • 34 篇 软件新技术与产业...
  • 27 篇 长春工业大学
  • 22 篇 东北师范大学
  • 14 篇 吉林农业大学
  • 13 篇 长春工程学院
  • 12 篇 长春理工大学
  • 11 篇 教育部符号计算与...
  • 10 篇 常熟理工学院
  • 9 篇 江苏省计算机信息...
  • 9 篇 内蒙古民族大学
  • 8 篇 长春大学
  • 5 篇 中国科学院长春光...
  • 5 篇 南京大学
  • 5 篇 长春税务学院
  • 5 篇 徐州师范大学
  • 5 篇 吉林大学计算机科...
  • 5 篇 空军航空大学

作者

  • 151 篇 刘大有
  • 143 篇 欧阳丹彤
  • 74 篇 刘衍珩
  • 72 篇 ouyang dan-tong
  • 71 篇 刘全
  • 70 篇 liu da-you
  • 62 篇 孙吉贵
  • 61 篇 liu quan
  • 54 篇 左万利
  • 46 篇 李占山
  • 44 篇 张立明
  • 41 篇 吕帅
  • 41 篇 王健
  • 39 篇 ouyang dantong
  • 39 篇 梁艳春
  • 38 篇 liu yan-heng
  • 36 篇 王英
  • 36 篇 王生生
  • 34 篇 欧阳继红
  • 34 篇 刘元宁

语言

  • 1,033 篇 中文
  • 4 篇 英文
检索条件"机构=吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室"
1037 条 记 录,以下是141-150 订阅
排序:
结合故障逻辑关系的极小冲突集求解方法
收藏 引用
计算机研究与发展 2020年 第7期57卷 1472-1480页
作者: 欧阳丹彤 高菡 徐旖旎 张立明 吉林大学软件学院 长春130012 吉林大学计算机科学与技术学院 长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012
基于模型诊断是人工智能研究与发展中的重要方向之一,而求解极小冲突集(minimal conflict set, MCS)是模型诊断的关键步骤.MCS-SFFO(minimal conflict set-structural feature of fault output)方法以反向深度的方式遍历集合枚举树(set ... 详细信息
来源: 评论
车载FlexRay总线安全协议的设计与实现
收藏 引用
西安交通大学学报 2018年 第12期52卷 63-69页
作者: 韩正士 秦贵和 赵睿 刘毅 梁云龙 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012 吉林大学软件学院 长春130012
针对智能车、网联车的高速发展所引发的车载信息安全问题设计了车载FlexRay总线安全协议。该协议包含两个模块:节点身份认证模块和网络安全加密模块。节点身份认证模块采用密钥交换算法以及非对称加密算法保证连入总线节点身份的合法性... 详细信息
来源: 评论
车载控制器局域网络安全协议
收藏 引用
西安交通大学学报 2018年 第5期52卷 94-100页
作者: 刘毅 秦贵和 赵睿 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012 吉林大学软件学院 长春130012
针对汽车智能化、网联化快速发展,攻击者通过逐渐开放的接口向汽车发动攻击,严重威胁驾驶者的人身和财产安全,进而引发的车载信息安全问题,提出了一种车载控制器局域网络安全协议(SPOCAN)。SPOCAN包含2个模块,启动阶段的安全模块采用公... 详细信息
来源: 评论
求解约束可满足问题的eSTR算法优化
收藏 引用
计算机研究与发展 2016年 第7期53卷 1586-1595页
作者: 王瑞伟 李占山 李宏博 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012 吉林大学软件学院 长春130012 吉林大学计算机科学与技术学院 长春130012
表约束方法是1种外延式知识表示方法,每个约束通过元组集直接枚举出其在1个变量集上允许或禁止的所有元组,直观易于理解,在约束程序中得到了深入的研究,这是因为表约束出现在如设计、数据库、配置以及偏好建模等许多现实世界的应用中.... 详细信息
来源: 评论
车载控制器局域网络总线的动态口令身份认证方法
收藏 引用
西安交通大学学报 2017年 第6期51卷 97-102页
作者: 吴尚则 秦贵和 刘毅 郭森 戚琦 刘恬佳 吉林大学软件学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012 吉林大学计算机科学与技术学院 长春130012
针对车载控制器局域网络(CAN)总线存在缺陷、严重威胁车载信息安全的问题,提出了一种基于挑战/应答模式的车载CAN总线动态口令身份认证方法。该方法考虑到CAN总线是使用极为广泛的标准车载总线及广播形式发送消息的特点,通过利用身份认... 详细信息
来源: 评论
车载CAN总线网络安全问题及异常检测方法
收藏 引用
吉林大学学报(工学版) 2016年 第4期46卷 1246-1253页
作者: 于赫 秦贵和 孙铭会 闫鑫 王璇喆 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012 吉林大学软件学院 长春130012
在汽车智能化进程加快以及车联网技术快速发展的背景下,分析了车载CAN总线网络安全现状,总结了车载CAN总线网络潜在的安全漏洞,归纳了对车载CAN总线网络的攻击手段,提出了使用信息熵的车载CAN总线网络异常检测方法,并对该方法的有效性... 详细信息
来源: 评论
基于多方向局二值模式与稳定特征的虹膜识别
收藏 引用
吉林大学学报(工学版) 2021年 第2期51卷 650-658页
作者: 朱晓冬 张齐贤 刘元宁 吴迪 吴祖慷 王超群 李昕龙 吉林大学符号计算与知识工程教育部重点实验室 长春130012 吉林大学计算机科学与技术学院 长春130012 吉林大学软件学院 长春130012
为抑制虹膜图像中的噪声以及有效提取局纹理的特征,从而提高虹膜识别率,提出了基于多方向局二值模式与稳定特征的虹膜识别算法。通过多种滤波处理算法,从存在光照及噪声干扰的不稳定状态的虹膜图像中提取足量的虹膜内特征点作为... 详细信息
来源: 评论
复杂软件的级联故障建模
收藏 引用
计算机学报 2011年 第6期34卷 1137-1147页
作者: 王健 刘衍珩 刘雪莲 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012 吉林大学软件学院 长春130012
软件复杂性的增加直接导致软件故障的复杂性增加.从系统科学的角度出发,采用复杂网络等方法和技术在整体上研究复杂软件的级联故障特性是研究软件质量的一个新视角.以函数为节点、以调用关系为边,提出了使用有向边和边权表述函数间的调... 详细信息
来源: 评论
基于分最大可满足性问题的动态系统中最小故障检测隔离集求解方法
收藏 引用
吉林大学学报(工学版) 2023年 第4期53卷 1163-1173页
作者: 欧阳丹彤 孙睿 田新亮 张立明 刘萍萍 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012 吉林大学软件学院 长春130012
选择一组能够检测并隔离所有故障的故障检测隔离集(FDIS)是动态系统基于模型故障检测与隔离(FDI)的重要步骤,该步骤通常要求FDIS的基数最小,即求解最小故障检测隔离集(MFDIS),MFDIS的求解时间随着问题规模增大呈指数级增长。BILP(Binary... 详细信息
来源: 评论
改进的定性形状表示中凹处同异侧判断方法
收藏 引用
吉林大学学报(工学版) 2009年 第2期39卷 413-418页
作者: 欧阳继红 富倩 刘大有 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012
指出了Cohn定性形状表示法中凹处同侧判断存在的两种不足之处,给出改进的同侧谓词SameSide*。基于SameSide*,提出一种基于凹处变换的同异侧判断方法CTS,并给出其ADL算法描述。通过实例说明使用方法CTS判断凹处的同异侧关系,能够解决Coh... 详细信息
来源: 评论