Please wait a minute...
  • 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

当期目录

    论文
    VoD系统中基于优先级的准入控制和带宽分配策略
    韩宗芬 吴敏娜 董志 金海
    2005, 27(5): 1-2. doi:
    摘要 ( 322 )   PDF (147KB) ( 368 )     

    本文针对VoD系统中不同客户对视频服务质量的不同要求,提出一种基于优先级的准入控制和带宽动态分配策略。在准入控制时,综合考虑请求的优先级和并发流占用的实际 带宽等因素,在保证为高优先级请求预留较多固定带宽的同时提高并发流个数;在服务过程中,根据优先级和网络状况动态调整每个流的带宽,使丢包率低于一定的阈值,并保证在相同的网络状态下为高优先级请求提供较高的视频服务质量。

    一种增强的预共享密钥认证机制研究
    陈晓苏 付涛 肖道举 朱建军
    2005, 27(5): 3-4. doi:
    摘要 ( 282 )   PDF (142KB) ( 555 )     

    在因特网密钥交换协议中,远程用户身份的认证问题尚无较好的解决方案。本文针对这一问题,分析了预共享密钥认证及其存在的问题,提出了一种增强的预共享密钥认证机  制,实现了服务器与远程用户身份的双向认证。

    基于Web的IP地址盗用监控系统的设计与实现
    李长山[1] 陈亮[1] 杨庆明[2]
    2005, 27(5): 5-6. doi:
    摘要 ( 314 )   PDF (151KB) ( 353 )     

    为了实现对局域网络IP地址盗用情况进行监控和管理,我们设计了基于Web的IP地址盗用监控系统,并给出了该系统的体系结构、功能描述和具体的实现方法。该系统具有数据采集、数据分析以及生成报警信息等功能。通过对网络设备的实时监控、采集和分析数据,得到IP地址盗用的警报信息,达到监控网络地址的正常及非法使用情况的目的,  从而减轻了管理员的工作强度,促进了网络的正常运行。

    一种基于移动代理的分布式IDS模型研究
    陈传波 周晓军
    2005, 27(5): 7-9. doi:
    摘要 ( 311 )   PDF (163KB) ( 306 )     

    传统的分布式层次型入侵检测系统也有难以克服的缺陷,在层出不穷的攻击方式面前容易崩溃。本文提出了一种基于移动代理的IDS模型,它综合了两个领域的研究成果:分布式IDS和移动代理(MA)。通过安全分析表明,该模型提供了较好的安全构架。

    一种基于程序逻辑结构分析的缓冲区溢出攻击抵御方法
    肖道举 陈博文 陈晓苏
    2005, 27(5): 10-12. doi:
    摘要 ( 337 )   PDF (145KB) ( 299 )     

    本文针对缓冲区溢出攻击提出了一种有效的抵御方法。该方法通过分析程序的逻辑结构试图发现所有可能的缓冲区,对这些缓冲区的访问进行跟踪,并插入必要的边界检查代 码。与已有的方法相比,该方法具有较好的兼容性和性能方面的优势。

    构建基于H.323的新一代呼叫中心
    杨彬 黄正谦
    2005, 27(5): 13-14. doi:
    摘要 ( 316 )   PDF (140KB) ( 354 )     

    文章简要分析了传统呼叫中心存在的问题,提出了基于H.323的新一代呼叫中心系统模型,并介绍了H.323网闸的管理软件CallGK的设计和实现。

    Ad Hoc网络移动模型及其应用
    赵金晶 朱培栋
    2005, 27(5): 15-16. doi:
    摘要 ( 358 )   PDF (156KB) ( 1037 )     

    现今对Ad Hoc网络的研究如火如荼,基于Ad Hoc的系统性能分析和协议行为设计逐渐成为研究的主流。如何选择最贴近实际、最易实现的移动模型是研究的基础,也是成功的关键。本文总结了几种常用于Ad Hoc网络中的移动模型。其中有节点之间独立移动的实体移动模型,也有由一些节点组成一个整体,按照一定的约束一起移动的组移动模型。 。本文通过分析各种移动模型的关联和差异,给出了它们各自的适用范围以及选择的依据条件,为今后在协议设计和网络规划等要求下的移动模型的使用和新的移动模型的设计实现打好了基础。

    一种报文过滤设备配置管理系统的实现
    张泽鑫 陈曙晖 苏金树
    2005, 27(5): 17-19. doi:
    摘要 ( 296 )   PDF (157KB) ( 354 )     

    本文介绍了一种串联模式的网络报文过滤设备及其配置管理系统和实现模块,该设备串接在两个路由器之间,根据设置的过滤规则阻止报文通过。过滤设备能够根据CAM中的规则对流经的报文进行匹配过滤。根据设备的特性,我们设计了一种高效的配置管理系统,能够高效地管理和快速配置多达10万条的过滤规则。

    短消息网关通信模块的设计与实现
    唐胡鑫[1] 史忠植[2]
    2005, 27(5): 20-21. doi:
    摘要 ( 333 )   PDF (156KB) ( 461 )     

    本文介绍了手机短信新网关,对其系统及模块进行了研究,并分析了其性能和特点。在阐述短消息网关结构的基础上,提出了短消息网关通信模块的设计思想,并给出了该通 信模块的具体实现。

    应用层多播协议研究
    申奥 杨贯中 陆绍飞 刘美琴
    2005, 27(5): 22-24. doi:
    摘要 ( 331 )   PDF (205KB) ( 445 )     

    应用层多播不需要对现有网络基础结构做任何修改,不需要路由器支持,在虚拟叠加网的基础上由参与多播的端系统完成包的复制、路由计算、转发等功能,从而能方便、灵活地在因特网上进行部署。本文将按照树优先、网优先和层次结构三种应用层多播叠加网拓扑构建方式对应用层多播协议进行讨论。

    一种具有组件冗余机制的改进CIDF模型
    马震远 罗伟其 姚国祥 吕双欢
    2005, 27(5): 25-28. doi:
    摘要 ( 320 )   PDF (210KB) ( 363 )     

    本文分析了基于CIDF模型实现的DIDS自身存在的安全问题,提出了一种基于组件冗余思想的改进CIDF模型。该模型很好地克服了DIDS的单点失效性。通过一种设计巧妙的组件  状态检测方法,克服了以往状态检测方法开销大的缺点。利用该方法实现了DII)8组件在受到攻击瘫痪后自动切换到备用组件,从而大大提高了DIDS自身的安全性。

    部分变量迭代法求解几何循环约束
    戴春来[1] 张友良[2] 邓安远[2]
    2005, 27(5): 29-32. doi:
    摘要 ( 298 )   PDF (182KB) ( 433 )     

    在对几何约束进行求解时,一般先要进行适当分解,然后再根据分解得到的求解次序进行依次求解。当同时进行求解的约束数量较多时,必须采用数值解法。如果这样的循环 约束中变量的数量较多,则采用全部变量迭代的方法会导致计算不稳定,且计算时间较长。本文提出了部分变量进行迭代的方法,大大降低了迭代变量的个数,增加了计算的 的稳定性,缩短了计算时间。

    一种局部和全局相结合的光流计算方法
    张建明 钱东海
    2005, 27(5): 33-35. doi:
    摘要 ( 341 )   PDF (134KB) ( 516 )     

    光流场是计算机视觉的一个研究方向,微分法是计算光流场的一个常用方法,它分为全局方法和局部方法,全局方法能够得到100%的致密的光流场,而局部方法大多只能得 到稀疏的光流场,但它在噪声情况下具有更好的鲁棒性。本文提出一种局部和全局相结合的方法.首先给出五点光流约束的局部方法,再结合全局方法,计算得到了既致密又  鲁棒的光流场。

    基于金字塔的图像恢复算法
    杨柳 杨贯中
    2005, 27(5): 36-38. doi:
    摘要 ( 351 )   PDF (153KB) ( 319 )     

    针对图像传输的丢包问题,基于拉普拉斯金字塔,本文提出一种双向塔式恢复算法。该算法构建双向金字塔数据模型,引入权值矩阵,滤波提取低频系数,插值恢复高频系数。实验证明,在丢包条件下,该算法比拉普拉斯金字塔算法恢复图像质量的性能有较大提高。

    VisualDM:一个灵活的可视化数据挖掘系统
    王见 郭娜 陈晓云
    2005, 27(5): 39-41. doi:
    摘要 ( 319 )   PDF (150KB) ( 348 )     

    如果要建造一个健壮的数据挖掘系统,仅仅依靠挖掘算法是不够的。目前的挖掘算法还没有完全“智能”化,所以挖掘有用的信息常常不是很有效。不过可视化技术给了我们 很大的帮助,我们将挖掘算法和可视化技术结合起来,从而实现了数据挖掘系统VisualDM。

    基于“内点”识别的多边形布尔运算
    陈学东 张李超 黄树槐
    2005, 27(5): 42-44. doi:
    摘要 ( 437 )   PDF (131KB) ( 535 )     

    在多边形内、外侧边界识别的基础上,充分利用多边形本身是一个整体的事实,我们提出了一种基于“内点”(多边形内的点)识别的布尔运算算法,简化了布尔运算的复杂性 ,从根本上解决了由于多边形问可能存在重合点、重合线而造成的布尔运算不稳定问题。

    时空数据库事务并发控制的动态封锁
    卢炎生 杨攀宇 潘鹏
    2005, 27(5): 45-47. doi:
    摘要 ( 308 )   PDF (130KB) ( 314 )     

    我们首先分析了时空数据库事务的特点,然后在BT2D-Index的基础上提出了时空数据库事务并发控制的动态封锁方法,并且对动态封锁中几个重要概念做了说明,给出了动态封锁的具体操作,最后对这种动态封锁方法进行了评价。

    一种基于图的关联规则挖掘改进算法
    王政伟 施润身
    2005, 27(5): 48-51. doi:
    摘要 ( 315 )   PDF (191KB) ( 299 )     

    本文提出了一种基于图的关联规则挖掘的改进算法。首先介绍了基于图的关联规则挖掘算法;然后,在此基础上对原算法进行了修改,通过在图中查找完全子图来寻找频繁项 集;最后,对原算法、改进算法和Apriori算法的优缺点进行了简单的比较分析。

    数据立方体的预计算方法
    陈圣煜 张有仁 尉欣
    2005, 27(5): 52-53. doi:
    摘要 ( 319 )   PDF (156KB) ( 316 )     

    Cube算子的计算在OLAP应用中起着极为重要的作用。本文分析了在高维Cube算子计算中传统流水线方法的不足之处,提出了通过有选择地实例化Cube中的部分节点以提高OLAP性能的解决方案,并给出了一个获取需要实例化节点的算法。

    LCFS中元数据服务器的可靠性分析模型
    王召福 章文嵩 刘仲
    2005, 27(5): 54-55. doi:
    摘要 ( 328 )   PDF (142KB) ( 355 )     

    可靠性问题是研究大规模集群存储系统的一个重要方面,元数据服务器是大规模集群存储的中心。本文针对基于镜像复制和共享存储的服务器实现方案,采用马尔可夫补偿模型研究元数据服务器的状态迁移概率,分析了元数据服务器集群的可靠性以及数据一致性对可靠性的影响,对实现大规模集群文件系统中的元数据服务器有重要的指导意义。

    一种Native-XML数据库的模型实现
    胡宇斌
    2005, 27(5): 56-58. doi:
    摘要 ( 324 )   PDF (146KB) ( 329 )     

    本文根据XML的特性,结合对传统数据库的研究,提出了一种Native-XML数据库原型的逻辑模型,并给出了一种查询方法。这种技术可以扩展数据库的应用面,大大提高特殊查询的效率,弥补传统关系数据库的不足。

    带有宽总线网络的可重构计算模型上的并行归并排序算法
    陈宏建[1] 陈峻[2] 秦玲[1] 徐晓华[1] 屠莉[1]
    2005, 27(5): 59-62. doi:
    摘要 ( 377 )   PDF (203KB) ( 319 )     

    在介绍带有宽总线网络的可重构计算模型(RAPWBN)的二进制值的前缀和操作的基础上,提出了该模型上的抽取压缩操作算法,并由此得到了该模型上的并行归并排序算法。在 具有N个处理器和N条行总线的RAPWBN模型上,若总线带宽ω>log N字节,对长度为N的序列进行归并排序,在最坏情况下以O(logN·loglogN)时间完成。

    一种基于进程剩余运行时间总和的集群动态负载平衡算法
    张永坤 金海 唐丹
    2005, 27(5): 63-65. doi:
    摘要 ( 314 )   PDF (148KB) ( 354 )     

    负载的评价是集群负载平衡策略研究中的首要问题。本文总结和比较了当前使用的三类负载向量并分析了它们的优点与不足,提出了一种新的负载评价指标一进程剩余运行时 间总和。测试结果表明,使用新的负载向量提高了系统的性能,缩短了任务的执行时间,取得了更好的效果。

    基于整数拆分的椭圆曲线密码体制上的快速点乘算法
    石润华[1] 钟诚[2]
    2005, 27(5): 66-67. doi:
    摘要 ( 373 )   PDF (146KB) ( 438 )     

    在椭圆曲线密码系统中,其核心操作是点乘运算κP,P是椭圆曲线上的点,忌是整数。怎样提高点乘计算速度,已成为热点研究领域。本文提出了一种新的基于整数拆分与预计算相结合的快速点乘算法。

    用于灾难恢复的远程备份系统的模型与算法
    李强[1] 张艳[2] 李舟军[1]
    2005, 27(5): 68-72. doi:
    摘要 ( 334 )   PDF (332KB) ( 341 )     

    本文系统深入地介绍了现有远程备份系统的体系结构、模型和算法,讨论了每种模型和算法的适应范围及优点,分析了存在的缺陷和问题。在此基础上,提出了优化o2-safe  算法。该算法在保证系统完整性和一致性的前提下,充分挖掘事务间的并发执行性,增加了事务处理的吞吐量。最后,讨论了用于灾难恢复的远程备份技术的发展趋势。

    一种动态路段行程时间的预测模型
    郭景峰 侯爽 王金慧
    2005, 27(5): 73-74. doi:
    摘要 ( 299 )   PDF (96KB) ( 445 )     

    动态路段行程时问的预测是ITS动态最短路线选择的关键技术之一。根据对实际交通状况的分析,将路段行程时间分为三个部分,即自由行驶时间、排队等待时间和通过交叉  口时间。模型基于路段的基本信息及实时信息分别对这三部分时间进行预测,从而实现对整段路段行程时间的动态预测,精确度明显提高。

    服务网格安全体系结构的研究与实践
    夏晓松 金海 邹德清
    2005, 27(5): 75-77. doi:
    摘要 ( 279 )   PDF (164KB) ( 284 )     

    本文对服务网格中的安全体系结构进行了初步的研究,结合Web Services安全技术提出了一种协议级别上的服务网格安全模型,并讨论了昊翰服务网格原型系统中安全体系的 实现,详细论述了安全服务访问模式以及服务端安全服务实例的创建过程。

    基于共享存储的双机高可用系统的设计与实现
    谢长生 姚杰
    2005, 27(5): 78-80. doi:
    摘要 ( 306 )   PDF (213KB) ( 462 )     

    本文提出了一种以服务组为监测对象的基于共享存储的双机高可用系统。文中首先简要分析了高可用系统的特点及双机系统可用度定量分析方法,然后详细介绍了本系统设计的基本原则及具体实现,最后分析了该系统的性能并提出了改进方向。

    提高基于VI的网络存储系统性能的研究
    冯丹 鲁毅
    2005, 27(5): 81-83. doi:
    摘要 ( 287 )   PDF (152KB) ( 333 )     

    我们利用基于VI的互连结构建立了一种新型的网络存储结构VISA。本文在基于软件VIA的实现原型MVIA的基础上,利用通用网络部件,提出了自己的远程DMA实现方法,证实了 远程DMA机制可以有效提高VISA的网络传输性能。

    基于关联规则的ABN分类器构造
    马光志 陈凤华
    2005, 27(5): 84-87. doi:
    摘要 ( 328 )   PDF (200KB) ( 308 )     

    Naive Bayes分类建立在贝叶斯理论基础上,应用极为广泛,它采用类条件独立假设对贝叶斯理论进行了近似。Bayesian Network则在这一基础上采用图形模型弥补了独立假设的不足,同时揭示出分类过程中会导致NP问题的出现。本文采用一种折衷的方法——联合关联规则与ABN分类技术构造贝叶斯分类器。它弥补了独立假设的不足,同时也避免了解决NP问题。最后,本文用实验结果展示它在多个领域远远优于Naive Bayes分类器。

    MINI工作流管理系统引擎的设计与实现
    于可新[1] 齐璇[2] 施海虎[2] 柳军飞[2]
    2005, 27(5): 88-90. doi:
    摘要 ( 283 )   PDF (161KB) ( 270 )     

    MINI工作流管理系统是基于MINI工作流元模型实现的。本文深入讨论了MINI工作流管理系统的核心——引擎的设计与运行,介绍了MINI引擎的结构框架和各功能模块的设计, 阐述了引擎对过程实例和任务生命周期的划分与管理。

    构件化信息系统体系结构及其业务构件模型研究
    石双元 吴新明 刘琦
    2005, 27(5): 91-93. doi:
    摘要 ( 312 )   PDF (144KB) ( 369 )     

    构件化信息系统是根据用户需求通过组装现有构件的方式来建立满足不同企业需求和适应企业需求变化的信息系统,其核心是构建即插即用型领域业务构件。本文提出了构件化信息系统的体系结构及面向制造业的业务构件模型,以支持构件化信息系统及业务构件的开发。

    多处理机系统线程环境
    杨沙洲 杨学军
    2005, 27(5): 94-96. doi:
    摘要 ( 289 )   PDF (212KB) ( 320 )     

    高性能和易用性是多处理机系统发展中存在的一对矛盾,线程环境是解决这对矛盾的重要途径。本文从介绍多处理机发展历程入手,描述了线程环境的发展变化过程,列举出 线程环境研究中的两个主要方向:线程模型选择和不同体系结构下线程环境的优化。通过对两个方向上的研究动态的分析,本文预计基于NIMA的局部性开发将成为线程环境研
    研究的热点。

    基于指令分解的微处理器验证与RTL级错误定位
    沈胜宇 李思昆
    2005, 27(5): 97-100. doi:
    摘要 ( 310 )   PDF (179KB) ( 321 )     

    本文提出并实现了一种新的基于指令分解的微处理器验证与RTL级错误定位方法。该方法从指令集模拟器的模拟结果中将指令分解为功能单元上的操作序列,并且输入和输出 数据。将该结果与RTL模型的模拟结果比较,使RTL级错误定位精确到功能单元级。相对于传统的方法,大大提高了效率。

    面向对象程序的两种修改影响分析方法
    雷海虹[1] 缪力[1] 张大方[2]
    2005, 27(5): 101-103. doi:
    摘要 ( 337 )   PDF (150KB) ( 363 )     

    软件测试和软件维护是保证软件质量、减少软件错误的重要过程。在软件发展过程中,常常需要对程序进行修改。为了确保对程序的修改达到目的和没有引入新的错误,必须 对修改后的程序进行回归测试和进行修改影响分析。在面向对象的程序中,由于鼓励类的继承和使用过程,程序修改的扩散效应更为明显,减少回归测试耗费、增强修改影响
    响分析功能的问题显得非常重要。本文介绍了两种修改影响分析方法:基于类粒度的防火墙方法和类成员粒度的调用图方法,并对防火墙算法进行了改进,并对基于调用图的 分析方法进行了简化。针对不同的需求和实际情况,可以采用不同方法或结合两种方法进行修改影响分析,提高分析效率。

    并行计算机高可用性分析与设计
    刘睿涛
    2005, 27(5): 104-107. doi:
    摘要 ( 354 )   PDF (266KB) ( 523 )     

    随着并行计算机系统规模的不断增大,系统的失效率呈线性增长。如何保证大规模并行系统能够提供持续不断的服务,即提高系统的可用性,达到高可用的目标,已成为并行 系统设计的重要方面。系统级容错的概念目前已经提出,但系统可用性的度量仍然需要深入研究。本文运用组合模型和马尔科夫过程模型,对系统可靠性和可用性进行了建模 模和分析,推导了基于马尔科夫过程的可用性度量公式,得出运用高可用技术可以提高系统的可用性。在此基础上,还给出了一个大规模并行计算机系统的高可用系统结构。

    面向随机读的磁盘阵列中的串内并发I/O技术研究
    谭翔翀 冯丹
    2005, 27(5): 108-110. doi:
    摘要 ( 280 )   PDF (170KB) ( 328 )     

    本文将SCSI总线协议中的失连一再选技术应用于磁盘阵列,使得磁盘阵列中同一串上各个磁盘之间高度并行,从而显著地提高随机读的性能。测试表明了并发技术的有效性。