1974年1月创刊(月刊)
主管/主办:重庆西南信息有限公司
ISSN 1002-137X
CN 50-1075/TP
CODEN JKIEBK
编辑中心
当期目录
2012年第10期, 刊出日期:2018-11-16
  
综述
云计算资源调度研究综述
林伟伟,齐德呈
计算机科学. 2012, 39 (10): 1-6. 
摘要 ( 613 )   PDF(549KB) ( 4803 )   
相关文章 | 多维度评价
资源调度是云计算的一个主要研究方向。首先对云计算资源调度的相关研究现状进行深入调查和分析;然后重点讨论以降低云计算数据中心能耗为目标的资源调度方法、以提高系统资源利用率为目标的资源管理方法、基于经济学的云资源管理模型,给出最小能耗的云计算资源调度模型和最小服务器数量的云计算资源调度模型,并深入分析和比较现有的云资源调度方法;最后指出云计算资源管理的未来重要研究方向:基于预测的资源调度、能耗与性能折衷的调度、面向不同应用负载的资源管理策略与机制、面向计算能力(CPU、内存)和网络带宽的综合资源分配、多目标优化的资源调度,以便为云计算研究提供有益的参考。
人群行为分析研究进展
陈昌红,朱秀昌
计算机科学. 2012, 39 (10): 7-11. 
摘要 ( 195 )   PDF(704KB) ( 668 )   
相关文章 | 多维度评价
人群行为分析是计算机视觉领域一个新兴的研究方向,在智能视频监控、虚拟现实、视频检索等方面有着广泛的应用前景和巨大的经济价值。主要从数据库和分析方法两个方面对人群行为分析的研究进展进行综述。人群行为数据库主要包括行为数据库和监控数据库两种,对这两类数据库中比较典型的库进行了总结,并从人群行为的分解方法和识别方法两方面对人群行为分析方法进行了详细总结。将分解方法分为3种,分别指出了各种方法的优缺点。将人群行为的识别方法分为基于统计的方法和基于描述的方法两种,对它们进行了详细比较,并指出了识别方法的发展趋势。总结了人群行为分析的潜在问题,并展望了其发展前景。
基于匹配分数的多生物特征识别融合综述
李 永,殷建平,梁小龙
计算机科学. 2012, 39 (10): 12. 
摘要 ( 146 )   PDF(381KB) ( 824 )   
相关文章 | 多维度评价
受数据噪音和识别系统本身的限制,基于单一生物特征的身份认证系统所能达到的准确率是有限的。通过多生物特征识别来提高识别的准确率成为当前生物特征识别领域的研究热点之一。首先介绍了多生物特征识别的必要性、多生物特征识别的分类,然后重点介绍了基于匹配分数的多生物特征识别融合的研究现状,最后总结了多生物特征识别研究中的问题和未来的研究方向。
无线传感器网络能量优化与建模技术综述
谢和平,周海鹰,左德承,徐 杰,周 鹏
计算机科学. 2012, 39 (10): 15-20. 
摘要 ( 143 )   PDF(703KB) ( 1403 )   
相关文章 | 多维度评价
由于无线传感器网络的能量受限,如何优化网络能量消耗和评估网络生存周期是当前无线传感器网络研究的首要挑战。在分析无线传感器网络能量消耗特征的基础上,调研传感器网络节点和网络系统的能量优化策略;并针对能量优化存在的不足,分析近几年兴起的无线传感器网络能耗建模工作;从基于无线通信、状态转换、协议栈等方面归纳总结无线传感器网络能耗模型的建模方法;指出跨层能量优化以及软硬件综合的能耗建模技术是无线传感器网络能量研究的重点。
无线传感器执行器网络综述
周 雁,王福豹,黄 亮,李晓辉
计算机科学. 2012, 39 (10): 21-25. 
摘要 ( 264 )   PDF(470KB) ( 950 )   
相关文章 | 多维度评价
无线传感器执行器网络是在无线传感器网络基础上引入若干执行器节点衍生出来的一种新型网络模型;它不仅能够感知环境信息、处理数据,还能够主动与监测环境进行交互,执行相应的任务。介绍了无线传感器执行器网络的体系结构、节点硬件结构、协作机制和通信协议,并对近年来国内外研究进展进行了综述,指出了未来的研究方向。
服务化的科研成果
威客平台信誉能力评价机制研究
刘 寅,吴毅坚,彭 鑫,赵文耘
计算机科学. 2012, 39 (10): 26. 
摘要 ( 164 )   PDF(557KB) ( 659 )   
相关文章 | 多维度评价
Witkey(威客)模式鼓励网民将自身专业知识、技能、经验、能力通过社区转换成具有经济价值的知识产品并与他人分享。但目前的威客网站的信誉评价机制都比较简单,无法很好地反映威客的真实信誉能力,不利于项目雇主选择合适的合作伙伴。针对软件项目领域开发者的技术和信誉能力特点,提出了一套结合客观度量、主观评价的威客信誉能力评价模型。实验中,采用典型的场景模拟了威客在平台上的成长历程,分析了使用该模型的评价结果对威客成长的引导作用,从而验证了该评价模型的可行性和可用性。
计算机网络与信息安全
云计算环境下聚合服务的随机模型检测
钮 俊,曾国荪
计算机科学. 2012, 39 (10): 31-34. 
摘要 ( 148 )   PDF(411KB) ( 509 )   
相关文章 | 多维度评价
当前缺乏对聚合云服务正确性、响应时间和费用约束统一进行验证的有效方法。扩展基本工作流模式,增强概率、随机、不确定选择的刻画能力,用于定义聚合云服务的服务流程,将流程定义转换为连续时间Markov回报过程,扩展连续随机回报逻辑CSRL,用以刻画增强行为描述的统一验证属性,给出随机模型检测方法。分析表明,该方法能有效刻画运行时云服务动态行为并对其正确性、可靠性进行验证。
LISP-HIMS:一种基于LISP的层次化标识映射系统
徐 畅,任勇毛,李 俊
计算机科学. 2012, 39 (10): 35-39. 
摘要 ( 145 )   PDF(447KB) ( 671 )   
相关文章 | 多维度评价
针对目前全球路由表规模高速增长的问题,IETF提出可以通过分离主机的身份标识和路由标识地址空间来重新考量互联网寻址体系结构。思科公司提出LISP(Locator Identity Separation Protocol)是基于该思想提出的主流方案之一。首先提出一种新的基于LISP的层次化标识映射系统,以克服目前其他LISP映射系统的不足,然后详细阐述该系统的模型、工作模式以及主机身份标识的分配方案;最后与其他LISP映射系统进行了分析与比较,结果表明,该系统具有良好的可扩展性以及更低的映射信息查询时延。
基于认知的多信道无线mesh网络路由协议研究
王 靖,李芳芳,于 全
计算机科学. 2012, 39 (10): 40-44. 
摘要 ( 117 )   PDF(444KB) ( 595 )   
相关文章 | 多维度评价
在多信道无线mesh网络中,路由选择与频谱可用性之间的相互依赖性很强,这就要求设计路由协议时要充分考虑信道的选择。传统的路由协议不能很好地适用于多信道无线mesh网络,因此提出了一种基于认知无线电的无线mesh网络路由协议,其中每个节点配置两个网络接口,路由选择与信道选择同时进行,通过冲突避免的设计,充分利用了多信道的优势。仿真结果表明,相对于传统路由协议,提出的路由协议能大大提高网络的吞吐量。
基于SVM概率输出的P2P流媒体识别法
陈 伟,兰巨龙,张建辉,杜锡寿
计算机科学. 2012, 39 (10): 45-49. 
摘要 ( 110 )   PDF(419KB) ( 568 )   
相关文章 | 多维度评价
P2P流媒体占用大量带宽,且容易传播病毒,有必要对其进行识别。分析了Abacus方法的不足,提出一种基于SVM概率输出的P2P流媒体识别法P-Abacuso P-Abacus将待识别样本属于已知应用可能性的大小反映在概率输出上。对输出结果进行排序,根据最大概率,判决样本是属于最大概率类应用还是未知应用,或是需要进一步判断。若需进一步判断,则通过计算前两大类构建SVM概率输出的差值,来判断样本是属于其中的一类,还是未知应用。由于SVM概率输出包含大量可用信息,使得P-Abacus具有更好的识别效果。实验表明,P-Abacus比Abacus具有更高的识别率和更低的误判率,且时间开销增加有限。
基于压缩感知信号重建的自适应空间正交匹配追踪算法
姚 远,梁志毅
计算机科学. 2012, 39 (10): 50-53. 
摘要 ( 166 )   PDF(865KB) ( 617 )   
相关文章 | 多维度评价
传统的奈奎斯特采样定理规定采样频率最少是原信号频率的两倍,才能保证不失真的重构原始信号,而压缩感知理论指出只要信号具有稀疏性或可压缩性,就可以通过采集少量信号来精确重建原始信号。在研究和总结已有匹配算法的基础上,提出了一种新的自适应空J’q正交匹配追踪算法(Adaptive Space Orthogonal Matching Pursuit,ASOMP)用于稀疏信号的重建。该算法在选择原子匹配时采用逆向思路,引入正则化自适应和空间匹配的原则,加快了原子的匹配速度,提高了匹配的准确性,最终实现了原始信号的精确重建。最后与传统MI〕和OMI〕算法进行了仿真对比,结果表明该算法的重建质量和算法速度均优于传统M1〕和()MP算法。
基于节点安全度的P2P网络分布式多路径中继路由协议
王浩云,徐焕良,任守纲
计算机科学. 2012, 39 (10): 54. 
摘要 ( 130 )   PDF(667KB) ( 573 )   
相关文章 | 多维度评价
在对中继节点的安全度进行评估的基础上,提出了一种基于节点安全度的P2P网络分布式多路径中继路由协议NSD-DPMRR(Distributed Protocol for Multipath Relay Routing based on Node's Security Degree)。该协议可分布式地计算出源端节点发送数据的最佳速率以及各中继节点的最佳转发速率。仿真实验表明,该协议在将恶意中继节点对数据传输的危害降低到最低程度的同时,能够最大化目的端节点所能接收到的正常数据,保证了中继路由的安全性和有效性,且协议的复杂度较低。
无线传感器网络基于通信距离的协作ARQ策略
靳 勇,白光伟,常晋义
计算机科学. 2012, 39 (10): 60-64. 
摘要 ( 151 )   PDF(449KB) ( 529 )   
相关文章 | 多维度评价
提出了一种适用于无线传感器网络的基于通信距离的多中继协作ARQ策略,从而为无线数据传输提供了可靠性,同时获得了较高的吞吐率和能量效率。首先根据ARQ机制和在链路层将数据包分割为若干个数据帧的规律,建立一种马尔科夫链模型;在此基础上,分析饱和吞吐率、数据包丢弃概率、平均时延和能效的性能随通信距离的变化规律;最后提出了基于通信距离的协作ARQ策略。针对线性无线传感器网络,分析比较了所提协作 ARQ与传统ARQ的通信性能。数学分析结果表明,所提协作ARQ能获得比传统ARQ更优的饱和吞吐率、可靠性和能效。
一种基于分层无线传感器网络的路由算法
邹 瑜,彭 舰,黎红友
计算机科学. 2012, 39 (10): 65-68. 
摘要 ( 149 )   PDF(348KB) ( 509 )   
相关文章 | 多维度评价
在多跳无线传感器网络中,靠近sink的节点由于需要转发来自外部的数据,其能量消耗速度快于离sink较远的节点,从而导致“能量空洞”的出现。采用分层的网络结构能够有效延迟能量空洞的出现。在分析现有路由算法的基础上,结合分层的思想,对现有算法的路由算法进行了改进,提出了分层网络中各层环内最佳簇头和成簇概率的计算方法。在路由发现阶段引入了簇头路由指标,用于控制路由簇头接纳的路由数量,从而平衡了环内各个路由簇头的能量消耗。仿真实验结果表明,新的路由算法在网络生存时间、能耗均匀程度方面均优于现有算法。
协作通信的中继选择策略性能研究
赵永驰,李恩玉
计算机科学. 2012, 39 (10): 69-72. 
摘要 ( 130 )   PDF(307KB) ( 552 )   
相关文章 | 多维度评价
在解码转发协议的基础上,研究了全选中继策略和机会中继选择策略的中断概率性能,推导了瑞利衰落下的两种策略的中断概率精确闭式结果,给出了高信噪比时的中断概率近似表达式。通过理论分析和数值仿真结果得出:在信噪比足够高或在中继一目的信道性能优于源一中继的信道性能的情况下,这两种策略具有相同的中断概率性能;源-中继的信道性能比中继一目的节点的信道性能越好,全选中继策略的性能越优于机会中继选择策略的中断概率性 育色。
对一类基于身份的门限代理签名方案的伪造攻击
陈 亮,田苗苗,汤学明,崔永泉
计算机科学. 2012, 39 (10): 73-77. 
摘要 ( 381 )   PDF(381KB) ( 511 )   
相关文章 | 多维度评价
近来,于义科等人提出了一系列标准模型下基于身份的门限代理签名方案,并以其中最新的于一郑方案作为攻击目标,设计了3个有效的伪造攻击算法。利用这些算法,攻击者可以在得不到原始签名人和任何代理签名人私钥的情况下,仅通过选取随机参数以及多项式时间内的计算,就可达到以显著的成功概率伪造普通签名或任意代理签名人的部分签名的目的。这些伪造攻击算法对于一郑方案及与其同类的其他几个方案都具有有效性。攻击显示,此类基于身份的门限代理签名方案是不安全的。最后分析了方案遭受攻击的原因,并给出了两种可能的改进措施。
无尺度网络下具有双因素的僵尸网络传播模型
黄 彪,成淑萍,欧阳晨星,谭 良
计算机科学. 2012, 39 (10): 78-81. 
摘要 ( 139 )   PDF(476KB) ( 616 )   
相关文章 | 多维度评价
随着网络技术的发展,僵尸网络逐渐成为Intcrnct上最具威胁的攻击平台。而现今的网络是随机网络、无尺度网络等构成的一个复杂网络。结合无尺度的特性,考虑僵尸网络传播过程中部分主机的免疫特性与网络阻塞特征,提出一种无尺度网络下具有双因素的僵尸网络传播模型。该模型基于Intcrnct的实际情况,重点考虑了无尺度网络的拓扑结构,并结合了僵尸网络中部分脆弱主机由于提前从易感染的网络中移除而具有的免疫特征情况与传播过程中的网络流量阻塞情况。Mat lab仿真结果表明,这种传播模型更符合真实网络中僵尸网络的传播规律。
条件能量网络中信息流行为的研究
许荣飞,范通让
计算机科学. 2012, 39 (10): 82-85. 
摘要 ( 231 )   PDF(478KB) ( 552 )   
相关文章 | 多维度评价
网络应用的日益普及关系到人们日常活动的各个方面。为了更好地研究网络交互行为,从网络信息流出发,将网络行为抽象成一种依靠信息资源供应关系驱动的形式,借助物理学概念将这种供应关系用节点间引力来表示,构造出一种不基于网络行为实现细节的抽象的条件能量网络模型,并根据定义的“相对能”意义将网络模型分为能量网络和混沌网络两种状态。最后,通过实验验证利用具有能量意义的网络交互规则研究信息流行为的可行性,结果显示,条件能量网络模型能简单、准确地描述现实网络中的信息流行为,对于网络策略运用的普遍性和网络研究的一致性具有深远意义。
无线传感器SMAC协议的自适应占空比调整机制研究
李 跃,蒋文贤
计算机科学. 2012, 39 (10): 86-89. 
摘要 ( 276 )   PDF(426KB) ( 943 )   
相关文章 | 多维度评价
针对无线传感器SMAC协议无法适应网络负载的动态变化而导致网络丢包和时延抖动的情况,设计了D-SMAC协议。该协议依据数据包在发送队列中等待时间的平均值来预测当前网络的负载情况,并动态地调整节点的占空比,从而在实现能量有效利用的同时保证数据的及时可靠传输。仿真实验表明,改进后的协议能有效地利用了节 点能量,同时增加了网络吞吐量,降低了数据端到端的时延。
三维水声传感器网络中高效路由协议的研究
徐 明,刘广钟
计算机科学. 2012, 39 (10): 90-93. 
摘要 ( 131 )   PDF(453KB) ( 608 )   
相关文章 | 多维度评价
近年来,三维水声传感器网络在学术界和工业界引起了极大的关注。在被监测海域部署三维水声传感器网络,可以解决二维水声传感器网络节点无法充分观测的问题。为了实现三维水声传感器网络在新环境中的水下监测,需要解决一系列的问题。其中,由于监测区域环境的限制以及水声传感器节点的特殊性,需要设计高效的路由协议来保证数据包在各节点之间正确转发。首先提出一种基本地理位置路由协议。在此基础上,设计一种自适应路由协议,以较好地适应三维水声传感器网络中部分节点失效的情况。通过仿真实验发现,自适应路由协议可以在数据包传送率、端到端延时和网络吞吐量指标上达到平衡,而基本地理位置路由协议在端到端延时指标上可获得更好的性能。
一种细粒度的属性证书出示方案
王 凯,张红旗,任志宇,姜皇勤
计算机科学. 2012, 39 (10): 94-98. 
摘要 ( 152 )   PDF(568KB) ( 690 )   
相关文章 | 多维度评价
针对现有X. 509v4属性证书在细粒度出示部分属性后无法验证合法性的情况,提出了一种支持属性细粒度出示的证书方案。该方案由属性权威对证书中所有属性进行预处理,并对预处理结果生成签名;证书拥有者能够根据不同的应用场合移除证书中不相关属性,并计算验证证书必需的额外信息;验证方根据这些额外信息及证书中的签名能有效地验证被出示部分属性的合法性。该方案与现有标准兼容,并具有灵活性好、安全性高及付出额外开销小等特点。
基于发布/订阅中间件的时空事件检测研究
禚 伟,金蓓弘,陈海彪,张利峰
计算机科学. 2012, 39 (10): 99-103. 
摘要 ( 146 )   PDF(574KB) ( 473 )   
相关文章 | 多维度评价
许多物联网应用根据带有时空关系约束的事件决定其下一步的动作。为了支持物联网应用检测这些时空事件,构建了发布/订阅中间件()PS4SI'o OPS4ST允许用户在订阅中表达事件之间的多种时序、空间和逻辑关系;同时实现了时空事件的分布式检测,其能高效地检测到用户在订阅中所关心的时空事件是否发生。通过模拟实验评估了系统的性能和开销,实验结果表明,OPS4S T具有令人满意的性能和可接受的开销。
一种基于文本特征提取的版权保护方法
雷军程,黄同成,柳小文
计算机科学. 2012, 39 (10): 104-107. 
摘要 ( 126 )   PDF(338KB) ( 513 )   
相关文章 | 多维度评价
互联网上,文本非法复制和盗版现象日益严重,因此迫切需要有效的文本版权保护方案。借助于特征提取方法和文本分类技术,针对具有版权争议的文字作品,提出了一种基于文本特征提取的作者识别方法。实验结果表明,提出的算法能够区别出不同作者的文字作品,能有效地把一个具有争议的文字作品进行分类,并识别出作者。因此该方法可以辅助解决争议作品(特别是著名作者的争议作品)的版权纠纷,打击盗版,维护诚信。
软件工程
基于规范流网的Web服务行为适配方法研究
曹国荣,谭庆平,解金刚,吴 浩
计算机科学. 2012, 39 (10): 108-114. 
摘要 ( 126 )   PDF(625KB) ( 515 )   
相关文章 | 多维度评价
Web服务适配是面向服务计算领域的重要研究内容。针对现有服务行为建模和适配技术在循环服务行为、数据流建模和状态空间爆炸方面存在的问题,提出一种新的服务行为建模和适配方法,并结合实例阐述该方法如何以规范流网为基础,建模服务行为,构造服务行为的符号化可覆盖树,构建数据依赖关系和动作依赖关系,构建符号化执行轨迹适配器,直至最后完成服务行为适配的整个建模和适配过程。
元分析技术及其在软件工程中的应用
卢红敏,许 蕾,徐宝文
计算机科学. 2012, 39 (10): 115-118. 
摘要 ( 129 )   PDF(372KB) ( 470 )   
相关文章 | 多维度评价
从单个实验研究中很难得到可靠的实验结论,因此需要统计的方法将多个实验研究中的结果进行合并。首先,介绍将多个实验结果进行合并的统计元分析技术。然后,阐述元分析在软件工程研究中的重要意义以及当前的应用现状。最后,分析并总结其中存在的问题。
一种支持自适应程序设计的移动机器人中间件
陈 昊,孙 辉,许 畅,马晓星
计算机科学. 2012, 39 (10): 119-124. 
摘要 ( 206 )   PDF(569KB) ( 515 )   
相关文章 | 多维度评价
机器人控制中间件是软件中间件设计研究领域的一个热点。为了开发一种支持自适应程序设计的移动机器人中间件平台,首先提出这种中间件平台需要满足的设计要求:跨底层硬件平台、保证服务质量以及具备一定的自适应能力。从Java虚拟机的移植、服务质量表现形式的选择、自适应机制及SCC(Sensor/Compute/Control)设计结构的应用4个方面来阐述此中间件平台的设计思路和开发过程。最后,通过真实实验的数据对比,说明此中间件可为移动机器人程序的有效开发提供服务质量保证。
OSF:一种支持SaaS应用的构件框架
宋 杰,侯泓颖,朱志良
计算机科学. 2012, 39 (10): 125-130. 
摘要 ( 125 )   PDF(587KB) ( 451 )   
相关文章 | 多维度评价
离线SaaS应用可以工作在时断时续的网络连接环境下,是一种环境可感知的智能SaaS软件。目前支持离线访问Web应用的研究成果较少,且其没有考虑到SaaS的特性,更没有形成构件化框架。为了解决上述问题,提出了离线SaaS框架OSF(Offline SaaS Framework),并给出了支持离线访问的面向操作的构件框架的结构和运行机制。通过案例描述验证了该构件框架的功能和性能。理论和实验表明,离线SaaS应用框架极大地改善了用户体验,保证了SaaS服务的可用性,扩大了SaaS的应用范围,同时还提高了系统开发效率。
基于OWL-S文档的Web服务测试用例生成
李 颖,许 蕾
计算机科学. 2012, 39 (10): 131-135. 
摘要 ( 144 )   PDF(440KB) ( 511 )   
相关文章 | 多维度评价
若从使用者的角度测试Wcb服务,只能从服务的接口文档中提取信息进行测试工作。现有工作提出通过分析文档中的输入或输出参数获取测试数据的方法。利用们WL-S文档中的输入输出参数信息生成初始的测试数据,同时充分利用文档中的服务过程信息,提取出服务的控制流程图,据此约简测试数据,生成最终的测试用例,从而提高测试用例的生成效率,降低测试成本。
面向服务软件中异常处理模块重要性的仿真分析方法
吴 青,应 时,贾向阳,朱小刚
计算机科学. 2012, 39 (10): 136-138. 
摘要 ( 129 )   PDF(387KB) ( 487 )   
相关文章 | 多维度评价
基于蒙特卡洛方法,提出异常处理模块重要性的影响因子,其中包括异常处理模块所对应的保护区的重要性以及异常处理模块自身的稳态故障率。基于贝叶斯理论,计算保护区的重要性;运用马尔可夫链的通历性计算异常处理模块的稳态故障率。试图提出一种面向服务软件中异常处理模块重要性的定量分析方法,设计人员可以根据分析结果对重要度高的异常处理模块给予更多的关注。
基于并发事务逻辑的语义Web服务组合
王雪松,钱俊彦,赵岭忠,高荣亮
计算机科学. 2012, 39 (10): 139-142. 
摘要 ( 133 )   PDF(429KB) ( 455 )   
相关文章 | 多维度评价
并发事务逻辑(Concurrent Transaction Logic,CTR)是一种谓词逻辑的扩展,支持语义Wcb服务自动组合的推理。采用并发事务逻辑作为表示和推理工具,给出了们WLS功能和行为两个方面的Web服务组合方法。基于并发事务逻辑的执行语义及其Horn子集的过程式语义,提出了一个多项式时间的服务组合算法,从而降低了服务组合推理的复杂性,为解决当前许多主流语义Web服务组合方法不支持并发行为建模的问题提供了新思路。
TCBV:一种构件时序行为建模与相容性验证工具
张振领,贾仰理,周恩光,李舟军
计算机科学. 2012, 39 (10): 143-147. 
摘要 ( 240 )   PDF(725KB) ( 495 )   
相关文章 | 多维度评价
利用形式化方法对复杂实时构件系统的时序行为进行建模与验证对于提高安全彼关实时构件系统的正确性、可靠性与安全性具有重要意义。介绍了基于时间行为协议的构件时序行为的形式化建模和相容性验证方法,给出了时间行为协议建模与相容性验证工具TCI3V的系统架构与功能模块。TCI3V应用方便,能够实现实时构件时序行为模型的图形化表示,并可对复杂交互行为的相容性进行自动验证。结合应用实例,介绍了如何利用"I'C13V对复杂实时构件系统的时序行为进行建模和验证。最后,将TCBV与其它相关工具进行了比较。
数据库与数据挖掘
冷数据集中的流媒体存储系统节能方法
柴云鹏,杨 楠
计算机科学. 2012, 39 (10): 148-151. 
摘要 ( 131 )   PDF(457KB) ( 545 )   
相关文章 | 多维度评价
快速增长的数据量使流媒体存储系统在降低能耗方面遇到严峻的挑战,而针对流媒体应用而进行的节能方法的研究还很少。在对流媒体存储系统的节能问题进行详细建模的基础上,定量地分析了数据分布对节能和流媒体服务质量的影响,发现只有冷门数据的分布对节能的贡献最大,而且对服务质量的负面影响最小。提出了一种冷数据集中的节能方法,亦即将最冷的一部分数据集中存储在部分磁盘上来优化节能效果。实验表明,冷数据集中的节能算法在保障服务质量的前提下,使流媒体存储系统的节能效果获得了显著的提升。
基于剪枝的海量数据离群点挖掘
杨茂林,卢炎生
计算机科学. 2012, 39 (10): 152-156. 
摘要 ( 173 )   PDF(424KB) ( 562 )   
相关文章 | 多维度评价
基于距离的离群点挖掘通常需要的时间进行大量的距离计算与比较,这限制了其在海量数据上的应用。针对此问题,提出了一个带剪枝功能的离群点挖掘算法。算法分为两步:在对数据集进行一通扫描后,剪枝掉大量的非离群点;然后对余下的可疑数据实施一种改进的嵌套循环算法,以每个数据点与其k个最近部点的平均距离作 为离群度,确定前n个离群点。在真实数据和合成数据集上的实验结果均表明,该算法在获得高命中率的同时仍保持低误警率。与相关算法相比,其具有较低的时间复杂性。
异构平台上多维线性哈希的研究
刘 勇,赵秦德,赖正文,黄东平,王憬星
计算机科学. 2012, 39 (10): 157-159. 
摘要 ( 142 )   PDF(356KB) ( 518 )   
相关文章 | 多维度评价
目前多维数据广泛应用于多个领域,但其复杂性影响了多维数据的操作效率。为提高对多维数据的处理能力,提出一种在CPU/GPU异构平台上的多维线性哈希并行计算方案。该方案通过对传统线性哈希表数据结构的扩展,可实现对哈希表的快速创建和查询。同时,在多个处理器平台上进行的实验对提出的方案的有效性进行了验证。实验结果表明,当处理的数据规模较大时,提出的方案由于充分利用了GPU强大的并行处理能力,在创建哈希表和查询数据上,比传统的CPU方案性能分别提高了约25倍和38倍,充分显示出提出的方案在处理多维数据时的优势。
基于垂直压缩格式的高效FP-STREAM算法的研究
唐耀红,魏慧琴
计算机科学. 2012, 39 (10): 160-163. 
摘要 ( 178 )   PDF(630KB) ( 466 )   
相关文章 | 多维度评价
近年来由于信息的爆炸式增长,数据流频繁模式挖掘逐渐成为研究的热点。FP-Stream作为经典的数据流频繁模式的挖掘算法,实现了多时间粒度的挖掘,但是该算法并未对数据本身进行压缩,使其在一定时间内处理的数据量受到限制,存在有限内存和高速海量数据的矛盾。通过对数据流进行垂直和Dif-bits压缩变换来改进FP-Stream算法,大大降低了内存需求,提高了数据处理能力。经过实验证明,改进算法是有效的。
一种基于XML小枝查询片段松弛的近似查询与结果排序方法
魏 珂,任建华,孟样福
计算机科学. 2012, 39 (10): 164-169. 
摘要 ( 131 )   PDF(554KB) ( 453 )   
相关文章 | 多维度评价
提出了一种基于XML小枝查询片段松弛的近似查询与结果排序方法来实现用户在XMI、文档中的近似查询:通过收集用户的查询历史来推测用户偏好,并以此计算原始小枝查询分解得到的查询片段的重要程度,然后按照重要程度的排序进行查询松弛;在松弛方法中,根据查询片段数目的不同采用不同的松弛方法,若片段数目较多则以查询片段为粒度对其松弛,较少则以查询结点为粒度对数值查询与非数值查询采用不同的方法进行松弛,得到最为相关的近似查询结果;最后按近似查询结果对原始查询和用户偏好的满足程度进行排序并输出。实验证明,该近似查询方法能够较好地满足用户的需求和偏好,具有较高的查全率和准确率。
数据空间命名实体的集成方法
王江海,吴扬扬
计算机科学. 2012, 39 (10): 170-173. 
摘要 ( 145 )   PDF(443KB) ( 562 )   
相关文章 | 多维度评价
提出了一种数据空间中的命名实体集成模型(NEIM)及其在异质异构数据源中的集成方法。命名实体模型描述了数据源、实体与实体描述间的关系,能够实现从其中任意一个息查询到其它相关信息。命名实体的集成架构指出了数据空间中命名实体集成要完成的主要任务,包括命名实体的识别、实体的集成映射和实体的统一。集成算法描述了数据空间中异构数据源包含的命名实体及其描述信息的集成方法。针对结构化半结构化数据,它采取构建映射规则,使系统可以在后期持续集成这些数据源中的实体信息,实验验证了集成方法的构建映射规则的有效性。
基于Petri网的OwL-S语义匹配机制研究
裘杭萍,胡 汹,罗 晨
计算机科学. 2012, 39 (10): 174-176. 
摘要 ( 122 )   PDF(360KB) ( 465 )   
相关文章 | 多维度评价
传统的UDDI不支持语义推理以及基于服务属性的匹配,因此存在召回率低、匹配效率低等问题。基于此问题提出了一种基于Petri网的OWL-S语义匹配机制,即借助Mult i-Agent服务发现框架,使用PNSDL描述语言来发布和请求服务。该匹配机制借助Petri网对服务的描述能力,通过使用可能性和必然性程度代表服务可以胜任需求的置信度,从而实现服务的匹配。该机制具有强大的逻辑推理能力及对多服务的建模能力,能提高匹配的真实度、匹配度等。
基于DR-tree的室内移动对象索引研究
甘早斌,袁永光,赵贻竹,鲁宏伟
计算机科学. 2012, 39 (10): 177-181. 
摘要 ( 127 )   PDF(425KB) ( 665 )   
相关文章 | 多维度评价
对于移动对象历史轨迹索引,现有的方案绝大多数都基于室外空间,难以直接应用于室内空间中;同时,未将对象本身作为一个独立的维度加以索引,无法提供高效的对象轨迹查询方式。对此,提出了一个室内环境下的移动对象索引结构DR-tree来对移动数据的位置、时间、对象三个维度进行索引,并将位置维与对象维解藕,将三维索引转换为两个二维索弓1,同时给出查询优化方案。实验结果表明,与现有的室内环境下的索引方案R TR-tree相比,该结构不仅能够提供高效的时空查询,而且还能提供高效的对象轨迹查询。
基于区域划分的kNN文本快速分类算法研究
胡 元,石 冰
计算机科学. 2012, 39 (10): 182-186. 
摘要 ( 277 )   PDF(461KB) ( 616 )   
相关文章 | 多维度评价
kNN方法作为一种简单、有效、非参数的分类方法,在文本分类中广泛应用。为提高其分类效率,提出一种基于区域划分的kNN文本快速分类算法。将训练样本集按空间分布情况划分成若干区域,根据测试样本与各区域之间的位置关系快速查找其k个最近部,从而大大降低kNN算法的计算量。数学推理和实验结果均表明,该算法在确保kNN分类器准确率不变的前提下,显著提高了分类效率。
人工智能
基于反馈机制的克隆反馈优化算法的稳定性研究
舒万能,丁立新,汪慎文
计算机科学. 2012, 39 (10): 187-189. 
摘要 ( 114 )   PDF(340KB) ( 523 )   
相关文章 | 多维度评价
克隆选择算法是一种基于克隆选择原理的进化优化算法,但是它因受抗体浓度的影响而稳定性较差。在传统的克隆选择算法的基础上,充分考虑抗体的浓度和种群多样性两方面因素,提出了一种新的基于反馈机制的克隆反馈优化算法。该算法融入了一种进化反馈深度模型和种群生存度设计理念,有效提高了算法的稳定性。最后,将该算法应用到网格计算独立任务调度中,取得了较理想的实验结果。
基于IPSO的模糊神经网络优化及交通流量预测
金成钧,常桂然,程维,姜慧研
计算机科学. 2012, 39 (10): 190-192. 
摘要 ( 134 )   PDF(350KB) ( 523 )   
相关文章 | 多维度评价
在基于模糊神经网络的交通流量预测中,神经网络的各节点参数优化是最关键的。采用粒子群算法优化模糊神经网络的参数。针对粒子群算法易于陷入局部最优的缺点,提出一种改进的粒子群优化算法,并将改进的算法用于路口交通流量预测。仿真结果表明,该算法的收敛速度和预测精度优于传统粒子群算法、PP算法,提高了交通流量预测的精度和速度。
多类别肿瘤基因表达谱的自动特征选择方法
高娟,王国胤,胡峰
计算机科学. 2012, 39 (10): 193-197. 
摘要 ( 152 )   PDF(454KB) ( 468 )   
相关文章 | 多维度评价
从信息学角度出发寻找肿瘤相关基因、发现肿瘤基因表达特征对肿瘤的诊断和治疗具有重要的生物学意义,而肿瘤与正常组织的分类是其中一个重要应用。根据多类别肿瘤基因表达谱,提出了一种自动特征选择方法。首先,结合非参数方法和filter思想,利用决策序列的随机性度量基因的权值并排序;然后,采用相关信息嫡进行冗余性排除,自动地选择出具有高分辨能力、低冗余度的特征基因子集。实验结果表明,提出的方法能从多类别肿瘤基因表达谱数据中自动选出30个具有良好分类能力的特征基因,且具有较高的正确识别率。
MB-SinglePass:基于组合相似度的微博话题检测
周刚,邹鸿程,熊小兵,黄永忠
计算机科学. 2012, 39 (10): 198-202. 
摘要 ( 123 )   PDF(441KB) ( 671 )   
相关文章 | 多维度评价
话题检测技术在传统媒体的研究中取得了较好的效果。探讨了针对微博类的新型媒体短文本对象话题检测技术的优化及性能评价。基于微博中联系人存在的关注和粉丝等结构化信息、帖子之间转发评论等内在关联关系,提出了针对微博的MI3-SinglePass话题检测算法该算法除了考虑微博上述特点之外,还针对短文本特征稀疏的问题,利用同义词典,引入了微博特征扩展技术,丰富了特征信息。同时,针对单一使用余弦相似度、雅各比相似度和语义相似度的不足,采用了组合相似度策略。相较传统算法,MI3-SinglcPass算法在新浪微博实测数据集上取得了更好的性能。另外,针对相似度策略的对照实验说明采用组合相似度的效果优于单一相似度。
中西思维模式对于情感倾向性的影响
杨亮,林鸿飞,王宇轩,许侃
计算机科学. 2012, 39 (10): 203-208. 
摘要 ( 152 )   PDF(633KB) ( 553 )   
相关文章 | 多维度评价
目前关于情感倾向性的研究均以语言内容为主要对象,然而民族的思维模式影响了语言的表达形式。通过对汉民族“图形式”、“具体性”、“散点视”的思维特点和西方民族“直线式”、“抽象性”、“聚点视”的思维特点进行对比研究,提出了基于中西思维模式的情感倾向性分析方法。针对“图形式”和“直线式”思维特点,给出了位置相关的量化方法;针对“具体性”和“抽象性”思维特点给出了基于词性和语法特征的分析方法;针对“散点视”和“聚点视”思维特点提出了基于视窗的分析方法。实验结果表明,在中英文语料中考虑各自的思维模式特点有助于提高情感倾向性识别的 效果。
一种GPCR跨膜螺旋形变的建模方法
陈荣,吕强,吴宏杰,陈沙沙
计算机科学. 2012, 39 (10): 209-213. 
摘要 ( 143 )   PDF(467KB) ( 618 )   
相关文章 | 多维度评价
跨膜螺旋是GPCR的最主要特征,单个螺旋的预测精度直接影响GPCR整体三维结构的预测o UPCR螺旋形变预测是一个挑战性的难题。该形变用发生形变的残基位置和该位置前后两端螺旋的夹角表示。基于目前已知的所有〔}PCR的跨膜螺旋结构,根据螺旋序列相似度进行聚类,然后在每类中对形变角度用连续型von Miscs概率分布来建模。对建模后GPC;R跨膜螺旋的形变角度进行了回归和预测测试。基于本文方法的模型,只需进行IJ次采样,就会有一次的采样结果近似符合天然螺旋的形变角度,这在很大程度上能够帮助跨膜螺旋空间结构的预测。
一种种群自适应收敛的快速遗传算法
朱钰,韩昌佩
计算机科学. 2012, 39 (10): 214-217. 
摘要 ( 113 )   PDF(362KB) ( 1052 )   
相关文章 | 多维度评价
作为一种全局搜索算法,遗传算法的局部搜索能力较低,后期产生的无效进化与早熟收敛影响优化的速度和精度。已有的改进策略多以算法的时间复杂度为代价提高后期效率,严重限制了遗传算法在工业控制系统中的应用。针对这种情况,提出了一种新型种群自适应收敛的快速遗传算法,即通过提高种群的遗传质量,在严格控制算法复杂度的前提下提高优化性能。仿真结果证明,在不增加时间复杂度的前提下,新算法显著地提升了收敛精度和收敛速度。
基于分布估计算法的连续函数全局优化问题研究
丁有军,钟声
计算机科学. 2012, 39 (10): 218-219. 
摘要 ( 125 )   PDF(271KB) ( 1120 )   
相关文章 | 多维度评价
分布估计算法从宏观的角度建立一个概率模型,用来描述解空间的分布,从而通过进化计算获得优势个体。目前,离散型分布估计算法研究已经比较成熟,而连续型分布佑计算法研究进展缓慢。采用均匀分布缩小采样领域的思想,设计新的分布佑计算法求解连续型优化问题。实验数据表明,该分布佑计算法对于求解连续型问题是有效的。
注疏文献中的注释语句自动分析
马创新,陈小荷,曲维光
计算机科学. 2012, 39 (10): 220-223. 
摘要 ( 98 )   PDF(363KB) ( 692 )   
相关文章 | 多维度评价
注疏文献中蕴含着丰富的知识,并且它们的行文方式具有半结构化特征。研究了经典古籍与其注疏文献句子对齐的方法,以及注疏文献中注释语句的自动分析方法。该项研究成果能为古籍语料库精加工提供便捷的途径,也能为语言研究者提供更为智能的检索模式。
部分多值逻辑中单纯可离和完满对称关系的计数
王婷,刘任任
计算机科学. 2012, 39 (10): 224-226. 
摘要 ( 108 )   PDF(202KB) ( 503 )   
相关文章 | 多维度评价
根据部分多值逻辑的完备性理论,对两类准完备集—单纯可离函数集和完满对称函数集进行研究,给出了单纯可离和完满对称关系的函数的计数公式。
邻域系统层次结构的粗糙集刻画方法研究
周君仪,杨习贝,杨静宇
计算机科学. 2012, 39 (10): 227-230. 
摘要 ( 94 )   PDF(332KB) ( 450 )   
相关文章 | 多维度评价
以部域系统为研究对象,根据邻域系统中部域与目标之间的包含及相交关系,分析了两种不同类型的部域系统粗糙集模型。根据这两种部域系统粗糙集模型,分别提出了部域系统层次单调变化的2套性质描述,并提出了2种拟序关系用以描述不同邻域系统之间的粗细关系。研究结果证明了这2种拟序关系与部域系统层次单调变化的2套性质之间的对应关系。
基于SVM的中文名词短语指代消解研究
高俊伟,孔芳,朱巧明,李培峰
计算机科学. 2012, 39 (10): 231-234. 
摘要 ( 130 )   PDF(360KB) ( 476 )   
相关文章 | 多维度评价
指代消解是自然语言处理领域中要研究的关键问题之一。在自然语言中,为了使语言简明,减少冗余,往往对同一意思的单词、句子或某一事件用不同的单词来代替。相对于人而言,计算机理解这些指代现象就比较困难,因此近年来关于指代消解的研究越来越多。由于中文指代消解研究起步较晚,因此关于中文名词短语指代消解的研究还比较少,大多研究是关于英文指代消解的。给出了一个基于SVM的中文名词短语指代消解平台并详细介绍了整个实现过程,语料库采用OntoNotes 3. 0的中文新闻语料。利用3种评测算法对系统性能进行了评测,结果表明本系统是一个比较好的中文指代消解平台。
基于信息量的完备覆盖约简算法
覃丽珍,姚炳学,李金海
计算机科学. 2012, 39 (10): 235-239. 
摘要 ( 109 )   PDF(509KB) ( 466 )   
相关文章 | 多维度评价
覆盖粗糙集是Pawlak粗糙集的一种重要推广。类似于Pawlak粗糙集,约简也是覆盖粗糙集中的核心问题之一。通过引入覆盖族的信息量的概念,讨论了覆盖协调集、约简以及核的等价判定定理,同时对覆盖的重要性进行了度量;在此基础上,提出一种完备的启发式覆盖约简算法,它能够从搜索空间中逐步删除不重要覆盖,避免对其重要性的重复计算;最后,通过一个购房综合评价的实例说明了该算法的可行性与有效性。
空间信息服务链模型的有向图表示及其验证
陈科,谢明霞,成毅
计算机科学. 2012, 39 (10): 240-244. 
摘要 ( 138 )   PDF(514KB) ( 502 )   
相关文章 | 多维度评价
由于目前通用的Web服务组合语言不适合地理信息处理业务流程的直观表达,且学习成本高,不适合空间信息领域的用户使用,因此建立了一种基于有向图的空间信息服务链模型,并从模型组成元素、约束条件和控制模式3个方面对其进行了详细定义和设计。针对构建的服务链模型,从模型语法正确性、结构正确性和语义正确性3个方面进行研究,通过对空间信息服务链模型结构的分析,结合现有的图规约规则,研究并设计了空间信息服务链模型的语法、结构和语义验证方法,并给出了模型验证方法的具体算法和实现流程。通过具体的案例分析,说明了所提出的算法和设计的实施流程的有效性和可操作性。
改进Dijkstra算法在GIS导航应用中最短路径搜索研究
董俊,黄传河
计算机科学. 2012, 39 (10): 245-247. 
摘要 ( 136 )   PDF(378KB) ( 739 )   
相关文章 | 多维度评价
研究GIS在电子导航系统应用中的最短路径搜索效率问题。在电子导航系统中对最短路径的搜索效率要求很高。随着城市发展交通线路剧增,传统的基于Dijkstra算法的GIS导航系统不能适应日益复杂的交通线路,存在最短路径搜索效率过低的问题。考虑到GIS空间分布的特性,提出了改进的Dij kst ra算法用以解决GIS导航中的最短路径搜索问题。改进算法不仅避免了传统Dij kstra算法逐个节点遍历搜索,而且根据方向优先特性缩小搜索范围,大大减少了搜索工作量,并通过改变搜索节点存储的数据结构提高了最短路径的搜索效率。实验表明,这种改进算法较之传统算法能够有效提高最短路径的搜索效率,满足了电子导航系统对最短路径搜索效率的要求,取得了满意的结果。
全蕴涵三I算法的推理结果研究
何映思,全海金
计算机科学. 2012, 39 (10): 248-250. 
摘要 ( 175 )   PDF(245KB) ( 557 )   
相关文章 | 多维度评价
Zadeh提出的CRI算法是模糊推理中运用最广泛的算法,但其逻辑语义不太清楚,也不具有还原性。王国俊教授提出的全蕴涵三I算法具有还原性,并在一定程度上解决了模糊推理的逻辑基础不够完善的问题。现在,全蕴涵三I算法已经获得了普通的接受,并有许多学者对该算法进行了多种形式的推广。但全蕴涵三I算法及其改进算法在实际控制中都还未见成功的运用。对全蕴涵三I算法的推理结果进行了全面分析,指出全蕴涵三I算法存在的问题及其不能应用于实际控制的原因。
基于抽样的因果图仿真推理算法研究
石庆喜
计算机科学. 2012, 39 (10): 251-253. 
摘要 ( 129 )   PDF(318KB) ( 608 )   
相关文章 | 多维度评价
由于因果图的经典推理的计算复杂度是NP难的,因此其不便于推广和使用。基于因果图理论和Monte Carlo思想,提出了基于抽样的A-R Sampling和重要性抽样的因果图仿真推理算法。在故障诊断中的有效应用验证了方法是可行的。
基于用户体验的计算系统多元性能评价模型
游静,董小龙,苏兵,孙玉强
计算机科学. 2012, 39 (10): 254-257. 
摘要 ( 124 )   PDF(389KB) ( 467 )   
相关文章 | 多维度评价
传统的性能监控系统通过监控系统资源的使用情况来间接地反映和评价系统的运行状态,但是该方法与用户感知的系统性能有较大出入。对于终端用户,其最直接的体验就是请求的响应时间,它受系统运行过程中多种因素的综合影响。基于基因表达式编程理论,提出了一种对计算系统性能进行多元评价的基因表达式编程算法,其通过对多种系统资源数据的分析,建立响应时间对多种系统资源的数学模型,以此预测系统性能的变化。最后,针对具体的仿真环境和采样数据,采用该算法获得了响应时间的多元非线性模型。结果表明,该模型能较好地预测系统的性能变化情况。
基于可能性测度的计算树逻辑CTL*与可能性互模拟
邓辉,薛艳,李亚利,李永明
计算机科学. 2012, 39 (10): 258-263. 
摘要 ( 182 )   PDF(477KB) ( 780 )   
相关文章 | 多维度评价
提出了基于可能性测度的计算树逻辑CTL*
基于ALCO@的ABox知识更新的研究
刘一松,王昌海,赵吉庆
计算机科学. 2012, 39 (10): 264-267. 
摘要 ( 110 )   PDF(360KB) ( 472 )   
相关文章 | 多维度评价
以描述逻辑ALCO@为基础研究知识更新。首先介绍ALCO@的语法和语义,然后引入确定集和冲突集的概念,并根据描述逻辑的Tablcau判定算法给出从原知识库得到确定集和冲突集的推演算法。在更新算法执行过程中,首先在原知识库中删除冲突集中的断言,然后把需要添加的断言加入到知识库中,最后修改受更新操作影响的其它断言的约束条件,以使知识库满足开世界假设。
基于邻域粗糙模型的高维数据集快速约简算法
刘遵仁,吴耿锋
计算机科学. 2012, 39 (10): 268-271. 
摘要 ( 115 )   PDF(423KB) ( 577 )   
相关文章 | 多维度评价
根据粒子群优化算法的思想,给出了求解高维部域决策表的一个约简算法SPRA。通过采用固有维数的分析方法MLE等,将其估算的维数值作为SPRA算法的初始化参数,提出了高维数据集快速约简算法QSPRA。利用5个UCI标准数据集对该算法进行了验证,结果表明,该算法是有效的、可行的。详细分析了种群规模和迭代次数对结果产生的影响。实验表明,基于核的启发式添加算法思想已经不适合求解高维数据集。
EGG图文法语法分析算法的研究
朱云,曾晓勤,朱宁
计算机科学. 2012, 39 (10): 272-277. 
摘要 ( 208 )   PDF(604KB) ( 494 )   
相关文章 | 多维度评价
EGG是一种基于边的上下文相关图文法形式化框架,其语法分析(归约操作)算法是该文法重要的组成部分。在简要介绍EGG的基础上,给出了EGG语法分析算法的设计,其中包括子图匹配算法、子图替换算法和算法计算复杂性的分析。为了展示如何用EGG来定义图语言,特别是如何用所设计的归约算法来分析图,文中以程序流程图为例,给出了相关的EC}C}形式定义以及对一个具体流程图的归约过程,并探讨了可能降低分析算法复杂性的一些途径。
基于规则的中文零指代项识别研究
秦凯伟,孔芳,李培峰,朱巧明
计算机科学. 2012, 39 (10): 278-281. 
摘要 ( 300 )   PDF(341KB) ( 589 )   
相关文章 | 多维度评价
提出了一个基于规则的中文零指代项识别方法,即输入一个句法分析树,根据这个句法分析树得到当前词的最小IP子树,再依据得到的IP子树提出中文零指代识别的一些规则。所用的语料是Ontonotes。从实验结果可以看到,该方法在标准的句法分析树上F值能达到82.45%,在自动句法树上其也能达到66. 45%。从实验结果可以看出,该方法在中文零指代识别上具有很好的性能。
图形图像
基于纹路的三维指纹模型重建算法
梁小龙,殷建平,祝恩,官群健
计算机科学. 2012, 39 (10): 282-285. 
摘要 ( 158 )   PDF(389KB) ( 711 )   
相关文章 | 多维度评价
三维指纹识别是近几年兴起的一种基于三维指纹模型进行指纹识别的新技术,能够克服传统接触式指纹识别中存在的纹路变形、残留纹路、对手指皮肤状况敏感等缺陷。基于多角度图像的三维指纹模型重建是整个识别过程中的一个关键步骤。提出了一种基于纹路的重建算法,算法重建的指纹模型直接包含纹路与细节点相关特征。相对于已有文献中将指纹表皮作为重建对象,算法重建结果更有助于特征提取等三维指纹识别后续过程。
基于空频域联合闭值分割的轮廓检测方法
曲智国,高颖慧,王平,王鹏,沈振康
计算机科学. 2012, 39 (10): 286-289. 
摘要 ( 118 )   PDF(873KB) ( 493 )   
相关文章 | 多维度评价
传统的边缘检测算子仅在空域上对梯度图像进行阂值分割来计算二值边缘图像,当应用在自然场景图像中时,检测结果中往往含有大量的千扰边缘。为了消除干扰边缘,提高传统边缘算子的轮廓检测性能,提出了基于空频域联合阂值分割的轮廓检测方法:首先对梯度图像进行频域阂值分割消除干扰边缘,然后进行空域阂值分割得到最终的二值边缘图。结合Canny算子,利用自然场景图像对该方法进行了性能评估,结果表明,该方法大大减少了干扰边缘,有效提高了Canny算子在复杂自然场景图像中的轮廓检测性能。
一种DWT与背景重构相结合的运动目标分割方法
任应军,范九伦
计算机科学. 2012, 39 (10): 290-293. 
摘要 ( 126 )   PDF(847KB) ( 495 )   
相关文章 | 多维度评价
针对视频处理中数据量大、消耗时间长的缺点,在假定“背景像素总是以较高的频率在图像序列中出现”的前提下,提出了一种新的运动目标分割方法。首先将待处理的视频图像序列经过DWT变换(Discrete Wavelet Transform)提取其近似分量,然后利用像素点聚类方法,结合双阂值和相似类合并,选择一段时间内频率出现较高的像素值来重构背景,最后借鉴图像匹配的评价标准来验证重构背景的准确性。实验结果表明,该方法能提取出较好的背景,从而实现对运动目标的高效且完整分割。
基于新型光谱相似度量的高光谱影像谱聚类算法
陈伟,余旭初,张立福,张鹏强
计算机科学. 2012, 39 (10): 294-299. 
摘要 ( 93 )   PDF(1061KB) ( 642 )   
相关文章 | 多维度评价
高斯径向基函数是基于光谱向量间欧氏距离的度量,其对于同种地物光谱变化的适应性较弱,使得基于高斯径向基函数的高光谱影像谱聚类算法的性能下降。为了解决该问题,从光谱曲线形状描述出发,基于光谱角度余弦提出了一种新型光谱相似度量,并将其用于构建谱聚类算法的亲和度矩阵。最后利用多组高光谱数据进行了实验分析,结果证明了该算法的有效性。
基于图像处理技术和BP神经网络算法的玉米病害诊断方法的研究
曹丽英,张晓贤,伞晓辉,陈桂芬
计算机科学. 2012, 39 (10): 300-302. 
摘要 ( 130 )   PDF(232KB) ( 485 )   
相关文章 | 多维度评价
为了快速诊断识别玉米病害,及时采取防治措施,提高玉米病害的诊断水平,将图像处理技术和PP神经网络算法引入到玉米病害识别和诊断中。实验测试表明,利用图像处理技术的病害识别模型对采集的病害样本进行处理识别所得到的分析结论与实际应用领域的真实结论相符,满足农业生产的实际应用。该项技术为保证玉米产量和玉米品质提供了一种有效的方法。
体系结构
自动复位快速环树数据采集算法
陈志锋,李清宝,王炜,林夕杰
计算机科学. 2012, 39 (10): 303-307. 
摘要 ( 114 )   PDF(477KB) ( 492 )   
相关文章 | 多维度评价
获取时序可编程逻辑器件内部状态转移关系是可编程逻辑器件逆向分析的关键和安全缺陷分析的基础。在分析现有可编程逻辑器件数据采集算法的基础上,基于环树数据采集算法,提出一种自动复位机制,以实现可编程逻辑器件功能全集数据的采集;针对环树数据采集算法驱动路径动态变化的问题,提出一种动态最短路径算法,以减少状态转移次数,提高采集效率。实验结果显示,自动复位快速环树数据采集算法不仅实现了可编程逻辑器件功能全集数据的正确采集,而且数据采集效率比现有算法提高了约9%。
UEFI Bootkit模型与分析
唐文彬,陈熹,陈嘉勇,祝跃飞
计算机科学. 2012, 39 (10): 308-312. 
摘要 ( 247 )   PDF(400KB) ( 1175 )   
相关文章 | 多维度评价
分析了UEFI Bootkit的工作原理和关键技术;在Harold木马模型的基础上,给出了UEFI Bootkit的形式化描述;分析了UEFI Boot kit和木马在隐蔽技术方面的差异,建立了UEFI I3ootkit协同隐藏的形式化模型;给出了模型的一个应用实例,理论证明了在操作系统内核启动前检测Bootkit比在操作系统启动完成后检测具有更好的效果;开发了一套在操作系统内核加载前就开始检测的UEFI Bootkit检测系统;使用检测系统进行了实际的测试,结果表明,UEFI Bootki、检测系统具有较好的检测效果,有效地验证了模型的准确性。
基于自适应功耗管理的高性能计算机作业调度策略的研究
王洁,曾宇
计算机科学. 2012, 39 (10): 313-317. 
摘要 ( 122 )   PDF(929KB) ( 489 )   
相关文章 | 多维度评价
作业调度系统是高性能计算机的核心组件,其目标是在满足性能要求的前提下,使得所有任务消耗的总功耗最低。提出了一种自适应功耗管理策略,该策略采用遗传算法作为功耗调度算法,采用作业队列的能效比作为调度因素,与面向资源效率的传统作业调度算法相比,在确保提升资源利用率、减少资源碎片、提升作业吞吐率、减少饥饿作业的前提下,大幅提升了系统的能效比。实验证明该策略能有效提高整机能效,与传统作业调度策略相比能节约9%以上的能耗。