期刊文献+
共找到34篇文章
< 1 2 >
每页显示 20 50 100
数据驱动的软件智能化开发方法与技术专题前言 被引量:3
1
作者 谢冰 魏峻 +1 位作者 彭鑫 孙海龙 《软件学报》 EI CSCD 北大核心 2018年第8期2177-2179,共3页
当今社会软件无所不在,追求高质量和高效率的软件开发是软件工程研究的核心目标.软件开发经历了从结构化方法、面向对象方法到网络服务化,逐步向基于互联网和开源模式构造的方法发展.软件开发工具与环境也是伴随着开发方法不断更替... 当今社会软件无所不在,追求高质量和高效率的软件开发是软件工程研究的核心目标.软件开发经历了从结构化方法、面向对象方法到网络服务化,逐步向基于互联网和开源模式构造的方法发展.软件开发工具与环境也是伴随着开发方法不断更替变化,从命令行开发工具到集成化开发环境,再到扩展开发环境、协同开发环境,正向智能化开发环境方向演进. 展开更多
关键词 软件开发工具 软件智能化 数据驱动 协同开发环境 专题 技术 面向对象方法 结构化方法
在线阅读 下载PDF
开源软件缺陷的跨项目相关问题推荐方法
2
作者 刘宝川 张莉 +1 位作者 刘桢炜 蒋竞 《软件学报》 EI CSCD 北大核心 2024年第5期2340-2358,共19页
GitHub是著名的开源软件开发社区,支持开发人员在开源项目中使用问题追踪系统来处理问题.在软件缺陷问题的讨论过程中,开发人员可能指出与该缺陷问题相关的其他项目问题(称为跨项目相关问题),为缺陷问题的修复提供参考信息.然而,GitHub... GitHub是著名的开源软件开发社区,支持开发人员在开源项目中使用问题追踪系统来处理问题.在软件缺陷问题的讨论过程中,开发人员可能指出与该缺陷问题相关的其他项目问题(称为跨项目相关问题),为缺陷问题的修复提供参考信息.然而,GitHub平台中托管了超过2亿的开源项目和12亿个问题,导致人工识别和获取跨项目相关问题的工作极其耗时.提出为缺陷问题自动化推荐跨项目相关问题的方法CPIRecom.为了构建预选集,采用项目之间历史相关问题对的数量和问题发布时间间隔筛选问题.其次,为了精准推荐,采用BERT预训练模型提取文本特征,分析项目特征.然后使用随机森林算法计算预选问题与缺陷问题的相关概率,最终根据相关概率排名得到推荐列表.模拟CPIRecom方法在GitHub平台的使用情况.CPIRecom方法的平均倒数排名达到0.603,前5项查全率达到0.715. 展开更多
关键词 开源项目 缺陷修复 跨项目相关问题 问题推荐
在线阅读 下载PDF
空间众包环境下的3类对象在线任务分配 被引量:48
3
作者 宋天舒 童咏昕 +1 位作者 王立斌 许可 《软件学报》 EI CSCD 北大核心 2017年第3期611-630,共20页
随着移动互联网技术与O2O(offline-to-online)商业模式的发展,各类空间众包平台变得日益流行,如滴滴出行、百度外卖等空间众包平台更与人们日常生活密不可分.在空间众包研究中,任务分配问题更是其核心问题之一,该问题旨在研究如何将实... 随着移动互联网技术与O2O(offline-to-online)商业模式的发展,各类空间众包平台变得日益流行,如滴滴出行、百度外卖等空间众包平台更与人们日常生活密不可分.在空间众包研究中,任务分配问题更是其核心问题之一,该问题旨在研究如何将实时出现的空间众包任务分配给适宜的众包工人.但大部分现有研究所基于的假设过强,存在两类不足:(1)现有工作通常假设基于静态场景,即,全部众包任务和众包工人的时空信息在任务分配前已完整获知,但众包任务与众包工人在实际应用中动态出现,且需实时地对其进行任务分配,因此,现存研究结果在实际应用中缺乏可行性;(2)现有研究均假设仅有两类众包参与对象,即众包任务与众包工人,而忽略了第三方众包工作地点对任务分配的影响.综上所述,为弥补上述不足,提出了一类新型动态任务分配问题,即,空间众包环境下的3类对象在线任务分配.该问题不但囊括了任务分配中的3类研究对象,即众包任务、众包工人和众包工作地点,而且关注动态环境.进而设计了随机阈值算法,给出了该算法在最差情况下的竞争比分析.采用在线学习方法进一步优化了随机阈值算法,提出自适应随机阈值算法,并证明该优化策略可逼近随机阈值算法使用不同阈值所能达到的最佳效果.最终通过在真实数据集和具有不同分布人造数据集上进行的大量实验,验证了算法的效果与性能. 展开更多
关键词 空间众包 任务分配 在线算法 竞争比分析
在线阅读 下载PDF
基于形式化方法的航空电子系统检测 被引量:11
4
作者 李睿 连航 +1 位作者 马世龙 黎涛 《软件学报》 EI CSCD 北大核心 2015年第2期181-201,共21页
随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式... 随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性. 展开更多
关键词 模型检测 系统形式化 航空电子系统 软件配置项 有限状态自动机
在线阅读 下载PDF
基于区块链的应用系统开发方法研究 被引量:272
5
作者 蔡维德 郁莲 +2 位作者 王荣 刘娜 邓恩艳 《软件学报》 EI CSCD 北大核心 2017年第6期1474-1487,共14页
从区块链的技术层面及应用层面分析其特征,并给出区块链的分类.挖掘区块链的设计需求,针对区块链的一致性和可扩展性的应用需求进行深入分析.对区块链的应用系统开发方法及区块链建模进行研究,提出了账户区块链(account blockchain,简称... 从区块链的技术层面及应用层面分析其特征,并给出区块链的分类.挖掘区块链的设计需求,针对区块链的一致性和可扩展性的应用需求进行深入分析.对区块链的应用系统开发方法及区块链建模进行研究,提出了账户区块链(account blockchain,简称ABC)和交易区块链(trading blockchain,简称TBC)的双链设计模型.对智能合约进行深入剖析,提出了链上代码并行执行模型应用原则.最后,对区块链应用技术进行总结和展望. 展开更多
关键词 区块链 ABC/TBC 链上代码 区块链应用需求
在线阅读 下载PDF
高阶类型化软件体系结构建模和验证及案例 被引量:2
6
作者 乌尼日其其格 李小平 +2 位作者 马世龙 吕江花 张思卿 《软件学报》 EI CSCD 北大核心 2019年第7期1916-1938,共23页
根据权威统计数据,软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此,应用软件体系结构在设计阶段的正确性验证非常重要.现有的软件体系结构设计方法不支持需求满足验证,需求满足验证需要其他验证工具的支持.面向主流We... 根据权威统计数据,软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此,应用软件体系结构在设计阶段的正确性验证非常重要.现有的软件体系结构设计方法不支持需求满足验证,需求满足验证需要其他验证工具的支持.面向主流Web应用软件的体系结构设计及其需求满足验证,提出了一种高阶类型化软件体系结构建模和验证语言(SAML)与软件体系结构建模和验证方法(SAMM).SAML语言通过定义类型和项的语法及语义,描述软件体系结构中类型和对象的构造,通过定义类型规则及其类型检查算法来判定Γ┝t:T和Γ┝R(T1, T2)是否成立.SAMM给出了软件体系结构建模范式,包括构建接口类型Mcls(typeinterface)、组件Mcmpt(component)、容器Mcont(container)、框Mfrm(frame)和框架Mfrwk(framework)这5层建模过程,以及生成层内与层间类型之间关系对应的类型规则,同时定义了接口类型方法调用图(GSA)用以刻画软件体系结构设计要求,定义了类型序列及其正确性用以刻画需求期望的性质,并给出了相应的验证算法.设计实现了基于该方法的原型工具系统SAMVS,其中,模型编辑环境支持应用软件的设计过程,验证环境支持设计满足需求的自动化验证.通过一个实际案例,完成了一个较大规模"互联网+"应用软件系统的体系结构建模和验证. 展开更多
关键词 类型规则 类型检查 软件体系结构 软件体系结构建模 软件体系结构验证
在线阅读 下载PDF
一种面向大规模P2P环境的成员管理机制 被引量:1
7
作者 黄远强 栾钟治 钱德沛 《计算机研究与发展》 EI CSCD 北大核心 2011年第7期1225-1236,共12页
基于P2P的系统都严重依赖于底层节点之间形成稳定的具有某种特征的拓扑结构.成员管理通过为节点维护可以直接访问的邻居视图,能够实现根据上层应用的语义组织节点拓扑.然而大规模P2P环境下节点的动态加入/退出、网络状况的动态波动、节... 基于P2P的系统都严重依赖于底层节点之间形成稳定的具有某种特征的拓扑结构.成员管理通过为节点维护可以直接访问的邻居视图,能够实现根据上层应用的语义组织节点拓扑.然而大规模P2P环境下节点的动态加入/退出、网络状况的动态波动、节点上资源的动态更新以及庞大的节点规模对成员管理的抗扰动性和可伸缩性提出了更高的要求.许多典型的成员管理技术要么忽略了系统的扰动问题,要么忽略了系统的伸缩问题,因而无法在大规模P2P环境下获得良好的效果.提出了一种新的成员管理机制,综合考虑多种系统资源动态变化的因素,通过抗扰动的成员发现协议以及可伸缩的成员维护方法,保证即使在恶劣环境下仍能够为上层应用维护稳定正确的节点拓扑结构.最后通过实验验证了所提出的成员管理机制在大规模P2P环境下的有效性,通过对实验数据的分析得出的结论为进一步的研究工作奠定了基础. 展开更多
关键词 P2P 拓扑 成员管理 抗扰动 可伸缩性
在线阅读 下载PDF
基于相关性反馈的开源系统跨层需求追踪方法 被引量:1
8
作者 田家豪 张莉 +1 位作者 连小利 赵倩慧 《软件学报》 EI CSCD 北大核心 2024年第3期1321-1340,共20页
大型复杂软件系统的需求分析与生成是一个由上而下逐层分解的过程,跨层需求间追踪关系的构建对于项目的管理、开发与演化都至关重要.开源系统的松耦合贡献方式需要每位参与者能便捷地理解需求的来龙去脉及需求状态,这依赖跨层需求间的追... 大型复杂软件系统的需求分析与生成是一个由上而下逐层分解的过程,跨层需求间追踪关系的构建对于项目的管理、开发与演化都至关重要.开源系统的松耦合贡献方式需要每位参与者能便捷地理解需求的来龙去脉及需求状态,这依赖跨层需求间的追踪.问题描述日志是开源系统中需求的常见呈现方式,其无固定模板要求,内容多样(含文本、代码、调试信息等),术语使用自由,跨层需求间抽象层次大,给自动追踪带来极大的挑战.提出一种面向关键特征维度的相关性反馈方法,通过静态分析项目代码结构,抽取代码相关术语及其间的关联强度,构建代码词汇库,以缓解跨层需求的抽象层次差距及用语不统一的问题;通过度量词汇对需求描述的重要性并基于此筛选关键特征维度,以对查询语句进行针对性的优化,有效减少需求描述长度、内容形式等方面的噪音.通过在3个开源系统需求集上针对两个场景的实验,表明所提方法相比基线方法在跨层需求追踪方面的优越性,相比VSM、Standard Rocchio和Trace BERT,F2值的最大提升分别可达29.01%、7.45%和59.21%. 展开更多
关键词 需求追踪 相关性反馈 开源系统 问题日志
在线阅读 下载PDF
时空众包数据管理技术研究综述 被引量:59
9
作者 童咏昕 袁野 +2 位作者 成雨蓉 陈雷 王国仁 《软件学报》 EI CSCD 北大核心 2017年第1期35-58,共24页
近年来,众包为传统数据管理提供了一种通过汇聚群体智慧求解问题的新模式,并成为当前数据库领域的研究热点之一.特别是随着移动互联网技术与共享经济模式的快速发展,众包技术已融入到各类具有时空数据的应用场景中,例如各类O2O(online-t... 近年来,众包为传统数据管理提供了一种通过汇聚群体智慧求解问题的新模式,并成为当前数据库领域的研究热点之一.特别是随着移动互联网技术与共享经济模式的快速发展,众包技术已融入到各类具有时空数据的应用场景中,例如各类O2O(online-to-offline)应用、实时交通监控与动态物流管理等.简言之,这种应用众包技术处理时空数据的方式称为时空众包数据管理.对近期在时空众包数据管理方面的研究工作进行综述,首先阐述了时空众包的概念,解释了其与传统众包技术的关系,并介绍了各类典型的时空众包应用;随后描述了时空众包应用平台的工作流程及其任务特点;然后讨论了时空众包数据管理的3项核心研究问题和3类应用技术;最后,总结了时空众包数据管理技术的研究现状并展望了其未来潜在的研究方向,为相关研究人员提供了有价值的参考. 展开更多
关键词 时空众包 共享经济 O2O模式 任务分配 质量控制 隐私保护
在线阅读 下载PDF
面向Internet数据中心的资源管理 被引量:26
10
作者 张伟 宋莹 +2 位作者 阮利 祝明发 肖利民 《软件学报》 EI CSCD 北大核心 2012年第2期179-199,共21页
Internet数据中心向多元化、智能化、自动化、规模化与标准化道路发展,其规模越来越大、越来越复杂,这为如何有效管理资源带来极大的冲击与挑战.当前,资源管理已成为Internet数据中心亟待解决的重要问题,其重要性与紧迫性已不容忽视.分... Internet数据中心向多元化、智能化、自动化、规模化与标准化道路发展,其规模越来越大、越来越复杂,这为如何有效管理资源带来极大的冲击与挑战.当前,资源管理已成为Internet数据中心亟待解决的重要问题,其重要性与紧迫性已不容忽视.分析了Internet数据中心资源管理面临的两大挑战:(1)满足并发多应用SLAs(service level agreements)的兼容性;(2)提高系统服务的能量有效性.以挑战为主线,对近十几年来国内外在满足SLA、降低功耗、同时满足SLA和降低功耗方面所取得的资源管理研究成果进行了全面的概括总结和分析,最后进行总结并对未来的研究发展趋势提出观点. 展开更多
关键词 数据中心 资源管理 SLA(service LEVEL agreement) 功耗 虚拟化
在线阅读 下载PDF
新型数据管理系统研究进展与趋势 被引量:35
11
作者 崔斌 高军 +3 位作者 童咏昕 许建秋 张东祥 邹磊 《软件学报》 EI CSCD 北大核心 2019年第1期164-193,共30页
随着各类新型计算技术和新兴应用领域的浮现,传统数据库技术面临新的挑战,正在从适用常规应用的单一处理方法逐步转为面向各类特殊应用的多种数据处理方式.分析并展望了新型数据管理系统的研究进展和趋势,涵盖分布式数据库、图数据库、... 随着各类新型计算技术和新兴应用领域的浮现,传统数据库技术面临新的挑战,正在从适用常规应用的单一处理方法逐步转为面向各类特殊应用的多种数据处理方式.分析并展望了新型数据管理系统的研究进展和趋势,涵盖分布式数据库、图数据库、流数据库、时空数据库和众包数据库等多个领域.具体而言:分布式数据管理技术是支持可扩展的海量数据处理的关键技术;以社交网络为代表的大规模图结构数据的处理需求带来了图数据库技术的发展;流数据管理技术用来应对数据动态变化的管理需求;时空数据库主要用于支持移动对象管理;对多源、异构而且劣质数据源的集成需求催生出新型的众包数据库技术.最后讨论了新型数据库管理系统的未来发展趋势. 展开更多
关键词 分布式数据库 图数据库 流数据库 时空数据库 众包数据库
在线阅读 下载PDF
一种新的智慧城市数据共享和融合框架——SCLDF 被引量:35
12
作者 陈真勇 徐州川 +2 位作者 李清广 吕卫锋 熊璋 《计算机研究与发展》 EI CSCD 北大核心 2014年第2期290-301,共12页
智慧城市是物联网、云计算、移动网络、大数据等为代表的信息技术与城市化发展相结合的产物.如何有效地实现对智慧城市中海量、异构、多源数据的数据共享和融合是智慧城市必须要解决的核心问题.首先分析了传统数据融合技术的特点,然后... 智慧城市是物联网、云计算、移动网络、大数据等为代表的信息技术与城市化发展相结合的产物.如何有效地实现对智慧城市中海量、异构、多源数据的数据共享和融合是智慧城市必须要解决的核心问题.首先分析了传统数据融合技术的特点,然后阐述了当前可以用来解决智慧城市大数据共享和融合问题的技术.在此基础上提出了一种新的智慧城市数据共享和融合框架——智慧城市数据互联框架(smart city linked data framework),并详细阐述了其总体架构以及架构中每层的作用、关键技术和需要解决的问题,最后详细阐述了数据语义标注标签和数据互联层相关问题. 展开更多
关键词 智慧城市 数据融合 语义网 关联数据 数据互联网络 数据活化
在线阅读 下载PDF
同步语言的时间可预测多线程代码生成方法 被引量:9
13
作者 杨志斌 赵永望 +4 位作者 黄志球 胡凯 马殿富 Jean-Paul BODEVEIX Mamoun FILALI 《软件学报》 EI CSCD 北大核心 2016年第3期611-632,共22页
能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用,但是由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共享,使得系统的最坏执行时间分析变得非常困难.为此,国际学术... 能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用,但是由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共享,使得系统的最坏执行时间分析变得非常困难.为此,国际学术界提出时间可预测系统设计的思想,以降低系统的最坏执行时间分析难度.已有研究主要关注硬件层次及其编译方法的调整和优化,而较少关注软件层次,即,时间可预测多线程代码的构造方法以及到多核硬件平台的映射.提出一种基于同步语言模型驱动的时间可预测多线程代码生成方法,并对代码生成器的语义保持进行证明;提出一种基于AADL(architecture analysis and design language)的时间可预测多核体系结构模型,作为研究的目标平台;最后,给出多线程代码到多核体系结构模型的映射方法,并给出系统性质的分析框架. 展开更多
关键词 安全关键系统 多核处理器 时间可预测 同步语言 AADL(architecture analysis and design language)
在线阅读 下载PDF
一种基于Wi-Fi信号指纹的楼宇内定位算法 被引量:12
14
作者 牛建伟 刘洋 +1 位作者 卢邦辉 宋文芳 《计算机研究与发展》 EI CSCD 北大核心 2013年第3期568-577,共10页
由于GPS无法在楼宇内使用,而目前的楼宇内定位技术一般都需要预先部署额外的设施,因此楼宇内无基础设施定位成为了一个热点研究问题.提出了一种利用Wi-Fi接入点的MAC地址和RSSI(received signal strength indication)值,通过机器分类的... 由于GPS无法在楼宇内使用,而目前的楼宇内定位技术一般都需要预先部署额外的设施,因此楼宇内无基础设施定位成为了一个热点研究问题.提出了一种利用Wi-Fi接入点的MAC地址和RSSI(received signal strength indication)值,通过机器分类的方式实现楼宇内房间级定位的算法R-kNN(relativity k-nearest neighbor).R-kNN是一种属性加权k近邻算法,它通过将AP之间的相关性反应在权值的分配上,有效地降低了维度冗余对分类准确率的负面影响.R-kNN没有对房间和AP的物理位置做出任何假设,只需要使用环境中现存的AP就可以取得较好的定位效果,无需部署任何额外设施或修改现有设施.实验结果表明,在AP数量较多的楼宇环境中,R-kNN能够取得比k近邻算法和朴素贝叶斯分类器更好的定位效果. 展开更多
关键词 楼宇内定位 WI-FI RSSI K近邻算法 属性加权k近邻算法
在线阅读 下载PDF
一种新的快速特征选择和数据分类方法 被引量:20
15
作者 陈铁明 马继霞 +1 位作者 Samuel H.Huang 蔡家楣 《计算机研究与发展》 EI CSCD 北大核心 2012年第4期735-745,共11页
针对数据分类问题提出一种新型高效的特征选择和规则提取方法.首先通过减少初始区间数量改进Chi-Merge离散化方法,再采用改进的Chi-Merge离散化连续型特征变量;特征离散化后,统计样本数据在每个特征子集划分下的频数表,并根据频数表计... 针对数据分类问题提出一种新型高效的特征选择和规则提取方法.首先通过减少初始区间数量改进Chi-Merge离散化方法,再采用改进的Chi-Merge离散化连续型特征变量;特征离散化后,统计样本数据在每个特征子集划分下的频数表,并根据频数表计算数据不一致率,再利用顺序前向最优搜索的方法,快速确定特征数量由小到大的每一个最优特征子集;根据特征子集对应的数据不一致率差异最小化原则,完成特征个数最小化的最优特征子集筛选;根据最优特征子集的数据频数表,可直接提取数据分类规则.实验表明,快速提取的规则可获得较好的分类效果.基于该特征选择方法,提出一种面向分布式同构数据的快速分类模型,不但具有良好的分类效果,还支持对样本数据内容的隐私保护. 展开更多
关键词 离散化 频数表 特征选择 规则提取 数据分类 隐私保护
在线阅读 下载PDF
大规模拼车算法研究进展 被引量:15
16
作者 徐毅 童咏昕 李未 《计算机研究与发展》 EI CSCD 北大核心 2020年第1期32-52,共21页
随着共享经济的发展,拼车这一由多位乘客协商共同乘坐同一辆车并分担费用的共享出行模式正得到广泛应用.在移动互联网与普适计算的推动下,拼车体现出数据量大、动态性强、目标多样、应用范围广等新特点.这些新特点使得求解大规模拼车问... 随着共享经济的发展,拼车这一由多位乘客协商共同乘坐同一辆车并分担费用的共享出行模式正得到广泛应用.在移动互联网与普适计算的推动下,拼车体现出数据量大、动态性强、目标多样、应用范围广等新特点.这些新特点使得求解大规模拼车问题的难度大大增加,并催生了众多大规模拼车算法的学术研究.拼车中各类关于社会影响因素的实际问题也成为新型研究热点.为了面向大规模拼车算法进行系统性介绍,首先介绍了拼车问题的概念定义与工作流程.随后,对大规模拼车系统的核心算法问题,即路线规划问题进行了系统地分类、介绍与分析,并进一步详细讨论了大规模拼车涉及的激励机制、隐私保护、安全保障等社会影响因素.最后,分析展望了该领域未来的潜在研究方向,为从事拼车算法的相关研究人员和从业者提供参考和帮助. 展开更多
关键词 拼车算法 路线规划 激励机制 隐私保护 安全保障
在线阅读 下载PDF
一种基于算子的可扩展复杂事件处理模型 被引量:8
17
作者 孟由 栾钟治 +1 位作者 谢明 钱德沛 《软件学报》 EI CSCD 北大核心 2014年第11期2715-2730,共16页
随着大数据处理的深入发展,系统单位时间内产生的数据日趋庞大,数据间的关联关系日趋复杂,这使得传统的"存储-查询"或者"发布-订阅"的方式无法很好地满足诸如故障监控、股票分析、医疗及生命保障等对大数据具有实... 随着大数据处理的深入发展,系统单位时间内产生的数据日趋庞大,数据间的关联关系日趋复杂,这使得传统的"存储-查询"或者"发布-订阅"的方式无法很好地满足诸如故障监控、股票分析、医疗及生命保障等对大数据具有实时处理需求的系统.复杂事件处理技术实现的是将用户对特定的事件序列的查询需求映射到特定识别结构上.该结构从多个持续的数据流中分析并提取满足特定模式的事件序列.该技术能够很好地支持对大量数据进行实时在线分析.但由于在数据处理的过程中,系统不可能预置全部的查询语义,许多系统在使用过程中会需要使用新的语义,以查询新产生的模式.因此,一种支持扩展的语义的复杂事件处理模型是非常必要的.同时,现有的复杂事件处理模型仅针对某几类特定的查询进行描述以及优化,对整体模型缺乏统一描述,导致许多模型在多规则复杂查询的情况下效率欠佳.针对上述问题,提出了基于算子的可扩展复杂事件处理模型.该模型能够良好地支持现有的各类查询语义,具有较快的识别速度.基于该模型的形式化描述,对系统在识别过程中的性能消耗进行了详细分析,给出了模型构造最优算法.通过实验验证了算子模型优化方案的正确性.实验结果表明,经过优化后的树结构事件处理速度比开源复杂事件处理引擎Esper快3倍以上. 展开更多
关键词 事件处理 事件算子 实时处理 匹配树
在线阅读 下载PDF
一种基于Kolmogorov-Smirnov检验的缺陷定位方法 被引量:4
18
作者 叶钢 余丹 +4 位作者 李重文 李先军 尹杰 吕江花 马世龙 《计算机研究与发展》 EI CSCD 北大核心 2013年第4期686-699,共14页
现有的基于中心极限定理和参数假设检验的方法被认为是一种高效的缺陷定位技术.然而,实验结果表明,在某些实验数据集上,测试用例的总数过小而不宜运用中心极限定理.实验结果同时表明,谓词的实际分布背离了基于参数假设检验的方法所假设... 现有的基于中心极限定理和参数假设检验的方法被认为是一种高效的缺陷定位技术.然而,实验结果表明,在某些实验数据集上,测试用例的总数过小而不宜运用中心极限定理.实验结果同时表明,谓词的实际分布背离了基于参数假设检验的方法所假设的正态分布.基于以上发现,提出了一种基于Kolmogorov-Smirnov检验的缺陷定位方法.在西门子测试集和大型程序上的实验结果表明:该方法在小样本和非正态分布的样本集上具有较好的适用性.若谓词在某个测试用例执行时未被执行,已有的方法将该执行中此谓词的评估偏差值设为0.5.在西门子程序集上调查了该设置的有效性,实验结果表明:对于基于Kolmogorov-Smirnov检验的缺陷定位方法,该设置可以提高缺陷定位的效率. 展开更多
关键词 软件测试 缺陷定位 Kolmogorov—Smirnov检验 程序谓词 评估偏差
在线阅读 下载PDF
大规模设备协同机制研究 被引量:3
19
作者 荣晓慧 陈峰 +1 位作者 邓攀 马世龙 《计算机研究与发展》 EI CSCD 北大核心 2011年第9期1589-1596,共8页
在物联网、区域管理和应急救援等领域,对大规模设备协同的需求越来越高.针对大规模设备协同中协同规模大和时序约束严格这两个特点,定义了包含协同任务和协同子任务的大规模设备协同两级任务模型,在此模型基础上利用Pi-演算给出了大规... 在物联网、区域管理和应急救援等领域,对大规模设备协同的需求越来越高.针对大规模设备协同中协同规模大和时序约束严格这两个特点,定义了包含协同任务和协同子任务的大规模设备协同两级任务模型,在此模型基础上利用Pi-演算给出了大规模设备协同中两级任务协同机制的描述,并从理论上证明了该机制的正确性.并实现了大规模设备协同原型系统,通过在原型系统上进行模拟实验,验证了该协同机制能够满足设备协同中的大规模性和严格的时序约束. 展开更多
关键词 大规模设备协同 协同任务模型 协同机制 时序约束 PI-演算
在线阅读 下载PDF
基于Nash-Pareto策略的自动数据分布方法及支持工具 被引量:2
20
作者 王晓燕 陈晋川 +1 位作者 郭小燕 杜小勇 《计算机研究与发展》 EI CSCD 北大核心 2015年第9期1965-1975,共11页
大数据时代的来临为数据存储与管理提出了新的挑战.随着数据量的迅猛增加,自动数据分布逐渐成为分布式系统中的研究重点和难点.根据对数据分布问题中数据、负载和节点3个要素的研究和分析,将数据分布问题抽象为称为DaWN(data,workload,n... 大数据时代的来临为数据存储与管理提出了新的挑战.随着数据量的迅猛增加,自动数据分布逐渐成为分布式系统中的研究重点和难点.根据对数据分布问题中数据、负载和节点3个要素的研究和分析,将数据分布问题抽象为称为DaWN(data,workload,node)的三角模型,并将3要素之间的相互关联关系抽象为数据分片、数据分配和负载执行3条纽带;据此,提出了解决自动数据分布问题的基本架构,对各功能模块的协动关系进行探讨;同时,结合已有的研究工作,采用Nash-Pareto优化均衡策略使得前述各机制相得益彰,实验结果验证了其有效性.为使研究工作更多地应用于实践,设计并实现了自动数据分布辅助原型工具ADDvisor(automatic data distribution advisor),协同支持自动数据分布的执行,共同促进大规模分布式联机事务处理系统的并行性能和自动化管理技术的发展. 展开更多
关键词 数据分布 三角模型 自动化解决方案 优化均衡 联机事务处理
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部