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

限定检索结果

文献类型

  • 32 篇 期刊文献
  • 10 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 38 篇 工学
    • 26 篇 计算机科学与技术...
    • 20 篇 软件工程
    • 12 篇 机械工程
    • 8 篇 建筑学
    • 3 篇 网络空间安全
    • 2 篇 仪器科学与技术
    • 1 篇 控制科学与工程
  • 8 篇 艺术学
    • 8 篇 设计学（可授艺术学...
  • 6 篇 管理学
    • 6 篇 管理科学与工程(可...

主题

  • 3 篇 业务过程管理
  • 2 篇 自动分割
  • 2 篇 ftp检索
  • 2 篇 正则化
  • 2 篇 数据预处理
  • 2 篇 用户识别
  • 2 篇 负载平衡
  • 2 篇 业务过程模型
  • 2 篇 用户反馈
  • 2 篇 数据交换
  • 2 篇 支持向量机
  • 2 篇 数据挖掘
  • 2 篇 web日志
  • 2 篇 三角形网格
  • 2 篇 业务过程
  • 2 篇 层次聚类
  • 2 篇 计算机应用
  • 2 篇 产品全生命周期管...
  • 2 篇 非流形
  • 2 篇 模型修复

机构

  • 42 篇 清华大学
  • 28 篇 信息系统安全教育...
  • 19 篇 清华信息科学与技...
  • 2 篇 法国国家信息与自...
  • 2 篇 昆士兰科技大学
  • 2 篇 江西省科学院能源...
  • 2 篇 江西省科学院科研...
  • 2 篇 信息科学与技术国...
  • 2 篇 后勤工程学院
  • 1 篇 湖南大学
  • 1 篇 汽车车身先进设计...
  • 1 篇 清华信息科学与技...
  • 1 篇 tsinghua nationa...
  • 1 篇 防化指挥工程学院
  • 1 篇 清华信息科学与技...
  • 1 篇 信息系统安全教育...
  • 1 篇 inria villers-lè...
  • 1 篇 department of co...
  • 1 篇 school of softwa...
  • 1 篇 第三军医大学

作者

  • 19 篇 雍俊海
  • 12 篇 yong junhai
  • 9 篇 闻立杰
  • 9 篇 王建民
  • 8 篇 施侃乐
  • 7 篇 王斌
  • 7 篇 wang bin
  • 6 篇 张慧
  • 5 篇 金涛
  • 5 篇 shi kanle
  • 4 篇 朱笑尘
  • 4 篇 古和今
  • 4 篇 gu hejin
  • 4 篇 王朝霞
  • 4 篇 王朝坤
  • 3 篇 徐鑫
  • 3 篇 许君
  • 3 篇 wang jianmin
  • 3 篇 胡楷模
  • 3 篇 刘璋

语言

  • 42 篇 中文
检索条件"机构=清华大学计算机科学与技术系，北京 100084 清华大学信息系统安全教育部重点实验室，北京 100084 清华大学信息科学与技术国家实验室，北京 100084"
共 42 条 记 录，以下是41-50 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
一种PLC程序语言指称语义及函数的形式化定义方法
一种PLC程序语言指称语义及函数的形式化定义方法
收藏
分享
引用
2011年中国智能自动化会议
作者： 肖力田 顾明 孙家广 清华大学软件学院信息科学与技术国家实验室，信息系统安全教育部重点实验室，计算机科学与技术系，北京，100084 北京特种工程设计研究院，北京，100028 清华大学软件学院信息科学与技术国家实验室，信息系统安全教育部重点实验室，计算机科学与技术系，北京，100084
为了使用形式化方法对PLC程序的正确性验证奠定基础，研究PLC程序语言的指称语义定义，以实现对PLC形式化定义和检测验证。基于程序建模，定义了PLC程序指称语义的格局、程序语言的语义函数及函数，为其模型检测和定理证明提供了基础。
来源： 评论
云环境中的近似复制文本检测
云环境中的近似复制文本检测
收藏
分享
引用
第29届中国数据库学术会议
作者： Xu Jun 许君 Wang Chaokun 王朝坤 Liu Lichao 刘立超 Wang Jianmin 王建民 Liu Zhang 刘璋 Department of Computer and Science Tsinghua University Beijing 100084 School of Software Tsinghu 清华大学计算机科学与技术系 北京 100084 清华大学软件学院 北京 100084 清华信息科学与技术国家实验室(筹)(清华大学) 北京 100084 信息系统安全教育部重点实验室(清华大学) 北京 School of Software Tsinghua University Beijing 100084 Tsinghua National Laboratory for Informatio 清华大学软件学院 北京 100084 清华信息科学与技术国家实验室(筹)(清华大学) 北京 100084 信息系统安全教育部重点实验室(清华大学) 北京 100084
如今的互联网领域时刻都在产生海量的数据，文本数据是重要的组成部分。在这些文本数据中，存在大量的近似复制文本，这些相似程度很高的文本对给相关处理程序增加了额外负担。针对云计算环境，提出了一种基于MapReduce的近似复制文本... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共5页 <<  < 1 2 3 4 5 >  >>
回到顶部
执行限定条件