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

限定检索结果

文献类型

  • 76 篇 会议
  • 5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 70 篇 工学
    • 52 篇 计算机科学与技术...
    • 23 篇 软件工程
    • 11 篇 控制科学与工程
    • 9 篇 网络空间安全
    • 7 篇 机械工程
    • 6 篇 仪器科学与技术
    • 1 篇 建筑学
    • 1 篇 地质资源与地质工...
    • 1 篇 交通运输工程
    • 1 篇 城乡规划学
  • 19 篇 管理学
    • 18 篇 管理科学与工程(可...
    • 1 篇 公共管理
  • 4 篇 艺术学
    • 4 篇 设计学（可授艺术学...
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 理学
    • 1 篇 系统科学

主题

  • 6 篇 模式识别
  • 5 篇 网络安全
  • 4 篇 理论计算机科学
  • 4 篇 学术年会
  • 3 篇 计算机网络
  • 3 篇 图像处理
  • 2 篇 遗传算法
  • 2 篇 agent系统
  • 2 篇 中国计算机学会
  • 2 篇 软件质量
  • 2 篇 图自同构
  • 2 篇 图像识别
  • 2 篇 公钥密码
  • 2 篇 学术会议
  • 2 篇 学术刊物
  • 2 篇 服务质量
  • 2 篇 自动机理论
  • 1 篇 产生矩阵分析
  • 1 篇 数据库理论
  • 1 篇 k-l变换

机构

  • 16 篇 福州大学
  • 6 篇 山东大学
  • 4 篇 国防科技大学
  • 3 篇 浙江师范大学
  • 3 篇 兰州大学
  • 3 篇 南京大学
  • 3 篇 西南师范大学
  • 3 篇 吉林大学
  • 3 篇 中南大学
  • 2 篇 西安交通大学
  • 2 篇 重庆大学
  • 2 篇 苏州大学
  • 2 篇 南京航空航天大学
  • 2 篇 湖南长沙天一银河...
  • 1 篇 华中科技大学
  • 1 篇 中国科学院软件研...
  • 1 篇 河北大学
  • 1 篇 上海师范大学
  • 1 篇 南京气象学院
  • 1 篇 海军工程大学

作者

  • 8 篇 刘传才
  • 4 篇 殷建平
  • 3 篇 南京大学计算机科...
  • 3 篇 唐依珠
  • 3 篇 赵建民
  • 2 篇 徐德启
  • 2 篇 陈建二
  • 2 篇 王伟平
  • 2 篇 陈洪陶
  • 2 篇 许江
  • 2 篇 张荣
  • 2 篇 南京航空航天大学...
  • 2 篇 梅毓
  • 2 篇 张建高
  • 2 篇 马绍汉
  • 2 篇 祝恩
  • 2 篇 毛宇光
  • 2 篇 郭文忠
  • 2 篇 李凡长
  • 2 篇 钱旭培

语言

  • 81 篇 中文
检索条件"任意字段=2001年全国理论计算机科学学术会议"
共 81 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
图的自同构个数的计算
图的自同构个数的计算
收藏
分享
引用
2001年全国理论计算机科学学术会议
作者： 陈洪陶 徐德启 兰州大学信息科学与工程学院(兰州)
本文给出计算图的自同构个数公式与算法.
来源： 评论
整数分解与数论密码
整数分解与数论密码
收藏
分享
引用
2001年全国理论计算机科学学术会议
作者： 颜松远 南开大学信息技术科学学院(天津)
本文扼要介绍了整数分解的困难性及其在公钥密码体制上的应用.
来源： 评论
将随机算法应用于理论证明
将随机算法应用于理论证明
收藏
分享
引用
2001年全国理论计算机科学学术会议
作者： 贺红 山东大学计算机科学系(济南)
本文试图举例说明随机算法应用于理论研究的思路及其对证明方法的丰富和完善,以引起大家对随机算法的兴起和重视.
来源： 评论
基于模糊互熵的模糊Agents的冲突消解方法
基于模糊互熵的模糊Agents的冲突消解方法
收藏
分享
引用
2001年全国理论计算机科学学术会议
作者： 刘传才 陈国龙 福州大学计算机系(福州)
本文给出了基于模型互熵解决模糊Agents冲突消解的策略.
来源： 评论
概率计算复杂性语言类BPP的研究
概率计算复杂性语言类BPP的研究
收藏
分享
引用
2001年全国理论计算机科学学术会议
作者： 李雅瑞 桂林空军学院(桂林)
本文研究了概率计算复杂性中的重要语言类,BPP给出了BPP≠PP的一个充分必要条件以及BPP的几个等价命题.
来源： 评论
递归领域和项重写系统等价性
递归领域和项重写系统等价性
收藏
分享
引用
2001年全国理论计算机科学学术会议
作者： 冯速 中国科学院计算机科学实验室(北京) 刘石霞 曹顺 北京师范大学计算机系(北京)
本文讨论了递归领域的概念及其于递归领域的项重写系统等价性的归纳证明方法.
来源： 评论
背包问题算法研究新趋势
背包问题算法研究新趋势
收藏
分享
引用
2001年全国理论计算机科学学术会议
作者： 雷鹏 朱大铭 马绍汉 山东大学计算机学院(济南)
本文总结了背包问题的若干重要特性,分别介绍解答了背包问题的分枝定界技术和核算法、动态规划求解算法、紧缩上界算法.
来源： 评论
抽象和求精过程中用算子标识约束信息
抽象和求精过程中用算子标识约束信息
收藏
分享
引用
2001年全国理论计算机科学学术会议
作者： 程晓春 欧阳丹彤 中国科学院软件研究所计算机科学开放研究实验室(北京) 吉林大学计算机科学系(长春)
本文研究抽象逻辑的自然演绎系统.针对一般的约束概念,给出基于高阶逻辑和类型理论的形式化描述.
来源： 评论
从不完备数据中学习条件概率的实验比较
从不完备数据中学习条件概率的实验比较
收藏
分享
引用
2001年全国理论计算机科学学术会议
作者： 刘传才 陈国龙 福州大学计算机科学与技术系(福州)
本文在解决缺漏数据问题时比较了EM、GS和BC算法的准确性和有效性,勾画出三种算法的特征.
来源： 评论
正规系统可计算性研究
正规系统可计算性研究
收藏
分享
引用
2001年全国理论计算机科学学术会议
作者： 陈传峰 李增智 西安交通大学计算机系统结构与网络研究所(西安)
本文讨论了Post系统中的正规系统.主要研究正规系统可计算性有关问题,研究正规系统与半Thue系统及正规系统与Turing机的关系.
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共9页 <<  < 1 2 3 4 5 6 7 8 9 >  >>
回到顶部
执行限定条件