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

中国科学：信息科学 2014年第1期44卷 54-69页

作者：李萌赵俊峰谢冰北京大学高可信软件技术教育部重点实验室北京100871 北京大学信息科学技术学院软件研究所北京100871

近年来,基于主题建模技术的代码理解方法成为研究热点之一.该类方法期望利用主题建模技术从软件代码中挖掘功能性主题,进而利用功能性主题帮助开发人员理解软件功能及其代码实现.然而,从代码挖掘出的主题中,功能性主题与其他类型主题(... 详细信息

近年来,基于主题建模技术的代码理解方法成为研究热点之一.该类方法期望利用主题建模技术从软件代码中挖掘功能性主题,进而利用功能性主题帮助开发人员理解软件功能及其代码实现.然而,从代码挖掘出的主题中,功能性主题与其他类型主题(如横切性主题)混杂在一起,需要人工识别功能性主题;由于现有工作大多仅提供主题关联的词等基本信息,导致识别及应用功能性主题的过程费时费力.针对以上问题,本文提出了一种基于主题建模和静态分析技术的软件代码功能性主题获取方法.该方法在利用一组启发式过滤规则对代码进行预处理的基础上,基于主题建模技术从代码中挖掘原始主题;进而,基于代码静态分析获得的代码间结构关系,提出了一种名为主题内聚度的技术从原始主题中自动识别功能性主题;最后,定位主题关联的代码片段,并利用代码及其注释为主题生成自然语言描述文本,进一步帮助开发人员理解主题所体现的软件功能及其代码实现细节.本文基于一组开源软件代码进行了方法评估,评估结果表明本文方法能够有效获取功能性主题及其关联信息,进而帮助开发人员更好地理解软件功能及其代码实现.

关键词：程序理解主题模型静态分析数据挖掘信息检索

来源：评论

学校读者我要写书评

暂无评论

大规模代码克隆的检测方法

引用

计算机科学与探索 2014年第4期8卷 417-426页

作者：郭颖陈峰宏周明辉北京大学信息科学技术学院软件研究所北京100871 北京大学高可信软件技术教育部重点实验室北京100871

代码克隆检测在剽窃检测、版权侵犯调查、软件演化分析、代码压缩、错误检测,以及寻找bug,发现复用模式等方面有重要作用。现有的代码克隆检测工具算法复杂,或需要消耗大量的计算资源,不适用于规模巨大的代码数据。为了能够在大规模的... 详细信息

代码克隆检测在剽窃检测、版权侵犯调查、软件演化分析、代码压缩、错误检测,以及寻找bug,发现复用模式等方面有重要作用。现有的代码克隆检测工具算法复杂,或需要消耗大量的计算资源,不适用于规模巨大的代码数据。为了能够在大规模的数据上检测代码克隆,提出了一种新的代码克隆检测算法。该算法结合数据消重中的基于内容可变长度分块(content-defined chunking,CDC)思想和网页查重中的Simhash算法思想,采用了对代码先分块处理再模糊匹配的方法。在一个包含多种开源项目,超过5亿个代码文件,共约10 TB代码内容的数据源上,实现了该算法。通过实验,比较了不同分块长度对代码克隆检测率和所需要时间的影响,验证了新算法可以运用于大规模代码克隆检测,并且能够检测出一些级别3的克隆代码,达到了较高的准确率。

关键词：代码克隆检测大规模代码数据

来源：评论

学校读者我要写书评

暂无评论

ABC:一种全生命周期软件体系结构建模方法

引用

中国科学：信息科学 2014年第5期44卷 564-587页

作者：梅宏黄罡张路张伟高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

随着计算机硬件能力的快速增长和软件应用规模的不断扩大,软件的复杂性也在持续增长,并始终制约着软件开发效率和质量的有效提升.软件的结构复杂性,尤其是高层结构的复杂性,是软件复杂性的一种重要表现.如何实现对软件高层结构复杂性的... 详细信息

随着计算机硬件能力的快速增长和软件应用规模的不断扩大,软件的复杂性也在持续增长,并始终制约着软件开发效率和质量的有效提升.软件的结构复杂性,尤其是高层结构的复杂性,是软件复杂性的一种重要表现.如何实现对软件高层结构复杂性的有效控制,是当前开放、动态、难控的网络环境下大规模软件系统开发与演化所面临的主要问题.针对这个问题,我们将设计阶段高层结构复杂性的控制模型―软件体系结构模型―扩展到整个软件生命周期,提出了一种以体系结构为中心的软件开发方法―ABC.该方法将软件生命周期各阶段的核心制品与活动,统一到软件体系结构模型及对其连续迭代的细化、映射和转换,实现对软件高层结构复杂性的一致、灵活、系统化的建模和管理.本文旨在系统性地总结ABC方法在软件体系结构建模方面的成果,并重点介绍近几年在协同式特征建模、运行时体系结构生成、体系结构逆向恢复与建模等方面取得的新进展.

关键词：软件复杂性软件体系结构特征模型运行时模型程序分析网构软件

来源：评论

学校读者我要写书评

暂无评论

POP-PHP:支持PHP应用的在线集成开发环境

引用

计算机科学 2014年第9期41卷 38-44页

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

随着云计算的发展,随时随地开发程序成为许多人的一种新的愿景。因此在线集成开发环境受到了软件开发人员的广泛关注。POP-PHP(Peking University Online Programming-PHP version)是一个支持PHP应用的在线集成开发环境,具有基本的集成... 详细信息

随着云计算的发展,随时随地开发程序成为许多人的一种新的愿景。因此在线集成开发环境受到了软件开发人员的广泛关注。POP-PHP(Peking University Online Programming-PHP version)是一个支持PHP应用的在线集成开发环境,具有基本的集成开发环境功能,支持多用户同时使用,并提供了一种轻量级调试方法。其采用服务组合实现了较为完善的语法检查功能,并实现了编程行为回放以进行监测。

关键词： PHP应用在线集成开发环境程序调试服务组合编程行为监测

来源：评论

学校读者我要写书评

暂无评论

数据多次发布的隐私保护研究进展

引用

计算机应用研究 2014年第12期31卷 3527-3530页

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

数据发布的隐私保护研究主要分为两类:数据单次发布和数据多次发布。目前,数据单次发布的隐私保护研究已经趋于完善。但是在真实的世界中,待发布的数据通常是动态变化的,数据多次发布的隐私保护是目前该领域的研究热点。对数据多次发布... 详细信息

数据发布的隐私保护研究主要分为两类:数据单次发布和数据多次发布。目前,数据单次发布的隐私保护研究已经趋于完善。但是在真实的世界中,待发布的数据通常是动态变化的,数据多次发布的隐私保护是目前该领域的研究热点。对数据多次发布的隐私保护研究成果进行了总结,介绍了关系数据和社会网络数据的隐私保护模型,深入地分析了现有的关系数据和社会网络数据多次发布的各种方法,并指明了该领域的未来研究方向。

关键词：关系数据社会网络数据隐私保护数据单次发布数据多次发布

来源：评论

学校读者我要写书评

暂无评论

电子商务支付协议认证性的SVO逻辑验证

引用

计算机工程与应用 2014年第8期50卷 6-10页

作者：肖茵茵苏开乐广东技术师范学院计算机学院广州510665 中山大学信息科学与技术学院广东省信息安全重点实验室广州510275 北京大学信息科学技术学院教育部高可信软件技术重点实验室北京100871

与证伪法(如模型检测)相比,采用证真法(如定理证明和逻辑推理)能验证协议在任意会话中的正确性,但分析难度较高,验证过程较为复杂。使用SVO逻辑方法,以Netbill微支付协议为例,对电子商务支付协议的认证性进行形式化分析。扩展了SVO逻辑... 详细信息

与证伪法(如模型检测)相比,采用证真法(如定理证明和逻辑推理)能验证协议在任意会话中的正确性,但分析难度较高,验证过程较为复杂。使用SVO逻辑方法,以Netbill微支付协议为例,对电子商务支付协议的认证性进行形式化分析。扩展了SVO逻辑的公理集;在不影响Netbill协议安全性的前提下,为其建立了简化模型;针对协议特点,修正和补充了其验证目标;给出了比之前更合理的协议假设,展示了具体的推理过程,分析了验证结果。结果表明,Netbill协议基本满足认证性。最后对相关研究工作进行了比较。

关键词： SVO逻辑电子商务支付 Netbill协议认证性

来源：评论

学校读者我要写书评

暂无评论

一种新型DNA自组装磁珠光电检测系统及其在DNA计算机研制中的应用

引用

计算机学报 2013年第9期36卷 1826-1834页

作者：李菲许进北京大学信息科学技术学院高可信软件技术教育部重点实验室北京100871

文中提出了一种基于硅芯片集成自组装磁珠颗粒的新型DNA光电检测系统,该系统利用普通照射光源及光电二极管进行光电信号转换,通过比较DNA杂交反应前后的光电流值,来识别DNA杂交信号.该系统是一种首次将磁珠和光电二极管相结合的新型DNA... 详细信息

文中提出了一种基于硅芯片集成自组装磁珠颗粒的新型DNA光电检测系统,该系统利用普通照射光源及光电二极管进行光电信号转换,通过比较DNA杂交反应前后的光电流值,来识别DNA杂交信号.该系统是一种首次将磁珠和光电二极管相结合的新型DNA杂交检测系统,具有成本低廉、快速检测及高精度的特点.这种检测方法不需要信号增强步骤,就能够有效区分DNA单碱基错配及完全杂交的情况;由于采用了磁珠颗粒,易于在DNA计算中删除问题的非解.文中给出了求解图的最小顶点覆盖问题DNA计算模型实例,该实例证实了文中所提出的检测系统较传统检测系统具有明显的优势,有利于实现DNA计算机检测系统中解的自动化检测.

关键词： DNA检测光电二极管磁珠 DNA杂交反应 DNA计算

来源：评论

学校读者我要写书评

暂无评论

可满足性问题生物砖翻转细胞计算模型

引用

计算机学报 2013年第12期36卷 2537-2544页

作者：陈梅陈向群张路许进北京大学信息科学技术学院高可信软件技术教育部重点实验室北京100871

细胞内丰富的信息处理机制和细胞计算的巨并行性一直吸引着科学家构建细胞计算机.科学家利用细胞内的信息处理机制开发了不少模仿简单电子器件功能的细胞计算部件,如细胞布尔逻辑门、细胞记忆单元等,但这些部件没有充分利用细胞计算的... 详细信息

细胞内丰富的信息处理机制和细胞计算的巨并行性一直吸引着科学家构建细胞计算机.科学家利用细胞内的信息处理机制开发了不少模仿简单电子器件功能的细胞计算部件,如细胞布尔逻辑门、细胞记忆单元等,但这些部件没有充分利用细胞计算的巨并行性特点.DNA重组酶Hin能催化DNA片段的翻转反应,通过切换DNA片段的方向来调控基因的表达.该文利用DNA重组酶Hin的这一性质,以合成生物学中广泛使用的生物砖为材料,以大肠杆菌Escherichia coli为宿主细胞,以DNA重组酶Hin为计算工具,构建了一个解决可满足性问题的细胞计算模型.该模型中,每个细胞可独立地生成并判定可满足性问题的一个解,数以亿计的细胞可检查数以亿计的可能解.该模型充分利用细胞计算的巨并行性,显示了细胞计算的巨大潜力.

关键词：生物砖 DNA重组酶Hin 基因调控可满足性问题细胞计算

来源：评论

学校读者我要写书评

暂无评论

RFID距离约束协议的分析与设计

引用

计算机研究与发展 2013年第11期50卷 2358-2366页

作者：辛伟孙惠平陈钟北京大学信息科学技术学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

中继攻击给无线射频识别(RFID)安全带来了巨大威胁,攻击者通过原封不动地转发RFID读写器和标签的通信消息的方式,增加了读写器和标签通信的距离,破坏了RFID默认为短距离通信的隐含假设.而抵御中继攻击的主要方法是采用基于测量读写器与... 详细信息

中继攻击给无线射频识别(RFID)安全带来了巨大威胁,攻击者通过原封不动地转发RFID读写器和标签的通信消息的方式,增加了读写器和标签通信的距离,破坏了RFID默认为短距离通信的隐含假设.而抵御中继攻击的主要方法是采用基于测量读写器与标签之间通信时间的距离约束协议,Hancke和Kuhn在2005年提出了第1个RFID距离约束协议HK,自此以后,陆续有新的距离约束协议问世.目的就是设计一个距离约束协议来抵御中继攻击,同时该协议适合于RFID标签计算资源有限的特点.首先回顾了已有的各种距离约束协议,分析了这些协议的优点和缺陷,并提出了针对距离约束协议的攻击模型,最后,基于HK协议,提出了一个新的距离约束协议HKM,该协议采用预定义质询和随机质询相结合的方式,并充分利用了HK协议浪费的内存,通过与现有的几个典型的距离约束协议进行对比,该协议在内存消耗和抵御中继攻击两个方面有较好的表现.

关键词： RFID 中继攻击距离约束协议安全与隐私攻击模型

来源：评论

学校读者我要写书评

暂无评论

运行时软件体系结构的建模与维护

引用

软件学报 2013年第8期24卷 1731-1745页

作者：宋晖黄罡武义涵 Franck CHAUVEL 孙艳春邵维忠梅宏高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院北京100871

运行时体系结构是系统运行时刻的一个动态、结构化的抽象,描述系统当前的组成成分、各成分的状态和配置以及不同成分之间的关系.运行时体系结构与目标系统间具有动态的因果关联,即系统的变化及时体现在体系结构上,而对体系结构的修改及... 详细信息

运行时体系结构是系统运行时刻的一个动态、结构化的抽象,描述系统当前的组成成分、各成分的状态和配置以及不同成分之间的关系.运行时体系结构与目标系统间具有动态的因果关联,即系统的变化及时体现在体系结构上,而对体系结构的修改及时影响当前系统.运行时体系结构允许开发者以读写体系结构的方式实现系统的监测和调整,是体系结构层次系统动态适应与在线演化的基础.构造运行时体系结构的关键是针对不同的目标系统和体系结构风格实现合适的基础设施,以维护二者之间的因果关联.由于目标系统和体系结构的多样性以及因果关联维护逻辑的复杂性,这一构造过程往往过于繁琐、易错、难以复用和维护.提出一种模型驱动的运行时体系结构构造方法.开发者只需针对目标系统、体系结构以及两者之间的关系分别进行建模,根据这些模型,支撑框架自动构造合法而高效的运行时体系结构基础设施.基于MOF和QVT标准建模语言定义了一组运行时体系结构建模语言,并基于通用的模型与系统间同步技术实现了相应的支撑框架.一系列实例研究表明,该方法具有广泛的适用性,并显著提高了运行时体系结构构造过程的效率与可复用性.

关键词：运行时体系结构模型驱动软件工程领域特定建模运行时维护与演化

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：