检索结果-内蒙古大学图书馆

计算机科学与应用 2012年第3期2卷 121-125页

作者：刘彦钊罗峋薛凯罗平中国信息安全测评中心北京香港科技大学电子与计算机工程系香港清华大学软件学院信息系统安全教育部重点实验室清华信息科学与技术国家实验室北京

近年来软件的可信性已经成为软件工程领域的一个前沿研究方向,本文对基于属性划分的软件可信性度量模型中控制具有最小度量值的关键子属性的影响因子进行了改进,提出了一种新的度量模型,使其影响因子是最小度量值和其权重的函数。该模... 详细信息

近年来软件的可信性已经成为软件工程领域的一个前沿研究方向,本文对基于属性划分的软件可信性度量模型中控制具有最小度量值的关键子属性的影响因子进行了改进,提出了一种新的度量模型,使其影响因子是最小度量值和其权重的函数。该模型更加符合实际情况且具有其优越性。

关键词：软件可信性度量模型

来源：评论

学校读者我要写书评

暂无评论

云环境中的近似复制文本检测

云环境中的近似复制文本检测

引用

第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的近似复制文本... 详细信息

如今的互联网领域时刻都在产生海量的数据，文本数据是重要的组成部分。在这些文本数据中，存在大量的近似复制文本，这些相似程度很高的文本对给相关处理程序增加了额外负担。针对云计算环境，提出了一种基于MapReduce的近似复制文本检测算法，它能够在给定的文本集合与相似度阈值条件下，经过过滤与验证操作后返回所有相似程度不低于该阈值的文本对。真实数据集上的实验结果表明，与现有工作相比，所提算法能更为高效地返回相似文本对，提高了总体性能。

关键词：海量数据近似复制文本检测算法优化信息过滤

来源：评论

学校读者我要写书评

暂无评论

一种PLC程序语言指称语义及函数的形式化定义方法

一种PLC程序语言指称语义及函数的形式化定义方法

引用

2011年中国智能自动化学术会议

作者：肖力田顾明孙家广清华大学软件学院信息科学与技术国家实验室信息系统安全教育部重点实验室计算机科学与技术系北京特种工程设计研究院

为了使用形式化方法对PLC程序的正确性验证奠定基础,研究PLC程序语言的指称语义定义,以实现对PLC形式化定义和检测验证。基于程序建模,定义了PLC程序指称语义的格局、程序语言的语义函数及函数,为其模型检测和定理证明提供了基础。

关键词： PLC程序扩展λ-演算程序建模指称语义

来源：评论

学校读者我要写书评

暂无评论

基于MapReduce框架的近似复制文本检测

基于MapReduce框架的近似复制文本检测

引用

第27届中国数据库学术会议

作者：李瑞王朝坤郑伟王建民王伟平清华大学软件学院北京100084 清华信息科学与技术国家实验室(筹)(清华大学) 北京100084 信息系统安全教育部重点实验室(清华大学) 北京100084 中国科学院计算技术研究所国家智能计算机研究开发中心北京100190

海量文本数据近似复制文本检测在现实生活中具有广泛应用,如相似网页检测。提出了一种基于MapReduce的相似文本匹配算法,给定一个文本集合和相似性阈值,该算法能够有效计算文本集合中不小于该阈值的所有文本对。在真实数据集合上的实验... 详细信息

海量文本数据近似复制文本检测在现实生活中具有广泛应用,如相似网页检测。提出了一种基于MapReduce的相似文本匹配算法,给定一个文本集合和相似性阈值,该算法能够有效计算文本集合中不小于该阈值的所有文本对。在真实数据集合上的实验结果表明,与现有工作相比,所提算法能够快速返回相似文本对。

关键词： MapReduce框架近似复制文本检测文本数据

来源：评论

学校读者我要写书评

暂无评论

基于MapReduce的不确定子图查询处理

基于MapReduce的不确定子图查询处理

引用

第29届中国数据库学术会议

作者： Han Lu 韩璐 Wang Chaokun 王朝坤 Ruan Wenjing 阮文静 Ou Xiaoping 欧晓平 Qiu Ping 仇萍 School of Software Tsinghua University Beijing 100084 清华大学软件学院北京 100084 Tsinghua National Laboratory for Information Science and Technology Beijing 100084 清华信息科学与技术国家实验室(筹) 北京 100084 Key Laboratory for In formation System Security Ministry of Education Beijing 100084 信息系统安全教育部重点实验室(清华大学)北京 100084

图数据结构具有较强的模拟复杂结构的能力，能够很好地表达数据对象之间的关联，广泛地用于各领域非结构化数据建模。为解决大量数据子图查询处理中的不确定情况，本文提出了基于MapReduce的双向匹配查询算法，并提出了有效的索引结构... 详细信息

图数据结构具有较强的模拟复杂结构的能力，能够很好地表达数据对象之间的关联，广泛地用于各领域非结构化数据建模。为解决大量数据子图查询处理中的不确定情况，本文提出了基于MapReduce的双向匹配查询算法，并提出了有效的索引结构以提高查询算法的效率。最后，在真实数据集和合成数据集上的实验结果证明了算法的正确性、高效性和扩展性。

关键词：不确定图数据双向匹配查询算法信息管理性能测试

来源：评论

学校读者我要写书评

暂无评论

社交网络介数中心度快速更新算法

社交网络介数中心度快速更新算法

引用

第29届中国数据库学术会议

作者： Yang Jianxiang 杨建祥 Wang Chaokun 王朝坤 Bat Yiyuan 白易元 Hao Jingchao 郝竞超 Wang Hao 汪浩 School of Software Tsinghua University Beijing 100084 清华大学软件学院北京 100084 Tsinghua National Laboratory for Information Science and Technology Beijing 100084 清华信息科学与技术国家实验室(筹) 北京 100084 Key Laboratory for Information System Security(Tsinghua University) Ministry of Education Beijing 信息系统安全教育部重点实验室(清华大学) 北京 100084

近年来，社交网络的高速发展，社交成员的重要性度量受到了越来越多的关注。其中，介数中心度(betweenness centrality)被广泛地应用于节点重要性的度量中。针对图结构频繁变化的场合中介数中心度效率较低这一问题，通过在第1次计算介... 详细信息

近年来，社交网络的高速发展，社交成员的重要性度量受到了越来越多的关注。其中，介数中心度(betweenness centrality)被广泛地应用于节点重要性的度量中。针对图结构频繁变化的场合中介数中心度效率较低这一问题，通过在第1次计算介数中心度时改进Brandes算法，并在之后的更新操作时缩小需要计算的最短路径点对范围，提高寻找最短路径效率的方法，大大提高了有向无权图中加边操作时的介数中心度更新效率，该算法在不同真实数据上的实验，尤其是在稀疏图或具有较多独立区域的有向图中表现出很好的更新加速性能。

关键词：社交网络介数中心度算法改进最短路径

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：