咨询与建议

限定检索结果

文献类型

  • 945 篇 期刊文献
  • 104 篇 会议

馆藏范围

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

日期分布

学科分类号

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

主题

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

机构

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

作者

  • 151 篇 刘大有
  • 143 篇 欧阳丹彤
  • 74 篇 刘衍珩
  • 71 篇 刘全
  • 62 篇 孙吉贵
  • 54 篇 左万利
  • 46 篇 李占山
  • 44 篇 张立明
  • 41 篇 吕帅
  • 41 篇 王健
  • 39 篇 梁艳春
  • 36 篇 王英
  • 36 篇 王生生
  • 35 篇 欧阳继红
  • 34 篇 刘元宁
  • 34 篇 申铉京
  • 32 篇 张永刚
  • 32 篇 杨博
  • 31 篇 陈海鹏
  • 31 篇 叶育鑫

语言

  • 1,045 篇 中文
  • 4 篇 英文
检索条件"机构=计算机科学与技术学院符号计算与知识工程教育部重点实验室"
1049 条 记 录,以下是851-860 订阅
排序:
RCC5与主方位关系结合的定性空间推理
收藏 引用
计算机研究与发展 2008年 第z1期45卷 279-285页
作者: 陈娟 刘大有 张长海 谢琦 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012
解决实际问题需要将多方面空间信息结合进行推理,仅考虑单方面空间信息是不够的.多方面空间信息结合推理已成为定性空间推理的一个研究热点.现有拓扑与方位结合推理工作主要集中在与基于最小外包矩形或单片方位模型的结合.方位信息描述... 详细信息
来源: 评论
噪声环境下函数优化问题的混合优化算法
收藏 引用
吉林大学学报(理学版) 2008年 第5期46卷 891-896页
作者: 岳娜 欧阳丹彤 张长胜 刘玉玺 吉林大学 计算机科学与技术学院长春130012 吉林大学 符号计算与知识工程教育部重点实验室长春130012
针对噪声环境下的函数优化问题提出一种混合粒子群优化算法UPSOOHT, 并考察了最优计算量分配(OCBA)和噪声幅度对算法性能的影响. 该算法将粒子群优化算法与假设检验及OCBA有效地结合, 具有很好的全局搜索能力和局精化能力. 与其他优... 详细信息
来源: 评论
一种基于遗传算法和LM算法的混合学习算法
收藏 引用
吉林大学学报(理学版) 2008年 第4期46卷 675-680页
作者: 张长胜 欧阳丹彤 岳娜 张永刚 吉林大学 计算机科学与技术学院长春130012 吉林大学 符号计算与知识工程教育部重点实验室长春130012
针对遗传算法与神经网络结合方式中存在的早熟收敛、泛化能力弱等问题, 提出一种交替使用遗传算法和Levenberg-Marquardt算法优化神经网络的混合学习算法(GALM算法). 该算法先通过遗传算法粗调得到一组全局最优近似解, 再以该近似解为初... 详细信息
来源: 评论
结合似然关系模型和用户等级的协同过滤推荐算法
收藏 引用
计算机研究与发展 2008年 第9期45卷 1463-1469页
作者: 高滢 齐红 刘杰 刘大有 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012
针对传统协同过滤推荐算法的稀疏性、扩展性问题,提出了结合似然关系模型和用户等级的协同过滤推荐算法.首先,定义了用户等级函数,采用基于用户等级的协同过滤方法,在不影响推荐质量的前提下有效提高了推荐效率,从而解决扩展性问题;然后... 详细信息
来源: 评论
自组织分治求解分布式约束优化问题
收藏 引用
计算机研究与发展 2008年 第11期45卷 1831-1839页
作者: 黄晶 刘大有 杨博 金弟 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012
分布式约束优化问题(DCOP)是在大规模、开放、动态网络环境中的优化问题,在计算网格、多媒体网络、电子商务、企业资源规划等领域中都有广泛应用.除了具有传统优化问题的非线性、约束性等特点,DCOP还具有动态演化、信息区域化、控制局... 详细信息
来源: 评论
基于分层任务网络的一致性规划方法
收藏 引用
吉林大学学报(理学版) 2008年 第3期46卷 478-482页
作者: 冯宇轩 欧阳丹彤 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012
给出一种求解一致性规划问题的新方法,并给出了此求解方法的有效性分析.在求解一致性规划问题时,先将各个可能世界都转移到某个中间状态,再从中间状态做一次求解.结果表明,该方法具有较高的效率和较好的扩展性.
来源: 评论
关系马尔可夫网综述
收藏 引用
计算机科学 2008年 第11期35卷 32-35页
作者: 刘智祥 刘大有 刘曜 高俊华 李景亮 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012
统计关系学习是人工智能领域一个新的研究方向。它通过概率推理模型与逻辑的结合,或概率推理模型与关系模式的结合,来达到更高的预测或分类的准确度。它在机器学习和数据挖掘领域具有广泛的应用前景。详细介绍了一种重要的统计关系模型... 详细信息
来源: 评论
基于双边协商的一对多协商协议
收藏 引用
吉林大学学报(理学版) 2008年 第1期46卷 101-104页
作者: 姜丽 刘大有 欧阳继红 王鑫禄 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012
提出一个基于双边协商的一对多协商协议(OMN).该协议采用显现协调机制协调动态增加的多个协商线程,解决了已有协商协议中的中心节点问题和同步协商问题,提高了协商系统的分布性和动态可扩展性.
来源: 评论
一种特征加权的聚类算法框架
收藏 引用
计算机科学 2008年 第10期35卷 152-154页
作者: 高滢 刘大有 徐益 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012
为了考虑数据各维特征对聚类的不同贡献,并把有监督特征评价方法应用到无监督分类问题中,提出一种特征加权的聚类算法框架。该框架首先通过某种聚类算法对数据聚类,然后,根据聚类结果,采用有监督特征评价方法学习各维特征的权值,再根据... 详细信息
来源: 评论
基于经典逻辑的安全协议模型检测方法
收藏 引用
计算机科学 2008年 第6期35卷 20-24页
作者: 徐畅 刘吉锋 孙吉贵 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012
本文分别以安全协议模型检测器SATMC和ProVerif为例,介绍了基于经典逻辑的安全协议模型检测两种方法:SAT方法和归结方法,并简要地给出了我们设计实现的基于SAT方法的安全协议模型检测器JLU-PV。
来源: 评论