计算机科学

计算机科学. 2007, 34 (4): 1-6.

摘要 ( 78 )

PDF(489KB) ( 416 )

相关文章 | 多维度评价

本文按照网络体系结构认知框架，遵循“需求目标→设计原则→具体实现”的合理研究思路，对满足下一代网络发展需求的新一代网络体系结构进行了研究。首先对下一代网络的概念进行了比较全面的分析，在此基础上明确地归纳了新一代网络体系结构的10条主要需求目标；然后通过总结、吸收相关领域的最新成果，研究提出了与这些需求目标相适应的若干新的网络体系结构设计原则；最后，以这些新的设计原则为指导，研究并建立起了满足下一代网络发展需求的新一代网络体系结构INSA参考模型，为满足下一代网络发展需求的新一代网络体系结构的研究提供了较好

模型检验软件体系结构研究与进展

计算机科学. 2007, 34 (4): 7-12.

摘要 ( 81 )

PDF(449KB) ( 299 )

相关文章 | 多维度评价

软件体系结构经过10多年的发展，在体系结构的基础理论、体系结构风格、体系结构描述语言和体系结构建模等方面的研究取得了一系列可喜的成就。目前，就软件体系结构的分析、评价、测试和验证的研究也在如火如荼地进行中。模型检验是一种基于自动机理论的形式验证方法，采用穷举状态空间的方式来证明系统的模型是否满足要验证的属性。同传统的测试和验证的手段相比，模型检验有其自身的优势。为此，越来越多的研究人员正在将模型检验技术应用到软件体系结构的分析和验证中。本文调查了模型检验技术在软件体系结构中的应用现状，剖析了影响软件体系结

多核多线程处理器存储技术研究进展

屈文新樊晓桠张盛兵

计算机科学. 2007, 34 (4): 13-16.

摘要 ( 83 )

PDF(295KB) ( 589 )

相关文章 | 多维度评价

多核多线程技术已经成为微处理器发展的趋势，使用多核多线程技术可以使微处理器的性能得到极大的提高，但同时也对存储系统提出了更高的要求。而相对增长的存储器访问延迟已经成为影响多核多线程处理器性能进一步提高的重要因素。本文首先介绍了当前常见的几种多核多线程处理器的结构，然后介绍了目前多核多线程处理器存储系统的研究现状，在此基础上讨论了当前多核多线程处理器存储系统研究的热点，并对多核多线程处理器存储系统技术的发展趋势进行了展望。

复杂网络可视化研究综述

计算机科学. 2007, 34 (4): 17-23.

摘要 ( 220 )

PDF(543KB) ( 891 )

相关文章 | 多维度评价

当今万维网、社会关系网等复杂网络的规模迅速发展，一方面导致人们很难用数字和表格来对这些复杂网络进行全局规划和管理，另一方面复杂网络包含了非常丰富的信息资源但都难于被发现。可视化技术提供了有效的方法来理解复杂网络的结构并从中挖掘有效信息。本文全面介绍了复杂网络可视化技术的研究进展，讨论了可视化布点算法和压缩算法，并介绍了若干具有代表性的复杂网络可视化工具、列举了复杂网络可视化技术在相关领域的应用。

移动Adhoc网络中节点合作性研究综述

计算机科学. 2007, 34 (4): 24-27.

摘要 ( 61 )

PDF(367KB) ( 276 )

相关文章 | 多维度评价

移动Adhoc网络的动态性和暂时性导致节点间的信任关系不断变化，这给密钥管理带来困难；对于网络内部恶意节点和自私性节点的攻击，传统的安全方案不再有效。在缺少预先约定的信任关系时，合作性安全机制是解决网络内部恶意节点和自私性节点不合作行为的有效方法。本文首先分析了移动Adhoc网络中所面临的各种安全弱点，指出节点相互合作的重要性，然后综述了现有典型的合作性方案，指出了各种方案的优缺点，提出了进一步的研究方向。

DCPC：基于能量保护的传感器网络分布式拓扑控制协议

刘刚李志刚朱兴国周兴社

计算机科学. 2007, 34 (4): 28-31.

摘要 ( 87 )

PDF(330KB) ( 313 )

相关文章 | 多维度评价

在传感器网络中，拓扑控制对于平衡节点负载、增强网络的适应性以及提高网络的通信效率具有十分重要的作用。本文提出了一种通用的分布式拓扑控制机制（DCPC），综合考虑能源和通讯消耗，在保证网络连通性／双向连通性前提下，通过调节功率提高资源利用率，延长网络的生命期。仿真结果表明，相对于传统的LEACH协议，DCPC协议更加合理地利用节点能量，有效地延长了整个网络的生命期。

异构分层无线网络中基于业务和逗留时间的动态流量均衡算法

计算机科学. 2007, 34 (4): 32-37.

摘要 ( 77 )

PDF(365KB) ( 229 )

相关文章 | 多维度评价

在异构分层无线网络中使用有效的流量均衡技术，可以给更多的移动用户提供服务。现有的流量均衡算法主要针对同种无线网络，因而不能直接用于异构无线网络。本文提出了一种适用于异构无线网络的基于业务和逗留时间的动态流量均衡算法，该算法首先根据移动模型计算移动用户在小区内的逗留时间，然后基于小区呼叫到达率和重叠覆盖小区的流量状态来确定一个周期内转移的非实时性呼叫数量，最后依据逗留时间门限值将重负载小区中满足条件的呼叫转移到轻负载的重叠覆盖小区中。为降低切换呼叫掉线率，还对异构网间的呼叫切换策略做了改进。仿真实验结果表明

一种基于Netfilter的BitTorrent流量测量方法

柳斌李之棠李战春周丽娟

计算机科学. 2007, 34 (4): 38-41.

摘要 ( 69 )

PDF(236KB) ( 381 )

相关文章 | 多维度评价

BitTorrent是目前互联网上广泛使用的一种基于P2P的文件共享协议。它使用了动态端口，这给BitTorrent流量的准确测量带来了很大的困难。本文在分析BitTorrent协议基础上，给出了一种基于应用层特征匹配的BitTorrent流量测量方法。首先提取出BitTorrent流的应用层特征，利用Linux Netfilter／Iptables扩展架构实现数据包的应用层特征匹配。将TCP流分成了BitTorrent流和非BitTorrent流，对BitTorrent流进行统计。实验表明，该方法能实时

一种基于模糊神经网络的可靠流量控制模型

张民罗光春

计算机科学. 2007, 34 (4): 42-45.

摘要 ( 73 )

PDF(243KB) ( 273 )

相关文章 | 多维度评价

为控制P2P流量，本文从数据缓冲区使用的实时状态出发，提出了一种基于模糊神经网络的拥塞控制模型，该模型把缓冲区划分为两个队列分别存放P2P和非P2P的数据包，通过模糊神经网络预测评估缓冲区队列的拥塞状况，并建立一个评估函数对各队列的空间分配作出指导，使得能够控制各队列的拥塞状况，并动态的调整缓冲区队列的分配，在缓冲区溢出前主动丢包，避免缓冲区锁定。模拟实验的结果表明，该模型在保证网络资源分配的公平性方面取得了较好的效果，它降低了数据包排队延时和丢包率，提高了路由器处理网络拥塞的能力。

基于有效传输的能量敏感的路由协议

袁林锋程文青杜旭

计算机科学. 2007, 34 (4): 46-48.

摘要 ( 89 )

PDF(287KB) ( 287 )

相关文章 | 多维度评价

能量敏感是传感器网络设计中的一个基本要求，现有的基于位置的路由协议都没有考虑下一跳节点与源节点的距离，使得传输效率不高。本文通过引入有效传输（ET）概念保证每个前向节点比其前驱节点不仅更加靠近目标节点，而且更加远离源节点，提出一种基于ET的能量敏感的路由协议。仿真结果表明这种路由协议与其它一些协议比较起来，可以提供较低的能量消耗。

LEO卫星网络中的一种分布式路由算法

任洪波

计算机科学. 2007, 34 (4): 49-51.

摘要 ( 252 )

PDF(263KB) ( 358 )

相关文章 | 多维度评价

在LEO卫星网络中，由于卫星高速运动导致的网络拓扑变化和不同卫星覆盖城内流量的非规整性给设计其特殊路由算法带来很大挑战。结合卫星网络的固有特点，本文提出一种基于路径信息压缩的分布式路由算法CPDR（Compressed Path Information based Distributed Routing）。该算法使用分布式分层链路状态收集策略和简洁的路径信息编码机制，能够在不引入额外信令开销基础之上提供多路径路由能力，实现卫星网路中的流量负载平衡、优化网络带宽应用、提高星际链路利用率。

无线感知网的网络结构与路由协议研究

李存永

计算机科学. 2007, 34 (4): 52-55.

摘要 ( 78 )

PDF(267KB) ( 373 )

相关文章 | 多维度评价

对于无线感知网本身问题的关注和研究目前正在成为该领域研究的一个的热点。随着I．F．Akyildiz对无线感知网体系结构和协议模型的总结和对协议栈框架的提出，对每一层协议的研究越来越多，其中重点主要集中在网络层和链路层。本文首先对无线感知网的网络结构进行了研究，提出了由这种特殊的网络结构决定的相应路由协议的特点。通过与无线自组网的比较，总结了无线感知网路由协议设计应当重点考虑的因素。接着，对现存几种主要的路由协议进行了较为详细的介绍，最后对其中几种最为普遍的协议进行了比较研究。

网格环境中带度约束的多播资源查找算法

于显平蒲汛余建桥

计算机科学. 2007, 34 (4): 56-58.

摘要 ( 78 )

PDF(199KB) ( 266 )

相关文章 | 多维度评价

网格计算的前提是资源查找。本文分析研究了几种适应某些网格资源模型的现有资源查找算法及其时间和空间复杂度。针对有多播特征的网格环境中的资源查找，基于多播功能，同时赋予资源节点不同权值，构造带度的多播网格资源模型，提出带度约束的多播资源查找算法。与现有算法相比，此算法能更有效实现多播网格环境中资源的快速查找。

基于XML的OSPFv3一致性测试研究

李华张涛叶新铭郭怡静李元平白瑞峰

计算机科学. 2007, 34 (4): 59-62.

摘要 ( 76 )

PDF(256KB) ( 316 )

相关文章 | 多维度评价

协议测试是检测协议实现与协议说明相一致的有效手段。本文针对开放最短路径协议OSPFv3进行了一致性测试研究，分析了OSPFv2和OSPFv3的不同，给出了用XML来描述OSPFv3测试套的测试模板，并对OSPFv3协议在Linux下的实现进行了一致性测试，列举了部分测试结果，对测试结果进行了分析，发现了被测实现存在与协议说明不一致的地方。

基于选播通信的服务器性能监测系统的研究

计算机科学. 2007, 34 (4): 63-64.

摘要 ( 70 )

PDF(187KB) ( 268 )

相关文章 | 多维度评价

为实现基于服务性能的服务器选择方式，提出了一个流量可控的性能监测系统，并将其引入到选播服务器的选择策略之中，目的是将其系统输出一平均响应时间作为服务器选择重要参数。最后通过仿真实验不仅验证了其对服务器的平均响应时间的准确估计，还找到了对由此产生的额外网络流量的有效控制方法。由此证明了该性能监测系统的可靠性和有效性。

网格环境下的信任服务分级模型

计算机科学. 2007, 34 (4): 65-68.

摘要 ( 66 )

PDF(256KB) ( 255 )

相关文章 | 多维度评价

在网格社区中，建立一个共享资源间的好的协作关系，是网格的基础研究课题。网格资源的局部自治性、动态性、随机性，都要求建立一个安全的有效的机制。本文提出了一种个性化的网格信任模型。该信任模型包括两部分：信誉和风险。信誉是长时间积累起来的行为统计特征，风险是一种短期的行为特征。风险主要处理恶意的行为，它区别于信誉模型。本文的主要贡献是将这信任模型引入到网格的信任理论中，使得无序、随机的网格服务变成有序的网格服务。

一种基于iSCSI的对象存储安全系统的设计与实现

计算机科学. 2007, 34 (4): 69-73.

摘要 ( 87 )

PDF(351KB) ( 297 )

相关文章 | 多维度评价

随着应用的高速发展，性能高、安全性强的IP存储正成为网络存储领域的研究热点。本文针对这种情况，在OSD命令集的基础上，设计了一种基于iSCSI协议的专用对象存储安全系统（iSCSI-based Object Storage Security System，iOBS3）。借助iSCSI的块数据通道和OSD内置的安全策略，使得iOBS3同时具备块I／O的高速传输带宽和对象I／O的访问控制能力；通过在IP层加入IPSec协议，提高了iOBS3的传输安全性；在发起端和目标端同时采用零拷贝TCP机制，大幅度地提高了

网络化控制系统中的TCP／IP建模研究

韦安

计算机科学. 2007, 34 (4): 74-76.

摘要 ( 112 )

PDF(241KB) ( 325 )

相关文章 | 多维度评价

TCP／IP协议已经成为了网络化控制系统中事实上的传输标准协议，但TCP／IP协议直接用于网络化控制系统中还存在实时性不足，开销过大等问题，特别是针对网络化控制特殊环境下的TCP建模分析还缺乏研究。本文针对网络化控制中的数据流特点，建立了数据传输的TCP解析模型，分析了一些重要的参数。实验结果表明，该模型较好地反映了实际网络化控制中的TCP传输行为，可以作为分析和改进网络化控制中TCP协议的模型。

Zpq环上的一类新的2^k阶广义割圆序列的线性复杂度

计算机科学. 2007, 34 (4): 77-78.

摘要 ( 88 )

PDF(99KB) ( 254 )

相关文章 | 多维度评价

线性复杂度是度量序列随机性的一个重要指标。基于W-割圆理论，通过寻找序列特殊的特征集，构造了乙环上一类新的2^k（k〉1）阶二元广义割圆序列，给出了该类序列的极小多项式和线性复杂度。其线性复杂度最小为（p＋1）（q-1）/2,最大为（q-1）p。结果表明，该类序列具有良好的线性复杂度性质。

一种适用于IDS的多次模糊迭代特征选择算法

计算机科学. 2007, 34 (4): 79-82.

摘要 ( 59 )

PDF(272KB) ( 293 )

相关文章 | 多维度评价

本文针对入侵检测系统（IDS）被检测数据的特点，对适用于IDS的特征选择算法进行了研究，提出了一种基于分类的多次模糊迭代特征选择算法。该算法包括在属性空间中搜索特征子集、评估每个候选特征子集和分类这3个步骤，设计了与之相应的搜索算法和评估函数；算法通过多次迭代去除特征值集的冗余特征，得到精确度较高的特征值集；使用模糊逻辑得到与精确度要求相应的取值范围；由于单纯对数据进行操作，能比依赖于领域知识的算法更客观地分析数据。文内还对所提出的算法做了测试实验；并将实验结果与用可视化工具产生的特征可视化结果进行了比较

刀片加密服务器的文件加脱密技术

孙秀丽

计算机科学. 2007, 34 (4): 83-85.

摘要 ( 98 )

PDF(191KB) ( 270 )

相关文章 | 多维度评价

刀片加密服务器可以比较全面地解决从信息传输到信息存储全过程的信息安全问题。它主要应用在建立安全公用信息平台以及电子商务、电子政务等方面。利用刀片加密服务器建立的安全公用信息平台，将能逐步改变企业传统的建网观念，使企业由独立建网逐步转变为租用公网，计算机网络将真正走向公用化。本文主要介绍了刀片加密服务器的文件加脱密技术。

Web服务器性能测量系统的研究进展

姚磊戴冠中张慧翔潘文平

计算机科学. 2007, 34 (4): 86-88.

摘要 ( 78 )

PDF(269KB) ( 353 )

相关文章 | 多维度评价

本文首先讨论了Web服务器测试的重要性及性能测试的一般原理；接着研究了现有的Web服务器测试系统，包括WebStone、SPECWeb99、S-Client和SURGE分析了它们的优点和不足之处；最后指出了Web服务器性能测试系统的发展趋势和需要进一步研究的问题。

无线传感器网络媒质接入控制协议的研究进展

计算机科学. 2007, 34 (4): 89-94.

摘要 ( 75 )

PDF(464KB) ( 305 )

相关文章 | 多维度评价

媒质接入控制（Medium Access Control）是无线传感器网络设计的关键问题之一。由于无线通信模块是传感器节点能量消耗的主要来源，而媒质接入控制协议则直接控制着节点无线通信模块的活动，因此MAC协议节能效率的好坏将严重影响网络的性能。本文首先介绍了MAC层能量消耗的主要来源，阐述了无线传感器网络中MAC协议的研究内容和设计目标，并讨论了影响MAC协议性能的若干参数指标，随后介绍了几类典型的MAC协议，最后对MAC协议的发展方向进行了总结和展望。

XML路由算法分类研究

计算机科学. 2007, 34 (4): 95-99.

摘要 ( 82 )

PDF(378KB) ( 356 )

相关文章 | 多维度评价

目前，由于网络上存在海量的XML信息，针对XML格式数据的过滤及信息的选择性分发成为当前网络通信研究的重点。如何利用大量XPath查询表达式来构造具有高效性和扩展性的XML过滤器，以匹配持续到来的XML文件流，是XML路由算法研究的核心。本文首先介绍XML路由模型，然后对XML路由算法进行分类比较，在此基础上对典型XML路由算法进行归纳总结，最后展望XML路由算法的应用前景。

基于剩余容量估算的访问控制

计算机科学. 2007, 34 (4): 100-101.

摘要 ( 75 )

PDF(199KB) ( 253 )

相关文章 | 多维度评价

本文提出了基于剩余容量估算的访问控制，该控制方法支持综合语音、数据及图像码分多路访问（Code-division　multiple-access，CDMA）系统，可用于逆向链路中非实时数据业务的剩余容量预测。为预测在下一时间片能够调度的剩余容量、数据包的数据量或数据包的数据速率，提出了静态剩余容量估算模式和动态剩余容量估算模式。利用模拟实验考察了停机概率和平均数据报文延迟两种性能指标。在综合语音、数据及图像CDMA系统中基于动态剩余容量估算的访问控制性能优于基于静态剩余容量估算的访问控制。

基于惰性聚类分裂的动态R树实现方法

计算机科学. 2007, 34 (4): 102-103.

摘要 ( 80 )

PDF(217KB) ( 291 )

相关文章 | 多维度评价

R^＊树是目前公认查询效果很好的R树变体，但是其构造代价较原始R树增加数倍，对于插入删除和更新频繁的空间数据效果不好。为此，本文提出一种基于惰性聚类分裂技术的R树动态实现方法（LR树）。惰性聚类分裂技术是在对象插入节点导致溢出时不立即进行分裂，而是尝试将其插入到邻近的未满节点中，直到邻近节点均已满时，再利用聚类技术进行节点分裂，在邻近节点和分裂节点之间重组入口项。LR树在确保查询性能的前提下，大大降低了构造代价，并且大幅提高了索引结构的空间利用率。最后的分析和实验证明了LR树的高效性。

基于RDF的XML安全推理控制

李专王元珍

计算机科学. 2007, 34 (4): 104-105.

摘要 ( 161 )

PDF(188KB) ( 4779 )

相关文章 | 多维度评价

提出了一种新的基于RDF的XML安全推理控制方法，将文档节点封装为XML对象，通过XML对象和类型刻画节点之间的语义关系，极大地拓展了推理控制范围。将节点的授权转换为对象／类型的授权，解决了面向节点授权模型难以处理的聚合敏感问题，同时也简化了面向节点方式下的繁杂授权过程。

XML压缩文档上的数值更新方法

计算机科学. 2007, 34 (4): 106-107.

摘要 ( 71 )

PDF(209KB) ( 264 )

相关文章 | 多维度评价

近年来，XML已成为Web上信息交流和资源共享的主要载体。但XML自身的自冗余特性限制了它的普遍应用。目前，已经有研究成果提出了XML的压缩方法。压缩的XML文档能够有效利用存储空间，节省网络带宽。在实际应用中，经常需要对压缩存储的XML文档进行更新。对于大的压缩文档，如果先解压再更新，会消耗大量时间，因此，高效的更新方法应该避免解压缩文档，在压缩的XML文档上直接进行更新操作。本文针对压缩XML文档中的数值类型（包括整型和浮点型）数据，研究了在保持压缩状态条件下如何进行有效的数值更新，提出了基于XPRE

OLAP分析中一种有效的下钻路径裁减技术

张德辉唐世渭杨冬青马秀丽姜力争

计算机科学. 2007, 34 (4): 108-110.

摘要 ( 75 )

PDF(189KB) ( 337 )

相关文章 | 多维度评价

0LAP技术为企业数据分析提供了极大的便利。然而，复杂的多维结构导致了复杂的下钻路径组合，从而使得用户的数据分析效率低下。解决OLAP分析中用户的探查路径过于复杂冗长是OLAP面临的主要问题之一，但是当前的研究成果大多由于与特定的分析任务相关而不能完全解决该问题。本文提出了一种与分析任务无关的下钻路径裁剪方法。该方法从多维数据结构本身出发将无效的下钻从分析过程中裁剪掉，从而达到了简化分析过程的目标。本文采用向量夹角法评估下钻操作的有效性，并给出了对应的高效下钻路径裁剪算法。该算法以有序的实事表为输入，只需

基于优化过滤策略的XML数据查询处理

陈海坤李建中骆吉洲

计算机科学. 2007, 34 (4): 111-113.

摘要 ( 82 )

PDF(169KB) ( 262 )

相关文章 | 多维度评价

如何高效地处理XML查询，是目前研究的热点。由于当前方法存在过多扫描无用节点引起效率下降的问题，本文设计了一种XML数据的二级索引结构，基于该结构给出路径查询处理算法。首先，本文对XML模式中每个节点按路径类型进行分类编码，然后把每个节点按该编码进行聚类存储。在查询时，就可以先根据模式信息和查询信息得到目标节点的编码，然后只需将二级索引中这些编码对应的部分载入内存，进行过滤操作。这样就不必扫描整个索引，提高CPU和IO效率。本文还对二级索引结构进行扩展，使本文的过滤索引能方便应用在有分支结构的查询上。实验

一种基于乐观方法的安全实时并发控制协议

计算机科学. 2007, 34 (4): 114-115.

摘要 ( 117 )

PDF(196KB) ( 280 )

相关文章 | 多维度评价

实时数据库通常应用在一些安全关键类应用中，如电子商务、股票交易、军事指挥系统等。在这样一些应用中，实时数据库系统需同时满足两方面的需求：确保数据安全和尽可能减低实时事务错过截止期的比率。然而，通常这两方面需求是相互冲突的，满足一方面是以牺牲另一方面为代价。本文提出了一种基于乐观方法的安全实时并发控制协议，该协议将安全约束整合到实时乐观并发控制协议中，并能根据应用的需求在安全性和实时性方面进行了适当的折中。性能测试结果显示，该协议在确保数据安全的同时并未明显地降低实时性能。

SXBP：基于Pri—order编码的XML文档存储方法

任家东岳丽文

计算机科学. 2007, 34 (4): 116-118.

摘要 ( 69 )

PDF(248KB) ( 264 )

相关文章 | 多维度评价

随着XML技术的发展，如何利用现有的数据库技术存储和查询XML文档已成为XML数据管理领域研究的热点问题。本文介绍了一种新的文档编码方法，以及基于这种编码方式提出了一种新的XML文档存储方法。方法按照文档中结点类型将XML文档树型结构分解为结点，分别存储到对应的关系表中，这种方法能够将任意结构的文档存储到一个固定的关系模式中。同时为了便于实现数据的查询，将文档中出现的简单路径模式也存储为一个表。这种新的文档存储方法能够有效地支持文档的查询操作，并能根据结点的编码信息实现原XML文档的正确恢复。最后，对本文

基于非参数密度估计聚类的关键帧提取方法

陈卓夷

计算机科学. 2007, 34 (4): 119-120.

摘要 ( 194 )

PDF(222KB) ( 315 )

相关文章 | 多维度评价

关键帧提取是基于内容的视频检索的一个重要的组成部分，所提取的关键帧的有效性，直接影响视频检索的结果。文中提出了一种基于非参数密度估计聚类的关键帧提取方法。首先，通过提取图像的颜色特征和运动特征，然后利用均值漂移聚类方法对融合了颜色和运动信息的特征空间进行聚类。它能自动确定类别数并具有严格的收敛陛，从而大大减少了运算量，提高了运算速度。实验证明，本方法的提取结果与人的主观视觉感知系统具有良好的一致性。

数字城市中遥感数据共享服务的研究

林俞先李琦

计算机科学. 2007, 34 (4): 121-125.

摘要 ( 77 )

PDF(382KB) ( 413 )

相关文章 | 多维度评价

作为一种重要的空间信息资源，遥感数据的共享在数字城市建设中具有重要的意义。本文给出了一个数字城市遥感数据共享的框架，即以服务为核心，包括管理层、数据层、共享服务平台层以及应用层，并讨论了实现共享服务平台的若干关键技术。最后通过一个原型系统的实现，表明本文提出的框架在实际的数字城市建设中具有一定的可行性。

基于方法库的联机分析系统框架的设计与实现

王未央经霄

计算机科学. 2007, 34 (4): 126-128.

摘要 ( 78 )

PDF(189KB) ( 277 )

相关文章 | 多维度评价

联机数据分析是解决现行的实际统计工作中普遍存在的问题的有效方法。本文介绍了一个基于业务空间和方法库上的联机分析模型以及多维联机数据分析系统框架XOLDAS的实现技术，采用该框架可以快速开发OLAP系统并具有良好的可扩展性。

复杂系统模糊认知图的分解研究

计算机科学. 2007, 34 (4): 129-132.

摘要 ( 120 )

PDF(264KB) ( 333 )

相关文章 | 多维度评价

本文对复杂系统的知识表示与推理采用了模糊认知图的分解方法，即对原始认知图的节点进行分组，然后在组节点上构造商认知图。这样关于原始FCM的分析就转化为商认知图和各子FCM的分析，商FCM的因果关系推理提供原始FCM的整体信息，而每个子FCM继承原始FCM的拓扑结构和推理，它提供原始FCM的局部信息。这样降低了复杂系统研究的规模与复杂性，同时也使对复杂系统的研究可以在各个分类层面上和各个分组上进行，增加了模糊认知图概念间研究的丰富性和灵活性。这种分解方法可以根据需要循环往复进行。

一种求解集合覆盖问题的启发式算法

陈端兵黄文奇

计算机科学. 2007, 34 (4): 133-136.

摘要 ( 145 )

PDF(241KB) ( 1433 )

相关文章 | 多维度评价

集合覆盖问题是运筹学研究中的一个基本的组合优化问题，它通常描述成如下的一个覆盖问题：从一个m行、n列的0—1矩阵（aij）m×n中选出若干列盖住所有的行，使得付出的代价最小。集合覆盖问题被广泛应用到航空人员行程安排、电路设计、运输的车辆路线安排等领域。对这一问题，国内外学者提出了诸如遗传算法、模拟退火算法、蚁群算法、人工神经网络算法等求解算法。本文以贪心算法为基础，利用人类的智慧和经验，提出了一种求解集合覆盖问题的启发式算法。算法的主要思想为：从某个解出发，随机移除一定比例的列，再用贪心策略加入若干列。用

基于优先级的超协调本体推理研究

计算机科学. 2007, 34 (4): 137-139.

摘要 ( 70 )

PDF(200KB) ( 254 )

相关文章 | 多维度评价

随着语义Web研究的逐步深入，本体推理问题业已受到众多相关人员的重视。而超协调本体的推理问题，作为本体维护以及本体集成的研究基础，更是迫切地有待解决。本文对本体知识库作出了一定的扩充，定义了基于优先级的本体知识库的一系列相关概念，并且在此基础上，给出了两种在超协调的本体中寻求一致性推理的途径，希望能为相关的研究带来一定的参考与借鉴。

基于粒度层次的方位关系推理

郭平谭燕

计算机科学. 2007, 34 (4): 140-144.

摘要 ( 79 )

PDF(257KB) ( 261 )

相关文章 | 多维度评价

方位关系推理是空间推理的一个重要方面。本文主要研究的是方位关系推理的问题之一——基于层次的方位关系表示与推理。文中首先从区域间的覆盖关系出发，提出了基于空间粒度的层次划分方法；然后，从“点对象”和“矩形对象”两个方面研究了基于粒度层次的方位关系表示与推理方法，并给出了相应的推理算法。文中的推理实例验证了粒度划分与推理方法的可行性。

具有还原性的多重多维模糊推理算法

计算机科学. 2007, 34 (4): 145-148.

摘要 ( 78 )

PDF(204KB) ( 407 )

相关文章 | 多维度评价

Zadeh提出的CRI算法是模糊推理中运用最广泛的算法，但它不具还原性。王国俊教授提出的全蕴涵三Ⅰ算法，以及已有的基于相似度的模糊推理算法是在单一规则下的模糊推理算法，在单一规则情形满足还原性条件。本文在给出多重多维模糊推理具有还原性的定义的基础上，先用例子说明，全蕴涵三Ⅰ算法和已有的基于相似度的算法在多重多维推理的情况下不具有还原性，同时本文提出一种新的基于相似度的模糊推理算法，在多重多维推理时满足还原性条件。

Call for Papers The 6^th International Conference on Grid and Cooperative Computing

无

计算机科学. 2007, 34 (4): 148-148.

摘要 ( 61 )

PDF(69KB) ( 256 )

相关文章 | 多维度评价

一种从关系数据库向Flogic本体转换的方法

曹泽文张维明邓苏钱杰

计算机科学. 2007, 34 (4): 149-153.

摘要 ( 79 )

PDF(321KB) ( 291 )

相关文章 | 多维度评价

目前提出的从关系数据库中获取本体的方法主要关注主键之间的相关性，导致抽取的语义信息不全。本文提出一种将关系数据库向Flogic表示的本体转换的方法，该方法通过对主键、数据、属性相关性的综合分析，可以抽取出关系数据库中隐含的语义信息，如继承关系及优化结构。

情感理论及基于情感的决策理论与模型研究

计算机科学. 2007, 34 (4): 154-157.

摘要 ( 79 )

PDF(350KB) ( 891 )

相关文章 | 多维度评价

情感能力是人类智能的重要标志，与人类认知相互依赖和影响。因此，研究情感理论，模拟人类情感，对增强豫统智能具有重要意义。本文根据情感激发、产生的内在机理，提出情感的三级层次；为影响和激发情感的内部状态建立模型；基于情感的模糊性，运用模糊逻辑定义了情感的强度，并提出情感状态描述；通过分析情感在决策过程中的作用，结合MAS理论与决策系统的研究成果，提出了具有情感能力的个体Agent模型和具有情感功能的MAS决策模型。

G3逻辑中的弱合取范式

计算机科学. 2007, 34 (4): 158-162.

摘要 ( 173 )

PDF(302KB) ( 447 )

相关文章 | 多维度评价

本文为G3逻辑提出一种类似于经典逻辑中合取范式的弱合取范式，并给出两种范式化简算法：一种是通过公式刻画反模型的语义方法；另一种为基于重写翻译的语法方法。文章最后证明，在G3逻辑中对任意公式做弱合取范式化简不存在多项式算法。

变元可分离核函数对非线性支持向量分类机的影响

计算机科学. 2007, 34 (4): 163-165.

摘要 ( 72 )

PDF(236KB) ( 262 )

相关文章 | 多维度评价

证明了变元可分离函数在Hilbert空间中满足Mercer定理的条件，为构造新的非线性支持向量分类机时选定核函数提供了一种新方法，并通过新方法构造的核函数与其它核函数构造的非线性支持向量分类机比较，得出了较好的结果。

始于凸包络线的闭主曲线学习算法研究

计算机科学. 2007, 34 (4): 166-170.

摘要 ( 59 )

PDF(290KB) ( 562 )

相关文章 | 多维度评价

本文提出了将凸包技术与自组织拓扑映射技术相结合的一种针对封闭曲线特征提取的主曲线学习算法，解决了一般主曲线算法无法有效模拟封闭和较为复杂分布数据集的难题。算法以数据集的凸包络线为起始步，通过分析数据集的全局和局部特征，逐步逼近数据集分布并获得封闭主曲线。算法的关键在于凹点挖掘算法的研究。实验结果表明，对于一般封闭曲线点集，该方法均能在较短的时间步内较好地逼近源数据集。该算法结构简单，复杂性在最坏情况下也不超过Ｏ（n^2），同时对图像的有界连通区域外部边界特征的提取与图形识别亦将具有较高的应用价值。

不完备信息系统中的集对分析方法

计算机科学. 2007, 34 (4): 171-174.

摘要 ( 65 )

PDF(247KB) ( 256 )

相关文章 | 多维度评价

考虑了既有遗漏型又有丢失型未知属性值的不完备信息系统。在这种不完备信息系统中，采用集对分析的方法构建了一种新的基于联系度的二元关系，此关系仅满足自反性。在此基础上，分析了这种二元关系在两种特殊情形的不完备信息系统中的表现形式，然后根据新建立的基于联系度的粗集模型，使用决策矩阵讨论了规则生成方法，最后用一个实例说明了此方法的有效性。

一种改进的高维数据可视化模型

计算机科学. 2007, 34 (4): 175-178.

摘要 ( 191 )

PDF(215KB) ( 252 )

相关文章 | 多维度评价

可视化诱导自组织映射（ViSOM）是一种人工神经网络模型，已经被成功应用于高维数据的可视化分析。但是，标准的ViSOM方法不仅没有考虑数据之间的相关性，而且当输出网络结点太多时，需要消耗大量运算开销；输出网络结点太少，又难以分析数据的可视化结果。为克服ViSOM的这两个弱点，本文首先在ViSOM的基础上提出了一个改进的映射算法MViSOM，接着在独立成分分析（ICA）与MViSOM的基础上提出了一个改进的高维数据可视化模型IMViSOM。论文最后通过实验说明了IMViSOM模型在对群聚数据的可视化分类效果

混合智能系统R—CSNN及其应用

计算机科学. 2007, 34 (4): 179-181.

摘要 ( 54 )

PDF(207KB) ( 246 )

相关文章 | 多维度评价

常见分类算法面对海量数据时，在时间效率、鲁棒性和精确性上都显示出了不足。为此，本文将混合智能系统引入到神经网络分类算法的研究中，针对传统神经网络算法在训练速度和鲁棒性上的不足，提出了一个基于粗糙集、免疫算法和神经网络的混合智能系统。该系统以粗糙集为前端处理器，在保证一定信息量的基础上对输入到神经网络的数据进行约简，接着用改进免疫算法作为学习算子的神经网络进行训练。最后，通过UCI下的数据库进行仿真实验，验证了该系统的有效性。

集值决策信息系统的知识约简与规则提取

计算机科学. 2007, 34 (4): 182-184.

摘要 ( 57 )

PDF(223KB) ( 323 )

相关文章 | 多维度评价

本文用集值信息系统描述不完备信息系统。在集值信息系统中定义了两种不同的关系：相容关系和优势关系，给出了两种不同关系下集合的上下近似概念及其性质。研究了集值决策信息系统在两种不同关系下的广义决策约简，得到了广义决策约简的判定定理和辨识矩阵，从而得到了约简的具体操作方法。最后，基于两种关系从集值决策信息系统提取了最优广义决策规则，并进行了讨论。

粗糙集理论中求取最小决策规则的研究

计算机科学. 2007, 34 (4): 185-187.

摘要 ( 86 )

PDF(253KB) ( 329 )

相关文章 | 多维度评价

本文探讨了粗糙集理论中最小决策规则的求取方法，提出决策依赖度的定义，尝试从最短的条件属性组合中提取尽可能多的决策规则。只有现有长度的决策规则无法完全覆盖所有样本时，才会考虑增加决策规则的长度。同时提出了3种减少计算复杂性的方案：1）引入跳跃系数λ；2）在计算中只对具有相同决策值的样本进行等价类划分，从而避免了对含有不同决策值的等价类的无用划分；3）设计Remain集合，只针对其中的样本进行等价类的划分，随着Remain中样本数的减少，计算量会大幅下降。此外，本文所提出的基于决策依赖度的跳跃式决策规则求取方

基于小生境免疫算法的柔性可信度规则提取方法

张丽平闫德勤

计算机科学. 2007, 34 (4): 188-191.

摘要 ( 68 )

PDF(247KB) ( 230 )

相关文章 | 多维度评价

研究了以免疫算法为工具对信息系统进行规则提取。在免疫算法中结合了小生境技术的共享机制，利用了共享机制中对资源的共享和竞争原理，体现了规则之间竞争与互补的关系。针对普通可信度度量方法的不足，提出了柔性可信度的概念，能够获得更好的规则。实验证明，本文采用的方法不仅在处理无冲突无噪声数据时可以得到好的结果，而且在处理噪声数据、决策类不等量划分的数据中也有很好的表现。

动态挖掘进程中参数演化与矛盾域分布规律的研究

杨炳儒张帆韩彦岭

计算机科学. 2007, 34 (4): 192-195.

摘要 ( 63 )

PDF(340KB) ( 271 )

相关文章 | 多维度评价

基于内在认知机理的知识发现理论研究基础，宏观地描述了其核心内容之一——信息扩张机制的内涵及主要研究内容，给出了动态挖掘进程规律的部分成果，详细阐述了参数演化规律及矛盾域的分布规律，揭示了动态（在线）挖掘进程中潜在的本质、规律与复杂性，为进一步解决海量数据、动态数据给挖掘进程带来的本质的、极富挑战性的难题奠定了较为坚实的理论基础。

一种改进的新Apriori算法

计算机科学. 2007, 34 (4): 196-198.

摘要 ( 68 )

PDF(168KB) ( 438 )

相关文章 | 多维度评价

本文分析了Apriori算法的时间复杂性和空间复杂性，利用十字链表来等价代替事务数据库的数组表示，从而使得：一方面，连接操作的次数减少一半，缩短了算法的运行时间；另一方面，挖掘过程中不必保留候选频繁项目集，节省了大量空间开销。实验表明，改进后新算法的性能具有可比性。

一种基于网格方法的高维数据流子空间聚类算法

孙玉芬卢炎生

计算机科学. 2007, 34 (4): 199-203.

摘要 ( 64 )

PDF(390KB) ( 361 )

相关文章 | 多维度评价

基于对网格聚类方法的分析，结合由底向上的网格方法和自顶向下的网格方法，设计了一个能在线处理高维数据流的子空间聚类算法。通过利用由底向上网格方法对数据的压缩能力和自顶向下网格方法处理高维数据的能力，算法能基于对数据流的一次扫描，快速识别数据中位于不同子空间内的簇。理论分析以及在多个数据集上的实验表明算法具有较高的计算精度与计算效率。

一种面向Web日志挖掘的免疫网络聚类算法

吕佳

计算机科学. 2007, 34 (4): 204-206.

摘要 ( 74 )

PDF(224KB) ( 275 )

相关文章 | 多维度评价

Web日志隐含了用户访问网站的行为和特点，对其进行聚类分析可以获取用户的浏览模式，发现用户访问网站的偏好和兴趣，从而优化站点结构，实现个性化的服务。针对Web日志数据特点，本文提出免疫网络聚类算法。该算法将Web服务器看成生物机体，用户访问Web的请求序列看成需要检测的入侵抗原，模拟抗体学习抗原的生物机理，自动生成代表用户访问模式的记忆抗体，实现动态聚类。

基于URL结构和访问时间的Web页面访问相似性度量

计算机科学. 2007, 34 (4): 207-209.

摘要 ( 64 )

PDF(240KB) ( 272 )

相关文章 | 多维度评价

Web页面相似性是Web页面聚类和Web会话聚类的基础，其准确性直接影响聚类的质量。本文在分析基于URL结构的静态Web页面相似性度量的基础上，提出了将URL结构和页面访问时间结合起来度量Web页面对之间的相似性并给出了度量标准。实验证明，采用我们提出的度量标准得到的结果准确性更高，更接近于用户浏览兴趣。

基于重复模式的Web信息抽取

高强张敬之耿桦潘金贵

计算机科学. 2007, 34 (4): 210-212.

摘要 ( 83 )

PDF(245KB) ( 264 )

相关文章 | 多维度评价

网页中的大量数据记录往往以重复的HTML结构进行有规律的组织，从而形成一致的表现形式。根据这一特征，本文给出一种基于重复模式的Web内容抽取方法。通过使用一种叫做后缀树的数据结构，分析页面结构中所包含的重复模式，进而从模式的实例中抽取出对应的数据记录。

基于关键词聚类和节点距离的网页信息抽取

邓健爽郑启伦彭宏林旭东

计算机科学. 2007, 34 (4): 213-216.

摘要 ( 79 )

PDF(278KB) ( 275 )

相关文章 | 多维度评价

大部分网页信息抽取方法都针对特定的网站，例如基于网站抽取规则和基于训练网页样例的方法。这些方法在某一个网站上可以很好地应用。但当遇到新的网站时，必须人为地增加抽取规则或者提供新的训练网页集。而且，当网站的模版改变时，也要重新设计这些规则或重新输入训练网页集。这些方法难以维护，因此不能应用到从大量不同的网站上进行信息抽取。本文提出了一种新的网页信息抽取方法，该方法基于特定主题的关键词组和节点距离，能够不加区分地对不同的网站页面信息自动抽取。对大量网站的网页进行信息抽取的实验显示，该方法能够不依赖网页的来源而

基于s—Tree算法的个性化推荐服务研究

宁小红余森森

计算机科学. 2007, 34 (4): 217-221.

摘要 ( 216 )

PDF(313KB) ( 274 )

相关文章 | 多维度评价

本文提出了基于关联规则的挖掘最大频繁访问的新算法——s-Tree算法，并以此去分析用户的访问模式，挖掘出特定用户访问模式和浏览偏爱路径信息，进而优化站点结构，为用户提供“一对一”个性化的Web页面访问预测及内容推荐。

遗传算法的混合算子策略

张应辉曾庆华王志伟

计算机科学. 2007, 34 (4): 222-224.

摘要 ( 88 )

PDF(192KB) ( 744 )

相关文章 | 多维度评价

在一般遗传算法中，求最优解时既可避免早熟收敛，又能提高收敛速度是困难的，因为算法中使用了单独一组交叉算子／变异算子。本文提出一种新的基于混合算子的遗传算法执行策略。在求解旅行商问题（TSP）中，为了提高局部搜索能力和收敛速度，给出了一种基于边重组的启发式交叉算子。仿真实验表明了这种算法的有效性。

浮点数编码小生境遗传算法的研究

崔明义

计算机科学. 2007, 34 (4): 225-227.

摘要 ( 113 )

PDF(244KB) ( 524 )

相关文章 | 多维度评价

小生境在增加遗传算法群体的多样性，提高遗传算法的局部搜索能力方面具有良好的性能。迄今为止，有关小生境遗传算法的研究都是基于二进制编码，缺乏以浮点数编码为研究对象的相应成果。而浮点数编码在提高遗传算法的性能和遗传算法的推广应用中，具有其它编码所无法比拟的优势。本文以浮点数编码为研究对象，研究小生境遗传算法的机理，分析在遗传操作中小生境的生成、合并和分离的动态过程，探索其方法。本文的研究和实验结果表明，浮点数编码小生境遗传算法的性能是可靠的，方法是可行的。

基于微分演化的PSO参数选择策略

计算机科学. 2007, 34 (4): 228-230.

摘要 ( 106 )

PDF(194KB) ( 301 )

相关文章 | 多维度评价

粒子群优化方法（Particle Swarm Optimization，PSO）是由Kennedy和Eberhart于1995年提出的一种基于群体智能（Swarm Intelligence）的演化计算技术，用于求解各类优化问题。PSO方法通过各种参数控制粒子的运行轨迹，并对参数设置有很强的敏感性。因此，如何为PSO方法选择最优的参数是PSO方法的关键。本文提出了一种不依赖个人经验的参数选则策略，针对特定问题，将PSO方法的性能表示成参数的函数，从而将参数选择问题转变成函数优化问题。采用微分演化（Diffe

基于专家知识库属性重要度的故障诊断方法研究

计算机科学. 2007, 34 (4): 231-233.

摘要 ( 65 )

PDF(288KB) ( 480 )

相关文章 | 多维度评价

利用粗糙集理论中重要性度量的概念和专家知识库集成技术，研究了复杂系统故障诊断的一类新方法。首先，在给出多领域专家知识库集成系统定义和复杂系统状态赋值规则的基础上，利用粗糙集理论中的属性重要度的概念建立了专家知识库属性重要度模型；然后，提出了该模型运行机理的算法规则，并结合多领域专家知识库集成技术，构造了一种能对实时动态环境进行监控和故障诊断的网络化诊断系统；最后，仿真试验验证了该方法的有效性和合理性。此方法成功应用于复杂系统故障诊断的实际工程实例表明，这种诊断方法具有良好的更新能力和应用前景。

l1范数最近邻凸包分类器在人脸识别中的应用

计算机科学. 2007, 34 (4): 234-235.

摘要 ( 222 )

PDF(181KB) ( 334 )

相关文章 | 多维度评价

l1范数作为重要的距离测度，在模式识别中有着较为广泛的应用。在不同的范数定义下，相同分类机理的分类算法一般会有不同的分类效果。本文提出l1范数下的最近邻凸包人脸识别算法。该算法将最近邻凸包分类算法的范数定义由l2范数推广到l1范数，以测试点到各训练类凸包的l2范数距离作为最近邻分类的相似性度量。在ORL标准人脸数据库上的验证实验中，该方法取得了良好的识别效果。

基于物理模型的火苗动画

秦培煜陈传波吕泽华夏晖

计算机科学. 2007, 34 (4): 236-238.

摘要 ( 74 )

PDF(171KB) ( 345 )

相关文章 | 多维度评价

本文提出了一种基于物理模型的火苗数值模拟方法。真实感和实时性是计算机图形学追求的两个目标。传统的动画技术生成的物体运动是虚拟的，并不能完全反映物体的真实运动。与传统的动画技术相比，基于物理的动画更能表现运动的真实性。本文在用非粘性不可压欧拉方程表示火苗物理模型的基础上，利用破开算予法将其分解成外力项、对流项和投影项分别进行求解，每一步都稳定，因而整个求解也就稳定。求解过程的稳定性保证了模拟可以用大时间步长，也就保证了模拟的实时性。与传统的方法相比，能同时满足计算机图形学的真实感和实时性要求。

基于视差梯度的快速区域匹配方法

计算机科学. 2007, 34 (4): 239-240.

摘要 ( 86 )

PDF(167KB) ( 350 )

相关文章 | 多维度评价

通过引入视差梯度理论，本文提出了一种基于视差梯度的快速区域匹配方法，该方法首先根据匹配点的不同特性，确定匹配搜索范围，然后再进行匹配得出视差图。通过对比实验，表明采用这种可变匹配搜索范围的方法，比采用固定匹配搜索范围的方法，有更快的执行速度和更少的计算量。

基于中心与圆周的英文字符识别方法研究

蓝章礼

计算机科学. 2007, 34 (4): 241-242.

摘要 ( 87 )

PDF(167KB) ( 308 )

相关文章 | 多维度评价

针对目前字符识别方法对旋转角度大的字符难以识别的问题，本文提出一种基于中心与圆周的英文字符识别方法（CCR），通过对字符中心和适当半径圆周上的点进行分析来识别英文字符。文章通过理论分析和实验，证明了该方法能够对任意旋转角度的英文字符进行正确识别，并给出了需要进一步研究的问题。

一种新型SOAP消息附件安全保障模型

计算机科学. 2007, 34 (4): 243-249.

摘要 ( 68 )

PDF(446KB) ( 257 )

相关文章 | 多维度评价

随着Web服务的广泛应用和发展，提供安全保障能力是Web服务在商业应用中获得成功的关键因素。然而，目前还没有一种有效的方法对SOAP消息附件提供安全性支持。针对这一问题，本文提出了一种新型的SOAP附件安全保障模型，它可以在不改变客户端和服务器端内部实现的情况下，对附件进行加密和数字签名。在多中间节点的场景中，附件可以不经过任何中间节点从客户端直接发送到服务器，在减少附件被攻击可能性的同时提高了服务的执行效率。本模型在Web应用服务器上进行了原型实现，实验结果表明，该模型具有普遍性，可以高效地为企业提供附

一种带有delegation的对象演算

计算机科学. 2007, 34 (4): 250-253.

摘要 ( 72 )

PDF(222KB) ( 266 )

相关文章 | 多维度评价

随着研究与应用的深入，传统的基于类的面向对象语言对动态变化要求的支持不足越来越明显。而且，由于软件系统复杂性的不断提高，这个问题变得更加突出。近年来，人们一直在进行着各种研究和尝试，寻求解决办法。delegation是一种在基于原型的面向对象语言中实现的对象动态继承，由于它支持对象行为在运行期动态改变，能提供对象动态扩展功能的能力，因此探讨如何在基于类的面向对象语言中引入delegation成分，以提供软件运行时刻的结构与行为变更能力，是十分有意义的。本文提出了一种命令式、带有delegation的西对象

项链T-图和完全T-图中活的和安全的标识类个数的证明

计算机科学. 2007, 34 (4): 254-257.

摘要 ( 49 )

PDF(223KB) ( 225 )

相关文章 | 多维度评价

本文证明了：有k个结点（变迁）的项链型T-图Nk和有n个结点（变迁）的完全T-图K。这两种特定结构的T-图中活的和安全的标识类的个数分别为：k-1和（n-1）!个。

Object—Z规格说明的SQL动画模拟

周静缪淮扣

计算机科学. 2007, 34 (4): 258-260.

摘要 ( 87 )

PDF(231KB) ( 341 )

相关文章 | 多维度评价

软件规格说明的确认在软件开发阶段占有举足轻重的地位。形式规格说明的动画模拟技术是一种规格说明的确认方法。本文研究了Obiect-Z规格说明的SQL动画模拟方法，设计了从Object-Z到SQL的转换规则，并提出了模块封装的思想，即用存储过程表示类、对象和模式等模块，用户通过调用执行存储过程确认规格说明是否满足其需求。

一种适合于分布式虚拟环境的层次式协议结构

计算机科学. 2007, 34 (4): 261-264.

摘要 ( 73 )

PDF(260KB) ( 250 )

相关文章 | 多维度评价

随着分布式虚拟环境中信息交互要求的不断提高，目前主要采用的基于兴趣表达式的兴趣过滤机制已经不能满足需求，XML路由器技术的提出为进一步提高分布式虚拟环境的可扩展性注入了新的动力。本文在对基于兴趣表达式的兴趣管理协议结构进行分析的基础上，以虚拟博物馆为例给出了适合动态信息的任务表达式格式，并根据其潜在的层次式结构提出基于XML封装协议的思想，使其能够更好地运用于基于XML路由器的主动网络。

分布式功能块控制应用的性能分析

张渝刘枫

计算机科学. 2007, 34 (4): 265-268.

摘要 ( 64 )

PDF(255KB) ( 280 )

相关文章 | 多维度评价

IEC61499功能块逐渐被工业采纳。本文针对分布式功能块控制应用（DFBCA）缺乏性能分析方法的情况，提出了一种基于随机Petri网的DFBCA性能分析方法。该方法以DFBCA的运行状态为着手点，利用Petri网易于表示系统中可能发生的各种状态变化及其关系的特点，将DFBCA转换为随机Petri网模型。再利用随机Petri网模型与马尔可夫链（MC）同构的特征，将随机Petri网模型转换为MC。得到的MC为DFBCA的性能分析提供了数学基础。最后基于MC的状态转移矩阵和稳态概率，对在每个状态中的驻留时间、

一个新的相关任务调度算法

计算机科学. 2007, 34 (4): 269-272.

摘要 ( 64 )

PDF(269KB) ( 273 )

相关文章 | 多维度评价

现已有许多调度算法在某些特定条件下能产生最优调度。Darbha和Agrawal提出的TDS算法能产生最优调度，其最优条件比较苛刻，实用性不强。Park和Choe提出一种扩展调度算法（Extended TDS），虽然其最优条件比TDS算法的约束条件宽松些，但在任务数较多时难以满足，并且形式过于复杂。因此，本文提出一种能产生最优调度的新算法，该算法既考虑合并其它父任务以减少通讯时间，同时尽可能少地合并其它任务，从而尽量减小任务的启动时间。该算法不仅最优条件简单、宽松，而且具有与TDS算法相同的时间复杂度O（v

J2MEM3G中Animation的设计与实现

徐中礼谢丹铭李冰峰高传善

计算机科学. 2007, 34 (4): 273-275.

摘要 ( 77 )

PDF(193KB) ( 295 )

相关文章 | 多维度评价

为了Java三维图形程序能在不同的移动设备和平台上运行，JCP（Java Community Process）制定了J2MEM3G（Mobile 3D Graphics API），规范了移动设备上Java三维图形程序的API和框架。而M3G中由于动画部分的独特性以及它在设计和实现中的复杂性，我们结合在XORP上开发M3G类库经验的基础，总结并给出了其设计和实现的参考模型和理论基础，也适用于其它3D类库的设计和开发。

一个基于IA-64体系的内存管理大页面的实现模型

陈鸣春潘金贵

计算机科学. 2007, 34 (4): 276-278.

摘要 ( 84 )

PDF(163KB) ( 269 )

相关文章 | 多维度评价

本文提出了一种基于IA-64体系结构的内存页面大页面化的模型，可执行文件ELF的Data Segment使用大页面。由于转换解析缓冲区（TLB）能映射更大的虚拟内存范围，从而可减小未命中率，因此可以提高使用大页面的高性能计算（HPC）应用程序或使用大量虚拟内存的任何内存访问密集型应用程序系统性能。

基于CMMI的软件项目风险缓解策略优化模型研究

潘春光陈英武

计算机科学. 2007, 34 (4): 279-281.

摘要 ( 119 )

PDF(206KB) ( 349 )

相关文章 | 多维度评价

在基于CMMI的软件工程实践过程中，风险管理被集成在CMMI框架下的第三级，与过程管理融于同一个框架之中。因此，基于CMMI的软件项目风险管理能够得到来自组织的有效信息，使软件开发朝着有规律、可预测的方向发展。本文针对目前基于CMMI的软件项目风险管理尚缺乏有效技术支持的现状，初步探讨了风险响应计划的制定问题，并针对实际提出一种风险缓解策略优化模型，为软件项目管理人员的风险决策提供辅助手段。

基于值传递的快速故障诊断

计算机科学. 2007, 34 (4): 282-286.

摘要 ( 69 )

PDF(315KB) ( 251 )

相关文章 | 多维度评价

本文提出了一种基于值传递的系统模型，重新定义了诊断，该定义与Reiter经典的诊断定义等价。在此基础上，给出了一种线性时间找到一个极小诊断的算法，该方法不需要计算极小冲突而直接得到极小诊断。该算法在给出诊断的同时，还给出了系统与该诊断对应的当前行为的一种合理解释。最后，给出了该方法与诊断测试结合实现系统修复的方法。

简化BDD的SBDD和变量重排序结合算法

李绍荣徐琳琳

计算机科学. 2007, 34 (4): 287-288.

摘要 ( 72 )

PDF(125KB) ( 451 )

相关文章 | 多维度评价

二叉判定图是一种基于图表的用来表示布尔函数的数据结构。它泛广地应用于计算机半辅助设计和数字电路的形式化验证中。本文主要研究如何存储和如何简化BDD。提出了一种把SBDD和变量重排序结合在一起的新算法，用来简化BDD的大小。

基于ASP．net的三层结构实现方法研究

范振钧

计算机科学. 2007, 34 (4): 289-291.

摘要 ( 238 )

PDF(166KB) ( 525 )

相关文章 | 多维度评价

本文论述了三层结构基本原理及其发展历程、Asp．Net的特性以及Asp．Net系统组成结构，给出了．net平台上基于组件方式的三层结构的实现方法，并通过一个在线考试系统登录模块的实现，讲述了该方法在实际的软件开发中的实现过程。

CMMI在小型软件企业中的应用研究

计算机科学. 2007, 34 (4): 292-294.

摘要 ( 56 )

PDF(263KB) ( 525 )

相关文章 | 多维度评价

首先介绍CMMI的概念，从模型结构上阐明了CMMI的连续表示和阶段表示。分析了我国小型软件企业的特点，然后基于一个典型企业CMMI改进过程模型，对小型软件企业如何高效地实施CMMI的相关问题进行深入的探讨。