计算机科学

UML 2．0述评

马浩海邵维忠麻志毅

计算机科学. 2004, 31 (7): 1-4.

摘要 ( 86 )

PDF(259KB) ( 393 )

相关文章 | 多维度评价

在经过4年之久的修订过程之后，OMG采纳了UML 2．0。本文首先介绍了UML 2．0的修订背景和提案需求；然后分别介绍了UML 2.0规范的主体部分：基础结构和上层结构的修订特点，进而总结了UML 2.0基础结构的设计目标和体系结构，归纳了上层结构的设计目标、体系结构组织，着重于比较UML 1．X和2．0在模型构造能力上显著增强的部分；最后针对UML 2．0规范及对其存在的问题给出了一些评述，这些可以作为今后相关研究工作的框架。

可信计算研究的初步探疑

周明辉梅宏

计算机科学. 2004, 31 (7): 5-8.

摘要 ( 78 )

PDF(239KB) ( 340 )

相关文章 | 多维度评价

当计算发展到一定成熟阶段，可信需求显得迫切而关键。本文分析了当前学术界和工业界在可信计算方面的认知和作为，并以此为基础研完了可信计算的内涵，对在Internet环境下提供软件可信性保障所需解决的问题进行了探讨，为我们下一步将要开展的工作莫定基础。

电子数据证据收集系统保护机制及其发展趋势

孙波纪建敏孙玉芳梁彬

计算机科学. 2004, 31 (7): 9-11.

摘要 ( 82 )

PDF(183KB) ( 313 )

相关文章 | 多维度评价

随着计算机犯罪的不断增加，电子数据取证技术(Digital Forensic Technologies)越来越受到人们的重视。目前对计算机取证技术的研完主要集中于证据提取及证据分析等方面，然而对取证机制本身的安全没有考虑，这使得电子数据证据的完整性得不到充分的保障。本文对取证机制保护的相关研完工作进行了分析，并且讨论了该领域尚存的问题及今后的研完方向。试图为今后进一步研完取证系统保护机制提供理论及实践的依据。

数字权限表达语言综述

李慧颖赵军翟玉庆瞿裕忠

计算机科学. 2004, 31 (7): 12-15.

摘要 ( 71 )

PDF(226KB) ( 411 )

相关文章 | 多维度评价

Internet已成为数字内容递送的重要场所。建立Internet环境下数字内容知识产权相关的控制管理机制，对促进数字内容市场的发展具有重要的意义。本文的主要工作是从模型角度分析权限表达语言，分别介绍当今主流的权限表达语言，如可扩展的权限标记语言(eXtensible rights Markup Language，XrML)、权限表达语言／权限数据词典(Rights Express Language／Rights Data Dictionary，REL／RDD)和开放数字权限语言(Open Digital

跨语言信息检索研究进展

张俊林曲为民杜林孙玉芳

计算机科学. 2004, 31 (7): 16-19.

摘要 ( 82 )

PDF(244KB) ( 493 )

相关文章 | 多维度评价

随着互联网资源的多语言性和用户所使用语言的日益多样性，跨语言信息检索成为越来越重要的研究领域。本文介绍了该领域为解决语言问的翻译障碍而研究的各种解决方法并且对汉英跨语言信息检索所面对的独特难点进行了分析，同时本文对国际上重要的跨语言信息检索系统评测会议进行了简单介绍。

基于时间约束的认证字典分类方法

周永彬卿斯汉薛源刘娟

计算机科学. 2004, 31 (7): 20-22.

摘要 ( 77 )

PDF(177KB) ( 313 )

相关文章 | 多维度评价

认证字典是一类重要的数据结构，它在众多研究领域郝具有重要的理论和应用价值，诸如科学数据挖掘、地理数据服务器、Internet上的第三方数据发布以及PKI中的证书撤销等。本文介绍了认证字典的基本概念与原理；首次在认证字典模型中引入了时间约束，并据此给出了一种新的认证字典分类方法，探讨了认证字典的实现技术。最后，简要讨论了认证字典在PKI／WPKI中的应用。

染色问题的网络特性

朱孟潇蔡庆生

计算机科学. 2004, 31 (7): 23-25.

摘要 ( 118 )

PDF(230KB) ( 379 )

相关文章 | 多维度评价

染色问题是约束满足问题的一个经典问题，通过分析染色问题的经典实例，发现染色问题具备复杂网络中常见的“小世界”特性，即染色问题所构成的网络中，任意两个节点之间的平均路径长度很小，整个系统呈现出高聚集度的特性，以及节点度的特异分布，这些特性是随机图所不具备的，因此，以随机图做染色问题测试集的传统方法是不完善的，在实验中同时发现，染色问题中最小染色数的大小与系统聚集度的大小密切相关，随聚集度的增大，呈指数关系增大。

基于语义路由的P2P系统综述

刘业杜庆伟杨鹏

计算机科学. 2004, 31 (7): 26-28.

摘要 ( 103 )

PDF(181KB) ( 385 )

相关文章 | 多维度评价

介绍了P2P系统的发展状况，归纳了典型的结构化P2P系统模型，对结构化P2P系统中的节点拓扑结构、语义路由算法、数据存储和共享、应用层多播等热点问题进行了讨论，介绍了非结构化P2P系统的语义路由过程，总结了当前主要的基于语义路由P2P系统的优缺点，并据此提出了该领域的发展趋势。

生物网络无线框架的设计及其关键技术

皋磊丁永生张向锋任立红

计算机科学. 2004, 31 (7): 29-32.

摘要 ( 70 )

PDF(274KB) ( 285 )

相关文章 | 多维度评价

无线计算环境将成为未来Internet的不可缺少的重要构成部分，本文在生物网络框架中对其提供了支持，并详细给出了实现生物网络平台中：(1)异步迁移及其策略；(2)无线环境QoS自适应；(3)无线安全认证这三个无线支持关键技术的方法。通过这些技术，生物网络平台可突现出安全的、可信的、能自适应于无线计算环境的服务和应用。同时，这些关键技术的解决也为利用移动对象在分布式环境下实现灵活的服务提供了一种新的解决思路。

基于LER支配集的MPLS网络拓扑聚合策略

杨宗凯马娅婕谭贤四何建华

计算机科学. 2004, 31 (7): 33-34.

摘要 ( 92 )

PDF(169KB) ( 325 )

相关文章 | 多维度评价

MPLS技术通过建立标签交换路径(LSP)，并对具有不同转发等价类的数据流分配标签进行转发。聚合可以减少LSP的建立和维护开销，对于网络的扩展性具有重要的意义。本文提出了一种基于标签边界路由嚣(LER)支配集的拓扑聚合方案，采用分布式LER支配集构造法以减少建立LSP时出口节点的数量，从而在MPLS网络中形成一个聚合的虚拟骨干拓扑，可以对具有不同出1：2LER的LSP进行聚合，达到减少LSP的目的。同时支配LER的冗余性可以作为LSP的保护备份，因此使MPLS网络的具有较好的可扩展性和健壮性。

无线Ad Hoc网络中高效利用能源的QoS路由协议

张文柱李建东王炫

计算机科学. 2004, 31 (7): 35-40.

摘要 ( 74 )

PDF(327KB) ( 324 )

相关文章 | 多维度评价

本文基于无线AdHOC网络的特性，提出了适用于无线AdHOC网络的路由协议CEQRP(Cost-Efficient QoS Routing Protocol)，该协议不仅能为应用层提供QOS保证，而且能充分利用网络中剩余能量高的节点来中转分组．从而达到有效利用节点的电能、提高网络“寿命”的目的。在仿真研完中，我们考虑了在不同虚电路数以及不同QoS要求的情况下，各节点采用CEQRP和QRP(QoS Routing Protocol，选择路由时除不考虑节点剩余电能，其它方面与CE-QRP相同)时的网络性能。结

基于层次化管理的流透明移动IPv6 QoS解决方案

陈阳杨寿保何涛孙伟峰

计算机科学. 2004, 31 (7): 41-44.

摘要 ( 70 )

PDF(235KB) ( 312 )

相关文章 | 多维度评价

针对目前移动IPv6环境下的IntServ／RSVP模型在处理移动节点切按时的不足，本文提出了一种基于层次化移动管理的流透明移动IPv6 QoS模型，简称为HMMFT移动IPv6 QoS模型。这种模型显著地减少了移动节点发给通信节点与家乡代理的绑定更新消息，提高了MIPv6的切换速度，同时基于移动节点的区域转交地址来标识流，实现了域内切换的流透明。本文的最后利用NS2对HMMFT移动IPv6 OoS模型性能的优越性进行了仿真分析。

对等网络中的基本弱公平资源交换协议

周世杰秦志光张险峰刘锦德

计算机科学. 2004, 31 (7): 45-47.

摘要 ( 75 )

PDF(172KB) ( 328 )

相关文章 | 多维度评价

对等计算(P2P)可在Internet或者自组网边界进行计算，从而可提供一种全新的应用模式。从对等计算与公平交换的基本概念入手，讨论了协议中的基本假设，设计了一个适合于对等网络的基本弱公平交换协议(BWFEP)．并对协议的交互过程做了详尽分析。对BWFRP协议公平性的分析结果表明，该协议具有无需可信第三方(TTP)、简单、弱公平性的特点，从而适合于对等网络中用户之间直接资源交换的需要。

IP网络的QoS多播路由问题与解决方法综述

吴小泉冀鑫泉桂志波

计算机科学. 2004, 31 (7): 48-51.

摘要 ( 78 )

PDF(255KB) ( 409 )

相关文章 | 多维度评价

本文在IP网络的QoS模型、加权图模型和QoS度量的基础上，讨论了IP网络QoS多播路由的主要问题及解决方法。文中进一步详细描述了在不同路由规则下相关的路由算法．并对该领域内需要进一步研究的热点问题进行了探索。

Ad Hoc无线网络功率控制综述

王青山张信明马涛唐何

计算机科学. 2004, 31 (7): 52-56.

摘要 ( 196 )

PDF(303KB) ( 455 )

相关文章 | 多维度评价

随着无线通信的日益发展．不需要任何基础设施或集中管理的移动Ad hoc网络正逐渐从军用扩大到民用等诸多领域，如无线办公LAN，家庭设备网络，传感器网络等。灵活方便的无线通信一般由电池供电，但是电池技术的缓慢进步使得电池功率成为移动Ad hoc网络中一种受约束的资源．功率控制问题是一个重要的研完课题。移动Ad hoc网络中功率控制大致可分为三类：传输功率控制、功率路由和低功率模式，本文对此作了总结、阐述。重点是从分层的角度对传输功率控制进行阐述，同时分析了功率控制问题中尚未解决的问题，为进一步的研究提出了新

Web集群请求分配与选择算法性能评价模型的研究

刘安丰陈志刚阎朝坤李登

计算机科学. 2004, 31 (7): 57-59.

摘要 ( 81 )

PDF(250KB) ( 444 )

相关文章 | 多维度评价

请求分配和选择算法是Web集群技术的重要研完内容。本文基于当前世界上在Web集群请求分配与选择算法研完上的主要结果，建立起一个系统的Web集群请求分配与选择算法的性能评价体系，提出了评价指标参数，并详细介绍了Web集群调度模拟器(Web Cluster Schedule Simulator，WCSS)的设计模型和实现方法，最后以作者提出的基于资源优化的调度策略进行了模拟，实验结果较为理想。

基于外置代理技术的网络主动式管理模式研究

陶洋王国梁张静

计算机科学. 2004, 31 (7): 60-62.

摘要 ( 59 )

PDF(169KB) ( 307 )

相关文章 | 多维度评价

为了提高网络管理系统的管理效率和降低资源占用率，以及达到实现现有网络管理协议的优化应用的目的，我们提出了一种基于外置代理技术的网络主动管理模式，深入分析了外置代理及网络主动管理模式的实现技术．并详细阐述了该模式的优越性和可行性。

网格计算系统的安全体系结构模型研究

房向明杨寿保郭磊涛张蕾

计算机科学. 2004, 31 (7): 63-65.

摘要 ( 77 )

PDF(178KB) ( 318 )

相关文章 | 多维度评价

文章首先分析了网计算系统涉及的安全问题，阐述了对其安全机制的考虑。经过剖析当今典型系统Globus实现的网格安全架构解决方案GSI(Grid Security Infrastructure)，在借鉴其长处的基础上，以资源映射与管理为切入点提出了较为灵活全面的网格计算系统安全体系结构模型。然后基于该安全体系结构模型在Globus环境下设计和实现了一个安全方案。文章最后介绍了将要开展的工作。

网络安全的综合风险评估

赵冬梅张玉清马建峰

计算机科学. 2004, 31 (7): 66-69.

摘要 ( 150 )

PDF(232KB) ( 690 )

相关文章 | 多维度评价

本文对网络安全风险评估提出了一种新的综合风险评估方法。采用AHP方法与模糊逻辑法相结合的方法进行风险评估，并根据网络安全风险评估的实际情况对AHP方法与模糊逻辑法进行了改造。应用模糊逻辑法对各因素的评判不是直接评价其重要度，而是将各风险因素从概率方面、从影响方面、从不可控制性方面分别进行评判。先用AHP方法将风险评估分为三层，在确定第三层各风险因素的排序权向量时采用模糊逻辑法。最后利用AHP方法求出各风险因素的综合风险权重。通过实例分析可知，该方法可以方便地用于网络安全风险评估，实验结果符合实际。

一种基于分布式环境的D-OCSP服务模式

苏锐丹容晓峰汪宁周利华

计算机科学. 2004, 31 (7): 70-72.

摘要 ( 62 )

PDF(167KB) ( 361 )

相关文章 | 多维度评价

本文简要地阐述了OCSP的工作原理，并对当前普遍应用的“Trusted OCSP”模式进行了分析，从可扩展性、可用性、安全性三个方面指出该模式所存在的问题．然后提出了一种新的基于分布式环境的D-OCSP服务模式，该模式通过将秘密信息从处于在线状态的RTC应答器中抽取出来，置于处于离线状态的RTCA服务器中，由RTCA针对CA所签发的所有证书的状态列表产生OCSP应答证据集合，并发布给RTC应答嚣，供其在处理依赖方OCSP请求时使用。通过这种方式，D-OCSP服务模式从根本上解决了“Trusted OCSP

基于角色限制条件的用户-角色指派研究

叶春晓符云清吴中福

计算机科学. 2004, 31 (7): 73-76.

摘要 ( 64 )

PDF(268KB) ( 326 )

相关文章 | 多维度评价

URA97和URA02作为两个主要的用户-角色指派模型，得到广泛的应用。但这两个模型的指派先决条件较弱，不能满足一些对用户限制较强情况下的用户角色指派。本文认为同一角色下的不同用户之间存在差异，用户在指派某角色时除了常见的约束外，还要受到其他限制。提出了角色和用户属性概念，定义了角色限制条件角色资格条件，改进了指派先决条件，实现了指派先决条件的统一和更严格的用户角色指派限制。对RBAC96模型做了相应的修改。

基于数字细菌的MP3版权保护

张萍黄均才杨帆李英各余堃周明天

计算机科学. 2004, 31 (7): 77-79.

摘要 ( 87 )

PDF(218KB) ( 387 )

相关文章 | 多维度评价

基于信号分流、小波融合、独立成分分析(ICA)以及数字细茵等技术，提出一种保护MP3音乐产品的知识产权的新方法。首先将声音信号分流，构造两道音乐声音，对其进行L级离散小波分解，将MP3疫苗W同时嵌入到两道声音的小波系数中，然后进行L级小波重构，再通过声音信号合成获得含有MP3疫苗的MP3音乐。提取MP3疫苗时，从两道声音的小波系数中取得MP3疫苗W1和W2，利用独立成分分析，通过无监督神经网络，获得无噪音的MP3疫苗。为保证MP3疫苗的安全，在MP3音乐数据中嵌入MP3疫苗后，MP3疫苗作为隐藏的独立成分

基于混合离散对数的盲签名认证研究

李波邱小平

计算机科学. 2004, 31 (7): 80-83.

摘要 ( 71 )

PDF(216KB) ( 351 )

相关文章 | 多维度评价

本文在分析混合系数的离散对数问题的基础上，提出了一种新的认证，这种认证比因式分解有更好的安全性，而且从证明者角度看来有更高的效率。最后我们得到一个基于信息不可识别性的安全性与因式分解相同的盲签名。

多策略的主题集中式万维网爬虫设计

王超朱炜李俊潘金贵

计算机科学. 2004, 31 (7): 84-86.

摘要 ( 94 )

PDF(213KB) ( 295 )

相关文章 | 多维度评价

万物网搜索引擎的建立、操作和维护需要许多的资源，而且在信息时效性和对特定用户的针对性方面还存在着不稳定性。在“主题集中式万维网爬虫”方面的研究希望通过利用主题减少对信息的爬行范围，同时提高信息的利用率。相关的一些研究者已采用不同的方法进行了主题集中式爬虫的设计。本文讨论了多策略的主题集中式爬虫系统的设计，它具有低网宽消耗和容易执行的特点。实验表明：本系统可综合同页的相关性和重要性两方面的需要，并表现出良好的稳定性。同时，本系统在选择优先战略方面是可调和，有很强的灵活性。

模糊入侵识别引擎的研究与设计

徐慧戚涌张宏刘凤玉

计算机科学. 2004, 31 (7): 87-90.

摘要 ( 65 )

PDF(237KB) ( 360 )

相关文章 | 多维度评价

模糊入侵识别引擎是一个用模糊理论来针对计算机网络的恶意活动的网络入侵检测系统。本文将模糊理论中知识的模糊表示、特征的模糊匹配及模糊推理用于入侵检测中，提出了一种新的模糊入侵识别引擎(IFIRE)。以具有模糊属性的特征元素为最小成份，组成模糊特征因子、模糊特征表达式及模糊特征树来描述具有模糊特性入侵活动特征的知识体系；通过特征因子的相似度计算进行特征的模糊匹配；最后，用基于产生式规则的模糊推理进行检测决策。该方法能有效地降低误报率及漏报率。

一种进程系统调用重复子序列的压缩算法

黄梅荪杨寿保张蕾李宏伟

计算机科学. 2004, 31 (7): 91-93.

摘要 ( 77 )

PDF(174KB) ( 306 )

相关文章 | 多维度评价

以往入侵检测系统中采用的进程检测方法并未对进程系统调用序列中产生的重复子序列进行处理。本文提出了一种进程系统调用重复子序列的压缩算法，在系统调用序列收集过程中找出重复子序列，再将其作为一个整体参与模式的提取与检测。测试表明，对系统调用序列中的重复子序列进行压缩后能有效减少系统调用序列的长度，从而简化模式的学习和检测，提高进程检测的效率。

ONet对象数据库管理系统架构设计

董颖涛陈奇俞瑞钊

计算机科学. 2004, 31 (7): 94-97.

摘要 ( 87 )

PDF(229KB) ( 430 )

相关文章 | 多维度评价

本文主要讨论基于面向对象数据库标准ODMG3．0的数据库管理系统ONet的系统架构设计。介绍了ONet系统的页面服务器和对象服务器相结合的客户端服务器体系结构，和它的对象模式服务器以及对象组件的设计。

网格环境下信息集成框架的设计及其应用

张慧黄刘生张国义李牧雏

计算机科学. 2004, 31 (7): 98-100.

摘要 ( 80 )

PDF(197KB) ( 296 )

相关文章 | 多维度评价

网格是把整个因特网整合成一台巨大的超级计算机，实现资源的全面共享。由于网格跨越不同管理域．因此其信息是分布和异构的，如何快速准确地从这些分布和异构的信息中检索出所需的信息．则需要一个有效的信息集成机制。本文提出了一种基于本体论(Ontology)的信息集成框架，详细研完和分析了这种框架下的信息集成的原理和框架的构成，并给出了其在国家863项目“淮河水资源保护与管理应用网格”中的应用。

传感器网络中的数据融合

毕艳忠孙利民

计算机科学. 2004, 31 (7): 101-103.

摘要 ( 83 )

PDF(237KB) ( 344 )

相关文章 | 多维度评价

传感器网络通常由大量的能量有限的传感器节点组成，利用无线通信技术从各个节点收集信息，在军事监视、环境监测等诸多方面有广泛的应用前景。如何高效利用传感器节点的能量而获得较长的生存时间是传感器网络需要解决的重要问题。数据融合机制利用节点的运算和存储能力，能够减少网络的数据传输量，是高效利用节点能量的机制之一。本文在简单介绍传感器网络的基础上，说明数据融合的作用和分类．重点分析目前提出的主要数据融合机制。

容错视频编码技术研究

胡飞龙庆麟

计算机科学. 2004, 31 (7): 104-106.

摘要 ( 74 )

PDF(231KB) ( 362 )

相关文章 | 多维度评价

本文对容错视频编码技术进行了分类概述。文章首先指出Internet视频通信中容错视频编码的必要性．并对容错视频通信系统的典型结构和基本思想进行了描述。然后文章对近年来出现的容错熵编码、容错预测编码和分层视频编码及区分保护等容错视频编码技术进行了分类介绍。

电子商务中的热点新技术

梁茹冰李吉桂

计算机科学. 2004, 31 (7): 107-109.

摘要 ( 106 )

PDF(241KB) ( 301 )

相关文章 | 多维度评价

电子商务的发展速度是惊人的，文中提及了近几年内出现的关于此领域的热点新技术。分别对XML语言、Agent技术和移动Agent技术、Web服务、本体技术和网格电子商务进行了较为详细的介绍，总结了电子商务系统的软件平台，提出了第三代软件平台是基于Web服务和Agent技术的设想。

基于ASP．net的工作流技术在OA系统中的应用

欧阳李彦

计算机科学. 2004, 31 (7): 110-112.

摘要 ( 63 )

PDF(175KB) ( 294 )

相关文章 | 多维度评价

ASP．net技术是Microsoft．net平台的重要组成部分，这种新的Web应用程序开发技术具有许多优点，基于ASP．net技术，采用合理的开发设计模型就能够得到结构合理、易于维护的Web应用程序解决方案。本文基于工作流的开发方法，用ASP．net技术，结合实际介绍了高校办公自动化系统(OA)的开发应用，并探讨了有关的技术问题，提出了一种用于Web应用程序开发的七层设计模型，从而降低了开发难度，提高了工作效率。

动态编译技术研究

崔慧敏戴桂兰王生原张素琴

计算机科学. 2004, 31 (7): 113-117.

摘要 ( 79 )

PDF(287KB) ( 538 )

相关文章 | 多维度评价

本文从动态编译的概念出发，着重讨论了运行时特定化技术和Just-in-time编译技术；比较全面地总结并评述了具有代表性的动态编译系统及其采用的Profiling技术、重编译技术；并探讨了动志编译技术研究中存在的一些问题及进一步的工作。

迭代式全局指令调度

杨书鑫薛丽萍张兆庆

计算机科学. 2004, 31 (7): 118-122.

摘要 ( 122 )

PDF(292KB) ( 572 )

相关文章 | 多维度评价

基于非线性控制流图的全局指令调度由于非线性控制流的控制流图的复杂性不易计算出一条指令在其所在控制流图中的优先级，因此也不易判断来自不同基本块的指令的优先顺序，从而导致在决定一条指令何时被调度出该指令所在的基本块以及调度到哪儿时倾向于保守和随意。例如D．Bernstein的全局指令调度的启发性方法优先来自这些基本块的指令：调度器当前正在调度的基本块以及与当前基本块控制等价的基本块。然而，这种启发性方法往往导致处在关键路径上的指令被滞后。本文提出的迭代式全局指令调度算法基于D.Bernstein的全局调度算法

基于CMM的CPMS平台的角色定义工具的设计与实现

谈宁韠许平顾庆陈道蓄

计算机科学. 2004, 31 (7): 123-126.

摘要 ( 63 )

PDF(236KB) ( 273 )

相关文章 | 多维度评价

CMM已成为软件研究领域与软件企业普遍关注的对象。但传统软件过程支持系统并非专门针对CMM而设计的，因此它们在支持企业实施CMM的能力方面存在一定的欠缺，并不能良好地支持企业CMM的实施。为此本文在基于CMM软件过程保障平台系统CPMS中提出并实现了基于CMM的新型软件角色定义工具，它能有效地对CMM二级、三级实施良好的支撑，从而使企业达到实现CMM的要求。

国内软件组织可用性能力成熟度评估

刘正捷陈军亮张丽萍张海昕

计算机科学. 2004, 31 (7): 127-130.

摘要 ( 72 )

PDF(259KB) ( 331 )

相关文章 | 多维度评价

可用性工程是开发高可用性交互式软件和IT产品的有效途径，这要求根据开发组织的可用性成熟度状况，把以用户为中心的设计方法结合到产品生命周期过程中，为指导可用性工程在国内的引进和推广，我们按照可用性能力成熟度模型UMM，选择代表性的软件企业进行了一次可用性能力成熟度评估。本文介绍这次评估依据的UMM模型，所采用的评估方法和评估结果，重点讨论所发现的阻碍企业应用可用性工程的问题，并提出过程改进的对策。

基于UML顺序图的测试方法

江泽凡王林章李宣东郑国梁

计算机科学. 2004, 31 (7): 131-136.

摘要 ( 67 )

PDF(323KB) ( 439 )

相关文章 | 多维度评价

本文描述一个在UML顺序图上生成测试用例的方法。我们使用带OCL约束的顺序图．即从类图和状态图中提取信息以OCL形式附加在顺序图的对象生命线的适当位置。首先检查顺序图的完备性和一致性。然后从顺序图中生成测试规格说明以及顺序图的事件系列。最后根据测试准则采用类似于类别一划分方法进行测试用例的生成。另外，我们将此方法应用于一个简化的DHCP协议．解释了方法的一般过程以及方法的可行性。

面向对象软件测试引擎的设计和实现

马雪英姚砺叶澄清

计算机科学. 2004, 31 (7): 137-140.

摘要 ( 71 )

PDF(227KB) ( 287 )

相关文章 | 多维度评价

为了减少软件测试的工作量，提高软件测试的效率，非常有必要开发计算机辅助的软件测试工具。本文基于已经实现的分别面向C／C^++和VisualBasic语言的计算机辅助软件测试工具为基础，介绍了面向对象软件测试引擎的设计和实现。该引擎以中间数据库为核心，使用语言分析器对源程序进行基于块的划分，然后完成代码插装和编译连接，为自动测试模块提供可执行的经过代码插装的程序而不是源代码，从而提高了测试工具的通用性和重用性。

开放系统中移动性研究

钟国祥

计算机科学. 2004, 31 (7): 141-143.

摘要 ( 54 )

PDF(239KB) ( 278 )

相关文章 | 多维度评价

开放系统技术在信息系统的集成方面已得到了广泛应用。应用开放系统技术可以方便地开发、实现、升级和维护各种应用系统，降低构建应用系统的代价，并提高其集成效率。但是．当前的开放系统技术更多关注的是功能方面的问题(如可互操作性、可移植性等)，而对于有些重要的性能方面的问题，如移动性的保证(可利用它来提高合作性，优化移动网业务)等．尚未涉及。然而近年来，移动性应用的范围却日趋扩大。这些应用系统都存在这样的要求，即以开放系统的方式集成，以缩短开发周期、降低构建系统的费用。因此产生了开放系统包容移动性应用的问题。本论文

事务监控器的Web服务支持

丁晓宁张昕金蓓弘

计算机科学. 2004, 31 (7): 144-147.

摘要 ( 66 )

PDF(248KB) ( 302 )

相关文章 | 多维度评价

事务监控器是开发、部署、监控和管理分布式事务性应用的基础平台。随着Internet和企业应用集成的发展，许多应用要求能通过广域网访问部署于事务监控器上的服务，同时能与其它分布式系统互操作，但传统的事务监控器作为一种封闭的结构，对此支持不足。Web服务是一种新的分布式组件标准，可方便地部署于广域网上并灵活地进行企业应用集成，本文提出了事务监控器支持Web服务的一个可移植的设计框架TP-WS，可以在符合X／Open DTP模型的事务监控器中支持Web服务。本文设计现已应用到事务监控器ISTX2．0中。

一个安全操作系统的通用审计框架

夏耐茅兵谢立

计算机科学. 2004, 31 (7): 148-152.

摘要 ( 62 )

PDF(327KB) ( 319 )

相关文章 | 多维度评价

本文首先介绍了审计的基本概念和本文所描述工作所基于的项目背景。然后切入本文的重点——一个按照POSIX1003．1e标准，通用的安全操作系统审计框架的设计工作，以及此框架按照GB17859-1999第三级别要求在一个Linux安全增强的操作系统上的具体实现工作。同时本文比较了国内相似的工作，分析了整个审计框架的优点与不足，并展望了将来的工作。

安全操作系统基于ACL的自主访问控制机制的设计与实现

孙亚楠石文昌梁洪亮孙玉芳

计算机科学. 2004, 31 (7): 153-155.

摘要 ( 68 )

PDF(226KB) ( 478 )

相关文章 | 多维度评价

自主访问控制机制是安全操作系统必不可少的安全机制之一，而传统的文件权限保护模式不能提供更细粒度的自主访问控制，无法满足越来越高的系统安全的要求。本文探讨了基于访问控制表的自主访问控制机制的设计与实现的主要思想，并提出了利用文件系统的扩展属性机制存储访问控制表以及将自主访问控制机制实现为一个基于LSM安全框架的可加载模块的方法。

高性能路由器硬件抽象层的设计与实现

吴美娟魏进武陈庶樵岳俭

计算机科学. 2004, 31 (7): 156-158.

摘要 ( 72 )

PDF(219KB) ( 342 )

相关文章 | 多维度评价

分布式体系结构已成为高性能路由器普遍采用的实现结构．然而迫切需要解决的问题是如何实现独立于上层软件及底层硬件的通用性支撑软件体系结构。本文针对高性能路由器体系结构及功能特点，提出了硬件抽象层(HAL)的设计方案并予以实现。该方案在主处理单元上模拟从处理单元线路接口行为，由系统管理模块维护从处理单元的正常工作。测试结果表明，HAL在轻、重负载下，其效率及可靠性均能满足高性能路由器的需求，且其功能可满足软件体系结构的可扩展性需求。

面向行业数据交换中间件EasySwitch的系统设计与实现

殷庆刘卫宁

计算机科学. 2004, 31 (7): 159-162.

摘要 ( 53 )

PDF(234KB) ( 285 )

相关文章 | 多维度评价

企业信息化的深入开展和电子商务的推进．各企业应用系统间数据交换的需求日益增加．但是各应用系统间由于操作平台和数据格式等差异性给交换带来许多困难。针对这种情况，本文实现了一个基于SOAP／XML-RPC机制的数据交换中间件系统(EasySwitch)，它具有可重构的数据交换核心和面向行业应用的特点，为企业应用系统提供了一个实用化的、基于数据交换的应用协作平台。该系统定位清晰，服务对象明确，实用性强，完整地解决了行业内各企业应用系统间的异构数据交流问题。本文在分析了数据交换的基本原理与思想后，着重阐述了Eas

多Agent系统中的本体论

刘志忠王怀民丛广年

计算机科学. 2004, 31 (7): 163-165.

摘要 ( 61 )

PDF(236KB) ( 260 )

相关文章 | 多维度评价

多Agent系统之间的本体异构严重妨碍了系统之间的知识共享与集成以及Agent之间的协作。文章首先介绍了解决本体异构的多种方法，并分析了各种方法所存在的不足。为了克服这些方法的不足，文章给出了一种结合元本体理论和本体协商的方法。该方法将元本体引入本体协商过程，从而提高了本体协商的效率并且为协商最终达成一致提供了客观的标准。文章最后通过一个简单的实例说明了基于元本体进行本体协商的大致过程。

FIPA Agent通讯规范分析

张德同周明全耿国华郑霞

计算机科学. 2004, 31 (7): 166-168.

摘要 ( 44 )

PDF(164KB) ( 435 )

相关文章 | 多维度评价

FIPA是一个由活跃在agent领域的公司和大学组成的国际组织，其目标是为异质的agent多系统之间实现互操作而制订相关的软件标准。agent通讯是实现知识共享和协作求解的重要技术。本文对当今FIAP agent通讯规范，包括内容语言、交互动作和交互协议三方面，进行了简要分析。

关联维数的并行求解算法

蒋廷耀李庆华杨景华

计算机科学. 2004, 31 (7): 169-170.

摘要 ( 67 )

PDF(100KB) ( 306 )

相关文章 | 多维度评价

关联维数的求解是分形理论中的一个重要问题，标准算法由于其巨大的计算量，不能满足实时任务的需要，过去的改造算法集中在串行地减少求解多个关联维数时的重复计算量，并未从根本上降低O(N^2)次的向量距离计算、距离比较和求和次数，其应用范围和性能改善程度是有限的。本文给出了两个并行算法：基于PRAM模型的花费O(N^2／p+logp)时间p个处理机的算法，和基于LARPBS模型的花费O(N^2p)时间p个处理机的算法。相对纯理论的PRAM算法，LARPBS算法是实际可行的，它是目前时间复杂度最低的算法，并且是最优

一种基于扩展概念图的词义识别算法

李虹李磊

计算机科学. 2004, 31 (7): 171-174.

摘要 ( 85 )

PDF(237KB) ( 260 )

相关文章 | 多维度评价

本文提出了一种基于扩展概念图的词义识别算法。该算法通过搜索概念图，寻找待识别词的两两词义之间的祖先分叉点和分叉路径．从而找到词义之间的相对差异路径，即决定路径。结合上下文词语的出现频率，该算法可以计算出上下文词语对各决定路径的支持度。而词义之间的相对决定路径的支持度的差别．正好反映了词叉对待识别词的相对适合程度。本文提出的算法就是通过计算和比较这种差别，最终选出最适合待识别词的词义。为了对所提出的算法进行评估和比较，我们借助WordNet1．6和SemCor进行测试。测试结果表明，该算法具有较高的词义识别

一种基于关联规则的中文概念集生成算法

赵心蔡智洪流蔡庆生

计算机科学. 2004, 31 (7): 175-177.

摘要 ( 46 )

PDF(176KB) ( 265 )

相关文章 | 多维度评价

本文提出了一种基于关联规则的中文概念集生成算法。该算法首先产生文档的中文关键词集，采用向量空间模型VSM(vector space model)表示文档；然后以中文关键词为事务项，以中文文档为事务，采用成熟的关联规则算法发现中文关键词频繁集；再生成原始概念集并对原始概念集进行聚类，最终实现了中文概念集的自生成，同时该算法能引入增量更新的特性，对概念集进行增量更新。通过实验，表明该算法能有效地生成中文概念集，可以用之于对表示中文文档的高维特征向量的语义降维，具有一定的使用价值。

SAT-TC：基于关联的层次文档聚类

李曲龙昊

计算机科学. 2004, 31 (7): 178-180.

摘要 ( 52 )

PDF(167KB) ( 368 )

相关文章 | 多维度评价

在一篇文档中，一个单词可以看作是一个项目，一组单词就是一个项目集。在以往的基于关联的文本聚类方法中．都是将一整篇文档看作是一个事务来挖掘频繁项目集和关联规则的。但是实际上，一篇文档中的基本语义单位是句子。在同一个句子中同时出现的一组词在语义上或多或少都是相互关联的，与分布在多个句子中的同一组词相比，前者要有意义得多。因此，基于以上发现，我们考虑将文档中的每一个句子看作是一个事务，一篇文档就被看作是一个事务的集合，并由此提出了一种新的文本聚类方法：SAT-TC。通过在标准测试集上的实验证明．SAT-TC要优

关联规则的并行挖掘模型研究

袁平张伟

计算机科学. 2004, 31 (7): 181-182.

摘要 ( 68 )

PDF(153KB) ( 269 )

相关文章 | 多维度评价

针对单机数据挖掘算法的现状，本文详细分析了Agrawal关联规则的并行挖掘模型，提出了基于客户机0服务器的并行挖掘模型和算法，建立了原型系统，该模型可以有效地用在关联规则的并行挖掘过程中，它能在一定程度上克服数据传输量大，无法及时得到所需数据而导致的效率不高的问题。

基于等价相异度矩阵的聚类

赵明清蒋昌俊陶树平

计算机科学. 2004, 31 (7): 183-184.

摘要 ( 49 )

PDF(83KB) ( 406 )

相关文章 | 多维度评价

本文介绍了等价相异度矩阵的性质，证明了[d(i，j)](n-1)/(n×n)等价相异度矩阵，并给出了等价相异矩阵的逐次平方求解方法和基于相异度矩阵的聚类方法。最后通过实验证明了此聚类方法的可行性和有效性。

基于属性核的遗传约简算法

郭平刘潭仁刘然贺琼

计算机科学. 2004, 31 (7): 185-187.

摘要 ( 60 )

PDF(154KB) ( 262 )

相关文章 | 多维度评价

属性最小约简是NP完全问题，该问题的研究一直被关注。如，以不可分辨矩阵为基础的传统约简方法Ⅲ，基于属性重要性的约简方法等等，这些方法对于大数据集都是不实用的。文[8]提出了以遗传算法全局搜寻能力为基础的属性约简方法，文[3]通过引进属性依赖启发信息改进了文[8]中的方法。本文中，先给出了一个时间复杂度为O(k×n×log n)，空间复杂度为O(n)的核属性判别方法。然后，以此为基础给出了较文[3]和文[8]中更有效的遗传粗糙约简算法。

适用于空间推理的DLSR（DP）描述逻辑

刘亚彬陈岗

计算机科学. 2004, 31 (7): 188-191.

摘要 ( 50 )

PDF(206KB) ( 252 )

相关文章 | 多维度评价

本文扩展了描述逻辑ALC(D)并提出了空间推理的描述逻辑DLSR(DP)，在利用描述逻辑进行空问推理时，通过术语推理把定性信息和定量信息相结合。

基于扩展关系模型的多Bayesian网依赖结构的合并

李维华刘惟一张忠玉郭祥文张燕峰

计算机科学. 2004, 31 (7): 192-195.

摘要 ( 71 )

PDF(204KB) ( 278 )

相关文章 | 多维度评价

贝叶斯网是一个每个结点都带有一张概率表的有向无环图，它可以有效地表示不确定性知识并进行知识推理。知识系统在很多时候不得不将来自不同信息源或者同一信息源不同时刻的知识合并起来。Bayesian网作为一个知识系统，所以也会面临将多个Bayesian网提供的信息结合起来。本文提出一个基于扩展的关系数据模型和条件独立的算法，该算法将多个Bayesian网合并成为一个Bayesian网，并且尽可能地保留每一个Bayesian网的信息。

采用遗传算法的手绘草图关系模板生成方法

张莉莎孙正兴

计算机科学. 2004, 31 (7): 196-199.

摘要 ( 51 )

PDF(231KB) ( 268 )

相关文章 | 多维度评价

草图理解包含两个方面：草图图形识别和草图布局分析．但目前的研究大部分集中于一些特殊图形的草图识别上。实际上，草图布局分析对草图信息内容的发现，尤其是在获取其构思方面更为重要。本文为事实草图图形的布局分析提出了一种基于遗传算法的模板生成方法．在定义和描绘了布局模式的基础上．本方法能找出有潜在语义的图形对象间的模式。实验表明：遗传算法能够有效找出明显或是潜在的模式，并能很减轻手工标注模式的负担。

基于内容的图像检索中的相关反馈技术发展

徐建军吴玲达

计算机科学. 2004, 31 (7): 200-202.

摘要 ( 58 )

PDF(181KB) ( 317 )

相关文章 | 多维度评价

早期的基于内容的图像检索系统以图像处理技术为中心，研究重点集中在视觉特征的选择和提取方面，而没有充分考虑到人们在视觉方面的主观性和广泛使用的高层次语义概念和低层次视觉特征之间的相关性。为了解决上述问题，相关反馈这项技术被引入到基于内容的图像检索中来。本文介绍了相关反馈的发展，着重阐述了相关反馈技术的各种算法以及其在CBIR中的应用，并对相关反馈的发展方向进行了讨论。

小波变换器的改进及其在红外图像压缩中的应用

刘晓明黄智勇史剑锋

计算机科学. 2004, 31 (7): 203-205.

摘要 ( 56 )

PDF(156KB) ( 293 )

相关文章 | 多维度评价

本文提出了一种改进型的小波变换器结构，与标准的JPEG2000小波变换器相比，节省1／2的乘法器和1／3的存储器，并介绍了该变换器在红外图像压缩系统中的应用。

货物装载问题的有效空间算法研究

赵鹏王勇张谦杨秀苔

计算机科学. 2004, 31 (7): 206-208.

摘要 ( 53 )

PDF(148KB) ( 542 )

相关文章 | 多维度评价

货物装载是物流配送的重要环节，其方案的优劣对提高整个物流系统的效率和降低运输成本都有着重大的影响。由于货物装载问题理论上属于NP-完全问题．实际应用中只能以近似最优的方法求解，如启发式算法和遗传算法等。本文基于有效空间的算法提供了此类问题的一种实际可行的解决方法，实践证明具有较大的应用价值。