作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

2014年, 第40卷, 第2期 刊出日期:2014-02-15
  

  • 全选
    |
    目次
  • 计算机工程. 2014, 40(2): 0-0.
    摘要 ( ) PDF全文 ( )   可视化   收藏
  • 专栏
  • 臧冬松,霍菁,梁栋,孙功星
    计算机工程. 2014, 40(2): 1-5. https://doi.org/10.3969/j.issn.1000-3428.2014.02.001
    摘要 ( ) PDF全文 ( )   可视化   收藏

    将MapReduce思想引入到高能物理数据分析中,提出一个基于Hadoop框架的高能物理数据分析系统。通过建立事例的TAG信息数据库,将需要进一步分析的事例数减少2~3个数量级,从而减轻I/O压力,提高分析作业的效率。利用基于TAG信息的事例预筛选模型以及事例分析的MapReduce模型,设计适用于ROOT框架的数据拆分、事例读取、结果合并等MapReduce类库。在北京正负电子对撞机实验上进行系统实现后,将其应用于一个8节点实验集群上进行测试,结果表明,该系统可使4×106个事例的分析时间缩短23%,当增加节点个数时,每秒钟能够并发分析的事例数与集群的节点数基本呈正比,说明事例分析集群具有良好的扩展性。

  • 曾威龙,奚宏生,朱里越,胡晗
    计算机工程. 2014, 40(2): 6-10. https://doi.org/10.3969/j.issn.1000-3428.2014.02.0002
    摘要 ( ) PDF全文 ( )   可视化   收藏

    为能在保证服务质量的前提下提高数据中心能源利用率,提出一种基于用户访问量预测的数据中心虚拟机自适应节能机制,根据自适应Holt-Winters(AHW)预测法研究互联网用户访问行为的周期性,使其能根据用户访问量自适应地调整虚拟机数量以提高虚拟机的利用率,达到减少数据中心能耗的目的。仿真实验结果显示,AHW预测法最高平均绝对百分误差为22.46%,基于AHW预测法的数据中心虚拟机利用率为97.88%,相比未采用节能机制时提高了37.19%,从而证明该节能机制对周期性用户访问进行预测时具有较好的统计性能和较强的鲁棒性,能更好地满足数据中心节能的需求。

  • 杨杰,蔡超,孙希霞
    计算机工程. 2014, 40(2): 11-15. https://doi.org/10.3969/j.issn.1000-3428.2014.02.003
    摘要 ( ) PDF全文 ( )   可视化   收藏

    传统A*算法在进行具有端点方向约束的航迹规划时,由于缺乏方向引导而导致效率低下。针对该问题,提出一种动态引导A*算法。在原有A*算法的基础上引入动态变化的引导点,给出引导点的设置策略,构造新的代价函数,设计引导点的切换方法。实验结果表明,在进行具有端点方向约束的航迹规划时,通过设置合适的引导点参数,该方法可以规划出从起始点的特定方向出发、并沿指定方向到达目标的飞行航迹,且与传统A*算法相比,其规划速度能够提高10倍以上。

  • 彭雅丽,刘嘉遥,范玮,尹红
    计算机工程. 2014, 40(2): 16-20. https://doi.org/10.3969/j.issn.1000-3428.2014.02.004
    摘要 ( ) PDF全文 ( )   可视化   收藏

    针对新型多层移动传感网络结构下的传输移动控制问题,提出一种三角网格轨迹模型。在三角网格模型下设计F-connect移动策略,给出动态二锚节点定位算法triangle-grid,绘制区域三角网格节点分布图,结合EHCC-communication性质控制F-collect移动以收集S节点的数据信息。模拟实验结果表明,该模型能较好地解决随机移动节点带来的网络不稳定、信息丢失率高等问题,且适用于大规模的无线传感网络,只需布置少量F-collect节点就能获得较高的网络覆盖率和较低的数据丢失率。

  • 吴强,范建华,阚宝强,卢紫毅
    计算机工程. 2014, 40(2): 21-25,30. https://doi.org/10.3969/j.issn.1000-3428.2014.02.005
    摘要 ( ) PDF全文 ( )   可视化   收藏

    针对基于无线Mesh网络编码的机会路由协议的节点转发冗余问题,从线性空间的角度对该类协议的信息传输过程进行建模与分析,提出一种基于动态冗余控制的无线Mesh网络编码机会路由协议。该协议利用零空间确认技术估计各节点的更新信息总量,根据更新总量动态调整节点转发冗余,通过引入转发优先级调度机制,避免不同的转发节点重复转发来自于相同线性空间的编码包。仿真实验结果显示,与经典的MORE协议相比,该协议能提高30%~100%的网络吞吐量,同时降低20%~45%的归一化开销。

  • 何玉智,冯冬芹,朱予辰
    计算机工程. 2014, 40(2): 26-30. https://doi.org/10.3969/j.issn.1000-3428.2014.02.006
    摘要 ( ) PDF全文 ( )   可视化   收藏

    为实现多媒体数据在EPA中的确定性传输,在研究EPA通信调度原理的基础上,分析多媒体数据在EPA通信宏周期传输的可行性以及分片重组原理,设计多媒体数据在周期时间片的传输调度模型,以及基于链表插入方法的分片数据报重组算法。针对目前多数多媒体设备未集成EPA协议栈,无法直接参与EPA现场层调度的问题,搭建接入多媒体数据的EPA网络测试平台。实验结果表明,在不干扰控制数据传输的情况下,基于EPA的多媒体数据传输延时为30 ms~36 ms,满足可接受延时小于130 ms的要求,延时抖动在4 ms以内,图像清晰流畅,从而验证了将多媒体数据接入EPA网络确定性传输的可行性。

  • 先进计算与数据处理
  • 平宇,向阳,张波,黄寅飞
    计算机工程. 2014, 40(2): 31-34,38. https://doi.org/10.3969/j.issn.1000-3428.2014.02.007
    摘要 ( ) PDF全文 ( )   可视化   收藏
    分布式网络爬虫的广泛应用使得搜索引擎的数据规模呈几何式增长,面对数以TB甚至PB量级的数据,单机模式下的PageRank算法由于CPU、I/O和内存的开销过大导致效率低下。为此,提出一种基于MapReduce框架的并行PageRank算法。在算法的一次迭代过程中,利用Map函数对网页拓扑信息文件进行解析,使用Reduce函数计算网页得分,从而并行化PageRank算法的中间迭代过程。通过计算全局网页得分控制迭代次数,得到较精确的网页排序结果。实验结果表明,该算法在保持原有单机PageRank算法整体网页排序精度的基础上,具有较好的集群性能和较快的执行速度。
  • 汪泉,文中华,伍选
    计算机工程. 2014, 40(2): 35-38. https://doi.org/10.3969/j.issn.1000-3428.2014.02.008
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在求强规划解时,通过状态分层可以大幅减少问题规模,提高搜索效率,并能得到规划路径较短的强规划解。但现有分层算法本身有一定的复杂度,在状态较多时开销较大。为此,通过改进已有分层算法,设计一种适用于求强规划解的快速状态分层算法。采用链式双向图结构保存数据,在分层时修改已遍历的状态动作序偶,并根据修改结果直接进行分层判断,使得分层时只需要判断前一层状态而不是所有已分层状态,避免对非必要状态转移的搜索以及对必要状态转移的重复搜索。实验结果表明,该算法的分层速度优于已有的矩阵乘分层算法。
  • 林蕾,孙涌,李卫东,邓子艳,张晓梅,Nicholson Caitriana
    计算机工程. 2014, 40(2): 39-43,47. https://doi.org/10.3969/j.issn.1000-3428.2014.02.009
    摘要 ( ) PDF全文 ( )   可视化   收藏
    北京谱仪III(BESIII)高能物理实验产生PB量级的实验数据,海量数据的处理和分析对计算资源提出较大挑战。分布式计算是整合异构计算资源和解决计算资源短缺的可行方案。根据BESIII实验需求对分布式计算所需的元数据管理进行研究,提出数据文件的元数据模型,利用中间件软件DIRAC的目录服务设计并实现元数据管理系统。该系统利用树型目录结构、物理文件名动态构建和虚拟数据集等技术,组织和存储各种类型的元数据,实现查询请求、逻辑文件以及物理文件之间的映射,使用数字证书和开放安全套接层协议保证系统安全。将该系统应用于实验数据分析和处理中,测试结果表明,当并发用户访问量为300时,查询时间仅为0.3 s,证明该系统性能较好,可以满足BESIII实验的应用需要。
  • 孙立斌,陈闳中,邓蓉
    计算机工程. 2014, 40(2): 44-47. https://doi.org/10.3969/j.issn.1000-3428.2014.02.010
    摘要 ( ) PDF全文 ( )   可视化   收藏
    任务调度是网格领域的一个核心问题。针对网格资源及任务高度异构环境下的负载失衡问题,设计一种负载均衡的在线任务调度算法BOS。BOS算法在进行任务调度时,综合考虑任务到达频率、任务计算量、任务的完成时刻以及任务开始执行时刻等因素。任务周转时间由执行时间和等待时间2个部分组成。对于长任务,执行时间占更大比重。而对于短任务,等待时间的影响更大。算法根据长任务和短任务的各自特点,引入适应度的概念来指导调度。实验结果表明,与MCT算法相比,BOS算法的调度跨度、任务周转时间、响应比更小,资源利用率更高,负载也更加均衡。
  • 付征叶,凡高娟,王俊岭
    计算机工程. 2014, 40(2): 48-51,57. https://doi.org/10.3969/j.issn.1000-3428.2014.02.011
    摘要 ( ) PDF全文 ( )   可视化   收藏
    对集群环境下大规模遥感影像并行计算中任务分配效率低、负载不均衡的问题进行分析讨论,在此基础上建立多机任务分配模型,提出一种基于计算节点优先级的任务分配算法。该算法综合考虑计算节点的负载和性能,在任务分配时实时地收集各个节点的信息,计算出各个计算节点的优先级,按照优先级的高低分配任务,保证在满足集群间负载均衡的前提下能合理地将任务分配到计算节点。实验结果表明,该算法能快速实时地进行任务分配,任务的分布更加合理和均匀,并且当任务个数增多时,算法的执行效率要比轮转调度算法高出约2倍。
  • 体系结构与软件技术
  • 王姝音,印桂生,湛浩旻,刘杰
    计算机工程. 2014, 40(2): 52-57. https://doi.org/10.3969/j.issn.1000-3428.2014.02.012
    摘要 ( ) PDF全文 ( )   可视化   收藏
    现有的网构软件系统信任模型缺乏对软件实体信任协作过程的分析,以及对信任协作结果的有效预测。为此,运用贝叶斯博弈对软件实体的信任协作关系进行研究。阐述网构软件系统中存在的安全问题,给出网构软件的演化模型,在此基础上,采用贝叶斯博弈理论对系统中软件实体的信任协作过程进行建模。针对博弈过程中信息不完整的问题,通过引入自然选择的概率,利用Harsanyi转换得到更符合实际情况的贝叶斯纳什均衡解,对信任协作结果进行有效预测。实验结果表明,信任协作结果与软件实体与自然选择概率的判断有关,通过调整博弈模型中的相关参数可以促进软件实体有效地进行协作。
  • 冯加军,王晓琳,田青
    计算机工程. 2014, 40(2): 58-61. https://doi.org/10.3969/j.issn.1000-3428.2014.02.013
    摘要 ( ) PDF全文 ( )   可视化   收藏
    分布式文本检索系统难以兼顾高效率的数据检索和低成本的索引维护。为此,提出一种基于计数型布隆过滤器的文本检索模型CBFTRM。该模型将物理节点分为数据节点和索引节点,分别采用结构化P2P进行网络覆盖。每个数据节点负责存储文档数据并维护与之相应的倒排索引,同时通过倒排索引中的关键词集合计算出计数型布隆过滤器值,发送给相应的索引节点。每个索引节点建立一棵以部分数据节点的特征信息(包括过滤器值)为叶节点、以过滤器值运算结果为内部节点的搜索树,并在叶节点发生变化时对搜索树进行维护。仿真实验结果表明,该模型文档定位快,索引维护通信量小,而且具有较高的查准率。
  • 邓朝日,张玉萍,陈雄,梁辰
    计算机工程. 2014, 40(2): 62-66. https://doi.org/10.3969/j.issn.1000-3428.2014.02.014
    摘要 ( ) PDF全文 ( )   可视化   收藏
    通过基于包含的指针分析在线优化技术中的纵向传播方法,改进基于调用图上下文敏感指针分析的环消除技术,提出一种上下文敏感的纵向传播算法。初始化约束图,在约束图中进行环探测及其合并,执行差异传播并循环处理复杂约束,直到一次调用纵向传播例程后图中所有结点指向集不变为止,从而得到图中各结点到其指向集的映射。应用CIL工具的实验结果表明,该算法能有效地对源程序进行上下文敏感的指针分析,与环消除技术相比,在分析大规模程序时具有更高的时间效率。
  • 孙大群,严义,邬惠峰
    计算机工程. 2014, 40(2): 67-70,76. https://doi.org/10.3969/j.issn.1000-3428.2014.02.015
    摘要 ( ) PDF全文 ( )   可视化   收藏
    程序依赖关系分析在对程序进行测试、维护、分析和优化过程中起着重要作用。梯形图(LD)程序中数据定义和数据引用会导致梯级之间存在数据依赖关系和潜在并行性。针对该问题,通过构造数据依赖关系有向图构建数据依赖关系,提取LD图梯级间的数据流和数据依赖信息,并从数据依赖关系有向图中获得LD图并行梯级。实验结果表明,通过并行提取可使LD图的扫描周期缩短至原来的20%~50%。
  • 张旭东,孙志明,刘亚宁,单栋栋,闫宏飞
    计算机工程. 2014, 40(2): 71-76. https://doi.org/10.3969/j.issn.1000-3428.2014.02.016
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在64位体系结构的CPU中,字长从32位扩展到64位,处理器每次可以处理的数据也增加到64位。这对搜索引擎使用的核心数据结构——倒排索引的压缩与解压缩带来一定的影响。针对当前32位整数字对齐压缩算法Simple不适用于64位系统的问题,对其进行改进,并提出3种基于64位的字对齐压缩算法,即SimpleX64-16、SimpleX64-32和SimpleX64-64。3种算法都采用多种压缩模式,并对每个模式进行压缩空间的优化。在64位机器上GOV2和ClueWeb09B数据集的倒排索引实验结果表明,与传统的基于32位字对齐的压缩算法相比,3种基于64位字对齐的算法在解压速度方面最多提高14.5%,在压缩率方面最多提高2.5%。
  • 陈磊,邵培南,胡国卿,李翔,李建军
    计算机工程. 2014, 40(2): 77-80,85. https://doi.org/10.3969/j.issn.1000-3428.2014.02.017
    摘要 ( ) PDF全文 ( )   可视化   收藏
    由于综合化计算机系统的高复杂度以及多样性,如何仿真综合化计算机系统并在此基础上部署测试工作是嵌入式武器装备领域亟需解决的问题。为此,提出一种面向综合化计算机系统的全数字仿真测试平台,利用模型驱动测试模块设计测试用例生成测试脚本,通过仿真系统中的测试控制台与测试代理实现测试工作的调度与控制,使得测试命令在仿真平台中执行,达到在仿真平台上测试被测程序的目的。通过给出针对各种测试类型的测试策略,证明该仿真测试平台的有效性。
  • 汪玲,黄炎,袁光辉
    计算机工程. 2014, 40(2): 81-85. https://doi.org/10.3969/j.issn.1000-3428.2014.02.018
    摘要 ( ) PDF全文 ( )   可视化   收藏
    随着工艺的持续进步,多核处理器集成了越来越多的核以及片上缓存系统,因此利用非一致缓存架构(NUCA)应对片上多核处理器的缓存系统中逐渐增大的线延迟。高效的缓存块迁移策略对整个缓存系统至关重要。当前动态非一致缓存架构(D-NUCA)中的缓存块迁移策略未考虑缓存块的历史访问信息,导致缓存块在不同的bank之间抖动从而增加缓存块的访问延迟。为此,提出一种重用感知的缓存块迁移(RABM)策略,采用缓存块的历史迁移信息来预测将来的缓存块迁移,从而提升D-NUCA的性能以及降低整个缓存系统的功耗。基于PARSEC基准测试程序的全系统仿真结果显示,与D-NUCA相比,基于RABM的D-NUCA可以使每时钟周期指令数平均提高9.6%,片上缓存系统功耗降低14%。
  • 万良
    计算机工程. 2014, 40(2): 86-91,96. https://doi.org/10.3969/j.issn.1000-3428.2014.02.019
    摘要 ( ) PDF全文 ( )   可视化   收藏
    并行程序验证的复杂性在于执行流程的不确定性以及由此导致的执行规模变大,使得验证的内容和目标之间的关系不明确。为解决该问题,提出一种基于隔离逻辑的并行程序可靠性验证方法。通过变量的执行关系图,描述变量相关的语句及执行关系,将所需验证的程序性质逻辑式转换为变量并行语句序列的逻辑组合式,使得性质表达式与并发程序的语句相关联。根据逻辑组合式确定语句执行序列和前后件逻辑表达式,基于并发隔离逻辑的公理系统对语句执行序列进行验证,并根据验证结果对并发程序进行修改和完善。通过对银行柜台业务办理的功能模块验证结果表明该方法是有效的。
  • 移动互联与通信技术
  • 赵敏华,李莉,呼娜
    计算机工程. 2014, 40(2): 92-96. https://doi.org/10.3969/j.issn.1000-3428.2014.02.020
    摘要 ( ) PDF全文 ( )   可视化   收藏
    使用传统的有线水质监测系统进行水环境污染检测时,存在监测点数量多、监测时间长等问题。为此,提出一种基于无线传感器网络的水质监测系统。通过无线传感器节点对被监测水域进行水质参数的数据采集,将采集到的数据经过Zigbee网络进行汇总及处理,并经过GPRS网络及时地远程传送给监管部门,从而实现对河流水质情况的实时、有效的监督和管理。对水质监测系统的软硬件电路设计进行介绍,并实现对系统的软硬件连调。实验结果证明,该系统能够满足组网要求,可较好地应用于水质监测领域。
  • 吕军,孙微涛,李彤
    计算机工程. 2014, 40(2): 97-101. https://doi.org/10.3969/j.issn.1000-3428.2014.02.021
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在栅格状分簇路由协议(GROUP)中,存在簇头分布不均匀、主汇聚节点选择不明确、数据传输不沿着最佳路径传输等缺点。为此,设计一种基于距离比较趋零法的栅格分簇无线传感器网络路由协议。采用能量优先的簇头轮换机制,实现数据的可靠传输和簇内节点功耗的均匀分布,并完成对GROUP协议和改进的栅格分簇路由协议的仿真。综合对比分析结果表明,该协议在复杂度、构造栅格分簇的能量开销和路由延时方面明显优于GROUP协议,并且在大规模节点的情况下性能更优。
  • 南敬昌,曲昀,高明明
    计算机工程. 2014, 40(2): 102-105,109. https://doi.org/10.3969/j.issn.1000-3428.2014.02.022
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对宽带功率放大器的强记忆效应特性,提出一种功放建模和数字预失真方法——PGSC模型。利用广义记忆多项式(GMP)、特定交叉项(SCT)及记忆时刻信号交叉项(CIMT)3个基函数来构造功放行为模型及数字预失真器,并搭建实际测试平台对模型的精度及线性化效果进行验证。测试结果表明,与PMEC方法相比,PGSC方法建模时的归一化均方误差减少了2.1 dB,数字预失真时输出信号的三阶邻信道功率比降低了4.94/2.03 dB;与GMP方法相比,PGSC方法仅利用73%的系数即可得到更高的模型精度和更好的线性化效果。
  • 李鹏飞,刘萍,易廷,袁红伟
    计算机工程. 2014, 40(2): 106-109. https://doi.org/10.3969/j.issn.1000-3428.2014.02.023
    摘要 ( ) PDF全文 ( )   可视化   收藏
    标记概率计算作为概率包标记技术的关键内容,对算法的收敛性、最弱链、节点负担等方面具有重要影响。为此,分析现有算法的优缺点,结合无线传感器网络(WSN)的分簇结构,提出一种基于包标记的层次式混合概率包标记算法。扩大上下游节点的相对距离差,从而拉大节点标记概率之间的差距,增加上游节点标记的到达概率,在降低节点负担和算法复杂度的同时,提高算法收敛性。分析结果表明,该算法在收敛性、最弱链方面优于基本包标记法,在节点计算与存储负担方面优于自适应包标记法,可实现WSN资源约束条件下的整体优化。
  • 杜莹,程普
    计算机工程. 2014, 40(2): 110-113,118. https://doi.org/10.3969/j.issn.1000-3428.2014.02.024
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对大规模无线传感器网络(WSN)中故障检测准确率降低,并产生较大通信负载的问题,根据传感器节点的时空相关性特点,提出一种基于簇的分布式传感器故障检测算法。通过邻居节点间的数据交换和互相测试检测簇首节点,并以正常簇首节点作为参照诊断故障节点。性能分析与实验结果表明,在大规模WSN中,该算法具有良好的故障检测能力和较低的通信负载,在邻居节点数较少、节点故障率较高的情况下,能达到98%以上的故障检测准确率,并保持较低的能耗水平。
  • 林正红,江虹,张娟,徐冠军
    计算机工程. 2014, 40(2): 114-118. https://doi.org/10.3969/j.issn.1000-3428.2014.02.025
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在功率受限的机会频谱接入(OSA)研究中,大多使用完全可观测马尔可夫决策过程(MDP)对环境建模,以提高物理层或介质访问控制(MAC)层指标,但由于感知设备的限制,无法保证用户对环境完全感知。为解决该问题,提出一种基于部分可观测马尔可夫决策过程(POMDP)与Sarsa(λ)的跨层OSA优化设计方案。结合MAC层和物理层,采用POMDP对功率受限且有感知误差的次用户频谱感知和接入过程进行建模,并将其转换为信念状态MDP(BMDP),使用Sarsa(λ)算法对其进行求解。仿真结果表明,在功率受限条件下,该Sarsa(λ)-BMDP方案的有效传输容量、吞吐量和频谱利用率分别比完全可观测Q-MDP方案低9%、7%和3%左右,其误比特率比基于点的值迭代PBVI-POMDP方案低20%左右,比Q-MDP方案高16%左右。
  • 施滔滔,马永征
    计算机工程. 2014, 40(2): 119-122,133. https://doi.org/10.3969/j.issn.1000-3428.2014.02.026
    摘要 ( ) PDF全文 ( )   可视化   收藏
    移动科研在线是协同工作环境套件Duckling的应用之一,但由于移动计算环境存在低带宽、长延迟和频繁断接等问题,当多个用户对同一数据进行操作时容易引发冲突,因此冲突处理和数据同步是该应用的关键问题。为此,提出一种基于冲突解决的数据同步策略。给出数据同步的总体框架和策略,分析冲突处理流程,根据冲突发生的场景,结合用户分类和优先级建立消息推送模型。以移动科研在线中的团队通讯录为例在Android平台上进行原型实现,结果显示,该策略可有效节约网络带宽,提高同步效率,具有良好的用户体验。
  • 曹龙,赵杭生,鲍丽娜,张建照,赵小龙
    计算机工程. 2014, 40(2): 123-127,139. https://doi.org/10.3969/j.issn.1000-3428.2014.02.027
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在认知无线电网络中,恶意用户会占用授权频段,模仿主用户的信号特征发送信号,导致其他认知用户误认为主用户存在。针对该问题,提出一种基于辅助节点的安全感知机制,在网络中部署若干辅助节点,利用链路特征和加密机制对主用户的活动情况进行识别。设计适用于该机制的融合判决算法,不对授权网络做任何形式的改动即能有效识别恶意用户,并在融合时采用信任节点的感知数据,从而提高融合结果的鲁棒性。仿真结果表明,与K秩、And和Or算法相比,在恶意环境下该算法具有较好的检测性能。
  • 安全技术
  • 郭涛,陆佩忠
    计算机工程. 2014, 40(2): 128-133. https://doi.org/10.3969/j.issn.1000-3428.2014.02.028
    摘要 ( ) PDF全文 ( )   可视化   收藏
    线性递归序列的容错综合问题在流密码分析领域具有重要的理论分析与应用价值。利用伽罗华域上2个变元多项式 的齐次理想刻画齐次关键方程的解空间,通过齐次关键方程解决线性递归序列综合问题不但具有可行性,而且具有某些容错性质。为此,根据二元多项式齐次理想Gr?bner基算法,提出一种求解齐次关键方程的快速算法,并给出一个定理来论述算法实现序列综合的充分条件。通过实验仿真对该算法在不同的序列复杂度和误码率下的容错性能进行分析,结果表明,该算法的成功率与序列复杂度呈线性关系,在误码率为10–3的情况下,对于序列复杂度为65、序列长度为1 000的序列,成功率可达86.6%以上。
  • 王永涛,宋璟,贺强,刘照辉
    计算机工程. 2014, 40(2): 134-139. https://doi.org/10.3969/j.issn.1000-3428.2014.02.029
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在基于属性加密方案的基础上,提出一个基于属性的密钥协商协议。讨论基于属性的密钥协商协议的特性及可能的应用背景,其具有可实现模糊鉴别的特性,所实现的密钥策略为访问树结构。分析协议的安全属性并给出安全性证明,结果表明, 与已有的协议相比,该协议可实现较复杂的访问结构,同时在标准模型下,基于判定双线形Diffie-Hellman假定证明了协议的安全性。
  • 刘松,果乃福,谢帆,张丽,李淼
    计算机工程. 2014, 40(2): 140-143,147. https://doi.org/10.3969/j.issn.1000-3428.2014.02.030
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对多数口令密钥协商(PAKE)协议不具备双向认证功能的问题,基于通用可组合(UC)模型,提出一种UC安全的双向口令认证密钥协商(MPAKE)协议。定义具有双向认证功能的PAKE协议理想函数,描述实体之间的双向认证关系,并利用联合状态UC模型构造实现该理想函数的协议,使协议实体之间可以使用共享参数。该协议基于口令实现了双向认证,并能够协商出会话密钥。通过构造仿真器及其执行的操作分析MPAKE的不可区分性,从而证明该协议是UC安全的,并且结构简单,可保证在任意多方环境中并行运行时的安全。
  • 吴名强,李薇,朱婷婷,胡伟文
    计算机工程. 2014, 40(2): 144-147. https://doi.org/10.3969/j.issn.1000-3428.2014.02.031
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对JPEG隐写术检测问题,提出一种基于DCT系数分布模型的通用隐写分析方法。根据DCT系数统计分布规律,建立双参数对称?稳态模型,并将模型参数估计问题转化为离散的函数参数优化问题,利用改进的遗传算法进行求解。提取分布模型的参数作为隐写分析的特征,并运用图像校准技术进行校准以提高特征的敏感性。设计与特征相匹配的、具有线性阶计算复杂度的单类分类器进行隐写判别。实验结果表明,该方法可以有效地检测JPEG隐写术,当嵌入率为25%时,平均检测率达到76.1%,相比传统基于模型的隐写分析方法提高5.5%,具有更高的检测性能。
  • 钱小强,仲红,石润华
    计算机工程. 2014, 40(2): 148-152. https://doi.org/10.3969/j.issn.1000-3428.2014.02.032
    摘要 ( ) PDF全文 ( )   可视化   收藏
    安全两方向量优势统计是一类特殊的安全多方计算问题,用于统计两方在不泄露各自私有向量信息的前提下,满足大于关系的分量数目。但现有的安全两方向量优势统计协议都依赖于茫然第三方,协议的安全性和效率较低。为此,在半诚实模型下,利用同态加密算法和向量叉积协议,提出一个无需茫然第三方支持的两方向量优势统计协议。理论分析结果表明,该协议无需茫然第三方即可提高协议的安全性。该协议的通信轮数为2,通信代价较低。在此基础上,将该协议应用于安全两方向量分量和的排序,也能显著提高排序性能。
  • 人工智能及识别技术
  • 刘鑫,于振中,郑为凑,惠晶
    计算机工程. 2014, 40(2): 153-157. https://doi.org/10.3969/j.issn.1000-3428.2014.02.033
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对多机器人远程监控系统信息错综复杂、协作不稳定的问题,建立基于多智能体(Multi-Agent)技术的系统体系结构,描述系统各组件之间的信息交互关系,优化人-机智能分配。分析系统物理结构的特点,提出一种基于Multi-Agent技术的共享控制系统分层体系结构,结合黑板结构和点对点结构,给出Multi-Agent的混合通信模型。针对遥操作系统的特点,设计一种混合型Agent体系结构,举例研究Agent的实现方法。通过多操作者控制机器人保持队形的实验,验证了该混合型Agent体系结构的实用性和有效性。
  • 熊思,李磊民,黄玉清
    计算机工程. 2014, 40(2): 158-161. https://doi.org/10.3969/j.issn.1000-3428.2014.02.034
    摘要 ( ) PDF全文 ( )   可视化   收藏
    道路检测是智能交通视觉系统的一个重要组成部分,为提高复杂环境下非结构化道路检测的实时性、准确性和鲁棒性,提出一种新的道路检测方法。该方法利用高斯金字塔对图像进行降采样,压缩图像数据信息,对图像进行双边滤波,抑制噪声,采用基于小波变换求模极大值的方法对滤波后的图像提取边缘,通过阈值法去除非道路边缘点,给出基于斜率和截距的K-means聚类算法,实现道路方程拟合。实验结果表明,与传统最小二乘法相比,该方法能在道路场景较为复杂的情况下更准确地实现非结构化道路检测,并提高实时性。
  • 苑玮琦,叶冰文,孙晓,滕海
    计算机工程. 2014, 40(2): 162-165. https://doi.org/10.3969/j.issn.1000-3428.2014.02.035
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在计算机辅助虹膜诊断中,虹膜卷缩轮的定位是其他虹膜异常特征检测的基础。针对该特征,提出一种基于图像梯度极值的虹膜卷缩轮检测方法。根据虹膜图像中卷缩轮及其附近区域在竖直方向上的灰度差异性,在部分归一化图像中,利用改进的垂直梯度算子对图像进行处理,提取竖直方向上的梯度极值点得到卷缩轮轮廓,并将轮廓点还原显示在原始灰度图像中。实验结果表明,该方法的定位准确率可以达到92.5%,具有较好的检测效果。
  • 董哲,伊鹏,扈红超
    计算机工程. 2014, 40(2): 166-170. https://doi.org/10.3969/j.issn.1000-3428.2014.02.036
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在动态社会网络中,诸如垃圾邮件之类的噪声会影响网络的稳定性,导致其社团结构难以被准确发现。针对该问题,提出一种采用增量结构的社团发现算法。利用相对熵处理噪声,通过改进的增量算法发现社团结构。实验结果表明,该算法针对不同动态社会网络的发现性能均优于传统动态社团发现算法,其模块度可达到0.8左右,互信息值变化也较平稳,可有效避免噪声对算法性能的影响。
  • 石松,陈云
    计算机工程. 2014, 40(2): 171-174. https://doi.org/10.3969/j.issn.1000-3428.2014.02.037
    摘要 ( ) PDF全文 ( )   可视化   收藏
    投影寻踪可有效解决文本分类中的维数灾难问题,而投影方向优化是投影寻踪需要解决的关键问题。传统的投影寻踪方法将投影指标优化看作单目标优化问题,会使解的质量受到影响。为此,提出一种基于多目标优化的投影寻踪方法。将类别之间的距离和类别内数据的聚类紧密程度作为2个优化目标,并将投影扩展到多维,利用混沌粒子群优化算法寻找最优的投影方向。在常用文本数据集上进行实验,确定最优投影指标及维度,并比较不同分类模型的分类结果,结果表明,使用该方法能有效提高文本分类性能。
  • 石敏,赵文栋,张磊
    计算机工程. 2014, 40(2): 175-179. https://doi.org/10.3969/j.issn.1000-3428.2014.02.038
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对集中式服务发现方式容易导致单点故障和性能瓶颈的问题,提出一种基于结构化P2P网络的语义Web服务发现算法。利用本体划分技术,按概念相似度完成本体的划分并生成可偏序排序的组概念,用组概念粗粒度地表示服务的语义信息,并聚类语义相似的服务。在此基础上,设计基于组概念生成向量的服务发布/发现算法,从服务/请求中提取多个散列的关键字,在适当增加服务发布/发现冗余的情况下,实现结构化P2P网络中语义Web服务的模糊匹配。实验结果显示,与精确匹配算法相比,该算法服务发现的平均召回率由15.2%提高到了37.1%。
  • 赵勇,蒋冬梅,Sahli Hichem
    计算机工程. 2014, 40(2): 180-183,188. https://doi.org/10.3969/j.issn.1000-3428.2014.02.039
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出一种基于状态异步动态贝叶斯网络模型(SA-DBN)的语音驱动面部动画合成方法。提取音视频语音数据库中音频的感知线性预测特征和面部图像的主动外观模型(AAM)特征来训练模型参数,对于给定的输入语音,基于极大似然估计原理学习得到对应的最优AAM特征序列,并由此合成面部图像序列和面部动画。对合成面部动画的主观评测结果表明,与听视觉状态同步的DBN模型相比,通过限制听觉语音状态和视觉语音状态间的最大异步程度,SA-DBN可以得到清晰自然并且嘴部运动与输入语音高度一致的面部动画。
  • 左旭坤,苏守宝
    计算机工程. 2014, 40(2): 184-188. https://doi.org/10.3969/j.issn.1000-3428.2014.02.040
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对入侵杂草优化算法(IWO)进化后期种群多样性、优势个体易陷入局部极值的问题,提出一种基于K-均值聚类的多子群入侵杂草优化算法(K-MSIWO)。该算法利用K-均值聚类算法将杂草种群分为3个子群,通过种内和种间竞争策略建立个体之间、子群之间的协同进化关系,提高杂草种群的多样性。当算法的收敛速度下降时,对种群中早熟的个体采用随机扰动的变异策略,帮助其跳出局部极值。基准函数测试结果表明,将该算法用于二阶和高阶系统的PID控制器参数整定,与遗传算法的整定结果相比,系统超调量分别下降33.2%和50%,具有较好的寻优精度和一致性。
  • 姚磊,刘渊
    计算机工程. 2014, 40(2): 189-192,198. https://doi.org/10.3969/j.issn.1000-3428.2014.02.041
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对高速公路交通事故引发交通堵塞的问题,提出一种基于减法聚类和自适应神经模糊推理系统的事件持续时间预测新方法。将该方法应用于交通事件持续时间预测,从I-880数据库中提取事件持续时间相关因素,使用非参数估计法进行显著性分析,将影响程度最大的因素作为模糊系统的输入样本,采用减法聚类对输入样本进行聚类,得到模糊规则数并建立初始模糊推理系统,使用BP反向传播算法和最小二乘估计算法的混合算法对该模糊系统进行训练并优化,建立最终模糊模型。仿真结果证明,该系统对交通事件持续时间预测具有较高检测率和较低误报率。
  • 刘小康,郭杭
    计算机工程. 2014, 40(2): 193-198. https://doi.org/10.3969/j.issn.1000-3428.2014.02.042
    摘要 ( ) PDF全文 ( )   可视化   收藏
    Zigbee无线传感器网络的接收信号强度指示(RSSI)可以用来提供位置服务,使用RSSI建立指纹数据库设计定位算法能够得到良好的定位效果,但指纹数据库的采集和建立精度会直接影响到最终的定位精度,而一般方法建立的指纹数据库误差较大。为此,通过对Zigbee网络指纹数据库采集和建立过程进行研究,提出一种Zigbee网络中指纹数据库采集、建立及优化的算法。在定位区域将各采样点采集到的指纹数据库源数据进行滤波处理,建立高精度的指纹数据库。利用Zigbee平台组建无线网络进行实验,分别使用针对该定位系统提出的限定区域最邻近算法、限定区域加权最邻近算法、限定区域贝叶斯算法进行定位计算。实验结果表明,运用优化后的指纹数据库在短距离范围内定位平均误差可限制在1.5 m以内。
  • 李志萍
    计算机工程. 2014, 40(2): 199-202,207. https://doi.org/10.3969/j.issn.1000-3428.2014.02.043
    摘要 ( ) PDF全文 ( )   可视化   收藏
    癫痫是一种大脑神经系统疾病,具有突发性和反复性,对患者的生命安全构成极大的威胁,有效预测癫痫对该病的预防和治疗具有重要的意义。为此,提取来自德国弗莱堡大学癫痫预测中心21个病人的公开数据集。利用独立成分分析方法对原始数据进行去冗余操作,自回归模型被用来对癫痫脑电进行特征提取。支持向量机模型和滤波器将预测问题转化为二分类问题。蒙特卡洛统计方法使得最终的结果具有统计学上的意义。实验结果表明,该模型能够提前30 min~70 min预测到癫痫的发生,且误报率将近0,能为临床癫痫预警系统提供较好的理论依据。
  • 李星,郭晓松,郭君斌
    计算机工程. 2014, 40(2): 203-207. https://doi.org/10.3969/j.issn.1000-3428.2014.02.044
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对传统车辆检测方法定位精度不高的问题,提出一种基于多特征融合的前向车辆检测方法。采用基于直方图分析和自适应双阈值的方法分别实现阴影和边缘特征的准确分割,并通过阴影和边缘特征的综合分析,生成车辆假设区域。利用对称性、纹理和轮廓匹配度3个特征融合得到的综合特征对获得的车辆假设区域进行验证,剔除其中的误检区域。实验结果证明,该方法能在不同光照条件下自适应地进行车辆检测,检测率可达92%以上,且在检测率和误检率2项指标上均优于传统基于学习的方法。
  • 吴健,兰时勇,黄飞虎
    计算机工程. 2014, 40(2): 208-211,218. https://doi.org/10.3969/j.issn.1000-3428.2014.02.045
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对当前高分辨率的多路视频拼接系统速度慢、实时性能低的问题,提出一种基于CPU和GPU并行架构的多路高清视频拼接算法。该算法在传统基于方向的快速特征点检测和旋转不变的特征描述算法上进行改进,删除针对尺度不变性应用的图像金字塔模块,并使用基于重叠区的局部配准方法,将配准后的图像数据在GPU设备端进行并行融合。在GPU与CPU异步执行的原则上,实现CPU端当前帧图像的配准,与其前帧图像融合,且以并行方式执行。通过显卡端图像数据计算与图像渲染之间的共享缓冲区,完成帧图像的快速渲染。实验结果表明,在4路200万像素的网络相机环境下,该算法实现的全景拼接系统的视频帧率达到17 f/s,可满足大场景的实时性需求。
  • 谭阳,谭岳武,唐钊轶
    计算机工程. 2014, 40(2): 212-218. https://doi.org/10.3969/j.issn.1000-3428.2014.02.046
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为提高多目标进化算法的分布性和收敛性,提出一种基于海明距离差异的多目标进化算法。在非支配前沿的基础上定义海明等级,依据海明距离的大小对个体进行选择操作。同时结合海明差异和Pareto评价方法,对外部存储器中最优解进行更新和维护,通过结构相似度构建小生境空间,并引导算法趋向Pareto最优前沿面。对6个典型函数的测试结果表明,较其他对比算法,该算法在具备收敛性的同时能够保持较好的均匀性分布。
  • 图形图像处理
  • 张静,华顺刚
    计算机工程. 2014, 40(2): 219-223. https://doi.org/10.3969/j.issn.1000-3428.2014.02.047
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对传统图像缩放算法存在的图像内容破坏与失真等问题,提出一种结合接缝雕刻和标准缩放的图像缩放算法。利用接缝雕刻算法对原始图像进行尺寸调整,分别从原始图像和缩放图像上提取尺度不变特征变换(SIFT)特征,并对2幅图像的SIFT特征进行匹配计算,得到两者的相似性距离。当原始图像与缩放图像之间的相似性距离达到某阈值时,即在图像重要目标或内容将要被破坏之前,停止使用接缝雕刻算法,采用标准缩放算法进行整体尺寸的调整操作。实验结果表明,该算法不仅可以有效避免图像内容的破坏与失真,而且可以较好地保护图像局部结构和全局视觉效果。
  • 周蕾,宋立新
    计算机工程. 2014, 40(2): 224-228. https://doi.org/10.3969/j.issn.1000-3428.2014.02.048
    摘要 ( ) PDF全文 ( )   可视化   收藏
    乳腺图像的非刚体特性使其不能通过刚体的匹配方法进行匹配。为此,提出一种基于分层算法的肿块匹配方法。利用最大类间方差法进行阈值分割以截取胸肌区域,使用最小二乘法进行胸壁线的拟合,找出乳头以及中轴线的位置,建立局部坐标系确定匹配条形区域带。采用分层算法在条形区域带内进行疑似病灶区域的提取,通过加权互信息相似性度量实现肿块匹配。对分层算法肿块匹配方法进行可行性分析和实验验证。选取100对图像进行肿块匹配实验,结果表明,相对于非分层算法,分层算法的匹配结果更有效,匹配精度达到86%。
  • 史久根,吴文婷,刘胜
    计算机工程. 2014, 40(2): 229-232. https://doi.org/10.3969/j.issn.1000-3428.2014.02.049
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在图像压缩感知中,梯度投影恢复算法存在收敛速度慢、迭代次数多、对数据稀疏度过分敏感的问题。为此,提出一种基于压缩感知的图像重构算法。将拟牛顿法引入稀疏梯度投影算法中,利用拟牛顿法的估计校正机制以及其全局超线性收敛性,通过对目标函数的校正,获得更精确的搜索方向,从而减少迭代次数,构成有效收敛的图像恢复算法。实验结果表明,与传统梯度投影恢复算法相比,该算法在保证较好图像恢复效果的同时具有较好的抗噪性能,并且在减少迭代次数的基础上能有效降低重构误差,得到稳定收敛的重构结果。
  • 叶慧,孔繁锵
    计算机工程. 2014, 40(2): 233-236. https://doi.org/10.3969/j.issn.1000-3428.2014.02.050
    摘要 ( ) PDF全文 ( )   可视化   收藏

    压缩感知主要采用离散余弦变换(DCT)和正交小波进行图像的稀疏表示,但是DCT时频分析性能不佳,小波方向选择性差,不能很好地表示图像边缘的信息。为此,利用Curvelet变换具有的多尺度、各向奇异性、更高稀疏表示性能等特性,提出基于Curvelet变换的图像压缩感知重构算法,采用Curvelet对图像进行稀疏表示和小波域阈值处理,以此解决信号重构噪声问题。实验结果证明,与传统小波变换和Contourlet变换相比,该算法在Lena图像上峰值信噪比平均提高了1.86 dB和1.15 dB。将Curvelet变换应用于压缩感知,能使图像边缘和平滑部分得到最优的表示,图像细节部分重构效果得到大幅提升,有效提高图像整体重构质量。

  • 张仁斌,李兴兴,夏宏丽
    计算机工程. 2014, 40(2): 237-239,245. https://doi.org/10.3969/j.issn.1000-3428.2014.02.051
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在雾、霾天气条件下,由于大气粒子的散射作用导致采集的图像质量严重下降,给计算机视觉系统成像带来极大不便。针对上述问题,提出一种基于景深的单幅图像快速去雾算法。通过暗通道对图像处理,得到图像传输图,从而简化大气散射模型,利用景深信息估计大气散射模型,得到边缘突变景深关系比,通过近水平方向上的景深关系比值优化传输图,利用双边滤波对景物边缘进行处理。从3个颜色通道出发,降低波长对景深估计的影响。实验结果证明,该算法能够恢复景物边缘的细节对比度,有效提高图像的清晰度与视见度。
  • 桓宗圣,陶青川,田旺
    计算机工程. 2014, 40(2): 240-245. https://doi.org/10.3969/j.issn.1000-3428.2014.02.052
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在野外雾天环境下,由于大气粒子的散射作用导致图像降质严重,直接影响图像的视觉效果和应用价值,因此有必要对雾天图像进行去雾处理,以提高雾天图像的清晰度和保真度。为此,提出一种野外视频监控图像去雾新方法。基于暗原色先验去雾的原理,采用区域生长算法准确快速估计雾天图像的深度信息,应用雾天图像物理模型对图像去雾处理,并进行亮度补偿。实验结果表明,该算法能有效改善雾天图像的质量,大幅提高运算速度。
  • 李新华,袁振宇,张涛,姚志明
    计算机工程. 2014, 40(2): 246-249,255. https://doi.org/10.3969/j.issn.1000-3428.2014.02.053
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对人体足背的三维建模问题,提出一种基于线结构光扫描的新型重构及测量方案。采用2台高分辨率CMOS摄像头,从不同角度拍摄照射在足背上的线结构光线,通过灰度重心法细化图像中的结构光线,经坐标转换获得足背的点云数据。对足背点云数据后跟处的盲区采用最小二乘曲线拟合法进行修复,并运用三维Delaunay网格化算法实现曲面重构,获得完整的足背三维轮廓。实验结果表明,该方案程序运行稳定,足部主要参数的绝对误差均小于4 mm,具有较高的测量精确度。
  • 赵龙,闵世平,代强玲
    计算机工程. 2014, 40(2): 250-255. https://doi.org/10.3969/j.issn.1000-3428.2014.02.054
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对目前构建三维地质剖面算法复杂度高、效率低的问题,提出一种基于八叉树的三维地质剖面生成算法。利用八叉树算法对传统的地质剖面生成算法进行改进,使算法在搜索过程中的时间复杂度降低至O(log8(n/M)),在算法中加入轮廓边约束,对搜索到的边进行预处理,以保证边的正确性和有序性。采用八叉树为复杂三维地质体网格模型内的三角形创建空间索引,通过八叉树快速查找出经过剖面的三角形,计算交点并追踪出轮廓边界,通过画廊看守算法对追踪出的边界三角化并构建三维剖面。实验结果表明,该算法具有复杂度低、鲁棒性强的特点,与传统的地质剖面生成算法相比,时间复杂度由O(n2)降低到O(nlbn)。
  • 杨红喆,赵立辉
    计算机工程. 2014, 40(2): 256-258,262. https://doi.org/10.3969/j.issn.1000-3428.2014.02.055
    摘要 ( ) PDF全文 ( )   可视化   收藏
    脑肿瘤分割是计算机辅助脑病诊断的基础。为提高脑肿瘤分割精度,提出一种融合高斯混合模型的测地线脑肿瘤分割方法。根据相邻2个像素点间互相到达时间构造离散且带有权重的网格图,通过高斯混合模型估计每个像素点属于目标物体的罚度,并融合高斯混合模型的概率密度差异表示区域属性与边缘属性构成能量函数,利用快速最短路径算法求解前景与背景间的测地线距离,并根据该距离最小化能量函数,得到脑肿瘤的分割结果。利用10组脑部核磁共振图像数据对算法进行评估,结果表明,该算法分割结果与金标准的重叠率在0.60~0.85之间,可有效避免局部最优解的情况,对非匀质区域具有较好的分割效果。
  • 沈新宁,王小龙,杜建洪
    计算机工程. 2014, 40(2): 259-262. https://doi.org/10.3969/j.issn.1000-3428.2014.02.056
    摘要 ( ) PDF全文 ( )   可视化   收藏
    颜色特征是重要的图像视觉特征,颜色相关图则是当前基于内容的图像检索中常用的特征描述符,但现有基于颜色相关图的图像检索算法存在计算复杂度高、检索精确度低的问题。为此,提出基于颜色自相关图和互信息的图像检索算法。给出一种新的颜色特征描述符——颜色互信息,通过计算颜色相关图特征矩阵中每个颜色与其周围颜色的平均互信息,得到不同颜色之间的全局及空间分布特性,并作为新的颜色特征矢量,以降低计算复杂度。同时采用外部特征矢量归一化方法结合颜色互信息与颜色自相关算法,以提高检索精确度。实验结果表明,该算法可有效降低计算复杂度,提高实时响应性能和检索精度。
  • 开发研究与工程应用
  • 王静,李剪,樊红杰,王红
    计算机工程. 2014, 40(2): 263-266,270. https://doi.org/10.3969/j.issn.1000-3428.2014.02.057
    摘要 ( ) PDF全文 ( )   可视化   收藏
    传统描述逻辑ALCQ以经典集合作为集合论基础,不能描述复杂的、模糊的、动态的知识。为此,引入可拓学中的可拓集合代替经典集合,作为描述逻辑ALCQ的集合论基础,提出一种新的带限定性数目约束的可拓描述逻辑ALCQDES。定义ALCQDES的概念、关系、TBox公理、ABox断言的语法形式,根据可拓集合和传统描述逻辑的语义解释方法,给出描述逻辑ALCQDES中的概念≥kR.C和≤kR.C的语义解释。研究描述逻辑ALCQDES的基本推理问题,给出一致性检测算法TableauDES*的≥kR.C和≤kR.C的断言扩充规则。与传统描述逻辑ALCQ和模糊扩展描述逻辑FALCQ相比,通过可拓集合扩展的描述逻辑ALCQDES具有更强的描述知识的能力。
  • 夏豪骏,王海瑞
    计算机工程. 2014, 40(2): 267-270. https://doi.org/10.3969/j.issn.1000-3428.2014.02.058
    摘要 ( ) PDF全文 ( )   可视化   收藏
    介绍目前在嵌入式系统中广泛应用的仿真器J-Link和龙芯处理器,论述J-Link协议在龙芯平台上的移植实现过程,给出移植过程中的关键步骤,即J-Link的初始化、EJTAG控制数据的组织、J-Link的协议封装、数据对齐以及USB协议使用,在龙芯平台上可成功实现移植过程。实验结果表明,与现有方法相比,使用移植后的J-Link仿真器进行EJTAG在线烧写Flash,烧写的速度及系统稳定性提高明显。
  • 李建红,刘丹,徐展
    计算机工程. 2014, 40(2): 271-274,279. https://doi.org/10.3969/j.issn.1000-3428.2014.02.059
    摘要 ( ) PDF全文 ( )   可视化   收藏
    UCGUI是实时嵌入式系统中广泛使用的图形用户界面,但UCGUI不支持中文字符编解码。为此,提出一种支持中文字符编解码的方法。在分析UCGUI字符编解码框架基础上,修改内核代码,添加GB2312汉字编解码驱动,实现中文字符显示编解码服务。针对UCGUI中文显示时中文字库占用空间大与MCU存储空间有限的矛盾,提出一种字体驱动与字模数据分离的中文字体设计方法,包括为外扩字体设计专用驱动、字模数据存储接口及存储方法。在UCGUI仿真平台环境下的测试结果表明,该字库在UCGUI系列环境下,具有较好的可用性和通用性,可弥补UCGUI界面库在低成本嵌入式系统中难以实现中文显示的缺陷。
  • 邱云飞,王琳颍,邵良杉,郭红梅
    计算机工程. 2014, 40(2): 275-279. https://doi.org/10.3969/j.issn.1000-3428.2014.02.060
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对微博用户兴趣建模问题,提出一种在微博短文本数据集上建立用户兴趣模型的方法。为缓解短文本造成的数据稀疏性问题,在分析微博短文本结构和内容的基础上,给出微博短文本重构概念,根据微博相关的其他微博短文本和文本中包含的 3种特殊符号,进行文本内容的扩展,从而扩充原始微博的特征信息。利用HowNet2000概念词典将重构后文本的特征词集映射到概念集。以抽象到概念层的文本向量为基础进行聚类,划分用户的兴趣集合,并给出用户兴趣模型的表示机制。实验结果表明,短文本重构和概念映射提高了聚类效果,与基于协同过滤的微博用户兴趣建模方法相比,平衡均值提高29.1%,表明构建的微博用户兴趣模型具有较好的性能。
  • 王庆江,彭军,倪保航,徐学文,孙阳
    计算机工程. 2014, 40(2): 280-283,288. https://doi.org/10.3969/j.issn.1000-3428.2014.02.061
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为提高军用飞行器航路规划的效率和对威胁体的适应性,提出一种基于几何原理的、步进搜索的新航路规划方法:航路点搜索法。对禁飞区、雷达和防空武器、高山等地形障碍物进行建模,推导出航路规划时的代价函数。介绍在规划空间内如何选取航路点、使用航路点搜索法在获得的航路点中进行筛选,从而生成航路的过程和原则,并根据代价函数对规划出的航路进行寻优。通过算例对航路点搜索法进行仿真验证,结果表明,该方法简单有效,收敛性好,对威胁体的类型和数量不敏感,具有一定的工程应用价值。
  • 戴薇薇,奚宏生,曾威龙
    计算机工程. 2014, 40(2): 284-288. https://doi.org/10.3969/j.issn.1000-3428.2014.02.062
    摘要 ( ) PDF全文 ( )   可视化   收藏
    对现有KAD协议在高并发、高实时性需求环境中的优缺点进行分析。为减少系统信息的冗余和延迟时间,提出一种在三网融合背景下,基于服务节点资源池划分的改进KAD网络视频业务系统的调度管理策略。采用基于网络连通性的准则将视频业务网的服务节点划分为若干资源池,各池内部网络采用KAD方式进行组织。根据用户请求量的预测,采用池间资源租借的方式解决单个资源池由于业务量增大而导致的服务过载问题。实验结果表明,对于典型的视频业务请求,马尔科夫链预测法能够实现过载漏报率为0的精确预警,从而根据预测结果,并利用KAD网络灵活的扩展性及时地补充服务资源。
  • 胡国卿,邵培南,陈磊,李翔
    计算机工程. 2014, 40(2): 289-293,299. https://doi.org/10.3969/j.issn.1000-3428.2014.02.063
    摘要 ( ) PDF全文 ( )   可视化   收藏
    综合嵌入式系统通过外部总线实现各个子系统之间的通信连接。为解决综合嵌入式系统的接口测试问题,采用系统虚拟机仿真综合嵌入式系统的连接方式,通过在虚拟机中创建外部总线仿真模块,配置仿真模块的连接,从而实现虚拟机之间的通信。提出一种基于以太网通信的外部总线仿真结构,以CAN总线仿真为例,在全系统虚拟机QEMU的内部总线上配置与注册外部总线设备,为读写总线设备数据的接口建立共享内存,组织总线协议报文。实验结果表明,通过网络收发报文,可实现总线仿真节点模块之间的数据交换,从而达到仿真总线的数据通信功能。
  • 何军,黄永勤,朱英
    计算机工程. 2014, 40(2): 294-299. https://doi.org/10.3969/j.issn.1000-3428.2014.02.064
    摘要 ( ) PDF全文 ( )   可视化   收藏
    高精度、高性能浮点运算部件是高性能微处理器设计的重要部分。通过对传统双精度浮点乘加运算算法的研究,结合四倍精度浮点数据格式特点,设计并实现一种高性能的四倍精度浮点乘加器(QPFMA),该乘加器支持多种浮点运算,运算延迟为 7拍,全流水结构。采用双路加法器改进算法结构,优化头零预测和规格化移位逻辑,减小运算延迟和硬件开销。通过参数化设计验证方法,实现高效的正确性验证。逻辑综合结果表明,基于65 nm工艺,该QPFMA频率可达1.2 GHz,比现有的QPFMA设计运算延迟减少3拍,频率提高约11.63%。
  • 郁志平,刘伟,彭虎,张耀辉
    计算机工程. 2014, 40(2): 300-302,307. https://doi.org/10.3969/j.issn.1000-3428.2014.02.065
    摘要 ( ) PDF全文 ( )   可视化   收藏
    使用NAND Flash作为存储媒介的存储设备常需要闪存转换层(FTL)对NAND进行管理。页映射是一种常见的映射方式,但需要很大的内存存放页映射表,在嵌入式环境下这一条件往往无法满足。针对该问题,提出一种基于超级块的混合映射FTL,包括坏块管理、地址翻译、垃圾回收、上电恢复,使用的SRAM空间不到128 KB,远小于页映射,同时不需要存储映射表,程序在固态硬盘开发板上成功运行,实现固态硬盘基本读写功能。测试结果表明,该混合映射FTL方案具有较好的顺序读写性能。
  • 丁治国,朱学永
    计算机工程. 2014, 40(2): 303-307. https://doi.org/10.3969/j.issn.1000-3428.2014.02.066
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为提高无线射频识别(RFID)系统快速识别大量标签的能力,提出一种基于先验知识的自适应多叉树防碰撞算法。利用标签访问的规律性和标签分布的随机性,在不同的搜索深度,根据已有的先验知识和碰撞比特信息估计待识别的标签数量,从而动态地自适应选择搜索叉树。通过有效减少碰撞和空闲时隙数,大幅提高读写器搜索和识别标签的能力。理论分析与仿真实验结果表明,该算法能克服传统自适应多叉树防碰撞算法的缺点,合理选择初始搜索叉树,尤其在待识别标签数量较多的场合,可有效提高RFID系统的吞吐率。
  • 付征叶,毋琳,王晶
    计算机工程. 2014, 40(2): 308-313. https://doi.org/10.3969/j.issn.1000-3428.2014.02.067
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在遥感领域多行业遥感信息产品生产系统中,通过分布式计算对遥感数据进行加工处理,需要对各遥感数据的生产处理节点加以监控和管理。针对该问题,提出以监控客户端、监控服务器、监控代理3个独立运行部件为基础的网络硬件监控系统,采用视窗管理规范技术与Log4net技术相结合的方法,以及改善通信方式和增加心跳检测的方法,对系统中各数据加工服务器进行监控。通过对该网络硬件监控系统的实现,证明该方案能够实时有效地获得各生产节点的监控信息,运用图形界面直观地向管理者展示监控结果,并确保各部件之间能够主动发现异常。
  • 刘得金,史峥,胡龙跃
    计算机工程. 2014, 40(2): 314-316. https://doi.org/10.3969/j.issn.1000-3428.2014.02.068
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在工艺开发包的验证过程中,需要手动地在版图编辑器中对参数化单元进行实例化和摆放绕线,由此产生大量测试芯片。为此,提出一种用于验证工艺开发包的测试芯片自动生成流程,采用软件接口产生Skill脚本和工艺开发包交互,以获取工艺开发包的信息、发送命令对工艺开发包进行操作的方法,能自动地对参数化单元予以实例化,自动地摆放绕线,并实现测试芯片版图的布局规划。用该软件接口针对某代工厂的40 nm半导体工艺开发包开发一套测试芯片,产生一条测试芯片的平均时间为5.2 s左右,结果证明该方法是有效的,能缩短工艺开发包的验证时间。
  • 徐计荣,钱松荣
    计算机工程. 2014, 40(2): 317-320. https://doi.org/10.3969/j.issn.1000-3428.2014.02.069
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在高频射频识别技术的实际应用中,当多张标签紧密重叠在一起时,重叠标签的谐振频率会产生偏移,造成标签无法获取足够能量,导致标签无法读写。针对该问题,从理论角度建立并分析重叠标签的电磁场耦合模型,从本质上分析无法读写的原因,提出一种新的读写器设计方案,采用载波变频的方式匹配重叠标签偏移的谐振频率,并通过实验验证其可行性。实验结果表明,在相同功率及读写距离的情况下,与标准读写器相比,该设计方案能明显提高重叠标签的读写成功率。