计算机科学

杨志峰王斌李素建

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

摘要 ( 80 )

PDF(220KB) ( 272 )

相关文章 | 多维度评价

目前信息检索系统的评估方式主要是黑箱方法，无法了解系统内部情况。逻辑方法为比较不同类型的信息检索系统的内部功能提供了途径。为此一些基本的定义和假设已经被建立，并被初步应用于理论研究，但目前的逻辑框架尚未完善。本文通过分析逻辑框架的语义基础，重新定义了基本语义概念，为逻辑框架提供了语义支持，使逻辑结果更逼近实际语义。

网格环境下的数据库系统

汪锦岭金蓓弘李京

计算机科学. 2004, 31 (3): 4-6.

摘要 ( 140 )

PDF(162KB) ( 303 )

相关文章 | 多维度评价

目前网格上的各类应用系统几乎都是使用文件来保存数据，因此人们对如何将数据库系统集成入网格这个问题研究甚少。如果网格要在将来支持更大范围的应用系统，那么必须要解决将数据库系统集成入网格这个问题。本文在分析网格环境对数据库系统的需求的基础上，总结了将数据库系统集成入网格的两种方法，并分别对它们做出评价。

移动Ad Hoc网组播路由协议研究进展

任智郭伟

计算机科学. 2004, 31 (3): 7-14.

摘要 ( 94 )

PDF(477KB) ( 480 )

相关文章 | 多维度评价

移动Ad Hoc网和组播都是既有美好前景又有实现难度的技术，在移动Ad Hoc网中进行组播更是一项带挑战性的工作。目前该领域的研究热点之一是路由协议。本文介绍了移动Ad Hoc网组播路由的主要难点及研究现状，分类描述和比较了已有的主要协议，并对泛洪协议以及单播与组播路由协议的关系进行了阐述，最后展望了未来的研究工作。

XQuery语言的形式化语义

杨红丽韩俊刚郝克刚

计算机科学. 2004, 31 (3): 15-18.

摘要 ( 77 )

PDF(218KB) ( 302 )

相关文章 | 多维度评价

XQuery语言用于查询XML文档。目前，该语言规范还是W3C的工作草稿。语言的形式化语义有助于语言的标准化，本文通过重用XML家族语言通用语义构件的方法，形式化建模XQuery语言的语义，语义的描述采用Object—Z规范语言。这种面向对象的语义描述不仅具有简洁性、可扩展性和可组合性，而且有助于规范之间的一致性和协调性。

Web应用服务器的可扩展管理模型及其实现

董伟川金蓓弘张锋范国闯林世彪

计算机科学. 2004, 31 (3): 19-22.

摘要 ( 94 )

PDF(232KB) ( 350 )

相关文章 | 多维度评价

Web应用服务器是为事务性Web应用提供一系列运行时服务的分布式系统。它既要管理多种不同类型的资源，又要集成以往成熟的网络管理协议和系统，因此，如何统一有效地管理Web应用服务器的资源、应用和服务成为实现Web应用服务的一个难点。为此，本文基于JMX(Java^TM Management Extensions)技术，提出了一种可扩展管理模型，该模型具有较好的灵活性和开放性，可扩展能力强。同时．本文还给出了实现该模型的若干关键技术包括可扩展管理内核的实现技术、资源远程管理技术、服务可扩展管理技术。目前该模型

多Agent系统中强化学习的研究现状和发展趋势

赵志宏高阳骆斌陈世福

计算机科学. 2004, 31 (3): 23-27.

摘要 ( 89 )

PDF(300KB) ( 620 )

相关文章 | 多维度评价

本文对有关强化学习及其在多Agent系统中的应用等方面的研究现状、关键技术、问题和发展趋势进行了综述和讨论，试图给出强化学习目前研究的重点和发展方向。主要内容包括：(1)强化学习的框架结构；(2)几个有代表性的强化学习方法；(3)多Agent系统中强化学习的应用和问题。最后讨论了多Agent系统中应用强化学习所面临的挑战。

无线Ad Hoc网络QoS路由协议研究的进展与展望

李云隆克平吴诗其赵为粮

计算机科学. 2004, 31 (3): 28-30.

摘要 ( 122 )

PDF(177KB) ( 275 )

相关文章 | 多维度评价

无线ad hoc网络是一种无固定通信设备支持、节点可自由移动的多跳全分布式无线网络。无线ad hoc网络的应用环境以及与Internet的互连要求它必须提供一定的服务质量(QoS)保证，而QoS路由协议是无线ad hoc网络支持QoS的一个关键理论和技术，也是目前的一个研究热点。本文回顾了近年来国内外在无线ad hoc网络QoS路由协议研究方面取得的研究成果，对已有的无线ad hoc网络的QoS路由协议进行了分类．并对它们作了较全面的概括。总结和深入的比较分析，系统阐述了在无线ad hoc网络中实现QoS

基于SDL语言的移动Ad-hoc网路由协议的设计和验证

潘红艳于全

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

摘要 ( 74 )

PDF(139KB) ( 333 )

相关文章 | 多维度评价

论文简要阐述了SDL的基本概念及使用它开发通信协议软件的优点，并给出在移动Ad—hoc网路由协议开发中采用SDL语言对路由协议软件进行设计和验证的实例，为通信协议的设计和验证提供了一种有效的方法。

无线Ad Hoc网络中最佳分组长度问题的研究

张文柱李建东王炫

计算机科学. 2004, 31 (3): 34-36.

摘要 ( 98 )

PDF(175KB) ( 284 )

相关文章 | 多维度评价

为给无线Ad Hoc网络设计者提供参考依据，基于场景，用仿真方法研究了采用不同分组长度传输CBR业务时的网络性能，并给出了相应的最佳分组长度。仿真中采用了DSR路由协议。结果表明，在网络中的CBR连接数一定的情况下，有一个最佳的分组长度，当源节点以这个最佳分组长度发送业务时，网络性能最优；当采用的分组长度由苎佳长度逐渐减小时，网络性能很快变差；当采用的分组长度由最佳长度逐渐增加时，网络性能逐渐变差，但与最优的网络性能相差不大。

基于受限广播搜索的分布式QoS组播路由协议

谭敏强雷振明

计算机科学. 2004, 31 (3): 37-39.

摘要 ( 84 )

PDF(222KB) ( 361 )

相关文章 | 多维度评价

根据像网络电视这样的宽带多媒体业务的需要，提出了一种简单有效的分布式QoS组播路由协议来支持动态成员组播。分析和仿真表明，本协议和其它同类协议比具有消息开销少、成功率高、路径建立时延短和性能稳定等优点。

实现高端应用中端到端QoS的关键问题及技术研究

张阳周竞扬陆桑璐谢立

计算机科学. 2004, 31 (3): 40-43.

摘要 ( 96 )

PDF(227KB) ( 503 )

相关文章 | 多维度评价

随着高端网络应用的兴起及近几年网格技术的发展，传统的传榆服务模型和QoS实现机制已经不能适应高端应用对网络和其它资源的需求。因此，如何在高端应用间提供更优的QoS成为关注的焦点。本文从IP网络传输控制机制和端点QoS系统结构两个角度，探讨了端到端QoS实现的关键问题，同时详细分析并比较了几种端到端QoS实现构架及主要特点。

层次化移动IPv6环境中的QoS机制

赵艳琼杨寿保

计算机科学. 2004, 31 (3): 44-47.

摘要 ( 80 )

PDF(214KB) ( 297 )

相关文章 | 多维度评价

本文针对层次化移动IPv6的网络提出了一种QoS信令，为移动节点提供服务质量的保障。在分析了RSVP信令的特点及其由于对多播的支持而增加的复杂性的基础上，设计了一个简化的RSVP信令，然后把此RSVP信令和层次化的移动协议相结合提出了一个综合的QoS切换方案，并在层次化的移动环境下，对此QoS信令和其它几种QoS机制在资源预留时间和信令负荷方面进行了性能比较。

基于卫星网的路由算法研究及其伪代码实现

孙知信王汝传王绍棣张登银李军

计算机科学. 2004, 31 (3): 48-50.

摘要 ( 139 )

PDF(177KB) ( 364 )

相关文章 | 多维度评价

路由问题在通信网中一直是一个核心问题，路由算法的优劣将直接影响到整个通信网络的性能以及通信的质量，在卫星网络中也不例外。由于卫星网络具有区别于地面网络的拓扑结构的动态变化等独有的特点，使得适用于地面网络的路由算法不能用于卫星网络上，因此必须针对卫星网络的特点设计适合于卫星网络的路由算法。本文先阐述了路由算法的影响因素及设计目标，然后提出了一种运行于卫星网络上的基于时空的路由算法，给出了算法的详细步骤，并详细介绍了算法的伪代码实现。实验表明该算法能很好地满足卫星网络的要求。

卫星综合信息网网络管理协议的研究

姜月秋闻应友王光兴

计算机科学. 2004, 31 (3): 51-54.

摘要 ( 81 )

PDF(171KB) ( 407 )

相关文章 | 多维度评价

随着航天技术的迅速发展，卫星网络的研究已成为热点。由于卫星网络具有不同于其他地面网络的特点，因此，在网络管理领域，现有的网络管理协议，例如SNMP、CMIP等将不适合对这种网络进行管理。本文设计了一种新型的网络管理协议——多元化网络管理协议(MNMP)原型，它的体系结构在兼容现有地面网络管理的基础上，针对卫星网络的特点，例如特殊的管理对象、传输特点等，设计了新的信息模型和通信模型，提出了面向联系的管理服务，定义了资源预留原语和任务原语，并已在仿真系统上得到了初步实现，为卫星网络管理的研究奠定了基础。

传感器网络的路由机制

孙利民叶驰廖勇

计算机科学. 2004, 31 (3): 54-57.

摘要 ( 79 )

PDF(233KB) ( 309 )

相关文章 | 多维度评价

微电子技术和无线技术的进步推动传感器网络的发展，传感器网络实现分布式监测任务，能够应用于各种领域。由于传统网络路由协议重点在于提供高的服务质量，不能适用于存在能量约束的传感器网络。本文在说明传感器特点的基础上，对传感器网络的路由机制进行了简单的分类，并详细介绍和分析已提出的主要路由机制。

基于Rough Set的电子邮件分类系统

李志君王国胤吴渝

计算机科学. 2004, 31 (3): 58-60.

摘要 ( 96 )

PDF(238KB) ( 299 )

相关文章 | 多维度评价

随着电子邮件的广泛使用，通过它进行不良信息传播的事件不断发生，电子邮件分类问题成为了网络安全研究的热点。本文通过对电子邮件头进行分析，运用Rough Set理论中相关的数据分析技术，建立了电子邮件分类系统的模型，并进行了实验测试，得到了满意的结果。

一个高效的电子商务谈判支持架构

魏定国吴时霖

计算机科学. 2004, 31 (3): 61-66.

摘要 ( 74 )

PDF(353KB) ( 301 )

相关文章 | 多维度评价

本文提供了一个通信管理与文档管理相结合的全新架构，能对谈判的各方面提供有效的支持。虽然模型主要强调对谈判的有效“支持”，但这个谈判的概念模型为设计自动或半自动电子谈判系统提供了思想基础。

数字现金系统发展问题研究

肖迪高婷婷王磊廖晓峰

计算机科学. 2004, 31 (3): 67-68.

摘要 ( 81 )

PDF(161KB) ( 310 )

相关文章 | 多维度评价

本文介绍了数字现金的关键技术、研究现状和应用现状，并指出了数字现金未来的发展方向。

EDNM：基于EI技术支持嵌入式设备网络管理模型的研究与实现

韩光洁王金东林涛王济勇赵海

计算机科学. 2004, 31 (3): 69-71.

摘要 ( 83 )

PDF(170KB) ( 3042 )

相关文章 | 多维度评价

随着EI技术的不断发展，人们目前可以对非Internet设备进行访问、管理和控制，但是如何才能有效系统管理大量的嵌入式设备一直都是困扰人们的难题。作者针对面向设备级动态驱动的异种网络互连的研究，提出了一种基于EI技术的支持嵌入式设备的网络管理的研究，通过该模型可以透明地加入和删除节点以实现系统的可伸缩性；通过检测节点或设备故障和正确地重置系统达到高可重用性。该模型可以实现设备的动态管理，可以对接入到互联网大量的嵌入式设备进行访问和控制，从而真正实现设备的网络化和智能化管理。本文详细讨论了嵌入式设备网络管理

硬实时以太网ARTC可靠性保障技术研究

陈慧熊光泽罗克露

计算机科学. 2004, 31 (3): 72-74.

摘要 ( 89 )

PDF(255KB) ( 329 )

相关文章 | 多维度评价

实时网络的很大一部分应用在现场总线控制领域，提供实时、快速、可靠的信息传递。基于以太网的硬实时通信技术ARTC能较好地满足工业控制系统实时、快速的通信要求，但以太网的通信特性却导致其缺乏可靠性。本文简要介绍了ARTC的通信管理机制，在对其可靠性问题深入研究的基础上，从系统结构、多级自检、监控管理、故障处理以及流控等方面提出了相应的处理策略，能全面提升系统的可靠性，为ARTC在现场总线控制领域的应用奠定了坚实的基础。

网络入侵检测中序列模式挖掘技术研究

赵峰李庆华赵彦斌

计算机科学. 2004, 31 (3): 75-79.

摘要 ( 101 )

PDF(282KB) ( 301 )

相关文章 | 多维度评价

面向入侵检测的数据挖掘是目前国际上网络安全和数据库、信息决策领域的最前沿的研究方向之一。入侵检测中进行序列模式挖掘时，由于频繁网络模式和频繁系统活动模式只能在网络或操作系统的单个审计数据流中获得，因而传统从事件流数据中获取单序列模式的算法，以及从不同多数据序列中获取多个序列模式的算法都不再适用。本文研究了入侵数据的特性，提出了网络入侵检测中序列模式挖掘框架和实时序列模式挖掘模型，并设计了一种新的面向入侵检测．基于轴属性、参考属性、相关支持度的序列模式挖掘算法SPM—ID(Sequential Patter

一种运用限幅自相似性的新型DDoS入侵检测机制

罗光春卢显良薛丽军

计算机科学. 2004, 31 (3): 80-85.

摘要 ( 80 )

PDF(276KB) ( 339 )

相关文章 | 多维度评价

本文提出了一种新型的DDoS入侵检测方法，在建立正常网络流量模型基础上，对网络流量的自相似性-Hurst参数、Hurst参数的时变函数H(t)进行分析，对网络流量进行实时限幅，由自相似性的变化来预测DDoS攻击，并用数据库对攻击定住。试验表明基于网络流量的统计分析方法能够在一定程度上检测出DDoS攻击，比传统的基于特征匹配的DDoS入侵检测方法，在实时性、准确率上有较大提高。

dmGQL：一种新的数据立方梯度查询语言

刘玉葆冯玉才

计算机科学. 2004, 31 (3): 86-88.

摘要 ( 83 )

PDF(221KB) ( 318 )

相关文章 | 多维度评价

现有数据立方梯度查询语言CubegradeQL主要是针对非实例化数据立方的，实际上，为了提高OLAP查询效率，数据仓库中往往保存了大量实例化的数据立方。本文我们改进了CubegradeQL语言，给出了一个新的查询语言dmGQL，dmGQL能够支持实例化／非实例化数据立方中的梯度查询，最后，我们讨论了dmGQL的查询处理。

面向数字城市的空间数据库设计与实现

李琦常磊王凌云

计算机科学. 2004, 31 (3): 89-91.

摘要 ( 76 )

PDF(206KB) ( 335 )

相关文章 | 多维度评价

空间数据库是数字城市空间数据基础设施的核心技术平台。本文在分析面向数字城市空间数据库的特点及功能定位的基础上，提出其核心内容，包括元数据库、适感影像数据库、电子地图数据库、GPS数据库、地理编码数据库和社会经济基本单元数据库等。同时，对其数据组织模型和接口体系进行设计，并基于J2EE规范和Oracle Spatial进行了初步实现。

基于小波变换的零森林图像压缩方法

龚劬

计算机科学. 2004, 31 (3): 92-94.

摘要 ( 88 )

PDF(178KB) ( 267 )

相关文章 | 多维度评价

该文从理论和实验上证明了同级别不同方向子带的零树位置具有较大相关性，据此提出了嵌入的零森林编码方法MRZF。该方法把森林作为系数表示的基本数据结构，使相邻系数之间，同方向子带之间的相关性以及不同方向子带间的相关性能被有效利用，编码效益更高。该方法可直接输出0，1比特流，编解码速度快，且具有多率特性和低计算复杂性的特点，可实现码流的累进传送。采用国际上通用的标准测试图像对提出的图像压缩方法进行测试，实验结果优于现有方法。

理想状态下泛逻辑的形式演绎系统B

罗敏霞何华灿

计算机科学. 2004, 31 (3): 95-98.

摘要 ( 81 )

PDF(180KB) ( 265 )

相关文章 | 多维度评价

本文提出泛逻辑学在理想状态(广义相关系数h=0．5．广义自相关系数k=0．5)下的形式演绎系统B。讨论了商代数[F]的性质。进一步证明了形式演绎系统B与文[11]的基本形式演绎系统UL(h=k=0.5)是等价的。

从逻辑系统到知识系统

李金厚蒋静坪

计算机科学. 2004, 31 (3): 99-101.

摘要 ( 66 )

PDF(166KB) ( 435 )

相关文章 | 多维度评价

当前的模态或非模态逻辑系统的概念都是狭义的，它们关心的主要是一些重言式或永真式。而对人来说，事实真或假的知识同样是非常重要的，但这样的知识却超出了它们的定义范围。当它们(通常是模态逻辑系统)被用于意识系统研究时，这就不合适了。为此，本文提出了一种知识系统的观点，其中不仅包括了通常逻辑系统的内容，而且也包括了事实真或假的知识等相关内容，从而解决了这一问题。

基于知识本体的属性分析以及概念联通

雷玉霞眭跃飞曹宝香

计算机科学. 2004, 31 (3): 102-105.

摘要 ( 81 )

PDF(212KB) ( 369 )

相关文章 | 多维度评价

知识库是计算机智能的重要来源。要提高机器的智能程度．不仅需要大型的知识库，更需要知识之间的广泛联通。类似于MindNet的语义联通，我们以文本知识为背景提出了基于本体的概念联通。文章首先介绍了知识本体的设计思想，然后进行属性的本体分析，最后讨论了基于属性的概念联通以及A-属性联通测度。

利用面向对象技术表示知识

刘启和杨国纬

计算机科学. 2004, 31 (3): 106-107.

摘要 ( 73 )

PDF(154KB) ( 305 )

相关文章 | 多维度评价

在本文中，我们提出了利用面向对象的技术表示语义和常识的方法。将知网中的义原(即最小的语义单位)表示为类，同时将概念之间、属性之间的语义关系转换为类之间关系以及类的属性之间的关系；将知网概念词典中的概念表示为所在范畴属性类的予类，并将DEF项中其它义原设置为该类中的变量。通过这种转换．知网中的语义和常识就被表示为类和对象。在实践中表明该方法是实际可行的，更重要的是为我们今后进行从文本中提取知识的研究打下基础。

多元时间序列中跨事务关联规则分析的高效处理算法

董泽坤李辉史忠植

计算机科学. 2004, 31 (3): 108-111.

摘要 ( 242 )

PDF(197KB) ( 433 )

相关文章 | 多维度评价

用挖掘跨事务关联规则的方法分析多元时间序列，可以找到序列中不同采样点观察值之间相互影响的关系。本文为实现这一目的，提出一种新的分析方法：ES—Apriori。此方法通过减少数据库扫描次数，优化内存分配，能够高效地分析多元时间序列之间的关联规则。试验表明，用此方法分析中国证券市场的股票时间序列非常有效。

频繁项集挖掘算法

颜跃进李舟军陈火旺

计算机科学. 2004, 31 (3): 112-114.

摘要 ( 101 )

PDF(238KB) ( 542 )

相关文章 | 多维度评价

数据挖掘在最近几年里已被数据库界所广泛研究，而搜索频繁项集是诸如关联规则挖掘，序列模式挖掘等数据挖掘问题中的关键步骤。本文描述了频繁项集挖掘问题的特点，并根据搜索策略对已有各种频繁项集挖掘算法进行了分析和比较。

基于概念格的Web日志路径挖掘算法

杨飞

计算机科学. 2004, 31 (3): 115-117.

摘要 ( 67 )

PDF(148KB) ( 289 )

相关文章 | 多维度评价

路径挖掘适用于探索用户沿超连接寻找和浏览网页的规律，而Web日志的完美结构使挖掘更加容易和有效。由二元关系导出的概念格作为一种非常有用的形式化工具，体现了概念内涵和外延的统一，反映了对象和特征间的联系以及概念的泛化与例化关系，因此非常适于发现数据中潜在的信息。本文通过概念格模型，提出了一种Web日志的路径挖掘算法，并进行了相关的分析与展望。

多智体在IDSSIM结构设计中的应用

游福成苏占东谢永红杨炳儒

计算机科学. 2004, 31 (3): 118-120.

摘要 ( 71 )

PDF(193KB) ( 285 )

相关文章 | 多维度评价

本文讨论了基于信息挖掘的智能决策支持系统IDSSIM的总体结构模型和各予系统功能描述。IDSSIM完善并扩充了现有智能决策系统的功能，将领域专家的知识获取、推理机制、KDD^*挖掘和Web挖掘有效地融入智能决策支持系统中，从而形成了一类具有双同、六库、综合集成、多层递阶和模型驱动的新型智能决策支持系统。

基于网格的开放式决策支持系统模型

迟嘉昱陈学广孙翎邹德清

计算机科学. 2004, 31 (3): 121-124.

摘要 ( 76 )

PDF(216KB) ( 291 )

相关文章 | 多维度评价

网格技术的出现和飞跃对决策支持系统(DSS)的发展将产生巨大影响。本文分析了当前DSS所存在的不足，介绍了网格的基本概念及网格技术对DSS的影响。最后提出了一个基本的开放DSS模型及其实现。

进化神经网络研究综述

姚望舒万琼陈兆乾王金根

计算机科学. 2004, 31 (3): 125-129.

摘要 ( 127 )

PDF(305KB) ( 767 )

相关文章 | 多维度评价

进化算法(EAs)与神经网络(NN)的结合已形成了一个新的领域一进化神经网络,在神经网络的研究中举足轻重。本文通过讨论和总结进化神经网络中的关键技术和现状，概述了其设计与构造的趋势。所讨论的是：(1)进化神经网络的研究方法；(2)进化模型；(3)应用实例及关键技术；(4)研究方向。

生物序列模式分析中神经网络的并行训练策略

王镝吴青泉王国仁于戈

计算机科学. 2004, 31 (3): 130-133.

摘要 ( 79 )

PDF(281KB) ( 255 )

相关文章 | 多维度评价

神经网络作为模式识别、数据挖掘等方面的有效工具，已被广泛应用到生物序列的模式分析中，而生物序列的超大规模、超长同时也给神经网络提出了挑战，即必须解决训练时间过长、效率低下的问题。本文提出了若干适合生物应用的神经网络并行训练策略，并按其神经网络粒度进行分类，同时分析和比较了各种策略的代价。

一种新的求解多峰函数优化问题的动态演化算法

覃俊康立山陈毓屏

计算机科学. 2004, 31 (3): 134-136.

摘要 ( 172 )

PDF(172KB) ( 359 )

相关文章 | 多维度评价

本文给出了一种新的求解多峰函数优化问题的定义：定位所有的极值点，包括全局的峰值点和局部的峰值点。传统的演化算法框架都是群体固定的演化迭代过程，对求解多峰函数优化问题时由于无法事先得知峰值点的个数而很难确定合适的群体大小．影响了算法的效率。提出一种群体动态可调的演化方式，使得初始群体大小可任意指定，在演化过程中通过聚集和按比例引入新个体两个过程而动态变化。实验表明，该算法能尽可能多地定位峰值点。

合成信息系统与子信息系统

邵明文张文修米据生

计算机科学. 2004, 31 (3): 137-139.

摘要 ( 67 )

PDF(132KB) ( 254 )

相关文章 | 多维度评价

本文给出了对象合成信息系统、属性合成信息系统、对象子信息系统及属性子信息系统的定义，分别讨论了它们的上下近似算子与原信息系统的上下近似算子之间的关系．并给出了它们的一些实际应用。

粗糙集的粗糙度

刘贵龙

计算机科学. 2004, 31 (3): 140-141.

摘要 ( 80 )

PDF(146KB) ( 466 )

相关文章 | 多维度评价

设U是全集，R是U上的等价关系，(U，R)是相应的近似空间，则粗相等关系≈是幂集P(U)上的等价关系，其商集为P(U)／≈，而商集P(U)／≈是一个分配格，本文考虑两种特殊情况，使得在这两种特殊情况下粗糙度有类似于集合论的包容排斥原理，同时我们还把此结论推广到粗糙模糊集上。

基于变精度粗集的分类方法

赵永强潘泉张洪才

计算机科学. 2004, 31 (3): 142-144.

摘要 ( 66 )

PDF(156KB) ( 284 )

相关文章 | 多维度评价

基于差别矩阵的约简算法简单、计算量小，但是传统的差别矩阵不能处理噪声数据。为提高差别矩阵的适用范围，提出一种能够容忍数据中包含噪声的变精度差别矩阵，并给出改进的基于条件属性偏序关系的约简算法。最后，将这一方法用于对多类图像的分类过程中，将分类结果与BP网络的分类结果和基于传统Skowron差别矩阵方法的分类结果相比较表明这种分类方法具有较好的结果。

奇异值分解与PKI结合的鲁棒图像认证方法

侯启槟杨晓帆王海涛王阳生

计算机科学. 2004, 31 (3): 145-149.

摘要 ( 63 )

PDF(298KB) ( 269 )

相关文章 | 多维度评价

在图像的传输过程中，恶意篡改导致图像内容变化，而压缩等正常处理也会引起图像质量下降。图像认证是通过检测图像中是否有被恶意篡改的部分，来验证图像内容的完整性，同时容忍压缩或噪声对原图像质量造成的影响。本文提出奇异值分解与公共密钥体系(PKI)相结事的图像认证方法。它选用奇异值分解结果作为特征，构成原图像的内容摘要，私钥加密后形成原图像的认证码，并由用户自定义特征匹配的闽值。密钥的交换，依赖于PKI。需要验证图像数据的完整性时，再次分解提取特征，并用公钥解密认证码，然后进行匹配，达到图像认证目的。通过与几种典

基于过程模式的软件过程实施系统的柔性研究

梁义芝王延章缪旭东刘云飞

计算机科学. 2004, 31 (3): 150-153.

摘要 ( 67 )

PDF(236KB) ( 283 )

相关文章 | 多维度评价

软件过程的复杂性和不确定性要求过程实施系统具有一定的灵活性和适应动态变化的能力。基于过程模式建立了软件过程实施系统。过程模式作为过程建模的可重用组件和过程实施的可重用的知识单元．支持过程模型对软件过程动态特性的描述和定义，支持过程实施中对动态变化的处理，基于过程模式的过程实施系统具有较好的柔性。

一个基于设计模式的通讯服务器的设计与实现

鲁平胡昊陈韬略吕建

计算机科学. 2004, 31 (3): 154-157.

摘要 ( 77 )

PDF(203KB) ( 253 )

相关文章 | 多维度评价

CMM(软件能力成熟模型)是一个管理和改进软件过程质量的软件过程模型。为了提高基于CMM的软件过程质量，应有效地支持和监视软件过程的实施。CPMS(基于CMM的过程管理系统)是一个分布式过程支持系统，它支持软件过程的自动实施。本文基于设计模式描述了CPMS中通用通讯服务器的设计与实现。这种设计与实现不仅允许通讯服务器对不同的应用提供不同的功能，而且对设计其它通讯服务器也提供指导。

栈寄存器分配优化

刘旸张兆庆

计算机科学. 2004, 31 (3): 158-160.

摘要 ( 110 )

PDF(184KB) ( 519 )

相关文章 | 多维度评价

寄存器栈在减少程序调用时的内存访问上发挥了重要作用。但是．并非任何时候栈寄存器的使用都是没有代价的．有时栈溢出的代价甚至非常高。为了解决这个问题，本文提出了一种解决自递归函数中大量栈寄存器的使用导致过高栈溢出代价的算法，对寄存器分配中的简化过程进行了改进．并提出了一种减轻寄存器压力的优化方法。本算法在开放源码编译器ORC(Open Research Compiler是IA-64开放源码编译器的名称)上得到了实现。在IA-64上运行的实验结果证明，该算法对于执行频率很高，而且寄存器压力大的自递归函数有很明显

若干发展的消息传递界面：PVMPI，IMPI与FT—MPI

魏兵海

计算机科学. 2004, 31 (3): 161-162.

摘要 ( 86 )

PDF(175KB) ( 365 )

相关文章 | 多维度评价

本文介绍了诸如PVMPI、IMPI的改进型消息传递界面(在异构环境中不同的MPI实现能够彼此互操作)，也介绍了具有容错能力的FI—MPI。分析了MPI的特征和体系结构及其性能。

多重循环的软件流水：比较和提高

李文龙汤志忠

计算机科学. 2004, 31 (3): 163-166.

摘要 ( 79 )

PDF(180KB) ( 659 )

相关文章 | 多维度评价

循环并行化是并行编译的核心问题之一。许多科学计算程序的大部分执行时间花费在循环上，有效开发循环中的并行性将提高整个程序的执行效率。多重循环最为常见，因此并行化多重循环具有重要的理论和现实意义。现代处理器中硬件资源迅速增长，也使得在整个多维循环空间中开发并行性成为必要。目前大多数软件流水算法只对最内层循环，仅有少数的算法对多重循环进行软件流水，本文介绍几种多重循环的软件流水算法，比较它们之间的相似与不同之处，为编译器实现中算法的选择提供了指导。

基于Monad的纯函数式语言通道系统设计

袁华强孙永强

计算机科学. 2004, 31 (3): 167-169.

摘要 ( 59 )

PDF(129KB) ( 275 )

相关文章 | 多维度评价

本文通过状态转换器来定义I／O的文件系统，并用非确定性Monad描述了操作系统的进程同，从而给出了通道系统的语义。

XP中若干实践的探讨

陈津徐宝文

计算机科学. 2004, 31 (3): 170-172.

摘要 ( 68 )

PDF(185KB) ( 330 )

相关文章 | 多维度评价

XP是适合中小型团队在模糊或迅速变化的需求的情况下使用的轻量软件开发过程。文章首先分析了XP中的几个关键实践：简单设计、测试、结对编程和重构，并针对某些应用背景下可能存在的问题提出了相应的修改建议。然后，以举例的方式具体说明如何运用XP的实践。最后，通过XP与传统软件开发方法的比较．分析了XP的主要特征和适用性。

FORTRAN 2000异常处理机制的研究

鞠小林徐宝文

计算机科学. 2004, 31 (3): 173-175.

摘要 ( 81 )

PDF(156KB) ( 325 )

相关文章 | 多维度评价

异常处理是现代程序设计语言的一个重要特征，它为检测和恢复软件系统在运行时的错误、构建系统的容错处理提供了强有力的支持。本文分析了FORTRAN 2000的异常处理机制，并提出一种扩充方案，引入用户定义异常和异常处理区的概念，改进了异常的传播机制，从而使FORTRAN编程更好地实现普通代码和异常处理代码的分离，提高了程序的可读性和可维护性。

FORTRAN 2000与C＋＋面向对象机制比较

黄文伟徐宝文

计算机科学. 2004, 31 (3): 176-178.

摘要 ( 67 )

PDF(150KB) ( 371 )

相关文章 | 多维度评价

本文在简单讨论面向对象方法的基本机制的基础上，比较分析了FORTRAN 2000与C^++语言对面向对象机制的支持．涉及对象、继承、多态性、操作以及可访问性控制等多个方面。

基于曙光5000并行机的远程并行调试器

陈勇李春生安虹郑启龙陈志辉

计算机科学. 2004, 31 (3): 179-182.

摘要 ( 72 )

PDF(358KB) ( 396 )

相关文章 | 多维度评价

并行调试对并行程序开发非常重要，然而传统的远程并行调试方式是采用登录(telnet)命令通过命令行的文本界面进行，非常繁杂。本文介绍了为曙光3000系统设计实现的远程并行调试器RPB(Remote Parallel Debugger)。RPB实现了完全并行调试等功能，并且具备图形用户界面．用户界面采用Java语言和Swing工具包实现，具备平台独立的特点。RPB采用客户端／服务器模式，客户端和服务器之间的通信采用当今流行的CORBA中问件技术。RPB支持通过局域网或广域网远程调试并行机上的程序，屏蔽了客户

基于LARPBS模型的最大值查找算法

李庆华蒋廷耀

计算机科学. 2004, 31 (3): 183-185.

摘要 ( 82 )

PDF(145KB) ( 324 )

相关文章 | 多维度评价

具备可重配置流水线总线的线性阵列LARPBS(1inear arrays with a reconfigurable pipelined bus systems)是近来出现的一种高效的并行计算模型．与理想的PRAM模型不同．LARPBS是现实可行的。基于LARPBS模型，Y．Pan介绍了2种宽度和精度任意的数据项的最大值查找算法：算法1使用了N^2／2个处理机、O(1)时间，它是目前时间最优的算法；算法2使用了N个处理机、O(loglogN)时间。本文介绍了2种最大值查找算法．时间复杂度同Y.Pan的算法

设备级实时多任务嵌入式内核WebitV的设计与实现

林涛赵海王济勇韩光洁王金冬

计算机科学. 2004, 31 (3): 186-189.

摘要 ( 71 )

PDF(228KB) ( 277 )

相关文章 | 多维度评价

使用实时内核来进行多任务的管理是目前嵌入式应用的一个趋势，面向设备的嵌入式应用由于其资源受到严重限制,具有针对性强的特点，本文在一个8位嵌入式芯片上设计并实现了一个面向设备的抢占式实时多任务内核WebitV，它在总体上保留了传统内核的主要特性，但在任务调度，优先级分配以及存储器管理等几个方面进行了改进，使它更适合于设备计算，为普适计算提供了一个底层平台。

基于类之间的依赖关系确定类的规模

胡顺仁欧阳

计算机科学. 2004, 31 (3): 190-191.

摘要 ( 58 )

PDF(136KB) ( 274 )

相关文章 | 多维度评价

类之间的依赖关系，对于面向对象系统分析、设计和测试都有重要的意义。本文首先对类之间的依赖关系进行了定义和说明，并细分其为数据依赖和方法依赖，在此基础上，对类之间的依赖关系进行了度量，提出依赖度和被依赖度两种度量方法，并以此确定类地规模大小。

OSGI的分析和实现及其改进思路

熊江

计算机科学. 2004, 31 (3): 192-194.

摘要 ( 67 )

PDF(160KB) ( 322 )

相关文章 | 多维度评价

从消费类电子产品到各种工业设备，嵌入式系统已渗透到我们日常生活的各个角落，嵌入式设备的内存容量限制了用户并发使用多个服务的个数，本文借助操作系统中的虚拟内存思想，提出了虚拟OSGI框架模型，很好地解决了嵌入式设备上的内存对OSGI框架的限制。

计算机安全中的经典模型

周伟尹青王清贤

计算机科学. 2004, 31 (3): 195-200.

摘要 ( 154 )

PDF(357KB) ( 1074 )

相关文章 | 多维度评价

安全模型是构造安全计算机系统的基础。到目前为止，已有多种公开发表的安全模型。本文总结了几种重要的早期安全模型，其中包括访问矩阵模型，HRU模型，BLP模型、格模型和无干扰模型。并对它们进行了分类和简要评递。本文将它们称为经典安全模型。这些经典安全模型都是开创性的，从各个不同的方面对安全问题进行抽象，模型所定义的安全问题具有典型性，并对后续的研究产生了重要影响。目前，共享计算机系统的安全问题仍然是计算机科学的中心问题之一，研究这些经典模型，对于我们全面理解计算机系统的安全问题，展望未来发展方向，具有重要意义