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

计算机学报 2022年第10期45卷 2093-2116页

作者：白宗磊王捍贫曹永知王璐璐北京大学计算机学院高可信软件技术教育部重点实验室北京100871 广州大学计算机科学与网络工程学院广州510006

自旋系统是统计物理学中用来描述微观粒子相互作用的重要框架,其可以描述伊辛模型,硬核模型,玻茨模型等统计物理学中的重要模型;通过求解自旋系统的配分函数可以得出物质的能量、磁矩等物理性质.作为一种重要的图模型,自旋系统在理论计... 详细信息

自旋系统是统计物理学中用来描述微观粒子相互作用的重要框架,其可以描述伊辛模型,硬核模型,玻茨模型等统计物理学中的重要模型;通过求解自旋系统的配分函数可以得出物质的能量、磁矩等物理性质.作为一种重要的图模型,自旋系统在理论计算机、人工智能、概率论等领域中被称作马尔可夫随机场而广泛应用,其可以描述着色问题、图同态问题等图论中的重要问题.对图中的点和边赋予非负权重,自旋系统可以诱导出著名的吉布斯分布;配分函数的近似计算可以归约到对应的吉布斯采样问题,通过吉布斯采样可以求解系统的相关物理性质和统计规律.作为模型的简化,树上的自旋系统受到广泛研究;本文研究树上自旋系统的采样算法,并将其推广到树宽较小的图上.我们的主要工作可以列举如下:对于无外场的伊辛模型,基于节点的两种状态的对称性,可以直接计算出任意节点对应的边缘分布,然后通过简单变量的组合来模拟吉布斯分布.类似地,着色问题和玻茨模型也可以基于状态的对称性用简单变量来模拟吉布斯分布.对于一般的自旋系统,无法保证状态的对称性,我们先递归地计算出所有节点的边缘分布,然后基于这些边缘分布进行采样,并通过简单变量的组合来模拟吉布斯分布.对于普通图,我们引入树宽的概念来度量图与树的相似性,并且基于节点间的独立性将算法推广到树宽为2的伪森林和仙人掌图中.我们的算法仅需要线性时间来得到吉布斯分布中的一个样本,在时间复杂度上优于基于马尔可夫链蒙特卡洛模拟的采样算法.

关键词：着色问题吉布斯分布伊辛模型采样算法自旋系统

来源：评论

学校读者我要写书评

暂无评论

基于规则与学习的变异技术对比研究

引用

软件学报 2024年第7期35卷 3093-3114页

作者：贡志豪陈逸洲陈俊洁郝丹高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学计算机学院北京100871 天津大学智能与计算学部天津300350

变异测试是一种有效的软件测试技术,通过生成变异体来模拟软件缺陷,帮助提升现有测试套件的缺陷检测能力.变异体的质量对于变异测试的有效性具有显著影响.传统的变异测试方法通常采用人工设计的基于语法规则的变异算子生成变异体,并已... 详细信息

变异测试是一种有效的软件测试技术,通过生成变异体来模拟软件缺陷,帮助提升现有测试套件的缺陷检测能力.变异体的质量对于变异测试的有效性具有显著影响.传统的变异测试方法通常采用人工设计的基于语法规则的变异算子生成变异体,并已取得一定的研究成果.近年来,许多研究开始结合深度学习技术,通过学习开源项目历史代码生成变异体.目前,该新方法在变异体生成方面取得了初步的成果.基于语法规则和基于学习的两种变异技术,其机理不同,但其目标均是通过生成变异体来提高测试套件的缺陷检测能力,因此,全面比较这两种变异技术对于变异测试及其下游任务至关重要.针对这一问题,设计实现了一项针对基于语法规则和基于学习的变异技术的实证研究,旨在了解不同机理的变异技术在变异测试任务上的性能以及生成的变异体在程序语义上的差异性.具体地,以Defect4J v1.2.0数据集为实验对象,比较以MAJOR和PIT为代表的基于语法规则的变异技术和以DeepMutation、μBERT和LEAM为代表的基于深度学习的变异技术.实验结果表明:基于规则与学习的变异技术均可有效支持变异测试实践,但MAJOR的测试效果最优,能够检测85.4%的真实缺陷.在语义表示上,MAJOR具有最强的语义代表能力,基于其构造的测试套件能够杀死其余变异技术生成的超过95%占比的变异体.在缺陷表征上,两类技术均具有独特性.

关键词：变异测试变异分析实证研究缺陷检测

来源：评论

学校读者我要写书评

暂无评论

基于中间件的软件系统特征交互问题在线检测与消除

引用

中国科学（E辑） 2007年第10期37卷 1235-1247页

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

作为主流的Internet软件系统运行支撑平台,中间件必须支持越来越丰富的交互模式.交互的多样和复杂以及Internet开放、动态、多变等特点导致非预期交互产生的几率逐渐增加.这些非预期的交互可能导致服务降级,功能损失,甚至系统崩溃等严... 详细信息

作为主流的Internet软件系统运行支撑平台,中间件必须支持越来越丰富的交互模式.交互的多样和复杂以及Internet开放、动态、多变等特点导致非预期交互产生的几率逐渐增加.这些非预期的交互可能导致服务降级,功能损失,甚至系统崩溃等严重后果.文中从电信领域特征交互问题的角度研究Internet软件中的非预期交互问题,并提出了一个基于中间件的在线检测与消除方法.首先,对中间件使能的系统交互进行分类,与电信系统进行多角度的比较,并分析了4个实例,从而论证了Internet软件特征交互问题的存在并考察其与电信系统特征交互问题的异同.随后,提出了以运行时软件体系结构为核心的在线检测和消除方法.该方法在J2EE环境中得以实现并成功解决了4个实例.

关键词：特征交互中间件软件体系结构反射

来源：评论

学校读者我要写书评

暂无评论

软件数字社会学

引用

中国科学：信息科学 2019年第11期49卷 1399-1411页

作者：周明辉张宇霞谭鑫北京大学信息科学技术学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

随着互联网不断发展,软件开发(尤其是全球开源开发)面临诸多问题和挑战,如分布在全球的开发者个体差异明显,群体协作的困难度增加,并且广泛的社会参与形成复杂生态等.这些问题使得软件开发呈现出很强的社会学特征.因此,本文提出软件数... 详细信息

随着互联网不断发展,软件开发(尤其是全球开源开发)面临诸多问题和挑战,如分布在全球的开发者个体差异明显,群体协作的困难度增加,并且广泛的社会参与形成复杂生态等.这些问题使得软件开发呈现出很强的社会学特征.因此,本文提出软件数字社会学来刻画和应对以上问题的挑战,涉及个体学习、群体协作和可持续生态.本文对核心研究方法||软件开发活动数据的挖掘和分析进行了讨论,并初步探讨了已经形成态势的开源供应链的重要问题.软件数字社会学可以启发研究者们更好地理解软件开发面临的关键挑战并探索更好的解决方案.

关键词：软件数字社会学软件活动数据个体学习群体协作开源生态软件供应链数据质量

来源：评论

学校读者我要写书评

暂无评论

ODTrans：适用于云数据存储系统的容错的事务协议(英文)

引用

北京大学学报（自然科学版） 2015年第3期51卷 398-408页

作者：程序李红燕王腾蛟杨冬青北京大学高可信软件技术教育部重点实验室北京100871 北京大学信息科学技术学院北京100871 北京大学机器感知与智能教育部重点实验室北京100871

云数据存储系统中,由于数据的分片、冗余存储以及频繁的节点故障,导致分布式事务的原子提交问题发生变化,使得原先的两阶段提交协议(2PC)不再适用。作者对云存储中事务提交的典型场景进行刻画,重新定义分布式事务的提交问题,并提出基于... 详细信息

云数据存储系统中,由于数据的分片、冗余存储以及频繁的节点故障,导致分布式事务的原子提交问题发生变化,使得原先的两阶段提交协议(2PC)不再适用。作者对云存储中事务提交的典型场景进行刻画,重新定义分布式事务的提交问题,并提出基于一致性协议的方法 ODTrans,用于处理分布式提交和副本更新。相比于传统的2PC和主备复制方法,在一个没有拜占庭将军问题的集群中,它可以始终取得进展。实验结果表明,所提方法可以获得与已有的方法相近的性能,既可以容忍从节点发生错误,也可以应对主节点的故障。

关键词：分布式事务容错性云数据存储

来源：评论

学校读者我要写书评

暂无评论

基于知识图谱的GitHub层次化学习和检索服务

引用

计算机工程 2024年第5期50卷 16-25页

作者：江惠珍孙艳春黄罡北京大学计算机学院高可信软件技术教育部重点实验室北京100871 数据空间技术与系统全国重点实验室北京100091

GitHub是全球最大的在线代码托管平台,为软件开发学习者提供了丰富的学习资源,然而面对丰富而繁杂的GitHub内容,软件开发初学者在使用GitHub的搜索功能搜索所需的学习资源时,由于需求不明确或缺乏相关知识和经验,常会遇到难以构建合适... 详细信息

GitHub是全球最大的在线代码托管平台,为软件开发学习者提供了丰富的学习资源,然而面对丰富而繁杂的GitHub内容,软件开发初学者在使用GitHub的搜索功能搜索所需的学习资源时,由于需求不明确或缺乏相关知识和经验,常会遇到难以构建合适的搜索文本进行有效搜索的问题。针对该问题,利用GitHub主题潜在的层次结构,结合Wikipedia软件开发领域知识,设计GitHub软件开发领域知识图谱,在此基础上提出一种基于知识图谱的GitHub层次化学习和检索服务。通过对比实验和调查问卷的方式验证了提出的层次化学习和检索服务的可行性和有效性。

关键词： GitHub平台维基百科知识图谱层次化学习检索服务

来源：评论

学校读者我要写书评

暂无评论

BETASCO:面向智能合约分片的联盟区块链系统

引用

软件学报 2023年第11期34卷 5042-5057页

作者：吴恺东马郓蔡华谦景翔黄罡高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学软件与微电子学院北京100871 北京大学人工智能研究院北京100871

基于区块链的去中心化应用已在加密数字货币、云存储、物联网等多个领域提供健壮、可信且持久的服务,然而区块链的吞吐能力难以满足去中心化应用日益增长的性能需求.分片是当前主流的区块链性能优化技术,但现有的区块链分片主要面向用... 详细信息

基于区块链的去中心化应用已在加密数字货币、云存储、物联网等多个领域提供健壮、可信且持久的服务,然而区块链的吞吐能力难以满足去中心化应用日益增长的性能需求.分片是当前主流的区块链性能优化技术,但现有的区块链分片主要面向用户和用户之间的转账交易,并不完全适用于以智能合约调用交易为主的去中心化应用.针对此问题,设计并实现面向智能合约分片的联盟区块链系统***为每个智能合约提供一个分片作为独立执行环境,通过基于分布式散列表的合约定位服务将交易路由至目标智能合约所在的分片,并通过智能合约间的异步调用机制满足跨智能合约的通信和协作需求.BETASCO通过节点虚拟化允许一个节点加入多个分片,支持同一组节点上多个智能合约的并行执行.实验结果表明,BETASCO整体吞吐能力可随智能合约数量的增加而线性增长,且执行单个智能合约的吞吐能力与HyperLedger Fabric相当.

关键词：区块链智能合约去中心化应用区块链分片异步调用

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种支持Java应用中计算按需远程执行的方法

引用

软件学报 2013年第8期24卷 1713-1730页

作者：张颖黄罡刘儇哲梅宏李影杨顺祥北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 IBM中国研究院北京100193

按需远程执行是软件应用实现对资源按需占有,从而保障性能并提高资源利用率的重要手段.给出了一种通过自动程序转换来支持Java应用中计算按需远程执行的方法,其核心是支持计算按需远程执行的设计模式.介绍了将Java应用转换成该模式所面... 详细信息

按需远程执行是软件应用实现对资源按需占有,从而保障性能并提高资源利用率的重要手段.给出了一种通过自动程序转换来支持Java应用中计算按需远程执行的方法,其核心是支持计算按需远程执行的设计模式.介绍了将Java应用转换成该模式所面临的技术挑战、处理机制以及DPartner转换系统.与已有工作相比,DPartner有两大特色:一是程序转换自动执行;二是转换后应用可实现真正按需的远程执行,使性能和资源利用率得以提升.此外,DPartner被设计为可对只有Java字节码的遗产应用进行转换,更具实用性.

关键词：按需占有资源远程执行程序转换性能

来源：评论

学校读者我要写书评

暂无评论

一种智能手机上下文信息获取的代价模型及其应用

引用

计算机科学 2014年第11期41卷 132-136页

作者：谌国风孔俊俊郭耀陈向群高可信软件技术教育部重点实验室北京大学信息科学技术学院软件所北京100871

随着信息技术的发展和应用需求的增长,智能手机中嵌入了各种传感器和网络接口,它们是获取上下文信息,进而构建智能型移动应用的关键。尽管在智能手机中获取上下文信息的代价很大,但是这种代价却通常被移动应用开发者所忽视。提出了一个... 详细信息

随着信息技术的发展和应用需求的增长,智能手机中嵌入了各种传感器和网络接口,它们是获取上下文信息,进而构建智能型移动应用的关键。尽管在智能手机中获取上下文信息的代价很大,但是这种代价却通常被移动应用开发者所忽视。提出了一个上下文信息获取的代价模型,它能对上下文信息获取的代价进行度量。设计并实现了一个上下文信息获取代价模型的测量工具CRCTest,并对Android智能手机的代价模型进行了测量。基于测量得到的Android平台上下文信息获取的代价模型实现了一个应用实例,通过对比两种位置上下文信息生成方式的代价,说明了基于代价模型优化设计上下文获取的可行性。

关键词：智能手机传感器上下文信息获取代价模型

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：