1974年1月创刊(月刊)
主管/主办:重庆西南信息有限公司
ISSN 1002-137X
CN 50-1075/TP
CODEN JKIEBK
编辑中心
当期目录
2013年第5期, 刊出日期:2018-11-16
  
综述
PAM概率主题模型研究综述
余淼淼,王俊丽,赵晓东,岳晓冬
计算机科学. 2013, 40 (5): 1-7. 
摘要 ( 134 )   PDF(682KB) ( 1310 )   
参考文献 | 相关文章 | 多维度评价
近年来,主题模型逐渐成为计算机科学领域的一个研究热点,在自然语言处理、文本分类以及信息检索等方面都有很广泛的应用。介绍了概率主题模型的发展后,主要针对PAM模型及其改进的层次PAM和非参PAM进行了分析和比较,层次PAM可以更好地表达主题层次结构;非参PAM则是给定一个基于HDP的非参贝叶斯先验,对复杂结构的模型有更强的表现力。最后对PAM相关主题模型的理论及应用进行了总结,并对未来发展趋势进行了探讨。
基于全球剖分框架的多源空间信息区位关联与综合表达方法
杨宇博,程承旗,郝继刚,陆楠
计算机科学. 2013, 40 (5): 8-10. 
摘要 ( 118 )   PDF(264KB) ( 597 )   
参考文献 | 相关文章 | 多维度评价
针对全球海量多源空间信息之间关联关系建立困难的问题,提出了基于全球剖分框架的多源空间信息区位关联模型解决方案。首先,采用GeoSOT剖分框架对多源空间信息进行统一组织与管理;然后,根据提出的“对象-面片-数据”空间信息三层组织机理概念模型,设计并实现了基于全球剖分框架的多源空间信息区位关联模型;最后,进行了多源空间信息区位关联模型的综合表达应用实验。实验结果表明:本模型可以有效地建立起地理对象与多源空间信息之间的区位关联关系,可有效提升海量多源空间信息的空间关联与表达应用效能。
基于零空间分析的张量局部Fisher判别方法
郑建炜,蒋一波,王万良
计算机科学. 2013, 40 (5): 11-18. 
摘要 ( 94 )   PDF(753KB) ( 479 )   
参考文献 | 相关文章 | 多维度评价
结合局部Fisher判别、张量子空间学习和零空间分析等技术的优点,提出了一种基于零空间分析的张量局部Fisher判别算法,其特点包括:i) 引入类间判别信息,对局部Fisher判别技术进行调整,提升了算法识别性能并且降低了计算时间复杂度;ii) 通过张量型降维思想对输入样本进行双边投影变换而非单边投影,获得了更高的信息压缩率;iii) 随着训练样本量的变化,可采用基于零空间分析的求解方法和传统的直接迭代更新计算方法。通过ORL、Yale和ExYaleB 3个人脸数据库验证了所提算法的性能。
Plateaued函数的对偶性
王维琼,肖国镇
计算机科学. 2013, 40 (5): 19-20. 
摘要 ( 106 )   PDF(200KB) ( 436 )   
参考文献 | 相关文章 | 多维度评价
研究了Plateaued函数的对偶性;基于Plateaued函数对偶性的定义及函数限制的理论,得到了Plateaued函数与其对偶函数在子空间上的限制及正规性上的对应关系;利用Plateaued的对偶这一工具,得到了两个Plateaued函数的互相关平方和指标的界。
基于Agent正面情绪变化的劝说及评价模型
伍京华,孙华梅
计算机科学. 2013, 40 (5): 21-23. 
摘要 ( 114 )   PDF(236KB) ( 493 )   
参考文献 | 相关文章 | 多维度评价
Agent劝说在提高电子商务谈判自动化程度的同时也能相应提高其理性程度,因此受到广泛关注。Agent情绪变化则能影响劝说的进程和效果。对Agent劝说中的情绪变化进行分类;结合形式化理论,提出了基于Agent正面情绪变化的劝说模型,并对模型进行举例说明;为使该劝说模型有效,提出了Agent正面情绪变化度的概念;在此基础上,构建了相应的评价模型;最后通过算例对模型的有效性进行了验证。
一种信息物理融合系统行为预测模型
佘维,叶阳东
计算机科学. 2013, 40 (5): 24-30. 
摘要 ( 185 )   PDF(665KB) ( 415 )   
参考文献 | 相关文章 | 多维度评价
信息物理融合系统(CPS)是一类集成了计算系统、通信网络、传感器网络、控制系统和物理系统的新型互联系统。由于CPS内部异构单元之间的通讯、协同和交互的形式错综复杂,目前尚无统一的模型进行描述和分析,因此对其行为的建模和预测是一个难点问题。首先以混杂系统、模糊集理论和人因学方法为基础,提出一种模糊时间混合Petri网,随后通过对一类典型CPS的行为进行建模和分析,实现了CPS动态行为和状态迁移的预测,最后以仿真数据验证了模型的有效性。该模型可用于分析CPS中的物理世界连续状态和信息世界离散事件之间的联系和交互,有助于研究CPS中的不确定性问题和系统组成单元之间的异步并发关系,为CPS的行为预测、状态评估和实时控制提供了有效方法。
面向远程虚拟桌面的应用程序推送技术研究
蒋媛园,武延军
计算机科学. 2013, 40 (5): 31-34. 
摘要 ( 105 )   PDF(357KB) ( 626 )   
参考文献 | 相关文章 | 多维度评价
远程虚拟桌面是用户桌面使用环境的虚拟化,可实现对操作系统及应用程序的集中管理和高效分发、迁移,使得用户在具备基本的硬件条件下使用自己的工作环境。虚拟桌面应用程序推送方案RVDvApp是在图形指令传输过程中实现过滤机制,推送单独的应用程序到客户端,从而实现基于虚拟桌面的服务分发,使得用户可以克服异构的执行环境,获取集中部署在服务器端虚拟机上的应用程序服务。
2012多值逻辑专栏
基于CORDIC算法的高精度浮点对称矩阵特征值分解的FPGA实现
陈刚,陈旭,徐元,边昳,鲁华祥
计算机科学. 2013, 40 (5): 35-37. 
摘要 ( 288 )   PDF(211KB) ( 619 )   
参考文献 | 相关文章 | 多维度评价
为了提高实对称矩阵特征值分解算法的速度,在FPGA上设计并实现了符合IEEE-754标准的单精度浮点(32-bit)CORDIC算法,以在保证运算精度的前提下,最大限度地优化资源和速度。整个设计是在Xilinx公司的Spartan-3xc3sd1800a-5FPGA上实现的。测试结果显示:1)对于3*3的实对称矩阵(每个矩阵元素是32-bit浮点数),精度达到2-20;2)设计实现的结构占用2467个 slices,占芯片总资源的14%,最高运行时钟频率达到154MHz。
基于MILS CORBA的多级安全分区通信机制
崔西宁,王聪琳,裴庆祺,李亚晖,沈玉龙
计算机科学. 2013, 40 (5): 38-41. 
摘要 ( 290 )   PDF(357KB) ( 588 )   
参考文献 | 相关文章 | 多维度评价
随着航空电子系统的飞速发展,机载操作系统对保证不同安全关键级别的软件互不影响越来越严格,面对这种情况,多重独立安全级别(MILS)嵌入式操作系统应运而生。MILS架构的中间件层采用实时CORBA技术。同时MILS CORBA架构采用分区通信机制进行通信。为了满足分区通信的安全性和MILS架构对分区密级的严格控制,设计了基于实时CORBA技术的MILS架构的多级安全分区通信机制。提出了将MILS IOP作为实时CORBA的一部分来实现MILS CORBA架构的多级安全分区通信的机制。整个机制保证了不同密级的数据安全独立的传输,同时也了保证系统的整体安全性。
基于模糊逻辑的几类Kripke结构之间的关系
潘海玉,张敏,陈仪香
计算机科学. 2013, 40 (5): 42-44. 
摘要 ( 193 )   PDF(208KB) ( 728 )   
参考文献 | 相关文章 | 多维度评价
根据初始状态、状态之间的转换关系和命题赋值函数是否为分明的,模糊Kripke结构可分为8类。提出将模糊计算树逻辑作为判断模糊Kripke结构之间是否是等价的依据;详细讨论了8种模糊Kripke结构之间的关系。这些结论为设计应用中模型的合理选取提供了理论依据,也为解决模糊计算树逻辑的模型检测问题提供了一种新的方法。
模糊规则组的谐调度
冯定芸,于福生,王晓
计算机科学. 2013, 40 (5): 45-47. 
摘要 ( 138 )   PDF(225KB) ( 420 )   
参考文献 | 相关文章 | 多维度评价
模糊规则库谐调性是规则库研究中的重要内容。在决定一组新来的模糊规则可否加入到已有规则库时,需要知道它对已有规则库的谐调程度。利用模糊关系方程理论和贴近度定义了模糊规则组之间的谐调度。实验表明此定义能很好地容纳相容规则并排除矛盾规则,这对于知识库的建立和维护是至关重要的。
命题逻辑公式中的冗余子句及冗余文字
翟翠红,秦克云
计算机科学. 2013, 40 (5): 48-50. 
摘要 ( 162 )   PDF(196KB) ( 652 )   
参考文献 | 相关文章 | 多维度评价
主要研究命题逻辑公式中的冗余子句和冗余文字。针对子句集中必需的、有用的、无用的子句,分别给出了一些等价描述方法,进而讨论子句集的无冗余等价子集。另外,得到了子句集中冗余文字的判别方法,借助可满足性给出了冗余子句的一种等价条件。上述结果为命题逻辑公式的化简奠定了一些理论基础。
AADL在中断控制系统建模中的应用
任飞,谯婷婷,刘俊波,邵杨锋
计算机科学. 2013, 40 (5): 51-53. 
摘要 ( 161 )   PDF(326KB) ( 467 )   
参考文献 | 相关文章 | 多维度评价
随着中断控制在嵌入式实时系统中的不断广泛应用,中断控制的可靠性是系统设计中面临的重要问题。虽然基于体系结构分析与设计语言(AADL)的形式化方法为这一问题的解决提供了思路,但AADL自身缺少 有效的元素和 方法来描述和建模中断。为此,提出一种结合AADL与中断控制器的中断控制系统设计方法,并运用GSPN可靠性计算模型对可靠性进行分析,从而为AADL在航电系统中的应用提供了思路。
基于相似关系的社会集合论
李金屏,黄艺美
计算机科学. 2013, 40 (5): 54-57. 
摘要 ( 126 )   PDF(290KB) ( 406 )   
参考文献 | 相关文章 | 多维度评价
在利用经典相容关系研究人际关系的基础上,引入了人际关系中的模糊属性。利用截集的概念,研究了满足模糊相容关系即相似关系下的人际关系中社会交际圈的划分、成员活跃度和成员完成各项任务的代价等,并给出了相关算法和讨论。计算结果表明,该模型能够有效描述满足相似关系的社会关系网络。
网络与通信
基于代理的移动云服务访问机制的研究与实现
张拥军,史殿习,肖玺,吴振东,丁博
计算机科学. 2013, 40 (5): 58-61. 
摘要 ( 136 )   PDF(1196KB) ( 376 )   
参考文献 | 相关文章 | 多维度评价
移动设备的计算能力、存储能力、网络带宽、电池续航等都非常受限,而且现有的云服务基本没有针对移动设备的上述特点做优化,严重降低了移动设备访问云服务的质量。针对存在的问题,提出了面向移动设备的数据传输格式优化模型和服务Mashup模型,设计并实现了一个基于代理的移动云服务访问框架,使得移动设备通过代理服务器来访问云服务。在4种不同情况下对移动设备的服务请求响应时间、响应结果处理时间、请求响应流量和能耗分别进行了测试,结果表明实现的框架具有一定的实际意义。
基于支点的数据中心网络地址快速自动配置方法研究
张赣,梁伟,毕经平,邵定宏
计算机科学. 2013, 40 (5): 62-66. 
摘要 ( 138 )   PDF(407KB) ( 461 )   
参考文献 | 相关文章 | 多维度评价
目前云计算数据中心规模大,网络设备多,手动配置设备地址不但耗时耗力,而且容易出错。已有自动配置工作未能充分利用数据中心网络拓扑结构特征,导致从规划设计到实际设备配置的映射过程回溯步骤多,效率低。为此,提出了一种基于支点的数据中心网络地址快速自动配置方法PFAC(Pivot-based Fast Automatic Configuration)。PFAC通过预处理分析数据中心网络拓扑层次关系,依据拓扑特征优选支点完成快速匹配,并基于支点缩小配置映射节点的候选集,有效提高了配置效率。基于FatTree结构的模拟实验表明,PFAC能够根据数据中心网络规划蓝图,自动快速地为物理设备分配地址。与经典数据中心网络地址配置方法相比,PFAC算法平均耗时缩短了35%。
卫星网络业务自相似特性分析
魏德宾,潘成胜,韩睿
计算机科学. 2013, 40 (5): 67-69. 
摘要 ( 120 )   PDF(305KB) ( 507 )   
参考文献 | 相关文章 | 多维度评价
根据分包数据系统的星上数据源特点及随机过程理论,得到星上数据源的模型参数。进一步利用STK和OPNET软件建立卫星网络模型,依据数据源的建模结果为低轨卫星添加业务,并在高轨卫星处收集网络业务量。最后,分别运用R/S分析法、方差-时间图法和周期图法对收集到的卫星网络业务量的自相似程度和突发性的重要参数——Hurst参数进行辨识。仿真结果表明卫星网络业务量也具有自相似性。
基于耦合系数的无标度网络模型(BA-S)的中心化研究
刘玉华,郑梅容,许凯华,徐翠
计算机科学. 2013, 40 (5): 70-73. 
摘要 ( 123 )   PDF(396KB) ( 371 )   
参考文献 | 相关文章 | 多维度评价
针对基于耦合系数的无标度网络演化模型中的节点进行中心化研究,首先对常用的中心化指标进行了分析,接着对经典的无标度(BA)模型和演化的BA-S模型中各节点的几种指标进行了累积概率分布研究,最后对两种模型的中心化程度和效率进行了中心化测试对比研究,结果证明,演化的BA-S模型较BA模型具有更强的鲁棒性以及抗故障的能力。
基于波达方向的Steiner多天线信道估计算法
卢照敢,杨永强,马小飞,刘龙
计算机科学. 2013, 40 (5): 74-77. 
摘要 ( 108 )   PDF(326KB) ( 484 )   
参考文献 | 相关文章 | 多维度评价
针对多天线OFDM系统中时域信道训练符号采用非正化的数字序列 而导致其矩阵求逆运算计算复杂度高的问题,采用多用户CDMA系统上行链路的信道训练符号设计方法,提出了多天线Steiner信道估计方法。该方法通过时域途径设计的训练符号,使所有发射天线的训练符号矩阵成为一个循环矩阵,从而接收机可用离散傅立叶变换矩阵进行对角化,避免了信道估计矩阵求逆运算。同时,根据Steiner初始信道估计分离出每条路径的有用信息,再用每条路径的空间冲激响应来估计该路径信号的波达方向(Direction of Arrival,DOA),去除天线间接收信号的相干性,有效地利用空间信息提高Steiner信道估计的精度。实验结果表明,通过估计接收信号在每个接收天线上的波达方向角,基于波达方向的Steiner估计算法,在QPSK调制模式下获得了近0.5dB的性能提升,而在16QAM调制方式下可获得近2dB的信噪比增益。
无线传感器网络能量均衡的非均匀分簇算法
卢先领,王莹莹,王洪斌,徐保国
计算机科学. 2013, 40 (5): 78-81. 
摘要 ( 109 )   PDF(333KB) ( 407 )   
参考文献 | 相关文章 | 多维度评价
无线传感器网络节点随机分布,针对均匀分簇容易造成网络中能耗不均的问题,提出一种能量均衡的非均匀分簇算法EBUCA(Energy-Balanced Unequal Clstering Algorithm)。该算法在簇头选举阶段,根据节点的剩余能量、节点所在区域稀疏程度来保证簇头的均匀分布;同时结合各簇头所在区域的节点密度与距sink节点的距离来构造大小不等的簇半径,使节点所在区域密度大或距离基站较近的簇半径较小,平衡了簇内和簇间的通信能耗。仿真结果表明与LEACH、DBCP、EEUC算法相比,EBUCA算法能够有效地均衡节点能耗,延长网络生命周期。
一种基于Duffing系统实现混沌掩盖通信的方法
韩建群,伦淑娴
计算机科学. 2013, 40 (5): 82-84. 
摘要 ( 111 )   PDF(482KB) ( 374 )   
参考文献 | 相关文章 | 多维度评价
Duffing方程是一种重要的动力系统。研究了该系统的数学模型,通过变量分解的方法改变了系统的结构,并证明了运用新结构的Duffing系统实现混沌掩盖的合理性,最后给出了新Duffing系统的运行轨迹和混沌掩盖通信的解调结果。仿真结果表明,所提出的方法是正确有效的。
绿色计算背景下的网络管理研究
李亚,彭海云,尚小溥,张润彤
计算机科学. 2013, 40 (5): 85-88. 
摘要 ( 112 )   PDF(371KB) ( 365 )   
参考文献 | 相关文章 | 多维度评价
随着IT技术的不断发展,IT行业在整个节能减排环节中占据的地位越来越高,由此提出了绿色计算、绿色网络等概念。从绿色网络的概念入手,分析网络中主要设备的节能方式和可能性,提出了在网络管理中增加能耗管理的功能,研究并提出了实现能耗管理应具备的MIB信息,并设计了能耗监视、控制和统计的实施方案,从而可以对网络中的能耗进行定量监视和控制,为绿色节能网络的建立提供全面的监控和管理。
基于退火算法的动态负载均衡研究
孙峻文,周良,丁秋林
计算机科学. 2013, 40 (5): 89-92. 
摘要 ( 188 )   PDF(381KB) ( 755 )   
参考文献 | 相关文章 | 多维度评价
分析现有服务器集群的动态负载平衡算法的特点和劣势,结合模拟退火算法和动态加权轮询算法的优势,提出一种动态负载平衡模型和解决方法。该模型使用模拟退火算法,自适应并且精确地确定性能权重向量,利用动态加权轮询算法,实时计算应用服务器负载,动态分配请求。通过该方法可以获得更合理的性能权重向量,有效地分配服务器负载,充分地利用服务器计算能力。实验结果表明,在负载逐渐提高的情况下,该算法保持了良好的平均响应时间和吞吐量,并且优于对比算法。
基于时空相关的H.264多参考帧快速选择算法
仲伟波,孟艳茹
计算机科学. 2013, 40 (5): 93-96. 
摘要 ( 133 )   PDF(347KB) ( 594 )   
参考文献 | 相关文章 | 多维度评价
H.264/AVC视频编码标准采用的多参考帧技术改善了视频质量,但同时也增加了编码复杂度。为避免搜索多余的参考帧,提高H.264编码器的编码效率,基于视频序列帧间具有较强时间相关性、相邻宏块具有较强时空相关性,提出了一种多参考帧选择算法。该算法根据视频序列的帧间时间相关程度确定参考帧个数;由相邻宏块的时空相关性自适应确定当前宏块的编码模式及其最佳参考帧。实验结果表明,与校验模型JM16.2相比,该算法在编码质量几乎不变的情况下,平均可节约60%的编码时间。
一种基于IPv6和低功耗蓝牙的物联网体系结构
王剑锋,陈灿峰,刘嘉,郗闽军
计算机科学. 2013, 40 (5): 97-102. 
摘要 ( 129 )   PDF(531KB) ( 879 )   
参考文献 | 相关文章 | 多维度评价
无线传感器网络是一种有效的感知和研究物理世界的媒介,如何把无线传感器网络与因特网更好地融合是当前研究的热点。提出了一种低功耗蓝牙节点和因特网互联的体系结构,它完全基于IPv6架构,能为无线传感器网络和因特网的节点提供端到端的IPv6连接。介绍了如何在能量和处理能力受限制的低功耗蓝牙节点上实现轻量级的IPv6协议栈,并且根据低功耗蓝牙传感节点的特性,设计和实现了IPv6报头压缩、数据包的分段与重组等功能;同时在应用层 实现 了CoAP协议。实际测量结果表明,本系统传输延迟时间小,低功耗蓝牙节点具有较低的存储和能量消耗,可以满足长时间运行的需求。
基于文化社会认知算法的云服务优化组合研究
刘志中,王志坚,薛霄,鲁保云
计算机科学. 2013, 40 (5): 103-106. 
摘要 ( 133 )   PDF(427KB) ( 388 )   
参考文献 | 相关文章 | 多维度评价
QoS感知的云服务优化组合是云计算领域亟需解决的问题。针对该问题,首先对社会认知算法进行了改进,然后将改进的社会认知算法纳入文化算法的框架之内,构造了新颖的文化社会认知算法,并采用该算法解决QoS感知的云服务优化组合问题。实验结果表明,文化社会认知算法在求解云服务优化组合问题时具有较强的搜索能力和较快的收敛速度;同时,该算法具有很强的推广性,可以用来求解其他类似的组合优化问题。
基于业务量的自适应IEEE802.16e休眠机制
杨磊磊,黎海涛
计算机科学. 2013, 40 (5): 107-109. 
摘要 ( 124 )   PDF(243KB) ( 414 )   
参考文献 | 相关文章 | 多维度评价
IEEE802.16系统中引入休眠模式来减小终端的能量消耗以及对服务基站空口资源的占用。为了进一步有效提高终端的省电率,提出了一种基于业务量的自适应休眠机制。它能够根据终端当前的业务繁忙程度动态调整其工作模式,有效地避免了终端在普通模式与休眠模式之间频繁切换。通过建立该休眠机制的马尔科夫模型,分析了终端平均功率消耗、平均时延与计数器门限值之间的关系。仿真结果表明,与标准的指数增长算法相比,提出的休眠机制能量节省率至少可提高30%。
一种基于能力的模糊Web服务聚类及预检索算法
赵文栋,张进,彭来献,田畅
计算机科学. 2013, 40 (5): 110-114. 
摘要 ( 95 )   PDF(381KB) ( 340 )   
参考文献 | 相关文章 | 多维度评价
实现对Web服务的自动聚类,是提高Web服务发现速度的有效方式之一。针对常用聚类算法在实现服务聚类时需要获取网内所有服务或通过服务训练集来发掘领域内服务特征,不适用于动态服务环境的问题,提出了服务能力的概念,并给出了服务能力描述及计算的方法。借助本体技术,提出了一种基于服务能力的聚类算法。无需先验知识或服务间相似度的比较,该算法可将服务能力及功能相似的服务聚类在一起。在此基础之上,提出了一种服务预检索算法。理论分析及仿真结果表明,聚类算法可有效地反映领域内服务基于功能的聚类特征,预检索算法可有效地滤除无关服务,提高服务检索效率。
无线传感器网络在室内定位中的应用研究
吴彬,李俊娥
计算机科学. 2013, 40 (5): 115-117. 
摘要 ( 148 )   PDF(250KB) ( 422 )   
参考文献 | 相关文章 | 多维度评价
室内定位受到地板、墙壁、人员走动等因素的影响,易产生多径现象,使信号严重衰减,从而导致基于接收信号强度(RSSI)算法难以获得较高定位精度。为了提高室内环境下的无线传感器定位精度,针对室内特有的特点,利用RSSI和质心定位算法优点,提出一种组合的室内传感器节点定位方法。首先利用预先布置好的信标节点,读取目标节点的RSSI值,然后把RSSI值作为质心定位算法的权值,通过质心算法得到目标节点坐标,最后进行测试实验。结果表明,组合算法具有计算量小、定位精度高等优点,能够很好地满足室内环境定位要求。
基于统计学的无线Mesh网络路由协议
王宏飞,牟荣增,阎跃鹏
计算机科学. 2013, 40 (5): 118-121. 
摘要 ( 104 )   PDF(605KB) ( 570 )   
参考文献 | 相关文章 | 多维度评价
传统的无线Mesh网络(WMN)路由协议利用路由管理帧携带的路由信息来维护路由。无线环境的不稳定性可能导致路由管理帧丢失,使路由协议无法及时获取正确的路由信息,从而降低网络性能。介绍了一种基于统计学原理的无线Mesh网络路由协议B.A.T.M.A.N.(Better Approach To Mobile Ad-hoc Networking) 。该协议通过统计路由管理帧的投递成功率来选择最优路径,消除了路由管理帧丢失对路由协议的影响。通过与OLSR的测试对比表明,B.A.T.M.A.N.在无线Mesh网络中有更好的性能表现,更适用于移动网络。
一种低复杂度定位算法的设计与实现
黄沛昱,蒋子泉
计算机科学. 2013, 40 (5): 122-125. 
摘要 ( 102 )   PDF(367KB) ( 495 )   
参考文献 | 相关文章 | 多维度评价
目前,基于定位技术的应用已经成为最具发展潜力的物联网业务之一。物联网感知层传感节点受自身功耗和处理能力的限制,无法直接求解无线定位算法方程。对传统三边测量定位算法进行改进,通过几何近似求解的方法,只需要进行简单的比较、加减、乘除运算,即可获取节点的位置信息。该算法在求解过程中引入了一定的误差值,但大幅降低了定位算法的求解复杂度,为低运算能力的微控制器直接定位提供了一种可行的解决方案。经过定位实验评估, 该算法在文中实验条件下的平均定位误差为1.18m,可满足多数中小场景范围定位的要求。
信息安全
一种基于脏页面延迟拷贝的虚拟机动态内存迁移方法
张伟,张晓霞,王汝传
计算机科学. 2013, 40 (5): 126-130. 
摘要 ( 116 )   PDF(544KB) ( 570 )   
参考文献 | 相关文章 | 多维度评价
通过对虚拟机动态内存迁移过程中内存页面状态的分析,针对预拷贝算法中脏页面可能被重传这一特点,提出一种基于脏页面预测的迭代传送方法。该方法基于时间局部性原理,在页面迭代传送前对页面未来的变脏程度进行预测,根据预测结果对页面进行状态分类,并对处于不同状态的页面采取相应的传送策略。实验证明,与Xen采取的动态迁移方法相比,提出的方法减少了近10%的迁移总量。
标准模型下可证安全的基于身份的门限环签密方案
孙华,王爱民,郑雪峰
计算机科学. 2013, 40 (5): 131-135. 
摘要 ( 109 )   PDF(386KB) ( 407 )   
参考文献 | 相关文章 | 多维度评价
签密是一个能够同时提供认证性和保密性的密码学术语,而它却比分别签名和加密具有更低的计算成本。环签密除具有签密的一般属性外,还具有匿名性。为了设计基于身份的门限环签密方案,利用秘密共享和双线性对技术, 提出了一种标准模型下基于身份的门限环签密方案,并对方案的安全性进行了分析。最后,通过计算Diffie-Hellman问题和判定性Diffie-Hellman问题的困难性,证明了该方案在适应性选择消息和身份攻击下的不可伪造性以及在适应性选择密文攻击下的不可区分性。
基于双线性对的部分盲签名中的“约分攻击”
侯整风,王鑫,韩江洪,朱晓玲
计算机科学. 2013, 40 (5): 136-140. 
摘要 ( 121 )   PDF(359KB) ( 441 )   
参考文献 | 相关文章 | 多维度评价
研究了3个基于双线性对的部分盲签名方案,发现其签名公式存在相似性。随后对3种相应的“约分攻击”方法进行了对比分析,指出上述3个方案存在篡改协商信息攻击的根本原因。由上述分析结果得出一类基于双线性对的部分盲签名方案存在“约分攻击”的推论,并进一步对上述推论进行了验证。
基于形式化逻辑矩阵的结构化P2P蠕虫对抗模型
唐浩坤,刘宴兵,黄俊,张衡
计算机科学. 2013, 40 (5): 141-146. 
摘要 ( 121 )   PDF(558KB) ( 435 )   
参考文献 | 相关文章 | 多维度评价
良性蠕虫对抗恶性蠕虫是结构化P2P环境下应对蠕虫攻击的有效手段之一,但是已有模型对对抗环境下蠕虫传播过程的描述过于复杂。针对这个问题,提出一种简单的结构化P2P蠕虫对抗模型。该模型利用逻辑矩阵对结构化P2P网络中恶性蠕虫与良性蠕虫的对抗传播过程进行形式化描述,借助模型可以快速地推导出对抗环境下影响恶性P2P蠕虫传播效率的关键因素。此外考虑到P2P节点搅动特征对蠕虫传播的重大影响,将节点变化率引入到模型中,以提高模型的准确性。实验表明,借助形式化逻辑矩阵能有效地降低对抗环境下蠕虫传播模型的复杂度,快速地发现制约蠕虫传播的关键因素,为后续的蠕虫防御提供指导。
一种基于混沌序列的安全网络编码设计与分析
徐光宪,李晓彤,罗荟荟
计算机科学. 2013, 40 (5): 147-149. 
摘要 ( 118 )   PDF(331KB) ( 327 )   
参考文献 | 相关文章 | 多维度评价
提出了一种低开销的安全网络编码方案。该方案利用混沌序列较高的随机性和对初始条件极度敏感的特性,将混沌序列与原始信源消息向量相结合,构造出“一次一密”的密码体制,从而实现该编码方案的完善保密性。该方案仅在原随机网络编码体制的基础上对信源进行了改变,中间节点保持不变,具有普遍通用性;并且在信源处仅加入一个干扰信号来保证编码方案的安全性。理论分析结果表明,在攻击者具有有限窃听能力的情况下,该安全网络编码方案可以保证完善其保密性,且发送信号的开销最小。
面向论坛网络的观点传播与舆情形成模型
徐会杰,蔡皖东,陈桂茸,王剑平
计算机科学. 2013, 40 (5): 150-152. 
摘要 ( 116 )   PDF(337KB) ( 447 )   
参考文献 | 相关文章 | 多维度评价
根据网络论坛的信息传播规律和用户交互特性,提出了一个基于节点影响力的离散时间观点传播与舆情形成模型。在该模型中,节点具有自我影响力和观点值,并且节点影响力被定义为网络中边的权值,节点在每一个周期内重新分配权值并更新它们的观点。节点观点收敛于某一定值时,形成网络舆情。仿真结果表明,所提模型可以准确地体现节点观点的动态交互特性和收敛特征,并可为舆情传播趋势的预测研究提供依据。
基于身份的代理重签名广播签密方案
李超零,陈越,王成良,李文俊,王双进
计算机科学. 2013, 40 (5): 153-157. 
摘要 ( 126 )   PDF(443KB) ( 405 )   
参考文献 | 相关文章 | 多维度评价
针对云计算组数据共享等应用中的数据机密性和完整性需求,提出了一种基于身份的代理重签名广播签密方案,该方案能通过执行一次代理重签名将原签密者的广播签密转换为重签密者的广播签密。利用计算性双线性Diffie-Hellman问题和计算性Diffie-Hellman问题的困难性假设,证明了方案在选择多身份、适应性选择密文攻击下具有不可区分性,在选择多身份选择消息攻击下具有不可伪造性。该方案具有公开可验证性,支持任何第三方对签密正确性的验证。最后,给出了方案在云计算组数据共享中的应用实例。
标准模型下高效的基于身份可净化签名方案
明洋,李瑞
计算机科学. 2013, 40 (5): 158-163. 
摘要 ( 130 )   PDF(421KB) ( 537 )   
参考文献 | 相关文章 | 多维度评价
可净化签名方案中,净化者能够修改原消息的特定部分,不必与签名者交互就能生成修改消息的有效签名。利用双线性对,基于Waters技术和Li技术,提出一个标准模型下安全的基于身份可净化签名方案。安全性分析表明,所提方案能够满足不可伪造性、不可区分性和不可变性。和现有标准模型下安全方案相比,该方案计算效率高、通信代价小。
软件与数据库技术
统计策略序列模式挖掘及其在软件缺陷预测中的应用
唐磊,李春平,杨柳
计算机科学. 2013, 40 (5): 164-167. 
摘要 ( 120 )   PDF(405KB) ( 429 )   
参考文献 | 相关文章 | 多维度评价
人类的生活越来越依赖于高可靠性和可用性的软件系统,软件缺陷一直是软件工程领域中研究最活跃的内容之一。在研究序列模式挖掘技术的基础上,介绍了软件缺陷预测的相关技术,设计了一种基于统计策略的序列模式挖掘算法的软件缺陷预测方案,实现了InfoMiner和STAMP两种模式挖掘算法、卡方检验特征选择和SVM等分类算法;构造了一个软件缺陷预测模型,实现了预测和发现软件系统中的未知缺陷的功能。实验结果表明,所提软件预测模型可以获得良好的预测结果,具有一定的使用价值和应用前景。
一种适用于复合术语的本体概念学习方法
李江华,时鹏,胡长军
计算机科学. 2013, 40 (5): 168-172. 
摘要 ( 116 )   PDF(479KB) ( 411 )   
参考文献 | 相关文章 | 多维度评价
术语的提取显然在本体概念学习中起着重要作用,由于汉语文本中词与词之间没有明显的界限,使得领域术语特别是复合术语的提取尤为困难。针对传统提取方法缺乏语义支持、计算量大、准确率低等不足,提出了一种适用于复合术语提取的本体概念学习方法。首先利用自然语言处理技术过滤掉与术语无关的成分,对语句进行自然切割,为领域术语提取提供完整的候选数据集,以保证候选领域复合术语不被误分。在此基础上,根据术语的领域统计和分布特征,利用术语频率和信息熵进行多策略的领域术语筛选,经同义术语识别与合并,获得领域概念集。经实验验证,提出的方法能够以较高的准确率从领域文本中提取出领域单词术语和复合术语。
考虑历史数据的软件可信演化分析方法
赵倩,冯光升,李莉
计算机科学. 2013, 40 (5): 173-176. 
摘要 ( 123 )   PDF(621KB) ( 373 )   
参考文献 | 相关文章 | 多维度评价
针对软件可信演化中对软件可信性相关属性的需求,提出一种考虑历史数据的软件可信演化分析方法。通过收集软件演化的历史数据,提取软件可信演化相关属性并进行量化,建立软件可信演化着色原则,构建软件可信演化分析图。实验结果表明,通过对软件可信演化分析图中演化单元的观察,可实时、有效、直观地得到内嵌在演化数据中的隐藏信息,以此分析出软件演化是否为可信演化,从而为演化数据的分析提供支持。
UML状态机模型元素的RSL形式化定义
郭艳燕,刘惊雷
计算机科学. 2013, 40 (5): 177-183. 
摘要 ( 132 )   PDF(549KB) ( 446 )   
参考文献 | 相关文章 | 多维度评价
UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述。首先将UML状态机抽象成图;再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一个基于UML状态机的有穷自动机;然后用RAISE规约语言RSL对扩展后的自动机进行形式化定义,使UML状态机中的模型元素的语义更加清晰、精确,为后期的UML状态机的操作语义形式化研究打下基础。
一种基于污点数据传播和无干扰理论的软件行为可信性分析模型
陈曙,叶俊民,张帆
计算机科学. 2013, 40 (5): 184-188. 
摘要 ( 267 )   PDF(691KB) ( 390 )   
参考文献 | 相关文章 | 多维度评价
以无干扰理论为基础,提出了一种基于污点数据流的软件行为可信分析模型。该模型通过跟踪程序外部输入的污点数据,提取可能引发系统不可信的关键系统调用,并建立污点传播调用序列。利用完整性条件下的污点信息流无干扰模型来判定构成污点传播的系统调用序列执行时是否可信,并给出了调用序列可信性判定定理。
面向典型宇航产品的工艺知识库研究
郭亚飞,侯俊杰,石胜友
计算机科学. 2013, 40 (5): 189-192. 
摘要 ( 100 )   PDF(668KB) ( 389 )   
参考文献 | 相关文章 | 多维度评价
我国航天事业的快速发展对构建面向典型宇航产品的工艺知识库提出了迫切的需求。在对典型宇航产品工艺知识研究的基础上,针对典型宇航产品工艺知识的特点,构建了基础资源类知识、工艺方案类知识和工艺经验类知识表示模型,设计了面向典型宇航产品的工艺知识库,并通过典型宇航产品工艺知识库原型系统验证了知识库的实用性。
基于Petri网的临床路径评估与优化
田燕,马晓普,张新刚,张婷
计算机科学. 2013, 40 (5): 193-197. 
摘要 ( 93 )   PDF(408KB) ( 387 )   
参考文献 | 相关文章 | 多维度评价
为了对临床路径进行定量评估和优化,利用分层赋时着色Petri网进行建模分析,并以某医院乳腺癌临床路径为例,根据患者到达的时间分布规律,通过设置调整相关参数,在CPN Tools 3.4平台上进行仿真测试,得到了各时段住院天数、费用、最短住院天数资源配置等数据,从而为临床路径的定制、筛选和优化提供了有效的参考与支持。
一种非归并不确定XML小枝模式查询算法
刘立新,张晓琳,吕庆,张换香,褚艳华
计算机科学. 2013, 40 (5): 198-200. 
摘要 ( 79 )   PDF(311KB) ( 455 )   
参考文献 | 相关文章 | 多维度评价
针对目前不确定XML小枝模式查询需要存储大量中间结果和归并中间结果的情况,提出一种非归并不确定XML小枝模式查询算法ProTwigList。该算法查询之前通过Tag+Level流进行剪枝,以减少待处理节点的数目;并扩展了区间编码来对剪枝后剩余的普通节点进行编码,用一定规则对分布节点进行标识;查询时采用公共分布节点路径的方法处理分布结点,最后结合最低公共祖先节点的概率计算查询结果的概率值。理论分析和实验结果证明了ProTwigList算法的查询效率。
基于非完全吸收马尔科夫链的多文档自动文摘算法
高晶,房俊
计算机科学. 2013, 40 (5): 201-205. 
摘要 ( 107 )   PDF(382KB) ( 535 )   
参考文献 | 相关文章 | 多维度评价
吸收马尔科夫链模型在自动文摘领域的有效性已经证实。然而,此模型中的平均期望历经次数需要通过矩阵求逆得到,所以模型的时间复杂度很高。此外,由于自身的局限性,它也无法利用除句子间相互关系以外的其它信息。针对此问题建立了一个新的模型:非完全吸收马尔科夫链;并以此为基础提出了一个新的多文档文摘算法。证明了吸收马尔科夫链的平均期望历经次数与对应的非完全吸收马尔科夫链的稳态概率分布的等价性,而后者可通过迭代求解。同时,这个新的模型还可以引入除句子间相互关系以外的其它信息,从而生成更准确的文摘。在TAC2011上的实验证实了该模型的有效性。
人工智能
一种基于双数组Trie的B2B规则串提取方法
李慧,杨炳儒,潘丽芳,钱文彬
计算机科学. 2013, 40 (5): 206-208. 
摘要 ( 89 )   PDF(317KB) ( 487 )   
参考文献 | 相关文章 | 多维度评价
针对B2B垂直搜索引擎中提取产品规格信息困难的问题,提出了一种基于双数组Trie(Double-Array Trie)的规则串提取方法。该方法针对B2B系统中“参数名:参数值”字符串的规则特征构建规则串,生成双数组Trie树;并优先处理分支结点最多的子树,来提高存储效率。该方法对搜索文本进行一次扫描就能得到所有规则串;通过在规则中加入约束条件,对候选串进行有效过滤,以提高规则串的提取准确率。实验表明,该方法能够降低传统规则串查找的算法复杂度,查找规则串的时间复杂度是O(n)。
基于小波变换的动态关联规则元规则GM(1,1)挖掘
张忠林,许凡
计算机科学. 2013, 40 (5): 209-212. 
摘要 ( 102 )   PDF(390KB) ( 412 )   
参考文献 | 相关文章 | 多维度评价
提出了一种把小波变换应用到动态关联规则元规则挖掘中并提高规则预测精度的方法。该方法首先利用小波变换技术对挖掘出的动态关联规则元规则支持度计数进行变换,然后通过小波变换的多分辨率特点提取出近似部分和细节部分,并利用这两部分别进行单支重构,随后利用GM(1,1)对重构的两部分进行预测,从而得到最后的预测结果,最后通过实验证明了该方法具有较高的预测精度。
求解带容量约束的车辆路径问题的改进伊藤算法
易云飞,蔡永乐,董文永,林郭隆
计算机科学. 2013, 40 (5): 213-216. 
摘要 ( 101 )   PDF(332KB) ( 692 )   
参考文献 | 相关文章 | 多维度评价
针对车辆路径问题中路径选择未能确定的缺陷,引入蚁群算法对客户点选取规则进行决策。此外,采用冷却进度表作为控制温度变化的参数,将漂移和波动过程同步进行来改进根据伊藤随机过程而设计的伊藤算法,并将改进后的算法应用于CVRP的求解。实验结果表明,改进后的算法能有效求解带容量约束的车辆路径问题,取得了理想的结果。
基于多变异粒子群优化算法的模糊关联规则挖掘
王飞,缑锦
计算机科学. 2013, 40 (5): 217-223. 
摘要 ( 135 )   PDF(555KB) ( 417 )   
参考文献 | 相关文章 | 多维度评价
针对事务数据库中连续型数值较难划分及粒子群优化算法易陷入局部最优的问题,提出一种用多变异粒子群优化算法进行模糊关联规则提取的框架,即先对连续型数值进行模糊区间划分,再通过多变异粒子群优化算法对划分结果进行模糊关联规则挖掘。分别对模糊划分方法和多变异粒子群优化算法的相关参数及框架等进行说明。在多组实验中进行比较分析,结果表明了该方法的准确性和有效性。
广义加权Minkowski距离及量子遗传聚类算法
钱国红,黄德才,陆亿红
计算机科学. 2013, 40 (5): 224-228. 
摘要 ( 146 )   PDF(401KB) ( 370 )   
参考文献 | 相关文章 | 多维度评价
相异度和相似度度量是聚类算法中非常重要的一种因素,往往会影响到聚类分析的结果。很多聚类算法采用欧式距离作为计算数据相似度的度量。而欧式距离不能反映属性值的全局特性,且不顾及各属性之间的量纲差异,因此当不同属性间具有明显量纲或值域差异时,不能取得很好的效果。对此,提出了一种广义加权Minkowski距离,即由各属性的量纲和值域信息来确定各属性的广义权值,既考虑了整个数据集的特性,又消除了各属性之间的不和谐,同时分位数的引进在一定程度上减弱了噪声属性值对距离度量的影响。将提出的新的距离度量用于经典的k-means算法和量子遗传聚类算法,实验结果表明,采用新的距离度量和引进量子遗传算法的聚类是更加有效的。
基于量子进化算法的移动机器人实时路径规划
申晓宁,谢文武
计算机科学. 2013, 40 (5): 229-232. 
摘要 ( 112 )   PDF(681KB) ( 439 )   
参考文献 | 相关文章 | 多维度评价
提出一种改进的量子进化算法来解决机器人实时路径规划问题。采用栅格法对环境建模,给出一种新型的解码方法来将量子个体转换为用栅格点表示的路径。在量子旋转门的基础上,引进遗传算法中的交叉和变异操作以及专门针对路径规划问题设计的修复算子,共同对量子种群进行更新,提升了算法的搜索效率。借助Matlab图形用户界面GUI实现对机器人实时路径规划过程的模拟,仿真结果表明,所提方法能够在较复杂的环境中规划出可行且长度较短的路径,且当环境中出现新的障碍物或原有障碍物向不同方向移动时,该方法均能及时地响应,重新规划出新的最优路径。
基于量子免疫算法的车辆调度问题优化
任伟
计算机科学. 2013, 40 (5): 233-236. 
摘要 ( 116 )   PDF(410KB) ( 549 )   
参考文献 | 相关文章 | 多维度评价
为优化带时间窗的车辆调度计算问题,引入量子进化算法,提出了一种混合量子免疫进化算法。首先对传统量子旋转门进行改进,使个体在进化过程中向全局最优位置靠近,从而避免算法早熟并保持种群多样性。其次在迭代过程中,引入免疫算子,提取优秀基因片段作为疫苗,接种到种群中其他个体,避免算法性能的倒退。最后,针对Solomon标准实例库实例数据进行多算法编码仿真实验,结果表明,所提混合量子免疫进化算法不仅能够有效解决类似问题,而且能够显著加速收敛。
函数P-集合与内P-信息规律依赖内-挖掘
赵树理,张环理,史开泉
计算机科学. 2013, 40 (5): 237-241. 
摘要 ( 102 )   PDF(370KB) ( 400 )   
参考文献 | 相关文章 | 多维度评价
函数P-集合(function packet sets)是把函数概念引入到P-集合(packet sets)内,改进P-集合得到的,函数P-集合具有动态特性、规律(函数)特性。函数P-集合是由函数内P-集合S (function internal packet set S)与函数外P-集合SF (function outer packet set SF)构成的函数集合对;或者,(S,SF)是函数P-集合。利用函数内P-集合给出内P-信息规律生成概念、内P-信息规律生成的属性定理、内P-信息规律依赖特征与数据损失定理、内P-信息规律依赖生成的信息规律变轨特征,并给出未知内P-信息规律依赖内-挖掘及其应用。
综述
基于Bagging的概率神经网络集成分类算法
蒋芸,陈娜,明利特,周泽寻,谢国城,陈珊
计算机科学. 2013, 40 (5): 242-246. 
摘要 ( 133 )   PDF(421KB) ( 975 )   
参考文献 | 相关文章 | 多维度评价
目前的神经网络较多集中在以BP算法为基础的BP神经网络上。针对BP神经网络的不足,在分析研究概率神经网络和机器学习的基础上,结合集成学习的思想,提出了基于Bagging的概率神经网络集成分类算法。理论分析和实验结果都表明,提出的算法能够有效地降低分类误差,提高分类准确率,具有较好的泛化能力以及较快的执行速度,能够取得比传统的BP神经网络分类方法更好和更稳定的分类结果。
批处理机调度问题的蚁群算法求解
夏欣
计算机科学. 2013, 40 (5): 247-250. 
摘要 ( 124 )   PDF(283KB) ( 661 )   
参考文献 | 相关文章 | 多维度评价
为了求解工件具有不同尺寸的批处理机调度问题,将蚁群算法调整为工件直接成批的调度算法,并提出了一个新的局部优化算法对蚁群算法进行改进。最后通过仿真实验将本算法与其它算法对本问题的求解进行了比较,表明该算法在求解批调度问题上有较好的性能。
人工智能
一种基于二叉树的数学公式匹配算法
秦玉平,唐亚伟,伦淑娴,王秀坤
计算机科学. 2013, 40 (5): 251-252. 
摘要 ( 216 )   PDF(225KB) ( 1015 )   
参考文献 | 相关文章 | 多维度评价
提出了一种基于二叉树结构的LaTeX格式数学公式匹配算法。首先根据数学公式的LaTeX格式生成其二叉树表示,并对树形结构作归一化处理,然后先序遍历二叉树得到公式元素序列,并对序列中的变量名称作归一化处理。对于待匹配的两个数学公式,根据两个公式元素序列对应位相同的公式元素数计算两个公式的相似度。实验结果表明,该算法实现了数学公式的准确匹配,是一种较实用的算法。
粗糙评估系统与路径优化
李卓文,闫林,宋金鹏,王煦斐
计算机科学. 2013, 40 (5): 253-256. 
摘要 ( 119 )   PDF(316KB) ( 424 )   
参考文献 | 相关文章 | 多维度评价
通过在近似空间中扩入二元关系以及若干评估因子,得到了粗糙评估系统。基于各评估因子,定义了权重和综合权重的概念,引出了边集合的综合下限值。利用综合下限值对路径进行优化分析,得到了优化算法。进而,通过粗糙评估系统对企业供货关系的描述,形成了实际问题的数学模型,将优化算法施于供货路径,使供货渠道得到了优化,展示了优化算法的有效性。
基于极值优化的混合差分进化算法
王丛佼,王锡淮,肖建梅
计算机科学. 2013, 40 (5): 257-260. 
摘要 ( 96 )   PDF(321KB) ( 751 )   
参考文献 | 相关文章 | 多维度评价
针对标准差分进化算法在求解复杂优化问题时易陷入局部最优的问题,提出了一种基于极值动力学机制的混合差分进化算法。该算法的核心在于,当种群聚集度较高时, 利用极值优化算法强大的波动性,通过引入基于种群的极值优化算法来提高种群多样性,从而协助差分进化算法跳出局部最优。仿真实验表明,该混合算法具有较好的全局收敛性,能有效避免早熟收敛。
图形图像与模式识别
基于区域形状与运动特征的实时行为识别
裴利沈,董乐,赵雪专,任鹏
计算机科学. 2013, 40 (5): 261-265. 
摘要 ( 139 )   PDF(928KB) ( 537 )   
参考文献 | 相关文章 | 多维度评价
提出了一种基于推广的Hu不变矩特征的实时行为识别方法。首先,对Hu不变矩进行改进,使其在离散情况下同时具有平移、旋转和比例不变性。然后,结合运动目标的速度将目标行为刻画成结合Hu矩新特征和速度特征的13维特性向量。其中,Hu矩新特征表征了行为的区域形状特性,速度特征反映了行为的运动特性。随后采用预先定义的一些行为作为先验知识样本训练支持向量机,并最后使用其对待检测行为进行分类以达到行为识别的效果。所提方法计算效率高,能够实时检测人体行为。在处理实拍视频数据的实验中,该方法表现出了理想的处理效率以及识别精度。
基于非负特征值分解的极化SAR子空间分解滤波
刘高峰,李明,王亚军,张鹏
计算机科学. 2013, 40 (5): 266-270. 
摘要 ( 98 )   PDF(660KB) ( 369 )   
参考文献 | 相关文章 | 多维度评价
极化SAR子空间分解滤波的优势在于能很好地保持极化信息,然而斑点噪声抑制效果与边缘、点目标信息的保持能力却有待提高。针对这一问题,提出了一种基于非负特征值分解(NNED)的极化SAR子空间分解滤波。对于每一个像素点,首先计算其参数向量协方差矩阵的特征值与特征向量,进而得到各个特征子空间;然后,以散射机制相似度最小化为标准,利用NNED选取分离信号子空间与噪声子空间的最优阈值;最后根据信号子空间得到滤波后的结果。实测极化SAR实验表明,相比于同类算法,所提出的算法能有效地抑制斑点噪声并且能很好地保持边缘、点目标信息。
基于K近邻稀疏编码均值约束的人脸超分辨率算法
黄克斌,胡瑞敏,韩镇,卢涛,江俊君,王锋
计算机科学. 2013, 40 (5): 271-273. 
摘要 ( 128 )   PDF(612KB) ( 429 )   
参考文献 | 相关文章 | 多维度评价
针对低分辨率、低质量人脸图像的超分辨率重建问题,提出了一种基于K近邻稀疏编码均值约束的人脸超分辨率算法。首先,根据人脸块位置先验信息,对训练样本图像块进行聚类,得到与输入人脸图像块位置一致的高、低分辨率稀疏表示字典对;然后,利用低分辨率字典,在稀疏和K近邻稀疏编码均值的共同约束下实现低分辨率图像块的稀疏表示;最后,通过系数映射,结合高分辨率字典实现高分辨率图像块重建,最终将所有高分辨率图像块进行交叠平均得到高分辨率人脸图像。实验结果验证了算法的有效性及先进性。本方法在保持重建人脸图像相似度的基础上,改善了人脸图像的清晰度,提高了超分辨率图像的质量。
综述
肺CT图像的血管骨架化方法
陈刚,吕煊,王志成,陈宇飞
计算机科学. 2013, 40 (5): 274-278. 
摘要 ( 237 )   PDF(952KB) ( 817 )   
参考文献 | 相关文章 | 多维度评价
在图像几何分析以及其他领域中,骨架化方法应用非常广泛。利用骨架表示图像可以保留图中的拓扑结构,减少冗余信息。在临床实践和治疗肺部疾病的过程中,如何有效地描绘并分析肺部血管骨架结构,对于计算机辅助诊断与辅助手术治疗是非常重要的。提出一种肺CT图像的血管骨架化方法:首先使用区域生长法将肺中的血管从胸腔其他组织中分离出来,接着使用数学形态学操作对分割结果进行处理,最后使用三维细化算法对血管进行骨架化。实验结果表明,该方法能快速、有效地实现肺部血管的骨架提取。
一种带修剪的增量极速学习模糊神经网络
胡蓉,徐蔚鸿
计算机科学. 2013, 40 (5): 279-282. 
摘要 ( 110 )   PDF(293KB) ( 360 )   
参考文献 | 相关文章 | 多维度评价
由Huang提出的extreme learning machine(ELM)批量学习算法在获得与其他算法相当的性能的同时显示出了极快的学习速度。为了实现在线增量学习,扩展了ELM方法,提出了一种带修剪的极速学习模糊神经网络。首先随机产生模糊神经网络前件参数和规则数量,然后使用SVD将规则按照重要性能排序,再使用留一法leave-one-out(LOO)选出最佳的模糊规则数,最后分析计算模糊规则的后件参数。在学习过程中无须保存过去的数据,真正实现了增量学习。当新的数据到来时,无须重新训练网络。通过仿真实验对该方法与其他算法进行了验证和比较,结果表明,在获得与其他算法类似的性能的情况下,该算法能够获得更加简洁的结构。
基于边缘相关性距离约束的角点匹配
王万良,金亦挺,赵燕伟,郑建炜
计算机科学. 2013, 40 (5): 283-286. 
摘要 ( 136 )   PDF(368KB) ( 481 )   
参考文献 | 相关文章 | 多维度评价
在双目视觉技术中,针对物体边缘上的角点误匹配问题,提出了一种基于边缘相关性距离约束的角点匹配算法。该算法首先采用基于边缘的角点检测子来提取角点,通过极线约束和角点特征值约束来确定候选角点匹配集合;然后提出“边缘相关性”约束,基于角点距离构造候选角点对的贡献值来对其进行精匹配;最后构造角点特征向量,通过子向量匹配方法进一步对角点匹配对进行检验。实验结果表明,该匹配算法正确率高,有效地解决了边缘角点对的误匹配问题,非常适用于基于边缘曲线的双目视觉应用。
图像过渡区提取与分割的逆向云方法
吴涛,陈一祥,杨俊杰
计算机科学. 2013, 40 (5): 287-290. 
摘要 ( 97 )   PDF(682KB) ( 387 )   
参考文献 | 相关文章 | 多维度评价
针对图像自动分割中的最优阈值选择问题,提出了一种基于云模型和过渡区思想的图像阈值化方法。该方法首先通过逆向云算法获得给定图像的云模型;其次设计自适应阈值搜索准则,在云模型的骨干元素区间内最小化该准则,生成图像过渡区的云模型;然后采用极大判定法则实现图像过渡区的不确定性提取;最终根据过渡区像素的灰度峰值完成图像阈值化。新方法利用云模型解决图像过渡区的提取与分割问题,具有不确定性。定性和定量的实验结果及分析表明,该方法分割效果较好、性能稳定,具有合理性和有效性。
图形图像与模式识别
一种基于GPS终端的地图匹配方法
朱征宇,崔明,刘琳
计算机科学. 2013, 40 (5): 291-295. 
摘要 ( 109 )   PDF(383KB) ( 500 )   
参考文献 | 相关文章 | 多维度评价
提出了一种复杂度低、实时性好、匹配准确率高的综合地图匹配方法。该方法综合基于权重度量值和曲线拟合的地图匹配思想,并结合路网拓扑信息,提供实时准确的车辆位置信息,可应用于车辆监控、实时交通信息采集、车辆导航。还提出了车辆位置相关的弧投影算法和GPS信号无效时的航位推算算法。
基于自适应CPSO算法的二维模糊熵图像阈值分割
赵越,李晶皎,徐鑫,陈超,白鑫
计算机科学. 2013, 40 (5): 296-299. 
摘要 ( 109 )   PDF(562KB) ( 345 )   
参考文献 | 相关文章 | 多维度评价
由于PSO算法会出现虚假收敛或者早熟等现象,提出了一种自适应混沌粒子群算法(ACPSO)及其在图像分割中的应用。首先提出了一种改进的自适应粒子群优化算法(IAPSO)。然后在IAPSO的基础上,加入了混沌优化方法,用混沌变量来初始化粒子的位置和速度,并用新的无限折叠混沌映射对算法进行混沌变异,从当前群体中择优选择部分粒子进行混沌优化。最后将ACPSO算法应用到图像分割中。通过与最大模糊Shannon熵阈值分割法、基于基本PSO的最大模糊Shannon熵阈值分割法进行对比,验证了基于自适应CPSO算法的二维模糊熵阈值图像分割方法的性能更好。
结合CS-LBP纹理特征的快速图割算法
刘毅,黄兵,孙怀江,夏德深
计算机科学. 2013, 40 (5): 300-302. 
摘要 ( 130 )   PDF(600KB) ( 440 )   
参考文献 | 相关文章 | 多维度评价
图割算法是目前最有效的交互式图像分割方法之一。针对当前景和背景颜色相似时容易发生分割错误并产生shrinking bias现象,以及基于像素的计算导致交互效率不高的问题,提出一种结合纹理特征的改进算法。该算法首先利用Mean Shift算法对图像进行预分割,构建区域邻接图,然后用累计直方图、CS-LBP纹理描述子对每个区域进行颜色和纹理特征的提取,通过在能量函数中引入纹理约束项以及局部自适应的正则化参数,有效改善了分割效果和shrinking bias现象。实验结果表明,本算法交互效率得到了提高,分割结果更加精确。
一种基于新插值方法的图像旋转算法
康牧,凌凤彩
计算机科学. 2013, 40 (5): 303-306. 
摘要 ( 94 )   PDF(570KB) ( 862 )   
参考文献 | 相关文章 | 多维度评价
图像旋转算法采用的插值方法存在不足,容易出现“锯齿”形边缘和模糊的现象,改变了图像的表示模型,为此提出了平面插值和球面插值相结合的图像插值方法,从而避免了传统的插值方法用统一的模型逼近所有像素的不足,它对不同的情况采用不同的插值方法。理论分析和实验结果表明了该方法的有效性。
人脸识别中遮挡区域恢复算法研究
杜杏菁,郭明雄
计算机科学. 2013, 40 (5): 307-310. 
摘要 ( 112 )   PDF(619KB) ( 1579 )   
参考文献 | 相关文章 | 多维度评价
在分析脸部遮挡处理各算法的基础上,提出了自动多值掩模PCA人脸重建模型(MMPCA模型)。该模型首先进行特征提取,计算待测人脸和标准样本的特征脸差,判断遮挡部位,即遮挡类型;接着使用M估计器对遮挡掩模进行估计,为不同像素点估计符合自身特性的幅度参数,生成多值遮挡掩模;再通过3个半二次型函数迭代保证最优合成系数唯一与收敛,获得最优合成系数,重建人脸。实验结果表明,该算法能恢复遮挡部位,减弱遮挡对识别准确率的影响。
一种从物体表面法线估计高度信息的算法
虞鸿,吴哲夫,刘恺,何熊熊
计算机科学. 2013, 40 (5): 311-314. 
摘要 ( 131 )   PDF(581KB) ( 537 )   
参考文献 | 相关文章 | 多维度评价
针对从法向量平面恢复高度信息这个问题,提出了一种从法向量平面恢复高度信息的算法。该算法首先利用一个定义了三维向量的法向量平面构造一个保存表面高度差的平面,然后从像素格状图的某个位置开始向四周相邻的像素累加高度,在遍历所有像素后利用计算好的高度再次从某个位置开始向四周相隔一个像素的位置累加高度,并根据需要的精度进行迭代运算,最后对累加后的高度值求算术平均值,从而得到每个位置最终的高度值。实验结果表明,该算法可以产生精度较高的高度图,并且可以有效地用于视觉效果更好的浮雕贴图技术。