1974年1月创刊(月刊)
主管/主办:重庆西南信息有限公司
ISSN 1002-137X
CN 50-1075/TP
CODEN JKIEBK
编辑中心
当期目录
2009年第4期, 刊出日期:2018-11-16
  
《计算机科学》审编委员会
计算机科学. 2009, 36 (4): 0-F0004. 
摘要 ( 112 )   PDF(48KB) ( 392 )   
相关文章 | 多维度评价
欢迎阅读/订阅2009年《计算机科学》杂志
计算机科学. 2009, 36 (4): 0-F0002. 
摘要 ( 51 )   PDF(341KB) ( 312 )   
相关文章 | 多维度评价
投稿须知
计算机科学. 2009, 36 (4): 0-F0002. 
摘要 ( 51 )   PDF(341KB) ( 278 )   
相关文章 | 多维度评价
无线网络环境下的缓存策略研究
计算机科学. 2009, 36 (4): 1-4. 
摘要 ( 72 )   PDF(436KB) ( 430 )   
相关文章 | 多维度评价
日益普及的无线网络和移动设备为普适的Internet接入提供了良好的硬件基础,缓存技术是普适Internet场景中人们进行信息共享和分发的关键技术之一。综述了两类无线网络环境,即基于基础设施无线网络环境和移动自组网中的缓存策略,具体包括缓存放置策略、缓存替换策略、缓存一致性维护算法。进而分析、讨论了上述策略的优缺点,并指出了缓存策略的发展趋势。
自治网络中信任信誉模型的安全现状研究
计算机科学. 2009, 36 (4): 5-11. 
摘要 ( 91 )   PDF(606KB) ( 413 )   
相关文章 | 多维度评价
随着P2P网络、Ad hoc、无线传感器网络的深入研究,信任和信誉成为保障这类自治网络安全的一个重要手段。虽然信任信誉系统在自治网络中起到了重要的作用,但其采用了间接推荐等技术,给信任信誉带来很多安全问题。介绍了信任信誉模型的相关概念,总结了目前对信任信誉模型的新攻击手段,并针对这些攻击,比较分析了在自治网络环境中具备一定防御能力的典型信任信誉模型的各自防御方法、防御效果以及性能情况。最后,在分析了现有研究存在的主要问题的基础上,展望了今后提高信任信誉模型安全性研究的主要方向。
程序模型检查器综述
计算机科学. 2009, 36 (4): 12-15. 
摘要 ( 304 )   PDF(443KB) ( 1296 )   
相关文章 | 多维度评价
模型检查实际程序设计语言编写的程序是近年来程序验证领域的研究热点之一,出现了一批针对C,C++或Java语言的程序模型检查器原型。总结了程序模型检查中的主要问题及相关技术,以是否使用中间建模语言为标准,对现有程序模型检查器进行了分类,并具体地介绍了一些代表性工具中的模型获取及化简技术,最后展望了程序模型检查器未来的研究方向。
SOA的QoS研究综述
计算机科学. 2009, 36 (4): 16-20. 
摘要 ( 108 )   PDF(526KB) ( 410 )   
相关文章 | 多维度评价
SOA是一种构建软件系统的设计方式,指导着软件设计的整个生命周期。随着SOA的广泛部署,用户在其服务功能需求得到满足的同时,也越来越关注非功能性需求,如服务质量属性。SOA的基本特征是服务。当前的SOA以Web Services技术实现,Web Services的QoS体现了SOA的QoS,也成为判定服务提供者能否成功的一个重要因素。为了提供有质量保证的Web Services,在服务发现、服务选择、服务组合时都需要考虑QoS的作用。对SOA的QoS属性进行了归纳,分析了关于SOA的QoS的研究主题,最后
应用层异常检测方法研究
谢柏林 余顺争 王宇
计算机科学. 2009, 36 (4): 21-24. 
摘要 ( 108 )   PDF(444KB) ( 420 )   
相关文章 | 多维度评价
目前绝大部分异常检测方法只利用数据包的头部信息来检测网络攻击,即仅仅从网络层、传输层来分析网络的异常情况。而研究表明现在的网络攻击主要发生在应用层,因此从应用层来分析网络异常的研究就显得十分重要。首先介绍了入侵检测和异常检测的研究现状,突出强调了应用层异常检测的重要性,接着详细介绍了目前几种主要的应用层异常检测方法,最后讨论了应用层异常检测所面临的挑战。
流形学习方法中的若干问题分析
计算机科学. 2009, 36 (4): 25-28. 
摘要 ( 154 )   PDF(461KB) ( 1093 )   
相关文章 | 多维度评价
流形学习是近年来机器学习与认知科学中的一个新的研究热点,其本质在于根据有限的离散样本学习和发现嵌入在高维空间中的低维光滑流形,从而揭示隐藏在高维数据中的内在低维结构,以实现非线性降维或者可视化。介绍了几种主要的流形学习算法,分析了它们的优势与不足,总结了流形学习方法中需要解决的若干问题及其研究现状,并展望了流形学习未来的研究前景。
蛋白质亚细胞定位预测的机器学习方法
计算机科学. 2009, 36 (4): 29-33. 
摘要 ( 137 )   PDF(514KB) ( 1047 )   
相关文章 | 多维度评价
蛋白质亚细胞定位与其功能密切相关。蛋白质在细胞中的正确定位是细胞系统高度有序运转的前提保障。研究细胞中蛋白质定位的机制和规律,预测蛋白质的亚细胞定位,对于了解蛋白质的性质和功能,了解蛋白质之间的相互作用,探索生命的规律和奥秘具有重要意义。基于机器学习方法的蛋白质亚细胞定位预测是生物信息学研究的热点之一。从数据集的建立、蛋白质序列特征刻画和蛋白质亚细胞定位预测算法3个方面,总结和评述了在过去十几年里机器学习方法在蛋白质亚细胞定位研究中的应用情况和取得的成果,分析了机器学习方法在蛋白质亚细胞定位预测方面存在的
协同进化在遗传算法中的应用述评
计算机科学. 2009, 36 (4): 34-37. 
摘要 ( 185 )   PDF(423KB) ( 782 )   
相关文章 | 多维度评价
生态系统中协同进化的含义是几个生存能力相关联的种群的同时进化,在遗传算法中应用协同进化的实质是改变了个体适应度的计算方法:经典遗传算法中个体的适应度由它的染色体所决定,协同进化中个体的适应度却是由个体在协同关系中的表现决定。根据个体之间的适应度关联方式的不同,协同进化在遗传算法中应用可以分为两种:竞争协同进化算法、合作协同进化算法。竞争协同进化算法中的个体适应度由个体在竞争中的表现决定;合作协同进化算法中的个体适应度决定于个体在合作中的表现。对这两种方法的实质以及主要思想进行了述评。
主题图融合技术研究综述
鲁慧民 冯博琴 赵英良
计算机科学. 2009, 36 (4): 38-41. 
摘要 ( 115 )   PDF(330KB) ( 356 )   
相关文章 | 多维度评价
主题图在信息资源上层构建了一个结构化的语义网,提供了一个良好的语义模型,可以弥补Web 2.0在应用上存在的语义缺陷,而主题图融合作为主题图的重要研究内容,是将分布式环境下同一领域内分散的局部主题图合并为一个全局主题图,实现Web信息的有效组织和管理以及信息的集成与共享。归纳总结了主题图融合的处理过程,分析评价了主题图融合中的难点——主题图的相似性算法,并对融合的原则和算法进行了分析总结,明确了高相似度主题融合的过程。此外,在分析主题图融合冲突的基础上,提出了主题图融合冲突检测与消除的整体设计方案,并将主
基于逻辑的访问控制研究
颜学雄 王清贤
计算机科学. 2009, 36 (4): 42-46. 
摘要 ( 97 )   PDF(414KB) ( 375 )   
相关文章 | 多维度评价
描述了访问控制和逻辑的关系,并将访问控制授权判决问题归约成逻辑蕴涵问题;总结了基于逻辑的访问控制的基本逻辑问题,即逻辑基础、可判定性和安全性分析;分析了一些访问控制模型的基本逻辑问题,包括基于身份的访问控制模型、基于信任管理的访问控制模型和基于属性的访问控制模型;指出了结构化属性描述能力和安全性分析是基于逻辑的访问控制需要进一步研究的问题。
无线网络信道队列状态感知资源调度算法
计算机科学. 2009, 36 (4): 47-49. 
摘要 ( 90 )   PDF(265KB) ( 574 )   
相关文章 | 多维度评价
资源调度对实现资源的有效利用、保证业务的QoS发挥着重要作用。对跨层资源调度问题的研究状况进行了概述。(1)根据所采用的技术体制和约束类型,介绍了单载波系统和OFDM系统的多用户机会调度问题和算法,分析了单一类型和多种类型资源共享约束下的机会调度算法;(2)分别从队列调度、子载波分配和功率控制3个方面,对基于队列和信道状态信息的资源调度算法进行了分析和比较;最后指出了需要进一步研究的问题。
计算思维与计算机导论
董荣胜
计算机科学. 2009, 36 (4): 50-52. 
摘要 ( 199 )   PDF(260KB) ( 642 )   
相关文章 | 多维度评价
计算思维是目前国际计算机界广为关注的一个重要概念。2008年6月,ACM提交的《CS2001中期审查》报告(草案)将“计算思维”与“计算机导论”课程绑定在一起,明确要求“计算机导论”课程讲授计算思维的本质。根据ACM的要求,分别介绍了以“计算思维”和“学科思想与方法”为基础的两类“计算机导论”课程,给出了两类“计算机导论”课程的讲授提纲,指出了它们的不同点以及课程讲授本质上的一致性。最后认为,两类课程各有所长,值得相互吸收和借鉴,同时,也有助于以“计算思维能力”培养为核心的“计算机导论”课程的教学改革,并
论计算思维——计算思维的科学定位、基本原理及创新路径
朱亚宗
计算机科学. 2009, 36 (4): 53-55. 
摘要 ( 105 )   PDF(382KB) ( 693 )   
相关文章 | 多维度评价
指出计算思维、实验思维与理论思维是人类三大科学思维方式,并初步梳理出可计算性原理、形理算一体原理与计算机设计原理等三大计算机基本原理。还指出,交叉创新是计算思维创新发展的根本途径。
心灵即计算:哲学,逻辑和实践
费定舟
计算机科学. 2009, 36 (4): 56-59. 
摘要 ( 192 )   PDF(341KB) ( 847 )   
相关文章 | 多维度评价
论证心灵是可计算的,因而为计算作为一门学科提供更丰富的内涵和实例,使计算不在局限于通常的自然过程而进入到人类心理领域。在哲学上,论述心灵哲学中的物理主义,采用最小立场即以依附(Supervene)来解释心灵现象何以是物理的;在逻辑上,我们首次以Church-Turing-Deutsch原理为基础来使Church-Turing论题与实际的物理系统联系起来,从而使本文的结论与量子计算相适合,也使可计算概念与物理学理论相协调,而这正是由Church-TUring论题所定义的可计算概念所没有的地方。还讨论了认知逻
关注点分离在计算思维和软件工程中的方法论意义
何明昕
计算机科学. 2009, 36 (4): 60-63. 
摘要 ( 228 )   PDF(358KB) ( 686 )   
相关文章 | 多维度评价
关注点分离可追溯到柏拉图对整体与部分关系的思考。作为基本的系统化计算思维原则,关注点分离体现在问题求解、算法设计、软件设计、软件架构描述、软件开发过程等诸多方面。简要归纳了软件和计算的本质特点;重点分析关注点分离作为重要的方法论原则在软件工程中的主要作用和体现形式;介绍了近期有关关注,最高级分离的研究,包括关注点的多维分离和面向方面软件开发;最后阐述了关注点分离原则与具体问题具体分析策略相结合的实践意义。
论计算思维工程化的层次结构
计算机科学. 2009, 36 (4): 64-67. 
摘要 ( 99 )   PDF(370KB) ( 525 )   
相关文章 | 多维度评价
探讨Wing的计算思维并分析它的局限性,根据计算机科学与技术中的理论、技术、工程、工具、服务和应用将Wing的计算思维推广到计算机思维,然后讨论计算思维(或计算机思维)的工程化并提出计算思维工程化的层次结构。这一研究将有益于对计算思维、computing思维和computing作为一个学科的理解和研究。
基于GATS—C4.5的IP流分类
计算机科学. 2009, 36 (4): 68-72. 
摘要 ( 102 )   PDF(467KB) ( 406 )   
相关文章 | 多维度评价
流分类技术在网络安全监控、QoS、入侵检测等应用领域起着重要的作用,是当前研究的热点。提出一种新的特征选择算法GATS-C4.5来构建轻量级的IP流分类器。该算法采用遗传算法与禁忌搜索相混合的搜索策略对特征子集空间进行随机搜索,然后利用提供的数据在C4.5上的分类正确率作为特征子集的评价标准来获取最优特征子集。在IP流数据集上进行了大量的实验,实验结果表明基于GATS-C4.5的流分类器在不影响检测准确度的情况下能够提高检测速度,并且基于GATS-C4.5的IP流分类器与NBK-FCBF(Naive Ba
基于改进认证测试理论的高效安全协议验证算法
李谢华 高春鸣
计算机科学. 2009, 36 (4): 73-76. 
摘要 ( 110 )   PDF(367KB) ( 406 )   
相关文章 | 多维度评价
提出一种基于改进认证测试理论的高效安全协议验证算法——AAAP(Automatic Analyzer for Authentication Protocols)算法。利用认证测试理论中消息间的偏序关系避免状态空间爆炸的问题,通过算法实现改进认证测试中的三条定理,从而证明安全协议的安全属性。实验证明,该算法能够检测出Neuman-Stubblebine协议中存在的类型攻击,并在对NSL(Needham-Schroeder-Lowe)协议的证明中较其他几种经典算法具有更高的效率。
一种基于P2P机制的虚拟以太网改进设计与实现
计算机科学. 2009, 36 (4): 77-80. 
摘要 ( 100 )   PDF(338KB) ( 482 )   
相关文章 | 多维度评价
传统基于C/S模式的虚拟以太网的数据在处理过程中需要两次经过协议栈,这在一定程度上影响了远程安全组网的传输效率。提出了一种改进的基于P2P机制的虚拟以太网设计,实现虚拟网络中节点之间的对等连接,能有效克服传统虚拟以太网的不足。测试表明,该设计提高了系统的通信效率,明显改善了虚拟以太网的传输性能。
结构化P2P覆盖网络的Cayley图构造方法研究
计算机科学. 2009, 36 (4): 81-83. 
摘要 ( 97 )   PDF(344KB) ( 396 )   
相关文章 | 多维度评价
结构化P2P覆盖网络通常都基于某个静态的图结构,而这些静态图又常常是Cayley图或其超图,这些静态图的直径、度等特性可以直接影响到覆盖网络拓扑的路由表大小、路由长度等特性,因此静态图的选择显得非常重要。Cayley图是使用代数群论建立的一类图,它的最大好处是其对称性和点传递性,利用Cayley图的这类性质,可以分析结构化P2P覆盖网络拓扑结构的本质。就几种典型的结构化P2P覆盖网络的静态拓扑,分析了其Cayley图构造方法的本质。
一种基于神经网络权值同步的TinySec协议密钥更新方案
蔡家楣 严杜鹃 陈铁明
计算机科学. 2009, 36 (4): 84-86. 
摘要 ( 99 )   PDF(208KB) ( 448 )   
相关文章 | 多维度评价
一种新的神经网络模型通过输出互学习可实现内部权值同步,将该模型用于安全密钥协商具有计算耗费低、通信量少等特点。在介绍权值同步模型的基础上,结合传感器网络安全协议TinySec的密钥更新问题,提出一种基于神经网络权值同步的轻量级密钥更新方案,有效解决了运行TinySec协议的节点密钥文件更新,增强了TinySec协议安全性。
网络磁盘阵列中基于任务排队的多用户请求动态调度策略
李洁琼 冯丹
计算机科学. 2009, 36 (4): 87-89. 
摘要 ( 99 )   PDF(252KB) ( 329 )   
相关文章 | 多维度评价
在存储系统中,底层I/O调度策略十分重要,它决定了整个存储系统的效率。一个良好的调度策略可以有效地提高系统的性能。结合网络磁盘阵列的工作特点,提出了一种基于任务排队的动态调度算法,其基本思想是充分利用多个网络用户的请求数据在网络磁盘阵列上的空间连续性,最大限度地减小磁头寻道延迟和旋转延迟,从而降低系统的响应时间。
一个基于双线性对的前向安全的代理签名方案
计算机科学. 2009, 36 (4): 90-93. 
摘要 ( 81 )   PDF(312KB) ( 441 )   
相关文章 | 多维度评价
提出了一个基于双线性对的前向安全的代理签名方案,方案能实现即使代理签名人的密钥被泄露,之前所产生的代理签名依然有效。该方案是基于双线性签名体制构造的,具有签字短、安全、高效等优点,不仅能有效抵制任何第三方和原始签名人的伪造攻击和代理签名人的代理权滥用,而且能满足强代理的一切性质。最后,对所提出方案的安全性做了详细分析和讨论。
基于卡尔曼滤波的蠕虫检测方法
邓妍 戴冠中 慕德俊 刘思伟
计算机科学. 2009, 36 (4): 94-96. 
摘要 ( 115 )   PDF(230KB) ( 406 )   
相关文章 | 多维度评价
蠕虫对Internet安全构成了严重威胁,检测和防范蠕虫成为网络安全的研究课题。提出了一种基于卡尔曼滤波的蠕虫检测方法,建立适当的数学模型,给出相应的滤波方程,最后进行仿真分析。该方法可以利用实时量测信息不断地修正估计值。仿真结果表明,采用卡尔曼滤波能够快速有效地检测出蠕虫的爆发。
移动环境下基于策略的信道资源管理研究
刘雪洁 刘衍珩 李奇
计算机科学. 2009, 36 (4): 97-100. 
摘要 ( 98 )   PDF(336KB) ( 329 )   
相关文章 | 多维度评价
为了在移动环境下提高各类业务的服务质量及资源利用率,提出了一种基于策略信道资源管理方法。该方法提出了改进的基于策略的管理框架,并根据网络状态的变化,采用策略来实现信道资源的分配和调整,不仅保证了实时业务能够获得较高的优先占用信道的权力,而且非实时业务也获得了一定的保证。通过策略来实现网络资源的管理,消除了以设备为中心的传统方法常常引发的网络配置差错,大大提高了管理效率和灵活性。
基于二分图的组密钥管理方案设计
周杰 饶艳芬 李慧芬
计算机科学. 2009, 36 (4): 101-104. 
摘要 ( 110 )   PDF(418KB) ( 313 )   
相关文章 | 多维度评价
随着基于群组通信应用的不断发展,安全群组通信成为目前分布式计算领域和信息安全领域研究的一个热点问题。有效的组密钥管理是安全群组通信需要解决的关键问题。将一个安全群组通信系统中组成员拥有的辅助密钥与组成员之间的关系用一个二分图表示,将设计组密钥管理方案问题转化为构造满足一定条件的二分图的问题,为设计组密钥管理方案提供了一种新途径。利用构造的二分图设计了一种组密钥管理方案。所设计的组密钥管理方案不需要组管理中心保存树或矩阵等结构,因而降低了组管理中心的存储开销,另外避免了类似LKH方案中维持平衡树的开销。
一种提高TCP性能的移动自组网E-OAODV协议的实现
邬春学 杨朝梁
计算机科学. 2009, 36 (4): 105-107. 
摘要 ( 109 )   PDF(265KB) ( 408 )   
相关文章 | 多维度评价
为了改善移动AdHOC网络环境下TCP的性能,对AODV的改进协议0AODV协议做了一定的修订,得到E-OAODV(Enhanced Optimal Ad Hoc On-demand Distant Vector)协议。该协议通过在路由失效时使用来自目的节点的ACK应答信号所包含的路由信息来尝试继续传输数据,同时通过对OAODV和TCP两者的修订来实现在路由重建后尽可能地恢复因路由失效所丢失的数据包。NS2下的仿真结果表明,E-OAODV对断线点离源节点较近的情况下的TCP性能有较显著的改善,尤其在路由总
IPv6下基于病毒过滤防火墙的设计与实现
计算机科学. 2009, 36 (4): 108-111. 
摘要 ( 98 )   PDF(349KB) ( 388 )   
相关文章 | 多维度评价
包过滤防火墙无法检测出网络病毒,因此对其研究很有必要。设计的防火墙屏蔽了Linux自身的TCP/IP协议栈,重新构建了适合防火墙专用的TCP/IP协议栈,完成了防火墙上TCP协议的连接保持、数据包确认、文件传输等功能。防火墙主要考虑了HTTP协议下的文件过滤,使得内网主机在通过H1vrP协议下载文件时自动过滤病毒文件,保证内网主机的安全;防火墙以Linux可加载内核模块形式实现,可以过滤链路层以上的各层;为提高病毒检测速度,提出了将病毒检测软件运行在核心态的方法。实验结果表明:设计的防火墙在性能和功能上都
SUPANET信控管理平台的UNI和NNI研究
窦军 曾华燊 陈文佳
计算机科学. 2009, 36 (4): 112-115. 
摘要 ( 98 )   PDF(356KB) ( 349 )   
相关文章 | 多维度评价
单物理层用户数据传输与交换平台体系结构(SUPA)是由四川省网络通信技术重点实验室提出的、基于“面向以太网的物理帧时槽交换”(EPFTS)技术的下一代Intemet(NGI)体系结构。此前对EPFTS技术的研究主要针对用户数据交换平台(U-平台)。从SUPA第二阶段过渡的需要,进一步将信控管理平台(S&M_平台)的下部两层结构简化为单层EPFTS结构,从而形成4层的S&M-平台。定义了该平台的用户-网络接口(UNI)和网络-网络接口(NNI)并对相关接口上的典型协议在新环境中进行了仿真,以证实其可行性。
基于多路径蚁群算法的无线传感器网络的路由
任秀丽 梁红伟 汪宇
计算机科学. 2009, 36 (4): 116-118. 
摘要 ( 91 )   PDF(253KB) ( 372 )   
相关文章 | 多维度评价
针对能量控制在无线传感器网络路由上的特殊要求,为了促使网络节点能量消耗相对均衡,将基本蚁群算法(ACS)应用于无线传感器网络的路由,提出一种基于多路径蚁群算法的无线传感器网络的路由(MACS)。该算法利用蚁群的自组织、自适应和动态寻优能力,通过蚂蚁并行地寻找从源节点到达目的节点的最优路径和次优路径,使得网络中的节点不需要维护全局信息,形成多条传输路径,延长了整个网络的生命期。仿真结果表明,该算法和定向扩散路由(DD)、基本蚁群算法及极大-极小蚁群算法(MMAS)相比,在路由代价和节能方面效果显著。
基于RSSI测距的传感器网络定位算法研究
周艳
计算机科学. 2009, 36 (4): 119-120. 
摘要 ( 90 )   PDF(237KB) ( 818 )   
相关文章 | 多维度评价
基于RSSI(Received Signal Strength Indicator)的测距技术根据理论或经验信号传播模型将传播损耗转化为距离。在实际应用环境中,由于多径、绕射、障碍物等因素,无线电传播路径损耗使得定位过程中产生距离误差。通过对二维空间定位过程中产生距离误差区域进行分析,提出了基于RSSI的新的定位算法ERSS。该算法计算简单,定位过程中节点间不增加通信开销,无需硬件扩展。仿真实验表明,该算法较普通的基于RSSI的测距方法有了明显的改进,提高了距离估计的精度,适合在通信开销小、硬件要求低的传
一种改进的多跳网络802.11DCF分析模型
计算机科学. 2009, 36 (4): 121-124. 
摘要 ( 72 )   PDF(319KB) ( 325 )   
相关文章 | 多维度评价
提出了一种改进的多跳环境下的IEEE802.11 DCF分析模型。新模型考虑了多跳网络中,发送和接收节点之间进行分组交换时,即使在RTS/CTS握手成功的情况下,仍然会出现由于邻节点干扰而导致后续帧交换失败的因素,对成功传输条件做了更为严格的约束,从而修正了原模型中的一个重要缺陷。对两个模型所做的仿真验证结果表明,新模型具有比原模型更好的准确性。
一种主动网络中报文转发机制的研究
钟国祥
计算机科学. 2009, 36 (4): 125-128. 
摘要 ( 84 )   PDF(299KB) ( 455 )   
相关文章 | 多维度评价
主动网络是一种新型的网络体系,不仅可以传送数据包,而且还可以执行数据包中特定的运算任务。主动网络为用户提供了可编程的接口,用户可通过网络中的节点动态地注入所需的服务。而传统网络管理不适应主动网络管理,因而不能发挥主动网络的分布式计算能力。讨论了一种基于节点的主动网络管理模型,分析了该模型的结构、管理机制和设计要点,并对网络拓扑发现和流量进行了分析。
Jikes RVM动态编译技术分析与性能评测
李旭 卢凯 李根
计算机科学. 2009, 36 (4): 129-132. 
摘要 ( 123 )   PDF(330KB) ( 460 )   
相关文章 | 多维度评价
随着Java语言的广泛应用,Java虚拟机的性能越来越受到人们重视,而虚拟机的动态编译技术是影响其性能的重要因素。Jikes RVM使用Java语言实现了一个Java虚拟机。首先分析了Jikes RVM的3个主要动态编译器的结构及其涉及的关键编译技术,包括基线编译、优化编译和自适应编译,然后利用SPECjvm Client98对Jikes RVM和Sun JVM的动态编译性能进行了测试和比较。测试结果显示,Jikes RVM的性能和Sun JVM性能基本相同。最后针对Jikes RVM的不足提出了改进Ji
ODRL权利描述语言逻辑实施机制研究
计算机科学. 2009, 36 (4): 133-139. 
摘要 ( 182 )   PDF(597KB) ( 835 )   
相关文章 | 多维度评价
针对缺乏正式语义使基于XML的ODRL等权利描述语言的确切含义依赖应用程序的特定理解、易产生二义性和不确定性等问题,将ODRL语言转换成一种基于逻辑的权利描述语言,为ODRL语言提供了正式语义和策略实施的逻辑框架,为ODRL语言实施提供可信和形式化分析基础。在ODRL规范基础上对转换方法进行了说明和示例,最后描述了实施平台。
缺陷需求分析与管理模型
计算机科学. 2009, 36 (4): 140-144. 
摘要 ( 81 )   PDF(485KB) ( 1020 )   
相关文章 | 多维度评价
需求管理是软件过程改进的重要活动,需求缺陷管理是需求管理的重要组成部分,其目的在于检测、分析、解决和预防需求缺陷。从社会因素和技术因素两大方面分析了需求工程阶段缺陷产生的原因,对缺陷进行了分类。建立了需求(模型)缺陷列表、缺陷需求分析模型和基于需求缺陷管理的需求过程模型。指出需求缺陷列表所反映的需求分析过程的数量特征,能够为评估需求工程师能力、准确和全面地定义需求成熟度、研究需求演化波及效应、研究需求模型复杂度和需求缺陷分布规律提供必要数据和有益启示。
基于复杂网络的Java程序分析工具设计与实现
计算机科学. 2009, 36 (4): 145-150. 
摘要 ( 102 )   PDF(484KB) ( 595 )   
相关文章 | 多维度评价
随着软件产业的迅速发展,软件系统的功能和结构日益复杂,有必要有效地理解复杂软件系统的结构,理解其在生命周期里的变化规律。开发了一个基于复杂网络的Java程序分析工具,分析Java代码,为Java软件系统结构构建复杂网络,并进行复杂网络特征的统计和分析,为更好地研究和理解复杂软件系统的结构及其演化规律提供了有力的支持。
一种基于规范的可信协同系统分析设计框架
计算机科学. 2009, 36 (4): 151-154. 
摘要 ( 75 )   PDF(418KB) ( 309 )   
相关文章 | 多维度评价
针对可信协同系统分析建模与设计问题,提出了RBN—T模型,分析了模型中的可信保障机制及策略。提出了基于RBN—T模型的可信协同系统分析建模过程,以具体的实例说明了RBN—T模型在可信协同系统分析建模与设计上的可用性。RBN-T模型把基于角色的规范管理提升到适合可信协同系统分析建模与设计的层次,从而有利于在协同系统开发的早期阶段就关注可信问题。
一个基于GDM方法的集成软件过程度量模型
计算机科学. 2009, 36 (4): 155-158. 
摘要 ( 75 )   PDF(398KB) ( 319 )   
相关文章 | 多维度评价
为满足软件企业不同角色的度量需求,基于GDM方法提出了一个面向企业应用的集成软件过程度量模型,模型包含组织结构定义、角色职责定义、GDM分析结果、业务目标和度量目标评价函数等基础元素,定义了元素间的关联关系。模型支持项目度量元收集范围的确立,维护了组织内数据加工及数据分析流程,可以为角色定制度量分析视图,并辅助确定过程改善活动的目标过程。基于此模型,开发了企业集成软件过程度量系统,在系统支持下,企业度量活动的自动化程度及效率得到了提高。
基于市场占有率的操作系统安全漏洞检测模型
计算机科学. 2009, 36 (4): 159-162. 
摘要 ( 182 )   PDF(332KB) ( 346 )   
相关文章 | 多维度评价
操作系统等系统软件中的安全漏洞本质上是一种没有满足软件安全性的缺陷。对安全漏洞的检测过程进行深入研究能够使安全测试人员合理分配测试资源,更准确地评估软件的安全性。深入分析了影响操作系统软件安全漏洞检测的因素,认为安全漏洞检测速度与软件的市场占有率、已发现漏洞数和未发现漏洞数成正比。在此基础上建立了基于市场占有率的漏洞检测模型。该模型表明:在软件发布之前只会暴露少量安全漏洞;某些安全漏洞最终不会被检测到。这两个结论已被实际的数据证实。最后用提出的模型分析了三种流行操作系统的漏洞检测数据集。与同类模型相比,模
BPEL应用程序验证模型研究
计算机科学. 2009, 36 (4): 163-165. 
摘要 ( 77 )   PDF(226KB) ( 343 )   
相关文章 | 多维度评价
在Web服务应用中,BPEL是一种基于流程的描述业务行为的语言。为了验证以BPEL构建的应用程序是否满足某些性质,提出了BVM模型来表达应用程序的语义,然后运用模型检测方法进行形式化验证。实验结果表明,以上方法在设计阶段能有效地发现并排除错误。
基于消息传递并行进程迁移技术的研究与实现
刘天田 杨升春 欧中红 袁由光
计算机科学. 2009, 36 (4): 166-168. 
摘要 ( 97 )   PDF(252KB) ( 404 )   
相关文章 | 多维度评价
高可用在并行计算环境中的地位日益突出。实现LAM/Migration扩展了LAM/MPI的进程迁移功能,可实现MPI整体任务在节点之间的自由迁移,其迁移功能对应用程序透明、智能化程度高,并可应用于集群节点容错与负载均衡,有效提高集群的可用性。
基于EAI和AOP的软件安全测试及应用研究
计算机科学. 2009, 36 (4): 169-171. 
摘要 ( 65 )   PDF(258KB) ( 374 )   
相关文章 | 多维度评价
提高软件安全测试方法的易操作性和可复用性在软件工程中具有重要的研究意义。研究了一种用于测试软件安全的基于EAI模型(Environment Application Interaction Model)的软件错误注入测试方法,提出了基于面向方面编程(AoP)实现软件错误注入的安全测试模型(AOEAI)及其实现方法。对应用软件进行了实际测试,实验结果表明,该方法不仅是有效的,而且具有易操作性和可复用性强的特点。
采用动态投票机制的数据网格副本一致性维护
计算机科学. 2009, 36 (4): 172-174. 
摘要 ( 105 )   PDF(309KB) ( 328 )   
相关文章 | 多维度评价
针对网格动态性引起副本数据一致性维护困难的问题,根据网格的动态特性建立了网格系统模型和副本一致性维护模型;提出了适用于低在线率情况的动态投票机制,并在此基础上给出了一种副本数据一致性维护算法,从全局有序性和读一致性等方面证明了该算法的正确性。最后通过模拟实验对副本数取值及可扩展性等方面进行分析,探讨了网格动态性对数据一致性维护的影响。
内存泄露静态检测模型
计算机科学. 2009, 36 (4): 175-178. 
摘要 ( 72 )   PDF(288KB) ( 704 )   
相关文章 | 多维度评价
内存泄漏故障是程序中某处申请的内存空间,没有释放或没有完全释放或多次释放,是程序中常见的故障,极易导致系统崩溃。从面向具体错误的测试思想出发,采用静态测试的方法,给出了内存泄漏的静态检测模型,同时还引入了区间运算来减少内存泄漏的误报率和漏报率。根据以上模型实现了一个自动测试工具,并已用于软件测试。
电子政务系统性能测试应用研究
计算机科学. 2009, 36 (4): 179-180. 
摘要 ( 79 )   PDF(262KB) ( 403 )   
相关文章 | 多维度评价
首先从电子政务系统的现状出发,分析了现有电子政务系统中存在的性能问题,并对软件测试及软件测试工具Loadrunner进行了相关分析研究。通过性能测试并对多次实验结果进行分析比对,找出电子政务系统中存在的系统性能瓶颈,并进行了相关优化,提高了电子政务系统的工作效率。
软件可靠性综合模型的分析和研究
朱经纷 徐拾义
计算机科学. 2009, 36 (4): 181-184. 
摘要 ( 134 )   PDF(312KB) ( 605 )   
相关文章 | 多维度评价
软件可靠性是系统可信性的重要属性之一。首先讨论了传统软件可靠性模型的主要弱点,接着提出了一种新的软件可靠性估算模型。当前,传统的软件可靠性度量模型中并未涉及大多数软件的复杂性及测试用例的有效性,从而使得在评估软件可靠性时不够精确,甚至是错误的。因此,提出了一些改进软件可靠性度量的方法。这些方法的主要思想是将影响软件复杂性的因素和测试用例的有效性并入软件可靠性模型中,以便使得该模型能更精确地反映实际情况。最后,大量的实验结果也表明了该模型的合理性及有用性。
基于软件代理的学习资源检索技术研究与应用
吴砥 严鹤 蔡蔚
计算机科学. 2009, 36 (4): 185-189. 
摘要 ( 85 )   PDF(407KB) ( 324 )   
相关文章 | 多维度评价
学习资源检索是网络教育资源服务的重要内容,传统搜索门户式的资源检索方式在资源的个性化服务能力、自主检索能力等方面有所欠缺。软件代理技术为实现学习资源的分布式检索、个性化服务等功能上提供了便利的途径,使实现学习资源的自主服务成为可能。利用软件代理的自主性、协作性和移动代理的迁移性特点,提出了一种基于软件代理的学习资源检索策略,研究了采用代理通信语言实现代理间通信,将检索操作指令嵌入在通信原语中,实现多代理通信与代理迁移机制相配合的分布式网上学习资源检索机制,并在此基础上实现了一个应用原型系统。
基于QoS的网格错误处理服务选择模型
计算机科学. 2009, 36 (4): 190-191. 
摘要 ( 95 )   PDF(234KB) ( 299 )   
相关文章 | 多维度评价
在检测到错误发生的情况下,错误管理服务如何针对实际的不同网格应用程序,选择恰当的错误处理服务,是保证可靠网格容错能力的一个关键问题。针对网格计算环境下的错误处理需求,提出一种基于服务质量QoS的错误处理服务选择模型。在分析网格错误处理的相关背景及需求基础上,给出几种常用错误处理技术的形式化定义,提出相应的服务质量标准;将基于QoS的错误处理服务选择问题抽象为多属性决策问题,建立相应的决策模型。
基于Linux内核的进程检查点系统设计与实现
计算机科学. 2009, 36 (4): 192-194. 
摘要 ( 92 )   PDF(341KB) ( 446 )   
相关文章 | 多维度评价
作为一种流行的软件容错机制,检查点与恢复技术的实现模式有两种:用户级和系统级。首先阐述了两者的区别,然后根据Linux可加载内核模块机制提出了一种基于Linux内核的进程检查点与恢复实现方法。利用Linux内核线程实现了检查点与恢复内核模块,并基于此内核模块在用户层构造了一检查点函数库,为用户提供了相应接口。用户通过组合使用这些接口可以高效地实现具体检查点与恢复算法。
基于构件的NHPP类软件可靠性增长模型的研究
计算机科学. 2009, 36 (4): 195-199. 
摘要 ( 160 )   PDF(377KB) ( 465 )   
相关文章 | 多维度评价
随着基于构件的软件开发模式的迅速发展,传统的NHPP模型无法适应大型的基于软构件的新型软件开发模式。结合软件可靠性分析中的黑盒方法和白盒方法,提出一种基于构件的NHPP类软件可靠性增长模型,CB-NHPP模型。该模型以可加模型为基础,实现了时间域模型和体系结构域模型的结合,克服了这两种技术无法同时考虑软件测试过程中的故障排除和软件体系结构的问题。由于同时考虑了更多因素,因此该模型具有更高的准确性。最后通过实验证明了CB-NHPP模型的有效性。
Internet环境下基于语义的服务组合研究
计算机科学. 2009, 36 (4): 200-204. 
摘要 ( 65 )   PDF(454KB) ( 313 )   
相关文章 | 多维度评价
服务科学、管理与工程(Service,Scienee,Management,Engineering,SSME)是一门新兴的多学科研究领域。该学科应用信息技术将分布于各传统学科的服务整合起来构成网络服务体系,各个领域构成的服务体系将成为一个服务系统。该服务系统中的服务活动通常表现为并行、交叉行为,服务之间存在相互依赖性,这就使得服务活动的协调成为一个突出的问题。按逻辑语义的方式进行服务的注册、匹配、查询,提供动态组合的、基于语义的、计算机可理解的服务是解决服务系统动态合成各种问题的重要方法。从服务管理的角度
基于机器学习的风险预测方法研究
计算机科学. 2009, 36 (4): 205-207. 
摘要 ( 111 )   PDF(346KB) ( 1658 )   
相关文章 | 多维度评价
预测是用科学的方法和手段对事物的发展趋势和未来状态进行估量的技术。为了弥补传统方法和技术的不足,各种机器学习技术越来越多地应用于预测的研究中。讨论了在风险预测这一特定领域,应用基于案例的推理(CBR,Case based Reasoning)、支持向量机(SVM,Support Vector Machine)以及人工神经网络(ANN,Artificial Neural Network)等机器学习方法来进行预测的技术。同时,以我们的工作为基础,详细论述了在信贷风险预测和工程评标中基于机器学习预测模型的应用。
粗糙支持向量机
梁宏霞 闫德勤
计算机科学. 2009, 36 (4): 208-210. 
摘要 ( 91 )   PDF(214KB) ( 345 )   
相关文章 | 多维度评价
支持向量机(SVM)是一种重要的数据机器学习工具,其有效性依赖于对数据信息获取的准确性。以往的支持向量机模型都没有考虑到数据等价类信息。为此,基于粗糙集理论和支持向量机思想,提出了一种新的支持向量机模型——粗糙支持向量机(RSVM)。采用UCI机器学习数据库中的数据做对比实验,结果表明RSVM比传统支持向量机(SVM)和模糊支持向量机(FSVM)都有较高的测试精度。
Web数据挖掘中的可信数据来源
计算机科学. 2009, 36 (4): 211-214. 
摘要 ( 84 )   PDF(345KB) ( 406 )   
相关文章 | 多维度评价
从大量Web信息中获取有用的信息是web数据挖掘的关键问题。如何评价web信息是否可信,现在主要方法是通过BadRank算法进行内容评测,或是通过链接权重进行相关引用数计算。可信数据来源是数据挖掘的前提,在基于关键词的数据挖掘中,通过评价挖掘所涉及的不同数据域,以及数据域自身的可信性,对在不同域所获得的挖掘数据给以权重,从而对挖掘结果的序列产生影响,提高挖掘算法在获取可信结果方面的效率。并通过试验测试了可信域评价的效果。
一种基于内容相似度和推荐反馈的信任模型
计算机科学. 2009, 36 (4): 215-217. 
摘要 ( 83 )   PDF(339KB) ( 335 )   
相关文章 | 多维度评价
在已有P2P模型的基础上提出了基于内容相似度和推荐反馈计算节点推荐值的对等网络信用模型IPBS(Integrated—partial based similarity Trust)。该模型利用节点间的内容相似度来评价节点提供推荐服务的能力,根据每次交易的内容不同而改变节点间相似度值;同时依据节点交易历史时间和推荐反馈值自适应动态地调整节点的推荐值;实例表明,IPBS节点间推荐值,通过参考节点内容相似度、交易历史时间和推荐反馈3种机制,加强了模型的动态适应能力和搜索服务的效率。
一个Web查询界面域序列模式图模型及其应用
郭文宏 范学峰
计算机科学. 2009, 36 (4): 218-220. 
摘要 ( 99 )   PDF(252KB) ( 328 )   
相关文章 | 多维度评价
针对DeepWeb查询界面集成问题,定义了一种面向专门领域的域序列模式图(FSRG)模型,用于表示和发现同一领域查询界面中的所有域序列模式。该模型将领域内不同查询页面的域序列模式统一到一个有向有环图中。基于序列模式图进行研究可发现领域模式中域的结构化组织排列规律。还论述了域序列模式图的构造、域子序列模式划分和领域所有域的整体序列模式发现方法。在有限领域下封闭测试表明,该模型及其算法对结构化web界面分析有较大应用价值。研究为实现智能化的Web数据模式处理提供了域序列分析方法,对大规模智能集成和搜索应用有一
应用模糊分析层次法可靠评测Web资源质量
朱焱
计算机科学. 2009, 36 (4): 221-223. 
摘要 ( 126 )   PDF(326KB) ( 365 )   
相关文章 | 多维度评价
建立了一个Web资源质量评测系统。该系统将AHP算法与模糊逻辑相结合,以解决Web资源质量评测中模糊和不确定问题。另外,模糊AHP算法中集成了评测置信度和风险指标,以增强评测精度和提高Web资源质量评测的可靠性。
一种基于泛函网络求数值积分方法研究
计算机科学. 2009, 36 (4): 224-226. 
摘要 ( 272 )   PDF(287KB) ( 345 )   
相关文章 | 多维度评价
提出了一种基于泛函网络求数值积分新方法,给出了一种泛函网络模型及学习算法,并将该模型用于求任意函数的数值积分,理论上证明了泛函网络用于逼近数值积分定理。最后通过5个数值积分算例,并与传统计算方法作了比较分析,仿真结果表明,提出的数值积分方法精度高,适应性强,且不需要确定被积函数的原函数,因此该方法在工程技术中有较大的应用价值。
基于混合蚁群遗传算法的Agent联盟求解
梁军 程显毅
计算机科学. 2009, 36 (4): 227-231. 
摘要 ( 71 )   PDF(444KB) ( 423 )   
相关文章 | 多维度评价
针对混合蚁群遗传算法容易融合时机过早或过晚、种群进化经历的代数过多、效率低等问题,首先改进了蚁群算法,并将改进的蚁群算法和遗传算法结合,应用于Agent联盟求解。提出了基于混合蚁群遗传算法的Agent联盟求解算法(Hybrid Ant Colony and Genetic Algorithm,HAGA),算法的核心是动态寻找两个算法的衔接点,在该点左侧使用遗传算法,右侧使用蚁群算法。与其他传统算法的实验比较,证明了该算法在求解联盟的最优解的时间和精度上都有较高的效果。把HAGA应用于RoboCup 2D龙
优势关系粗糙集在RoboCup中的决策分析
计算机科学. 2009, 36 (4): 232-234. 
摘要 ( 63 )   PDF(316KB) ( 376 )   
相关文章 | 多维度评价
截球能力是RoboCup(Robot World Cup)仿真比赛中个体智能体的核心技能之一。为提高截球的成功率,将解析法和经验法相结合,提出了一种基于优势关系粗糙集的截球策略。着重讨论了基于优势关系的知识约简和截球决策规则的提取,研究了RoboCup运动模型中截球点的二分法求解。最后进行了仿真平台中的决策分析,验证了该策略的有效性。
一种求解约束多目标优化问题的线性进化算法
计算机科学. 2009, 36 (4): 235-238. 
摘要 ( 68 )   PDF(298KB) ( 553 )   
相关文章 | 多维度评价
针对多目标优化问题,提出了一种新的基于实数编码的线性进化算法。新算法将约束优化问题的高维搜索空间通过线性变换映射到二维空间,在二维空间中探索原优化问题的解,并构造出一种线性适应度函数,重新设计了一种基于密度函数的交叉算子。对二组典型优化问题的测试表明,本算法是可行和有效的,解集分布的均匀性与多样性均较理想。
分布式决策树挖掘的隐私保护研究
计算机科学. 2009, 36 (4): 239-242. 
摘要 ( 89 )   PDF(342KB) ( 388 )   
相关文章 | 多维度评价
数据挖掘中的隐私保护是试图在不精确访问原始数据值的前提下,挖掘出准确的模式与规则。围绕分布式决策树挖掘的隐私保护问题展开研究,提出一种基于同态加密技术的决策树挖掘算法,使各参与方在不共享其隐私信息的前提下达到集中式挖掘的效果。理论分析和实验结果表明,该算法具有很好的隐私性、准确性和适用性。
基于属性重要性的加权聚类融合
阳琳赟 周海京 卓晴 王文渊
计算机科学. 2009, 36 (4): 243-245. 
摘要 ( 102 )   PDF(319KB) ( 495 )   
相关文章 | 多维度评价
聚类融合是数据挖掘研究的一个热点。当前相关研究大多没有考虑进行融合的聚类成员的质量,因此较差的成员和噪声会对融合结果产生不良的影响。提出了一种对聚类成员进行加权的融合方法。该方法引入粗糙集理论中的属性重要性度量,根据聚类成员对融合的重要性赋予其权重,生成加权共生矩阵,进而产生融合结果。实验结果表明,提出的方法能较好地处理聚类成员间的质量差异,并能有效地消减噪声对融合的影响,从而得到更好的聚类融合结果。
普适计算系统架构的研究
徐文拴 辛运帏 卢桂章 陈秋双
计算机科学. 2009, 36 (4): 246-249. 
摘要 ( 86 )   PDF(344KB) ( 387 )   
相关文章 | 多维度评价
目前,普适计算已经成为计算机科学中的一个研究热点,而关于普适计算系统整体体系架构的研究工作还不多见。针对普适计算环境的特点,认为普适计算系统架构是一个开放的复杂大系统,可以利用大系统的控制论方法来解决这个分布式系统架构的一些关键问题,并提出了一种新的构建普适计算智能控制系统架构的方法,为问题的解决提供了一种新的研究思路。
基于Petri网的RGVs系统中环路死锁研究
计算机科学. 2009, 36 (4): 250-253. 
摘要 ( 75 )   PDF(393KB) ( 363 )   
相关文章 | 多维度评价
为实现自动小车存取系统的实时控制,基于双重着色赋时Petri网(Colored Timed Petri Nets,CTPN)构建了RGVs系统(Rail—Guided Vehicles system,RGVs)的动态模型。同时为了提高RGVs系统的存储效率,对RGV小车采用基于最短路径的调度策略。并针对RGVs系统的临界状态即将发生环路(环路链)死锁的状况,提出了一种死锁预防的方法。最后基于VC.NET验证其有效性。
基于过滤束的转移瓶颈算法在JSSP中的应用
计算机科学. 2009, 36 (4): 254-256. 
摘要 ( 93 )   PDF(331KB) ( 494 )   
相关文章 | 多维度评价
举例证明了传统转移瓶颈算法在求解瓶颈机时并不能得到局部最优解。提出一种新的确定瓶颈机的模型,在综合考虑时间和求解精度的情况下,采用分支定界方法的改进方法——过滤束搜索来求解此模型。在过滤束中引用了不同工件到达时间和处理时间的约束关系来解决成环问题。通过对OR-Library中的33个标准jobshop问题的实验结果看,此算法得到了比较满意的效果。
一种基于均值量化的抗去同步攻击数字水印算法
计算机科学. 2009, 36 (4): 257-260. 
摘要 ( 73 )   PDF(321KB) ( 373 )   
相关文章 | 多维度评价
基于量化调制的音频水印方案以其原理简单、操纵灵活等特点,已引起人们广泛关注,但现有方案不同程度地存在鲁棒性较差等不足之处。结合音频统计均值稳定特性及同步码技术,提出了一种新的数字音频水印嵌入算法,该算法选取稳健的16位巴克码作为同步标记,通过量化音频样本统计均值嵌入同步码,同时结合听觉掩蔽特性量化低频小波系数平均值嵌入数字水印。仿真实验结果表明,本算法不仅具有较好的不可感知性,而且对常规信号处理(MP3压缩、低通滤波、添加噪声、均衡化等)和去同步攻击(随机剪切、幅度缩放、抖动等)均具有较好的鲁棒性。
一种基于彩色图像分割的车牌检测方法
计算机科学. 2009, 36 (4): 261-263. 
摘要 ( 69 )   PDF(345KB) ( 315 )   
相关文章 | 多维度评价
提出一种彩色图像车牌检测方法,主要包括三个步骤,首先对车牌图像执行多尺度区域生长分割,然后在分割结果中进行车牌区域的粗定位,最后对粗定位提取的车牌区域作精确定位分析。区域生长分割方法可以产生封闭的区域,容易提取其形状信息,而长矩形是车牌目标一个显著特征,因此可以通过形状信息检测车牌。在图像分割中,采取多尺度的分割方法,生成多个不同细节程度的分割结果。在每个分割图像中搜索具有车牌外形特征的图像区域,初步检测出候选车牌目标。根据车牌字符的大小和笔画特征,对候选车牌区域进行精确判别分析,得到最终的车牌检测结果。
基于BP神经网络的矽肺病预测组合模型研究
计算机科学. 2009, 36 (4): 264-267. 
摘要 ( 134 )   PDF(340KB) ( 311 )   
相关文章 | 多维度评价
矽肺是我国最为严重的职业病之一,严重危害工人的健康。研究表明,矽肺与粉尘接触量、吸烟量、接尘时间等存在明显的剂量反应关系。基于各矽肺致病影响因子,分别利用指数平滑-神经网络ES-BP(Exponential smoothing—BP neural network)和模糊C均值聚类-神经网络FCM-BP(Fuzzy c-means clustering-BP neural network)组合模型对接尘工人未来是否患病以及患病年龄做预测分析。实验结果表明:ES-BP模型能结合原始工人接尘时间队列数据特点,从
基于ETAFSVM的高光谱遥感图像自动波段选择和分类
计算机科学. 2009, 36 (4): 268-272. 
摘要 ( 77 )   PDF(400KB) ( 306 )   
相关文章 | 多维度评价
提出了一种新型的具有良好特性的支持向量机——全间隔自适应模糊支持向量机(TAFSVM),并提出一种新的遗传算法——智能遗传算法(IGA)来设计一个TAFSVM分类器,称为ETAFSVM,同时优化高光谱遥感图像自动波段选择和TAFSVM参数集,并且结合5-fold交叉验证来确定其泛化能力,最后将ETAFSVM应用于高光谱遥感图像数据。通过先进行自适应波段选择后再用径向基神经网络分类器、K-最近邻分类器和标准支持向量机等3种方法进行全部分类精度比较,以及与这3种方法直接进行类别分类精度和平均分类精度比较,其结
基于SOM特征映射图上引力场的故障模式识别
计算机科学. 2009, 36 (4): 273-276. 
摘要 ( 83 )   PDF(338KB) ( 318 )   
相关文章 | 多维度评价
对聚类方法SOM特征映射图使用引力场进行区域划分,实现远程故障识别。首先由SOM得到输入模式的具有不同响应特性的聚类区域;对SOM特征图进行邻域相关性分析并使用阀值划分种子区域;以种子区域为引力源在SOM特征图中构造引力场,根据特征图中点沿在引力场所受力的方向运动而收殓到的种子区域进行区域划分,并以此进行模式识别。该方法不用考虑区域边界上点的分类问题且很容易扩展到多维空间。对12种典型飞机起落架故障进行远程检测仿真,取得了较满意的效果,较大地提高了正确识别率。
级联加法TS型MLP预警藻类污染
计算机科学. 2009, 36 (4): 277-278. 
摘要 ( 64 )   PDF(172KB) ( 272 )   
相关文章 | 多维度评价
人工神经网络由于其很多的特点与优势,现已被广泛关注和运用。但是人工神经网络也存在学习过程易陷入局部极小、易出现震荡和网络存在冗余连接或节点等缺陷。针对这些不足,一种新的级联MLP神经网络CATSMLP比ATSMLP有更好的鲁棒性和高度的解释性,并且是一个万能逼近器,而且CATSMLP克服了一般多层感知器网络随着中间层数增多鲁棒性降低的缺点。藻类的生长是湖泊等水体污染程度的一个直接表现形式。在某些情况下,甚至精密仪器都不能测出某些藻类污染物,因此需要好的方法越来越受到专家学者们的重视。将其首次用于藻类污染预
基于双全正弦的计算机乐器音色建模
曹西征 冯乃勤 张聪品
计算机科学. 2009, 36 (4): 279-281. 
摘要 ( 113 )   PDF(278KB) ( 363 )   
相关文章 | 多维度评价
提出了一种基于双全正弦的计算机乐器音色模型,以达到通过调节参数来改变计算机乐器音色的目的。该模型包括振动子模型和振幅包络子模型。保持了振幅包络参数取值不变,定义了调节音色的参数,分别为振幅系数、周期系数和方差系数。在VC++环境下,利用一维离散余弦变换获取该模型在不同参数下的频谱。通过分析音色参数对频谱的影响,找到这些参数对乐器音色的作用规律。实验表明,在振幅系数和周期系数都相等时,可将音高整体提高一个8度。在振幅系数和周期系数其中之一不等时,方差的值越大,音色的频谱就越丰富,乐器音色就越响亮;反之音色就
数据云技术发展的若干关键问题
计算机科学. 2009, 36 (4): 282-284. 
摘要 ( 66 )   PDF(264KB) ( 431 )   
相关文章 | 多维度评价
数据云技术建立在传统存储和互联网存储的基础之上,并注入无限量概念,以期成为全球网络用户的后台内存与硬盘,它将使每个人都能够通过互联网迅速链接和同步共享海量数据。介绍了数据云及其未来发展趋势,重点讨论了影响数据云技术发展的若干关键问题。
时序电路等价性检验中的存储元素映射方法研究
计算机科学. 2009, 36 (4): 285-288. 
摘要 ( 80 )   PDF(332KB) ( 476 )   
相关文章 | 多维度评价
随着集成电路规模越来越大,系统的功能日益复杂,功能验证已成为整个设计流程的瓶颈。对于大规模的时序电路,传统基于状态空间遍历的等价性检验方法可能会遇到内存爆炸问题。为了降低等价性检验方法的复杂度,提高验证效率和处理大规模电路的能力,通常需要构造两个被验证电路的存储元素映射之间的映射关系,从而将时序电路等价性检验问题转化为组合电路等价性检验问题。较全面地介绍了时序电路等价性检验的基本方法及其研究进展,讨论了基于存储元素映射的时序电路等价检验方法的基本思想,并介绍了若干具有代表性的存储元素映射方法,展望了集成电
ASIC集成电路的可测性设计与技术实现
韩威 江川
计算机科学. 2009, 36 (4): 289-292. 
摘要 ( 153 )   PDF(341KB) ( 629 )   
相关文章 | 多维度评价
ASIC集成电路设计开发中的隐含逻辑瑕疵与电路故障是芯片实现的最大困境,针对不同特性的电路提出了内部逻辑扫描、存储器内建自测试、边界扫描链插入以及ATPG自动测试向量生成的解决方案与技术方法,实现了SOC设计开发中逻辑与成片电路的主动侦测与跟踪寻径,经实践证明这些方法大大提高了复杂SOC研制的成功率。
给定余度下可重构计算系统的可靠性最优化研究
计算机科学. 2009, 36 (4): 293-295. 
摘要 ( 75 )   PDF(289KB) ( 301 )   
相关文章 | 多维度评价
研究在给定余度及给定配置版本数量的约束下,以可靠性及平均失效时间为优化目标,多个配置版本在可重构器件中所占据资源的面积分配问题。上述问题使用论域划分模型来建模,并转化为非线性规划问题进行求解。给出了可靠性一阶近似最优化的充分必要条件。提出了使用二阶近似规划求解上述问题的方法与流程。选择ITC99中的部分基准电路进行了仿真试验。理论计算和仿真试验均表明,大多数情况下采用现提出的二阶近似最优化方法的可重构系统在可靠性和平均失效时间等指标上优于以往的研究。
一种主机CPU的可用性模拟方法
王从明 王志坚
计算机科学. 2009, 36 (4): 296-298. 
摘要 ( 92 )   PDF(218KB) ( 351 )   
相关文章 | 多维度评价
XtremWeb可以汇集联网主机的空闲CPU资源来进行高性能计算,但主机CPU负载是时变的、复杂的和非线性的,具有高度的不确定性。结合ON/OFF模型的思路,提出一个主机CPU的可用性模拟方法,对主机CPU在每日各时刻的可用性进行模拟。实验结果表明,该方法具有较高的模拟精度。关键词XtremWeb,主机CPU可用性,重尾分布