计算机科学

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

摘要 ( 80 )

PDF(651KB) ( 1003 )

相关文章 | 多维度评价

随着应用需求的增长,三维模型的规模和复杂度急剧增长,给模型的存储和在有限带宽的网络上传输带来了很大的困难.因此,研究空间需求小、适合于计算机网络传输的三维模型的表示方法具有十分重要的意义.三维模型的压缩主要包括拓扑压缩和几何压缩.由于压缩数据中的大部分是几何压缩数据,因此已发展了许多几何压缩方法,以提高模型的压缩效率.为使相关的学者和工程技术人员较好地了解几何压缩技术,本文对这方面的工作进行了较全面的介绍.本文首先介绍了几何压缩的基本流程及几种几何压缩方法的分类原则,然后将几何压缩技术分为基础压缩方法和经

移动自组网中能量优化的路由算法研究综述

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

摘要 ( 69 )

PDF(424KB) ( 297 )

相关文章 | 多维度评价

移动自组网是在没有中心基础设施情况下由一些移动用户自组织形成的多跳无线移动网络,通常为一些特殊环境提供临时通信便利.由于移动自组网中终端设备依赖于电池供电,为了延长节点的工作时间,要求尽量减少节点的能量消耗,从而延长整个网络的使用寿命.本文对当前存在的基于能量优化的单播和组播路由算法进行了分析和比较,阐述了目前亟待解决的主要问题和今后的研究方向.

具有监控能力的Agent模型

赵新宇林作铨

计算机科学. 2006, 33 (3): 11-17.

摘要 ( 89 )

PDF(584KB) ( 246 )

相关文章 | 多维度评价

在大信息量、动态环境下企业软件系统对业务流程的监控和自动管理的需求越来越大.本文把Agent技术引入业务流程的监控和管理,在基本的BDI模型基础上加入能力组件的概念,提出一种具有监控能力的BDIC Agent模型,以具体应用背景中的实例说明了该模型中监控能力的分类.该模型已在一个客户服务系统（CSM）中成功应用,说明所提出的Agent模型具有良好的可重用性和可定制性,适合对企业软件系统中的业务流程进行监控和管理.

概念格与粗糙集的关系研究

计算机科学. 2006, 33 (3): 18-21.

摘要 ( 108 )

PDF(259KB) ( 343 )

相关文章 | 多维度评价

概念格理论和粗糙集理论是两种不同的知识表示与知识发现的工具，都已被成功应用于许多领域.粗糙集理论的数据表现方式是信息系统，其研究基础是对象之间的等价关系;概念格理论的数据表现方式是形式背景，其研究基础是一种有序的层次结构--概念格.本文讨论了概念格理论与粗糙集理论之间的基本联系;重点分析了形式概念与等价类之间、概念格与分划之间的关系;证明了概念格与分划之间可以相互转换，给出了转换算法，并用例子加以说明.

无线信道视频细粒度可分级编码研究

计算机科学. 2006, 33 (3): 22-26.

摘要 ( 85 )

PDF(426KB) ( 339 )

相关文章 | 多维度评价

Internet和无线通讯的迅速发展使得视频的可分级编码技术成为一个重要的研究领域.本文首先对MPEG-4修订版中FGS的编码机制进行了讨论，然后对无线信道上视频可分级编码技术的发展情况进行了讨论，最后对视频细粒度可分级编码的未来发展趋势进行了展望.

基于Pareto分布的IP骨干节点输入通信量模型

计算机科学. 2006, 33 (3): 27-28.

摘要 ( 68 )

PDF(240KB) ( 358 )

相关文章 | 多维度评价

输入通信量的行为特性对于IP骨干网节点的性能和设计有重要的影响.本文从IP骨干网络节点输入通信量角度出发,提出了一个基于Pareto和指数分布的混合通信量模型,其中数据包到达间隔为Pareto分布,包大小为指数分布.该模型克服了传统网络通信量模型中没有显式考虑数据包大小的缺点,从数据包级对网络通信量进行了精确的描述,从而能够更好地进行路由器结构设计和性能分析.仿真实验验证了我们模型的有效性.

融于速率控制策略的蜂窝移动通信系统的拥塞“软处理”方法

关少颖夏利王光兴

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

摘要 ( 97 )

PDF(299KB) ( 275 )

相关文章 | 多维度评价

提出了融于速率控制策略的蜂窝移动通信网络的拥塞“软处理”方法。实验结果表明，该方法硬件实现简单并能动态分配移动通信网络资源。利用双时钟“软处理”方法及时预防和解除网络拥塞，使移动通信网络能稳定工作，有效地保证移动通信网络的服务质量。且采用降速机制确保高优先级的呼叫服务质量。该模型具有缓解拥塞时间短、呼叫等待处理时间短，呼损率低等特点。

一种蓝牙分散网拓扑形成算法的设计与实现

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

摘要 ( 96 )

PDF(295KB) ( 260 )

相关文章 | 多维度评价

针对现有的蓝牙分散网拓扑形成算法的动态性和自愈性较差的问题，提出了一种新算法.该算法综合考虑了对分散网互连有显著影响的微微网的个数、负载均衡和结点移动性等因素，使最终得到的分散网拓扑是一个异构的、局部互连网状的结构，该结构具有较强自愈和容错能力.利用BlueHoc蓝牙扩展模块在NS-2仿真器上对算法进行了模拟.结果显示，提出的算法可以有效地用于蓝牙分散网拓扑结构的创建.

一个传感器网络结点EOS的设计与实现

计算机科学. 2006, 33 (3): 35-36.

摘要 ( 102 )

PDF(156KB) ( 279 )

相关文章 | 多维度评价

近年来，嵌入式技术和无线网络的发展给无线传感器网络的实现提供了可能性.然而，传感器网络的结点是基于嵌入式设备的计算机系统，该系统对功能、可靠性、成本、体积、功耗有严格要求.因此，设计一种针对无线传感器网络结点的通用操作系统内核是当今该领域亟待解决的问题.本文首先分析了传感器网络结点任务的特殊性和多样性，在此基础上提出了一种针对传感器网络结点的通用实时嵌入式操作系统（SNNEOS），阐述了该操作系统的系统构架、内核中断的管理和通信子系统的实现方式，论述了传感器网络结点操作系统关键问题.

一种基于跨层负载感知和双向逐跳信息素更新的自组网蚂蚁算法

计算机科学. 2006, 33 (3): 37-41.

摘要 ( 288 )

PDF(420KB) ( 248 )

相关文章 | 多维度评价

本文将跨层优化和蚂蚁优化方法结合起来解决自组网中的负载均衡问题，提出了一种基于跨层负载感知和双向逐跳更新信息素的蚂蚁优化路由协议（CLABHPU）.协议将整个路径中各节点MAC层的总平均估计时延和节点队列缓存的占用情况结合起来，共同作为路由选择和路由调整的重要依据，进行按需路由发现和维护;通过拥塞节点丢弃蚂蚁分组的方法减少了控制开销，增加了算法的可扩展性，较好地解决了自组网中现有基于蚂蚁算法的路由协议中普遍存在的拥塞问题和路由开销问题.同时，协议在路由发现阶段通过中间节点对信息素表进行双向和逐跳更新，提高

基于多本体语义相似度计算的对等网资源动态匹配方法研究

计算机科学. 2006, 33 (3): 42-46.

摘要 ( 82 )

PDF(373KB) ( 267 )

相关文章 | 多维度评价

在基于对等网的网格环境中，应用本体来描述资源元数据已经成为当今研究的趋势.不同结点可能采用不同的本体来描述各自管理的资源元数据.如何提高这种环境下动态资源发现的效率是急需研究的问题.本文在形式化描述结点本体结构和元数据模型结构的基础上，提出了一种精确匹配与模糊匹配相结合、本体语义相似性匹配和资源实例特征匹配相结合的综合资源匹配方法，来提高非集中环境下资源匹配的灵活性和精确性.

P-Promise：一个基于承诺的P2P公平资源共享协议

计算机科学. 2006, 33 (3): 47-49.

摘要 ( 93 )

PDF(309KB) ( 286 )

相关文章 | 多维度评价

P-Promise借鉴人类社会个体间相互承诺并通过兑现承诺来实现公平交往的机制，通过定义承诺证书和一套协议原语，在P2P实体间建立公平的资源共享环以实现P2P公平资源共享.公平的资源共享环的建立过程就是对等实体承诺并不断兑现承诺的过程，不需要可信第三方、认证的身份、货币支付、对称存储关系等条件.承诺证书能够描述不同的资源，所以P-Promise可用于各种资源的共享.P-Promise不但可以用于各种普通计算机，而且适用于资源和计算能力都十分有限的移动设备.分析和实验证明，P-Promise具有良好的稳定性

衰落信道下的无线Ad Hoc网络的有效仿真

计算机科学. 2006, 33 (3): 50-53.

摘要 ( 76 )

PDF(296KB) ( 482 )

相关文章 | 多维度评价

现有的网络仿真软件对无线信道尤其是移动衰落信道支持较弱，这些软件大都假设信道在帧的传输期间保持恒定，而在帧与帧之间变化.本文指出，这种基于帧的模型不能有效地仿真无线Ad Hoc网络的节点移动特性，网络的仿真要能够刻画信道在帧内的变化，因而提出了基于bit的模型.仿真结果表明，在基于bit的信号接收模型下，误帧率随着节点移动速度的增加急剧增长，而使用基于帧的模型得到的误帧率与移动速率无关.该模型对于目前的Ad Hoc网络的交叉层协议设计具有重要的参考价值.

基于Overlay Network的网格虚拟端到端带宽分配问题研究

计算机科学. 2006, 33 (3): 54-57.

摘要 ( 78 )

PDF(296KB) ( 288 )

相关文章 | 多维度评价

提出了基于Overlay Network的服务网格（SGON）的概念，以此来生成和部署网络增值服务.带宽分配问题是在Overlay Grid上部署和运行增值服务的关键问题，为了解决这个问题，Overlay Grid在已存在的数据传输网络的上部建立了一个逻辑的端到端的服务传输基础，通过双边的服务水平协议（SLA），提供QoS约束的带宽.给出了包含SLA、服务QoS、流量需求分布、开销等因素的带宽分配问题的模型，同时提供了静态和动态带宽分配问题的分析模型和近似解，最后设计了一种启发式自适应在线动态带宽分配算法

基于MCES的网络编程接口研究

易发胜夏梦芹叶娅兰曾家智

计算机科学. 2006, 33 (3): 58-61.

摘要 ( 75 )

PDF(360KB) ( 290 )

相关文章 | 多维度评价

本文对目前网络编程接口的局限性进行了分析，发现其已经难以适应网络应用的需求和网络技术的最新发展.微通信元系统构架（MCES）是一种易于从TCP/IP过渡的服务元网络体系结构的构架，为了应用微通信元系统构架提供的高级网络服务，根据当前网络编程接口方面的研究情况，提出了新的网络API：GSocket.GSocket采用合理的设计，完全兼容传统的网络编程方法和接口函数，能自动适应不同的网络系统，支持QoS等多种高级网络服务功能，还具有良好的可扩展性。

基于秘密共享的P2P组成员管理模型

布和吴邦欲

计算机科学. 2006, 33 (3): 62-64.

摘要 ( 93 )

PDF(213KB) ( 273 )

相关文章 | 多维度评价

随着P2P网络越来越多地应用于企业环境，安全问题变得越来越重要.成员管理是其中一个主要方面.本文提出了一种基于秘密共享的成员管理模型，并通过模拟实验分析了效率与安全性之间的关系.在此模型中，P2P组内节点间的信息是加密传输的，只有组内成员才拥有用于加密解密的成员密钥.只有得到一定数量的现有成员许可并赞助的外部节点才能加入P2P组，并且退出的节点无法得到后续的成员密钥.

基于Unix环境的3G移动数据业务平台的开发与研究

刘永平汪林林

计算机科学. 2006, 33 (3): 65-67.

摘要 ( 87 )

PDF(339KB) ( 388 )

相关文章 | 多维度评价

针对移动数据业务发展和运营过程中出现的问题，本文给出了一种基于Unix环境下的3G移动数据业务平台（MDSP）的解决方案，同时本平台可应用于现有传统2G、2.5G数据网络应用环境下.提出了该平台的体系结构和实现的关键技术.该平台使得数据业务发布迅速、统一、可管理、杜绝和防止了SP欺诈、提高了运营商的综合竞争力、取得了极大的商业价值和社会效益.

基于iSCSI协议的集群光盘服务器的研究与设计

计算机科学. 2006, 33 (3): 68-71.

摘要 ( 90 )

PDF(308KB) ( 288 )

相关文章 | 多维度评价

随着网络上光盘资源的增长，光盘服务器成为光盘网络共享的重要技术.针对传统光盘服务器的缺点，设计并实现了一个基于iSCSI协议的高性能集群光盘服务器CCS（Cluster CD Server）.CCS系统采用高自治、自维护的集群策略，提高了系统的并行性和可扩展性;采用逻辑的名字空间管理，既实现了单一名字空间，又避免了单点失效;采用虚拟技术并对iSCSI协议进行了精简和优化，减少了网络小包的传输数量，提高了网络带宽的利用率.在详细介绍了CCS系统的设计方案的同时，进行了相应的试验测试和性能分析.

uC/OS-Ⅱ支持下的嵌入式TCP/IP协议应用

杨天怡陈禾柴毅

计算机科学. 2006, 33 (3): 72-74.

摘要 ( 74 )

PDF(275KB) ( 328 )

相关文章 | 多维度评价

针对采用了“前后台系统”的嵌入式TCP/IP协议带来数据帧传输实时性差和难以添加应用层模块的问题，通过将嵌入式实时操作系统uC/OS-Ⅱ和已被广泛运用于8、16位单片机系统的uIP协议栈的结合，优化了uIP协议栈各个网络模块的运行.同时针对工控设备的网络通信特点，将UDP协议作为协议栈的基本数据传输方式，从而提高了uIP协议栈数据帧传输的实时性.实验表明，在将整合后的协议栈移植到一令嵌入式的websever后，系统具有较高的数据传输实时性并且运行稳定.

基于闭相关页面集实现网站自适应

郭平陈婷李东

计算机科学. 2006, 33 (3): 75-79.

摘要 ( 96 )

PDF(372KB) ( 254 )

相关文章 | 多维度评价

自适应网站能够根据用户需要快速灵活地改变自身，动态适应不断变化的用户需求和应用环境.本文基于图的频繁闭项集从站点一定时期内的日志中挖掘出闭相关页面集，据此提供在线动态推荐为用户导航，改善了传统的合作推荐存在的稀疏性和扩展性问题，在不增大网站服务器负荷的情况下提高对所有用户的信息服务质量.最后，分析了两种测量推荐系统性能的方法并对系统进行评价.

TPC-STBC编码的多天线OFDM系统性能研究

计算机科学. 2006, 33 (3): 80-83.

摘要 ( 82 )

PDF(251KB) ( 350 )

相关文章 | 多维度评价

设计空时分组码（STBC）只是获得了满分集增益，但未考虑编码增益，因此空时分组码必须和能够提供大量编码增益的外码级联.Turbo乘积码（TPC）是一种高效的编码方式，与Turbo码相比译码延时低，不具有错误平层.本文采用极具纠错性能的Turbo乘积码与空时分组码级联，构成编码的多天线OFDM系统以提高无线通信系统的可靠性，并最后对系统进行了性能仿真.

视频通信中MPEG-2码流的纠错与自适应错误隐藏算法的研究

高鹏陈咏恩

计算机科学. 2006, 33 (3): 84-86.

摘要 ( 103 )

PDF(283KB) ( 370 )

相关文章 | 多维度评价

MPEG-2的视频压缩算法，由于使用了可变长编码使其对信道错误十分敏感.利用视频图像在空间上和时间上的相关性对错误进行隐藏是图像通信中所特有的错误恢复措施.本文首先分析了MPEG-2的语法数据结构，并讨论了视频头纠错，基于空间的错误隐藏和时间隐藏算法的特点和适用范围，最终提出了视频头纠错和自适应错误隐藏的方法.通过实验对算法进行了验证，取得了满意的效果.

Kailar逻辑的串空间语义

计算机科学. 2006, 33 (3): 87-88.

摘要 ( 74 )

PDF(188KB) ( 287 )

相关文章 | 多维度评价

Kailar在1996年发表了“电子商务协议中的可追究性”一文，使得电子商务协议的形式化分析得到了重大的发展.但是Kailar逻辑的语义一直没有人提出来过，而逻辑的语义对于逻辑的正确性是至关重要的.本文的主要工作就是给出了Kailar逻辑的串空间语义，从语义的角度证明了Kailar逻辑的规则的正确性。

基于Colored Petri网的安全协议描述和验证

刘靖叶新铭

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

摘要 ( 88 )

PDF(299KB) ( 329 )

相关文章 | 多维度评价

对网络安全协议进行形式化描述和正确性验证有助于消除协议的设计缺陷，发现协议的不精确性.本文将使用具有强数学基础和强分析能力的着色Petri网（Colored Petri Net，简称CP-Nets）对NS公钥认证协议（NeedhamSchoeder Public-Key Authentication Protocol）进行建模，在此基础上分析验证该协议，阐明协议存在的缺陷并给出改进的方法.

一种基于格理论的数字签名方案

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

摘要 ( 72 )

PDF(310KB) ( 582 )

相关文章 | 多维度评价

本文介绍了一种建立在解决NTRU格（NTRU Lattice）中近似最近向量问题（Appr-CVP）基础上的数字签名方案.与现有的基于解决Appr-CVP问题的数字签名方案相比，这种新的数字签名方案通过构造完整的短格基进行签名，在签名与近似最近向量问题之间建立了直接而清晰的关系，因此不需引入任何附加结构，具有更高的安全性.同时，该签名方案引入了适当的扰动，有效地限制了攻击者通过分析大量签名副本所获取的有用信息，具有副本分析免疫性.实验结果表明：该方案不仅安全可靠，而且易于实现.

基于椭圆曲线的门限多重秘密共享方案

吴开贵刘东冯永

计算机科学. 2006, 33 (3): 97-98.

摘要 ( 99 )

PDF(189KB) ( 340 )

相关文章 | 多维度评价

本文基于椭圆曲线密码系统，即椭圆曲线离散对数问题（ECDLP）的难解性，提出了一个安全性更强的门限多重秘密共享方案.该方案具有以下特点：相对于传统的基于大数分解和离散对数体制，在子秘密长度及安全性等方面更具优势;无需更改参与者的子秘密实现任意多个秘密共享;提供了验证机制防止秘密分发者欺诈以及参与者之间的相互欺诈，避免了以往很多方案中交互信息量大，秘密分发者计算量大的缺点.

Phishing攻击行为及其防御模型研究

张博李伟华

计算机科学. 2006, 33 (3): 99-100.

摘要 ( 93 )

相关文章 | 多维度评价

仿冒（Phishing）危害愈演愈烈，本文针对其攻击行为进行了详细的分析与介绍，其中使用了建立攻击森林和对攻击进行分类等方法，进而建立了Phishing攻击模型.提出了相应的Phishing攻击的防范理论体系和具体措施.同时高起点地分析了IPv6环境下的Phishing攻击及其防御.

一种针对DDoS攻击的新型防护机制研究

罗光春卢显良

计算机科学. 2006, 33 (3): 101-104.

摘要 ( 109 )

PDF(268KB) ( 297 )

相关文章 | 多维度评价

本文提出了一种新型的基于网络流量自相似性的DDoS防护机制，给出了该机制的体系结构，其中包括攻击检测、路径定位、特征提取、生成响应策略、实时响应、处理结束等步骤.并在此基础上，对其数据结构和工作机制进行详细的分析和设计.实验证明此方法能够较好地对DDoS攻击加以检测和防护，比传统的基于特征匹配的DDoS入侵防护方法具有较好的性能.

OverflowDungeon：一种新颖的溢出攻击防护系统

韩宏卢显良任立勇杨宁

计算机科学. 2006, 33 (3): 105-107.

摘要 ( 93 )

PDF(227KB) ( 453 )

相关文章 | 多维度评价

溢出攻击是网络上威胁最大的一种攻击方式，现有的防护技术存在不同的缺陷.本文提出并实现了一种新颖的防护机制，它从阻止溢出攻击产生破环性效果入手，抑制攻击行为.该方式不需要修改编译器，或修改操作系统，具有很高的实用性，它采用了统计方式，可有效防护Dummy return攻击技术.试验结果表明，系统不仅能有效地阻止溢出攻击，在效率方面相对于其他方式也有显著优势.

基于单密钥的特定源多播安全机制

计算机科学. 2006, 33 (3): 108-109.

摘要 ( 82 )

PDF(224KB) ( 311 )

相关文章 | 多维度评价

由于多播网络体系结构中多播数据发送不是点对点的方式，因此传统的端到端的安全不适合多播网络体系结构.在多播数据发送前，多播数据的接收者只要公布自己的公/私钥对中的公钥以及在发送加入组成员消息时告诉多播数据的发送者它的一个密钥，而无须知道多播源发送数据的加密密钥;多播数据发送者在每一次发送多播数据时，随机地选出一个密钥对发送的信息进行加密，但该密钥不是直接告诉多播数据接收者;接收者在进行解密数据时，首先必须利用自己的私钥以及发送给多播数据发送者的密钥求得加密数据的密钥，然后才能进行原文解密.

加密图像置乱性能分析

计算机科学. 2006, 33 (3): 110-113.

摘要 ( 82 )

PDF(269KB) ( 528 )

相关文章 | 多维度评价

在对近年来的图像加密技术进行分析和研究的基础上，给出了几个图像置乱评价参数——不动点比、信息熵、灰度平均变化值及自相关度，并利用这些参数对传统的图像加密算法的置乱性能进行了模拟实验分析.分析及试验结果表明，综合利用这些参数可以有效地对加密图像的置乱度及安全性进行分析和评价.

一种验证业务级服务组合可执行能力的方法

单保华韩燕波李厚福胡海涛

计算机科学. 2006, 33 (3): 114-116.

摘要 ( 91 )

PDF(287KB) ( 259 )

相关文章 | 多维度评价

在面向服务的环境中，服务组合的可执行能力具有很大的不确定性，在业务级别组合服务更是如此.影响业务级服务组合可执行能力的因素是多方面的，本文针对组合的服务的逻辑结构和业务服务到具体服务的匹配方法对业务级服务组合可执行能力的影响，提出了一种基于着色时间Petri网（CTPN）的业务级服务组合可执行能力验证方法，并以制造业网格应用平台AmGrid为案例，展示了该方法在平台中的应用效果.

基于BPEL4WS的网格服务组合体系结构及其分析

蒋哲远韩江洪王钊

计算机科学. 2006, 33 (3): 117-120.

摘要 ( 81 )

PDF(436KB) ( 263 )

相关文章 | 多维度评价

开放网格服务基础结构OGSI（Open Grid ServicesInfrastrstructure）把Web服务工作流引入到网格任务描述中，给出了几种Web服务与网格技术相融合机制，但并没有界定如何进行网格服务组合.而BPEL4WS（Business Process Execution Language for Web Services）是描述Web服务业务工作流的工业标准.通过对BPEL4WS和OGSI在生命周期管理、Web服务实例化和状态交互管理等方面异同的深度分析，提出了一种兼容OGIS并使用BP

Web服务组合中地理信息的集成与应用研究

计算机科学. 2006, 33 (3): 121-124.

摘要 ( 67 )

PDF(375KB) ( 278 )

相关文章 | 多维度评价

OpenGIS组织定义了用于将地理信息的交互与处理服务化的规范，但是按这些规范所构造的服务具有特殊性，难以和普通的Web服务进行交互并协同工作.本文通过扩展基于SOA架构的Web服务组合平台的体系架构，使得普通Web服务与处理地理信息的服务能够协调工作，并按符合OpenGIS规范的方式实现了在Web服务组合中对地理信息的集成与显示，在此基础上又对地理信息的一个重要应用——按位置组织服务进行研究，并探讨了多种服务组织方式间的统一操作接口问题.

基于模式映射的查询计划生成算法

计算机科学. 2006, 33 (3): 125-128.

摘要 ( 55 )

PDF(242KB) ( 262 )

相关文章 | 多维度评价

因特网的迅速发展使得多数据源综合集成日益重要.但是，不同数据源之间数据结构和语义的异构性导致数据集成是相当困难的.本文提出了一种基于模式映射的查询计划生成算法.该算法在正确定义映射规则的前提下，根据不同的查询条件和不同的数据源模式，自动构造查询计划，并保证结果数据满足目标模式结构与引用完整性要求.

一种基于完整性约束的路径表达式的查询优化策略

计算机科学. 2006, 33 (3): 129-131.

摘要 ( 74 )

PDF(223KB) ( 252 )

相关文章 | 多维度评价

利用路径表达式导航XML查询是XML查询语言的共同特点.目前对XML路径表达式的计算有两种方法：一种是基于树遍历的方法，一种是路径连接方法.在路径连接方法中路径表达式的计算效率很大程度上依赖于路径表达式的长度.在对XML模式反映的完整性约束研究的基础上，本文提出了排他性包含约束的概念;给出了利用排他性包含约束缩短路径表达式的策略和算法，从而降低了路径连接的代价.通过分析比较，这种路径缩短策略是有效可行的.

基于版本管理企业需求驱动的企业资源计划批量定制研究

计算机科学. 2006, 33 (3): 132-137.

摘要 ( 63 )

PDF(478KB) ( 300 )

相关文章 | 多维度评价

ERP实施成功率低已经成为制约ERP效益发挥的一大瓶颈因素.这篇文章认为必须从企业的需求出发，在ERP软件产品一侧下功夫，提出了基于版本管理企业需求驱动的企业资源计划软件批量定制开发模型，详细论述了ERP产品开发中的版本管理，基于企业需求分析的动态企业建模，批量定制的企业资源计划产品生产等问题，同时优化了ERP软件开发过程中的版本管理.解决了ERP产品柔性、适应性和ERP产品敏捷生产的问题，为提高我国企业ERP产品的实施成功率，探索出一条新途径.

PostgreSQL数据库预取算法研究

胡巧巧王建民叶晓俊

计算机科学. 2006, 33 (3): 138-139.

摘要 ( 86 )

PDF(228KB) ( 388 )

相关文章 | 多维度评价

减少磁盘的存取时间是提高数据库性能的关键.本文讨论了PostgreSQL数据库顺序存取的特性,提出了一种PostgreSQL中顺序预取数据块的算法,预取的数据块数目可根据当前存取块之前的顺序存取情况作自适应调整.实验结果表明,该算法能有效地提高磁盘块的平均存取速度.

支持IPv4/IPv6的RTSP流媒体应用代理的设计与实现

计算机科学. 2006, 33 (3): 140-144.

摘要 ( 97 )

PDF(355KB) ( 805 )

相关文章 | 多维度评价

近年来，基于RTSP协议的流媒体应用逐渐得到普及.在网络和网络应用从IPv4向IPv6过渡的过程中，新构建的基于IPv6的RTSP应用，要求能够和原有IPv4网络中的RTSP应用进行互通.本文提出并实现一种基于代理的RTSP流媒体应用过渡方案，RTSP协议在IPv4/IPv6之间的转换工作由代理来完成，不需要对客户端和服务器端的软件进行修改.从数据结构和接口调用两个层面，对开源的Darvin Streaming Proxy代码（仅支持IPv4协议）进行改造，实现了流媒体应用在IPv4和IPv6网络间的互访

极小子集问题的逻辑代数解法

李小霞

计算机科学. 2006, 33 (3): 145-146.

摘要 ( 72 )

PDF(179KB) ( 284 )

相关文章 | 多维度评价

在粗集论中，决策表简化问题可转化为极小子集问题.本文给出极小子集问题的逻辑代数解法，即通过求逻辑函数的极小析取范式或极小合取范式来获得极小子集.

一种多步Q强化学习方法

计算机科学. 2006, 33 (3): 147-150.

摘要 ( 159 )

PDF(274KB) ( 473 )

相关文章 | 多维度评价

Q学习是一种重要的强化学习算法.本文针对Q学习和Q（λ）算法的不足，提出了一种具有多步预见能力的Q学习方法：MQ方法.首先给出了MDP模型，在分析Q学习和Q（λ）算法的基础上给出了MQ算法的推导过程，并分析了算法的更新策略和k值的确定原则.通过悬崖步行仿真试验验证了该算法的有效性.理论分析和数值试验均表明，该算法具有较强的预见能力，同时能降低计算复杂度，是一种有效平衡更新速度和复杂度的强化学习方法.

自组织拓扑映射与主曲线学习

倪劲松李玉珍王宜怀

计算机科学. 2006, 33 (3): 151-154.

摘要 ( 292 )

PDF(302KB) ( 304 )

相关文章 | 多维度评价

本文利用自组织拓扑映射方法设计了一种简易主曲线学习的算法，该算法继承了HS主曲线算法和K主曲线算法的主要优点，同时降低了一般主曲线算法的难度，使其变得更简洁明了.

分块PCA鉴别特征抽取能力的分析研究

计算机科学. 2006, 33 (3): 155-159.

摘要 ( 84 )

PDF(342KB) ( 363 )

相关文章 | 多维度评价

基于主成分分析（Principal Component Analysis，PCA），本文提出了分块PCA人脸识别方法.分块PCA从模式的原始数字图像出发，先对图像进行分块，对分块得到的子图像矩阵采用PCA方法进行特征抽取，从而实现模式的分类.新方法的特点是能有效地抽取图像的局部特征，正是这些特征使此类模式区别于彼类.在Yale人脸数据库上测试了该方法的鉴别能力.实验的结果表明，分块PCA在识别性能上优于通常的PCA方法，也优于基于Fisher鉴别准则的鉴别分析方法：Fisherfaces方法、F-S方法、

一种新的错误驱动学习方法在中文分词中的应用

夏新松肖建国

计算机科学. 2006, 33 (3): 160-164.

摘要 ( 84 )

PDF(370KB) ( 340 )

相关文章 | 多维度评价

中文分词应用中一个很重要的问题就是缺乏词的统一性定义.不同的分词标准会导致不同的分词结果，不同的应用也需要不同的分词结果.而针对不同的分词标准开发多个中文分词系统是不现实的，因此针对多种不同的分词标准，如何利用现有的分词系统进行灵活有效的输出就显得非常重要.本文提出了一种新的基于转换的学习方法，对分词结果进行后处理，可以针对不同的分词标准进行灵活有效的输出.不同于以往的用于分词的转换学习方法，该方法有效利用了一些语言学信息，把词类和词内结构信息引入规则模板和转换规则中.为了验证该方法，我们在4个标准测试集

范例推理中面向对象的范例表示研究

耿焕同方瑾蔡庆生

计算机科学. 2006, 33 (3): 165-166.

摘要 ( 88 )

PDF(210KB) ( 259 )

相关文章 | 多维度评价

结合范例推理的具体特点，按照面向对象的形式定义，给出范例的面向对象表示方法.通过类的层次信息，方便地表示范例复杂的结构信息;它一方面克服了属性-值对表示法无法表示复杂结构范例的缺陷，另一方面将领域知识通过约束规则与范例的表示有机结合起来.在范例相似性计算上，区分类内相似性和类间相似性，使得相似性表示尽可能准确和科学，从而有效地拓展了范例推理系统中的知识表示能力.

基于非参数独立分量分析的说话人识别方法

陈刚陈莘萌向广利

计算机科学. 2006, 33 (3): 167-170.

摘要 ( 83 )

PDF(253KB) ( 261 )

相关文章 | 多维度评价

首先用非参数独立分量分析方法提取表征说话人音频特性的时域基函数组，语音信号可由这些基函数线性组合而成.每个可识别的说话人对应一个不同的基函数组，对某个特定人的输入音频，只有与它对应的基函数组使其系数向量各分量之间的独立性最强（也就是互信息最小）.对待识别音频，分别用已知说话人的时域基函数组计算各自的系数向量，并计算系数向量各分量之间的互信息.互信息最小的基函数组对应的说话人即为识别结果.实验结果表明，即使用很少的测试数据，也能达到很高的识别率.

多模式合一的“图检索”算法

计算机科学. 2006, 33 (3): 171-173.

摘要 ( 79 )

PDF(253KB) ( 294 )

相关文章 | 多维度评价

多模式合一，又称为联立合一，是一个有着重要研究价值的课题.在问答系统的研究中，多模式合一作为一种新的研究途径，具有较高的应用价值，也因此受到较高的关注和研究.本文首先介绍了多模式合一的相关定义，然后给出了多模式合一的一个具体实例，并对多模式合一的计算过程进行了分析.在此基础上，重点给出了多模式合一的算法——“图检索”算法.实验结果进一步表明，本算法可以有效地解决多模式合一问题.最后，介绍了本算法在中文问答系统中的具体应用。

面向数据的句法分析消歧

计算机科学. 2006, 33 (3): 174-178.

摘要 ( 72 )

PDF(350KB) ( 248 )

相关文章 | 多维度评价

面向数据的分析技术（Data-Oriented Parsing，DOP）是一种概率分析策略，其概率模型的主要目的在于为一个给定的句子找到最可能的分析，即分析消歧.实际上，有关算法计算复杂度的大量研究证明，该类消歧问题属于NP-完全问题.因此，为有效实现最可能的分析，国外学者提出许多近似分析算法.本文主要论述在DOP框架中，基于Monte Carlo方法找到最可能分析的近似分析算法，并说明该方法可在合理的算法时间代价范围内实现，而且在统计上受控，以确保所获得的近似解确实对应着分析消歧后的精确解.

计算科学的新领域：DNA计算（Ⅲ）

李燕

计算机科学. 2006, 33 (3): 179-180.

摘要 ( 79 )

PDF(192KB) ( 283 )

相关文章 | 多维度评价

DNA计算是应用分子生物技术进行计算的新方法.从理论上研究DNA计算方法，有利于推动理论计算科学的发展.本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA分子的可计算性及其计算能力.本文主要介绍DNA剪接计算模型的文法结构和剪接计算方法，探讨了不同DNA剪接计算模型的计算能力，证明了所有图灵机可计算的函数理论上都可以通过DNA剪接计算模型来计算.

基于两个集合上粗集模型的算法实现

刘贵龙

计算机科学. 2006, 33 (3): 181-184.

摘要 ( 81 )

PDF(271KB) ( 254 )

相关文章 | 多维度评价

为了处理人工智能中不精确和不确定的数据和知识，Pawlak提出了粗集模型，之后粗集理论得到拓广，人们提出了许多新的粗集模型，拓广的方法主要有两种，一种是减弱对等价关系的依赖，另一种是把讨论问题的论域从一个拓展到两个，Y.Y.Yao提出了一种基于两个论域的粗集模型，本文研究基于两个论域的粗集模型的具体算法实现，给出了上下近似的矩阵算法及其相应的焦点集的算法，并把相关结论及矩阵算法推广到模糊集上，还给出了相关模型的极为简洁的公理刻画，即仅用一条公理刻画该模型.

变集对联系度的扩充粗糙集模型及其属性约简

计算机科学. 2006, 33 (3): 185-187.

摘要 ( 57 )

PDF(205KB) ( 236 )

相关文章 | 多维度评价

鉴于现有的不完备信息系统的扩充方法都存在一定程度的局限性，本文运用集对分析方法，引入个体之间的联系度的概念，定义一个具有自反和对称性的集对容差关系SPA（α，β），提出了一种变集对联系度的扩充模型.这种扩充模型是对Kryszkiewicz的基于容差关系的扩充模型和王国胤的基于限制容差关系的扩充模型的改进和推广，既保留了这些模型的优点，克服了它们的局限性，又可以通过对同一度α和对立度β的调节和控制，在保证不完备信息系统中个体划分的准确性的同时，增加了其灵活性.然后，给出了相应于这种模型的属性约简算法.最后，

正负关联规则挖掘算法研究

计算机科学. 2006, 33 (3): 188-190.

摘要 ( 56 )

PDF(224KB) ( 372 )

相关文章 | 多维度评价

本文提出了一种快速有效的正、负关联规则挖掘算法MPNAR.另外，针对关联规则挖掘算法中支持数计算的复杂性，提出了一种基于二进制形式的支持数计算方法.实验结果表明算法MPNAR是有效和可行的.

基于网页结构挖掘的信息提取

计算机科学. 2006, 33 (3): 191-193.

摘要 ( 52 )

PDF(285KB) ( 269 )

相关文章 | 多维度评价

本文提出了两种细粒度的、基于网页结构挖掘的信息提取方法,比较了它们的优缺点,并给出了相应具体实现的性能测试和结果分析.

使用BP网络改进K-means聚类效果

王银辉熊忠阳

计算机科学. 2006, 33 (3): 194-196.

摘要 ( 84 )

PDF(151KB) ( 687 )

相关文章 | 多维度评价

K-means算法中的k值的确定和初始聚类中心的选择严重影响聚类效果.针对这一问题,本文提出使用BP神经网络改进K-means聚类效果的方法.通过对聚类结果进行反复训练,调整聚类数,K-means的聚类效果得到改善.采用人工数据和实际商业数据的实验证明该方法能有效地改善传统的聚类效果.

求解VLSI布局问题的启发式算法

陈矛黄文奇

计算机科学. 2006, 33 (3): 197-199.

摘要 ( 240 )

PDF(206KB) ( 506 )

相关文章 | 多维度评价

在人们现实布局实践经验的启发下，对VLSI布局问题提出了一个启发式算法.该算法由定序规则和定位规则组成，定序规则用来确定布局物体放入布局空间的先后顺序，定位规则规定每一布局物体都被当前最优的占角动作放入布局空间.对5个MCNC算例的测试结果表明，本文算法与基于Otree表示的算法相比，速度提高15～56倍;对于其中4个算例，面积利用率提高0.95%～5.31%.

无标记训练样本的Web文本分类方法

计算机科学. 2006, 33 (3): 200-201.

摘要 ( 61 )

PDF(235KB) ( 343 )

相关文章 | 多维度评价

在文本分类中获得有类别标记训练样本的代价是很高昂的，本文针对这个问题对传统的模糊聚类方法进行改进，提出模糊划分聚类方法FPCM，将聚类的无监督性和样本的先验知识结合起来，通过相似度度量聚类相关文本，取得比较客观的簇和少量标记文本，为监督学习找到分类依据，并结合朴素贝叶斯增量学习方式进行分类器的学习.本文进一步用估计分类误差损失的方法平衡选取候选样本，提高了分类准确率，实现了应用范围更加广泛的无标记文本分类学习模型.

基于小波的支持向量机预测模型及应用

计算机科学. 2006, 33 (3): 202-204.

摘要 ( 47 )

PDF(194KB) ( 248 )

相关文章 | 多维度评价

基于统计学习的预测方法在一定程度上依赖于大量数据的基础假设，但在实际应用中时间序列样本往往是有限的，论文提出了一种基于小波的支持向量机预测模型（WSVMFM）.通过小波框架的平移所生成的平方可积空间中的一组完备的基可以构造为支持向量机（SVM）的核函数，而采用该核函数的SVM（WSVM）可以逼近平方可积空间中的任意函数，从而提高学习和预测效率.将该预测模型应用于基于多智能代理的电子商务交易模型中可较好地解决交易状态表示及预测等问题.

基于不确定性推理的个性化算法研究

计算机科学. 2006, 33 (3): 205-207.

摘要 ( 79 )

PDF(216KB) ( 236 )

相关文章 | 多维度评价

远程教育系统的个性化研究是目前网络教育的重要课题，而学生模型的建立是提供个性化服务的关键.为此，本文通过采用人工智能技术，以自然频率法为基础推算后验概率，并通过与可信度方法相结合进行运算，对学生用户模型的建立提出了一种算法.

基于最大窗口的二次立体匹配方法

夏永泉杨静宇

计算机科学. 2006, 33 (3): 208-211.

摘要 ( 98 )

PDF(254KB) ( 270 )

相关文章 | 多维度评价

文中提出了一种新颖的基于窗口的立体匹配方法，该方法首先在最大窗口内估计视差，并假设该窗口内视差一致，在此基础上得到两个最大的匹配窗口，然后在这两个最大窗口内进行二次匹配，得到基于这两个窗口的逐像素视差，估计视差和像素视差之和就是结果视差.对相对较平滑或平滑均匀的区域，在匹配过程中，会出现匹配最小多值问题，面临如何确定最佳匹配.本文算法采用平滑性测度指标函数来屏蔽平滑或平滑均匀区域，并在匹配完成后，按照最近邻视差均值来估计平滑区域的视差.最后通过立体图像对算法进行了测试.实验结果表明，该方法是可行和有效的.

基于Hadamard变换的高维图像检索方法

计算机科学. 2006, 33 (3): 212-214.

摘要 ( 70 )

PDF(224KB) ( 273 )

相关文章 | 多维度评价

传统索引方法对高维数据进行近邻搜索时会面临维数灾难问题，向量近似方法是一种有效的高维检索方法.提出一种Hadamard变换域上的向量近似方法，在变换域能量最大的分量上建立顺序索引，然后建立近似向量文件.同时提出低维过滤算法，可以在近邻搜索过程中高效排除不匹配近似向量，减少I/O访问时间，提高查询效率.在大型高维图像特征库上的实验表明，该方法性能优于小波变换域的向量近似方法.

一种基于最小风险检测ART网分类器的设计与人脸识别

计算机科学. 2006, 33 (3): 215-218.

摘要 ( 70 )

PDF(324KB) ( 280 )

相关文章 | 多维度评价

本文通过对传统的自适应共振网络（ART）的研究，分析了其优缺点及应用领域，在此基础上提出了一种适合训练样本数较少、样本特征值维数较高的图像目标分类的最小风险检测ART网络，并重点讨论了该网络在结构上的改进和运行原理，以及基于该网络的分类器的设计及其算法实现过程.通过对ORL人脸库和Yale人脸库的图像样本仿真结果表明，应用该分类方法进行人脸图像分类识别，同时获得了较高的分类速度和分类效果.

面向存储与传输的手绘草图信息表示模型

孙怀志孙正兴

计算机科学. 2006, 33 (3): 219-223.

摘要 ( 69 )

PDF(376KB) ( 277 )

相关文章 | 多维度评价

草图信息的存储与传输是草图系统在信息共享乃至网络协同方面需要解决的问题，其核心在于草图信息的一致表示.本文从信息表示和信息传输两个维度，建立了草图信息表示模型框架.该框架采用域模型思想，包括域属性、逻辑模型、转换模型、对象模型和控制模型，它们实现了草图信息的一致表示、统一管理和信息存储、传榆.最后，从静态和动态两方面，对草图信息的建模过程进行了详细描述，给出了草图信息表示的XML实现策略，并对信息传输技术进行了分析.

模型驱动体系结构研究综述

计算机科学. 2006, 33 (3): 224-228.

摘要 ( 113 )

PDF(391KB) ( 712 )

相关文章 | 多维度评价

模型驱动体系结构（MDA）是由OMG提出的应用模型技术进行软件开发的方法和标准体系，其核心技术是平台无关模型建模和平台特定模型转换.MDA代表了现代软件开发理论与方法发展的主流趋势，可以预见到它会成为继面向对象技术后软件工程史上的又一个里程碑.本文对MDA进行了系统性的阐述，包括MDA产生背景、总体构成、模型体系、软件方法、应用与评价以及最新研究与趋势等.

基于软件体系结构的集成适配器集成模式研究

计算机科学. 2006, 33 (3): 229-233.

摘要 ( 126 )

PDF(469KB) ( 332 )

相关文章 | 多维度评价

集成适配器是构建分布应用集成的重要组件之一，能够完成应用程序间的连接、介入及转换等功能，屏蔽了应用集成复杂性.尽管集成适配器在分布应用集成中起到关键性的作用，但是目前缺少对集成适配器系统性的研究.本文通过调查分析已有的适配器，给出集成适配器的基本特征并从多个视角归纳总结了集成适配器的类型，进一步分析了集成适配器的集成模式.通过对集成适配器集成模式的研究，可以为不同集成场景提供解决方案并决定其适用范围，支持适配器的快速实现.最后，以资源适配器为例说明集成模式的应用.

函数式元编程语言的设计要素

计算机科学. 2006, 33 (3): 234-238.

摘要 ( 67 )

PDF(378KB) ( 530 )

相关文章 | 多维度评价

本文介绍基于函数式语言的元编程系统，讨论元编程系统特别是同构系统的语言特点.从程序反射的角度分析元编程系统对程序设计语言在自我表示、自我分析和控制等方面的要求.以MetaML和Template Haskell为例论述在函数式语言中为了支持元编程需要扩展的机制，包括语法、语义、类型系统、安全的变量使用等，以及它们的实现方案、各方案的特点.最后总结一些元编程系统的共同点，并预测未来的发展趋势.

同时多线程处理器上的动态分支预测器设计方案研究

计算机科学. 2006, 33 (3): 239-243.

摘要 ( 68 )

PDF(487KB) ( 651 )

相关文章 | 多维度评价

同时多线程处理器（SMT）每个周期能够从多个线程中发射指令执行，从而大大地提高了超标量微处理器的指令吞吐量，但多个线程的同时执行也带来了许多硬件资源的共享冲突问题.其中，多个线程共享分支预测硬件的方案会对分支预测精度产生较大的影响.研究SMT处理器中分支处理方案对于处理器整体性能的影响，对于指导SMT处理器的设计是十分重要的.本文利用SMT处理器模拟器，针对各线程运行独立应用的SMT结构实验评估了几种著名的分支预测方案;给出了在单线程和多线程情况下，分支预测方案对分支预测精度和处理器整体性能的影响的分析;

性能测试工具能力评估框架研究

赵冲冲白晓颖王钊

计算机科学. 2006, 33 (3): 244-248.

摘要 ( 61 )

PDF(485KB) ( 451 )

相关文章 | 多维度评价

随着分布式应用系统的广泛使用，对性能测试的要求越来越高，而性能测试通常都需要借助于自动化性能测试工具才能实现.但是，评估工具的能力成熟度从而为选择恰当的工具提供依据，仍然是性能测试人员面临的主要困难.为解决这个问题，本文提出了一个框架，从如下三个方面评估性能测试工具的能力：可靠性，测试能力和资源管理能力.每个评估方面都由一组评估特性组成.最后，以目前市场上最流行的三种产品为例进行了分析和比较.

基于CC与SSE-CMM的高确信度信息安全系统的开发方法

计算机科学. 2006, 33 (3): 249-251.

摘要 ( 61 )

PDF(308KB) ( 334 )

相关文章 | 多维度评价

尽管CC和SSE-CMM均可通过对信息安全产品或系统的开发、评价、使用过程等各个环节实施安全工程来确保产品或系统的安全确信度，但CC和SSE-CMM是两个不同的安全评估标准.文中分别介绍CC和SSE-CMM的结构模型和特点，并对CC和SSE-CMM进行比较分析.最后，针对CC与SSE-CMM具有互补性的特点，提出了将CC与SSE-CMM结合起来开发高确信度信息安全产品或系统的开发方法.

面向Java语言的类复杂性度量方法的研究

计算机科学. 2006, 33 (3): 252-254.

摘要 ( 58 )

PDF(225KB) ( 315 )

相关文章 | 多维度评价

软件产品复杂度在软件度量领域是一个非常重要的方面.软件开发的成本、进度和潜伏的错误数量都与复杂度有密切的关联.由于OOA和OOD被广泛运用，面向对象的软件度量已成为面向对象软件工程一个不可分割的部分.本文通过分析C＆K和Lorenz＆Kidd度量方法，提出了适用于JAVA语言特征的面向对象的类复杂性度量方法.

上下文相关图文法分析及其应用初探

计算机科学. 2006, 33 (3): 255-260.

摘要 ( 77 )

PDF(462KB) ( 403 )

相关文章 | 多维度评价

图文法是一种对可视化语言进行形式化定义的元语言，具有表达自然、能力强大的特点.随着使用可视化语言的最终用户编程技术的广泛应用，图文法分析尤其是上下文相关图文法分析在工程应用中的重要性日益突出.国内外相关文献或着重于纯理论探讨，或局限于特定语法类的特定应用，不利于工程应用人员参考.本文选取简洁明了的符号体系，介绍上下文相关图文法分析的一般性过程，并将其中规则选取关键步骤描述为CSP问题，利用已有的针对CSP问题的优化方法来优化算法，介绍了现有的优化方法并给出实现算法;同时，结合自身实践，讨论其在一个面向体系

Web服务的Pi演算描述

郭小群郝克刚

计算机科学. 2006, 33 (3): 261-262.

摘要 ( 64 )

PDF(141KB) ( 276 )

相关文章 | 多维度评价

如何从已有的Web服务构造新的增值性的正确的Web服务，已成为研究Web服务的群体关注的一个焦点.因此，为了得到可靠的、高质量的服务，必须找到一种建模方法和工具，在Web服务投入使用之前，对其进行分析和验证.本文主要从过程代数的角度出发，用Hi演算来描述Web服务以及Web服务的组合.

基于不完全Kripke结构三值逻辑的模型检验

郭建韩俊刚

计算机科学. 2006, 33 (3): 263-266.

摘要 ( 73 )

PDF(365KB) ( 334 )

相关文章 | 多维度评价

模型检验技术是形式化验证中比较成熟的技术，但随着设计系统规模的增加，状态爆炸已成为其发展的一个主要问题.为解决此问题，本文提出对系统进行抽象，建立不完全的状态模型，在此状态模型上来验证表示其属性的逻辑公式.这样一个逻辑公式的真值除了真、假外，还出现了第三种情况：未知，即在这个状态模型下无法确定其真值，需要更多的状态信息才能确定.本文还讨论了二值逻辑的模型检验技术，在此基础上给出了基于不完全状态空间的三值逻辑的模型检验算法，此算法与二值逻辑模型检验算法相比，没有带来时间复杂度的增加，最后给出了三值逻辑模型检

不同任务粒度下校验式IP-SWAN系统的性能评价模型

计算机科学. 2006, 33 (3): 267-270.

摘要 ( 56 )

PDF(253KB) ( 211 )

相关文章 | 多维度评价

在不同的任务粒度下，RAID5结构的IP-SWAN系统的请求数据流动有很大的不同.在详细分析了校验式IP-SWAN系统在读任务、大数据写任务和小数据写任务下的数据流程的基础上，建立了IP-SWAN系统的闭合排队网络模型，研究了在不同任务类型和粒度下系统各个部件服务需求的计算方法，并采用MVA分析法在理论上对IP-SWAN系统的吞吐量进行了计算.实验测试结果表明，理论模型的数值计算结果与实验结果基本一致，能够反映实际系统性能的变化趋势.

下推自动机的状态转换图与下推自动机的化简

计算机科学. 2006, 33 (3): 271-274.

摘要 ( 172 )

PDF(247KB) ( 912 )

相关文章 | 多维度评价

参照有限状态自动机图形表示方式的思想方法，研究了标准下推自动机的图形表示——PAD状态转换图，证明了下推自动机与标准下推自动机的等价性.给出了对标准下推自动机进行化简的原则，并给出了化简算法，实现了下推自动机的化简.

基于分条单元热度的RAID数据分布优化

计算机科学. 2006, 33 (3): 275-278.

摘要 ( 92 )

PDF(306KB) ( 245 )

相关文章 | 多维度评价

磁盘具有离磁盘轴心越远的分区其数据传输率越高的特点，然而传统RAID中文件分条单元在磁盘中是随机和静态存放的.针对此种情况，为了充分改进RAID的I/O性能，本文提出了一种动态的RAID数据分条存放和迁移策略PMSH（Placement and Migration based on Stripe unit Heat）.PMSH根据RAID中的文件分条单元的访问热度，动态地将访问频率高的分条单元迁移到数据传输率较高的磁盘分区，从而优化文件在RAID的存放位置，使RAID中的数据分布能够适应文件访问率的动态变

数字城市核心系统平台的服务总线设计

史文勇李琦林宇徐建鸿

计算机科学. 2006, 33 (3): 279-282.

摘要 ( 56 )

PDF(324KB) ( 253 )

相关文章 | 多维度评价

数字城市建设过程中，日益需要一个开放式、易扩展、可重用的核心系统平台.本文给出了满足上述条件的CyberSIG Studio的特征和系统组成，并重点描述用于无缝集成和管理CyberSIG Studio各功能服务器的服务总线CyberSIG Service Bus的设计.

多域安全互操作的可管理使用控制模型研究

洪帆崔永泉崔国华付才

计算机科学. 2006, 33 (3): 283-286.

摘要 ( 96 )

PDF(313KB) ( 279 )

相关文章 | 多维度评价

多域环境的异构、动态和区域自治的特点为安全互操作访问控制研究提出了新的挑战.近来在多域安全互操作访问控制方面做了大量研究，大多在单域内基于角色访问控制的前提下，将外域角色映射到本地角色来实现访问控制，在外域和本地角色的管理上缺乏系统化的统一.本文提出了可管理的使用控制模型，对外域和本地用户角色指派进行统一管理，弥补了原有模型的安全漏洞.该模型提供了足够的灵活性，可以区分外域用户和本地用户，并且对外域用户实施更为严格的控制，同时保留了传统RBAC模型的优点.该访问控制模型正在实践中实施.

基于自平衡的非周期任务动态实时调度算法

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

摘要 ( 92 )

PDF(413KB) ( 346 )

相关文章 | 多维度评价

为了更有效地进行开放和不可预测系统的载荷管理，提出了一种基于自平衡的动态实时调度模型——DRSSR（Dynamic Real-time Scheduling based on Self-Regulation）.DRSSR把许可控制和QoS降级相结合，采用反馈控制技术来确保系统的性能、消除干扰和提高系统吞吐率.建立了DRSSR的数学模型，并分析了其稳态性能和瞬态性能.最后，一组基于实时操作系统CRTOS-Ⅱ的实验表明，DRSSR在不确定实时环境中具有良好的性能，并且响应快、实现简单.

基于CORBA主动服务技术的高速公路紧急救援系统模型研究

计算机科学. 2006, 33 (3): 291-293.

摘要 ( 62 )

PDF(229KB) ( 216 )

相关文章 | 多维度评价

结合高速公路紧急救援系统中的实际需要，深入研究的基于CORBA的主动服务相关技术，提出了一个基于CORBA通知服务的主动服务模型，该模型高具有较好的跨平台能力、可管理性、可扩充性、可维护性和可伸缩性.

基于GIS的通用监控系统的设计与实现

常保平

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

摘要 ( 65 )

PDF(154KB) ( 263 )

相关文章 | 多维度评价

随着GIS的飞速发展和广泛应用，直观性特点很强的GIS已越来越多地应用到监控系统，基于GIS的通用监控系统解决了监控系统的直观显示问题，提供了可重用的应用平台.