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

计算机科学与探索 2013年第10期7卷 886-895页

作者：高振龙李红燕苗高杉雷凯王腾蛟北京大学深圳研究生院深圳市云计算关键技术与应用重点实验室广东深圳518055 北京大学信息科学技术学院北京100871 北京大学机器感知与智能教育部重点实验室北京100871 北京大学高可信软件技术教育部重点实验室北京100871

移动终端的普及催生了海量的时空数据。由于有了数据基础的支持,基于位置的服务应用也随之普及。传统的时空数据存储方案既难以适用于存储规模庞大、频繁更新的数据,又很难提供并发、高精度的区域查询服务。因此,参考大规模时空数据并... 详细信息

移动终端的普及催生了海量的时空数据。由于有了数据基础的支持,基于位置的服务应用也随之普及。传统的时空数据存储方案既难以适用于存储规模庞大、频繁更新的数据,又很难提供并发、高精度的区域查询服务。因此,参考大规模时空数据并发查询更新问题领域的最新研究成果,分析了该领域主流算法的特点及缺陷,设计了适用于海量高更新频率的时空数据(移动通信数据)的查询与更新算法CUU,讨论了区域查询精度问题及其解决方案。在真实移动通信数据上的实验结果表明,CUU算法可以高效处理并发的时空数据查询与更新。

关键词：时空数据移动通信区域查询并发索引

来源：评论

学校读者我要写书评

暂无评论

ACT-LDA:集成话题、社区和影响力分析的概率模型

引用

计算机科学与探索 2013年第8期7卷 718-728页

作者：吴良黄威靖陈薇王腾蛟雷凯刘月琴高可信软件技术教育部重点实验室北京100871 北京大学信息科学技术学院北京100871 北京大学深圳研究生院深圳市云计算关键技术与应用重点实验室广东深圳518055 国际关系学院信息科技系北京100091

随着社交网络的发展,社交网络中的用户形成大规模的用户关系图,用户在社交网络中发表内容,这些内容及其链接关系形成大规模的文档图。如何根据用户关系图、文档图,挖掘出用户所形成的社区、社区用户的影响力以及各个社区的话题,是重要... 详细信息

随着社交网络的发展,社交网络中的用户形成大规模的用户关系图,用户在社交网络中发表内容,这些内容及其链接关系形成大规模的文档图。如何根据用户关系图、文档图,挖掘出用户所形成的社区、社区用户的影响力以及各个社区的话题,是重要的问题,而目前这些工作相对独立。考虑了用户发表内容、用户之间的关系信息,利用话题传播、社区形成和用户影响力之间的关联性,提出了一个基于LDA(latent Dirichlet allocation)的集成话题发现、社区发现和用户影响力分析的统一模型ACT-LDA(author-community-topicLDA)。模型采用变分推理的方法解决推理问题。在DBLP数据上进行了实验,取得了非常好的结果,证明了模型的有效性。

关键词：社交网络社区发现话题模型用户影响力

来源：评论

学校读者我要写书评

暂无评论

物联网服务建模:一种基于环境建模的方法

引用

中国科学：信息科学 2013年第10期43卷 1198-1218页

作者：李戈魏强李力行金芝许焱郑丽伟北京大学信息科学技术学院软件研究所北京100871 北京大学高可信软件技术教育部重点实验室北京100871 中国科学院数学与系统科学研究院北京100190 中国科学院大学北京100049 北京信息科技大学计算机学院北京100085

物联网服务是传统Web服务通过传感器网络向物理环境的延伸,它通过传感器网络感知物理环境中的实体,也向物理环境实体施加作用.与传统Web服务相比,由于物联网服务受到所依赖的物理环境的时间受限性、资源受限性和设备潜在故障概率的影响... 详细信息

物联网服务是传统Web服务通过传感器网络向物理环境的延伸,它通过传感器网络感知物理环境中的实体,也向物理环境实体施加作用.与传统Web服务相比,由于物联网服务受到所依赖的物理环境的时间受限性、资源受限性和设备潜在故障概率的影响,物联网服务的响应速度、服务能耗和容错能力等特性成为影响物联网系统整体特性的重要因素.因此,对物联网服务进行全面建模,对物联网服务所处的外部环境进行形式化描述,并结合物理环境模型对物联网服务的性质进行分析,对于确保物联网系统的正确性、稳定性非常必要.本文针对物联网服务的特点,结合基于环境建模的需求工程思想,提出一种基于环境的物联网服务三元问题域建模框架,给出了物联网服务建模本体以及相应的建模原则.在此基础上,提出了一种物联网服务行为建模方法,该方法将物联网服务和物理环境建模为概率时间自动机,将用户期望的服务特性描述为时序逻辑公式,为物联网服务功能行为正确性验证和非功能性约束可满足性验证奠定了基础.

关键词：物联网物联网服务环境建模服务建模本体服务建模过程

来源：评论

学校读者我要写书评

暂无评论

一种数据驱动的服务构件组装推荐技术

一种数据驱动的服务构件组装推荐技术

引用

第十二届全国软件与应用学术会议(NASAC2012)

作者：陆璇马郓王旭东刘譞哲北京大学信息科学技术学院软件研究所北京 100871 高可信软件技术教育部重点实验室北京100871

作为一种轻量级服务组装形式,Mashup可以将多个服务的数据和界面整合在一起,成为一个Web应用,得到了学术界和工业界的广泛关注.在开发Mahsup应用的过程中,随着可用服务数量的大量增长,如何根据所选择的数据为开发者推荐出潜在关联的应用... 详细信息

作为一种轻量级服务组装形式,Mashup可以将多个服务的数据和界面整合在一起,成为一个Web应用,得到了学术界和工业界的广泛关注.在开发Mahsup应用的过程中,随着可用服务数量的大量增长,如何根据所选择的数据为开发者推荐出潜在关联的应用,是一个值得研究的问题.本文基于SM@RT Web应用构件模型,总结了数据驱动的构件推荐模式,进而设计并实现了基于层次图模型的构件推荐算法.在开发者服务组装的过程中,可以根据用户当前所选的构件,动态推荐出可与之组装的构件,从而半自动地辅助开发者快速、高效地实现服务组装.最后,通过测试对推荐算法进行评估,实验结果表明本文方法具有良好的性能和可扩展性.

关键词：互联网软件服务构件组装形式构件推荐算法系统开发数据驱动

来源：评论

学校读者我要写书评

暂无评论

基于网络信息搜索的Web Service文本描述信息扩充方法

引用

软件学报 2012年第6期23卷 1335-1349页

作者：王立杰李萌蔡斯博李戈谢冰杨芙清北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室北京100871

随着Web服务技术的不断成熟和发展,互联网上出现了大量的公共Web服务.在使用Web服务开发软件系统的过程中,其文本描述信息(例如简介和使用说明等)可以帮助服务消费者直观有效地识别和理解Web服务并加以利用.已有的研究工作大多关注于从... 详细信息

随着Web服务技术的不断成熟和发展,互联网上出现了大量的公共Web服务.在使用Web服务开发软件系统的过程中,其文本描述信息(例如简介和使用说明等)可以帮助服务消费者直观有效地识别和理解Web服务并加以利用.已有的研究工作大多关注于从Web服务的WSDL文件中获取此类信息进行Web服务的发现或检索,调研发现,互联网上大部分Web服务的WSDL文件中普遍缺少甚至没有此类信息.为此,提出一种基于网络信息搜索的从WSDL文件之外的信息源为Web服务扩充文本描述信息的方法.从互联网上收集包含目标Web服务特征标识的相关网页,基于从网页中抽取出的信息片段,利用信息检索技术计算信息片段与目标Web服务的相关度,并选取相关度较高的文本片段为Web服务扩充文本描述信息.基于互联网上的真实数据进行的实验,其结果表明,可为约51%的互联网上的Web服务获取到相关网页,并为这些Web服务中约88%扩充文本描述信息.收集到的Web服务及其文本描述信息数据均已公开发布.

关键词： Web服务服务描述信息服务发现互联网信息搜索

来源：评论

学校读者我要写书评

暂无评论

基于MOF的软件体系结构分析结果集成框架

引用

软件学报 2012年第4期23卷 831-845页

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

运行在网络环境下的软件在自适应过程中,需要集成多种分析方法来进行分析、规划和决策.由于自适应的决策程序或者设计人员以SA(software architecture)模型作为解析和理解分析结果的上下文,这使得分析结果与SA模型的集成尤为重要.但是,... 详细信息

运行在网络环境下的软件在自适应过程中,需要集成多种分析方法来进行分析、规划和决策.由于自适应的决策程序或者设计人员以SA(software architecture)模型作为解析和理解分析结果的上下文,这使得分析结果与SA模型的集成尤为重要.但是,现有的分析方法集成框架多关注于提供输入、执行分析、从而得到分析结果的过程,对分析结果的集成关注不够.针对分析结果与SA模型集成中元模型、模型和视图3个层次的挑战,提出一种软件体系结构分析结果集成框架.框架使用MOF(meta-object facility)元建模技术提供ADL(architectural descriptionlanguage)的扩展机制;使用自动生成模型转换实现SA模型与分析结果的合成;使用代码生成技术扩展建模工具为扩展后的ADL提供模型视图.最后以3种分析方法——两种可靠性评估方法和容错风格的规划方法为例,使用集成框架将其加以集成并应用于Ecperf系统的SA模型的分析中,从而展示集成框架的可行性和有效性.

关键词：软件体系结构模型驱动 MOF(meta-object facility)

来源：评论

学校读者我要写书评

暂无评论

一种支持多种模型转换技术的组合方法

引用

软件学报 2012年第4期23卷 816-830页

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

模型转换是模型驱动开发中的核心技术.为了解决复杂的转换问题,需要将多个相对简单的转换组合起来构成组合转换.目前存在多种转换技术,它们之间存在异构性,阻碍了组合转换的实现.首先分析实现组合转换的必要条件,进而提出一个组合转换模... 详细信息

模型转换是模型驱动开发中的核心技术.为了解决复杂的转换问题,需要将多个相对简单的转换组合起来构成组合转换.目前存在多种转换技术,它们之间存在异构性,阻碍了组合转换的实现.首先分析实现组合转换的必要条件,进而提出一个组合转换模型,其中主要包括公共类型表示、公共模型表示、公共转换描述和组合转换定义语言等部分,用以实现支持多种转换技术的组合.另外,还介绍了一个组合转换平台的设计与实现,并通过一个案例说明所提方法及工具的可行性.

关键词：模型驱动开发模型转换组合转换

来源：评论

学校读者我要写书评

暂无评论

基于下推系统可达性分析的程序机密消去机制

引用

软件学报 2012年第8期23卷 2149-2162页

作者：孙聪唐礼勇陈钟北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 网络与软件安全保障教育部重点实验室(北京大学) 北京100871

针对程序语言信息流安全领域的现有机密消去策略,提出了一种基于下推系统可达性分析的程序信息流安全验证机制.将存储-匹配操作内嵌于对抽象模型的紧凑自合成结果中,使得对抽象结果中标错状态的可达性分析可以作为不同机密消去策略下程... 详细信息

针对程序语言信息流安全领域的现有机密消去策略,提出了一种基于下推系统可达性分析的程序信息流安全验证机制.将存储-匹配操作内嵌于对抽象模型的紧凑自合成结果中,使得对抽象结果中标错状态的可达性分析可以作为不同机密消去策略下程序安全性的验证机制.实例研究说明,该方法比基于类型系统的方法具有更高的精确性,且比已有的自动验证方法更为高效.

关键词：信息流安全机密消去下推系统自动验证程序分析

来源：评论

学校读者我要写书评

暂无评论

自主构件自适应策略的在线定制及动态评估

引用

软件学报 2012年第4期23卷 802-815页

作者：接钧靖史庭训焦文品孟繁晶北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 IBM中国研究院．北京100193

开放分布式环境下自适应软件的研究已引起学术界、工业界的广泛关注.但分布在网络上的软件实体是由不同的组织独立开发并部署的,它们代表各自的组织(或所有者)自主地采取行动,在构造分布式环境下的自适应系统时,不能再将构成单元视为被... 详细信息

开放分布式环境下自适应软件的研究已引起学术界、工业界的广泛关注.但分布在网络上的软件实体是由不同的组织独立开发并部署的,它们代表各自的组织(或所有者)自主地采取行动,在构造分布式环境下的自适应系统时,不能再将构成单元视为被动的受管对象,而应将其建模为具有主动行为能力的计算实体,并在这一层面设计和封装系统的自适应逻辑.然而,在现阶段对于自主计算实体的研究中,大多缺乏对于自适应策略的动态加载和动态演化的支持.提出了一种支持策略动态加载的自主构件模型,使得自主构件能够在运行时习得新的自适应策略和行为,实现了一种基于质量运行时动态评估的自主构件的自适应机制,使得自主构件能够自行评估自适应策略的优劣并选择最佳的策略加以适应,在保证自身目标得以实现的同时,提高了服务质量.另外,还详细描述了自主构件的实现方案及其运行支撑,通过实验展示了自主构件基于质量动态评估的自适应过程以及自适应策略的动态加载过程.

关键词：自主构件自适应质量动态演化

来源：评论

学校读者我要写书评

暂无评论

CODAS:一个易扩展的静态代码缺陷分析服务

引用

计算机科学 2012年第1期39卷 14-18,64页

作者：梁广泰王千祥北京大学信息科学技术学院软件研究所、高可信软件技术教育部重点实验室北京100871

利用静态代码缺陷分析技术对软件进行早期缺陷检测,是提高软件质量的重要途径。静态代码缺陷分析工具(如FINDBUGS,JLINT,ESC/JAVA,PMD,COVERITY等)已经被证实可以成功地识别出大量的软件潜在缺陷[1-3]。然而,这类工具在可用性和有效性... 详细信息

利用静态代码缺陷分析技术对软件进行早期缺陷检测,是提高软件质量的重要途径。静态代码缺陷分析工具(如FINDBUGS,JLINT,ESC/JAVA,PMD,COVERITY等)已经被证实可以成功地识别出大量的软件潜在缺陷[1-3]。然而,这类工具在可用性和有效性方面的不足严重限制了它们的进一步广泛使用。可用性不足包括a)每个独立缺陷检测工具只擅于检测特定类型的缺陷,需要配合使用才能全面检测缺陷;b)每个缺陷检测工具的安装、配置和运行占用了用户大量的时间、精力。有效性不足包括静态缺陷分析结果往往存在大量误报,并且会包括许多不重要的(不会引起程序员修复行为的)缺陷报告。为了解决上述问题,提出并构建了一个易扩展的"静态代码缺陷分析"服务(Code Defect Analysis Service,CODAS)。CODAS基于一个高度可扩展的架构设计,对多个独立的缺陷检测工具进行了封装和集成,并对缺陷检测报告进行了有效汇总和排序,从而充分发挥了各个独立工具的优势,大大提升了静态缺陷分析工具的可用性和有效性。

关键词：静态分析代码缺陷分析易扩展服务

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：