咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 999 篇 期刊文献
  • 81 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1,024 篇 工学
    • 868 篇 计算机科学与技术...
    • 686 篇 软件工程
    • 412 篇 控制科学与工程
    • 80 篇 机械工程
    • 41 篇 网络空间安全
    • 35 篇 仪器科学与技术
    • 12 篇 信息与通信工程
    • 10 篇 地质资源与地质工...
    • 8 篇 测绘科学与技术
    • 6 篇 电子科学与技术（可...
    • 6 篇 交通运输工程
    • 4 篇 建筑学
    • 3 篇 公安技术
    • 2 篇 化学工程与技术
    • 2 篇 环境科学与工程（可...
    • 2 篇 生物医学工程（可授...
    • 2 篇 生物工程
  • 487 篇 管理学
    • 485 篇 管理科学与工程(可...
  • 53 篇 理学
    • 30 篇 数学
    • 13 篇 系统科学
    • 6 篇 地理学
    • 5 篇 生物学
    • 3 篇 统计学（可授理学、...
    • 2 篇 物理学
  • 22 篇 艺术学
    • 22 篇 设计学（可授艺术学...
  • 13 篇 教育学
    • 13 篇 教育学
  • 6 篇 农学
    • 2 篇 作物学
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 5 篇 文学
    • 5 篇 新闻传播学
  • 4 篇 医学
    • 4 篇 临床医学
  • 1 篇 哲学
  • 1 篇 法学
  • 1 篇 军事学

主题

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

机构

  • 1,034 篇 吉林大学
  • 200 篇 符号计算与知识工...
  • 79 篇 苏州大学
  • 34 篇 软件新技术与产业...
  • 33 篇 长春工业大学
  • 24 篇 东北师范大学
  • 23 篇 长春理工大学
  • 18 篇 吉林农业大学
  • 12 篇 吉林财经大学
  • 12 篇 长春工程学院
  • 10 篇 常熟理工学院
  • 9 篇 江苏省计算机信息...
  • 9 篇 辽宁大学
  • 8 篇 内蒙古民族大学
  • 8 篇 长春大学
  • 7 篇 教育部符号计算与...
  • 7 篇 空军航空大学
  • 7 篇 东北大学
  • 6 篇 中国科学院长春光...
  • 6 篇 南京大学

作者

  • 149 篇 刘大有
  • 145 篇 欧阳丹彤
  • 72 篇 刘全
  • 71 篇 刘衍珩
  • 61 篇 孙吉贵
  • 50 篇 左万利
  • 44 篇 李占山
  • 41 篇 张永刚
  • 41 篇 吕帅
  • 40 篇 张立明
  • 38 篇 王健
  • 36 篇 王生生
  • 35 篇 王英
  • 35 篇 梁艳春
  • 33 篇 欧阳继红
  • 33 篇 刘元宁
  • 33 篇 申铉京
  • 32 篇 杨博
  • 31 篇 陈海鹏
  • 29 篇 叶育鑫

语言

  • 1,076 篇 中文
  • 4 篇 英文
检索条件"机构=符号计算与知识工程教育部重点实验室吉林大学长春130012"
共 1080 条 记 录，以下是901-910 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于经典逻辑的安全协议模型检测方法
收藏
分享
引用
计算机科学 2008年 第6期35卷 20-24页
作者： 徐畅 刘吉锋 孙吉贵 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012
本文分别以安全协议模型检测器SATMC和ProVerif为例,介绍了基于经典逻辑的安全协议模型检测两种方法:SAT方法和归结方法,并简要地给出了我们设计实现的基于SAT方法的安全协议模型检测器JLU-PV。
来源： 评论
Analog-Cell电子细胞模型中基于并发约束的随机模型构架
收藏
分享
引用
计算机科学 2008年 第12期35卷 183-186页
作者： 卢欣华 孙吉贵 行荣 韩霄松 吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室 长春130012
提出了一种在电子细胞模型中基于并发约束的随机模型架构方法,应用该架构建立了模拟基因表达过程的电子细胞模型Analog-Cell。模拟结果表明Analog-Cell这种基于并发约束的随机模型构架能更准确地反映出生物系统的真实性,相比其他电子细... 详细信息
来源： 评论
人工生命：计算机与生物学交叉的前沿学科
收藏
分享
引用
计算机科学 2008年 第5期35卷 9-13页
作者： 卢欣华 孙吉贵 韩霄松 行荣 吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室 长春130012
人工生命是具有生命特征的人工系统,是探索生命复杂性的一门新兴交叉性前沿学科。它试图在计算机或其他人工媒介上,以综合的方法研究具有生命本质特征的复杂系统的动态发展过程。本文详细介绍了人工生命的概念、产生过程、发展历史、基... 详细信息
来源： 评论
一种IPv6穿越CDMA网络的方法
收藏
分享
引用
计算机应用研究 2008年 第4期25卷 1199-1200,1203页
作者： 魏达 刘衍珩 王健 田大新 吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室 长春130012
为了使IPv6客户端能够通过CDMA无线接入方式访问远程的IPv6服务器,介绍了已有的隧道技术并分析其不足,如不能适用于CDMA网络,提出并实现了一种基于NetFilter框架、Libnet和Libipq使得IPv6可以穿越CDMA网络的方法。实际应用表明,运用这... 详细信息
来源： 评论
全局自适应蚁群优化算法
收藏
分享
引用
小型微型计算机系统 2008年 第6期29卷 1083-1087页
作者： 王健 刘衍珩 朱建启 吉林大学计算机科学与技术学院 吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室 吉林长春130012
为解决蚁群算法存在的收敛速度慢和容易陷入局部最优等缺点,分析了其产生的主要原因,介绍了AS和MMAS算法的工作原理,并基于参数自适应思想,提出了全局自适应蚁群优化算法(GAO).对状态转移和信息素更新等规则做出改进,详尽给出了GAO的编... 详细信息
来源： 评论
基于粒子群优化算法的Bayesian网络结构学习
收藏
分享
引用
小型微型计算机系统 2008年 第8期29卷 1516-1519页
作者： 刘欣 贾海洋 刘大有 吉林大学计算机科学与技术学院 吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室 吉林长春130012
近年来,Bayesian网络已经成为人工智能领域的研究热点.为了更广泛的应用Bayesian网络,本文采用粒子群优化搜索算法,通过对粒子群算法中各个算子的确定,从训练数据样本中学习到Bayesian网络结构,并用测试数据样本测试学习结果与训练数据... 详细信息
来源： 评论
可能性规划表示与求解
收藏
分享
引用
南京大学学报（自然科学版） 2008年 第5期44卷 466-476页
作者： 殷明浩 李丹丹 谷文祥 孙吉贵 东北师范大学计算机学院 长春130117 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012
利用可能性理论提出了一种基于PDDL(planning domain definition language)的可能性规划表示方法——Poss-PDDL,给出了基于可能性理论框架下的定性决策理论和图规划算法的可能性规划求解方法——可能性图规划,设计并开发了可能性规划问... 详细信息
来源： 评论
贝叶斯网等价类学习算法
收藏
分享
引用
计算机工程与科学 2008年 第12期30卷 63-67,71页
作者： 贾海洋 刘大有 陈娟 关淞元 吉林大学计算机科学与技术学院 吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室 吉林长春130012
贝叶斯网用一种紧凑的形式表示联合概率分布,具有完备的语义和坚实的理论基础,目前已成为人工智能领域处理不确定性问题的最佳方法之一。贝叶斯网学习是其关键问题,传统学习方法存在如下不足:(1)随节点数增多非法结构以指数级增加,影响... 详细信息
来源： 评论
时变不确定系统的变时域鲁棒模型预测控制
收藏
分享
引用
吉林大学学报（理学版） 2008年 第6期46卷 1007-1012页
作者： 李俊玲 张树功 吉林大学数学研究所 符号计算与知识工程教育部重点实验室长春130012 上海应用技术学院数理教学部 上海200235
针对多包描述的时变不确定系统,通过分析该方法的可行性和闭环稳定性,提出一种变时域鲁棒预测控制器的设计方法,使得在与现有方法有相同初始可行域的前提下,保证了只要问题初始可行就有闭环系统二次稳定.仿真结果表明了算法的有效性.
来源： 评论
分布式医学影像分析与处理平台的设计与实现
收藏
分享
引用
计算机工程与应用 2008年 第34期44卷 9-14页
作者： 丁莹 杨华民 李文辉 范静涛 吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012 长春理工大学计算机科学技术学院 长春130022
介绍了分布式医学影像分析与处理平台DMIP(Distributing Medical Imaging Analyzing and Processing Platform)的设计以及在此基础上开发的数字医疗软件。DMIP采用分布式数据存储技术以及面向对象和基于构件的软件工程技术,在可视化开发... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共108页 <<  < 87 88 89 90 91 92 93 94 95 96 >  >>
回到顶部
执行限定条件