咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 933 篇 工学
    • 786 篇 计算机科学与技术...
    • 615 篇 软件工程
    • 378 篇 控制科学与工程
    • 74 篇 机械工程
    • 40 篇 网络空间安全
    • 34 篇 仪器科学与技术
    • 11 篇 信息与通信工程
    • 10 篇 地质资源与地质工...
    • 6 篇 电子科学与技术(可...
    • 6 篇 测绘科学与技术
    • 6 篇 公安技术
    • 5 篇 交通运输工程
    • 3 篇 建筑学
    • 2 篇 石油与天然气工程
    • 2 篇 环境科学与工程(可...
    • 2 篇 生物医学工程(可授...
    • 2 篇 生物工程
  • 452 篇 管理学
    • 451 篇 管理科学与工程(可...
  • 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 条 记 录,以下是901-910 订阅
排序:
一种基于移动代理的自主拍卖模型
一种基于移动代理的自主拍卖模型
收藏 引用
第一届Agent理论与应用学术会议
作者: 黄晶 刘大有 杨博 李丽娜 杨焕 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012 吉林大学计算机科学与技术学院 长春130012
Agent的自治性和移动性为网络环境下的电子商务活动提供了许多潜在优点.拍卖是一种典型的商务活动,基于Agent的自主拍卖是传统拍卖方式的一个发展趋势,具有广泛应用前景.重点研究了建立自主拍卖系统所涉及的主要问题,包括拍卖大厅建模... 详细信息
来源: 评论
一种用描述逻辑刻画多代理系统规约的方法
一种用描述逻辑刻画多代理系统规约的方法
收藏 引用
第一届Agent理论与应用学术会议
作者: 车海燕 孙吉贵 于海波 吉林大学计算机科学与技术学院 长春130012 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012
支持模块化的语言机制和严格性能够很好地推动代理技术向更广泛的、更大规模的应用发展.朱宏等人提出的基于模型的多代理系统开发方法提出了符合面向Agent软件工程思想的语言机制,如Caste和Scenario.以该方法为基础提出了基于描述逻辑... 详细信息
来源: 评论
一种基于褶集的模糊区域可视化模型
一种基于褶集的模糊区域可视化模型
收藏 引用
第六届全国虚拟现实与可视化学术会议(CCVRV'06)
作者: 吴德胜 虞强源 长春工业大学信息传播工程学院 长春130012 吉林大学计算机科学与技术学院 长春130012 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012
空间数据的模糊性建模是地理信息系统(GIS)和空间数据库领域的一个重要研究问题.在很多地理实际应用中,模糊空间区域没有分明的边界,如何建模并有效表达空间模糊区域具有重要的研究价值.提出了一种基于褶集的模糊区域模型,详细分析了模... 详细信息
来源: 评论
基于Web的轻量级工作流管理系统
收藏 引用
计算机集成制造系统 2005年 第2期11卷 206-211页
作者: 张健 胡成全 孙吉贵 李妮娅 吉林大学计算机科学与技术学院 吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室
工作流管理针对控制、监控、优化和支持业务过程提出了一种新的解决方案。遵循工作流管理联盟参考模型,研发了一个基于Web的轻量级工作流管理系统,阐述了其基于J2EE架构的体系结构的设计,用形式化方法详细描述了其工作流理论模型。提出... 详细信息
来源: 评论
基于PKI技术的PMI的研究与实现
收藏 引用
计算机集成制造系统 2005年 第6期11卷 881-884页
作者: 张健 胡成全 孙吉贵 马春旺 齐红 吉林大学计算机科学与技术学院 吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室 吉林长春130012
身份认证和权限管理是网络安全的两个核心内容。研发了一个基于公共密钥基础设施技术的权限管理基础设施系统。提出了一个基于属性证书和条件化的基于角色的访问控制、进行权限管理的权限管理基础设施访问控制模型,提供了属性证书的两... 详细信息
来源: 评论
ARTNIDS:基于自适应谐振理论的网络入侵检测系统
收藏 引用
计算机学报 2005年 第11期28卷 1882-1889页
作者: 田大新 刘衍珩 魏达 吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室 长春130012
分析了现有的入侵检测方法,设计了基于自适应谐振理论的网络入侵检测系统(ARTNIDS).它采用了一种全新的行为表示方法,即根据网络数据包结构定义网络行为特征变量;利用改进的自适应谐振理论算法,提高了学习效率,使丢包率由15%左右降低到... 详细信息
来源: 评论
具有动态加权特性的关联规则算法
收藏 引用
吉林大学学报(理学版) 2005年 第3期43卷 314-319页
作者: 欧阳继红 王仲佳 刘大有 吉林大学计算机科学与技术学院 符号计算与知识工程教育部重点实验室长春130012
基于FP_growth关联规则, 提出一种具有动态加权特性的改进算法. 把事务数据库中的项目按其重要程度划分为5个等级; 运用层次分析(AHP)算法构造判断矩阵, 计算特征向量; 将得到的向量作为权值, 与项目在事务数据库中出现的次数综合考虑... 详细信息
来源: 评论
含等词的超表演算
收藏 引用
吉林大学学报(理学版) 2005年 第4期43卷 455-460页
作者: 冯莎莎 孙吉贵 吴瑕 长春130012 吉林大学计算机科学与技术学院 长春130012吉林大学符号计算与知识工程教育部重点实验室 吉林大学计算机科学与技术学院
将处理等词问题的Superposition方法引入超表演算中,使超表演算能处理含等词的一阶逻辑问题,这种新的表演算不但具有完备性,而且无需回溯,是用表演算完成含等词的一阶逻辑定理机器证明的一种尝试.
来源: 评论
动态系统基于模型诊断的研究进展与展望
收藏 引用
仪器仪表学报 2005年 第8期26卷 2402-2405页
作者: 赵相福 欧阳丹彤 吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室 长春130012
基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术,其应用也越来越广泛.介绍了动态系统基于模型诊断的诊断过程,综述了建模诊断方法、时序基于模型诊断方法.通过与静态诊断的比较,指出动态系统基于模型诊... 详细信息
来源: 评论
动态系统基于模型诊断的研究进展与展望
收藏 引用
仪器仪表学报 2005年 第z2期26卷 599-602页
作者: 赵相福 欧阳丹彤 吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室 长春130012
基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术,其应用也越来越广泛。介绍了动态系统基于模型诊断的诊断过程,综述了建模诊断方法、时序基于模型诊断方法。通过与静态诊断的比较,指出动态系统基于模型... 详细信息
来源: 评论