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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于模型转换的MARTE顺序图的形式化分析

引用

小型微型计算机系统 2013年第1期34卷 100-106页

作者：朱梅霞王捍贫刘西奎韩晓琼天津工业大学计算机科学与软件学院天津300387 北京大学信息科学技术学院软件研究所北京100871 教育部高可信软件技术重点实验室北京100871 山东科技大学信息科学与工程学院山东青岛266510

作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方法将依照MARTE设计的模型(记为A)转换成另一种具有完备的验证方法和工具的形式化模型(记为B),然后对B进行... 详细信息

作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方法将依照MARTE设计的模型(记为A)转换成另一种具有完备的验证方法和工具的形式化模型(记为B),然后对B进行验证和精化,以完成A的验证和精化工作.此思想面临的难题是如何保证B能够完整且准确地模拟A的行为.提出了形式化模型-TTS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析.首先给出顺序图的形式定义,把时间变迁系统(TTS)扩充成TTS4SD,用TTS4SD描述顺序图的形式语义,最后对TTS4SD展开分析.这在一定程度上提高了设计阶段模型的正确性.通过一个实例说明从顺序图到TTS4SD的转化过程以及基于TTS4SD的验证方法.

关键词：实时系统形式化方法 MARTE 时间变迁系统验证

来源：评论

学校读者我要写书评

暂无评论

编译实习课程的创新教学

引用

计算机教育 2013年第17期 37-40,48页

作者：郭耀王千祥北京大学信息科学技术学院高可信软件技术教育部重点实验室北京100871

编译实习是深入学习和理解编译原理和技术的重要手段,也是编译课程的重要组成部分。针对当前计算平台和系统的迅速演进和发展,北京大学在编译实习的教学过程中进行创新尝试,让学生面向包括智能手机等在内的新型计算平台开发一个完整的... 详细信息

编译实习是深入学习和理解编译原理和技术的重要手段,也是编译课程的重要组成部分。针对当前计算平台和系统的迅速演进和发展,北京大学在编译实习的教学过程中进行创新尝试,让学生面向包括智能手机等在内的新型计算平台开发一个完整的小型编译器。文章介绍编译实习课程的创新思路,对北京大学近3年来的实践情况进行总结分析并提出展望。

关键词：编译原理编译实习课程创新移动平台

来源：评论

学校读者我要写书评

暂无评论

基于可扩展计算平台的大图数据管理

引用

数据与计算发展前沿 2013年第1期 49-56页

作者：高军杨冬青北京大学信息科学技术学院计算机科学技术系高可信软件技术教育部重点实验室

随着数据采集和存储技术的发展,社交网络、生物信息科学、交通导航等领域中出现了规模庞大、内部结构复杂、查询需求多样的大图数据。传统基于单机内存的图处理方法无法满足大图数据管理需求。可扩展计算平台的发展为大图数据管理提供... 详细信息

随着数据采集和存储技术的发展,社交网络、生物信息科学、交通导航等领域中出现了规模庞大、内部结构复杂、查询需求多样的大图数据。传统基于单机内存的图处理方法无法满足大图数据管理需求。可扩展计算平台的发展为大图数据管理提供了可行的技术方案。本文首先分析了大图数据之上的不同类型查询,重点探讨了基于关系数据库、基于MapReduce计算框架、基于BSP(Bulk Synchronous Parallel)计算模型和基于第三方外包服务器的大图数据管理方法,并分析了未来可能的研究路线。

关键词：大图数据关系数据库 MapReduce BSP 外包

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于可扩展计算平台的大图数据管理

引用

科研信息化技术与应用 2013年第1期4卷 49-56页

作者：高军杨冬青北京大学信息科学技术学院计算机科学技术系北京100871 高可信软件技术教育部重点实验室北京100871

关键词：大图数据关系数据库 MapReduce BSP 外包

来源：评论

学校读者我要写书评

暂无评论

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

引用

中国科学：信息科学 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应用构件模型,总结了数据驱动的构件推荐模式,进而设计并实现了基于层次图模型的构件推荐算法.在开发者服务组装的过程中,可以根据用户当前所选的构件,动态推荐出可与之组装的构件,从而半自动地辅助开发者快速、高效地实现服务组装.最后,通过测试对推荐算法进行评估,实验结果表明本文方法具有良好的性能和可扩展性.

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

来源：评论

学校读者我要写书评

暂无评论

PHCC:一种处理稀疏变化的封闭数据立方体算法

PHCC:一种处理稀疏变化的封闭数据立方体算法

引用

中国计算机学会第一届CCF大数据学术会议

作者：牟雁超李红燕王腾蛟北京大学信息科学技术学院北京 100871 机器感知与智能教育部重点实验室(北京大学) 北京 100871 北京大学信息科学技术学院北京 100871 高可信软件技术教育部重点实验室(北京大学) 北京 100871

完全数据立方体是一种需要在数据集上对属性列进行上卷聚集运算的复杂模型,而封闭数据立方体是一种对应的高效压缩模型.近年来海量数据管理系统的发展使得在大数据上进行数据立方体的计算成为可能,但是大数据环境中的数据可能稀疏也可... 详细信息

完全数据立方体是一种需要在数据集上对属性列进行上卷聚集运算的复杂模型,而封闭数据立方体是一种对应的高效压缩模型.近年来海量数据管理系统的发展使得在大数据上进行数据立方体的计算成为可能,但是大数据环境中的数据可能稀疏也可能密集,因此,要求在不同的数据稀疏程度下算法都要有稳定的表现.面对这样的要求,提出了一种基于大数据环境的封闭数据立方体并行化方法,首先通过构造2种树结构进行本地封闭数据子立方体的构造,然后利用位运算的方式在遍历树结构的同时进行封闭数据立方体的判断和聚集运算,最后经过合并得到查询的最终结果.并且通过在大数据中进行对比实验证明混合并行封闭数据立方体(parallel hybrid closed cubing,PHCC)算法能够满足在稀疏数据变化的数据中进行稳定聚集运算的条件.

关键词：大数据处理封闭数据立方体算法优化

来源：评论

学校读者我要写书评

暂无评论

ASIC:一种适用于云数据管理的自适应辅助索引机制

ASIC:一种适用于云数据管理的自适应辅助索引机制

引用

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

作者：牟雁超苏汉宸程序李红燕王腾蛟北京大学信息科学技术学院北京100871 机器感知与智能教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

随着海量数据呈现几何式增长的趋势,云环境中数据管理系统得以快速发展,同时也对其中的索引机制提出更高的要求.云环境中传统的辅助索引创建机制在一些查询需求下存在不必要的系统开销,为了避免辅助索引在创建过程集中消耗大量系统资源... 详细信息

随着海量数据呈现几何式增长的趋势,云环境中数据管理系统得以快速发展,同时也对其中的索引机制提出更高的要求.云环境中传统的辅助索引创建机制在一些查询需求下存在不必要的系统开销,为了避免辅助索引在创建过程集中消耗大量系统资源,产生了自适应索引机制的思想.通过对比分析,现有自适应索引机制方面的研究工作并不适用于在云环境下的数据管理系统中进行海量数据的处理.将自适应索引的想法与云环境中辅助索引机制结合,提出了建立在云环境数据管理系统中自适应辅助索引机制,通过充分利用分布式计算资源,将自适应辅助索引表的创建在用户查询过程中进行,同时借助于查询序列使得索引结构适应于查询模式,从而避免了不必要的索引创建开销.通过在真实数据上的实验表明,自适应辅助索引能很好地应用于云环境当中.

关键词：计算机网络数据管理系统自适应辅助索引机制云环境

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：