云计算环境下的容错并行Skyline查询算法研究 被引量：4

1

作者 王媛 王意洁 +1 位作者 邓瑞鹏 裴晓强 《计算机科学与探索》 CSCD 2011年第9期804-814,共11页

云计算为分布并行Skyline查询提供强大存储能力和计算能力的同时,其大规模数据中心固有的故障频发特性给可靠Skyline查询处理带来极大挑战。现有研究致力于提高Skyline算法的响应时间、渐进性、负载均衡等各项性能,不能保证故障情况下... 云计算为分布并行Skyline查询提供强大存储能力和计算能力的同时,其大规模数据中心固有的故障频发特性给可靠Skyline查询处理带来极大挑战。现有研究致力于提高Skyline算法的响应时间、渐进性、负载均衡等各项性能,不能保证故障情况下查询继续正确执行。为此,提出一种容错并行Skyline查询算法(fault-tolerant parallel Skyline,FTPS)。该算法通过故障监测和任务迁移,使得能够在查询过程中及时发现故障,并将故障节点的计算任务迁移到副本节点,保证查询的正确执行。理论分析和实验证明,FTPS算法能够在不影响正常Skyline查询处理性能的情况下获取较好的容错处理性能。 展开更多

关键词 SKYLINE查询 分布并行计算 云计算 数据中心 容错

在线阅读 下载PDF 职称材料

软件分析技术进展 被引量：101

2

作者 梅宏 王千祥 +1 位作者 张路 王戟 《计算机学报》 EI CSCD 北大核心 2009年第9期1697-1710,共14页

软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主... 软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主要从静态分析与动态分析两个方面介绍了一些主要的软件分析技术以及部分相关分析工具.结合软件的质量问题,文章还探讨了一些分析技术与软件质量属性的相关性,以便于人们在分析特定的软件质量属性时,选取合适的技术与工具.最后,文章展望了软件分析技术的发展趋势. 展开更多

关键词 软件分析 静态分析 动态分析 软件质量

在线阅读 下载PDF 职称材料

异构并行系统能耗优化分析模型 被引量：4

3

作者 王桂彬 杨学军 +1 位作者 唐滔 徐新海 《软件学报》 EI CSCD 北大核心 2012年第6期1382-1396,共15页

随着处理器功耗不断增大,功耗问题逐渐成为高性能计算机系统设计与实现的首要问题.当前,异构系统已成为高性能计算机的发展趋势之一.与传统同构体系结构相比,异构体系结构具有更高的理论峰值性能和能效,但是如何在满足应用性能的条件下... 随着处理器功耗不断增大,功耗问题逐渐成为高性能计算机系统设计与实现的首要问题.当前,异构系统已成为高性能计算机的发展趋势之一.与传统同构体系结构相比,异构体系结构具有更高的理论峰值性能和能效,但是如何在满足应用性能的条件下充分发掘异构系统的能效优势,仍是一个挑战性问题.通过将应用程序抽象为由串行段和并行段组成的一般程序模型,建立了异构并行系统能耗优化模型.通过分析方法依次给出并行段以及全程序(多程序段)能耗最优时处理器间满足的关系,分别给出了时间约束下能耗最优的处理器频率选择算法.最后,以CPU-GPU异构系统为平台,通过8个典型应用程序验证了方法的有效性. 展开更多

关键词 异构系统 低功耗优化 任务调度 动态电压/频率调节

在线阅读 下载PDF 职称材料

移动社交网络幂律分布特征及亲属关系判别

4

作者 张树森 魏玉党 +3 位作者 梁循 窦勇 许媛 梁天新 《中文信息学报》 CSCD 北大核心 2018年第6期114-123,共10页

社交网络特征和用户关系是社交网络分析研究的重要内容。该文对移动社交网络中存在的幂律分布及用户亲属关系判别问题进行研究。在幂律分布的研究中,该文在度、连通子图规模及用户联系人数量的分布中找出存在的三个幂律分布,同时分析其... 社交网络特征和用户关系是社交网络分析研究的重要内容。该文对移动社交网络中存在的幂律分布及用户亲属关系判别问题进行研究。在幂律分布的研究中,该文在度、连通子图规模及用户联系人数量的分布中找出存在的三个幂律分布,同时分析其中规律和结论,并与其他社交网络进行对比。在该文亲属关系判别研究中,通过提取用户通话行为的多种显著特征,采用GBDT(gradient boost decision tree)与LR(logistic regression)融合方法,提出一种用户亲属关系判别模型,并通过实验验证该模型能有效判别出用户间是否存在亲属关系,判别精确率达到81.01%。 展开更多

关键词 社交网络 幂律分布 亲属关系

在线阅读 下载PDF 职称材料

基于DBN模型的遥感图像分类 被引量：73

5

作者 吕启 窦勇 +2 位作者 牛新 徐佳庆 夏飞 《计算机研究与发展》 EI CSCD 北大核心 2014年第9期1911-1918,共8页

遥感图像分类是地理信息系统(geographic information system,GIS)的关键技术,对城市规划与管理起到十分重要的作用.近年来,深度学习成为机器学习领域的一个新兴研究方向.深度学习采用模拟人脑多层结构的方式,对数据从低层到高层渐进地... 遥感图像分类是地理信息系统(geographic information system,GIS)的关键技术,对城市规划与管理起到十分重要的作用.近年来,深度学习成为机器学习领域的一个新兴研究方向.深度学习采用模拟人脑多层结构的方式,对数据从低层到高层渐进地进行特征提取,从而发掘数据在时间与空间上的规律,进而提高分类的准确性.深度信念网络(deep belief network,DBN)是一种得到广泛研究与应用的深度学习模型,它结合了无监督学习和有监督学习的优点,对高维数据具有较好的分类能力.提出一种基于DBN模型的遥感图像分类方法,并利用RADARSAT-2卫星6d的极化合成孔径雷达(synthetic aperture radar,SAR)图像进行了验证.实验表明,与支持向量机(SVM)及传统的神经网络(NN)方法相比,基于DBN模型的方法可以取得更好的分类效果. 展开更多

关键词 遥感图像 合成孔径雷达 地物分类 深度学习 受限玻尔兹曼机 深度信念网络

在线阅读 下载PDF 职称材料

单变量区间线性不等式抽象域 被引量：10

6

作者 陈立前 王戟 侯苏宁 《计算机学报》 EI CSCD 北大核心 2010年第3期427-439,共13页

程序变量的值范围信息对于编译器优化、程序分析与验证等应用至关重要.抽象解释理论提供了一种通用框架为程序变量计算近似的但是可靠的值范围.然而该框架下已有的数值抽象域在表达非凸性质方面存在一定的局限性,影响了值范围分析的精度... 程序变量的值范围信息对于编译器优化、程序分析与验证等应用至关重要.抽象解释理论提供了一种通用框架为程序变量计算近似的但是可靠的值范围.然而该框架下已有的数值抽象域在表达非凸性质方面存在一定的局限性,影响了值范围分析的精度.文中基于抽象解释理论,提出一个新的数值抽象域——单变量区间线性不等式抽象域.其主要思想是使用单变量区间线性不等式约束作为域元素的约束表示方法.该抽象域的表达能力强于经典的区间抽象域,并允许表达某类非凸、非连通性质.同时,其域操作存在高效的实现算法.该抽象域具有很强的可扩展性,能够应用在实际大规模的程序分析中. 展开更多

关键词 值范围分析 静态分析 抽象解释 抽象域 区间分析

在线阅读 下载PDF 职称材料

一种融合表达谱相关性信息的激活子网辨识算法 被引量：5

7

作者 李非 伯晓晨 +3 位作者 李鹏 虞朝辉 彭宇行 王升启 《生物化学与生物物理进展》 SCIE CAS CSCD 北大核心 2010年第2期208-217,共10页

传统表达谱数据分析方法集中于寻找差异表达基因和共表达基因集合,没有考虑基因表达产物之间已知的相互作用.近年来在系统生物学的研究中发展了将基因表达谱与蛋白质相互作用网络进行整合分析的方法.现有方法未能综合考虑基因表达差异... 传统表达谱数据分析方法集中于寻找差异表达基因和共表达基因集合,没有考虑基因表达产物之间已知的相互作用.近年来在系统生物学的研究中发展了将基因表达谱与蛋白质相互作用网络进行整合分析的方法.现有方法未能综合考虑基因表达差异性和相关性信息,容易导致辨识结果中重要功能分子缺失且生物学功能相关度不高.提出一种融合表达谱差异性和相关性信息的激活子网辨识算法,能够在蛋白质相互作用网络中辨识高功能相关度的激活子网.应用到人免疫缺陷病毒HIV-1感染过程的研究,结果表明,该算法可以有效避免仅考虑基因表达差异性所引入的偏差,揭示了高相关性低表达差异基因在相关通路中的关键性作用. 展开更多

关键词 激活子网 表达谱 模拟退火算法 最大生成子树

在线阅读 下载PDF 职称材料

形式化方法与工具专刊前言 被引量：6

8

作者 王戟 李宣东 《软件学报》 EI CSCD 北大核心 2011年第6期1121-1122,共2页

形式化方法是指有严格数学基础的软件和系统开发方法，支持计算机系统及软件的规约、设计、验证与演化等活动．随着高可信软件的兴起，形式化方法作为重要的途径，关注度日益提高．其作用不仅深化了人们对计算系统规律的认识，而且支持... 形式化方法是指有严格数学基础的软件和系统开发方法，支持计算机系统及软件的规约、设计、验证与演化等活动．随着高可信软件的兴起，形式化方法作为重要的途径，关注度日益提高．其作用不仅深化了人们对计算系统规律的认识，而且支持了计算系统开发、运行和演化之工具、平台、环境的构建．本专刊收录的11篇论文反映了近年来我国学者在形式化方法与工具领域的部分研究成果. 展开更多

关键词 形式化方法 工具 高可信软件 计算机系统 计算系统 数学基础 研究成果 开发

在线阅读 下载PDF 职称材料

基于衰落Bloom Filter的P2P网络弱状态路由算法 被引量：2

9

作者 朱桂明 郭得科 金士尧 《软件学报》 EI CSCD 北大核心 2011年第11期2810-2819,共10页

在P2P网络中,基于衰落Bloom Filter的弱状态路由算法试图将每条查询消息沿着成员资格信息量最强的方向传递,并最终以较低的传输代价和传输时延确保较高的查准率.衰落Bloom Filter在传递过程中存在严重的多径叠加和噪音问题,这直接导致... 在P2P网络中,基于衰落Bloom Filter的弱状态路由算法试图将每条查询消息沿着成员资格信息量最强的方向传递,并最终以较低的传输代价和传输时延确保较高的查准率.衰落Bloom Filter在传递过程中存在严重的多径叠加和噪音问题,这直接导致查询消息会以很高的概率沿着错误的方向传播,甚至会退化为泛洪路由算法.为了解决这一挑战性难题,提出了DWalker这种基于衰落Bloom Filter的高效弱状态路由算法.DWalker基于有向随机网络,采用指数衰落Bloom Filter来发布和传播每个节点共享资源的信息,且其最大传播距离小于网络中任意两点之间距离的期望值,从而有效抑制了衰落Bloom Filter在传播过程中的多径叠加问题.DWalker采用多个Bloom Filter而不是单个Bloom Filter来表达一项路由条目,在单个Bloom Filter的错误发生概率达到设计上限时,可按需动态增加新的Bloom Filter,以将更多资源对象信息纳入到当前路由条目中.DWalker仅根据当前节点的各项路由条目中值为1的比特位所占的最大比例,以及查询消息在正确转发方向对应的路由条目中对应比特位中值为1的个数的临界值,就能使进入目标对象传播范围内的查询消息以较高的概率辨认出正确的路由方向.理论分析和实验结果表明,DWalker能够以较低的查询消息代价、较小的路由条目存储开销以及较短的查询时延,使绝大多数查询消息沿正确方向转发,从而获得较高的查准率. 展开更多

关键词 对等计算 有向随机网络 弱状态路由 衰落Bloom Filter 噪音

在线阅读 下载PDF 职称材料

基于涌现视角的MAS信任模型仿真分析方法 被引量：2

10

作者 任传俊 黄红兵 金士尧 《计算机研究与发展》 EI CSCD 北大核心 2010年第12期2090-2099,共10页

目前MAS信任模型研究关注的焦点是信任管理的微观机制设计,而从这些微观机制到系统的宏观特性,并不是显而易见的.因此,这些研究都采用了仿真分析.但是这些仿真实验的设计大多缺乏理论指导,往往不能正确反映系统的宏观特性.引入系统科学... 目前MAS信任模型研究关注的焦点是信任管理的微观机制设计,而从这些微观机制到系统的宏观特性,并不是显而易见的.因此,这些研究都采用了仿真分析.但是这些仿真实验的设计大多缺乏理论指导,往往不能正确反映系统的宏观特性.引入系统科学中的涌现视角来审视MAS,探讨基于涌现视角的MAS信任模型仿真分析方法.这一方法从相对清晰的微观层面入手,建立仿真运行模型;在充分考虑的相关宏观约束下,研究系统宏观层面的问题以及微观和宏观之间的联系.总结分析了信任模型微观机制的设计图式,在此基础上探讨了仿真Agent的设计框架;讨论了信任模型仿真分析中应考虑的宏观问题,包括宏观约束、威胁模型、评价指标以及仿真执行中的问题,最后实例验证了此方法的有效性. 展开更多

关键词 多AGENT系统 涌现 信任模型 微观机制 仿真

在线阅读 下载PDF 职称材料

SOSC:一种基于自组织语义聚类的P2P查询路由算法 被引量：1

11

作者 朱桂明 金士尧 +1 位作者 郭得科 韦海亮 《计算机研究与发展》 EI CSCD 北大核心 2011年第5期736-745,共10页

在没有辅助机制的条件下,非结构化P2P网络资源定位技术的效率比较低,很难同时获得较低的查询延迟、少量的定位成本和较高的查询命中率,为此,提出了一种基于自组织语义聚类的P2P查询路由算法SOSC.SOSC算法通过直接用节点共享资源的关键... 在没有辅助机制的条件下,非结构化P2P网络资源定位技术的效率比较低,很难同时获得较低的查询延迟、少量的定位成本和较高的查询命中率,为此,提出了一种基于自组织语义聚类的P2P查询路由算法SOSC.SOSC算法通过直接用节点共享资源的关键词频率向量表达节点语义,各节点均试图与最相似的节点建立邻居关系,以及以指数衰减方式传递节点语义向量,创造性地解决了对等计算环境中聚类语义的表达和传递问题,使得节点可感知周围节点的语义层次,从而使得各节点均可以语义聚类为基础进行快速路由.分析和实验均表明,SOSC算法具有较小的路由延迟、较低的查询代价和较高的查询命中率. 展开更多

关键词 P2P网络 语义聚类 关键词频率向量 查询路由 指数衰减

在线阅读 下载PDF 职称材料

基于多种资源测量的流媒体实时接纳控制研究

12

作者 杨帆 张冬松 +1 位作者 金士尧 卢为 《计算机应用研究》 CSCD 北大核心 2012年第3期1044-1047,共4页

为了根据计算、存储资源和网络带宽的占用情况进行更加精确的接纳控制决策,设计了受限的可变时间窗口测量法,提出了基于多种资源占用情况的测量和算法(MBMS)。在获取多种资源负载情况的基础上实现了流媒体服务的实时接纳控制方法。实验... 为了根据计算、存储资源和网络带宽的占用情况进行更加精确的接纳控制决策,设计了受限的可变时间窗口测量法,提出了基于多种资源占用情况的测量和算法(MBMS)。在获取多种资源负载情况的基础上实现了流媒体服务的实时接纳控制方法。实验结果表明,该方法能够在高负载的情况下确保较高的服务接纳率,同时在低负载情况下提高了资源利用率。 展开更多

关键词 多种资源 动态测量 流媒体服务 接纳控制

在线阅读 下载PDF 职称材料

基于Game理论的μ-演算公理化

13

作者 刘万伟 王戟 陈火旺 《计算机研究与发展》 EI CSCD 北大核心 2007年第11期1896-1902,共7页

随着软硬件系统复杂性的不断提高,各种验证技术被越来越广泛的使用.模型检验技术是一种保证软硬件设计、实现正确性的有效技术.在针对软硬件的模型验证技术中,一般采用时序逻辑作为规约语言.模态μ-演算是模态和时序逻辑中应用较为广泛... 随着软硬件系统复杂性的不断提高,各种验证技术被越来越广泛的使用.模型检验技术是一种保证软硬件设计、实现正确性的有效技术.在针对软硬件的模型验证技术中,一般采用时序逻辑作为规约语言.模态μ-演算是模态和时序逻辑中应用较为广泛的一种,它具有语法成分简洁、表达能力强等特点.扩展了Lange和Stirling基于Focus Game的LTL和CTL的公理化方法.提出了一种基于Game理论的μ-演算公式的可满足性的测试方法,该种方法能够将模态μ-演算公式的可满足性问题转化为FocusGame的求解问题.进一步,基于这套Game规则,给出了一个新的关于μ-演算可靠完备的推理系统.同已有的μ-演算公理系统相比,该推理系统相对直观、简洁. 展开更多

关键词 时序逻辑 模态μ-演算 Game理论 可满足性 公理系统

在线阅读 下载PDF 职称材料

静态栅栏分析中反例生成的改进

14

作者 王昭飞 《计算机工程与应用》 CSCD 北大核心 2011年第11期23-25,共3页

栅栏分析器生成反例以帮助MPI程序员诊断同步错误。然而,对于某些真实程序现有的反例生成方法不支持快速的错误诊断。提出了一种改进的反例生成方法。该方法记录了多值表达式的传播历史并且能够推导出触发同步错误的程序输入。实验评估... 栅栏分析器生成反例以帮助MPI程序员诊断同步错误。然而,对于某些真实程序现有的反例生成方法不支持快速的错误诊断。提出了一种改进的反例生成方法。该方法记录了多值表达式的传播历史并且能够推导出触发同步错误的程序输入。实验评估表明提出的方法比现有的技术更好地支持同步错误诊断。 展开更多

关键词 栅栏 反例 消息传递接口 静态分析 错误诊断

在线阅读 下载PDF 职称材料

多特征融合提取算法结合支持向量机预测膜蛋白类型 被引量：2

15

作者 姜彬 王正华 +1 位作者 王勇献 贺细平 《上海交通大学学报》 EI CAS CSCD 北大核心 2009年第7期1172-1176,1179,共6页

针对膜蛋白分类预测问题,在氨基酸组分基础上引入氨基酸位置信息,计算多种氨基酸残基指数的相关系数并选择最优组合方式;融合2类特征信息对膜蛋白序列进行特征提取;采用支持向量机算法作为分类器,构建了一种新型膜蛋白分类模型,在自检验... 针对膜蛋白分类预测问题,在氨基酸组分基础上引入氨基酸位置信息,计算多种氨基酸残基指数的相关系数并选择最优组合方式;融合2类特征信息对膜蛋白序列进行特征提取;采用支持向量机算法作为分类器,构建了一种新型膜蛋白分类模型,在自检验、Jackknife检验和独立测试集检验3种典型方式下,预测准确率分别为98.25%、88.10%和95.62%.结果表明,多特征融合能够有效提取膜蛋白序列的特征信息,与现有方法相比,该分类模型具有较高的分类预测成功率. 展开更多

关键词 膜蛋白 权重氨基酸组成 氨基酸指数 相关系数 支持向量机

在线阅读 下载PDF 职称材料

基于指向与数值抽象的带指针算术程序的分析方法 被引量：2

16

作者 尹帮虎 陈立前 王戟 《计算机科学》 CSCD 北大核心 2015年第7期32-37,共6页

带指针算术的程序往往包含数组越界、缓冲区溢出等运行时错误。单纯的指针分析技术和数值分析技术都无法有效处理指针算术。为了将指针分析与数值分析相结合,首先提出一种新的指针内存模型,然后基于该模型设计了一个刻画指针指向关系和... 带指针算术的程序往往包含数组越界、缓冲区溢出等运行时错误。单纯的指针分析技术和数值分析技术都无法有效处理指针算术。为了将指针分析与数值分析相结合,首先提出一种新的指针内存模型,然后基于该模型设计了一个刻画指针指向关系和指针偏移量的抽象域。最后在抽象解释框架下,设计并实现了一个面向带指针算术C程序的静态分析工具原型PAA。实验结果表明,PAA能够有效地分析指针程序的指向关系和数值性质,并能够在效率和精度间取得合理的权衡。 展开更多

关键词 静态分析 抽象解释 指向分析 数值抽象域

在线阅读 下载PDF 职称材料

基于定向天线的非对称无线自组网中MAC协议的研究

17

作者 丁艳荣 王晓东 +1 位作者 沈虎 郭鹏宇 《计算机研究与发展》 EI CSCD 北大核心 2010年第S2期162-167,共6页

在采用全向天线的节点与定向天线的节点混杂的非对称网络中,传统定向MAC协议将带来新的"聋"问题和隐藏终端问题.针对这些问题,设计了NCDMAC(nested circular directional MAC)协议.在该协议中,全向节点采用多跳RTS-CTS,定向... 在采用全向天线的节点与定向天线的节点混杂的非对称网络中,传统定向MAC协议将带来新的"聋"问题和隐藏终端问题.针对这些问题,设计了NCDMAC(nested circular directional MAC)协议.在该协议中,全向节点采用多跳RTS-CTS,定向节点采用循环DRTS,定向天线嵌套旋转两周,以交换握手帧.ns2模拟仿真显示,NCDMAC协议在增加一定通信时延的情况下,能够解决非对称网络下的"聋"问题和隐藏终端问题,并带来比Multi-hop MAC和Circular MAC协议更大的网络吞吐量. 展开更多

关键词 非对称Ad Hoc网络 NCDMAC协议 混合RTS/CTS机制 定向天线

在线阅读 下载PDF 职称材料