咨询与建议

限定检索结果

文献类型

  • 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 篇 刘衍珩
  • 71 篇 刘全
  • 62 篇 孙吉贵
  • 54 篇 左万利
  • 46 篇 李占山
  • 44 篇 张立明
  • 41 篇 吕帅
  • 41 篇 王健
  • 39 篇 梁艳春
  • 36 篇 王英
  • 36 篇 王生生
  • 34 篇 欧阳继红
  • 34 篇 刘元宁
  • 34 篇 申铉京
  • 32 篇 张永刚
  • 32 篇 杨博
  • 31 篇 叶育鑫
  • 30 篇 陈海鹏

语言

  • 1,033 篇 中文
  • 4 篇 英文
检索条件"机构=吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室"
1037 条 记 录,以下是251-260 订阅
排序:
基于扩展规则的启发式#SAT求解算法
收藏 引用
软件学报 2018年 第11期29卷 3517-3527页
作者: 王强 刘磊 吕帅 吉林大学计算机科学与技术学院 吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012
#SAT在人工智能领域取得了广泛应用,很多现实问题可以规约成#SAT进行求解,得到命题理论的模型个数.通过对基于扩展规则的#SAT求解器的深入研究,发现选择规约子句的顺序对极大项空间的大小有着较大的影响,因此提出两种加速#SAT求解的启... 详细信息
来源: 评论
基于森林优化特征选择算法的改进研究
收藏 引用
软件学报 2018年 第9期29卷 2547-2558页
作者: 初蓓 李占山 张梦林 于海鸿 吉林大学计算机科学与技术学院 吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012
在分类中,特征选择一直是一个重要而又困难的问题.最近的研究表明,森林优化特征选择算法(FSFOA)具有更好的分类性能及较好的维度缩减能力.然而,初始化阶段的随机性、更新机制上的局限性及局播种阶段新树的劣质性严重限制了该算法的分... 详细信息
来源: 评论
基于改进的Fisher准则的多示例学习视频人脸识别算法
收藏 引用
自动化学报 2018年 第12期44卷 2179-2187页
作者: 王玉 申铉京 陈海鹏 吉林大学计算机科学与技术学院 长春130012 吉林大学应用技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012
视频环境下目标的姿态变化使得人脸关键帧难以准确定位,导致基于关键帧标识的视频人脸识别方法的识别率偏低.为解决上述问题,本文提出一种基于Fisher加权准则的多示例学习视频人脸识别算法.该算法将视频人脸识别视为一个多示例问题,将... 详细信息
来源: 评论
结合电路结构基于分块的诊断方法
收藏 引用
电子学报 2018年 第7期46卷 1571-1577页
作者: 欧阳丹彤 刘伯文 刘梦 张立明 张永刚 吉林大学计算机科学与技术学院 吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室 吉林长春130012
基于模型的诊断问题在人工智能领域内一直备受关注,将诊断问题转换成SAT(Satisfiable)问题成为解决基于模型诊断问题的一个重要方法.基于目前高效诊断方法 LLBRS-Tree(Last-Level Based on Reverse Search-Tree)的研究,本文提出电路分... 详细信息
来源: 评论
流数据处理中负载突发感知的弹性资源分配
收藏 引用
计算机学报 2018年 第10期41卷 2193-2208页
作者: 李丽娜 魏晓辉 李翔 王兴旺 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012 吉林大学高性能计算中心 长春130012
在分布式并行数据流处理中,面向实时变化且具有突发性的流数据负载,固定的资源分配将造成资源浪费或服务质量降低,因此,可伸缩的弹性资源分配是一个亟待解决的关键问题.然而,由于资源分配延迟和负载预测模型存在误差,已有的弹性资源分... 详细信息
来源: 评论
一种新的基于局搜索的扩展规则推理方法
收藏 引用
计算机学报 2018年 第4期41卷 825-839页
作者: 杨洋 刘磊 李广力 张桐搏 吕帅 吉林大学计算机科学与技术学院 长春130012 吉林大学数学学院 长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012
作为与归结推理方法互补的推理方法,扩展规则推理方法得到了国内外广泛认可.目前扩展规则推理方法的研究主要集中于完备推理方法,由于极大项变换方式过于机械,导致该方法处理公式的规模比较局限.该文在深入分析扩展规则推理和局搜索... 详细信息
来源: 评论
基于稀疏自学习卷积神经网络的句子分类模型
收藏 引用
计算机研究与发展 2018年 第1期55卷 179-187页
作者: 高云龙 左万利 王英 王鑫 吉林大学计算机科学与技术学院 长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012 长春工程学院计算机技术与工程学院 长春130012
句子分类模型的建立对于自然语言理解的研究有着十分重要的意义.基于卷积神经网络(convolutional neural networks,CNN)提取数据特征的特点,提出基于稀疏自学习卷积神经网络(sparse and self-taught CNN,SCNN)的句子分类模型.首先,在卷... 详细信息
来源: 评论
基于量子密钥和云服务的身份加密方案
收藏 引用
吉林大学学报(工学版) 2018年 第2期48卷 551-557页
作者: 韩家伟 刘衍珩 孙鑫 宋立军 吉林大学计算机科学与技术学院 长春130012 长春大学量子通信技术实验室长春 130022 吉林大学符号计算与知识工程教育部重点实验室长春 130012
针对现有利用云服务进行基于身份加密(Identity-based encryption,IBE)的公钥加密方案中存在的安全问题,提出了一种基于量子密钥和云服务的IBE方案。该方案首先通过引入量子加密技术解决密钥生成器与云服务之间用户隐私信息和撤销列表... 详细信息
来源: 评论
基于多重序列所有公共子序列的启发式算法度量多图的相似度
收藏 引用
吉林大学学报(工学版) 2018年 第2期48卷 526-532页
作者: 王旭 欧阳继红 陈桂芬 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012 吉林农业大学信息技术学院 长春130118
提出了启发式A*算法度量任意多个图的相似度方法,该算法将多图表示多重序列,在多重序列的匹配点上计算多重序列的所有公共子序列数,得到的所有公共子序列数用来度量多图的相似度。该算法避免了在非匹配点上的冗余计算,最大化后缀序列的... 详细信息
来源: 评论
基于垂直维序列动态时间规整方法的图相似度度量
收藏 引用
吉林大学学报(工学版) 2018年 第4期48卷 1199-1205页
作者: 王旭 欧阳继红 陈桂芬 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012 吉林农业大学信息技术学院 长春130118
针对图相似度度量过程中复杂度高、信息缺失的问题,采用将图转换为广义树,将广义树表示为垂直维序列的方法,通过计算垂直维序列的距离度量图的相似度。该方法把度量图相似度的问题简化为计算垂直维序列距离的问题。垂直维序列不仅包含... 详细信息
来源: 评论