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

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

作者：闫秋玲吴良陈薇王腾蛟雷凯杨冬青高可信软件技术教育部重点实验室(北京大学) 北京大学信息科学技术学院深圳市云计算关键技术与应用重点实验室(SPCCTA)北京大学深圳研究生院

社会网络中,不仅包括链接结构,还包括内容信息,内容信息表达了社会网络中个体相关的话题、兴趣等语义层面的信息.只考虑链接结构的社区挖掘方法无疑忽视了内容信息的价值.提出了一种结合链接结构和内容信息进行动态社区挖掘的方法.将链... 详细信息

社会网络中,不仅包括链接结构,还包括内容信息,内容信息表达了社会网络中个体相关的话题、兴趣等语义层面的信息.只考虑链接结构的社区挖掘方法无疑忽视了内容信息的价值.提出了一种结合链接结构和内容信息进行动态社区挖掘的方法.将链接结构和内容表达为矩阵形式,综合历史社区划分结果,使用非负矩阵分解方法进行社区划分,以使社区结果在反映网络的链接特征的同时,还反映话题、兴趣等语义层面的特征.在真实数据集上的实验结果表明,所得到的结果揭示了社区随时间的演化情况、社区在不同时刻所关联的内容信息,并且能应用于其他领域,如专家搜索.

关键词：动态网络社区挖掘非负矩阵分解内容信息

来源：评论

学校读者我要写书评

暂无评论

一个可半自动化扩展的静态代码缺陷分析工具

引用

计算机学报 2011年第6期34卷 1114-1125页

作者：梁广泰孟娜李进辉钟浩张路王千祥北京大学信息科学技术学院高可信软件技术教育部重点实验室北京100871

基于缺陷模式的代码缺陷分析技术根据预先设定的缺陷模式知识对受检代码进行缺陷分析.这种分析技术具有使用简单、查找速度快等优点,是近年来静态代码缺陷分析方法中发展比较迅速的新技术.但是目前基于这种分析技术的大多数工具并没有... 详细信息

基于缺陷模式的代码缺陷分析技术根据预先设定的缺陷模式知识对受检代码进行缺陷分析.这种分析技术具有使用简单、查找速度快等优点,是近年来静态代码缺陷分析方法中发展比较迅速的新技术.但是目前基于这种分析技术的大多数工具并没有为用户提供足够易用、高效的扩展方式以扩充其缺陷检测能力.针对这一问题,作者提出了一个"可半自动化扩展"的代码缺陷静态分析方法,设计并实现了一个支持该方法的工具——CODA(COde Defect Analysis tool).CODA不仅提供了"缺陷模式描述模板"以帮助用户快速地手工扩充缺陷模式库,还能在用户的指导下半自动化地挖掘新缺陷模式以快速扩充其缺陷模式库.一旦新的缺陷模式被定义并添加至缺陷模式库中,CODA便能自动具有针对该类缺陷的检测能力.

关键词：静态分析缺陷分析半自动化扩展缺陷模式

来源：评论

学校读者我要写书评

暂无评论

分片位图索引:一种适用于云数据管理的辅助索引机制

分片位图索引:一种适用于云数据管理的辅助索引机制

引用

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

作者： MENG Bi-Ping 孟必平 WANG Teng-Jiao 王腾蛟 LI Hong-Yan 李红燕 YANG Dong-Qing 杨冬青 Key Laboratory of High Confidence Software Technologies(Peking University)of Ministry of Education 高可信软件技术教育部重点实验室(北京大学) 北京 100871 北京大学信息科学技术学院北京 100871 Key Laboratory of Machine Perception(Peking University)of Ministry of Education Beijing 100871 Sch 机器感知与智能教育部重点实验室(北京大学) 北京 100871 北京大学信息科学技术学院北京 100871

云计算技术的快速发展为海量数据的存储和管理提供了可能。然而，由于存储模型的根本改变，传统关系数据库管理系统中成熟的索引技术既不能直接应用于海量数据的处理，也无法被简单地迁移到云计算环境中。通过分析对比辅助索引在云环境... 详细信息

云计算技术的快速发展为海量数据的存储和管理提供了可能。然而，由于存储模型的根本改变，传统关系数据库管理系统中成熟的索引技术既不能直接应用于海量数据的处理，也无法被简单地迁移到云计算环境中。通过分析对比辅助索引在云环境中的两种截然不同的基本逻辑结构，即集中式方案与分布式方案，在吸收两者的优势并规避其弱点的基础上，提出了具有良好可扩展性的分片位图索引机制，从而对云环境中海量数据的检索任务提供高效的支持。通过充分利用云环境中的并行计算资源，使单条查询的响应速度得到提升;与此同时，局部节点根据其所掌握的全局信息规避了不必要的检索开销从而使大量请求并发到达时的查询吞吐量得以保证。在真实数据上进行实验的结果表明，分片位图索引的查询性能大大优于其它方法。

关键词：海量数据存储管理云计算技术辅助索引机制

来源：评论

学校读者我要写书评

暂无评论

云环境中一种面向海量稀疏数据存储的缺失值处理方法

云环境中一种面向海量稀疏数据存储的缺失值处理方法

引用

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

作者： Chen Yuxin 陈郁馨 Cheng Xu 程序 Zhao Peng 赵鹏 Meng Biping 孟必平 Li Hongyan 李红燕 Wang Tengjiao 王腾蛟 School of Software and Microelectronics Peking University Beijing 102600 北京大学软件与微电子学院北京 102600 School of Electronics Engineering and Computer Science Peking University Beijing 100871 Key Labor 北京大学信息科学技术学院北京 100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 School of Electronics Engineering and Computer Science Peking University Beijing 100871 Key Labora 北京大学信息科学技术学院北京 100871 机器感知与智能教育部重点实验室(北京大学) 北京100871 School of Software and Microelectronics Peking University Beijing 102600 School of Electronics En 北京大学软件与微电子学院北京 102600 北京大学信息科学技术学院北京 100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

如何处理缺失值一直是数据库领域中一个值得关注的问题，缺失值问题的研究对于提高运算效率和保证系统健壮性具有重要意义。云环境中海量数据的稀疏性使缺失值问题变的更加突出，现有的处理方法要么语义表达能力有限，要么未考虑到云环... 详细信息

如何处理缺失值一直是数据库领域中一个值得关注的问题，缺失值问题的研究对于提高运算效率和保证系统健壮性具有重要意义。云环境中海量数据的稀疏性使缺失值问题变的更加突出，现有的处理方法要么语义表达能力有限，要么未考虑到云环境对其的影响。针对这些问题，提出了一种面向海量稀疏数据存储的缺失值处理方法：首先结合现实的云环境应用，把缺失值归纳为未知值和不存在值两类;其次基于该语义定义了算术运算及比较运算;然后利用规约的方法降低四值逻辑的复杂性，以定义其逻辑运算。最后在真实的大规模稀疏数据集上进行了多组实验，证明了所提出的缺失值语义具有较好的语义表达能力和存储性能。

关键词：海量稀疏数据缺失值处理算法优化性能测试

来源：评论

学校读者我要写书评

暂无评论

基于云计算平台的群体移动规律挖掘系统

基于云计算平台的群体移动规律挖掘系统

引用

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

作者： Zhou Yuxi 周雨熙 Miao Gaoshan 苗高杉 Li Hongyan 李红燕 Wang Tengjiao 王腾蛟 School of Software and Microelectronics Peking University Beijing 100871 北京大学软件与微电子学院北京100871 School of Electronics Engineering and Computer Science Peking University Beijing 100871 Key Labor 北京大学信息科学技术学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京 100871 School of Electronics Engineering and Computer Science Peking University Beijing 100871 Key Labor 北京大学信息科学技术学院北京100871 机器感知与智能教育部重点实验室(北京大学) 北京 100871 School of Software and Microelectronics Peking University Beijing 100871 School of Electronics En 北京大学软件与微电子学院北京100871 北京大学信息科学技术学院北京 100871 高可信软件技术教育部重点实验室(北京大学) 北京 100871

借助于群体移动规律挖掘技术，可以为商业及社会领域提供有效的决策支持，产生巨大的商业价值并具有非常重要的社会意义。但是由于移动通讯领域的发展和移动数据本身的特点，传统技术已经很难满足对海量数据的处理需求。本文设计了一种... 详细信息

借助于群体移动规律挖掘技术，可以为商业及社会领域提供有效的决策支持，产生巨大的商业价值并具有非常重要的社会意义。但是由于移动通讯领域的发展和移动数据本身的特点，传统技术已经很难满足对海量数据的处理需求。本文设计了一种基于云计算平台的群体移动规律挖掘系统，借助于云计算平台的稳定高效且易于扩展等特性，根据实际应用需要构建可配置的移动轨迹，并通过个体惯常轨迹挖掘和协同聚类来实现群体移动规律挖掘。最后通过多组实验对系统功能和运行效率进行了展示和探讨。

关键词：群体移动规律挖掘系统优化设计海量数据信息处理云计算平台

来源：评论

学校读者我要写书评

暂无评论

基于编档的体系结构视图冲突检测方法

引用

软件学报 2011年第11期22卷 2577-2592页

作者：朱文辉黄罡孙艳春梅宏北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

软件体系结构由不同的视图组成,每个视图包含不同的体系结构关注点.在软件工程领域中,如何对这些视图进行比对和合并是一项非常重要的研究工作.然而,目前视图比对的主要研究都着眼于视图元素之间的比对,因而并不能有效地发现视图之间的... 详细信息

软件体系结构由不同的视图组成,每个视图包含不同的体系结构关注点.在软件工程领域中,如何对这些视图进行比对和合并是一项非常重要的研究工作.然而,目前视图比对的主要研究都着眼于视图元素之间的比对,因而并不能有效地发现视图之间的隐含冲突.主要原因是由于不同视图背后隐含着不同的关注点,而关注点之间的冲突并不能显式地在视图中表现出来,因此仅作视图元素比对不能发现这种隐含冲突.针对该问题,提出了一种基于编档的体系结构视图隐含冲突检测方法.在该方法中,通过对设计方法进行建模来捕获体系结构关注点和视图之间的关联关系;以软件体系结构文档作为通用平台,通过4个连续的活动来检测关注点之间的隐含关系;为了支持方法的自动化,就其中出现的关系给出了一套数学定义.

关键词：体系结构视图视图关系体系结构关注点质量属性软件编档

来源：评论

学校读者我要写书评

暂无评论

扩展QVT Relations实现业务流程模型的转换

引用

软件学报 2011年第2期22卷 195-210页

作者：何啸麻志毅张岩邵维忠北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

QVT(Query/View/Transformation)Relations无法描述包含嵌套模式,因此在描述流程模型的转换规则时存在一些困难.针对此问题,对QVT Relations进行了扩展,引入了模式因子、嵌套关系表达式和关联端约束这3个概念,并讨论了扩充之后匹配模型... 详细信息

QVT(Query/View/Transformation)Relations无法描述包含嵌套模式,因此在描述流程模型的转换规则时存在一些困难.针对此问题,对QVT Relations进行了扩展,引入了模式因子、嵌套关系表达式和关联端约束这3个概念,并讨论了扩充之后匹配模型和创建模型的语义变化.并用一个例子展示,扩展之后的QVT Relations可以解决流程模型转换的问题.

关键词：模型驱动体系结构面向服务的体系结构业务流程模型转换 QVT

来源：评论

学校读者我要写书评

暂无评论

XML模式匹配:整体连接算法TurboStack

XML模式匹配:整体连接算法TurboStack

引用

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

作者： Guo Shaosong 郭少松 Bao Xiaoyuan 包小源 Chen Wei 陈薇 Wang Tengjiao 王腾蛟 Lei Kai 雷凯 Yang Dongqing 杨冬青 Key Laboratory of High Confidence Software Technologies(Ministry of Education) School of EECS Peki 高可信软件技术教育部重点实验室北京大学信息科学技术学院北京 100871 School of EECS Peking University Beijing 100871 北京大学信息科学技术学院北京 100871 The Shenzhen Key Lab for Cloud Computing Technology and Applications(SPCCTA) Peking University Shen 深圳市云计算关键技术与应用重点实验室(SPCCTA) 北京大学深圳研究生院

含谓词的XPath查询为小枝查询(twig query),它是XQuery最基本的查询模式。小枝查询算法有两大类：小枝分解和整体小枝连接,其中TwigStack系列算法处理小枝查询的效率是最优的,但其缺点在于不支持Twig Query中含“OR”以及通配符“*”的... 详细信息

含谓词的XPath查询为小枝查询(twig query),它是XQuery最基本的查询模式。小枝查询算法有两大类：小枝分解和整体小枝连接,其中TwigStack系列算法处理小枝查询的效率是最优的,但其缺点在于不支持Twig Query中含“OR”以及通配符“*”的查询;在大型商业数据库管理系统中,TurboXPath是DB2用于处理小枝查询的基本算法,它对XPath的支持较全面,但由于TurboXPath是针对XML数据流查询处理设计的,因而对数据库中Native存储的XML数据的查询处理效率较低;针对已有方法的不足,设计了一种纯XML存储方式,以DDE编码为基础,提出了TurboStack算法,并通过大量实验验证了该方法的有效性。

关键词：可扩展标记语言数据模式匹配整体连接算法信息查询

来源：评论

学校读者我要写书评

暂无评论

软件库调用规约挖掘

引用

软件学报 2011年第3期22卷 408-416页

作者：钟浩张路梅宏中国科学院软件研究所互联网软件技术实验室北京100190 北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

软件库调用规约是一种描述软件库提供函数正确调用顺序的规约.客户代码应按此规约描述的内容调用函数,否则可能引入缺陷,从而降低软件的可信性.由于能够描述可信软件应该满足的性质,软件库调用规约在可信软件、模型检测等研究中扮演特... 详细信息

软件库调用规约是一种描述软件库提供函数正确调用顺序的规约.客户代码应按此规约描述的内容调用函数,否则可能引入缺陷,从而降低软件的可信性.由于能够描述可信软件应该满足的性质,软件库调用规约在可信软件、模型检测等研究中扮演特殊的角色.但是,受制于编写规约的巨大代价,软件库通常并不提供已编写好的调用规约.为此,研究者提出了各种自动挖掘此种规约的方法.阐述了其中代表性的方法及其最新的研究进展,并在此基础上探讨了将来的研究方向.

关键词：挖掘规约软件库钟浩等软件库调用规约挖掘

来源：评论

学校读者我要写书评

暂无评论

RFID标签所有权转移协议研究

引用

计算机研究与发展 2011年第8期48卷 1400-1405页

作者：金永明孙惠平关志陈钟北京大学信息科学技术学院网络与信息安全实验室北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学软件与微电子学院北京100871

无线射频识别技术(RFID)是适用于普适计算环境的技术之一,它的应用正在变得随处可见.RFID安全与隐私问题是这些应用的基本需求之一.由于RFID标签的资源限制,传统的安全元素不能很好地应用到RFID标签中.因此,设计轻量级的安全机制非常重... 详细信息

无线射频识别技术(RFID)是适用于普适计算环境的技术之一,它的应用正在变得随处可见.RFID安全与隐私问题是这些应用的基本需求之一.由于RFID标签的资源限制,传统的安全元素不能很好地应用到RFID标签中.因此,设计轻量级的安全机制非常重要.应用中,贴有标签的物品经常发生所有权的转移.这就需要保护原所有者与新所有者的隐私.基于SQUASH方案,一种具有可证安全属性的消息认证码机制,提出了一种新的轻量级所有权转移协议.新协议比基于Hash的方案具有更高的效率.同时,它还具有很强的安全特性.新协议是第1个基于SQUASH的方案,优化了所有权转移协议,去掉了Hash方案中不需要的特性.最后,新协议完全满足所有权转移协议的要求,可有效保护原所有者与新所有者的前向与后向隐私.

关键词：安全认证所有权转移协议无线射频识别隐私保护技术

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：