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

电子学报 2013年第1期41卷 153-160页

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

RFID发现服务没有得到广泛应用,相关标准也没有正式颁布,主要原因之一就是存在诸多安全问题.本文首先分析了存在的典型安全问题,并给出了相应的安全需求,例如RFID私密性保护、RFID编码授权访问、供应链节点不可追踪性、节点认证、消息... 详细信息

RFID发现服务没有得到广泛应用,相关标准也没有正式颁布,主要原因之一就是存在诸多安全问题.本文首先分析了存在的典型安全问题,并给出了相应的安全需求,例如RFID私密性保护、RFID编码授权访问、供应链节点不可追踪性、节点认证、消息正确性等.针对这些安全需求,本文提出了一种基于双随机数的RFID发现服务安全通信机制.双随机数主要用来对参与通信的双方进行节点认证和消息认证,并给出了相应的查询生成和处理转发流程及算法.本文提出的安全通信机制已经在PKU RFID3S系统中得到实现.实验结果表明,系统在实现安全需求的基础上,有较好的查询命中率和查询响应时间.

关键词： RFID 发现服务安全通信机制双随机数

来源：评论

学校读者我要写书评

暂无评论

基于规则推理的语义检索若干关键技术研究

引用

电子学报 2013年第5期41卷 977-981页

作者：马森赵文袁崇义张世琨王立福北京大学信息科学技术学院北京100871 北京大学软件工程国家工程研究中心北京100871 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871

针对专业领域复杂的检索需求,目前相关研究采用基于语义的方法来扩展检索范围并提高准确度.在语义推理方面,目前搜索引擎通常直接采用语义网中的推理算法,推理效率不高.在排序方面,基于关键字的搜索引擎的排序算法也不适合对语义检索结... 详细信息

针对专业领域复杂的检索需求,目前相关研究采用基于语义的方法来扩展检索范围并提高准确度.在语义推理方面,目前搜索引擎通常直接采用语义网中的推理算法,推理效率不高.在排序方面,基于关键字的搜索引擎的排序算法也不适合对语义检索结果进行排序.针对上述问题,本文给出了基于语义网的语义规则建立方法,并提出了一种基于闭合世界假设的反向链接推理算法,提高推理效率,同时给出了一种基于特征相似性排序算法,使检索结果排序方式更加符合语义检索的特点.基于本文提出的方法,构造了语义搜索引擎MaterialHub,实验表明该搜索引擎提高了检索的准确率和查全率,有较好的查询响应时间,并已经得到实际应用.

关键词：语义检索语义规则语义规则推理语义相似性排序

来源：评论

学校读者我要写书评

暂无评论

CEclipse:一个基于服务组合的在线集成开发环境

引用

计算机研究与发展 2013年第6期50卷 1324-1334页

作者：吴凌梁广泰王千祥北京大学信息科学技术学院软件研究所北京100871 软件工程国家工程研究中心北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

随着云计算概念的提出,越来越多的桌面应用被迁移到云中,其中桌面集成开发环境的迁移也成为近些年讨论的热点.介绍了一个在线集成开发环境CEclipse(Cloud Eclipse).CEclipse通过将桌面集成开发环境Eclipse的功能封装成服务,然后利用服... 详细信息

随着云计算概念的提出,越来越多的桌面应用被迁移到云中,其中桌面集成开发环境的迁移也成为近些年讨论的热点.介绍了一个在线集成开发环境CEclipse(Cloud Eclipse).CEclipse通过将桌面集成开发环境Eclipse的功能封装成服务,然后利用服务组合的技术有机地结合在一起,形成了在线集成开发环境的核心功能.同时利用程序静态分析和程序动态分析等技术,解决了在线集成开发环境中特有的安全问题.其次,为了发挥在线开发的优势,CEclipse提出了利用数据挖掘等技术来挖掘用户在编程过程中的各种行为,以指导用户更快更好地进行在线程序开发,从而增强其用户体验.除此之外,CEclipse具有良好的可扩展性:1)利用单点登录等技术支持其他已有在线服务的快速整合;2)提出了一套半自动化的方法,将Eclipse插件快速迁移到CEclipse中.

关键词：云计算在线集成开发环境服务组合程序分析迁移可扩展

来源：评论

学校读者我要写书评

暂无评论

从用户需求到软件规约:一种问题变换的方法

引用

软件学报 2013年第5期24卷 961-976页

作者：李智金芝广西师范大学计算机科学与信息工程学院广西桂林541004 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

研究的目的是在获取用户需求和领域描述的基础上规约出对软件规格的描述.提供了一种实现从用户需求到软件规约的平滑和可推理的变换方法.在深入研究问题框架方法的基础上,采用Hoare的通信顺序进程语言CSP及Lai的最弱环境演算符实现了整... 详细信息

研究的目的是在获取用户需求和领域描述的基础上规约出对软件规格的描述.提供了一种实现从用户需求到软件规约的平滑和可推理的变换方法.在深入研究问题框架方法的基础上,采用Hoare的通信顺序进程语言CSP及Lai的最弱环境演算符实现了整个问题图的变换,且导出的软件规格是具有高抽象粒度的程序代码模型,能够被FDR模型检测工具所验证.该工作为实现嵌入式软件开发从需求到软件代码、文档的自动转化及验证等奠定了理论基础.此外,把该理论与模型检测工具FDR联合起来会有助于提高嵌入式软件开发的效率和准确性.

关键词：问题框架通信顺序进程领域和需求建模最弱环境演算软件规约

来源：评论

学校读者我要写书评

暂无评论

垃圾标签的抵御方法研究

引用

计算机研究与发展 2013年第10期50卷 2029-2043页

作者：王永刚严寒冰许俊峰胡建斌陈钟国家计算机网络应急技术处理协调中心北京100029 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

作为现实中倍受欢迎的网络应用之一,标签系统很容易成为恶意攻击者的目标.在标签系统中,恶意用户常出于特殊目的对系统中的资源标注与其内容不相关的垃圾标签,从而误导普通用户对这些资源的查找和分享.已有工作表明,垃圾标签的抵御效果... 详细信息

作为现实中倍受欢迎的网络应用之一,标签系统很容易成为恶意攻击者的目标.在标签系统中,恶意用户常出于特殊目的对系统中的资源标注与其内容不相关的垃圾标签,从而误导普通用户对这些资源的查找和分享.已有工作表明,垃圾标签的抵御效果会直接影响到标签系统的服务质量.基于此背景,通过调研归纳已有文献,从垃圾标签攻击的形式化描述出发,全面总结并抽象出垃圾标签现有的3类抵御方法:基于检测的方法、基于降级的方法和基于预防的方法.对每一类方法,进一步总结和归纳具体的实现算法,并对算法的执行效率和可用性等优缺点进行分析.通过对垃圾标签现有抵御方法的阐述,旨在帮助读者了解该研究领域的现状,并对新的垃圾标签抵御机制的提出有所启发.

关键词：标签系统垃圾标签抵御方法标签服务社会网络

来源：评论

学校读者我要写书评

暂无评论

一种“用例+控例”驱动的软件分析与设计方法

引用

软件学报 2013年第4期24卷 675-695页

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

随着软件本身及其运行环境的日益复杂,软件可信性引起人们越来越多的关注.软件的分析与设计也越来越需要综合考虑软件的功能性和可信性.然而,如何在软件的分析与设计过程中综合考虑软件的功能性和可信性,目前仍然缺乏系统而有效的方法.... 详细信息

随着软件本身及其运行环境的日益复杂,软件可信性引起人们越来越多的关注.软件的分析与设计也越来越需要综合考虑软件的功能性和可信性.然而,如何在软件的分析与设计过程中综合考虑软件的功能性和可信性,目前仍然缺乏系统而有效的方法.基于控制论,提出了一种基于"用例+控例"的方法,以在软件的分析与设计过程中综合考虑软件的功能性和可信性.在需求分析阶段,"用例+控例"模型支持需求工程师在同一个模型中自然地表达软件系统的功能性需求和可信性需求.在系统设计阶段,扩展了ICONIX开发方法的用例驱动的系统设计技术,用以分别识别实现用例的功能对象和实现控例的可信保障对象,以最终构建出既满足功能性需求又满足可信性需求的对象模型.应用一个实例来说明所提出方法的可行性.

关键词：软件可信性可信性需求需求分析系统设计

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机研究与发展 2013年第S2期50卷 85-93页

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

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

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

关键词：封闭数据立方体大数据树结构 Mapreduce 并行化计算

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机研究与发展 2013年第S1期50卷 352-360页

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

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

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

关键词：自适应查询云环境辅助索引数据管理

来源：评论

学校读者我要写书评

暂无评论

同质Mashup构件池动态构造机制

引用

计算机科学与探索 2013年第1期7卷 14-24页

作者：赵星刘譞哲王旭东黄罡北京大学信息科学技术学院北京100871 高可信软件技术教育部重点实验室北京100871

互联网上存在大量"同质"的网站或服务,以其封装而成的Mashup构件往往提供相同或相似的功能,为了获取最佳服务,用户不得不逐一浏览每个Mashup构件,花费大量的时间和精力。从用户视角出发,提出了一种同质Mashup构件动态聚合机... 详细信息

互联网上存在大量"同质"的网站或服务,以其封装而成的Mashup构件往往提供相同或相似的功能,为了获取最佳服务,用户不得不逐一浏览每个Mashup构件,花费大量的时间和精力。从用户视角出发,提出了一种同质Mashup构件动态聚合机制。基于元数据搜索和表单匹配技术,该机制将多个同质Mashup构件组成一个构件池,再按照用户当前的数据请求,动态发现最佳服务,从而实现服务资源的整合和优化,提高整体服务质量。最后,基于富客户端构件组装与验证框架iMashup实现了上述机制,并进行了实验验证。

关键词： Mashup构件表单匹配元搜索

来源：评论

学校读者我要写书评

暂无评论

语义可配置的模型转换

引用

软件学报 2013年第7期24卷 1436-1454页

作者：何啸麻志毅王瑞超邵维忠北京科技大学计算机与通信工程学院北京100083 材料领域知识工程北京市重点实验室北京100083 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

模型转换是模型驱动体系结构的核心技术之一.在一个复杂的模型驱动的开发过程中,可能同时使用多种转换语言及相应的工具实现转换程序.这一方面增加了开发人员的学习负担,也会导致各种兼容性问题的出现.提出一种语义可配置的模型转换技术... 详细信息

模型转换是模型驱动体系结构的核心技术之一.在一个复杂的模型驱动的开发过程中,可能同时使用多种转换语言及相应的工具实现转换程序.这一方面增加了开发人员的学习负担,也会导致各种兼容性问题的出现.提出一种语义可配置的模型转换技术,通过重新定义转换语言的语义,允许开发人员使用一种转换语言解决不同的转换问题.首先,总结出一组常见的转换原语;然后,利用一种基于OCL的脚本语言TSS来描述转换语言的语义;最后,对该方法的完全性、表达能力和复杂度进行了讨论,并通过一组案例对该方法进行了验证.

关键词：模型驱动体系结构模型转换转换语言执行语义

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：