计算机科学

《计算机科学》审编委员会

无

计算机科学. 2009, 36 (2): 0-F0004.

摘要 ( 90 )

PDF(47KB) ( 281 )

相关文章 | 多维度评价

欢迎阅读／订阅2009年《计算机科学》杂志

无

计算机科学. 2009, 36 (2): 0-F0002.

摘要 ( 43 )

PDF(343KB) ( 276 )

相关文章 | 多维度评价

投稿须知

无

计算机科学. 2009, 36 (2): 0-F0002.

摘要 ( 45 )

PDF(343KB) ( 234 )

相关文章 | 多维度评价

审计软件现状及发展趋势研究

计算机科学. 2009, 36 (2): 1-4.

摘要 ( 98 )

PDF(403KB) ( 1043 )

相关文章 | 多维度评价

计算机辅助审计是目前审计领域研究与应用的一个热点。为了开展计算机辅助审计，一些审计软件被设计出来。结合国内外开展计算机辅助审计的现状，分析了国内外常用审计软件的分类、特点及功能，并从功能上对国内外审计软件进行了比较。在此基础上，分析了审计软件的发展趋势，从而为我国研究与应用审计软件提供了理论和实践上的指导与帮助。

RDF数据浏览的研究综述

吴鸿汉瞿裕忠

计算机科学. 2009, 36 (2): 5-10.

摘要 ( 137 )

PDF(624KB) ( 361 )

相关文章 | 多维度评价

随着语义网的快速发展，目前Web上语义网数据已经达到相当的规模，成为重要的信息和知识来源。因此，RDF数据浏览的研究开始得到广泛关注。通过对比传统Web信息浏览和RDF数据浏览两个问题，指出RDF数据浏览的5个重要问题：确定浏览子图的模式、数据的收集、大规模数据的处理、数据的组织方式以及数据的呈现方式。基于这些挑战，我们调研了多个系统和不同的解决方案。最后，总结了目前的研究现况，讨论存在的挑战，并提出未来的研究方向。

内容分发网发展综述

计算机科学. 2009, 36 (2): 11-14.

摘要 ( 106 )

PDF(469KB) ( 582 )

相关文章 | 多维度评价

随着互联网的高速发展，网络服务对于内容传输的质量要求也越来越高，内容分发网（Content Delivery／Distribution Networks，CDN）被证明是一种提高网络性能和加速网络业务的有效方式，在10年的时间内成为互联网不可或缺的核心技术之一。以CDN架构的演变为标准，将CDN技术的演进过程分为缓存辅助CDN、光纤辅助CDN以及对等网辅助CDN三个阶段，阐述对于CDN关键技术在互联网需求推动下的研究与发展，并展望CDN未来的发展趋势。

网络安全管理技术研究

计算机科学. 2009, 36 (2): 15-19.

摘要 ( 89 )

PDF(546KB) ( 622 )

相关文章 | 多维度评价

针对新的安全形势，网络安全管理作为一类更全面、更智能化的综合技术业已得到越来越多的关注，不少相关产品也已经出现在市场上。网络安全管理的作用是通过对各种安全技术和安全产品的统一管理和协同来实现整体的安全。首先总结比较了现有的网络安全管理实现体系结构。然后，回顾了在网络安全管理中占重要地位的安全策略研究的进展，介绍了信息集成、智能分析引擎、协同及通信规范这3种网络安全管理的关键实现技术。最后，分析了网络安全管理当前的不足以及未来的发展趋势。

软件可靠性工程学综述

计算机科学. 2009, 36 (2): 20-25.

摘要 ( 153 )

PDF(521KB) ( 876 )

相关文章 | 多维度评价

软件可靠性工程学定量评价软件系统的可靠性，是开发并维护软件系统的一种工程学技术。回顾了软件可靠性工程学的历史、目前的趋势以及现存的问题和困难。提出了软件可靠性工程学中未来可能的方向和有前景的研究课题。

跨层次仿真中网络形成的涌现机制研究综述

计算机科学. 2009, 36 (2): 26-29.

摘要 ( 81 )

PDF(386KB) ( 331 )

相关文章 | 多维度评价

为实现复杂系统的控制，提出了跨层次仿真的概念和理论框架，其中重点关注了微观个体的自组织集成方式。进一步指出在社会经济系统中，通过建立激励机制来仿真网络系统的整体协调；利用网络工具分析主体交互的自组织聚合，分别从理论和试验应用角度，综述了社会经济系统中主体交互的网络集成，最后对研究存在的问题和未来发展的趋势进行了总结和展望。

进化算法鲁棒最优解研究综述

郑金华罗彪李晶文诗华李望移

计算机科学. 2009, 36 (2): 30-34.

摘要 ( 105 )

PDF(493KB) ( 703 )

相关文章 | 多维度评价

在实际应用中，环境往往是不稳定的且易受到噪声的影响。因此，对于许多现实优化问题，一个鲁棒性好的解具有重要的意义。然而，以往关于进化算法（EAs）的研究主要集中在寻找全局最优解，解的鲁棒性却没有得到重视。从单目标鲁棒最优解、多目标鲁棒最优解及效率等方面较全面地分析了目前EAs搜索鲁棒最优解的研究现状。最后对相关研究工作做了展望。

无线传感器网络路由协议的分析与比较

赵强利蒋艳凰徐明

计算机科学. 2009, 36 (2): 35-41.

摘要 ( 101 )

PDF(624KB) ( 1040 )

相关文章 | 多维度评价

无线传感器网络的路由协议设计与传统的无线ad-hoc网络有很多不同，资源高度受限和结点失效频繁是其面临的两大挑战，相关技术研究已经成为无线传感器网络研究中的热点。对近年来无线传感器网络路由协议的研究成果进行归纳、分析和比较，介绍了无线传感器网络的特点以及影响其路由协议设计的关键因素。根据协议的实现特点将无线传感器网络路由协议分为5类，对每一类涉及的重要协议进行详细阐述与分析，最后对这些协议的特点进行归纳和比较，并展望了未来这一研究方向的发展趋势。

无线局域网中TCP公平性问题研究综述

黄家玮王建新

计算机科学. 2009, 36 (2): 42-46.

摘要 ( 107 )

PDF(427KB) ( 582 )

相关文章 | 多维度评价

在无线局域网络中，由于无线MAC层协议只能保证各无线节点的公平接入无线信道，如何确保传输层TCP流的公平性就变得十分重要。TCP闭环拥塞控制的贪婪性、MAC协议节点接入公平性和无线信道的异构性，导致TCP在无线局域网络出现多种不公平问题。对当前存在的几种TCP不公平问题及相应的解决方法进行了分析和比较，阐述了目前亟待解决的主要问题和今后的研究方向。

多域环境下安全互操作研究进展

金莉卢正鼎赵峰

计算机科学. 2009, 36 (2): 47-54.

摘要 ( 81 )

PDF(692KB) ( 419 )

相关文章 | 多维度评价

多域安全互操作是通过认证机制、访问控制机制和审计机制来实现多个分布、异构、自治区域间安全的资源共享和信息交互的过程。系统介绍了这一新型研究领域的理论基础和应用现状，从解决访问控制安全和域间策略冲突的角度，对域间角色转换技术、基于信任管理、基于PKI和基于时间限制等方向的多项研究成果和关键技术进行分析和点评，重点探讨了多域环境下各自治域间策略集成算法的建模和实现，最后针对目前研究工作中存在的问题，对该领域未来的发展方向和趋势做出展望。

P2P异步传输点播系统设计与仿真

计算机科学. 2009, 36 (2): 55-58.

摘要 ( 98 )

PDF(323KB) ( 266 )

相关文章 | 多维度评价

互联网上大规模Peer-to-Peer（P2P）点播服务存在高效资源调度和不可预知用户行为等挑战。借鉴BitTorrent（BT）算法原理，提出基于异步传输的P2P点播系统。该系统采用集中式节点定位以及非结构化拓扑，通过异步传输机制提升文件资源共享度和利用率，并引入视频数据块的优先级和稀有程度改进系统播放连续度。数据包及仿真实验表明本系统在播放连续度、启动时延以及服务器压力等性能指标上的良好性能，充分验证了点播系统中异步传输机制的可行性。

控速令牌降低P2P网络维护开销

王向辉张国印

计算机科学. 2009, 36 (2): 59-61.

摘要 ( 102 )

PDF(228KB) ( 306 )

相关文章 | 多维度评价

针对环形P2P网络中节点的维护消息数量随邻居节点数量线性增加和传统P2P网络令牌机制无法控制令牌数量的问题，提出了利用控速令牌维护环形P2P网络的方法。令牌以消息的形式在环形P2P网络中传递，令牌将途中经过的节点信息加入其中，其它节点利用令牌中的信息维持网络结构，并使用控速参数减少网络中的令牌数量。仿真结果表明，控速参数能够有效地降低P2P网络的令牌数量；随着网络规模的增大，节点平均维护开销维持不变。

P2P网络中避免集散节点形成的控制模型

计算机科学. 2009, 36 (2): 62-65.

摘要 ( 83 )

PDF(428KB) ( 327 )

相关文章 | 多维度评价

P2P网络中集散节点的存在会导致整个系统的抗协同攻击能力大大降低，增加网络的脆弱性。对目前P2P网络中集散节点现象进行了研究，阐述了对集散节点进行层次化处理的控制思想，提出了一种全新的通过控制P2P网络的逻辑拓扑结构来避免集散节点形成的思路，给出了控制模型以及实现控制模型的具体算法，并对算法进行了复杂度分析，最后通过仿真证明了本控制模型能有效控制网络中集散节点的形成，所以本控制模型能提高P2P网络抗协同攻击的能力，增强网络的健壮性，从而达到保障P2P网络可持续健康发展的目的。

基于自聚簇的三层结构P2P网络模型

计算机科学. 2009, 36 (2): 66-69.

摘要 ( 85 )

PDF(314KB) ( 337 )

相关文章 | 多维度评价

在传统的两层混合式P2P结构中，超级节点不仅要负责管理查询消息路由，而且还要对节点文件进行管理，这样很容易使超级节点的网络负载过大。同时，超级节点的简单指定方式容易引起虚拟拓扑网络与实际物理网络不匹配，更不能利用节点的兴趣局部性。针对传统两层混合式P2P模型的不足，提出了新的三层结构P2P网络模型。这种模型将超级节点的文件管理和消息路由功能分别交给两种不同的专属节点来处理，同时考虑节点的实际物理位置，并采用基于节点属性特征的自组织管理机制使节点自聚成簇，自适应地改进自身的搜索性能。实验结果表明，三层结构P

TARSB：一种基于相对搜索介数的P2P拓扑演化策略

计算机科学. 2009, 36 (2): 70-74.

摘要 ( 79 )

PDF(520KB) ( 311 )

相关文章 | 多维度评价

近几年来，对等网络（P2P networks）得到了很好的发展，然而其巨大的网络开销也逐渐成为阻碍其进一步推广的主要问题。在其最重要的应用领域——P2P文件共享系统中，早期的系统往往基于一种单一的拓扑结构，忽略了成员之间的差异对网络本身的影响，使得其理想的结构与实际网络之间存在很大差距，难以达到预期的搜索效率。针对P2P文件共享系统进行研究，提出了相对搜索介数（Relative Search Betweenness）来刻画各种异构性对搜索过程的综合影响，并设计了一种基于相对搜索介数的拓扑演化策略：TARS

一种增强的ON／OFF瞬时流量模型及其仿真

计算机科学. 2009, 36 (2): 75-77.

摘要 ( 320 )

PDF(209KB) ( 558 )

相关文章 | 多维度评价

在传统ON／OFF流量模型基础上，通过修改恒定速率假设为随机速率以及增加突发到达分布条件，新提出了一种增强的ON／OFF流量模型，克服了传统ON／0FF模型不能描述流量随时间动态分布的缺点。给出了任意时刻模型的流量分布式和均值表达式，并对泊松到达的突发推导出了便于计算的公式，仿真表明结果正确。

一种基于动态S-盒P-盒的快速分组密码算法——DSP

计算机科学. 2009, 36 (2): 78-81.

摘要 ( 163 )

PDF(315KB) ( 476 )

相关文章 | 多维度评价

密钥相关加密结构作为一种较安全的密码结构受到密码工作者的广泛关注，然而现有该类算法的安全缺陷和十分复杂的算法初始化过程，严重地限制了算法的使用。因此，提出一种基于密钥相关Feistel结构的快速分组加密算法，算法通过结合密钥相关的动态S-盒和密钥相关动态P-盒两种基本密码组件，设计一种更加安全的Feistel轮加密结构，可以使算法在较少的轮数内达到安全。同时，该算法通过采用快速置乱算法生成S-盒、P-盒，改进了现有该类算法子密钥生成算法效率极低的缺点。为了得到更好的兼容性，算法仅选用基于字节的密码操作，使

基于双层预测机制的传感器网络目标跟踪算法

计算机科学. 2009, 36 (2): 82-84.

摘要 ( 85 )

PDF(236KB) ( 261 )

相关文章 | 多维度评价

针对层次型传感器网络的目标跟踪问题，提出了一种基于双层预测机制的目标跟踪算法，由传感器节点执行Bayes估计算法进行目标位置的预测与更新（微观预测）；由簇头进行基于曲线运动方程的目标位置预测（宏观预测），并用预测结果对传感器节点所得到的目标位置进行更新，提高了目标位置计算精度。仿真结果表明，算法具有较好的跟踪精度和能量效率。

一种基于抖动约束的整形算法

计算机科学. 2009, 36 (2): 85-89.

摘要 ( 87 )

PDF(450KB) ( 381 )

相关文章 | 多维度评价

通过分析传统的通信量整形算法中由数据缓冲引入的延迟抖动问题，提出了一种基于抖动约束的通信量整形算法。在整形过程中，延迟是由数据缓冲的充满程度和令牌输出速率决定的。通过在线检测数据缓冲的充满程度和令牌的输出速率，计算出数据包的延迟和延迟抖动，然后根据延迟抖动约束动态调整整形器的参数，使数据分组在整形过程中经历的延迟抖动保持在约束范围之内。实验结果表明，该算法不仅可以平滑突发数据流，而且可以有效地降低由数据缓冲造成的延迟抖动。

基于半监督聚类的Web流量分类

陆伟宙余顺争

计算机科学. 2009, 36 (2): 90-94.

摘要 ( 115 )

PDF(443KB) ( 298 )

相关文章 | 多维度评价

提出了一种基于半监督学习的方法对Web流量进行聚类分析，使用隐马尔可夫模型对用户流量进行描述和聚类分析。该方法通过对少量数据进行人工标识，利用已标识数据对无监督聚类结果进行调整，以得到与人工分类匹配的聚类结果。使用真实的Web流量对提出的方法进行验证，实验结果表明该方法能有效地对web流量进行分类，并得到相应的描述模型。

一种基于非功能属性决策的可信Web服务发现模型

计算机科学. 2009, 36 (2): 95-98.

摘要 ( 85 )

PDF(345KB) ( 274 )

相关文章 | 多维度评价

Web服务注册中心为服务请求者寻找Web服务带来方便，但由于其缺少对服务非功能信息的支持，无法很好满足用户需求，最终导致服务发现可信程度不高。首先对Web服务质量、服务信誉等非功能属性进行分析，通过服务行为观测机制获取较客观的属性指标数据，利用多属性决策方法，提出一种可信的Web服务发现模型。模型能帮助服务请求者发现最优的、可信的服务。最后通过一个应用实例验证了模型的有效性。

一种基于端系统竞价博弈的网络资源分配模型

计算机科学. 2009, 36 (2): 99-102.

摘要 ( 231 )

PDF(351KB) ( 283 )

相关文章 | 多维度评价

随着网络流量以指数形式急剧增长，各种应用对网络资源的需求随之增加，特别是需要严格QoS保证的实时网络多媒体应用要求更多的网络资源。资源分配是QoS分配的最终实现，QoS分配目的是为了进行合理的资源分配，因而有效的资源分配十分重要。在描述资源分配问题的基础上，对资源分配博弈进行了深入研究，提出了能够反映供求关系的基于竞价的网络资源定价机制，并设计了端系统的效用函数，论证了资源分配博弈中Nash均衡点的存在性和唯一性以及实现Nash均衡解端系统的竞价策略。最后，为完善上述资源分配博弈模型，对该模型中的资源价格

普适计算环境下信任管理模型的研究

徐文拴辛运帏卢桂章陈秋双

计算机科学. 2009, 36 (2): 103-106.

摘要 ( 94 )

PDF(398KB) ( 287 )

相关文章 | 多维度评价

普适计算环境下，各种资源、设备、应用以及环境均是高度动态变化的，因此如何衡量实体间的信任关系成为了一个十分重要的问题。传统的安全和认证方法基于可信第三方，而在动态的普适计算环境下，可信第三方的设置是不现实的，也是不可行的。基于以上问题，提出了一个新的普适计算信任管理模型，该模型集成了信誉和风险分析机制，考虑了多种相关因素，可以有效建立和度量各实体间的信任关系。相关仿真结果证明，该模型是行之有效的。

MANET接入Internet模型的设计与仿真实现

李昕李喆

计算机科学. 2009, 36 (2): 107-110.

摘要 ( 131 )

PDF(372KB) ( 320 )

相关文章 | 多维度评价

在MANET接入Internet网络中，静态网关提供接入的范围有限，动态网关提供接入的性能不稳定，因此提出动态网关和静态网关协作的MANET接入Internet模型。在此基础上，设计了一种基于该模型的负载均衡路由算法。仿真结果表明，该模型可以提供比较稳定的MANET接入Internet性能，负载均衡算法能够有效提高分组投递率，降低平均传输延迟，减少路由开销以及改善MANET接入Internet网络的整体性能。

基于公开可验证秘密分享的公平合同签署协议

刘文远张爽张江霄

计算机科学. 2009, 36 (2): 111-113.

摘要 ( 123 )

PDF(250KB) ( 393 )

相关文章 | 多维度评价

通过引入n个离线半可信第三方提出一种新的公平合同签署协议。该协议利用公开可验证秘密分享（PVSs）原理，不仅实现了签名者隐私的保护，还有效地降低了签名者中的一方与离线半可信第三方合谋来获取另一方签名的概率，从而使得合同签署协议具有更好的公平性。另外，本协议还通过利用多重签名技术，使签名者最终获得同时包含双方签名的合同，这是传统纸质合同的显著特点，因此提出的协议具有一定的实用性。

一种基于语义的安全协议形式化模型

韩继红范钰丹王亚弟郭渊博

计算机科学. 2009, 36 (2): 114-118.

摘要 ( 98 )

PDF(476KB) ( 274 )

相关文章 | 多维度评价

在分析实际网络环境中安全协议的运行特点之后，提出了安全协议建模分析的两点基本假设。在此基础上，提出了一种基于语义的安全协议形式化模型，具体包括基于角色事件的协议静态描述模型和基于运行状态的协议动态执行模型，给出了模型的基本语法及形式语义，明确了模型推理过程中涉及到的一些关键性概念，并以简化的NSL协议为例进行了说明，为实现自动化验证打下了必要的基础。

Kerberos协议版本的分析与比较

计算机科学. 2009, 36 (2): 119-121.

摘要 ( 80 )

PDF(350KB) ( 375 )

相关文章 | 多维度评价

Kerberos协议是由MTT开发出来的、广泛地用于对用户及网络连接进行安全认证服务的一种安全验证机制。基于共享密钥的方式，Kerberos协议保障了在不安全网络上进行服务会话的保密性和完整性。详细介绍了基于传统的保密性而建立起来的Kerberos协议版本4的基本原理，描述了Kerberos协议版本4的认证结构，指出了其不足之处。最后系统地阐述了版本5的消息交换过程和相关改进。

FERED：公平性增强的RED算法

计算机科学. 2009, 36 (2): 122-124.

摘要 ( 73 )

PDF(255KB) ( 282 )

相关文章 | 多维度评价

当前大多数AQM机制的实现算法都更多地强调了算法的效率和稳定性而忽视了公平性。已有研究表明，TCP的RTT不公平性问题和多拥塞链路环境下的不公平性问题广泛存在于众多的著名AQM实现算法中，比如RED，REM，PI和AVQ等。虽然FRED和Balanced RED可以解决这些不公平性问题，但它们的实现都需要在路由器上保留每流状态信息，算法可扩展性存在问题。在实际网络测量试验结果的基础上，提出了利用IP数据报头中的TTL字段信息来增强公平性的思路，并据此对RED算法进行了扩展，实现了一个公平性增强的RED算法

接入网MAC层QoS系统多维报文分类算法的研究与应用

计算机科学. 2009, 36 (2): 125-128.

摘要 ( 86 )

PDF(352KB) ( 316 )

相关文章 | 多维度评价

以HFO网络核心设备双向CM（Cable Modem）为研究背景，首先对报文分类经典算法和最新算法研究进展进行总结和分析，然后依据HFC网络QoS系统需求提出了一种基于B树结构和无冲突Hash函数的BH报文分类算法,并给出了该算法的详细设计和实现过程。通过理论分析得出该算法具有时间复杂度较低和占用内存小的特点，适合于CM等嵌入式应用环境。

一个双向认证协议的分析与改进

廖振岚吴开贵谢琪代廷合

计算机科学. 2009, 36 (2): 129-131.

摘要 ( 86 )

PDF(298KB) ( 269 )

相关文章 | 多维度评价

运用安全协议形式化分析方法中的串空间模型理论，对Natalia Miloslavskaya等人提出的一个双向认证协议进行了分析，发现该协议在认证方面存在缺陷，并对该协议进行了改进，同时用串空间理论证明了改进后的协议的认证正确性。

基于RSA的代理环签名方案

陈珂苗付友熊焰

计算机科学. 2009, 36 (2): 132-136.

摘要 ( 119 )

相关文章 | 多维度评价

针对现有的两个代理环签名方案存在的问题，提出了一种更为有效的代理环签名方案，并对该方案的安全性进行了详细的分析及证明。与传统代理环签名方案相比，本方案通过RSA算法实现基于身份的密钥体制，使签名过程无须证书交换，从而大大减小了系统的复杂度，同时基于RSA算法的实现方式，相对于双线性对实现方式，更易于实现；应用阈下信道技术，使本方案在原有的无条件完全匿名基础上增加了自我揭示的功能；采用密钥联合生成技术，使该方案具有更好的安全性。

一种利用继承关系的业务服务实例化方法

计算机科学. 2009, 36 (2): 137-141.

摘要 ( 87 )

PDF(431KB) ( 259 )

相关文章 | 多维度评价

随着面向服务计算技术的日渐普及，通过互联网提供的科研领域的web服务也越来越多，目前仅在生物信息领域可统计到的Web服务数量就超过3000个。然而，怎样在业务层上将最终用户的个性化需求快速实例化到具体的Web服务，成为很多专业工作者关心的问题，生物信息领域尤其突出。为了解决这个问题，提出一种利用继承关系的业务服务实例化方法，该方法基于我们前期工作中提出的抽象服务形式——业务服务，通过对基类业务服务的继承操作构建表达最终用户个性化需求的子类业务服务，同时建立了两个业务服务之间的继承关系，并且利用这种继承关系

文本分类中用于协同的特征集分割

张博锋苏金树

计算机科学. 2009, 36 (2): 142-145.

摘要 ( 86 )

PDF(361KB) ( 284 )

相关文章 | 多维度评价

用于文本分类领域的协同训练往往需要特征集的一个自然独立分割，但对大多数语料而言这种分割都很难获取或不存在。给出了特征子集间在类别下条件独立性的定量描述，并在此意义下提出了局部特征集分割的策略，以及两种分别基于样本聚类和图分块的以独立性为前提的特征集分割算法。在两个语料库上的分类实验证明：在该方法所获得的特征集分割下，协同训练方法能有效利用未标注样本提高分类器的综合效果，从而有效扩展了协同训练的可用性。

一种基于局部性的数据重组框架

计算机科学. 2009, 36 (2): 146-151.

摘要 ( 77 )

PDF(504KB) ( 365 )

相关文章 | 多维度评价

处理器和内存之间速度差距日益增大，使内存访问成为系统主要的性能瓶颈之一，Cache成为现代体系结构中用来解决这个问题的主要技术。利用数据重组优化程序自身的局部性，从而提高Cache性能成为一个值得研究的热点问题。提出了一种基于局部性的数据重组框架，该框架利用一种基于变量局部性特征的变量关系图来量化变量之间的关系，然后寻找变量之间的布局优化，通过数据重组和结构拆分两种常用的数据重组方法来提高Cache性能。针对SPECCPU2000中的部分测试程序的实验表明，这种数据重组框架能够有效地减少Cache失效次数

基于本体词汇的三维模型语义检索

阮佳彬杨育彬林金杰韦伟

计算机科学. 2009, 36 (2): 152-154.

摘要 ( 96 )

PDF(317KB) ( 410 )

相关文章 | 多维度评价

描述了一个基于本体词汇的三维模型语义检索的方法。该方法首先对一个三维模型库的词汇进行语义上扩充，然后基于关键词进行检索，而不是做简单的文字匹配。其主要工作是利用WordNet英文本体和Jena推理引擎构建一个语义网络，然后在该语义网络上做推理查询，检索到相应的语义结果。实验结果表明，该方法能有效地将一个分类不够丰富的模型库的词汇做较大的扩充，使其覆盖的范围扩大，同时保证扩充的词汇和原有词汇在语义上的相关性，从而提高基于语义关键词检索三维模型的有效性。

一种嵌入式移动实时数据库的并发控制策略

吴海陈巍卢炎生

计算机科学. 2009, 36 (2): 155-157.

摘要 ( 83 )

PDF(308KB) ( 358 )

相关文章 | 多维度评价

嵌入式移动实时事务的并发控制除了满足传统事务的基本特性外，还要着重考虑优先级颠倒、不必要的事务重启和全局数据一致性及混合事务系统的性能等问题。基于绝对串行化时序与选择重启的乐观并发控制算法（OCC-ASTOSR），利用绝对时标在广播循环的支持下调整移动客户端和中心数据库服务器上的事务串行化顺序，检测事务的数据访问冲突，并应用选择重启的方法解决冲突。事务随着运行过程更新读写数据集信息，每个数据对象都维护相关的时间信息，通过无线网络通信传递这些控制信息，交互地完成移动客户端和中心服务器中的本地事务验证和移动事

一种基于柔性逻辑的控制方法研究

计算机科学. 2009, 36 (2): 158-161.

摘要 ( 154 )

PDF(395KB) ( 262 )

相关文章 | 多维度评价

模糊控制是基于领域专家所给出的模糊控制规则来实现对系统的控制，这些模糊控制规则粗略地描述了控制器输入和输出之间的关系。模糊控制采用的是一种分段逼近的思想，因此在对高阶和多输入等实际复杂系统控制过程中，模糊控制存在控制规则组合爆炸和控制精度不高两大问题。从常规二维模糊控制器的输入变量误差E和误差变化率EC的基本物理意义出发，深入分析它们之间所蕴含的逻辑关系，指出这种关系的本质就是泛逻辑学中的泛组合关系，可用简单的泛组合运算代替复杂的模糊规则推理过程。据此提出了一种柔性逻辑控制方法，可实现对复杂系统的精确控制

大规模BurstMode异步控制电路分解与综合

阮坚王志英王蕾李勇

计算机科学. 2009, 36 (2): 162-166.

摘要 ( 95 )

PDF(404KB) ( 324 )

相关文章 | 多维度评价

对于现有的BurstMode异步控制电路综合方法而言，由于在状态归约与赋值阶段需要进行完备的状态空间搜索，面临状态空间爆炸问题，因此仅仅适用于中小规模控制电路。为了提高电路的综合规模，使得BurstMode异步控制电路走向实用化，提出了一种新的大规模BurstMode异步控制电路的综合方法：利用BurstMode状态机所对应有向图的有向回路集合对状态机进行分解，得到相互独立的子状态机；对各子状态机进行调整，采用请求／应答信号实现相应子状态机之间的四段握手通信；设计接口状态机解决相应子状态机之间的仲裁问题。

基于节点位置信息的降低更新代价前缀编码方案研究

计算机科学. 2009, 36 (2): 167-171.

摘要 ( 91 )

PDF(461KB) ( 281 )

相关文章 | 多维度评价

分析了现有的几种XML文档前缀编码方法，研究了在XML文档树不同位置插入节点时的更新代价，提出了一种基于位置信息的前缀编码方案，对更新代价较大的节点预留较大的空间。设计了更新算法，在产生新插入节点的编码的同时，为今后插入节点也预留空间，且采用“借”空间算法，减小插入操作造成重新编码的数量。充分的试验结果证明，采用提出的编码方法，具有相对较小的平均编码长度和编码时间，查询速度很快，更重要的是能够有效降低更新操作引起的编码长度增加、重新编码节点数以及更新时间。

基于本体的空间搜索引擎研究

段磊李琦毛曦

计算机科学. 2009, 36 (2): 172-174.

摘要 ( 99 )

PDF(267KB) ( 313 )

相关文章 | 多维度评价

提出了一种智能空间搜索引擎的解决方案。通过分析传统搜索引擎在处理空间语义方面的缺陷，将本体和自然语言处理技术引入搜索引擎中，解决基于自然语言查询的空间检索问题。初步构造了基于本体的空间搜索引擎的结构框架，分析了本体在空间搜索引擎中的应用范畴，并构建了相应的本体库以及解析自然语言查询的模式库，提出了自然语言式空间查询的解析方案。最后通过建立空间搜索引擎原型系统证明了该方案的可行性。

Q—CFIsL：挖掘频繁闭项集并构建其格的快速算法

计算机科学. 2009, 36 (2): 175-178.

摘要 ( 72 )

PDF(388KB) ( 273 )

相关文章 | 多维度评价

提出了一种快速挖掘频繁闭项集并构建其格的算法Q-CFIsL。该算法引入了preC（X）的概念，使用preC（X）加快了包容检测和建格的速度。实验表明，对于真实数据集以及合成数据集，Q-CFIsL的性能都优于当前最新的同类算法CHARM-L。

基于状态回朔技术的规范LR分析算法

王强华侯红耿国华

计算机科学. 2009, 36 (2): 179-180.

摘要 ( 79 )

PDF(216KB) ( 379 )

相关文章 | 多维度评价

LR分析技术以其自身的优点在实际当中有着非常广泛的应用，但是，能够识别LR（1）语言的规范LR分析器由于其下推自动机的复杂性，其实用性受到比较大的限制。通过回朔下推自动机的状态迁移路径能够从根本上解决这一问题。主要讨论了基于状态回朔技术的规范型LR分析器的基本原理与构造技术。

概念的矩阵化描述及相关定理的矩阵化证明

董辉马垣宫玺

计算机科学. 2009, 36 (2): 181-185.

摘要 ( 86 )

PDF(351KB) ( 256 )

相关文章 | 多维度评价

概念格作为形式概念分析理论中的核心数据结构，已在知识工程和软件工程等领域得到了广泛的应用。然而，对概念格理论的研究仅存在于纯数学领域，虽然已有的Hasse图能体现概念间的范化与特化关系，但对概念本身的理解帮助不大，用于定理的证明更为少见。从可视化着手，对概念格的图形化研究做了一点尝试，把概念信息理解成概念矩形，并用之于概念格定理的证明，取得满意的效果。

一种基于未知结构网页抽取本体的方法

计算机科学. 2009, 36 (2): 186-189.

摘要 ( 76 )

PDF(289KB) ( 243 )

相关文章 | 多维度评价

在Web上数据大多是结构化的，但事先并不熟知数据的结构，因此不能有效地查询感兴趣的数据。提出了一种独立于文本抽取本体的方法，其过程包括表的理解、数据集成和本体生成，其中表理解是搜寻定位兴趣表、识别及匹配属性和值，并形成记录；数据集成是匹配源记录和目标模式；本体卷积是将源记录的数据抽取到目标模式。结果表明这种方法可以通过已知的目标模式有效地抽取未知结构的数据。

一种新的非参数变换定义及立体匹配方法

计算机科学. 2009, 36 (2): 190-193.

摘要 ( 93 )

PDF(339KB) ( 277 )

相关文章 | 多维度评价

提出了一种基于邻域差值的非参数变换立体匹配方法。该非参数变换方法是在图像中选定一个点，然后再找到与这个点水平方向相隔一定距离的一点，以这两个点为中心各选取一个窗口，比较两个窗口中对应像素的灰度大小差异，以这个差异值取代原图像的像素灰度值，这样产生的一个新的图像就是本文方法变换后的图像。将左右图像经过这种变换后，求变换后左右图像上点的匹配来产生立体视差。实验表明，在同等条件下，尤其存在噪声时，该方法与非参数rank变换和census变换比较，能得到更为准确的视差。

二元关系的复合与近似算子的合成

徐优红

计算机科学. 2009, 36 (2): 194-198.

摘要 ( 108 )

PDF(339KB) ( 305 )

相关文章 | 多维度评价

定义了各种类型的经典二元关系和模糊二元关系，讨论了二元关系的合成及其性质。给出了两个近似空间合成的概念，并讨论合成前的近似空间所导出的近似算子与合成后的近似空间所导出的近似算子之间的关系。证明了合成后的近似空间所导出的近似算子恰好是两个近似空间所导出的近似算子的合成。

一种基于随机抽样的贝叶斯网络结构学习算法

胡春玲胡学钢

计算机科学. 2009, 36 (2): 199-202.

摘要 ( 90 )

PDF(342KB) ( 458 )

相关文章 | 多维度评价

针对贝叶斯网络的结构学习问题，基于并行随机抽样的思想提出了结构学习算法PCMHS，构建多条并行的收敛于Boltzmann分布的马尔可夫链。首先基于节点之间的互信息，进行所有马尔可夫链的初始化，在其迭代过程中，基于并行的MHS抽样总体得到产生下一代个体的建议分布，并通过对网络中弧和子结构的抽样产生下一代个体。算法PCMHS收敛于平稳分布，具有良好的学习精度，而该算法又通过使其初始分布和建议分布近似于其平稳分布，有效提高了马尔可夫链的收敛速度。在标准数据集上的实验结果验证了算法PCMHS的学习效率和学习精度明

基于数据场的粗糙聚类算法

李学苗夺谦冯琴荣

计算机科学. 2009, 36 (2): 203-206.

摘要 ( 125 )

PDF(441KB) ( 367 )

相关文章 | 多维度评价

聚类分析是数据挖掘的研究热点。传统的聚类算法都是把一个对象精确地划分到一个聚类簇中，类别之间的界限是非常精确的。随着web挖掘技术的发展，精确地划分每个对象的聚类算法面临着巨大的挑战。根据数据场理论和经典粗糙集理论所具有处理不精确与不确定性数据的特性，提出一种新的基于数据场的粗糙聚类算法，该粗糙聚类算法采用势值作为对象的划分依据，避免传统粗糙聚类算法一贯采用基于欧氏距离的划分方法。算法首先通过对数据对象进行粗分然后再不断迭代细分，直至形成稳定的聚类簇。实验分析过程中，把提出的算法与粗糙K-means算法和

密度偏差抽样技术在聚类算法中的应用研究

余波朱东华刘嵩郑涛

计算机科学. 2009, 36 (2): 207-209.

摘要 ( 103 )

PDF(362KB) ( 447 )

相关文章 | 多维度评价

针对在大规模数据集上进行聚类困难的问题，分析了抽样技术的优点，研究了数据挖掘领域中的随机抽样的特点，并在此基础上提出了一种基于密度的偏差抽样方法。利用密度偏差抽样所获得的样本数据集能够较准确地反映总体数据集的特征，并且能够灵活地控制对数据集不同区域的抽样率。实验证明，在大规模数据集上进行聚类时，密度偏差抽样在时间复杂度上要优于随机抽样。

形式概念分析的概念之间包含度理论

计算机科学. 2009, 36 (2): 210-213.

摘要 ( 88 )

PDF(353KB) ( 311 )

相关文章 | 多维度评价

在形式概念分析中的概念之间引进了包含度理论，利用包含度理论描述了概念之间的量化关系，对概念格中概念之间的亚概念和超概念进行了刻画。同时，采用包含度在概念格中进行关联规则的提取，给出了由包含度进行无冗余关联规则的提取算法，并由实例验证了该算法是有效的。

基于耦合触发细胞自动机的图像加密算法

计算机科学. 2009, 36 (2): 214-219.

摘要 ( 73 )

PDF(478KB) ( 452 )

相关文章 | 多维度评价

提出了一种基于一维触发细胞自动机的图像加密技术。根据图像文件类型的特点，在加密前对图像进行了简单的预处理，将每个像素点的信息分割成两部分；相应地，密钥也被分成两部分，从而将原始图像信息分成两部分并加密。本加密系统采用的是对称耦合式的触发细胞自动机结构，一方面，加密算法和解密算法可以共享该结构，从而降低了硬件的实现代价；另一方面，基于此结构，对加密后的信息进行了密钥共享和分存，确保只有在同时获得一对密文时才能正确解密。触发细胞自动机的反转规则由子密钥流和图像信息本身共同决定，而且在细胞状态迭代的过程中能自适

基于临界带特征矢量距离的端点检测算法

武文娟顾宏斌潘秀林

计算机科学. 2009, 36 (2): 220-221.

摘要 ( 68 )

PDF(249KB) ( 310 )

相关文章 | 多维度评价

端点检测是语音数字信号处理中一个重要的环节。在前人研究的基础上提出了一种新的基于临界带特征矢量距离的端点检测方法，由计算得到的每帧各临界带中的功率谱之和作为特征矢量，并且通过计算各帧之间的矢量距离得到其距离轨迹，以此设定门限进行语音端点的检测。对比实验表明，相对于基于谱熵的算法及基于倒谱距离的算法，本方法具有更好的鲁棒性和较高的正确率。

动态概率粒子群优化模型及实验分析

计算机科学. 2009, 36 (2): 222-226.

摘要 ( 77 )

PDF(438KB) ( 285 )

相关文章 | 多维度评价

对传统PSO算法中种群产生方式的特点，结合根据历史信息直接取样生成新种群的思想，抽象出动态概率粒子群优化（DPPSO）模型，并给出了该模型的形式化描述；同时提出了DPPSO模型可以采用的几种动态概率进化算子，最后通过常用Benchmark函数优化问题对DPPSO模型采用不同进化算子时的性能进行了实验分析。实验结果验证了DPPSO模型及所提出的进化算子的有效性，同时根据实验结果提出了进化算子设计与选择的指导性建议，并对相关参数设置也做了分析和讨论。

一种动态改变惯性权重的自适应粒子群算法

任子晖王坚

计算机科学. 2009, 36 (2): 227-229.

摘要 ( 97 )

PDF(296KB) ( 339 )

相关文章 | 多维度评价

针对惯性权重线性递减粒子群算法（LDWPSO）不能适应复杂的非线性优化搜索过程的问题，提出了一种动态改变惯性权重的自适应粒子群算法（DCWPSO），在该算法中引入聚焦距离变化率的概念，并根据它对粒子群算法搜索能力的影响，将惯性因子表示为关于聚焦距离变化率的函数。在每次迭代时算法可根据当前粒子群聚焦距离变化率的大小动态地改变惯性权重，从而使算法具有动态自适应性。对6个典型函数的测试结果表明，DCWPSO算法的收敛速度明显优于LDWPSO算法，收敛精度也有所提高。

Petri网替换运算的不变量保持条件

岳昊吴哲辉

计算机科学. 2009, 36 (2): 230-233.

摘要 ( 95 )

PDF(269KB) ( 535 )

相关文章 | 多维度评价

提出了Petri网替换运算的不变量保持条件，根据这些条件，可以由轮廓模型N和子系统模型N1的T-不变量（9不变量）得到加细模型N’的T-不变量（S-N变量），充分利用已知的轮廓模型N和子系统模型N1的T-不变量（S-N变量），避免从头处理加细模型N’，以达到节省计算开支的目的。

区间速率连续Petri网的模糊模型

计算机科学. 2009, 36 (2): 234-237.

摘要 ( 72 )

PDF(276KB) ( 298 )

相关文章 | 多维度评价

为了实现区间速率连续Petri网的模糊控制，建立了区间速率连续Petri网的模糊模型，定义了区间速率连续Petri网的模糊规则。进一步地，对区间速率连续Petri网的模糊控制进行了讨论，给出了库所标识收敛的定理，为基于区间速率连续Petri网描述的模糊系统的控制提供了理论依据。实例分析表明了区间速率连续Petri网的模糊控制的可行性。

基于三角模的模糊双向联想记忆网络的性质研究

计算机科学. 2009, 36 (2): 238-240.

摘要 ( 67 )

PDF(368KB) ( 271 )

相关文章 | 多维度评价

基于模糊取大算子和三角模T的模糊合成，构建了一类模糊双向自联想记忆网络Max-TFBAM。利用三角模丁的伴随蕴涵算子，为这类Max-TFBAM提出了学习算法，并理论上证明了该学习算法确定的连接权矩阵是网络最大的连接权矩阵。对任意输入能使Max-TFBAM迭代一步内就进入稳定态，该类网络具有全局稳定性和可靠的存储能力。当三角模丁满足利普希兹条件时，采用上述学习算法时自联想Max-TFBAM对训练模式的摄动全局拥有好的鲁棒性。最后用实验证实了理论研究，也为图像的可靠存储提供了参考。

航班延误波及链的有色出现网模型

计算机科学. 2009, 36 (2): 241-244.

摘要 ( 76 )

PDF(342KB) ( 291 )

相关文章 | 多维度评价

针对基本Petri网的出现网在描述有色Petri网动态行为时的局限性，在基本出现网的基础上定义了一种扩展的出现网，即有色出现网，直观地反映了有色Petri网系统中资源流动及变化之间的顺序和并发关系，也大大减小了图形的复杂程度。同时，将有色Petri网和这种有色出现网应用于航班延误波及链的建模中，反映了航班执行时所需的多种资源的分布及流动情况，描述了航班在执行过程中与机场之间的相互影响及延误的链式波及反应。

室外移动机器人遥操作系统的设计与实现

计算机科学. 2009, 36 (2): 245-247.

摘要 ( 70 )

PDF(362KB) ( 407 )

相关文章 | 多维度评价

遥操作是移动机器人指挥控制的重要手段之一。介绍了一种新型的室外智能移动机器人遥操作系统。本系统改变传统的固定指挥站，采用基于移动指挥站的操作方式，大大提高了操控的灵活性和系统的隐蔽性。同时，本系统还使用了先进的无线通信技术，开发了良好的人机交互界面，设计了功能全面的遥操作终端、定向天线云台控制系统以及多传感器环境信息采集系统。实验表明，系统能够在野外环境中高效、稳定地完成各种遥操作任务。

空间科学与探测任务论证仿真系统的设计与实现

计算机科学. 2009, 36 (2): 248-250.

摘要 ( 73 )

PDF(374KB) ( 286 )

相关文章 | 多维度评价

分析了空间科学与探测任务论证支持系统（SSDRSS）的功能和仿真需求，实现了可扩展的仿真系统体系结构设计。基于高层体系结构（HLA）的仿真实现采用了灵活的成员接口设计和合理的联邦成员划分，降低了扩展系统和开发新成员的复杂度。将该仿真系统的设计应用于双星科学任务论证中，实现了论证过程和设计结果的分布式仿真和仿真结果的对比分析，验证了设计的可行性。

一种基于聚类分析的三角网格强壮水印方法

计算机科学. 2009, 36 (2): 251-256.

摘要 ( 62 )

PDF(497KB) ( 298 )

相关文章 | 多维度评价

针对计算机图形学中常用的三角网格模型，以聚类分析方法为基础建立了一种强壮的水印方案。首次将聚类分析常用的K-Means方法用于网格水印研究，并在完成球面三角化后通过调整表面片法矢嵌入水印；在分析方法特点基础上建立了高效的数值迭代过程，提高了水印方法的效率；通过实验结果验证了方法的有效性和鲁棒性。

基于KDA／GSVD和支持向量机的人耳识别

计算机科学. 2009, 36 (2): 257-260.

摘要 ( 73 )

PDF(353KB) ( 444 )

相关文章 | 多维度评价

在高维、小样本的情况下使用Fisher线性鉴别分析的特征提取方法存在病态奇异问题，学者们提出了许多解决此问题的方法。针对小样本问题，并通过对现有人耳识别方法的研究，提出了一种利用KDA／GSVD算法对图像数据进行降维，运用SVM分类器对样本进行判别的人耳识别方法。此外，还对线性判别分析、广义奇异值分解和支持向量机的基本理论等内容做了简要介绍。实验证明，KDA／GSVD很好地解决了由于小样本的问题而导致的LDA算法中类内离散度矩阵不可求逆的问题，把它与支持向量机有机地结合起来，构成了一种有效的人耳识别新方法

基于动态主成分子空间的人脸识别算法

计算机科学. 2009, 36 (2): 261-264.

摘要 ( 69 )

PDF(343KB) ( 291 )

相关文章 | 多维度评价

在基于子空间分析的人脸识别中，通常是按照特征值的大小来确认主成分的重要性，并以此为基础构造一个固定的特征子空间。通过人脸图像重建分析，发现固定的特征子空间会给人脸识别带来误差，于是采用多元线性回归分析理论，提出一个动态主成分子空间构造算法。在此基础上，得到了动态PCA（主成分分析）算法和基于Gabor特征的动态PCA算法。由ORL和GeorgiaTech人脸数据库上的实验结果表明，该算法不仅减少了主成分数目，而且提高了识别率。

基于自定义颜色空间的快速图像分割算法

曹宇赵杰闫继宏

计算机科学. 2009, 36 (2): 265-267.

摘要 ( 77 )

PDF(240KB) ( 1117 )

相关文章 | 多维度评价

为实现视觉伺服中对图像的实时处理，针对由RGB颜色空间模型转换到HSV颜色空间模型过程计算量大、时延明显的问题，提出了一种基于自定义的HSV颜色空间模型的快速变换方法，减小了计算量，提高了处理速度；并采用一种对不同颜色分量进行序列分割的彩色图像分割方法，在自定义的HSV颜色空间中实现了彩色图像的快速分割。实验证明了这种方法的有效性。

基于MATLAB实现石刻浮雕图像“数字拓片”技术的研究

计算机科学. 2009, 36 (2): 268-270.

摘要 ( 104 )

PDF(249KB) ( 459 )

相关文章 | 多维度评价

利用MATLAB语言和仿真软件对石刻浮雕图像进行处理，并实现其数字拓片的自动生成。实验结果表明，所提方案方便、快捷，经处理的图像效果较理想，是制作数字拓片的有效手段。

基于代数视角的凸壳及其特性同构化研究

计算机科学. 2009, 36 (2): 271-274.

摘要 ( 113 )

PDF(306KB) ( 286 )

相关文章 | 多维度评价

现行凸壳算法通常是基于凸壳几何特性的视角来求解凸壳顶点，主要适用于求解低维几何空间凸壳问题。因高维空间凸壳的几何关系极为复杂，故研究、设计、提高求解高维几何空间凸壳的算法效率难度较大。考虑到几何与代数有着天然的本质联系，进而基于代数视角来研究凸壳问题，并给出了凸壳顶点的代数定义，研究了凸壳顶点若干代数性质；从而，为探索从代数视度来研究和设计求解高维几何空间凸壳算法提供某些基础理论与创新思路。

网络虚拟机器人——“软件人”安全策略与授权模型

计算机科学. 2009, 36 (2): 275-277.

摘要 ( 125 )

PDF(371KB) ( 259 )

相关文章 | 多维度评价

在整个“软件人”安全体系结构中，授权是给特定的委托人授予特定资源访问权的一种访问控制机制，有必要对其内涵和表示形式进行深入探讨。扩展了大多数现有Agent平台所依赖的Java授权语义，总结出包括正向授权在内的5种授权机制，并且设计了适应“软件人”应用场景的新的权限类型。通过对比优选出适合“软件人”策略表示的方案，提出了一种具有高扩展性和灵活性的基于策略的“软件人”授权模型。

一种适用于分布对象环境的层次型故障检测方法的研究

计算机科学. 2009, 36 (2): 278-281.

摘要 ( 100 )

PDF(445KB) ( 257 )

相关文章 | 多维度评价

针对现有故障检测服务在灵活性、伸缩性和扩展性方面的不足，提出了一种适用于分布对象环境的层次型故障检测方法。研究工作以两种通用概念模型（即故障提供者-监控者-使用者模型和域模型）为基础，指出了相关基本问题的解决途径。该方法引入了混合型故障监控模式，弥补了现有监控模式的不足；使用异步的消息传递机制，实现了故障信息的及时传播；采用基于域控制节点的层次型故障检测方法，解决了域内不同粒度实体故障检测问题。与同类研究相比，该方法在灵活性、伸缩性和扩展性方面具有一定的优势。

一种多纬度服务质量评估技术

计算机科学. 2009, 36 (2): 282-286.

摘要 ( 63 )

PDF(353KB) ( 252 )

相关文章 | 多维度评价

面向服务体系架构因其基于标准、松散耦合等特点给整个IT业带来巨大的变革，然而由于缺少合理有效的服务质量评估机制制约了其进一步的发展。根据贝叶斯加权均值的思想，提出了一种面向服务的多维度评估技术——在“测试中介”模型的基础上，利用协同测试共享数据，结合用户信誉度和测试用例信誉度权值对服务的测试通过率进行加权评估，为参与服务的各方提供服务排行参考。设计思想充分地体现了集体智慧和数据为核心的Web2．0的技术特点。

基于复杂网络的大型软件系统度量

计算机科学. 2009, 36 (2): 287-290.

摘要 ( 68 )

PDF(457KB) ( 326 )

相关文章 | 多维度评价

随着软件系统规模的不断增大，如何度量面向对象大规模软件系统成为一个亟待解决的问题。近年来迅速发展的复杂网络理论为解决该问题提供了一个新的视角。介绍了大规模软件系统中的复杂网络现象，从元素级、模块级、网络级3个不同的粒度提出基于复杂网络的软件系统的各种度量；实现了大型Java程序复杂网络描述和度量工具JPAC。JPAC可用于分析大型Java系统的结构，并计算基于复杂网络的各度量值。

多粒度的面向对象软件估算模型的研究及应用

毛明志陈立

计算机科学. 2009, 36 (2): 291-295.

摘要 ( 103 )

PDF(357KB) ( 290 )

相关文章 | 多维度评价

软件估算方法学是软件工程学科中重要的研究方向，也是软件成本和进度控制的重要手段。面向对象作为现今的主流软件开发方法，对其估算方法的研究成为当前的热点。到目前为止，现有的面向对象估算方法大多是功能点方法的变种，这些方法对于统一的估算体系研究不足且估算的误差较大。针对上述问题，从经典估算方法入手，提出了一种多粒度的面向对象软件估算模型，并对模型的4个层次作了详细的描述，然后利用最小二乘法回归分析探讨了规模与工作量的关系，最后对实验结果做出了评估。

一种基于程序DD图的无约束边生成算法

计算机科学. 2009, 36 (2): 296-298.

摘要 ( 74 )

PDF(244KB) ( 238 )

相关文章 | 多维度评价

基于相似路径集进行软件故障定位是众多有效故障定位方法中的一种，该方法利用测试技术、程序切片和削片技术给出具体的软件故障定位报告。在实现上述方法时，求出程序DD图（Decision-to—Decision Graph）的无约束边就是关键步骤。目前，针对这一关键步骤的研究中，虽然取得了一定进展，但如何基于程序DD图生成无约束边，尚需要进一步研究。首先选用十字链表结构存储程序的DD图，进而计算出该程序DD图中各边对应的主宰树和蕴含树，在此基础上求出程序DD图中无约束边。通过实验验证，提出的无约束边生成算法是一种

基于领域特征的AOP编织实现方法

计算机科学. 2009, 36 (2): 299-302.

摘要 ( 115 )

PDF(301KB) ( 262 )

相关文章 | 多维度评价

面向方面编程（AOP）通过横切关注点和编织技术来实现软件。基于领域特征的领域分析、设计过程获得领域的特征和特征关系，并在领域实现的前期实现特征的代码编制。采用面向方面编程技术，对领域特征中任务（Role）的关系分析、归类后，按面向方面编程技术提供的关注点（Concerns）、通知（Advice）、横切（Crosscutting）、编织（Wea—ving）等方法，针对领域特征中的Role进行编织，组成完整的可变化特征，以适应不同软件产品的需要。采用面向方面编程技术不会对已封装的Role产生耦合，增强了代码的