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

限定检索结果

文献类型

  • 1,141 篇 会议
  • 47 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 964 篇 工学
    • 733 篇 计算机科学与技术...
    • 323 篇 软件工程
    • 132 篇 控制科学与工程
    • 96 篇 机械工程
    • 96 篇 网络空间安全
    • 77 篇 仪器科学与技术
    • 47 篇 信息与通信工程
    • 22 篇 电子科学与技术（可...
    • 6 篇 交通运输工程
    • 5 篇 地质资源与地质工...
    • 5 篇 公安技术
    • 4 篇 测绘科学与技术
    • 3 篇 力学（可授工学、理...
    • 3 篇 化学工程与技术
    • 3 篇 农业工程
    • 3 篇 生物医学工程（可授...
  • 319 篇 管理学
    • 316 篇 管理科学与工程(可...
    • 16 篇 工商管理
  • 104 篇 理学
    • 84 篇 数学
    • 14 篇 系统科学
    • 11 篇 统计学（可授理学、...
    • 5 篇 生物学
    • 2 篇 地理学
  • 28 篇 艺术学
    • 28 篇 设计学（可授艺术学...
  • 23 篇 经济学
    • 23 篇 应用经济学
  • 12 篇 教育学
    • 12 篇 教育学
  • 10 篇 军事学
    • 7 篇 军队指挥学
  • 5 篇 哲学
    • 5 篇 哲学
  • 4 篇 文学
    • 2 篇 中国语言文学
  • 4 篇 医学
  • 3 篇 法学
    • 3 篇 社会学
  • 3 篇 农学
  • 1 篇 历史学

主题

  • 44 篇 学术年会
  • 38 篇 数据挖掘
  • 30 篇 遗传算法
  • 27 篇 理论计算机科学
  • 25 篇 计算机数学
  • 22 篇 网络安全
  • 21 篇 数据库系统
  • 20 篇 征文通知
  • 20 篇 软件开发
  • 20 篇 计算机科学
  • 18 篇 并行算法
  • 17 篇 神经网络
  • 16 篇 人工智能
  • 16 篇 计算机算法
  • 15 篇 软件工程
  • 13 篇 数据库
  • 11 篇 程序设计
  • 11 篇 软件测试
  • 11 篇 网络架构
  • 11 篇 计算机网络

机构

  • 96 篇 国防科技大学
  • 73 篇 燕山大学
  • 47 篇 海军工程大学
  • 40 篇 山东大学
  • 40 篇 武汉大学
  • 33 篇 兰州大学
  • 30 篇 华中科技大学
  • 28 篇 福州大学
  • 27 篇 中南大学
  • 24 篇 中国计算机学会理...
  • 23 篇 浙江师范大学
  • 23 篇 哈尔滨师范大学
  • 21 篇 吉林大学
  • 21 篇 贵州大学
  • 19 篇 电子科技大学
  • 16 篇 复旦大学
  • 16 篇 南京大学
  • 16 篇 东北师范大学
  • 15 篇 苏州大学
  • 15 篇 湘潭大学

作者

  • 45 篇 殷建平
  • 27 篇 贲可荣
  • 21 篇 李廉
  • 20 篇 刘国华
  • 15 篇 赵建民
  • 14 篇 朱信忠
  • 14 篇 王新生
  • 12 篇 许道云
  • 11 篇 祝恩
  • 11 篇 毋国庆
  • 11 篇 李祥
  • 11 篇 朱大铭
  • 9 篇 张广泉
  • 9 篇 李永明
  • 9 篇 蔡志平
  • 9 篇 薛锦云
  • 7 篇 徐德启
  • 7 篇 钟声
  • 7 篇 朱文兴
  • 7 篇 张忠平

语言

  • 1,179 篇 中文
  • 9 篇 英文
检索条件"任意字段=2002年全国理论计算机科学学术年会"
共 1188 条 记 录，以下是61-70 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
SAT问题可多项式归结到MSP问题
SAT问题可多项式归结到MSP问题
收藏
分享
引用
2012年全国理论计算机科学学术年会(NCTCS2012)
作者： 樊硕 姜新文 国防科技大学计算机学院 长沙 410073
文献[1]中提出的MSP问题(定义见正文),从SAT问题出发,给出SAT问题到MSP问题的多项式归结,进而给出MSP问题NP完全性质的另一种证明.
来源： 评论
一个基于实例学习的并行负荷分配方法
一个基于实例学习的并行负荷分配方法
收藏
分享
引用
2006年全国理论计算机科学学术年会
作者： 龙舜 钟衍凡 暨南大学计算机科学系 暨南大学计算机科学系
＜正＞1 引言当前日益复杂的计算机体系结构和以并行和异构为主要特征的计算环境使各种应用程序可以获得更高运行性能,如何充分发挥其并行处理能力是当前研究和开发的热点。并行技术传统上集中应用于
来源： 评论
平面图团覆盖问题的核心化和参数化算法
平面图团覆盖问题的核心化和参数化算法
收藏
分享
引用
2011年全国理论计算机科学学术年会
作者： 张文琰 Rudolf Fleischer 复旦大学计算机科学技术学院和上海智能信息处理重点实验室 上海200433
团覆盖问题是经典的理论计算问题,本文从参数理论角度考虑平面图团覆盖问题,提出了核心化简化规则,通过这些简化规则可以得到平面图团覆盖问题的核心,其规模为 4k-4.
来源： 评论
面向对象逻辑研究
面向对象逻辑研究
收藏
分享
引用
2002年全国理论计算机科学学术年会
作者： 宁爱兵 熊小华 罗杰 江西师范大学计算机科学技术学院(南昌)
本文主要研究了面向对象形式化逻辑,并把该理论用于指导一个从需求分析阶段到代码阶段的面向对象分析和设计的辅助工具.
来源： 评论
机器学习在软件预测与评估中的应用
机器学习在软件预测与评估中的应用
收藏
分享
引用
2006年全国理论计算机科学学术年会
作者： 陈振兴 贲可荣 海军工程大学计算机系 海军工程大学计算机系
1 引言由于开发大型软件固有的基本难点——复杂性、需求一致性、多变性和不可见性,在不断变化的背景环境中开发和维护大型软件系统对我们构成了巨大挑战。
来源： 评论
Action演算中动作之间数据流分析方法及其实现
Action演算中动作之间数据流分析方法及其实现
收藏
分享
引用
2002年全国理论计算机科学学术年会
作者： 金英 金成植 吉林大学计算机科学与技术学院(长春)
本文针对Action演算的分子形式,给出了动作之间的数据流分析的形式描述,为建立并发系统相关的通用理论提供了分析手段.
来源： 评论
SMP机群的双层计算模型的设计与实现
SMP机群的双层计算模型的设计与实现
收藏
分享
引用
2002年全国理论计算机科学学术年会
作者： 朱定局 仝兆岐 石油大学计算机与通信工程学院(山东东营)
本文介绍了SMP机群的双层体系结构及其双层计算模型,概述了该双层计算模型的应用.结果表明该双层计算模型性能优越.
来源： 评论
基于逻辑令牌环的容错协议的可靠性分析
基于逻辑令牌环的容错协议的可靠性分析
收藏
分享
引用
2006年全国理论计算机科学学术年会
作者： 季燏 王俊岭 东南大学计算机科学与工程学院 东南大学计算机科学与工程学院
1 引言随着分布式系统越来越广泛地被使用,要求更高的性能和更可靠的运行。在采用主动复制方式来增强系统容错能力的分布式系统中,其主要问题是如何维持系统中不同复本上数据的一致性和协调系
来源： 评论
JXTA协议下汇聚对等体自组织机制研究
JXTA协议下汇聚对等体自组织机制研究
收藏
分享
引用
2006年全国理论计算机科学学术年会
作者： 任重 陈志刚 李登 中南大学信息科学与工程学院 中南大学信息科学与工程学院 中南大学信息科学与工程学院
1 引言 JXTA是一种虚拟网络平台架构,2004年发布 JXTA v2．0协议规范。JXTA网络中对资源的查询速度很大程度上决定整个网络的性能。
来源： 评论
工作流过程的Petri网建模方法
工作流过程的Petri网建模方法
收藏
分享
引用
2006年全国理论计算机科学学术年会
作者： 黄雨 徐春香 王捍贫 北京大学信息科学技术学院 北京大学信息科学技术学院 北京大学信息科学技术学院
1 引言工作流技术大量地应用在业务过程的管理中, 它具有高效性、可动态分析等优点。许多研究人员展开了对工作流各方向的研究,最具有代表性的是
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共119页 <<  < 3 4 5 6 7 8 9 10 11 12 >  >>
回到顶部
执行限定条件