计算机科学

计算机科学. 2006, 33 (6): 1-6.

摘要 ( 116 )

PDF(576KB) ( 309 )

相关文章 | 多维度评价

时间自动机是检验实时系统建模的有效工具，其可达性分析可以检验系统是否可能达到某些特定的状态，其算法通常采用对符号状态的枚举来遍历其状态空间。因为引入了时钟变量，时间自动机的可达性分析算法会产生大量的中间状态，需要巨大的存储空间，往往超出了计算机能力的极限，导致分析和检验不能完成。这就是所谓的“状态空间爆炸”。研究人员设计了很多种优化技术来约减可迭性分析所需的存储空间，以解决或者缓解这个问题。本文首先介绍了时间自动机及其可达性分析的基本概念，然后分类讨论了现有的空间约减优化技术并对此做出总结，最后提出了一些

会议及征文消息

无

计算机科学. 2006, 33 (6): 6-6.

摘要 ( 84 )

PDF(68KB) ( 254 )

相关文章 | 多维度评价

空间逻辑的一个定义框架及其可判定性

颜锋陈韬略韩婷婷吕建

计算机科学. 2006, 33 (6): 7-10.

摘要 ( 104 )

PDF(297KB) ( 299 )

相关文章 | 多维度评价

空间逻辑作为一个模态逻辑，能很好地描述分布式系统的行为和空间属性。其中，逻辑公式的有效性、可满足性及模型检测问题的可判定性已经得到广泛的研究。本文即是关于空间逻辑可判定性的一个综述，为此首先提出一个空间逻辑的定义框架，据此可以构造各种空间逻辑，并对它们的可判定性进行考察，从而指出影响空间逻辑的可判定性的关键因素。

网络存储的统一与虚拟化

计算机科学. 2006, 33 (6): 11-14.

摘要 ( 77 )

PDF(323KB) ( 336 )

相关文章 | 多维度评价

存储资源共享是网络存储的最基本的任务，为了给用户提供有效的存储资源共享，网络存储的统一化和虚拟化采取了不同的方法：统一化的侧重点在于存储技术、存储资源的整合和存储管理的研究，虚拟化侧重于如何为用户提供更方便的应用环境。统一虚拟存储体系结构则结合了两者的优点，代表着网络存储的将采。本文对网络存储的统一化和虚拟化的现状和存在问题进行了探讨，分析了阻碍统一虚拟存储体系结构实现的不利因素，针对这些存在的问题，本文给出了一个基于自主式存储中介的网络存储系统，该系统结合了网络存储的统一化和存储虚拟化技术，可以看作统一

互联网体系结构剖析

计算机科学. 2006, 33 (6): 15-20.

摘要 ( 110 )

PDF(575KB) ( 370 )

相关文章 | 多维度评价

首先简要回顾了互联网发展的3个阶段，明确了互联网体系结构的由来及现状。接着详细论述了互联网体系结构这一概念的内涵和外延，总结归纳了互联网体系结构的若干重要设计原则，探讨了互联网体系结构的需求目标、实现技术、代表协议、体系结构特征等要素之间的关系，将互联网体系结构研究统一成一门具有紧密内在逻辑联系的学科。然后深入剖析了现行互联网体系结构所面临的重重矛盾，指出了现行互联网体系结构所面临的总的矛盾是“互联网体系结构的因循旧制与已经发生改变的应用环境之间的矛盾”，并从6个方面深入阐述了现行互联网体系结构所面临的各

基于无线局域网的位置定位技术研究和发展

郎昕培许可赵明

计算机科学. 2006, 33 (6): 21-24.

摘要 ( 92 )

PDF(355KB) ( 420 )

相关文章 | 多维度评价

随着无线局域网技术的飞速发展和无线局域网络在全世界范围内的广泛部署，一种基于无线局域网络覆盖的位置定位技术成为室内环境下位置服务研究的热点。基于无线局域网络的位置服务具有设施简单、覆盖范围广、服务可集成度高等特点，并能实现较高的定位精度。本文介绍了基于WLAN的定位技术，并结合目前国内外几个典型的定位系统研究分析了WLAN定位技术的特点和研究发展过程。

NEMO移动网络及其路由优化技术

李俊葛敬国

计算机科学. 2006, 33 (6): 25-28.

摘要 ( 123 )

PDF(279KB) ( 367 )

相关文章 | 多维度评价

网络移动（Network Mobility，NEMO）主要研究子网作为一个整体在全球互联网范围内移动过程中存在的网络可达性、效率和安全等方面的问题。本文介绍了NEMO基本支持协议以及嵌套NEMO网络的模型。在此基础上分析了当前几种嵌套NEMO网络的路由优化方案存在的问题，并给出了一个改进的路由优化方案。最后总结了当前NEMO网络部署中存在的问题。

一种基于主观逻辑理论的P2P网络信任模型

计算机科学. 2006, 33 (6): 29-31.

摘要 ( 376 )

PDF(215KB) ( 422 )

相关文章 | 多维度评价

由于P2P系统的开放、匿名等特点，使得P2P系统对节点缺乏约束机制，节点间缺乏信任。针对以上问题本文提出了一种基于主观逻辑理论的P2P网络信任模型，并在信任的计算中引入风险的机制，有效防止协同作弊和诋毁的安全隐患。实验和分析结果表明，这种信任模型能更加精确地评估节点的信任度，从而能更加有效地解决P2P网络环境中存在的安全问题。

自相似网络通信量的滑动平均预测

闻勇朱光喜

计算机科学. 2006, 33 (6): 32-34.

摘要 ( 108 )

PDF(252KB) ( 277 )

相关文章 | 多维度评价

研究表明具有重尾特性的自相似性网络通信量表现出长程相关的突发性。对这种不同于传统电话网通信量的长程相关的网络通信量进行描述及预测十分重要。本文在基于对称alpha-平稳分布过程的自相似通信量模型基础上，提出了两种新的对具有重尾特性自相似网络通信量的滑动平均预测方法。一种是协变正交意义下的线性无偏预测；另一种是双曲线渐近意义下具有对称平稳新息的滑动平均预测，能使预测偏差最小化。对Bellcore实验室与Lawrence实验室的原始数据进行预测实验，预测结果表明两种预测方法准确有效。

一种单速率组播速率控制与修剪算法

计算机科学. 2006, 33 (6): 35-38.

摘要 ( 97 )

PDF(284KB) ( 356 )

相关文章 | 多维度评价

组播网络的异构性问题导致了组播内部公平性问题。本文在分析了相关工作的局限性之后，提出了一种基于效用的单速率组播内部公平性标准，其优化目标是最大化组播会话的净收益。相应地设计了一种基于动态规划的速率控制与修剪算法，该算法在计算开销与通信开销两方面都是可扩展的。

一种求解网络最大流问题的算法

凌永发徐宗本

计算机科学. 2006, 33 (6): 39-41.

摘要 ( 101 )

PDF(201KB) ( 585 )

相关文章 | 多维度评价

随着网络应用的不断深入，人们对网络传输容量和服务质量的要求和期望也越来越高，设计高性能网络成为一项迫切的工作。缓存的配置直接影响网络的时延和丢失率，网络缓存和网络传输容量的合理匹配，能很好提高网络性能。文章简述了网络最大流问题的现状，提出了一种求解网络最大流问题的算法。算法基于MPLS流量工程技术，在实现网络最大流的情况下，同时对M争分支（链路）重新分配流量，达到合理分配网络流量和利用网络资源的目的。仿真结果表明算法是有效的。

IEEE802．11无线局域网非饱和吞吐量分析

计算机科学. 2006, 33 (6): 42-43.

摘要 ( 105 )

PDF(204KB) ( 352 )

相关文章 | 多维度评价

当前关于IEEE802．11无线局域网DCF性能分析研究通常假设网络工作在饱和条件下，但是对于实际的IEEES02．11局域网而言，非饱和工作状态更为普遍。本文针对非饱和条件下的IEEE802．11无线局域网，提出了一种基于二维马尔可夫链的分析模型，推导得到吞吐量与网络非饱和程度之间的定量数学表达式。结果表明，非饱和吞吐量可以超过饱和吞吐量，在一定的非饱和程度下，网络吞吐量可以最大化，在多数情况下RTS／CTS接入机制优于基本接入机制。

拓扑控制对Ad Hoc网络性能的影响

王炫李建东张文柱

计算机科学. 2006, 33 (6): 44-47.

摘要 ( 100 )

PDF(293KB) ( 368 )

相关文章 | 多维度评价

研究了拓扑控制技术对MANET网络性能的影响。与其它相关文献不同的是，在分析及建立仿真模型过程中，综合考虑了拓扑控制对物理层、MAC层和网络层带来的影响，而非仅从MAC层角度出发。仿真结果说明，实施拓扑控制尽管能够带来信道空间复用能力的提高，但最终反映网络承载业务能力的网络端到端通过量指标却出现了下降。并且存在一个倾向：网络拓扑的信道空间复用能力越强。该指标越差。导致这种现象的主要原因是：在拓扑控制方案所产生网络拓扑中，分组的平均转发次数以及传输失败概率增加。

一种基于主动网络管理模型的设计与研究

李明

计算机科学. 2006, 33 (6): 48-51.

摘要 ( 184 )

PDF(269KB) ( 278 )

相关文章 | 多维度评价

主动网络是一种新型的网络结构。它为用户提供了可编程的接口，用户可通过网络中的节点动态地注入所需的服务。本文讨论了主动网络管理（ANM）体系结构与管理机制。给出了一种基于节点的主动网络分层管理模型，并对该模型的结构、管理机制、设计要点进行了分析。说明了此模型能够很好地适用于主动网络的特点和管理的需求。

一种基于SVM和领域综合特征的Email自动分类方法

耿焕同蔡庆生

计算机科学. 2006, 33 (6): 52-54.

摘要 ( 101 )

PDF(313KB) ( 334 )

相关文章 | 多维度评价

Email自动分类已成为半结构化文本信息自动处理的研究热点。本文在时已有Email自动分类方法深入研究的基础上，提出了一种基于SVM和领域综合特征的Email自动分类方法。主要包括：一是将SVM引入到Email自动分类研究中，并对SVM学习算法中的核函数和参数选择进行了探讨；二是鉴于词频的特征表示方法难以准确表示Email主要内容，因此将领域知识引入Email特征表示中，并在此基础上提出了一种综合领域知识和词频的特征表示方法，用于Email分类。该方法是在词频特征的基础上加入人工总结出的领域特征，从而更能

广播环境中的Q可串行化实时并发控制

计算机科学. 2006, 33 (6): 55-57.

摘要 ( 96 )

PDF(212KB) ( 298 )

相关文章 | 多维度评价

研究了实时广播中的数据一致性问题。传统冲突可串行化并发控制协议对非对称通信的广播环境来说过于严格且不必要。为此，提出使用Q可串行化：形式化定义了Q可串行化，证明了它虽比传统冲突可串行化宽松但能始终保证数据一致性，基于可动态调整串行化顺序的时标段排序方法给出了相应的并发控制协议。实验结果表明：新协议可显著降低平均响应时间，使更多移动实时事务满足截止期要求。

无线传感器网络数据融合模型研究

计算机科学. 2006, 33 (6): 58-60.

摘要 ( 79 )

PDF(195KB) ( 557 )

相关文章 | 多维度评价

无线传感器网络是一种全新的技术，能够广泛应用于恶劣环境和军事领域中。传感器网络在数据收集中，为减少冗余数据的传输耗能，降低延迟，需要采用数据融合技术。分析和介绍了传感器网络跟踪级与属性级两种融合模型结构，提出了一种基于多Agent的数据融合模型。

基于对象的存储系统对象迁移策略

谭支鹏冯丹

计算机科学. 2006, 33 (6): 61-63.

摘要 ( 104 )

PDF(303KB) ( 392 )

相关文章 | 多维度评价

对象存储系统是下一代网络存储重要组织模式，对象管理是对象存储系统的关键技术之一。本文对对象存储系统中的对象迁移策略进行了系统的研究，提出了可变阈值和域长的动态反馈调整模型，以此来确定存储对象迁移的时机和目标对象存储设备的选取。另外，本文还利用Petri网工具对对象存储系统存储对象的迁移进行建模分析，给出了存储对象迁移控制的Petri网模型。但是随着存储系统存储节点的无限增加，Petri网模型将会无限复杂和庞大。为了减少Petri网模型控制模型的复杂度，又引入有色Petri网理论，实现了对存储对象迁移控制P

一种基于粗糙集属性约简的支持向量异常入侵检测方法

计算机科学. 2006, 33 (6): 64-68.

摘要 ( 105 )

PDF(376KB) ( 393 )

相关文章 | 多维度评价

实现了一种粗糙集属性约简和支持向量机分类相结合的异常入侵检测方法。针对网络连接记录特征属性高维的特点，采用粗糙集属性约简的方法压缩数据空间，然后采用υ-SVM两分类方法处理约简和正规化后的数据。基于DARPA1998数据源的实验表明，与采用全部属性的υ-SVM两分类方法相比，该方法具有与之相当的分类精度，但有效地降低了检测时间，减少了存储空间。

一种改进大型存储系统离散小数据块读取性能的方法

计算机科学. 2006, 33 (6): 69-72.

摘要 ( 79 )

PDF(337KB) ( 300 )

相关文章 | 多维度评价

在大型存储系统中，改善离散小数据块读操作的性能已成为提高整个存储系统I／O性能的关键因素。针对这种情况，本文设计并实现了一种系统CBSS（correlative blocks speedup system）。该系统采用一种启发式算法，综合考虑数据访问时间的局部性和全局性，在文件系统和存储设备之间挖掘数据块的相关性，并根据取得的结果进行预取和数据块布局的物理调整，使整个存储系统性能能够平滑地不间断改善。实验结果显示，CBSS能有效改进系统的I／O性能，且不需要改变文件系统和存储设备的数据结构，具有广泛的适应

基于不确定型AHP的网络生存能力模糊综合评估

计算机科学. 2006, 33 (6): 73-75.

摘要 ( 97 )

PDF(287KB) ( 308 )

相关文章 | 多维度评价

对网络系统的生存能力进行量化评估，有助于对不同系统以及同一系统在不同环境下的可生存性做出准确的评价和比较。本文提出了将不确定型AHP和模糊综合评估技术相结合的方法，建立网络生存能力评估模型。利用不确定型AHP学习得到系统中各因素权重，然后依据隶属度函数对指标评语进行模糊化处理并构建模糊矩阵，再应用模糊综合评估技术得到网络生存能力的综合量化评估结果。通过实例分析，表明应用该方法对网络生存能力进行评估是有效和可行的。

BACnet应用层状态机在线测试研究

许毅平朱振华周曼丽

计算机科学. 2006, 33 (6): 76-78.

摘要 ( 111 )

PDF(306KB) ( 301 )

相关文章 | 多维度评价

随着BACnet网络技术的应用发展，对BACnet网络设备协议一致性测试的要求也越来越强烈，本文在比较现有的协议一致性测试方法的基础上，给出了基于在线测试的BACnet协议测试方法，研究了BACnet应用层状态机的运行模式，并采用有限状态机模型对BACnet应用层状态机进行了分析，给出了相应的状态机状态判定方法和在线测试的软件结构。

移动终端系统的访问控制框架

计算机科学. 2006, 33 (6): 79-82.

摘要 ( 129 )

PDF(302KB) ( 299 )

相关文章 | 多维度评价

随着移动计算的不断普厦，针对移动终端的安全问题日益受到重视。传统的访问控制技术能够解决机密性和完整性问题，但没有充分考虑可用性要求。移动终端同个人计算机相比更容易耗尽系统资源，受到拒绝服务攻击。本文提出一种应用于移动终端的访问控制框架，扩充DTE机制，保证数据机密性和完整性，并允许关键应用预留动态资源（如CPU时间、物理内存页面等），系统对预留的资源进行统一的调度和管理，防止关键应用与其它程序竞争系统资源时产生冲突，保证系统对关键应用的响应，提高系统的可用性。

移动IPv6-车载计算机系统的基础

计算机科学. 2006, 33 (6): 83-84.

摘要 ( 104 )

PDF(262KB) ( 310 )

相关文章 | 多维度评价

随着计算机技术和汽车工业的发展，车载计算机系统将发挥十分重要的作用，这就要求其有很强的移动计算能力。然而，移动IPv4因固有的缺陷在支持车载计算机系统时会有许多问题难以解决，而使用移动IPv6都较容易了。本文通过分析移动IPv4的缺点和移动IPv6的新特性，指出移动IPv6是发展车栽计算机的基础。

基于效益函数的网格任务调度算法

计算机科学. 2006, 33 (6): 85-88.

摘要 ( 83 )

PDF(329KB) ( 291 )

相关文章 | 多维度评价

在动态、异构、分布广泛的网格环境中，对资源的调度是一个非常复杂而重要且具有挑战性的问题。本文针对网格环境中的动态性特点，特别是用户QoS要求的动态变化性，提出了一种基于效益函数的网格任务调度算法，并采用GridSim模拟器分别对该调度算法和模拟器自带的代价最优和时间最优的网格任务调度算法进行模拟。实验的结果表明：该调度算法更能体现用户对QoS要求的动态变化；在系统完成相同数量的网格任务时，消耗相同时间的情况下，该调度算法在代价上优于基于时间优化的调度算法；而花费相同预算的情况下，在时间上优于基于代价优化的

基于任务复制的网格任务调度算法

林剑柠吴慧中陈学勤

计算机科学. 2006, 33 (6): 89-92.

摘要 ( 251 )

PDF(376KB) ( 334 )

相关文章 | 多维度评价

网格中资源之间存在着通信延迟，通过任务复制的冗余，可以减少任务之间的通信开销，缩短整个计算程序的计算时间。目前网格中的任务调度算法基本上是没有考虑任务复制的；而基于任务复制调度算法往往会产生过多的复制任务，增大系统开销，甚至有可能延迟计算时间。由于基于任务复制的任务调度是一个NP问题，因此本文提出了一种基于任务复制的网格资源调度算法，以减少调度长度为主要目标、减少任务复制量和资源占用量为次要目标。该算法在调度长度和任务复制数量以及占用资源数量方面都等于或优于其它算法。

一种基于期货市场理论的网格资源分配机制

刘会斌都志辉

计算机科学. 2006, 33 (6): 93-96.

摘要 ( 90 )

PDF(315KB) ( 284 )

相关文章 | 多维度评价

在比较了计算网格资源和期货特点的基础上，提出了一种基于期货市场理论的网格资源分配机制，避免了现货市场价格的大幅波动。提出了基于期货市场的资源竞价交易算法，通过在电力网格系统上的模拟实验以及与“蛛网模型”的对比，表明本文提出的竞价算法具有资源的利用率高、稳定性高的优点。针对资源域内任务调度，提出了基于期货合约任务调度算法，通过实验比较了群集循环法、先来先服务、Max-min调度算法的完成时间，基于期货合约的任务调度算法完成时间最短。最后讨论了网格技术及期货市场理论在电力系统的应用。

基于移动Agent的网格跨域安全审计体系结构及实现

计算机科学. 2006, 33 (6): 97-100.

摘要 ( 219 )

PDF(319KB) ( 301 )

相关文章 | 多维度评价

网格计算面临的重大挑战之一是开发一系列有效的机制和策略来保证网格任务处理的安全。审计和审核是大规模网格节点的基本需求。本文分析了网格节点的安全审计需求，提出了一种基于移动Agent的跨域安全审计体系结构。为了使安全机制的实施对网格性能产生的影响最小，使用了一种新的授权安全机制“审计一次，授权多次”，通过构造多值信任关系模型实现动态审计。给出了利用GT3用户定义服务和Aglet平台所实现的跨域安全审计模型。

信息系统灾难恢复体系结构

计算机科学. 2006, 33 (6): 101-105.

摘要 ( 90 )

PDF(432KB) ( 463 )

相关文章 | 多维度评价

灾难备份与恢复技术能够充分保证灾难发生时，信息系统仍能正常工作，目前已成为信息安全领域一个备受瞩目的研究方向。本文参考IBM公司SHARE78的7个灾难恢复等级，将灾难恢复系统分为数据级、系统级和应用级3个层次。根据这种层次划分，重新合理地定义了9个灾难恢复等级，并对各个等级详细地给出了定性的说明和定量的规定。本文提出了信息系统的灾难恢复体系结构，并用三维模型描述了灾难恢复指标、备份与恢复技术和灾难恢复计划与措施之间的关系，从而为信息系统的灾难恢复提供了一个完整的框架和解决方案。

数据库异构集群的性能模型研究

王元珍龚卫华

计算机科学. 2006, 33 (6): 106-108.

摘要 ( 110 )

PDF(308KB) ( 377 )

相关文章 | 多维度评价

在OLTP应用中数据库集群是一种有效的并行处理方案，由于以前对数据库集群特别是异构情况下的性能评价不够完善，本文主要研究数据库异构集群的性能模型，分析了CPU和内存两种资源的异构带来性能影响，并给出了异构集群并行性的度量标准及系统有效性评估公式。最后，通过TPC-C实验表明数据库异构集群在OLTP处理中仍具有良好的可扩展性，次线性的加速比，以及高效费比的并行处理服务。

一种基于语义tableau的数据库修正方法

计算机科学. 2006, 33 (6): 109-111.

摘要 ( 67 )

PDF(193KB) ( 237 )

相关文章 | 多维度评价

tableau作为自动推理的有效方法之一在许多人工智能领域中有重要的应用。在tableau基础上，提出新的tableau开放和封闭的推理标准，应用于数据库实例不满足完整性约束的不相容关系数据库中，并对其进行修正。这样可以采用逻辑程序的方法，对数据库进行修正，解决了传统修正方法丢失信息、出现新的不相容等问题。

基于角色访问的非冗余数据库容侵结构

邓伟吴中福叶春晓钟将

计算机科学. 2006, 33 (6): 112-114.

摘要 ( 158 )

PDF(347KB) ( 269 )

相关文章 | 多维度评价

在数据库受到攻击的情况下，保证关键业务的持续服务和动态恢复入侵造成的破坏是非常重要的问题。当前很多中小型网络数据库并无冗余机作为后备，但又必须采用客侵机制采保证其可用性和安全性，所以本文提出了一个基于角色访问的非冗余容侵数据库结构。谊结构能通过隔离执行关键数据采提供不问断的关键业务服务；对于入侵能够在线进行自动恢复；根据用户的角色、历史记录和容侵要求，自动进行状态迁移和系统参数调节等。

支持快速查询的数据库加密方法研究

计算机科学. 2006, 33 (6): 115-118.

摘要 ( 85 )

PDF(311KB) ( 561 )

相关文章 | 多维度评价

为了解决数据库中加密字符串数据的查询问题。提出了为待加密的字段建立辅助索引字段的两阶段查询方法。索引字段的内容由原始数据的划分值和特征值两部分组成，它可以用来支持字符串数据的精确匹配查询和模糊匹配查询。查询加密数据时，首先利用索引字段对加密数据进行一次粗糙查询，然后在解密的数据上再进行一次精确查询。实验表明，其性能较传统的先解密后查询方法有较大的提高。

全局资源视图生成战术资源视图的方法研究

计算机科学. 2006, 33 (6): 119-123.

摘要 ( 113 )

PDF(370KB) ( 421 )

相关文章 | 多维度评价

战术视图生成是从战役全局资源视图产生基于任务的作战视图，本文通过解决作战资源实体在作战任务上的聚类问题来生成战场战术态势图的基本要素之一——作战实体。基于功能能力、作战平台资源和作战任务的定义，提出了基于任务的作战资源实体生成方法。该方法包括两个部分：资源实体裁剪过程的数学描述以及作战资源实体分配到任务的匹配算法，并以联合战役为例，分析并设计了从联合战役作战资源的全局视图生成战术资源视图。

基于客户端对XML文档的访问控制管理

路长胜洪晓光

计算机科学. 2006, 33 (6): 124-127.

摘要 ( 99 )

PDF(294KB) ( 288 )

相关文章 | 多维度评价

对XML文档的访问控制管理的研究目前是个热点问题，已有诸多文献提出了许多访问控制模型，它们大多是以静态的方式共享加密数据。然而在某些情况下，会出现临时的、动态的访问控制规则，这样静态模型就不能解决这种情况。随着客户端设备软硬件的发展，出现了基于客户端的动态访问控制方案。本文提出了一个结合静态模型和动态模型的新的混合方案，举例介绍了基于客户端的动态访问控制部分，并与纯动态方案在性能上作了比较。

支持StAX的高效XML解析器的设计与实现

任鑫曹冬磊金蓓弘

计算机科学. 2006, 33 (6): 128-131.

摘要 ( 87 )

PDF(395KB) ( 480 )

相关文章 | 多维度评价

StAX是JCP提出的一种新的XML解析方式，它提供给用户更多的解析控制权。本文给出了用于XML语法分析的下推自动机模型的设计以及StAX解析器OnceStAXParser的实现。OnceStAXParser在经过了严格的XML兼容性测试和StAXAPI兼容性测试之后，还从多个方面进行了性能优化，包括自动机实现优化、有计划的预分配和延迟处理策略以及适度封装策略等。性能测试数据表明，OnceStAXParser的吞吐量比SunSJSXP平均高5％，比BEAStAXRI平均高38％。

一种面向服务的网格工作流调度算法

郭文彩杨扬

计算机科学. 2006, 33 (6): 132-134.

摘要 ( 92 )

PDF(234KB) ( 316 )

相关文章 | 多维度评价

面向服务的网格工作流的研究已成为网格领域的研究热点。由网格服务：组成的工作流（GSF）的调度问题是一个典型的NP问题，由于遗传算法具有并行性和全局解空间搜索的特点，非常适合解决这个问题。因此，本文首先给出GSF的GA定义，然后提出基于遗传算法的网格服务工作流调度算法GSFGA，并通过应用实例验证了该算法优于传统的调度算法，作为结论本文指出了下一步的研究工作。

用着色Petri网建模工作流模式

闻立杰王建民孙家广

计算机科学. 2006, 33 (6): 135-139.

摘要 ( 81 )

PDF(352KB) ( 457 )

相关文章 | 多维度评价

工作流模式指在工作流过程模型中反复出现的过程基本构造，是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准，目前市场上的工作流引擎对其支持得并不好。本文重点阐述了基于着色Petri网的工作流建模语言对当前流行的20种工作流模式的支持情况。结果表明，该语言不仅能很好地支持全部模式，而且具有建模简洁、准确的特点。同其它建模语言相比，用着色Petri网建模工作流模式具有较好的灵活性和扩展性。它也为如何使基于着色Petri网的工作流引擎能够正确、有效地支持全部20种工作流模式提供了有意义的指导。

安全隐写系统的信息理论分析

计算机科学. 2006, 33 (6): 140-142.

摘要 ( 80 )

PDF(211KB) ( 482 )

相关文章 | 多维度评价

本文采用信息论的观点对信息隐藏系统做了分析，给出了评价一个安全隐写系统的一般思路。介绍了用香农熵和相对熵来定义安全隐藏系统的方法，并对两种方法作了比较。得出了设计一个安全隐藏系统应注意的几个问题。

缓冲区溢出脆弱性检测和预防技术综述

计算机科学. 2006, 33 (6): 143-147.

摘要 ( 92 )

PDF(450KB) ( 464 )

相关文章 | 多维度评价

利用缓冲区溢出脆弱性进行攻击，是网络攻击中最常见和最危险的攻击方法。为解决缓冲区溢出脆弱性问题，在研究和商业领域提出了各种各样的方案。本文首先将缓冲区溢出脆弱性检测和预防技术划分成9大类；然后研究了每一类技术的原理、特性、适用范围和优缺点等；最后分析讨论了整个缓冲区溢出脆弱性检测和预防技术。

一个新的基于DCT的自适应数字水印算法

计算机科学. 2006, 33 (6): 148-149.

摘要 ( 76 )

PDF(238KB) ( 275 )

相关文章 | 多维度评价

本文提出了一个利用DCT系数的关系来进行水印嵌入和提取的算法。该算法利用人类视觉系统HVS的特点，通过巧妙调整DCT系数之间的相互关系来嵌入水印．从而使得图像在嵌入一个比较稳健的水印后的视觉失真尽可能最小。水印提取不需要原始图像。实验结果表明本算法的图像保真度较好，并对JPEG压缩、剪切等常见的图像处理方法具有较好的稳健性，并优于文献上的相关算法。

合同网协议中的Agent可信度模型

赵新宇林作铨

计算机科学. 2006, 33 (6): 150-153.

摘要 ( 108 )

PDF(389KB) ( 276 )

相关文章 | 多维度评价

针对经典的合同网协议（CNP），提出非合作型多agent系统环境下自私agent的可信度模型。为追求利益最大化，自私agent在自己能力不足的情况下仍有可能对宣布的任务进行投标。通过引入可信度模型，在对标书进行评价时将结合自私agent投标过程的历史记录进行决策，从而减少因自私agent能力不足而多次协商导致系统性能下降、任务完成质量不高等缺点。为说明可信度模型的性质，在JATLite平台上实现了基于可信度模型的合同网交互协商过程，并进行了对比实验。实验结果表明，基于可信度模型的agent协商策略在保证任

基于有色网的多Agent计划建模

杜卓敏何炎祥

计算机科学. 2006, 33 (6): 154-157.

摘要 ( 92 )

PDF(303KB) ( 256 )

相关文章 | 多维度评价

有色网能够描述资源和操作的具体语义。首先，由于计划中的操作和状态的个数的有限性，与有色网的元素个数有限性约束完全一致。另外，计划中的动作与有色网中的变迁语义类似，以及计划中的操作和状态和有色网中的库所语义非常类似。因此，有色网应用到计划的形式化中，有其独特的优势。本文根据约定的前提条件，计划建模从操作、状态和交互3个方面来具体实现，并给出了建模方法。计划的规范描述、有效性验证以及计划的模拟都可以直接应用经典Petri网或有色网的理论技术。

一种基于蚁群优化算法的旅行Agent问题求解

计算机科学. 2006, 33 (6): 158-160.

摘要 ( 69 )

PDF(251KB) ( 330 )

相关文章 | 多维度评价

旅行Agent问题解决移动Agent在不同主机间移动时如何规划最优的迁移路线，是复杂的组合优化问题。蚁群算法作为一种新的生物进化算法，具有并行、正反馈和启发式搜索等特点。本文在蚁群算法的基础上，通过修改它的信息素轨迹更新规则，并引入自适应的信息素挥发系数，来求解旅行Agent问题。实验结果表明了本文算法的可行性。

求解TSP问题的模糊自适应粒子群算法

郭文忠陈国龙

计算机科学. 2006, 33 (6): 161-162.

摘要 ( 115 )

PDF(219KB) ( 423 )

相关文章 | 多维度评价

由于惯性权值的设置对粒子群优化（PSO）算法性能起着关键的作用，本文通过引入模糊技术，给出了一种惯性权值的模糊自适应调整模型及其相应的粒子群优化算法，并用于求解旅行商（TSP）问题。实验结果表明了改进算法在求解组合优化问题中的有效性，同时提高了算法的性能，并具有更快的收敛速度。

含有非独立型触发环的主动规则集归约算法研究

计算机科学. 2006, 33 (6): 163-167.

摘要 ( 68 )

PDF(393KB) ( 274 )

相关文章 | 多维度评价

可终止性判定问题是主动数据库的一个核心问题。现有的研究工作提出了运用触发图和活化图的方法解决这个问题，其中的一个关键技术就是利用归约算法对主动规则集进行归约。已有的计算方法对一些可归约规则无法识别。本文提出了独立型触发环、非独立型触发环、活化路径、禁止活化环、禁止活化规则等概念。基于这些概念，提出了一个新的归约算法，从而可识别出更多的可归约规则。

非限定的概念获取表征重述方法

计算机科学. 2006, 33 (6): 168-171.

摘要 ( 87 )

PDF(283KB) ( 305 )

相关文章 | 多维度评价

基于知识的问题求解需要一个丰富而相对完备的概念系统，尤其是当任务具有领域非限定特征时。本文以认知心理学领域的表征重述模型为理论基础，提出了一种基于对象表征的概念系统表征与发展方法，详细研究了概念在4种不同水平下的表征和发展过程。该研究突破了人工智能和认知心理学领域在这一问题研究上的局限性，有助于提高基于知识的系统的推理能力和问题求解能力。

核函数的性质及其构造方法

计算机科学. 2006, 33 (6): 172-174.

摘要 ( 134 )

PDF(261KB) ( 2398 )

相关文章 | 多维度评价

支持向量机是一项机器学习技术，发展至今近10年了，已经成功地用于模式识别、回归估计以及聚类等，并由此衍生出了核方法。支持向量机由核函数与训练集完全刻画。进一步提高支持向量机性能的关键，是针对给定的问题设计恰当的核函数，这就要求对核函数本身有深刻了解。本文首先分析了核函数的一些重要性质，接着对3类核函数，即平移不变核函数、旋转不变核函数和卷积核，提出了简单实用的判别准则。在此基础上，验证和构造了很多重要核函数。

基于不可约元的概念格属性特征识别方法

计算机科学. 2006, 33 (6): 175-178.

摘要 ( 95 )

PDF(255KB) ( 292 )

相关文章 | 多维度评价

形式概念分析是数据挖掘与知识获取的一种有效的数学工具。概念格作为形式概念分析的一个核心内容，刻画了对象和属性之间的内在联系。基于概念格中外延、内涵闭系统中不可约元的性质，本文研究了概念格理论中的属性分类问题，给出了一种属性特征的识别方法。这种方法不仅揭示了交不可约元与属性特征的关系，同时为知识约简提供了一种新的途径。

基于粗糙集理论的概念格属性约简及算法

计算机科学. 2006, 33 (6): 179-181.

摘要 ( 78 )

PDF(185KB) ( 314 )

相关文章 | 多维度评价

粗糙集理论在数据分析中善于解决约简冗余属性与对象、寻求最小属性集等问题，而约简概念格是形式概念知识表示中解决复杂性的重要途径。用粗糙集的方法重新认识形式概念及概念格，并把二者有机地结合起来，为概念格的约简提供了一个新的思路和方法。本文就这些问题做了一些基本的研究。

不完备模糊决策信息系统的粗集模型与精度约简

计算机科学. 2006, 33 (6): 182-185.

摘要 ( 65 )

PDF(273KB) ( 235 )

相关文章 | 多维度评价

在不完备信息系统和模糊决策信息系统概念及其粗集模型的基础上，本文提出了不完备模糊决策信息系统的概念，给出了不完备模糊决策信息系统的粗糙集模型，它既不同于不完备近似空间上的信息系统又不同于完备空间上的模糊决策信息系统。该模型是完备模糊决策信息系统和经典决策信息系统粗糙集模型的推广。文中还给出了系统的精度约简概念及其约简算法。

模糊加权中值滤波器

计算机科学. 2006, 33 (6): 186-187.

摘要 ( 62 )

PDF(177KB) ( 313 )

相关文章 | 多维度评价

本文介绍了一种模糊加权中值滤波器，该滤波器由模糊布尔函数和滤波加权确定。本文用S型函数逼近模糊布尔函数。此外，用模糊理论领域中使用的S型函数逼近所滤波的加权。模糊加权中值滤波器只由4个参数确定。所提出的滤波在均方误差准则下能够由最小均方算法导出。图像复原的实验结果表明，本文介绍的模糊加权中值滤波方法既能去除脉冲噪声和平滑高斯噪声，又能同时有效地保持边缘和图像细节，漠糊加权中值滤波器明显优于加权中值滤波器，也优于Wiener滤波器。

基于SOAP的软件人通信模型研究

计算机科学. 2006, 33 (6): 188-191.

摘要 ( 73 )

PDF(310KB) ( 250 )

相关文章 | 多维度评价

对比了两种常用智体通信语言KQML和FIPA-ACL，确定软件人的通信语言采用FIPAACL，从而实现与分布在世界各地的多智体系统之间能够互操作，即相互通信和交流信息。同时提出了软件人通信层；欠结构和交互模型。然而，目前FIPA消息不能穿越防火墙，极大地制约了不同Agent平台之间的互操作性，因此提出使用简单对象存取协议（simple Object Access Protocol）作为新的传输协议，该协议可以穿越防火墙FIPAACL的规范，但未完整地涉及安全问题，因此同时通过扩展SOAP解决软件人通信的安

状态自动机支持的环境感知应用框架研究

俞兆安张申生张勇童红霞

计算机科学. 2006, 33 (6): 192-194.

摘要 ( 87 )

PDF(352KB) ( 299 )

相关文章 | 多维度评价

环境感知是普及计算中一个重要的研究领域。为了便于开发环境感知应用程序，许多研究者已经提出了一些环境感知应用框架。然而，目前的一些环境感知应用框架侧重于让应用程序直接订阅或查询相关的环境信息，使得开发者需要关注众多的环境信息且要定义许多相似的规则来区分众多不同的操作，造成了开发和修改环境感知的应用程序仍存在着较多的困难。为解决这些问题，本文在研究环境感知应用框架的基础上，引入了信息空间环境状态的概念，提出了一种基于状态自动机的环境感知改进框架BS-CTK，并设计和实现了相应的组件以支持基于状态自动机的环境感

基于EM的隐马氏过程随机迭代算法及其在生物序列启动子识别中的应用

计算机科学. 2006, 33 (6): 195-199.

摘要 ( 72 )

PDF(387KB) ( 375 )

相关文章 | 多维度评价

随着后基因组时代的到来，如何去揭示序列背后隐藏的生命信息已成为当前生命科学探讨的主题。而控制基因表达的正是启动子序列，如何去识别和预测序列的启动子区域是基因研究的重点课题。隐马尔可夫模型是最近几年研究基因最主要的模型。本文首先探讨了EM算法并提出了随机迭代算法，在初始状态分布和散发矩阵都随机假设，而转移矩阵由序列计算出的奈件下时人类启动子序列进行识别，平均识别率达到了92．05％。改进了多分类问题中的“投票策略”，提出了“一票决定”算法，使算法次数由O（N2）降到了O（N），由此对多个DNA家族进行分类，

HNC问答处理系统关键算法研究

计算机科学. 2006, 33 (6): 200-202.

摘要 ( 74 )

PDF(343KB) ( 255 )

相关文章 | 多维度评价

HNC问答处理系统是一种崭新的问答处理模式，与传统的问答处理系统相比，它把对语言的处理深入到语言概念空间中进行，以求尽可能地减少语言中的同义和多义模糊。本文在介绍HNC问答处理系统整体构架的同时，设计和实现了问答系统中的3个关键算法，服务于问答系统的不同阶段处理需要。实际应用表明，在这些算法指导下的HNC问答处理系统具有良好的问题处理能力。

Wu—Manber算法性能分析及其改进

陈瑜陈国龙

计算机科学. 2006, 33 (6): 203-205.

摘要 ( 87 )

PDF(257KB) ( 852 )

相关文章 | 多维度评价

在模式匹配中，多模式匹配算法越来越受到人们的关注。本文首先介绍了一些著名的多模式匹配算法，重点介绍了Wu—Manber算法的基本概念及其实现原理，此算法在实践应用中是最有效的。然后提出了对Wu-Manber算法的改进，以解决多模式串长度很短时出现的性能问题。最后，实验数据表明，改进后的Ww-Manber算法，其性能远远优于传统的Wu-Manber算法。

基于FP-参考树／表的频繁模式挖掘算法

石巍傅彦

计算机科学. 2006, 33 (6): 206-209.

摘要 ( 80 )

PDF(292KB) ( 355 )

相关文章 | 多维度评价

通分析FP-growth算法中包含的冗余操作，引入数据结构FP参考树／表，改变FPgrowth算法中条件模式基的存储和生成方式，提出了新的FPRSG算法，高效地解决了频繁模式挖掘问题。理论分析与实验结果表明，FPRSG算法优于FPgrowth算法。

基于知识网格的数据挖掘

魏定国彭宏

计算机科学. 2006, 33 (6): 210-213.

摘要 ( 102 )

PDF(354KB) ( 364 )

相关文章 | 多维度评价

工业、科学、商务等领域的数据通常分布在不同的地方，需要在不同的地点对其进行分布式维护。只有使用计算功能超强的分布式、并行处理系统才能分析这些领域所产生的超大规模数据集。网格为分布式知识发现应用中的计算提供了有效支持。为了在网格上进行数据挖掘的开发，本文提供了一个称之为知识网格的系统，讨论如何应用知识网格设计实施数据挖掘应用，并说明如何搜索网格资源、编制软件和数据组件，以及数据挖掘应用在网格上的执行过程。

基于协商的智能排课系统的研究

计算机科学. 2006, 33 (6): 214-217.

摘要 ( 56 )

PDF(340KB) ( 265 )

相关文章 | 多维度评价

多Agent系统作为近年来人工智能领域中的研究热点已在多个应用领域中取得了许多研究成果。多Agent系统便于建模和实现复杂、庞大的应用系统，是一种新的软件开发范例。本文提出了一种基于协商的智能排课系统框架就是以高校排课为应用背景来研究多Agent系统中的理论和技术实现问题。研究通过在多Agent之间的协商使得排课系统能够兼顾教师的意愿，提高教师满意度。本文首先介绍一下排课的基本问题；其次介绍研究提出的基于协商的排课系统的构架，说明多Agent系统中不同Agent的任务；然后给出系统的流程设计；讨论协商在系

两阶段求线性规划最优可行解的实现方法

陈应祖万新朱建芳彭军

计算机科学. 2006, 33 (6): 218-220.

摘要 ( 76 )

PDF(247KB) ( 429 )

相关文章 | 多维度评价

本文对两阶段求线性规划最优可行解的矩阵运算方法作了详实的分析，采用求解矩阵的构造方法、退化可行解的处理方法以及对矩阵行向量和列向量的调整方法，增强求解的可靠性。用算例对程序求线性规划的最优可行解、无界解和无可行解的准确性进行了测试，表明实现方法正确、求解准确。

一种三维表面重构中的轮廓集拼合新方法

计算机科学. 2006, 33 (6): 221-224.

摘要 ( 100 )

PDF(237KB) ( 334 )

相关文章 | 多维度评价

针对切片级三维表面重构中的难点，提出了一种拼合轮廓集的新方法：通过对待拼合的轮廓集首尾轮廓进行平面三角剖分方向的判别，将空间轮廓集拼合的三维问题转化为平面多连通域三角剖分的二维问题，并改进了现有的平面多连通域三角剖分算法，巧妙地解决了切片级重构中的轮廓分支对应问题。实验表明，谊方法能准确完成复杂轮廓集的表面拼合，具有良好的适应性。

一种分层的和多分辨的镜头边界检测方法

韩冰高新波姬红兵

计算机科学. 2006, 33 (6): 225-231.

摘要 ( 152 )

PDF(538KB) ( 359 )

相关文章 | 多维度评价

提出了一种分层的和多分辨的镜头边界检测方法。该方法对各种不同的镜头间过渡类型给出了用不同方法进行联合检测的方案，该方案主要分为突变镜头检测（即视频切分），淡化过渡检测、溶解过渡检测及划变过渡检测4个部分。检测方案并不是简单地将各种方法拼接在一起，而是通过小波变换的多分辨分析将它们有机地结合起来，相互关联，达到有效检测结果。首先用FCM聚类算法进行视频切分，然后根据聚类结果分别在整数小波分解后的高频部分用Gaussian加权Hausdorff距离结合边界改变率算法检测淡化过渡；对分解后的低频部分用所提出的S

小波基和图像分解层数对不同类型图像EZW算法的性能的影响

计算机科学. 2006, 33 (6): 232-235.

摘要 ( 133 )

PDF(375KB) ( 358 )

相关文章 | 多维度评价

嵌入式零树小渡（EZW）编码方法是一种简单而高效的图像编码算法。影响EZW算法性能的因素有很多，本文主要从图像类型、小渡基和小波分解层数这3种因素出发通过大量的实验数据对它们对EZW算法性能的影响进行了比较，并通过对实验结果的分析与讨论，获取了相关的一些结论。这些结论将有助于更好地发挥EZW算法的性能，同时对在EZW基础上发展起来的改进算法的使用也具有一定的指导作用。

一种基于SVD协方差加权技术的光流估计算法

侯云舒张艳宁赵荣椿

计算机科学. 2006, 33 (6): 236-238.

摘要 ( 106 )

PDF(225KB) ( 279 )

相关文章 | 多维度评价

本文以经典的L-K光流方程为出发点，提出了一种高效的基于SVD协方差加权的光流估计算法，并成功应用到柔性目标点跟踪中，有效地解决了传统L-K算法的孔径问题、深度不连续点的估计和长序列视频的漂移问题。基于标准测试序列的试验结果，证明该算法能有效地跟踪较长视频序列中具有2D和lD甚至基本没有纹理的具有退化结构的柔性目标点，同时结果还可以作为半稠密的点对应来解决SFM问题中的一个关键难题correspondence。

改进四点细分法及其应用

赵宏庆彭国华叶正麟

计算机科学. 2006, 33 (6): 239-241.

摘要 ( 127 )

PDF(257KB) ( 250 )

相关文章 | 多维度评价

对经典的四点细分格式进行推广，提出了可通过对形状参数的适当选择来实现对极限曲线形状调整和控制的四参数四点细分曲线造型方法，并把该方法扩展到曲面上，对其连续性和收敛性进行了分析。把四参数四点细分法运用于山地模拟，由于其中四个参数选取的灵活性，可对生成的地形形状进行适当的调整，生成比较丰富的地貌形状。细分方法具有多尺度特点，所以可对地貌进行细节描述。试验证明能够较好地生成模拟山地地形，为山地地形模拟仿真提供了一种有效的方法。

面向体系结构的可视化服务集成开发环境Artemis-VIDE

计算机科学. 2006, 33 (6): 242-246.

摘要 ( 67 )

PDF(458KB) ( 285 )

相关文章 | 多维度评价

为支持直观易扩展的软件服务集成和所集成之应用系统的动态演化，本文提出了一个面向体系结构的可视化服务集成开发环境。该环境支持以图形化的方式定义系统的软件体系结构及相关协同逻辑，并据此生成内置于应用系统之中的运行时刻体系结构对象，作为应用系统运行和演化的基础。该环境还集成了服务搜索、基于图文法的体系结构检查等功能，为系统的开发、运行、监控和动态演化提供了一个一致、易用、可扩展的支撑平台。

基于特征精化的产生式编程方法研究

卓威顾明

计算机科学. 2006, 33 (6): 247-250.

摘要 ( 75 )

PDF(314KB) ( 283 )

相关文章 | 多维度评价

针对当前产生式编程方法不能有效地应用于复杂软件系统（如信息系统）的开发，不能在分析和设计的层次上复用软件等问题，本文提出了一种基于特征精化的产生式编程方法，基本思想是首先使用特征模型（Feature Model）描述领域内的概念和特征，然后使用特征精化的方法将特征精化为基本特征，用基本特征和之间的关系说明特征是如何实现的，最后将基本特征映射为组件，根据系统的特征模型组装组件，构建整个软件系统。基于特征精化的产生式编程方法是建立在特征和组件的基础上的，适用于信息系统类软件的开发。

基于复用的软件过程改进方法

计算机科学. 2006, 33 (6): 251-254.

摘要 ( 68 )

PDF(339KB) ( 281 )

相关文章 | 多维度评价

本文从改善CMM的实施和提高过程控制能力入手，给出一个基于复用的软件过程改进框架，该框架将复用技术应用于软件过程改进与控制中，将当前模型驱动的自顶向下的过程改进模式与度量驱动的自底向上的过程改进模式有机整合，它由组织层面的持续过程改进（大循环）嵌套项目层面的过程不断调整与优化（小循环）构成。以CMM为基础，定义了实施新的过程改进方法的组织与角色。设计一个支持过程复用的软件过程及项目管理支持系统。

基于软件抗衰的分布式负载均衡策略

计算机科学. 2006, 33 (6): 255-259.

摘要 ( 56 )

PDF(422KB) ( 250 )

相关文章 | 多维度评价

随着网络的迅速发展，服务器集群技术得到了广泛的应用，对负载均衡策略的研究也变得越来越必要，但当前的分布式负栽均衡策略始终存在性能和开销不能兼顾的问题。本文将软件抗衰思想引入负载均衡策略设计，根据系统内的均衡程度来确定均衡过程的起止时机，在一定程度上解决了这一矛盾。文内给出了相应的实现算法。

异构计算中一种图的非均衡划分算法

计算机科学. 2006, 33 (6): 260-263.

摘要 ( 66 )

PDF(363KB) ( 328 )

相关文章 | 多维度评价

现有的图的划分算法大多是均衡划分，要求划分块的权值相等，划分块之间的连接代价尽量最小。但是在异构计算环境中，不同的处理机的计算能力不尽相同，从而在并行任务调度时所分配的计算任务量也应随之不同。所以为了适应更广泛意义上的异构负栽均衡，本文提出了异构计算中的一种任务图的非均衡划分算法。该算法根据任意给定的需求，使得划分好的各个子集权值不均等。其中划分子集的个数等于异构环境中处理机的个数，各子集的大小比例于不同处理机的计算能力。算法包括3步：粗化阶段、非均衡划分阶段以及精化还原阶段。本文通过用格林威治大学提供的

商业构件评价与选择方法研究

计算机科学. 2006, 33 (6): 264-266.

摘要 ( 65 )

PDF(323KB) ( 242 )

相关文章 | 多维度评价

在基于商业构件（COTS）的软件开发中，构件的评价与选择是贯穿整个开发过程的关键步骤。有两类典型的基于COTS的系统，即COTS方案系统和COTS密集型系统。本文首先描述了针对COTS方案系统的单构件评价问题的特点，并对各种评价方法进行了分析、对比。然后将COTS密集型系统的多构件选择问题定义为一个在给定的约束条件下求解最佳构件组合的数学优化问题。最后给出了该优化问题的形式描述及其相应的求解方法。

基于过程蓝图的程序环路复杂性度量方法

计算机科学. 2006, 33 (6): 267-269.

摘要 ( 77 )

PDF(311KB) ( 373 )

相关文章 | 多维度评价

提出一种基于过程蓝图的程序环路复杂性度量实现方法。将传统基于程序控制流图的度量信息抽取变为对过程蓝图的实现层表示-抽象实现结构图的信息抽取，避免程序源代码的语法分析和控制流图的构造，简化度量过程和实现，并提高度量处理的效率。

微重启技术及适毁性软件设计研究

朱岩王慧强

计算机科学. 2006, 33 (6): 270-273.

摘要 ( 121 )

PDF(364KB) ( 258 )

相关文章 | 多维度评价

微重启是一种新型的针对大型分布式应用软件系统的低损耗、快速恢复技术，本文详细介绍了微重启的技术原理和实施策略，并通过一个应用实例介绍了微重启技术的应用过程，其中重点描述了微重启树的优化过程。而适毁性软件设计思想的实质是使系统具有安全高效的“可微重启性”。本文分析并总结了满足适毁性的应用系统特性，根据微重启的技术特点给出了应用改进方向，最后对技术存在的问题和发展前景进行了总结。

高效DOM实现的技术研究

郭红艳杨波金蓓弘

计算机科学. 2006, 33 (6): 274-277.

摘要 ( 82 )

PDF(319KB) ( 305 )

相关文章 | 多维度评价

DOM是目前为止唯一成为W3C正式标准的XML解析模型。本文充分考虑了DOM模型的特点，设计并实现了一个高性能的支持DOM的XML解析器：OnceDOMParser。为了提高DOM实现的性能，我们采用用户堆提高对象管理的效率，减少对象在JVM中创建的数量，并采取了数据的延迟装载策略。OnceDOMParser经过了严格的XML兼容性测试和DOM API兼容性测试，多方面的性能测试表明OnceDOMParser性能优越，其平均吞吐量比目前最流行的XML解析器Xerces高43．7％左右。

一个基于Windows和PVM的Beowulf机群系统的设计与性能分析

计算机科学. 2006, 33 (6): 278-279.

摘要 ( 60 )

PDF(233KB) ( 367 )

相关文章 | 多维度评价

具有良好性价比的Beowulf机群系统在并行计算领域得到越来越广泛的应用。论文介绍了在Windows 2000 Server操作系统下基于PVM3．4beta6环境构造一个Beowulf机群系统的方法。利用一个并行算法实际测试了该Beowulf系统的并行计算加速比和并行效率。结果表明该Beowulf系统具有很高的并行计算效率和性价比。

UML-RT到一个图形设计环境体系结构的映射

计算机科学. 2006, 33 (6): 280-283.

摘要 ( 64 )

PDF(316KB) ( 344 )

相关文章 | 多维度评价

为解决把UML-RT建模模型平滑过渡到实时系统的图形化的软构件设计开发环境的设计模型，本文提出了从UML-RT的结构模型映射到该环境下的体系结构模型的高层设计的映射方法。首先介绍UML-RT结构建模的概念及笔者研制的设计环境，其次给出从UML-RT映射到该设计环境体系结构模型的具体方法、约束和限制。

基于UML状态图的面向对象软件测试用例生成

计算机科学. 2006, 33 (6): 284-286.

摘要 ( 65 )

PDF(290KB) ( 392 )

相关文章 | 多维度评价

本文提出了一种基于UML状态图的测试用例生成方法，生成较少但有效的测试用例，便于实现自动化测试。测试用例从状态图中的转换（转换路径）中产生，一个用例代表了一条转换路径。对深度优先算法进行改进后，给出了从UML模型视图的状态图中获得测试用例的算法，该算法从状态图中的初始状态到终止状态进行遍历，可以得到所有的转换路径，根据循环复杂度来得到状态图的基本路径的最大数量，即测试用例的最小数量。

基于消息中间件的持久状态服务扩展模型

曾一粱宝兰刘元勇

计算机科学. 2006, 33 (6): 287-290.

摘要 ( 86 )

PDF(280KB) ( 285 )

相关文章 | 多维度评价

本文提出了一个基于消息中间件的持久状态服务的扩展模型。与原持久状态服务不同的是本扩展模型增加了缓存管理，而且它是建立在基于内容订阅方式的消息中间件之上的。它不但移去了原持久状态服务频繁访问存储器而产生的瓶颈问题，而且以一种松散耦合的方式实现了在分布式信息系统中的持久对象数据的共享。

二次同余序列构造规则LDPC码

计算机科学. 2006, 33 (6): 291-292.

摘要 ( 74 )

PDF(211KB) ( 439 )

相关文章 | 多维度评价

本文提出了二次同余序列构造规则LDPC码的方法。该种方法可以通过确定的方式构造编码器，在实现中大大节省了存储空间。仿真结果表明该种方法能达到随机方法生成的不存在四线循环的LDPC码的性能。

基于网格计算的远程教育系统模型的研究

计算机科学. 2006, 33 (6): 293-295.

摘要 ( 82 )

PDF(247KB) ( 249 )

相关文章 | 多维度评价

网络远程教育是一种全新的知识传播方式和实现全民教育的有效手段。现在网络上的教育资源越来越多，且在地理上是分布的，运行平台上是异构的，因此彼此间不能有效地进行共享。利用网格技术，就可以实现远程教育资源的一体化集成、共享和管理，提高远程教育资源的使用效率。本文将网格技术与远程教育结合起来，提出了基于网格计算的远程教育系统模型，并针对该模型设计了在网格环境下对广域异构的远程教育信息资源进行统一访问的解决方案。