1974年1月创刊(月刊)
主管/主办:重庆西南信息有限公司
ISSN 1002-137X
CN 50-1075/TP
CODEN JKIEBK
编辑中心
当期目录
2011年第2期, 刊出日期:2018-11-16
  
综述
关于软件测试的几点思考
聂长海
计算机科学. 2011, 38 (2): 1-3. 
摘要 ( 160 )   PDF(377KB) ( 699 )   
相关文章 | 多维度评价
近些年来,软件测试越来越受到产业界、教育界和学术界的重视。结合作者在软件测试领域的教学和科研积累,对软件测试从课程、职业和科学三个层面进行思考,分别探讨了软件测试作为一门课程时,它的知识体的构成;作为一个职业时,它的职业技能和素养所包括的内容;作为一门科学时,它的主要科学问题有哪些。
YHSSAS:面向大规模网络的安全态势感知系统
贾 焰,王晓伟,韩伟红,李爱平,程文聪
计算机科学. 2011, 38 (2): 4-8. 
摘要 ( 189 )   PDF(597KB) ( 1143 )   
相关文章 | 多维度评价
网络安全态势感知系统NSSAS(Nctwork Security Situation Awarcncss System)能够感知网络安全的整体态势,对提高网络的应急响应和主动防御能力具有重要作用。现有的NSSAS处理能力有限,难以应用于国家骨千网等大规模网络。介绍了一个面向大规模网络的安全态势感知系统YHSSAS,首先提出一个网络安全态势感知模型,然后从数据集成、关联分析、指标体系、事件预测几个方面介绍了涉及的关键技术。
文本信息处理研究述评
袁鼎荣,钟宁,张师超
计算机科学. 2011, 38 (2): 9-13. 
摘要 ( 119 )   PDF(524KB) ( 805 )   
相关文章 | 多维度评价
文本信息处理就是通过计算机对文本从表及里、由此及彼的分析处理,不仅仅抽取包含其中的信息,更需要分析推理蕴涵其中的意义。全面地分析探讨了文本信息处理研究现状,概述了文本信息处理的发展历史,将文本信息处理研究归纳为分词研究、文本信息抽取、文本分类、文本信息检索、文本自动摘要等方面,并分别对各领域的研究现状做了概述,指出了各研究领域中存在的问题。讨论了文本信息处理的关键技术问题及其挑战,指出了文本信息处理的远景目标就是文本信息的语义分析、归纳推理和文语转换。
支持向量机研究进展
顾亚祥,丁世飞
计算机科学. 2011, 38 (2): 14-17. 
摘要 ( 260 )   PDF(384KB) ( 1626 )   
相关文章 | 多维度评价
基于统计学习理论的支持向量机((Support vector machines, SVM)以其优秀的学习能力受到广泛的关注。但传统支持向量机在处理大规模二次规划问题时会出现训练时间长、效率低下等问题。对SVM训练算法的最新研究成果进行了综述,对主要算法进行了比较深入的分析和比较,指出了各自的优点及其存在的问题,并且着重介绍了目前研究的新进展—模糊SVM和粒度SVM。接着论述了SVM主要的两方面应用—分类和回归。最后给出了今后SVM研究方向的预见。
并行构件技术研究综述
彭云峰,姚琳,赵冲冲,胡长军
计算机科学. 2011, 38 (2): 18-27. 
摘要 ( 125 )   PDF(993KB) ( 622 )   
相关文章 | 多维度评价
并行构件技术作为并行软件工程的主要内容之一,对提高并行计算软件的生产率具有重要意义,也是并行软件工程的重要研究内容。并行构件技术研究现状包含并行构件模型、并行构件体系结构规范、并行构件框架3个方面。并行构件、接口、框架的定义和实现是区分不同并行构件体系结构规范的主要标准。如何在实现并行构件复用性的同时提高并行构件组成的应用系统性能,是这些技术发展的共同思想。单构件多数据、多构件多数据编程模型、多语言互操作技术、并行远程方法调用、MxN问题的解决方法、不同模型构件间的互操作都是并行构件领域的研究成果。并行构件技术的发展方向是开展对多语言互操作、性能预测、自适应构件、构件模型的互操作、多核硬件上的并行构件体系结构技术的研究。
计算机网络与信息安全
P2P中基于信任和属性的访问控制
封孝生,王桢文,黎湘运
计算机科学. 2011, 38 (2): 28-31. 
摘要 ( 95 )   PDF(482KB) ( 393 )   
相关文章 | 多维度评价
P2P具有无集中控制节点、节点对等自治和网络动态的特点,这些特点为实施访问控制带来很大的挑战,传统的访问控制技术不能很好地适应对等网环境。首先对现有的对等网环境中的访问控制技术进行研究,然后在基于信任模型的角色访问控制的基础上,针对无法区分通过信任模型计算出相同结果的用户的问题,提出了基于信任和属性的访问控制。基于信任和属性的访问控制引入资源属性和用户属性来分别描述资源和用户,依据用户属性、信任模型计算出的数值、环境属性和授权策略来建立用户角色指派关系,依据资源属性和授权策略来建立角色权限指派关系,从而解决基于信任模型的角色访问控制存在的问题。
网络安全策略求精一致性检测和冲突消解机制的研究
倪俊,陈晓苏,刘辉宇,李劲
计算机科学. 2011, 38 (2): 32-37. 
摘要 ( 97 )   PDF(561KB) ( 992 )   
相关文章 | 多维度评价
通过对基于策略的网络安全管理的研究,分析了现有网络安全策略冲突检测和消解方法存在的不足。基于策略求精的思想和安全策略冲突分类技术,建立基于策略的网络管理安全级模型,并用扩展的XACML语言加以描述。根据策略行为间的关系,采用知识推理技术,动态分层地对相应安全级策略进行一致性自动检测和实时冲突消解,使其具有良好的可重用性和可扩展性,以利于安全策略管理效率的提高。并通过策略求精访问控制的应用实现进行了验证。最后给出了未来的研究方向。
红外线通信系统中的GBN-ARQ协议时延性能研究
黎锁平,滕国宝,周永强,马成业
计算机科学. 2011, 38 (2): 38-41. 
摘要 ( 111 )   PDF(357KB) ( 462 )   
相关文章 | 多维度评价
由于红外线通信半双工的特点,GBN-ARQ重传机制与全双工传输链路上的C}I3N- ARQ重传机制有很大不同。研究了半双工传输链路上的GI3N- ARQ重传机制,分析了该机制在半双工传输链路上的传输特征,将影响传输系统的因素参数化,在此基础上利用排队理论分析系统时延组成,求得了GI3N- ARQ系统的分组平均等待时延与平均分组服务时延的一般表达式。通过数值仿真分析了分组传输正确率、发送窗口长度以及分组长度对系统时延的影响。
网络通信系统的信息脆性结构的研究
薛萍,武俊峰,刘洋
计算机科学. 2011, 38 (2): 42-45. 
摘要 ( 105 )   PDF(436KB) ( 356 )   
相关文章 | 多维度评价
从研究系统脆性的角度出发,把系统的环境中所有作用于系统上的并有可能激发系统的脆性,造成系统突然崩溃的因素和事件称之为系统的脆性环境。基于系统的脆性环境建立了网络通信系统脆性结构模型,结合信息脆性嫡对网络通信系统进行信息脆性风险过程分析。分析结果表明此方法是可行的;论证了系统信息脆性结构分析方法的有效性和稳定性,最后将这套分析方法应用到一个具体网络通信系统,对其主脆性因子建立了分析模型,并取得了比较满意的结果。
基于Ad hoc网的身份型广播加密方案
孙瑾,胡予濮,张乐友
计算机科学. 2011, 38 (2): 46-49. 
摘要 ( 130 )   PDF(350KB) ( 504 )   
相关文章 | 多维度评价
考虑到动态Ad hoc网的安全性及效率难以兼顾的问题,提出一种有效的基于动态网络的广播加密方案,并给出严格的安全性证明。该方案建立在标准模型下,当用户之间通过广播方式传递信息时,采用双线性对运算对任意数量无状态用户可实现完全杭串谋攻击。在密钥提取过程中,通过引入身份随机数并利用撤销用户身份集合进行加密,使得新用户可以动态加入群却不改变加解密密钥和密文的长度,其大小不超过O(1)。同时,所有有效操作过程在O(r)时间内完成,不依赖于用户总人数二,从而大大提高了算法的传输及存储效率。安全性验证表明,该方案在GD-DHE假设下是杭静态敌手INI}IN-CPA安全的。
一种基于智能卡的匿名公平移动支付系统
程杰仁,蔡志平,殷建平,张玲
计算机科学. 2011, 38 (2): 50-54. 
摘要 ( 137 )   PDF(511KB) ( 432 )   
相关文章 | 多维度评价
提出了一种基于智能卡的匿名公平移动支付系统模型,基于该模型提出了一个可追踪匿名的脱线式数字现金协议,它使用智能卡作为分布匿名代理,实现了数字现金的动态匿名和兑零的功能;证明了匿名数字现金满足安全性和可追踪匿名性,该协议的效率高于基于盲签名和匿名代理服务器技术的协议。提出了一个关于时间敏感商品的公平移动支付方案,即使用智能卡实现交易中介功能,减少了使用时间戳和全局统一时钟的代价。业已证明该方案是公平的。
稳定有界Petri网的进程表达式
汪明新,刘关俊,闫春钢
计算机科学. 2011, 38 (2): 55-58. 
摘要 ( 112 )   PDF(379KB) ( 392 )   
相关文章 | 多维度评价
文献[1]证明一个有界Pctri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法。定义了一类有界Petri网—稳定有界Petri网,并给出其基本子进程的求解算法,进而利用有限自动机的语言表达式的求解方法来求解稳定有界Pctri网的进程表达式。另外,还给出了由符合一定条件的导网的进程表达式来构造其同步合成网的进程表达式的算法。
基于多蚁群算法的无线传感器网络路由的跨层设计
李丽芬,张君艳,朱永利,于永华
计算机科学. 2011, 38 (2): 59-62. 
摘要 ( 127 )   PDF(464KB) ( 353 )   
相关文章 | 多维度评价
针对事件驱动型无线传感器网络对数据传输的强实时性和高可靠性的要求,将统计获得的节点接入效率和负载队列长度等MAC层状态信息作为路由度量参数。考虑到蚂蚁网络算法在重负荷网络中存在传输延迟大、聚合速度慢等缺陷,提出了一种基于多蚁群算法的负载感知和高效接入的跨层路由协议,该协议把节点的单跳延迟、负载及带宽接入效率等参数作为路径的启发值进行路由优化。仿真结果表明,基于多蚁群算法的路由协议能够保证数据传输的实时性,能够实现无线传感器网络的拥塞控制及负载平衡。
基于存储环境感知的重复数据删除算法优化
周敬利,聂雪军,秦磊华,刘科,朱建峰,王宇
计算机科学. 2011, 38 (2): 63-67. 
摘要 ( 241 )   PDF(456KB) ( 444 )   
相关文章 | 多维度评价
在备份和归档等存储应用中产生的重复数据在存储空间和能耗上造成的浪费问题日益突出,如何删除重复数据已成为当前存储领域中的研究热点。CDC(Content Defined Chunking)是一种适用于多种应用环境的重复数据删除算法,但缺乏针对具体应用环境的优化。通过对存储环境进行感知和分析,为CIX;算法提出了两个参数选择约束条件:(1)根据存储设备中的数据块存储方式来选择平均分块大小等参数;(2)根据数据的分块边界分布特性来选择分块边界特征值参数。实验表明,与无约束条件的CDC算法相比,这两个约束条件在4个实验数据集上平均可提高16. 3%的数据缩减比。
基于RTP/RTCP的VoIP智能切换技术的实现方法研究
李钦德,周文安,马飞,宋俊德
计算机科学. 2011, 38 (2): 68-71. 
摘要 ( 115 )   PDF(380KB) ( 463 )   
相关文章 | 多维度评价
为满足通信接入需求的多样性,接入网络的异构融合将成为下一代网络的必然趋势。为了解决由于异构网络和终端性能的不稳定及用户需求的实时变化而导致的通话连续性差的问题,提出了一种面向用户的基于RTP/RTCP的VoIP系统智能切换技术。通过对RTP/RTCP协议的应用扩展,系统实时检测VoIP会话的端到端网络的QoS性能,并对终端和网络性能、用户信息进行采集,从而使系统可根据用户所需的业务性能需求、所处的网络环境、终端性能、用户偏好等,智能地将用户切换到最佳的可用网络和终端,以满足服务连续性与接入方式多样性的需求。
改进的混合蛙跳算法在传感器配置优化中的应用
刘晓芹,黄考利,安幼林,吕晓明
计算机科学. 2011, 38 (2): 72-75. 
摘要 ( 125 )   PDF(399KB) ( 349 )   
相关文章 | 多维度评价
传感器配置优化是可测性设计的重要研究内容,将混合蛙跳算法应用于传感器配置优化是一种新的尝试。针对传感器配置优化属于离散问题求解,提出离散的混合蛙跳算法,设计了一种离散化的更新方式。为克服蛙跳算法的早熟收敛问题,在改进的离散蛙跳算法中采用混沌优化算法以概率的形式对全局极值进行了优化。最后通过具体系统实例验证了该方法的正确性和有效性。
基于DV-Hop定位算法的改进研究
王新生,赵衍静,李海涛
计算机科学. 2011, 38 (2): 76-78. 
摘要 ( 128 )   PDF(351KB) ( 525 )   
相关文章 | 多维度评价
在无线传感器网络DV-Hop定位算法中,网络平均跳距离的估算是决定定位精度的重要因素之一。传统的DV-Hop定位算法只考虑了最近一个锚节点佑计的平均跳距,从而导致定位误差较大。为了提高节点定位精度,在原算法基础上提出了一种改进算法,考虑使用多个锚节点佑算的平均跳距离并且采用加权平均跳距代替传统算法中的平均跳距。仿真实验结果表明,在相同的网络环境下,改进后的算法能有效地减少跳距计算带来的定位误差,提高定位精度。
空间信息网络环境下一种基于双层卫星网络的认证路由协议
郝选文,马建峰,任方,刘小跃,钟焰涛
计算机科学. 2011, 38 (2): 79-81. 
摘要 ( 149 )   PDF(275KB) ( 464 )   
相关文章 | 多维度评价
以空间信息网络环境为背景,介绍了空间信息网络的概念,分析了卫星网络路由的研究现状和卫星网络拓扑结构路由需求。在卫星网络安全路由需求的基础上研究了卫星网络路由协议,提出了一种基于双层卫星网络的认证路由协议,并对该认证路由协议的安全性进行了证明。结果表明,该认证路由协议对卫星网络路由消息的安全性有了很大提高。
基于会话的应用特征自适应提取
王变琴,余顺争
计算机科学. 2011, 38 (2): 82-85. 
摘要 ( 131 )   PDF(467KB) ( 406 )   
相关文章 | 多维度评价
提取网络应用特征,对于准确地识别应用层流量,进一步提供差异性服务、QoS保障、入侵检测、流量监控以及计费管理等应用具有很重要的意义。然而目前还没有有效的应用特征自动提取方法。提出了一种自动提取应用特征的新方法,该方法能够从应用层的会话中提取频繁项集,经过冗余项过滤及基于识别率的自适应特征选择获取识别应用协议的最小特征集。采用识别率和正确率对所提取的特征进行评估。实验结果表明,该方法是有效的,所提取的特征具有准确性,能用于应用层流量的精确识别。
Ad hoc网络节点不相交多路径距离矢量路由协议
郭显,冯涛,袁占亭
计算机科学. 2011, 38 (2): 86-90. 
摘要 ( 137 )   PDF(464KB) ( 371 )   
相关文章 | 多维度评价
AMR算法是Ad hoc网络计算节点不相交最大路径集合的累积多路径路由机制。针对节点不相交多路径源路由协议MNVP及SMNVP存在的问题,整合按需距离矢量路由AODV和AMR算法,提出了节点不相交多路径距离矢量路由协议MDVRo MDVR协议建立的路径信息分布在网络节点中,可缩短路由分组长度以及减轻路由发现源节点建立路由的负担;可防止攻击者通过墓改路由消息中的路径信息攻陷协议。
LTE中MBMS服务DSI设计
吴伟民,江小威,朱光喜,高有军
计算机科学. 2011, 38 (2): 91-94. 
摘要 ( 185 )   PDF(353KB) ( 421 )   
相关文章 | 多维度评价
在LTE系统中,动态调度对提高M13MS业务资源利用效率具有重要的理论与实际意义,而动态调度信息的设计亦是其中重要的一环。在详细讨论现有DSI设计方案存在的问题及其对MI3MS业务影响的基础上,严格参照国际公认的3GPP标准业务模型与LTE协议栈,搭建OPNE」仿真平台对问题进行仿真研究,以期压缩DSI信息比特数,达到减小M"I'CH信道指示信息所必需的控制信息开销的目的。对相关问题的仿真结果表明,所提出的以差分偏移表示DSI的设计方案可切实有效地节省DSI比特开销,对推动工`I'E的发展具有重要价值。
异步交互的Web服务的相容性分析
刘方方,余洁,李成玲
计算机科学. 2011, 38 (2): 95-99. 
摘要 ( 104 )   PDF(430KB) ( 333 )   
相关文章 | 多维度评价
Web服务合成的相容性是服务合成研究领域的重要问题。相容性分析需要考虑异步交互的服务合成环境。用形式化的分析方法为Web服务的合成建模,给出服务合成满足相容性要求的限制条件,并提供了相容性的判断方法。
流密码Rabbit的安全性分析
张振广,胡予濮,王璐
计算机科学. 2011, 38 (2): 100-102. 
摘要 ( 207 )   PDF(228KB) ( 465 )   
相关文章 | 多维度评价
通过分析流密码算法Rabbit的设计弱点,提出了一种针对Rabbit密钥流生成器的密钥恢复攻击。攻击分3个阶段分别猜测96bits ,96 bits和5bits依次恢复状态变量、计数器变量以及密钥种子。结果表明,整个过程的预计算复杂度为O(296),时间复杂度为O(297),所需存储空间为O(295.81)。与已有的攻击算法相比,其增加了预计算复杂度和存储空间,但降低了时间复杂度。
基于超边际分析的分布式资源分配模型
刘君,王恩泽,乔建忠,林树宽
计算机科学. 2011, 38 (2): 103-105. 
摘要 ( 91 )   PDF(347KB) ( 439 )   
相关文章 | 多维度评价
对以充分利用空闲资源为目的的分布式计算环境来说,可用节点具有波动性,网络环境具有不确定性,从而影响计算效率。提出一种基于超边际分析的分布式计算资源分配方法,该方法把计算任务分配到具有比较优势的节点,选择执行能力更强的节点进行计算,提高了分布式计算环境中资源分配的效率。仿真结果表明此方法合理、有效,适用于分布式计算环境。
公开追踪和CCA2安全的叛逆者追踪方案
王青龙,张少博
计算机科学. 2011, 38 (2): 106-109. 
摘要 ( 95 )   PDF(443KB) ( 401 )   
相关文章 | 多维度评价
提出一种新的k-resilient公钥叛逆者追踪方案。方案的追踪方式为公开黑盒追踪。假设DDH问题为困难问题,则方案能被证明是自适应选择密文攻击安全的,并且在撤销不超过k个叛逆者条件下仍然是自适应选择密文攻击安全的。与同类方案相比,该方案没有使用一次性消息认证码假设,并且有效降低了追踪时的计算复杂性。另外,方案满足非对称性。
时间依赖无向中国邮路问题的分支限界算法
谭国真,孙景昊,肖宏业,吕凯
计算机科学. 2011, 38 (2): 110-113. 
摘要 ( 227 )   PDF(345KB) ( 509 )   
相关文章 | 多维度评价
时间依赖网络相比传统网络模型有更广泛的应用领域,比如会交网络和通信网络都可以抽象成为时间依赖的网络模型。当模型中弧的访问代价为时间依赖的变量时,中国邮路问题的求解将变得非常困难。首先分析了传统的中国邮路问题求解算法,如奇偶图上作业法和Edmonds& Johnson算法,以及不能有效求解时间依赖中国邮路问题的根本原因;其次给出了一般时变无向中国邮路问题的特性,并在此基础上设计了该问题的分支限界最优化算法;然后针对FIFO(First In First Out)这一类特殊时变网络,设计了新的剪枝条件,从而得到了更有效求解FIFO网络的时变无向中国邮路问题的分支限界最优化算法;最后对算法进行了实验,算法实验结果正确。
软件工程
基于事例推理的Web服务QoS动态预测研究
刘志中,王志坚,周晓峰,娄渊胜,尚领
计算机科学. 2011, 38 (2): 119-121. 
摘要 ( 102 )   PDF(387KB) ( 320 )   
相关文章 | 多维度评价
随着面向服务计算技术的发展,网络上出现了大量功能相同而服务质量(QoS)有很大差别的Wcb服务,QoS逐渐成为评价和选择Web服务的重要依据。目前常用Web服务历史QoS的算术平均值来近似服务的QoS,这种度量方法没有考虑Wcb服务QoS的动态性,不能准确地度量Wcb服务的QoS,从而造成被选择的Wcb服务以较大概率不能满足用户的QoS需求。针对这一问题,提出了一种基于事例推理(C13R)的QoS动态预测方法,该方法将Web服务的QoS与服务的外界环境、所处理的任务类型、任务大小关联起来,利用事例推理技术预测Web服务处理新任务时的QoS。实验结果表明,该预测方法能有效地提高Wcb服务QoS的准确度。
综合化航空电子系统软件接口研究
崔西宁,胡林平,叶宏,白晓颖
计算机科学. 2011, 38 (2): 122-126. 
摘要 ( 118 )   PDF(471KB) ( 855 )   
相关文章 | 多维度评价
综合化航空电子系统软件对系统的综合性能具有较高的要求。全面分析了综合化航空电子系统的性能需求,定义了综合化航空电子系统性能评估模型,首次对综合化航空电子系统进行全面评估,建立了综合化航空电子系统体系结构和功能软件的评估模型,分析和对比了综合化航空电子系统软件现有接口标准规范。在航空电子系统软件开发中将多个标准结合起来参考使用,将有利于提高机载软件的重用性、移植性、安全性和可靠性。
软件缺陷模式的研究
曾福萍,靳慧亮,陆民燕
计算机科学. 2011, 38 (2): 127-130. 
摘要 ( 127 )   PDF(350KB) ( 1309 )   
相关文章 | 多维度评价
软件缺陷是导致软件不可靠的根本原因,提高软件可靠性的关键在于减少软件缺陷,那么如何利用积累的缺陷数据提高软件可靠性?结合软件缺陷和模式的概念提出了软件缺陷模式的定义。通过分析积累的软件缺陷数据对缺陷模式的所属分类进行了划分,在此基础上进一步给出了软件需求分析、设计和编码各阶段的软件缺陷模式。最后阐述了在软件开发过程和测试过程中缺陷模式的应用,为如何利用缺陷数据来提高软件可靠性提供了思路。
一种容错的面向服务体系结构描述语言
吕国斌,王权于,李贵龙
计算机科学. 2011, 38 (2): 131-137. 
摘要 ( 90 )   PDF(613KB) ( 312 )   
相关文章 | 多维度评价
针对如何构建具有容错能力的面向服务软件体系结构的科学问题,提出了一种新型的支持异常处理的面向服务体系结构描述语言SOADL-EH。该语言不仅具备表示面向服务软件体系结构的建模能力,还提供了异常处理服务、异常连接件及异常配置等语言成分,清晰地将面向服务软件体系结构层的异常处理逻辑从正常业务逻辑中分离出来,弥补了已有的面向服务体系结构描述语言在建模异常处理能力方面的不足。
一种面向语义Web的组合服务演化方法研究
王晓璇,鲍爱华,缪嘉嘉,丁科,王真
计算机科学. 2011, 38 (2): 138-143. 
摘要 ( 103 )   PDF(720KB) ( 325 )   
相关文章 | 多维度评价
为了敏捷、有效地调整动态环境下的组合服务,系统地提出一种面向语义Web的组合服务结构化演化方法EM4CS。 EM4CS方法采用OWL-S语言描述的组合式语义Web服务为研究对象,将组合服务演化过程划分为3个部分、6个阶段,分别从演化需求获取、演化需求形式化表示、语法一致性维护、语义一致性维护、演化结果确认和演化结果发布与传播6个方面覆盖组合服务演化周期。EM4CS方法从系统工程的角度分析组合服务演化过程,以迭代求精的方式逐步实现演化需求,同时维持服务描述语法和语义的一致性。介绍了遵循EM4CS方法的组合服务演化支撑系统ESS4CS,该系统能够全程辅助知识工程师完成组合服务演化工作,能有效地提高组合服务演化的效率和精度。
计算机网络与信息安全
基于GMPLS的光突发交换网络的仿真研究
任海兰,罗志会,刘德明
计算机科学. 2011, 38 (2): 144-118. 
摘要 ( 114 )   PDF(527KB) ( 460 )   
相关文章 | 多维度评价
光突发交换技术(OBS, Optical Burst Switching)是电路交换到分组交换的过渡技术,GLOBS网络是通用多协议标记交换(GMPLS, Generahzed Multi-Protocol Label Switching)技术和OBS技术结合的产物,后者是将现有光网络技术向光因特网过渡的有效途径。提出了基于OPNET软件的G-LOBS通用仿真平台的设计,设计出了基于流量工程的资源预留(RSVP-TE, Resource Reservation Protocol-Traffic Engineering)信令模块,并用OPNET软件对RSVP-TE协议进行了仿真分析。
软件工程
一种改进的基于路径的构件软件可靠性模型研究
张伟,张为群
计算机科学. 2011, 38 (2): 148-151. 
摘要 ( 104 )   PDF(344KB) ( 336 )   
相关文章 | 多维度评价
基于构件的软件可靠性分析往往把构件的可靠性当作自身固有不变的属性,忽略了在不同的运行路径下因构件所处的交互环境不同造成的实际可靠性的变化。因此,提出一种改进的基于路径的构件软件可靠性模型,它引入构件动态迁移图来建立构件软件运行路径和构件可靠性关系,给出一种改进的基于路径的用以计算构件软件可靠性的方法。最后通过实例验证了该方法的有效性和可行性。
Web软件的一种有效测试方法
钱忠胜,缪淮扣
计算机科学. 2011, 38 (2): 152-155. 
摘要 ( 130 )   PDF(446KB) ( 340 )   
相关文章 | 多维度评价
测试Web软件面临极大的挑战。从构造Web软件的页面流图出发,提出了一种测试路径生成的方法,以一个简单的Wcb登录系统SWLS(Simple Web Login System)为例对该方法进行了阐述,并给出了Web软件测试的一种有效模型。该方法给页面流测试技术提供了一个有意义的基础。
面向不同行业软件的质量评测模型及实践
聂南,邓璐娟,夏启明,李健勇
计算机科学. 2011, 38 (2): 156-159. 
摘要 ( 92 )   PDF(379KB) ( 371 )   
相关文章 | 多维度评价
针对不同的行业类型软件的质量需求和应用,提出了建立对应的软件质量评测模型,论述了系统质量评价时涉及的相关质量特性选择根据和方法。还结合几个实际的工程测量类软件产品,给出了工程测量类软件测试模型的一个应用实例。测评过程展示了测试实践中遇到的问题和解决方法,如一些接口交互错误和格式化数据类型错误等。最后软件的质量得到了改进,并且统计出一个较全面和客观的评价结果。
数据库与数据挖掘
M2:一种有效的XPath求值方法
陈荣鑫,廖湖声,陈维斌,叶文来
计算机科学. 2011, 38 (2): 160-165. 
摘要 ( 98 )   PDF(553KB) ( 430 )   
相关文章 | 多维度评价
XPath求值性能极大关系到XML应用程序的整体性能。提出的M2(Matrix Match)方法基于节点关系矩阵查询。根据XMI区间编码构建关系矩阵,通过查询原语序列的执行实现XPath表达式求值。研的导航式特点使得XPath的各种查询语义容易实现,包括反向轴操作和以谓词表达的分支查询。对应相同XML数据的关系矩阵可以被不同查询复用。关系构建和查询求值的过程中,基于循环的处理方式适合并行化优化。与现有XPath求值性能的比较结果表明,M是一种有效的求值方法。
聚类集成方法研究
杨草原,刘大有,杨博,池淑珍,金弟
计算机科学. 2011, 38 (2): 166-170. 
摘要 ( 99 )   PDF(517KB) ( 730 )   
相关文章 | 多维度评价
聚类集成通过对原始数据集的多个聚类结果进行学习和集成,得到一个能较好地反映数据集内在结构的数据划分。聚类集成能够较好地检测和处理孤立点,提高聚类结果质量。综述了聚类集成的相关知识,介绍了聚类集成的相关概念和优点;根据使用的聚类算法介绍了3种产生聚类成员方法,分析了各自的优缺点及适用条件;介绍了目前已有的一致性函数,阐述了其基本原理,并指出了其局限;最后讨论了未来的研究方向。
异构数据的结构嫡聚类算法
李志华,顾言,陈孟涛,王士同,陈秀宏
计算机科学. 2011, 38 (2): 171-174. 
摘要 ( 122 )   PDF(356KB) ( 444 )   
相关文章 | 多维度评价
研究了语义数据的聚类问题,提出了一种基于样本内在结构的结构嫡聚类SEC算法。通过给出语义属性相异性度量测度的新定义,挖掘蕴含于数据样本中的结构信息,提出了一种根据结构信息计算样本信息嫡的优化方法,即通过嫡来确定样本的聚类中心,从而完成样本的聚类,并把此方法向异构数据进行了拓展。SEC算法能实现不平衡数据的聚类,能自动确定初始类中心和聚类数目,具有无需迭代、效率高和相当的鲁棒性优势。实验表明,算法是有效的,与文献中的已有方法相比,聚类准确率得到显著提高,具有一定的实用价值。
人工智能
基于本体的智能规划方法研究及应用
雍兮,曹存根,白埃民
计算机科学. 2011, 38 (2): 175-178. 
摘要 ( 110 )   PDF(495KB) ( 386 )   
相关文章 | 多维度评价
针对经典智能规划方法在利用领域知识方面存在的不足,将先进的知识工程方法与通用智能规划算法相结合,提出了一种新型的基于本体的智能规划技术,它能够综合利用本体知识库中的领域知识对特定领域问题进行合理高效的规划求解,同时给出了一套构建用于支持这类规划过程的领域知识本体库的实用方法。实验结果表明,该方法能够有效地解决复杂的实际应用问题,使由此建立的规划系统真正达到实用水平。
基于时间约束网络的智能活动规划
李永峰,周兴社,杜可君,於志文,毛睿
计算机科学. 2011, 38 (2): 179-183. 
摘要 ( 275 )   PDF(435KB) ( 543 )   
相关文章 | 多维度评价
老年人认知能力的下降导致其无法正常规划日常生活的问题已经越来越受到社会的关注。利用信息技术辅助老年人独立完成日常活动,已成为目前一个新的研究领域,其中对其活动的规划和提醒是该领域的一个研究热点。在传统基于时间的活动约束表示和冲突检测的基础上,提出一种更为宽松合理的时间约束,其使活动时间更为灵活,同时引入活动规划中新的活动时间冲突问题。通过时间约束网络的相关概念和理论,将活动规划中冲突检测问题转化为简单时间约束网络是否满足一致性的问题。给出时间约束一致性的一般性检测算法,分析得出活动数较大时其算法复杂度呈指数增长。针对一般性检测算法,提出新的检测时间约束一致性的算法,以降低算法复杂度,解决活动规划中的时间冲突问题。最后通过实验对两种算法的时间复杂度进行了比较。
基于本体的分层抽象模型
王楠,欧阳丹彤,孙善武
计算机科学. 2011, 38 (2): 184-186. 
摘要 ( 101 )   PDF(361KB) ( 320 )   
相关文章 | 多维度评价
KRA表示模型给出了对物理世界W进行形式化建模的一般框架。在扩展后的广义KRA模型中引入本体概念,将抽象对象库扩展为本体类,在本体类中实现KRA模型框架中的感知层、语言层和理论层的知识共享和重用,简化了KRA模型的表示。分别定义了作用在物理世界W和本体类上的3种本体抽象算子(集):基本本体抽象算子、实体本体抽象算子集和连接本体抽象算子集,并给出了本体类之间的映射关系,通过这种映射关系能够实现模型抽象和模型还原。对本体类的抽象度进行形式化的定义,并给出了相关定理,指出在这样的框架中利用抽象映射可以自动构建物理世界W的抽象度不同的模型。
基于语义Web的受控自然语言系统推理模型
王缓缓,李虎,石永
计算机科学. 2011, 38 (2): 187-190. 
摘要 ( 115 )   PDF(473KB) ( 407 )   
相关文章 | 多维度评价
虽然相关研究组织提供了语义Web的一些简化工具,但是对不具备相关背景知识的领域专家来说,语义Web的可用性较低。提出了基于语义Web的受控自然语言系统推理模型,以解决这个问题。首先给出受控自然语言系统推理模型框架;然后分析受控自然语言的语言处理部分,提出基于WordNct的受控自然语言系统的本体词库模型和基于本体词库的受控自然语言解释器,把受控自然语言转换成中间表达语言篇章表述结构;最后通过推理部分把篇章表述结构转换成语义Web的本体和规则,通过模板工具映射成Jess的事实和规则,根据预定义的语义Web的公理和定理对受控自然语言进行推理。试验证明此模型大大提高了知识表示建模的效率,也基本满足简单推理任务,具有实用价值。
一种面向研讨环境的摘要生成方法
王艾,李耀东
计算机科学. 2011, 38 (2): 191-194. 
摘要 ( 92 )   PDF(471KB) ( 308 )   
相关文章 | 多维度评价
针对当前研讨厅中对专家大段发言缺乏归纳、概括方法的问题,提出了一种面向研讨环境的摘要生成方法,该方法采用概率混合模型抽取专家发言的话题集,对相部话题的变化情况进行判断,不仅可以发现话题(Topic)的转变趋势,还可根据话题的演化生成相应的摘要,提供给专家。这些自动生成的摘要既有助于增强专家之间的良性互动、激发专家思维,也可用于决策方案和会议总结的辅助生成。实验结果表明,提出的面向研讨环境的摘要生成方法合理、有效。
分区加权Voronoi图的性质及其面积计算
马立玲,张有会
计算机科学. 2011, 38 (2): 195-198. 
摘要 ( 267 )   PDF(363KB) ( 1128 )   
相关文章 | 多维度评价
分区加权Voronoi图是Voronoi图和加权Voronoi图的推广,可以用来模拟移动通信中基站发射天线分扇区以不同功率向周围发射时所覆盖区域的形状。首先,给出了分区加权Voronoi图的性质、定理及相关证明;其次,分析了分区加权Voronoi图中的各种区域,并给出了一种计算相应区域面积的算法;最后,利用分区加权Voronoi图模拟石家庄市部分城区中的基站建设情况,并对模拟产生的重复覆盖、服务区和盲区面积进行了计算。
基于Bayes滤波的移动机器人定位方法
赵增顺,沈继毕,王继贞,侯增广,谭民
计算机科学. 2011, 38 (2): 199-201. 
摘要 ( 93 )   PDF(295KB) ( 989 )   
相关文章 | 多维度评价
对基于贝叶斯滤波原理的机器人定位方法提出了一个通用框架,进行了贝叶斯滤波方法的推导,理顺了贝叶斯总体框架以及卡尔曼滤波定位、多假设定位、马尔可夫定位、蒙特卡罗定位方法之间的内在逻辑关系。回顾了基于概率推理框架的各种机器人定位方法的发展过程、目前发展水平,并针对各自的利弊进行了比较。基于采样的蒙特卡罗定位算法能够描述多峰分布,可近似大范围的概率分布,能够有效解决定位过程中出现的歧义情况以及绑架情况等,因此重点对蒙特卡罗定位算法的实现过程以及存在的问题进行了详细的阐述,同时对研究难点和未来的发展趋势做了展望。
基于高阶累积量的Hammerstein模型记忆效应辨识
胡啸,马洪
计算机科学. 2011, 38 (2): 202-205. 
摘要 ( 110 )   PDF(315KB) ( 359 )   
相关文章 | 多维度评价
旨在研究存在加性高斯噪声时,Hammcrstcin模型的记忆效应辫识问题。在输入信号统计量和Hammcrstein模型的无记忆非线性效应均未知的情况下,利用模型输出信号的高阶累积量建立两种线性方程组,并从理论上证明了两种线性方程组均具有唯一解;提出将两个线性方程组结合使用的系数提取方法,其过程不受Hammerstein模型的无记忆非线性模块影响。最后的仿真结果表明,在高斯(有色或无色)噪声存在的情况下,此类辫识方法比直接提取参数法具有更好的数值鲁棒性。
多维网络论坛数据的层次可视化
许彦如,王长波,刘玉华,章群燕
计算机科学. 2011, 38 (2): 206-209. 
摘要 ( 84 )   PDF(382KB) ( 337 )   
相关文章 | 多维度评价
多维数据的可视化可以帮助人们在有限的时间内快速理解和分析海量数据集。网络论坛数据具有复杂性和大规模性,无法采用简单的图形显示出隐含的规律。针对多维海量论坛数据,首次分析了论坛数据的特点,然后提出了一种层次的数据组织方式,进而针对论坛中的主题时变分布、热门主题转换、作者回复关系等多种数据信息,采用平行坐标、曲面关系图、层次映射图等多种形式进行海量论坛数据的互动可视化。最后以实际论坛数据为例,给出可视化结果并进行分析。
基于分级结构的服务语义关系发现
赵安平,任柯,王晓勇,邱玉辉
计算机科学. 2011, 38 (2): 210-213. 
摘要 ( 89 )   PDF(353KB) ( 343 )   
相关文章 | 多维度评价
为了以一种快速有效的方式从巨大的W cb服务库中检索出满足用户请求的服务,探索服务语义关系发现的方法来增强服务搜索引擎的搜索能力是必不可少的。提出了一个基于分级结构的服务语义关系发现的方法,分级结构能够自然地表示不同粒度服务间的语义关系,根据服务相关度,不断调整分级结构,将功能上相关的服务
基于本体的战场环境仿真概念模型
孙国兵,黄金杰,刘飞
计算机科学. 2011, 38 (2): 214-217. 
摘要 ( 92 )   PDF(341KB) ( 544 )   
相关文章 | 多维度评价
为了能够更加全面而明确地表示战场环境仿真概念模型,考虑到本体可以明确地表示概念和关系的特点,提出了使用本体来表示战场环境仿真的概念模型。在战场环境仿真概念模型研究的基础上,给出了战场环境仿真的主要实体和交互关系,提出使用OWL(Web Ontology Language)语言实现战场环境仿真概念模型的本体表示,并针对现有本体建模元语的不足,提出了使用8种本体建模元语建立战场环境仿真概念模型的本体。
基于粗糙集的加权朴素贝叶斯邮件过滤方法
邓维斌,王国胤,洪智勇
计算机科学. 2011, 38 (2): 218-221. 
摘要 ( 106 )   PDF(369KB) ( 586 )   
相关文章 | 多维度评价
邮件过滤中有两个关键问题,一是如何选择有效的邮件特征集,二是设计较好的邮件过滤算法。在对邮件特性进行分析的基础上,综合邮件头及邮件内容的主要形象特征给出了一种新的邮件特征集提取方法。用粗糙集的信息观点度量了各属性的重要性,并以此为权重进行加权朴素贝叶斯垃圾邮件过滤,有效地解决了朴素贝叶斯分类中的条件依赖性问题。通过在中英文邮件集上的测试实验,证明了所提出的邮件过滤方法的有效性。
Rough集理论中知识与运算的矩阵表示
陈泽华,谢刚,谢珺,谢克明
计算机科学. 2011, 38 (2): 222-224. 
摘要 ( 117 )   PDF(300KB) ( 357 )   
相关文章 | 多维度评价
同一问题在不同知识表示下算法难度不同。Rough集理论把知识定义为对对象的分类能力,并提供了一套基于代数系统的知识表达和处理方法。然而在代数表示下,知识的本质以及运算直观性较差,不易于理解。同济大学苗夺谦教授建立了知识与信息之间的关系,在此基础上给出了Rough集理论中概念和运算的信息表示,并给出了知识约简在代数和信息两种表示下的等价性证明。现进一步将知识及其运算表示成粒矩阵形式,继而给出了知识约简在代数、信息和粒矩阵3种表示下的等价性证明。
基于近邻传播算法的最佳聚类数确定方法比较研究
周世兵,徐振源,唐旭清
计算机科学. 2011, 38 (2): 225-228. 
摘要 ( 98 )   PDF(356KB) ( 562 )   
相关文章 | 多维度评价
在聚类分析中,决定聚类质量的关键是确定最佳聚类数。提出采用聚类效果较好的近部传播聚类算法对样本进行聚类,运用6种聚类有效性指标分别对聚类结果进行有效性分析,以确定最佳聚类数。具体分析了这些有效性指标,并改进了IGP指标确定最佳聚类数的方法。针对8个数据集,通过实验比较这些指标的性能。分析和实验结果表明,基于近部传播聚类算法,IGP指标确定最佳聚类数的性能最好。
战略决策文本的语义分析研究
周生,胡晓峰,罗批,李志强
计算机科学. 2011, 38 (2): 229-233. 
摘要 ( 88 )   PDF(441KB) ( 351 )   
相关文章 | 多维度评价
针对采用从战略决策提取关键字检索虚拟新闻视频准确率不高的问题,分析了战略决策文本的特点、构成模式,给出了语义分析过程中构建字典库的原则、自动分词的方法、成分分析的方法和语义树构建的方法,以及与虚拟新闻视频匹配的方法,并进行了实验。结果表明,借助语义树的方法对战略决策文本进行语义分析后能够提高虚拟新闻视频检索的准确率。
集值信息系统中的模糊优势关系粗糙集
杨习贝,张再跃,张明
计算机科学. 2011, 38 (2): 234-237. 
摘要 ( 88 )   PDF(304KB) ( 329 )   
相关文章 | 多维度评价
以集值信息系统为研究对象,考虑对象之间的优势程度,提出了模糊优势关系的概念;将模糊的方法引入优势关系粗糙集理论,给出了基于模糊优势关系的粗糙集模型并讨论了其相关性质,为从集值决策系统中获取决策规则提供了新的理论基础与操作手段。通过实例验证了所提方法的可行性和有效性。
基于信息嫡的社区发现算法研究
王刚,钟国祥
计算机科学. 2011, 38 (2): 238-240. 
摘要 ( 79 )   PDF(273KB) ( 504 )   
相关文章 | 多维度评价
针对现有社区发现依靠出度、入度、介数来进行社会划分的一些不足,研究了依靠信息嫡来对社区进行度量,提出了基于信息嫡的社区发现算法CD13E(Community Detection Based on Entropy)。如果社区内部信息量大,嫡就大。不确定事件发生的概率就大。社区具有凝聚力,信息的嫡相对稳定,不会出现嫡剧烈增加或减少的情况,根据节点集合墒的变化是否剧烈,可以判断节点是否是社区的成员,从而实现社区的发现。实验表明,CDBE能够发现有价值的社区。
F-信息伪装与伪装-还原辨识
耿红琴,张冠宇,史开泉
计算机科学. 2011, 38 (2): 241-245. 
摘要 ( 85 )   PDF(460KB) ( 379 )   
相关文章 | 多维度评价
P集合(packet sets)是由内P集合XF (internal packet set XF)与外P集合XF (outer packet set XF)构成的集合对,或者,
P-集合与F-记忆信息特性-应用
汪洋,张冠宇,史开泉
计算机科学. 2011, 38 (2): 246-249. 
摘要 ( 91 )   PDF(433KB) ( 315 )   
相关文章 | 多维度评价
P-集合(packet sets)是由内P集合(internal packet sets)与外P集合(outer packet sets)构成的集合对,或者(XF,XF)是P-集合。P-集合具有动态特性。P集合的动态特性来自对集合X的属性集合a给予属性补充与给予属性删除。利用P-集合的结构与动态特性、F-记忆信息生成概念,给出了异记忆信息的度量与F-记忆信息的F-记忆圆概念,提出了异记忆信息存在性定理、F-记忆信息恢复定理与F-记忆信息特性定理。利用这些结果,给出了F-记忆信息的应用。P-集合是研究动态信息系统的一个新的数学模型与数学方法。
P-集合与F-外嵌入信息辨识-发现
于秀清
计算机科学. 2011, 38 (2): 250-253. 
摘要 ( 90 )   PDF(392KB) ( 336 )   
相关文章 | 多维度评价
利用外P-集合XF,给出信息(x)的F-外嵌入信息(X)F与F-外嵌入信息依赖概念,给出F-外嵌入信息存在性定理、F-外嵌入信息依赖性定理。给出F-外嵌入系数与外嵌入度概念,并利用这些概念,给出F-外嵌入信息关系定理与F-外嵌入辩识定理。利用这些概念与结果,给出F-外嵌入信息在信息系统中的应用。
一种HPGL插补控制算法仿真研究
黄刚
计算机科学. 2011, 38 (2): 254-256. 
摘要 ( 89 )   PDF(235KB) ( 360 )   
相关文章 | 多维度评价
为使HPGL格式文件输出的折线光滑化,分析了该格式文件数据输出存在的弊端及通常的解决办法。在此基础上,提出了一种基于遗传算法的插值处理方法,对该算法进行了数学描述,并对插值处理过程进行了数学解析。仿真实验结果表明,在对HPGL格式文件输出的折线进行若千次的插值处理过程中,只要将插值控制在设定的精度范围内,最终的运动轨迹就会形成一条光滑的曲线。
图形图像
基于重复纹理映射的动态云实时模拟研究
王相海,李婷婷,庞新
计算机科学. 2011, 38 (2): 257-259. 
摘要 ( 89 )   PDF(350KB) ( 547 )   
相关文章 | 多维度评价
云是一种常见、普遍的自然现象,云的建模和渲染是计算机图形学领域的一个难点问题。利用重复纹理映射技术将多幅二维纹理图片加以组合,对三维动态云进行建模,通过瞬时对云进行平移、缩放等操作来模拟云的动态变化,进一步采用Alpha色彩融合技术模拟动态云的聚集、消散以及受到风力影响后云的形态变化等效果,通过采用多层重复纹理映射的叠加模拟层云,取得了很好的动态云模拟效果。所提出的动态云的建模方法简单,避免了大量繁琐的计算,提高了动态云的生成速度,满足了动画等应用场景中对动态云的实时性要求。实验结果验证了所提出的动态云建模方法和渲染生成方法的有效性。
一种消除图像拼接痕迹的新方法
宋宝森,付永庆,宋海亮
计算机科学. 2011, 38 (2): 260-263. 
摘要 ( 142 )   PDF(444KB) ( 702 )   
相关文章 | 多维度评价
图像融合是消除拼接痕迹的关键技术之一,已有的众多图像融合算法大都是针对完全重合图像的,忽略了针对图像拼接痕迹消除的图像融合方法的研究,从而影响了图像拼接技术的应用发展。为了高效、高质量地完成图像拼接,利用缝合线搜索技术结合小波多分辨率分析融合技术,给出了一种消除图像拼接痕迹的新方法。实验结果表明,该方法在保证较好实时性的同时,高质量地消除了图像拼接的痕迹。
一个基于链表的快速色彩量化算法
余庆军,余报楚,唐祯安
计算机科学. 2011, 38 (2): 264-266. 
摘要 ( 92 )   PDF(276KB) ( 440 )   
相关文章 | 多维度评价
为了提高色彩量化算法的质量和速度,作者考虑在设计调色板的过程中充分利用分裂算法的快速性和聚类算法的准确性,试图改进像素匹配过程,然后在其基础上提出一个新的实时色彩量化算法。该算法将图像中的所有颜色按照其出现次数的大小排列成一个数据结构链表。整个色彩量化过程可视为关于该链表的一系列操作。实验结果表明,该算法能够获得期望的结果。
SAR图像数据稀疏性分析及在特征增强中的应用
王光新,林有明,张送保
计算机科学. 2011, 38 (2): 267-270. 
摘要 ( 108 )   PDF(366KB) ( 556 )   
相关文章 | 多维度评价
利用合成孔径雷达(SAR)图像中目标的后向散射特性和目标散射中心的理论,分析了SAR图像数据稀疏性的成因。指出SAR图像的稀疏性与典型散射体的后向散射特性、成像区域目标强散射中心的稀疏性和成像区域的粗糙度等因素有关。根据视觉稀疏表示机制,比较了SAR图像与光学图像稀疏特征在视觉上的差异。然后,分析了稀疏约束在SAR图像分辨率增强中的应用方法。最后,用仿真和实测SAR图像数据验证了稀疏性在特征增强中的作用。
一种NMF和SVD相结合的鲁棒水印算法
刘如京,王玲
计算机科学. 2011, 38 (2): 271-273. 
摘要 ( 106 )   PDF(269KB) ( 405 )   
相关文章 | 多维度评价
提出了一种非负矩阵变换(NM})和奇异值分解(SVD)相结合的数字水印算法。该算法对宿主图像进行离散小波变换,然后选取低频部分进行非负矩阵变换和奇异值分解,最后在奇异值中嵌入Arnold置乱后的水印。实验表明,该算法在获得良好的视觉效果的同时,又具有很好的鲁棒性,对加噪、滤波、剪切等图像攻击有很好的抵杭能力。
基于Log-Gabor和正交等度规映射的人脸识别
王庆军,张汝波
计算机科学. 2011, 38 (2): 274-276. 
摘要 ( 95 )   PDF(363KB) ( 354 )   
相关文章 | 多维度评价
针对人脸识别中的特征提取问题,提出一种基于Log-Gabor和正交等度规映射(Orthogonal IsoProj cction,OIsop)的人脸识别算法。算法首先采用Log-Gabor小波对图像进行滤波来提取高阶非线性统计信息。然后,在原始的优化问题中增加正交约束条件,推导出能得到一组具有正交性最优映射向量的迭代公式,使得算法更利于保留人脸非线性子流形空间与距离有关的结构信息和重构样本。通过ORI和PIE库上的人脸识别实验验证了算法的有效性。
基于互K近邻图的自动图像标注与快速求解算法
郭玉堂
计算机科学. 2011, 38 (2): 277-280. 
摘要 ( 124 )   PDF(327KB) ( 672 )   
相关文章 | 多维度评价
图像语义具有模糊性、复杂性、抽象性等特点,在提取图像语义时仅用低层特征进行描述是不够的,需要结合图像相关内容,以便提高图像标注的精确度。为此,提出了基于互K近部图的图像标注方法,该方法用一个互K近部图融合了图像的低层特征之间、标注词之间以及图像与标注词间的相互关系。利用互K近部图实现了根据两个节点间的相互关系来提取语义信息,弥补了基于K近邻图的方法中单方向挖掘节点信息的不足,有效地提高了图像标注的性能。在对互K近部图结构分析的基础上,结合重启随机游走,提出了一种快速求解算法,该算法在不明显降低图像标注精度下,实现了快速求解。在Cord图像数据集上进行了实验,结果验证了所提方法的有效性。
基于Qt和OpenGL的三维地质建模
唐云,邓飞,黄地龙
计算机科学. 2011, 38 (2): 281-283. 
摘要 ( 88 )   PDF(246KB) ( 637 )   
相关文章 | 多维度评价
利用曲面插值方法将用户实际测绘出的地层离散控制点插值成光滑的曲面,进一步获得光滑连续的地质界面的三维地质模型,用于表达各种地质界面。首先介绍几种适合中、小规模数据的常用插值方法,并对比其插值效果,然后介绍基于层次I3样条插值方法,该方法可应用于大规模散乱数据插值中。软件基于Qt和OpenGL进行开发,已经在工程地质中得到很好的应用。
体系结构
图形处理器中光照和纹理映射的设计与仿真实现
董梁,刘海,韩俊刚
计算机科学. 2011, 38 (2): 284-287. 
摘要 ( 79 )   PDF(444KB) ( 482 )   
相关文章 | 多维度评价
图形处理器(GPU)通常采用流水线体系结构,遵循通用图形接口规范。在分析图形处理器的工作原理和体系结构的基础上,提出了改进的实用型流水线设计结构,并对每个功能模块进行了分析。对光照和纹理映射部分进行了深入研究,提出了具体的设计方法。通过软件仿真的结果验证了设计的正确性。最后针对光照和纹理映射的特点,提出了可编程处理器及其硬件结构。
Pview:一种基于PMU的支持并行程序性能分析的新方法
闫洁,徐恒阳,安虹,刘玉,王耀彬
计算机科学. 2011, 38 (2): 288-292. 
摘要 ( 110 )   PDF(485KB) ( 819 )   
相关文章 | 多维度评价
近年来,随着并行编程的普及,性能监测和剖析已经成为计算机系统领域最重要的研究课题之一。PMU(Performance Monitoring Unit),即现代处理器里集成的微体系事件性能计数器,为性能监测提供了底层支持,使得在以极小的额外开销和极少的对目标程序的干扰的情况下对程序进行性能监测成为可能。Pview(Performance View)是一种在系统级支持对并行程序尤其是多线程程序进行性能监测与分析的工具,它同时支持全系统和针对特定进程(线程组)的性能事件直接计数或者抽样的分析方法。Pview在Linux操作系统平台上通过扩展内核2. 6. 30,实现了一个新的系统调用Pvicw来提供性能监测服务;同时与以模块方式实现的数据收集引擎协作,可以实现抽样并将大规模样本数据传输到用户空间供进一步分析。
基于加权数据通路的RTL级低功耗SoC设计
杨恒伏,田祖伟,李勇帆
计算机科学. 2011, 38 (2): 293-295. 
摘要 ( 77 )   PDF(286KB) ( 407 )   
相关文章 | 多维度评价
低功耗是SoC设计与评估的重要技术指标之一,现利用加权数据通路,提出一种新的低功耗SoC设计方法。该算法首先利用程序切片技术提取RTL级数据通路,然后采用贝叶斯网络训练获得各数据通路的权重(使用频率),以形成加权数据通路,最后根据各路径权值控制门控信号的产生,对权值小的通路优先插入门控逻辑或合并门控逻辑,从而有效降低系统功耗。实验结果表明,该算法与已有ODC低功耗算法相比功耗平均下降8. 38%,面积开销平均减少6.8%,同时数据通路的简化也使得算法计算负荷大幅下降。
Prophet推测多线程系统设计与实现
李钟,赵银亮,杜延宁
计算机科学. 2011, 38 (2): 296-301. 
摘要 ( 167 )   PDF(597KB) ( 443 )   
相关文章 | 多维度评价
推测多线程技术通过推测执行的方式开发应用程序的线程级并行性,以提高程序执行性能。该技术一般通过执行模型来检测运行时可能的线程推测错误情况,并采取合适的机制恢复程序正确运行。描述的Prophet是一种基于硬件实现的推测多线程执行模型。重点描述了Prophet执行模型针对执行模型设计的关键问题的解决方案,包括Prophet的线程状态控制和多版本的Cach。系统,Prophet的多版本Cache系统提供了推测数据缓存功能,并使用基于总线监听的Cache协议实现了数据依赖违规检测。还给出了使用Olden基准程序对Prophet执行模型进行功能和性能测试的结果,并分析说明了Prophet系统可以有效地开发应用程序的线程级并行性。
基于CUDA架构的MD5破解方法研究
张润梅,王霄
计算机科学. 2011, 38 (2): 302-305. 
摘要 ( 227 )   PDF(956KB) ( 646 )   
相关文章 | 多维度评价
由于内存、运算速度以及磁盘空间的限制,暴力破解MD5几乎无法在PC机上实现。CUDA意在使GPU的超高计算性能在数据处理和科学计算等通用计算领域发挥优势。主要研究基于CUD八架构的MD5破解方法,并使用VS2005与NVCC进行混合编译。实验选择在GeForce9600UT显卡和四核CPUQ660。上分别运行所提程序和标准C语言版程序。结果表明,在高计算负荷与巨量数据情况下,中低端显卡的计算速度比高端CPU高30~50。倍。CUDA使GPU流处理器阵列的性能得到充分发挥,极大地提高了并行计算程序的效率。