过刊目录

  • 2012年, 33卷, 第2期
    刊出日期:2012-02-20
      

    论文
  • 全选
    |
    论文
  • 论文
    李国徽,赵培,高胜
    2012, 33(2): 192-198.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    以往的研究大多针对文件系统,而DBMS存在更多细粒度的更新.本文综合考虑闪存自身的特点、设备种类繁多及不同闪存设备读写特性差别大等,提出了一种基于闪存的DBMS索引结构: LD_B+树.LD_B+树根据工作负载的读写特性动态地调节索引模式使之能够适应于不同种类的闪存设备.LD_B+树采用日志结构组织结点,通过结点转换表和日志缓冲区维护索引结构.模拟实验结果表明,不同闪存设备及工作负载下,LD_B+索引结构比B+树和日志型B+树(BFTL)具有6%63%的性能提高.
  • 论文
    朱志良,邱媛源,李丹程,刘国奇,宋杰
    2012, 33(2): 199-205.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    Web服务是继SOA后的又一研究热点,存在于Internet上大量的Web服务必然会形成一个结构复杂、节点繁多,具有相互影响的复杂网络.目前国内外并没有提出完善的关于Web服务的复杂网络模型,对Web服务复杂网络特性的研究也处于发展阶段.提出以Web服务为节点,服务功能相似关系为边,构建复杂网络的模型和算法,并对构建的网络的特性展开研究.本文设计并实现了一个原型系统,利用Web服务的匹配关系构建了网络模型,并且证明该网络具有小世界特性和无标度特性.该方法的提出把对Web服务的研究从传统的SOA模型中引领到复杂网络模型中,对推动Web服务组合和发现等应用具有一定的指导意义.
  • 论文
    张李一,张守志,施伯乐
    2012, 33(2): 206-209.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    由于数据的不确定性,传统频繁模式挖掘方法难以适用到不确定性数据中.针对不确定性数据的特点,把挖掘确定性数据频繁模式的经典垂直挖掘算法Eclat算法扩展到不确定性数据中,提出了UP-Eclat算法.该算法分别对Tid集和项集搜索树进行扩展:把原来只有一个id域的Tid扩展成两个域,即id域和概率域;用扩展后的Tid集代替原来的Tid集,生成扩展后的项集搜索树.扩展后的Tid集可以表示不确定性数据,然后利用扩展后的项集搜索树进行频繁模式挖掘.通过实验与分析,UP-Eclat算法可行,高效.
  • 论文
    杨克峤,李健,胡益斌,许铝才
    2012, 33(2): 210-214.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    中间表示对编译器的性能、效率和可扩展性都起着决定性作用.Open64编译器采用一种树型结构的中间表示WHIRL,能表示各种高级控制流结构,但不能显式的提供数据流信息.本文基于WHIRL对SSA(Static Single Assignment)进行扩展,提出了一个新的优化结构WHIRL SSA.WHIRL SSA通过将SSA信息标注在WHIRL节点上,显式的为数据流分析提供使用定义(UD)信息.相比于传统的数据流信息构建方法,WHIRL SSA提供了更精确、有效的数据流信息.本文讨论了WHIRL SSA的设计与实现和基于WHIRL SSA的优化.
  • 论文
    文一凭1,2, 刘建勋2, 陈志刚1
    2012, 33(2): 215-218.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对支持成批处理的工作流系统在应用中的活动成批区设定问题,提出一种基于工作流挖掘的活动成批区发现方法.该方法首先利用现有工作流挖掘方法得到初始工作流模型.然后进行活动成批处理特征识别与成批处理区发现,从最终得到初始工作流模型中的活动成批处理区.具体算
    法过程及算法有效性通过对某公司处理共享租车的过程日志进行挖掘的实例进行了说明与实验验证.
  • 论文
    梅佳1,2,3,缪淮扣1,高洪皓1,3
    2012, 33(2): 219-224.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在复杂的实时系统开发中使用构件式设计方法已成为目前软件开发领域中的研究热点,如何有效地验证实时软件的设计是否满足给定的时间需求并降低验证过程的复杂度,是实时计算领域中的主要挑战之一.文中对构件接口模型进行时间扩展,提出了时间接口模型,并将其用于构件接口交互行为的形式化建模.在接口自动机理论的的基础上进一步提出了时间接口自动机模型用于描述时间接口交互下构件的行为及组合方法,通过消除错误状态产生组合模型来约减构件时间接口自动机模型的积,并在约减的模型上进行性质检验,降低了分析复杂度,有效地应对状态空间爆炸问题.为了说明论文建议的方法,详细讨论了一个简单的、贯穿整篇论文的示例系统.
  • 论文
    陈晓亮,彭鑫,赵文耘
    2012, 33(2): 225-231.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    面向对象中多态机制﹑类及方法两级结构以及代码克隆现象都对程序聚类结果有较大的影响.已有的程序聚类的研究工作大多针对结构化程序,对于这些面向对象机制的影响没有进行深入分析.本文针对面向对象程序聚类中这些因素(多态机制﹑类及方法)的影响,通过一个针对开源软件系统的程序聚类实验进行了对比分析,并根据这三种因素的聚类结果特点分别提出了相应的应用场景(如软件体系结构恢复、特征定位、重构等),并以此对面向对象程序聚类策略的选择进行了分析与讨论.
  • 论文
    蒋盛益1,苗邦1,余雯2
    2012, 33(2): 232-236.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    抽样是处理不平衡数据集的一种常用方法,其主要思想是改变类别的分布,缩小稀有类与多数类的分布比例差距.提出一种基于一趟聚类的下抽样方法,根据聚类后簇的特征与数据倾斜程度确定抽样比例,按照每个簇的抽样比例对该簇进行抽样,密度大的簇少抽,密度小的簇多抽或全抽.在压缩数据集的同时,保证了少数类的数量.实验结果表明,本文提出的抽样方法使不平衡数据样本具有较高的代表性,聚类与分类性能得到了提高.
  • 论文
    徐育雄1,窦万峰1,2
    2012, 33(2): 237-243.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    从网格的分布性、动态性和不确定性等特征出发,借鉴人类社会主观信任关系的概念,提出了一种新的信任评估模型与方法.该模型引入了采纳函数,区分了节点的反馈可信度和服务可信度,给出了反馈可信度与采纳强度的映射关系,动态调整了对具有不同推荐信任度的第三方实体所推荐信息的不同采信程度,提高了推荐信息的精确度.将采纳强度映射为等效的推荐信任的权重,给出了一个基于动态信任权重的综合信任度计算新方法.仿真实验结果表明,基于采纳函数的动态信任评估方法具有抑制恶意节点的策略性欺骗和不诚实推荐的能力,同时还体现出良好的动态适应性.
  • 论文
    石祥滨,张琦,毕静
    2012, 33(2): 244-248.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对MMOG中多NPC的协同围捕问题,本文提出一种基于运动学和几何学理论的NPC协同围捕策略.采用运动学方法构建个体NPC的运动模型,从而实现个体NPC在游戏中的自主运动控制,通过改变NPC的方向角和使用"正多边形队形法"实现多NPC对目标的靠近和包围.实验结果证明,该策略能使群体NPC成功的围捕目标,满足游戏的实时性、挑战性和真实感的需求.
  • 论文
    林广栋,王煦法,尤海峰
    2012, 33(2): 249-253.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    人体的内分泌系统具有强大的自适应、自调节能力.在人体的内分泌系统中,甲状腺激素能使人类在紧急情况下产生异常迅速的反应,从而增加人类的生存概率.本文借鉴甲状腺激素的分泌,储存和释放机制,提出一种新的与人工神经网络结合的人工内分泌模型,称为TAES(Thyroid hormone inspired Artificial Endocrine System)模型.TAES模型可以增加控制系统对动态环境的适应性.本文将TAES模型应用于机器人避障实验中.实验结果表明,该系统可以增加机器人在紧急情况下的避障能力.
  • 论文
    钱文彬1,杨炳儒1,徐章艳1,2
    2012, 33(2): 254-258.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对实际的决策表中的对象通常是动态变化的情况,首先引入了简化的决策表,然后在动态更新核的基础上,结合简化二进制差别矩阵和位图运算的设计思想,提出了一种快速的属性约简增量式更新算法.当有新对象加入决策表时,新算法只需验证新增的对象和原决策表中的对象是否一致性,然后采用在计算二进制差别矩阵的同时对原属性约简进行动态更新,从而有效地降低算法的时空复杂度,最后用实例说明了新算法的可行性和高效性.
  • 论文
    盛虹平1,2,马良1
    2012, 33(2): 259-262.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    大洪水算法是通过模拟洪水上涨过程来进行全局寻优的启发式算法,r-opt算法是一类常用的路径改进算法.本文针对旅行商问题,提出一种将二者有机融合的改进大洪水算法,可用于快速求解大规模和超大规模的TSP问题.算法在Delphi7环境下编程实现,经过大量TSPLIB中的数据实例进行测试和验证,求解结果与已公布的最好结果误差基本都在1%以下,为困难的大规模旅行商问题提供了新的求解手段.
  • 论文
    黄发良1,2,肖南峰1
    2012, 33(2): 263-266.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对绝大多数社区发现算法都存在着网络节点仅隶属于一个社区的假设,引入谱图理论与粗糙集理论来分析复杂网络社区, 提出一种用于网络重叠社区发现的粗糙谱聚类算法RSC, 该算法用上下近似来刻画网络节点的社区归属,边界表示社区之间共享的节点, 通过优化重叠社区结构模块度来实现重叠社区发现. 通过3个不同类型真实网络的仿真实验,结果验证了该方法的可行性与有效性.
  • 论文
    黄发良1,2,肖南峰1
    2012, 33(2): 263-266.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对绝大多数社区发现算法都存在着网络节点仅隶属于一个社区的假设,引入谱图理论与粗糙集理论来分析复杂网络社区, 提出一种用于网络重叠社区发现的粗糙谱聚类算法RSC, 该算法用上下近似来刻画网络节点的社区归属,边界表示社区之间共享的节点, 通过优化重叠社区结构模块度来实现重叠社区发现. 通过3个不同类型真实网络的仿真实验,结果验证了该方法的可行性与有效性.
  • 论文
    崔颖,江成顺
    2012, 33(2): 267-270.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对无约束图像分割模型的实现问题,提出一种基于分块协调下降方法的快速数值算法.该算法将模型的对偶问题转化为一组约束一元或二元二次极值问题,不仅避免了原问题求解时局部不可微性和高非线性性等难点,使得求解过程简单并易于实现;而且与现有的基于梯度下降的算法相比,具有无条件全局收敛性并显著地提高了收敛速度.仿真实验结果表明了所提出算法的有效性和在分割效率上的优越性.
  • 论文
    王万森,郭春娟
    2012, 33(2): 271-274.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文以情绪认知交互的E-Learning系统中的学习者表情识别为背景,在Adaboost算法中引入了分类风险系数,并在每次迭代权值更新后的权值归一化过程中,将正负例样本分开进行权值归一化处理,保证了算法能始终给予正例样本更多的重视.最终将基于肤色和改进的Adaboost算法相结合用于E-Learning情境中的学习者人脸检测,取得了较好的实验效果.为后续的表情特征提取工作提供了重要的信息.
  • 论文
    葛浩1, 李龙澍2, 杨传健3
    2012, 33(2): 275-279.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    求核是粗糙集理论的主要研究内容之一.针对现有基于差别矩阵求核算法的不足,首先提出决策表简化的方法;然后,给出属性布尔差别矩阵的定义和基于属性布尔差别矩阵的核属性定义,并证明了该定义与基于正区域求核定义是等价的,同时设计相应求核算法;为了进一步提高求核效率和适应大数据集的处理,给出两个改进的求核算法.通过实例分析和实验比较,表明了本文所提出的求核算法是正确的高效的.
  • 论文
    袁景凌,杜宏富,钟珞,高美铃
    2012, 33(2): 280-284.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    量化非对称相似关系是处理不完备信息系统的重要工具之一.本文针对非对称关系中明显相似的对象分类不合理的问题,定义了动态量化非对称相似关系,提出带有自动阈值调节的动态量化非对称相似关系模型,根据实际数据自动确定其阈值,使之更加灵活和合理.并采用快速排序提高知识约简过程中相容类的计算效率.通过实例验证了该算法处理不完备知识约简的有效性.最后,应用该模型解决了地下空间信息化施工的不完备知识约简问题.
  • 论文
    贾迪1,2,杨金柱1,张一飞2,赵大哲1,于戈2
    2012, 33(2): 285-288.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出一种基于树形聚类匹配的脑肿瘤自动分割方法.为了去除非脑组织对于脑肿瘤定位的影响,首先提出一种新的脑组织提取算法,这种算法无需完整的序列影像,可直接对三维影像数据进行分割.其次对分割后的脑组织影像进行中心定位,建立树形索引匹配结构,采用一种节点匹配算法完成粗分割,最后根据粗分割结果,采用形变模型完成精确分割.算法的特点是无需数据集的训练,能够较为准确的完成脑肿瘤的自动分割,实验结果验证了算法的实用性及可行性.
  • 论文
    吕继东, 赵德安, 姬伟, 郭金亮, 李占坤
    2012, 33(2): 289-292.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对以往采摘机器人多采用封闭集中式控制系统,缺乏通用性、可扩展性差和可靠性低等问题,在研制开发苹果采摘机器人控制系统的工作中,采用了开放分布式结构.根据苹果采摘机器人的机械结构及其运动特点,在硬件上选用工控机、伺服驱动器等设备,通信上采用结构简单、组网容易、造价低廉的RS-485网络,从而保证了系统的软硬件开放性,同时使得系统能够分布式控制,提高了机器人的安全性.此外,对系统的控制算法、软件也进行了设计,其中着重阐述了RS-485网络的通信协议和通讯方式.最后进行了通讯试验和苹果抓取试验,验证了系统的有效性.
  • 论文
    丁维龙1,金胡俊1,徐志福2,郑红波1,陈琦1
    2012, 33(2): 293-297.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出一种模拟番茄植株形变过程的计算机方法.该方法针对番茄的虚拟模型,结合材料力学中弹性杆的变形计算原理,给出计算番茄主茎和叶轴变形的数学公式,并基于阻尼振动原理,模拟了枝茎变形后的形态恢复过程.该方法已经使用OpenGL在NVIDIA GeForce3图形硬件上实现.实验结果显示,利用这种方法可以实现不同拉力和触动力作用下番茄植株形变过程的可视化模拟.
  • 论文
    王孟月,宋彦,戴礼荣
    2012, 33(2): 298-302.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对词袋图像表示模型的语义区分性和描述能力有限的问题,以及由于传统的基于词袋模型的分类方法性能容易受到图像中背景、遮挡等因素影响的问题,本文提出了一种用于图像分类的多视觉短语学习方法.通过构建具有语义区分性和空间相关性的视觉短语取代视觉单词,以改善图像的词袋模型表示的准确性.在此基础上,结合多示例学习思想,提出一种多视觉短语学习方法,使最终的分类模型能反映图像类别的区域特性.在一些标准测试集合如Caltech-101[1]和Scene-15[2]上的实验结果验证了本文所提方法的有效性,分类性能分别相对提高了约9%和7%.
  • 论文
    周菲菲, 龚声蓉,刘纯平
    2012, 33(2): 303-306.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    方向特征是目前手写体识别中最常用和有效的特征之一.为了减少方向值提取过程中带来的误差,对改进的方向特征(MDF)提出了进一步的改进(MMDF),在方向值提取过程中对方向突变条件进行调整,同时引入半方向归一化线段方向并用二维数组来表示方向值.实验证明采用BP神经网络分类器对手写数字进行识别,与MDF相比,MMDF能同时降低拒识率和提高识别精度.
  • 论文
    陈俊超,李刚
    2012, 33(2): 307-310.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    由于传统空间欧氏距离最短法难以解决遮挡问题,提出一种固定场景下抗遮挡的对多个运动目标进行实时检测和跟踪的算法.在分析传统帧差算法的优缺点的基础上对其进行了改进,引入空间滤波和区域填充.介绍了传统空间欧氏距离最短法,分析了它的缺点.用带状态参量的空间欧氏距离最短法对每个视频运动目标质心进行关联,监测每个视频运动对象的运动状态、运动轨迹.通过实验证明,该方法在改进传统欧式距离最短法的基础上,能实时有效得跟踪运动目标.
  • 论文
    郭东,殷保群,黄静
    2012, 33(2): 311-314.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出一种新颖的P2P文件共享系统的动力性学模型.在模型中定义了描述节点之间相互作用关系的状态量.同时,分析了P2P文件共享系统中最重要的算法,如节点选择算法及带宽分配算法等等,最终给出了模型的具体形式.最后,网络实验和仿真证明了此模型能够反映P2P文件共享系统的本质特征,从而为设计高性能P2P网络,改进现有的P2P算法,以及研究P2P系统的稳定性提供一种新颖的方法.
  • 论文
    邬春学,赵献静
    2012, 33(2): 315-318.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在任何类型的网络中,影响实时数据传输的因素无非是传输的延迟和包的丢失.Ad hoc网络拓扑结构的动态变化使得实时业务的服务质量(QoS)更难得到保障.包的丢失不仅会造成包的错误,还会为后继的包的传输带来错误[1].当今适用于Ad hoc网络的路由协议都是针对大规模的Ad hoc网络,并且都趋向于减少路由开销,相应的带来很多影响数据实时性的弊端.本文会分析找出这些弊端的来源并加以改进,提出一个简化的实时DSR协议MRDSR.仿真实验证明,MRDSR降低了传输的丢包率,降低了点到点的延迟.
  • 论文
    刘宴兵,吴涛,先兴平
    2012, 33(2): 319-324.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在无线Mesh网络中,采用合理设计路由度量来优化网络性能是一种常用的方法.本文对已有的典型路由度量进行分析讨论,比较全面的给出了设计无线Mesh网路路由度量应该考虑的重要因素.基于多信道无线Mesh网络的特点,本文提出一个多信道无线Mesh网络路由度量CLIDH,并在此基础上提出一个跨层多信道路由协议CMAODV.仿真结果表明,和已有的路由度量相比较,CLIDH能够充分利用网络资源,使网络性能得到明显改善.
  • 论文
    储慧琳,张兴明
    2012, 33(2): 325-329.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    当前网络流量日趋复杂,给网络管理带来许多困难.为了准确地识别出网络中的各种流量,本文以支持向量机为分类器,以流的统计学特征为分类依据,提出一种组合式特征选择算法,该算法首先快速去除和分类不相关的特征,针对余下的特征,再利用遗传算法引导特征的选择和支持向量机模型参数的寻优,最终获得了最优的特征集和最佳的支持向量机分类模型.经过实验验证,基于该算法的网络流量识别方法在识别P2P流量时能以更少的特征获得更高的分类准确率.
  • 论文
    张炜,彭力,赵龙
    2012, 33(2): 330-333.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    传感器节点的自定位问题是无线传感器网络的重要研究内容之一.为了减小无线传感器网络节点定位中节点测距误差和定位算法自身引入误差的积累对定位精度的影响,建立了基于Aitken迭代公式的适用于无线传感器网络的迭代模型.算法包括两个阶段:第一阶段,利用DV-Hop算法进行粗定位;第二阶段,建立Aitken迭代模型,利用第一阶段的定位结果作为初值,求取定位结果的最优值.研究结果表明,该算法能够有效提高节点的定位精度,对于网络节点密度小、信标节点比例低的情况,算法效果显得非常明显.
  • 论文
    李向丽1,高艳红1,刘竹林2,孙晓林1,王伟锋1
    2012, 33(2): 334-337.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出一种HMIPv6的改进协议PA-HMIPv6.PA-HMIPv6提供接入路由预选择机制,并在接入路由器和移动锚点引入转交地址池.接入路由器利用多重连接特性预先获取切换信息,提前为移动节点进行转交地址配置和重复地址检测操作,在移动节点切换之前完成地址池的初始化和信息更新工作,力求最大程度地减少切换时延.仿真实验表明,PA-HMIPv6协议能够有效缩短切换时延,减少切换过程中的数据包丢失率.
  • 论文
    袁昊,许宗泽
    2012, 33(2): 338-342.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    考虑Ad Hoc网络中事件紧急度,提出一种可以有效改善整体高优先级业务流时延和时延抖动性能的跨层QoS服务质量保障算法.根据时延要求及业务分组距离目的点的跳数信息,评估此业务的紧急度,并在调度传输时充分考虑各个事件的紧急度.在有实时要求的业务发生超时的情况下,通过合适的路由置换方法,改善业务流时延及网络吞吐量.本文重点讨论如何在IEEE802.11e协议基础上实现对指定优先级业务流的服务质量保障.GloMoSim仿真环境下的仿真结果显示该算法与原有IEEE802.11e协议相比,对于高优先级业务,在分组端到端时延、时延抖动以及网络吞吐量方面有较大的改善.
  • 论文
    马向南,陈兵
    2012, 33(2): 343-346.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    HWMP协议是802.11s无线Mesh网络默认使用路由协议,针对HWMP协议缺少负载控制的问题进行改进,形成新的具有动态负载均衡功能的路由协议LB_HWMP.LB_HWMP采用负载路由判据、备用父节点表和备用路由表进行动态负载均衡.仿真结果表明,与AODV和HWMP相比,LB_HWMP有效平衡了全网的负载,提高了网络吞吐量,降低了平均端到端时延.
  • 论文
    李春霞1,詹永照1,王良民1,2
    2012, 33(2): 347-352.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    随着无线传感器网络(WSN)理论和技术的发展,基于位置的应用(如基于位置的存取控制)已成为一种新的需求.然而已有的定位系统没有考虑到特定环境下攻击者利用放大器、定向天线或者通过被俘获节点进行攻击的情形.本文利用超宽带技术(UWB)的优点,提出一种基于UWB和移动信标点的安全定位方法,更适合WSN中基于位置估计的应用需求.该方法首先定位出网络中用户节点的位置,然后进行位置验证,去除恶意信标点,最终实现准确定位.通过实验表明了该方法的有效性.
  • 论文
    张敬,许宗泽
    2012, 33(2): 353-356.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在DSR(Dynamic Source Routing)路由协议的基础上,提出一种基于节点供电方式和剩余能量的异构无线Adhoc网络跨层路由协议DREADSR(Device/Residual Energy Aware Dynamic Source Routing).在存在外部资源供电和电池供电两种节点的异构网络中,该协议在选择路由时优先选择外部供电节点和最小剩余能量大的路由,避免了一些剩余能量小的节点因为过度使用导致过早的死亡而影响整个网络的性能,从而提高了整个网络的生存时间.另外,本文在IEEE802.11的基础上提出了一种改进的MAC协议,有效地解决了由于节点发射功率不同导致的单向链路问题.GloMoSim环境下的仿真实验结果表明,在异构网络环境下,与DSR路由协议相比,DREADSR协议能有效提高网络生存时间.
  • 论文
    杨波1, 2
    2012, 33(2): 357-364.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    目前得到广泛认可的域间路由安全机制(例如S-BGP)不能鉴别某条路由通告是正常的域间路径宣告,还是对于已撤销路径的恶意重放.这种情况会严重威胁域间路由安全.分析这种安全漏洞并提出相应的弥补方法.该方法为路由通告加上序列号,融合了带有消息恢复功能的自证明签名方案,能够在不增加计算量的情况下防止序列号被篡改.在发言人路由器接收验证路由通告以及撤销消息时,该方法通过这些序列号的缓存和对比判断机制,防范前面所述的重放攻击,为域间路径的安全宣告和撤销提供保障,同时在不需要密钥托管的情况下消除了繁重的证书存储和管理任务.
  • 论文
    刘思夏1,杨路明1,谢东1,2
    2012, 33(2): 365-369.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为了能更高效的接收源点的信息,针对随机线性网络编码,提出一种新型的差错控制方法.采用三维双向斜行列校验码进行检错,丢弃错误的数据包不让其参与编码.宿点通过反馈信道告知源点其解码情况,存在不能解码成功的情况,源点就根据反馈信息中各种因素构造重传的分组成分.当存在多次重传失败时,源点就稍微降低组播率.通过分析和仿真测试表明,该方法检错能力强,信息传输效率高.
  • 论文
    张明德1,郑雪峰1,吕述望2
    2012, 33(2): 370-375.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为提高证书依赖方(Relying Party)对证书持有者(Subscriber)信任评价的准确度,提出一种改进的PKI可信度模型.通过引入密钥安全期和优化不可信因子,严格区分证书可信度和私钥可信度,提出对应的计算公式,并给出组合密钥可信度和平均密钥可信度的计算方法.针对单级CA信任模型,推导出平均证书可信度和平均私钥可信度.该模型将影响密钥可信度的多个关键因素统一体现在单个计算公式中,不仅能够适应多种PKI信任模型,同时为提高证书持有者信任评价的准确度提供计算依据.
  • 论文
    周翰逊1,郭薇2,王妍1,贾大宇2
    2012, 33(2): 376-379.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    由于良性蠕虫可以主动免疫主机,因此使用良性蠕虫来对抗蠕虫传播正成为一种新的应急响应技术.提出了混合的结构化良性蠕虫,设计了它的工作机制以及部署情况.基于传染病模型原理,用数学模型刻画了混合的结构化良性蠕虫对抗蠕虫的传播过程.最后,对于该模型进行了仿真试验.通过仿真结果,总结了影响混合的结构化良性蠕虫对抗蠕虫传播的四个因素:探针探测和探针的蠕虫检测的响应时间,探针的蠕虫检测率和探测率.混合的结构化良性蠕虫对抗蠕虫的传播模型可以使得人们更好地理解良性蠕虫对抗蠕虫的效果.
  • 论文
    王志伟1,2,张伟1,2
    2012, 33(2): 380-382.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    弹性泄露密码学是当前密码学研究的热点.给出一个弹性泄露签名的定义,该定义是标准签名定义的一个扩展.构造一个有界恢复模型下的弹性泄露签名方案,并在标准模型下证明了它的安全性.本文的方案基于双线性配对的弹性泄露签名,结合了一次签名和Waters签名的特,通过改进,长度可大大缩短,克服了一次签名签名长度过长的缺点,具有较好的实用价值.
  • 论文
    王涛春,罗永龙,左开中,杜安红,接标
    2012, 33(2): 383-387.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    隐私保护的计算几何问题指的是参与合作的各方在不向其余各方泄漏自己的私有输入数据的情况下,共同合作完成某些计算任务,秘密判定多边形相似是一个特殊的保护隐私的计算几何问题,在很多领域有着重要的应用.秘密判定两组数据是否对应成比例和对应相等对秘密比较多边形相似起着重要的作用.本文在比较相等协议和点积协议的基础上设计了相应的判定协议,分析了协议的正确性、安全性及复杂性,解决了秘密判定多边形相似问题,取得很好的结果.
  • 论文
    付东来,陈够喜,杨秋翔
    2012, 33(2): 388-391.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为了提高隐写算法的嵌入容量及安全强度针对单载体隐写算法不足,提出利用多载体进行嵌入的隐秘通信方法给出了理论证明.算法在扩展"囚犯问题"模型的基础上,给出了多载体隐写系统的形式化定义以及利用多载体隐写机制进行隐蔽通信的基本模型,详细讨论了基于多载体进行秘密信息嵌入与检出的具体逻辑.结果表明,与单载体隐写算法相比,多载体隐写算法具有较好的安全性.
  • 论文
    陈钢1,韦刚1,李国波1,裴颂文2,吴百锋1
    2012, 33(2): 392-398.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为提高生物序列比对算法的性能和效率,提出一种异构处理平台下可移植的大规模生物序列比对算法及其优化方法.通过改变原有Smith-Waterman算法的计算流程和数据依赖关系,增加序列比对的并行性;通过改变存储器布局后使用向量数据类型,提高全局存储器的带宽利用率;通过增加偏移量改变存储器模块的映射方式,避免模块访问冲突,提高局部存储器的使用效率.实验结果表明,优化后的生物序列比对性能提升了近100倍.
  • 论文
    邓春华1,安虹1,2,路璐1,王耀彬1
    2012, 33(2): 399-403.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    谓词执行能使分片式处理器充分利用众多的执行单元,开发指令级并行性.但因此形成的超块也使得分支误预测代价增大,所以提高分支预测器的性能至关重要.本文提出一种基于剖析信息决策的谓词执行技术,该技术利用剖析信息对谓词执行前后的执行周期进行估算,从而对分支的谓词执行进行决策.该技术使分支预测器的命中率提高了0.68%~3.50%,使系统性能提高了1.67%~8.33%.同时,利用select指令表示谓词化指令也消除了重命名阶段寄存器多定义问题.
  • 论文
    谭一鸣1,2,曾国荪1,2,郝水侠1,2
    2012, 33(2): 404-408.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    异构重构计算是目前高性能计算的研究热点.由于应用任务的异构性,以及体系结构的可重构性,导致异构重构计算的性能分析非常困难,现有的并行计算性能分析方法不再适用.本文提出一种基于应用任务调度的性能分析方法,该方法以异构重构计算系统模型和应用任务模型为基础,利用异构匹配、重构耦合矩阵,实现应用任务和处理部件的优化选择和耦合匹配,通过调度算法求出应用任务在异构重构计算系统中的完成时间,并进行了实例分析.
  • 论文
    刘轶 ,吴名瑜, 张翠, 王永会
    2012, 33(2): 409-413.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对事务存储技术研究中的模拟实验问题,实现了一种专门用于硬件事务存储系统的模拟环境,该模拟环境采用执行驱动模拟方式,支持全系统模拟,利用系统结构模拟器Simics和多核扩展包GEMS实现多核处理器相关部件的功能和性能模拟,在此基础上扩展实现硬件事务存储系统各部件的建模和模拟,以模块化的方法支持多种事务存储系统的模拟实验和性能评价.论文在分析事务存储和系统结构模拟技术的基础上,讨论了事务存储系统模拟环境的设计思路和方案,给出了该模拟环境的组成结构,并通过一种目标事务存储系统结构和一组测试程序对模拟环境进行了实验测试.
  • 论文
    徐广斌1,2,武剑锋1,郑刚1,黄寅飞1,吴韶平1,王泊1,白硕1
    2012, 33(2): 414-418.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对现有方法冗余度高和文件分段造成带宽浪费、延迟大的问题,提出一种基于扩展FAST的高速证券交易接口文件交换方法FastFile.将接口文件记录映射为消息进行编码并组成段传输,使接收方即便只收到部分分段,也可解析出所含记录,同时利用扩展FAST高效的编码有效降低数据冗余度.实现了扩展FAST及FastFile,实验比较了FastFile与常用接口文件格式.实验表明FastFile处理数据的粒度更小,可降低重传,数据格式比现有的接口文件格式小70%以上,验证了新方法的可行性与有效性.
  • 论文
    周全1,吴刚1,王秋平2 ,石春1 ,佟亚军3
    2012, 33(2): 419-423.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    介绍一种Offner结构高分辨率推扫式成像光谱仪的设计,包括光学结构设计、数据获取与存储系统配置、基于数据库的光谱图像拼接软件设计以及成像光谱仪波长标定和辐射标定方法.其次介绍成像光谱仪在青藏高原陆面敏感因子航空遥感实验中的使用情况,包括实验概况、成像光谱仪及其采集系统在机舱内的安装调试、光谱仪的航拍参数以及航带光谱图像的拼接处理,最终获取到高分辨率的高光谱图像立方体.仪器的首次航拍飞行实验取得预期成果.
  • 论文
    张学渊1,曹红兵2,李宝清1,刘海涛2
    2012, 33(2): 424-427.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    着重研究在复杂的城市背景噪声环境下,对入侵人员脚步信号的提取与检测.通过对脚步信号及城市背景噪声的频谱特征分析,提出一种基于震动信号的人员脚步信号提取方法,该方法通过小波包分解(WPD)结合局域判别基(LDB)划分信号特征频带,有效地分离了城市中的过往车辆对入侵人员脚步信号的干扰并做出准确提取,仿真与实验结果证明,与常用的脚步识别算法相比,该算法鲁棒性,普适性及抗干扰性更好,符合实际工程应用需求.
  • 论文
    刘永胜1,2,韩卫光2
    2012, 33(2): 428-432.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    通过双机间的心跳通信,为基于DeviceNet现场总线的嵌入式控制器构建一个双机热备系统.文中详细阐述了控制器的双机热备策略,并对双机热备中的身份识别、备用机切入、双机扫描周期的同步、故障机切出和双机间通信做了详细介绍,最后对热备份软件进行了任务划分,给出了各任务的协同关系.实验测试中,双机运行稳定,能够发现故障快速实现双机切换,故障机恢复后能够重新切入组成双机系统.