咨询与建议

限定检索结果

文献类型

  • 884 篇 期刊文献
  • 87 篇 会议

馆藏范围

  • 971 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 933 篇 工学
    • 786 篇 计算机科学与技术...
    • 614 篇 软件工程
    • 377 篇 控制科学与工程
    • 74 篇 机械工程
    • 40 篇 网络空间安全
    • 34 篇 仪器科学与技术
    • 11 篇 信息与通信工程
    • 10 篇 地质资源与地质工...
    • 6 篇 电子科学与技术(可...
    • 6 篇 测绘科学与技术
    • 6 篇 公安技术
    • 5 篇 交通运输工程
    • 3 篇 建筑学
    • 2 篇 石油与天然气工程
    • 2 篇 环境科学与工程(可...
    • 2 篇 生物医学工程(可授...
    • 2 篇 生物工程
  • 451 篇 管理学
    • 450 篇 管理科学与工程(可...
  • 30 篇 理学
    • 13 篇 数学
    • 10 篇 系统科学
    • 4 篇 地理学
    • 4 篇 生物学
    • 3 篇 统计学(可授理学、...
  • 19 篇 艺术学
    • 19 篇 设计学(可授艺术学...
  • 12 篇 教育学
    • 12 篇 教育学
  • 5 篇 医学
    • 5 篇 临床医学
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 4 篇 农学
    • 2 篇 农业资源与环境
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 文学
  • 1 篇 军事学

主题

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

机构

  • 931 篇 吉林大学
  • 195 篇 符号计算与知识工...
  • 78 篇 苏州大学
  • 34 篇 软件新技术与产业...
  • 26 篇 长春工业大学
  • 17 篇 东北师范大学
  • 12 篇 吉林农业大学
  • 11 篇 长春工程学院
  • 10 篇 长春理工大学
  • 10 篇 常熟理工学院
  • 9 篇 江苏省计算机信息...
  • 7 篇 长春大学
  • 6 篇 内蒙古民族大学
  • 5 篇 中国科学院长春光...
  • 5 篇 南京大学
  • 5 篇 吉林大学计算机科...
  • 5 篇 空军航空大学
  • 4 篇 吉林师范大学
  • 4 篇 西北农林科技大学
  • 4 篇 长春吉大正元信息...

作者

  • 148 篇 刘大有
  • 140 篇 欧阳丹彤
  • 73 篇 刘衍珩
  • 71 篇 刘全
  • 57 篇 孙吉贵
  • 44 篇 李占山
  • 44 篇 张立明
  • 42 篇 左万利
  • 41 篇 王健
  • 40 篇 吕帅
  • 37 篇 王生生
  • 34 篇 刘元宁
  • 34 篇 申铉京
  • 32 篇 张永刚
  • 32 篇 杨博
  • 32 篇 欧阳继红
  • 31 篇 陈海鹏
  • 31 篇 王英
  • 30 篇 叶育鑫
  • 23 篇 刘杰

语言

  • 967 篇 中文
  • 4 篇 英文
检索条件"机构=符号计算与知识工程教育部开放实验室吉林大学计算机科学与技术学院"
971 条 记 录,以下是741-750 订阅
排序:
多值传播的相容性技术
收藏 引用
自动化学报 2009年 第10期35卷 1296-1301页
作者: 朱兴军 张永刚 李莹 张长胜 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012 东北大学信息科学与技术学院 沈阳110004
相容性技术是求解约束满足问题的重要手段.本文针对目前已有相容性算法的单值传播特点,提出多值传播理论,证明出k次单值传播与一次多值传播的等价性,在此基础上,给出多值传播的弧相容定理.将该定理与目前流行的Singleton弧相容技术结合... 详细信息
来源: 评论
复杂网络聚类方法
收藏 引用
软件学报 2009年 第1期20卷 54-66页
作者: 杨博 刘大有 LIU Jiming 金弟 马海宾 吉林大学计算机科学与技术学院 吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室 吉林长春130012 香港浸会大学计算机科学系 香港
网络簇结构是复杂网络最普遍和最重要的拓扑属性之一,具有同簇节点相互连接密集、异簇节点相互连接稀疏的特点.揭示网络簇结构的复杂网络聚类方法对分析复杂网络拓扑结构、理解其功能、发现其隐含模式、预测其行为都具有十分重要的理论... 详细信息
来源: 评论
求解车间调度问题的自适应混合粒子群算法
收藏 引用
计算机学报 2009年 第11期32卷 2137-2146页
作者: 张长胜 孙吉贵 欧阳丹彤 张永刚 东北大学信息科学与工程学院 沈阳110004 吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室 长春130012
针对最小完工时间的流水车间作业调度问题,提出了一种自适应混合粒子群进化算法——AHPSO,将遗传操作有效地结合到粒子群算法中.定义了粒子相似度及粒子能量,粒子相似度阈值随迭代次数动态自适应变化,而粒子能量阈值与群体进化程度及其... 详细信息
来源: 评论
一种基于扩展规则的#SAT求解系统
收藏 引用
软件学报 2009年 第7期20卷 1714-1725页
作者: 殷明浩 林海 孙吉贵 吉林大学计算机科学与技术学院 吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室 吉林长春130012 东北师范大学计算机学院 吉林长春130117
#SAT问题是SAT问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带来的空间复杂性问题,提出了一种基于扩展规则的模型计数和加权模型计数问题求解框架,可以看作是目前所有... 详细信息
来源: 评论
移动网络资源管理策略的动态冲突消解机制
收藏 引用
吉林大学学报(工学版) 2009年 第2期39卷 430-435页
作者: 梅芳 刘衍珩 张旭利 古天野 王旺 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012 吉林大学数学学院 长春130012
分析了移动网络中基于策略的资源分配机制中可能存在的策略冲突类型,针对系统中存在资源状况的变化性和移动切换的不确定性,动态资源分配策略无法预先在生成时进行静态冲突检测与消解的问题,提出了一种基于效用函数的、在执行时动态检... 详细信息
来源: 评论
一种新颖的动态软件版权保护协议
收藏 引用
吉林大学学报(工学版) 2009年 第3期39卷 764-769页
作者: 朱建启 刘衍珩 殷柯 杨志刚 吉林大学计算机科学与技术学院 长春130022 吉林大学符号计算与知识工程教育部重点实验室 长春130022 南京工程学院 南京211167
提出了一种新颖的动态分配软件许可权的协议SRMP(Software Right ManagementProtocol)。该协议将软件副本和核心代码分离,联合考虑核心代码、运行环境以及版权状态,有效地实现了安全注册、迁移。通过加密、认证和数字签名有效地保证了... 详细信息
来源: 评论
基于融合主成分匹配的异常检测方法
收藏 引用
吉林大学学报(工学版) 2009年 第5期39卷 1314-1320页
作者: 刘衍珩 孙蕾 田大新 吴静 张凤华 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012 吉林油田职业教育中心 吉林松原138000
针对数据存储规模的扩大,提出了一种基于融合主成分匹配FPCM(fusion principal components match)的异常检测方法。首先将各子节点数据通过聚类去除孤立点以提高主成分分析的稳定性,将各子节点的聚类中心传送到中心节点,减少节点间传送... 详细信息
来源: 评论
基于因果关系的模型诊断
收藏 引用
吉林大学学报(工学版) 2009年 第4期39卷 1052-1056页
作者: 张立明 赵剑 赵相福 欧阳丹彤 白岩 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012 吉林大学第一医院 长春130021
提出一种基于因果关系的思想求解所有极小诊断的新方法。此方法与Reiter的模型诊断方法有着本质的不同,不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由于调用ATMS时的组合爆炸引起的NP-完全问题。并根据因果关系的... 详细信息
来源: 评论
免疫遗传算法学习贝叶斯网等价类
收藏 引用
吉林大学学报(理学版) 2009年 第1期47卷 48-56页
作者: 贾海洋 刘大有 陈娟 关淞元 刘欣 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012
针对遗传算法学习贝叶斯网存在的问题,提出一种基于骨架搜索的免疫遗传算法学习贝叶斯网等价类,该方法综合了基于约束和打分搜索的方法,可以在遗传过程中避免产生非法结构,并从骨架空间映射到等价类空间进行搜索.实验数据表明,免疫算子... 详细信息
来源: 评论
基于列存储数据库的压缩态数据访问算法
收藏 引用
吉林大学学报(理学版) 2009年 第5期47卷 1013-1019页
作者: 黄鹏 李占山 张永刚 鞠奇 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012
基于列存储数据库数据访问的特点,对主流整数压缩格式进行改进,提出了3种整数压缩算法及相应的压缩态数据访问算法.实验结果表明,不解压而直接访问压缩态数据非常高效,从而为数据的压缩态运算提供了有力支持.
来源: 评论