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

第十届全国博士生学术年会

作者：杨涛胡建斌陈钟高可信软件技术教育部重点实验室北京100871 网络和软件安全保障重点实验室北京100871 北京大学信息科学技术学院软件研究所北京100871

VANET是近年来学术界和工业界的共同研究热点,也被认为是物联网潮流在交通运输领域的一种重要体现.聚合签名也是近些年来学术界关注的一个数字签名热区,经常出现在顶级密码会议论文中.将聚合签名应用到VANET领域中,可以部分解决消息传... 详细信息

VANET是近年来学术界和工业界的共同研究热点,也被认为是物联网潮流在交通运输领域的一种重要体现.聚合签名也是近些年来学术界关注的一个数字签名热区,经常出现在顶级密码会议论文中.将聚合签名应用到VANET领域中,可以部分解决消息传输的安全和效率问题,因为聚合签名能有效压缩数据包数量,减少带宽消耗.本文基于RSU组提出了一个新型的VANET安全信息聚合传输协议,该协议利用RSU担任通信组长,并利用聚合签名算法对辖内合法车辆的消息定时进行信息聚合处理,并进一步转发到监控中心.监控中心可以通过逆聚合签名算法一次性验证签名信息的正确性,并且,在发现虚假消息时,可以在认证中心的协助下,通过启动追踪过程准确定位到消息的真实发送者.分析表明,该协议具有良好的安全性和实用性.

关键词：车辆自组网信息安全传输协议聚合签名算法物联网技术

来源：评论

学校读者我要写书评

暂无评论

面向微博的情感影响最大化模型

引用

计算机科学与探索 2012年第9期6卷 769-778页

作者：欧高炎陈薇王腾蛟雷凯杨冬青高可信软件技术教育部重点实验室北京100871 北京大学信息科学技术学院北京100871 北京大学深圳研究生院深圳市云计算关键技术与应用重点实验室广东深圳518055

社交网络中影响最大化问题是寻找具有最大影响范围的节点。影响最大化的大部分求解算法仅仅依赖社交网络图。基于微博的转发关系树和微博内容的情感倾向性,以及用户的社交网络图,提出了一个能够刻画用户情感影响的情感影响最大化模型—... 详细信息

社交网络中影响最大化问题是寻找具有最大影响范围的节点。影响最大化的大部分求解算法仅仅依赖社交网络图。基于微博的转发关系树和微博内容的情感倾向性,以及用户的社交网络图,提出了一个能够刻画用户情感影响的情感影响最大化模型——情感影响分配模型(sentiment influence distribution,SID),证明了SID模型下的情感影响最大化问题是一个NP难问题,给出了一个具有精度保证的贪心算法。在真实的微博数据上的实验结果表明,SID模型能够有效地找出情感影响最大化的节点集,同时具有很高的扩展性。

关键词：情感分析社交网络影响最大化

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

关键词： XML TwigStack TurboXPath TurboStack 查询处理

来源：评论

学校读者我要写书评

暂无评论

EVOC:一种基于链接和内容信息的动态社区挖掘方法

EVOC:一种基于链接和内容信息的动态社区挖掘方法

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

软件学报 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

来源：评论

学校读者我要写书评

暂无评论

软件库调用规约挖掘

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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算法,并通过大量实验验证了该方法的有效性。

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

来源：评论

学校读者我要写书评

暂无评论

一种基于Trie树和扩展B树的RFID标签编码过滤方法研究

引用

电子学报 2011年第A03期39卷 126-133页

作者：赵文刘学洋刘殿兴王立福北京大学软件工程国家工程研究中心北京100871 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871 北京银行信息技术总部北京100011

面向EPC模式(EPC Pattern)的标签编码过滤是RFID中间件的主要功能之一.为提高过滤效率,本文给出了一种基于trie树和扩展B树相结合的标签编码过滤方法.通过分析标签编码和EPC模式的结构特征,将系统中大量的EPC模式构造成一个层次查找结构... 详细信息

面向EPC模式(EPC Pattern)的标签编码过滤是RFID中间件的主要功能之一.为提高过滤效率,本文给出了一种基于trie树和扩展B树相结合的标签编码过滤方法.通过分析标签编码和EPC模式的结构特征,将系统中大量的EPC模式构造成一个层次查找结构,对于EPC模式中的常规编码段采用trie树表达,对于区间形式采用扩展B树表达.查找过程按照编码段由高至低依次进行,并采用了基于位向量集合的优化方法.实验表明标签编码过滤效率受EPC模式数量变化的影响较小,能够有效降低向上层应用传输数据的延迟.

关键词： RFID 中间件 EPC模式过滤 trie树 B树

来源：评论

学校读者我要写书评

暂无评论

知识引导的软件可信性需求的提取

引用

计算机学报 2011年第11期34卷 2165-2175页

作者：王越刘春张伟金芝中国科学院数学与系统科学研究院北京100190 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

软件系统的可信性已经成为一个受到广泛关注的焦点问题.开发可信的软件系统的前提是在需求阶段提取恰当的可信性需求.能否提取出足够好的软件可信性需求,不仅依赖于需求工程师对未来软件系统可能面临的威胁的认识,还依赖于其对各种威胁... 详细信息

软件系统的可信性已经成为一个受到广泛关注的焦点问题.开发可信的软件系统的前提是在需求阶段提取恰当的可信性需求.能否提取出足够好的软件可信性需求,不仅依赖于需求工程师对未来软件系统可能面临的威胁的认识,还依赖于其对各种威胁有效的应对措施的了解和掌握.目前缺少系统化的方法指导软件可信性需求的提取.文中提出一个软件可信性需求上层本体作为软件可信性需求的概念框架.在此框架的基础上,开发了一个软件可信性需求知识库,定义了软件可信性需求模式框架以及如何根据知识库的内容进行模式实例化的过程,帮助提取可信需求.最后利用一个股票交易系统作为案例展示了该方法的可行性.

关键词：可信需求可信需求模式可信需求获取需求工程

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：