Please wait a minute...
  • 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

当期目录

    论文
    基于流水化和滑动窗口结构的低功耗指令Cache设计
    李伟,肖建青
    2015, 37(06): 1037-1042. doi:
    摘要 ( 126 )   PDF (6381KB) ( 324 )     

    嵌入式处理器中Cache的应用极大地提高了处理器的性能,同时Cache,尤其是指令Cache功耗占据了处理器很大一部分功耗,关闭不必要的tag SRAM和data SRAM的访问,可以极大地降低功耗。提出了一种流水化的指令Cache访问机制,关闭不必要的data SRAM的访问;并且通过记录指令Cache行的信息和预测下一行的Cache形成一个Cache行滑动窗口,关闭不必要的tag SRAM访问。所提出的方法没有性能损失,在SMIC 90 nm工艺下进行功耗分析,其指令访问的功耗降低50%。

    一种面向重尾分布的SSD磁盘调度算法
    魏元豪1,吴小华2,吴庆波1,邵立松1
    2015, 37(06): 1043-1046. doi:
    摘要 ( 135 )   PDF (722KB) ( 212 )     

    存储设备上的大量文件其长度呈重尾态分布,IO请求的响应延迟和请求大小有着密切关系,并且固态硬盘的IO操作不对称。基于以上几点,在内核NOOP调度算法的基础上提出一种针对重尾数据分布下的IO调度算法。该算法通过减少大量小片请求的等待时间,提高固态硬盘的性能。经实验验证,相比内核的NOOP调度算法,平均响应时间减少17%。

    ACOCS:一种云环境下资源调度混合算法
    黎煌达,程良伦
    2015, 37(06): 1047-1052. doi:
    摘要 ( 145 )   PDF (1138KB) ( 225 )     

    蚁群算法在优化组合问题中有着重要的意义,传统的蚁群调度算法搜索速度慢、容易陷入局部最优。针对这种情况,结合布谷鸟搜索算法,提出一种基于蚁群算法与布谷鸟搜索算法的混合算法(ACOCS),用于云环境下的资源调度。该方法有效保留了蚁群算法求解精度高和鲁棒性的特性,并融入了布谷鸟搜索具有快速全局搜索能力的优势。仿真实验结果表明,提出的ACOCS调度算法有效减少了调度所需的响应时间,也在一定程度上提高了系统资源利用率。

    阱接触面积对PMOS单粒子瞬态脉冲宽度的影响
    刘蓉容1,池雅庆1,2,何益百1,窦强1
    2015, 37(06): 1053-1057. doi:
    摘要 ( 113 )   PDF (902KB) ( 252 )     

    使用TCAD模拟工具分析了纳米工艺下阱接触面积对PMOS SET脉冲宽度的影响。结果表明,纳米工艺下,当存在脉冲窄化效应时,增加阱接触面积会导致SET脉冲变宽,这与传统的通过增加阱接触面积可抑制SET脉冲的观点正好相反。同时,还分析了不同入射粒子LET值以及晶体管间距条件对该现象的作用趋势。

    辅助检测Linux驱动中漏洞的符号驱动环境
    范文良,茅俊杰,肖奇学,徐永健,杨维康,陈渝
    2015, 37(06): 1058-1063. doi:
    摘要 ( 130 )   PDF (511KB) ( 215 )     

    Linux系统中的驱动漏洞被证实是内核漏洞的主要来源,可以被利用导致严重的安全问题。通过系统模型、驱动与内核的交互和驱动与设备的交互这三部分的设计与实现,构建了符号驱动环境,用于辅助检测Linux驱动中的漏洞。使用符号驱动环境对两个真实的驱动进行检测,成功检测出了两个漏洞,证实了该工具的可行性。与SymDrive工具的性能相比,符号驱动环境执行速度快90%,覆盖率提高20%。

    基于ARIMA-ANN预测模型的能量感知路由算法
    蔡钊,马林华,宋博,唐红
    2015, 37(06): 1064-1070. doi:
    摘要 ( 122 )   PDF (5148KB) ( 259 )     

    针对传统能量感知OLSR协议在减少传输功率消耗和均衡节点剩余能量之间不能兼顾的特点,提出了一种新型的基于剩余能量比例和传输功率消耗的OLSR路由协议OLSR_RC,它利用上述两方面的指标构造复合能量开销,并将其作为路由选择的度量值。在减小网络开销的同时,也防止了部分低电量节点的能量被快速耗尽,延长了网络的生存周期。此外,新路由还采用ARIMAANN组合能量预测模型对节点的剩余电量进行预测,降低了由于拓扑控制(TC)消息丢失对选择路由所造成的影响。这种新型路由协议在无线传感器网络领域有比较广阔的应用前景。

    融合关联性的多任务压缩感知行为识别方法
    段梦琴,李仁发,黄晶
    2015, 37(06): 1071-1078. doi:
    摘要 ( 126 )   PDF (1277KB) ( 380 )     

    基于传感器的人体行为识别是一个新兴研究领域,作为物联网的一项重要应用,在医疗监护、助老助残、智能办公/家居等方面有着广阔的应用前景。识别率是行为识别的一个重要衡量指标,而特征和分类算法又是影响识别率的两个重要因素。提取了基于多传感器行为识别架构的关联特征,并引入压缩感知和稀疏表示理论,提出一种多任务压缩感知行为识别方法。最后,在基准数据库上采用个体无关的留一验证方法进行了大量实验,结果表明所提出的融合关联性的多任务压缩感知行为识别方法能有效提升行为识别率,与对应的单任务行为识别方法相比,识别速度提高约56% 。

    基于静态贝叶斯博弈的风险评估方法研究
    余定坤,王晋东,张恒巍,王娜,陈宇
    2015, 37(06): 1079-1086. doi:
    摘要 ( 295 )   PDF (769KB) ( 89276 )     

    目前基于博弈论的风险评估方法大多数采用完全信息博弈模型,无法应对攻击者和防御者互不清楚对方行为的情况。基于静态贝叶斯博弈理论建立攻防博弈模型,将攻击者和防御者分为多种类型,全面地分析了博弈的贝叶斯均衡及其存在性,并结合防御者反击行为、攻击成功率对已有的策略收益量化方法进行改进。基于博弈均衡进行攻击行为可信预测,给出了风险评估算法对信息系统所存在的风险进行计算,得到系统风险值。最后,通过一个实例分析验证了模型和算法的有效性。

    降低Ad hoc网络信息泄露的路由算法
    刘玉军,汪明辉,蔡猛,陈坤
    2015, 37(06): 1087-1092. doi:
    摘要 ( 101 )   PDF (780KB) ( 233 )     

    分析了Adhoc网络信息传输过程中信息泄露的途径和原因,提出了Adhoc网络信息泄露模型,设计了一种降低信息泄露的路由算法RARIL。该算法在加权图模型的基础上,加入节点位置信息和身份认证,减少组外节点和组内非信任节点窃听信息,优先信任节点转发信息,降低信息泄露概率。通过计算非信任节点信息泄露概率,选择信息泄露概率最小的节点作为转发节点,组建可控转发节点集合,保证集合中转发节点的信息泄露概率最小。最后,根据算法设计约束条件,以算法性能的主要影响因素设定算法评估指标,通过仿真比较路由算法在降低信息泄露方面的优越性。

    基于3D-DCT和SVD的鲁棒彩色图像水印算法
    熊祥光,韦立,谢刚
    2015, 37(06): 1093-1100. doi:
    摘要 ( 135 )   PDF (758KB) ( 255 )     

    在数字图像水印领域,水印算法主要集中于灰度图像,且提出的大部分彩色图像水印算法往往仅在亮度分量或在彩色图像的每一通道中嵌入水印,未能充分利用彩色图像的冗余空间,影响了水印的透明性和鲁棒性。针对此问题,提出了一种新颖的基于三维离散余弦变换和奇异值分解的彩色图像水印算法。算法先对水印图像进行预处理和对彩色图像进行互不重叠的分块;其次对每一分块进行三维离散余弦变换;最后选择对三维离散余弦变换系数的第一分量进行奇异值分解。嵌入水印时,对三维离散余弦变换系数第一分量的最大奇异值和第二分量分别采用量化和关系的嵌入方法嵌入水印。提取水印时,分别采用量化和关系提取算法提取水印并进行比较,选取相似值高的水印图像作为最终提取的水印。实验结果表明,提出的算法具有较好透明性的同时,具有抵抗常规信号处理和模糊、扭曲及锐化等攻击的能力。

    无线传感器/反应器网络中反应节点优化重定位机制研究
    赵新元
    2015, 37(06): 1101-1108. doi:
    摘要 ( 107 )   PDF (957KB) ( 266 )     

    针对无线传感器/反应器网络中因多个反应器失效而造成的反应器网络连通性被破坏问题,以网络流理论为基础,提出了一个基于网络流的多目标规划模型来求解优化的反应器重定位方案。模型将反应器网络看成是一个运输网络,通过流平衡条件来重建反应器网络的连通性。最小化多个参与恢复的反应器总体开销和最小化单个反应器的最大开销是该模型的两个优化目标。仿真实验结果表明,基于该模型的优化重定位方案能够有效地恢复因多反应器节点失效而造成的网络连通性问题。

    一种基于测试数据和D-S证据理论的可信性度量模型
    孙家泽1,2,王曙燕2
    2015, 37(06): 1109-1113. doi:
    摘要 ( 101 )   PDF (574KB) ( 242 )     

    针对软件可信性评估模型客观性不强的问题,提出了基于测试过程数据的软件可信性度量模型。该模型根据软件测试过程和能力成熟度模型CMM模型选取软件测试过程中的关键可信属性,利用软件测试中的过程数据作为可信证据,通过测试过程数据进行可信属性的定量度量,最后,将这些分散的可信指标通过D-S证据理论进行融合得到软件的可信性。实例表明,该度量模型在软件可信性评估中是有效的。关键词:

    一种基于UML模型的起源感知访问控制策略分析方法
    孙连山1,祁志斌2,侯涛1
    2015, 37(06): 1114-1126. doi:
    摘要 ( 107 )   PDF (4055KB) ( 197 )     

    起源(Provenance)是记录数据演变历史的元数据。 最近研究者提出起源感知的访问控制,通过追溯和分析访问者或被访问对象的起源来决定允许或拒绝访问请求。 由于起源通常由系统在运行时记录并呈现为复杂的有向图,识别、规约和管理起源感知的访问控制策略非常困难。 为此,提出了一个基于UML模型的起源感知访问控制策略分析方法,包括对复杂起源图的抽象建模技术以及一个在面向对象的软件开发过程中系统地建立起源模型、规约起源感知访问控制策略的参考过程指南。 最后结合企业在线培训系统案例说明如何应用所提出的方法。

    一种基于人工免疫的本体匹配算法
    董济德,谢强,丁秋林
    2015, 37(06): 1127-1134. doi:
    摘要 ( 144 )   PDF (873KB) ( 227 )     

    针对目前本体匹配算法存在运行效率低和匹配准确度不高等问题,提出一种基于人工免疫的动态本体匹配算法,用来快速地从现有本体中筛选出用户所需的子本体。该算法根据用户行为信息构建抗原本体模型,利用情景匹配确定其领域上下文环境,然后通过结构匹配获得匹配度最高的本体,最后对本体执行语义匹配得到最终需要的子本体。实验表明,该算法提高了本体匹配的准确度和效率。

    支持向量机核函数选择研究与仿真
    梁礼明,钟震,陈召阳
    2015, 37(06): 1135-1141. doi:
    摘要 ( 120 )   PDF (603KB) ( 299 )     

    支持向量机是一种基于核的学习方法,核函数选取对支持向量机性能有着重要的影响,如何有效地进行核函数选择是支持向量机研究领域的一个重要问题。目前大多数核选择方法不考虑数据的分布特征,没有充分利用隐含在数据中的先验信息。为此,引入能量熵概念,借助超球体描述和核函数蕴藏的度量特征,提出一种基于样本分布能量熵的支持向量机核函数选择方法,以提高SVM学习能力和泛化能力。数值实例仿真验证表明了该方法的可行性和有效性。

    求解互补支持向量机的非单调信赖域算法
    高雷阜,于冬梅,赵世杰
    2015, 37(06): 1142-1147. doi:
    摘要 ( 103 )   PDF (503KB) ( 194 )     

    求解支持向量机的核心问题是对一个大规模凸二次规划问题进行求解。基于支持向量机的修正模型,得到一个与之等价的互补问题,利用FischerBurmeister互补函数,从一个新的角度提出了求解互补支持向量机的非单调信赖域算法。新算法避免了求解Hesse矩阵或矩阵求逆运算,减少了工作量,提高了运算效率。在不需要任何假设的情况下,证明算法具有全局收敛性。数值实验结果表明,对于大规模非线性分类问题,该算法的运行速度比LSVM算法和下降法快,为求解SVM优化问题提供了一种新的可行方法。

    人民币冠字号码识别预处理算法研究
    冯博远1,任明武1,张煦尧2,杨静宇1
    2015, 37(06): 1148-1153. doi:
    摘要 ( 147 )   PDF (809KB) ( 235 )     

    近年来,人民币冠字号码的识别受到越来越广泛的关注,其在打击经济犯罪,维持市场稳定和社会和谐等方面都具有很强的实用性和广阔的应用前景。一个稳定高效的人民币冠字码识别系统在很大程度上依赖于图像预处理的结果。提出了一套完整的人民币冠字码识别预处理方案,其中包括图像采集、倾斜校正、采集方向识别、冠字号码区域定位和二值化、字符提取等算法,并对三种冠字码区域二值化方法进行了比较和分析。实验结果表明,所提出的预处理方法精度很高,为后续的冠字码字符识别工作提供了可靠的技术保障。

    基于多曲率轮廓信息的病理图像细胞核自动检测
    张翼1,庞宝川2
    2015, 37(06): 1154-1160. doi:
    摘要 ( 175 )   PDF (806KB) ( 232 )     

    细胞核自动检测既是病理图像分析技术的重要步骤,也是提高病理图像自动化分析准确性的主要瓶颈之一,原因在于病理切片制作存在染色分层不均、细胞核粘连或重叠等问题。为了提高细胞核检测的准确度,定义了一种基于多曲率轮廓的细胞核自动检测模型,通过多曲率方向能量滤波器提取细胞核轮廓信息。特征检测器基于boosting算法,利用不同曲率和方向轮廓特征的完备集合产生像素软分类器,获得像素的前景背景置信度和概率。最后利用均值漂移算法得到细胞核中心位置及其置信度。实验结果表明,该算法与其他细胞核检测算法相比,在生物组织结构变异、不均匀光照或染色条件下,以及细胞核粘连或部分重叠等情况下,有着较强的鲁棒性。

    基于改进的Mean Shift鲁棒跟踪算法
    徐海明1,黄山1,2,李云彤1
    2015, 37(06): 1161-1167. doi:
    摘要 ( 93 )   PDF (723KB) ( 201 )     

    Mean Shift跟踪算法在目标尺度变化大和被遮挡时存在较大的缺陷。针对这一问题,提出了一种基于多级正方形匹配的自适应带宽选择和分块抗遮挡的目标跟踪算法。该算法采用目标中心点的离散程度和增量试探法计算出可能的变化尺度,然后采用多级正方形匹配法预测目标的运动趋势,将巴氏系数最大者的尺度作为Mean Shift核函数新的带宽。同时,对前景目标进行分块,根据子块的遮挡程度自适应改变子块权重并按一定准则融合有效子块的跟踪结果。实验结果表明,该算法具有很好的鲁棒性。

    大尺寸钢板测量中的激光标签精确定位
    钱强,庞林斌,王直,白素琴
    2015, 37(06): 1168-1174. doi:
    摘要 ( 164 )   PDF (697KB) ( 266 )     

    在基于视觉的非接触测量法中,为了取得较好的测量精度和速度,可以结合激光测量与相机测量两种技术。在实现两种测量系统的配准过程中,对于特定标记物(比如激光标签)的精确定位是提高测量精度的关键技术。针对于此,提出了一种精确的激光标签中心定位方法。首先,利用基于GPU的梯度方向直方图(HOG)算法实现激光标签的粗定位;然后,利用图像二值化方法实现进一步的基于质心法的精确定位。在粗定位过程中,利用GPU的并行计算优势,可以实现对超大图像的实时检测,满足工业测量需求。在二值化过程中,提出了一种基于高斯差分(DOG)的二值化方法,能够取得比传统的Otsu、Bernsen等二值化方法更好的效果。实验结果表明,该方法精度可以达到1 mm以下,能够满足工业测量的需要。

    一种新的有监督的局部保持典型相关分析算法
    潘荣华,陈秀宏,曹翔
    2015, 37(06): 1174-1182. doi:
    摘要 ( 91 )   PDF (809KB) ( 187 )     

    从模式识别的角度出发,在局部保持典型相关分析的基础上,提出一种有监督的局部保持典型相关分析算法(SALPCCA)。该方法在构造样本近邻图时将样本的类别信息考虑在内, 由样本间的距离度量确定权重,建立样本间的多重权重相关,通过使同类内的成对样本及其近邻间的权重相关性最大,从而能够在利用样本的类别信息的同时,也能保持数据的局部结构信息。此外,为了能够更好地提取样本的非线性信息,将特征集映射到核特征空间,又提出一种核化的SALPCCA(KSALPCCA)算法。在ORL、Yale、AR等人脸数据库上的实验结果表明,该方法较其他的传统典型相关分析方法有着更好的识别效果。

    基于快速级联分类器的行人检测方法研究
    高嵩,杜晴岚,陈超波
    2015, 37(06): 1183-1188. doi:
    摘要 ( 127 )   PDF (688KB) ( 236 )     

    行人检测是图像处理、计算机视觉等方面研究的重要环节,通常用于视频监控和智能车辆等领域。行人检测图像易受到背景的影响,常用的帧差法及单纯训练分类器法在行人检测中存在着准确率低、分类训练算法复杂、实时性差等问题。首先采用改进型帧差法获取行人运动信息,然后利用直方图坐标对应划分出运动区域,最后通过训练双特征级联分类器对运动区域进行检测识别。实验结果表明,本方法可以有效减少误检和漏检现象,检测时间平均减少了32.77 ms,检测准确率平均提高了10%以上,因此本方法有效提高了识别准确率和识别速度。

    基于快速Delaunay三角化的散乱点曲面重建算法
    杨军,林岩龙,李龙杰,王小鹏
    2015, 37(06): 1189-1195. doi:
    摘要 ( 147 )   PDF (2237KB) ( 232 )     

    针对现有三维重建算法速度较慢的问题,提出了一种基于快速Delaunay三角化的散乱数据点的三维重建算法。首先,提出一种新的平面Delaunay三角化插入点目标三角形定位算法,利用插入点的方向搜索线与三角形是否相交以及交点个数加速目标三角形定位,不用额外判断点是否在三角形内;其次,自动检测曲面漏洞,利用凸壳的边界拼接方法进行漏洞弥补。实验结果表明,本算法不仅能较好地重建出三维模型,而且有较高的效率。关键词:

    一种基于凸壳的压缩域运动对象快速分割算法
    钱增磊,梁久祯
    2015, 37(06): 1196-1202. doi:
    摘要 ( 95 )   PDF (849KB) ( 185 )     

    目前在H.264/AVC压缩域分割领域中现有的方法存在时间复杂度高,且分割运动对象不完整的问题,提出一种新的基于凸壳的压缩域运动对象快速分割(CHSTF)算法。该方法主要利用码流中的运动矢量场信息进行分割,即首先利用后向迭代累积对MV进行归一化处理,再利用时空域滤波(STF)算法对运动矢量场进行滤波得到稳定MV场,然后对滤波MV场求解凸壳并对其进行区域填充,最后对其进行优化掩膜达到分割运动对象的效果。本方法着重于快速求得整体运动对象,并获得较好分割精准度。实验表明,通过本方法能够较好地解决上述问题,并且在运动场严重缺失的环境下,相比传统方法,本方法能获得更好的效果。

    结合Curvelet变换和LSWT的多聚焦图像融合算法
    王丽1,苗凤娟1,陶佰睿2
    2015, 37(06): 1203-1207. doi:
    摘要 ( 109 )   PDF (696KB) ( 245 )     

    针对多聚焦图像,提出了一种结合二代Curvelet变换和提升静态小波变换LSWT的图像融合算法。首先将待融合的图像分别进行离散Curvelet分解变换,得到不同分解级数和方向下的细节尺度系数和粗尺度系数;其次对粗尺度系数分别进行LSWT变换,对变换得到的低频分量和高频分量分别采用不同的方法融合后进行LSWT逆变换,得到的系数作为Curvelet变换的粗尺度系数;对于Curvelet变换后得到的细节尺度系数采用局部平均能量方差的方法进行融合;最后进行Curvelet逆变换得到融合后的图像。实验结果显示,该方法融合效果较好,优于传统方法。

    一种基于JMVC参考模型的运动估计优化算法
    袁梅冷1,2,杨张2,雷海军2
    2015, 37(06): 1208-1213. doi:
    摘要 ( 89 )   PDF (773KB) ( 211 )     

    运动估计(ME)是视频压缩编码中的关键技术,运动估计算法对视频质量、编码复杂度和码率都有直接影响。TZSearch 算法是JMVC 参考实现中一种基于混合模板的快速搜索算法。通过提高搜索起点准确度,采用基于视频运动特性的搜索策略,采取阈值设置和大小步长相结合等方法对算法进行优化。在多视点视频编码测试平台JMVC 8.5中对多视点视频序列BallRoom、Exit进行测试。实验结果表明,与JVMC的TZSearch算法相比,在保证视频重构质量和码率增加很少的情况下,本算法编码时间减少50%以上。

    一种基于网络敏感信息挖掘的量化社会稳定分析技术框架
    王伟1,李佳静2,瓮佳佳1
    2015, 37(06): 1214-1220. doi:
    摘要 ( 101 )   PDF (892KB) ( 202 )     

    国内针对社会稳定形势的分析工作主要集中在理论、体系、指标构建方面,定量分析研究较少。提出了基于网络敏感信息挖掘、精确语义匹配和量化分析的社会稳定形势监控技术框架。对互联网新闻文本中与社会环境、民族和谐、民生幸福相关的敏感信息进行挖掘,识别热点关键词以及由该词引导的敏感事件的变化趋势,构造敏感信息知识库;建立社会稳定理论模型和计算模型,利用社会调查和迭代反馈分析法习得模型参数,实现社会稳定形势的定量评估。基于该技术构造了原型系统,对新疆、西藏等边疆六省份社会稳定形势定量分析的平均准确率达到73.72%,具有一定决策参考价值。

    区间概念格的纵向维护原理与算法
    张春英,王立亚,刘保相
    2015, 37(06): 1221-1226. doi:
    摘要 ( 88 )   PDF (810KB) ( 213 )     

    区间概念格是唯一能直接反映具备一定数量或比例的内涵中属性的对象集合的格结构。格结构是根据对象属性的二元关系构造的,形式背景中的属性是时刻变化的,为使概念格能反映属性变化后的数据规律进而提取新的规则,提出了区间概念格的纵向维护算法。算法在分析了区间概念格的概念外延特点及结构特征后,给出了区间概念格在增加属性、删除属性两种情况下的维护算法,进而通过算法分析表明了维护较重构在时间与空间上的高效性,最终用实例表明了维护算法的可行性。