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

当期目录

    论文
    基于集群路由器体系结构的BGP分布并行实现技术研究
    张晓哲 朱培栋 卢锡城
    2007, 29(1): 1-3. doi:
    摘要 ( 476 )   PDF (243KB) ( 426 )     

    本文分析了BGP协议在因特网环境中面临的巨大路由表容量、消耗大量控制平面计算资源、支持邻居会话数量有限等难以解决的问题;基于集群路由器体系结构的特点,提出并 讨论了BGP协议的四种分布式实现技术;最后对这几种实现技术进行了比较,指出了分布式实现技术相对于传统集中控制方式的优势及特点。

    MANET中基于速率的流量控制算法研究
    李瑛 齐玉东 范洪达
    2007, 29(1): 4-7. doi:
    摘要 ( 416 )   PDF (259KB) ( 362 )     

    由于MANET中网络的动态变化特征,TCP隐含式AIMD流量控制不适应于该领域。本文介绍了基于速率的显式流量控制策略(EXACT),并分析了它对网络中再路由和带宽变化的反应。在高速动态变化的MANET环境下,通过ns-2系统模拟,本文评价了EXACT在网络传输公平和效率等方面的性能。

    蓝牙无线个人局域网的拓扑优化
    刘雪峰 孟会
    2007, 29(1): 8-10. doi:
    摘要 ( 474 )   PDF (233KB) ( 315 )     

    本文提出了一种蓝牙无线个人局域网(BT-WPAN)的拓扑优化方法。该方法是基于BT-WPAN技术的一个约束模型。通过使用min-max公式表示,它提供全网的连通性;通过最小化 网络中最拥挤的节点的通信量负载,实现通信量的需求和系统规范约束。由于问题的复杂性,优化方案限于集中方式,但提供了一个与分布式试探法相对应的有益的方法。

    一种改进的移动自组网路由协议性能分析方法
    李庆华 李鹏 王多强
    2007, 29(1): 11-13. doi:
    摘要 ( 468 )   PDF (190KB) ( 372 )     

    路由协议的性能分析对于路由协议的设计具有非常重要的作用,然而传统的路由协议性能分析往往集中在网络性能或路由的能量消耗。本文提出了一种加权路由性能分析指标,它考虑了结点在移动过程中的能量消耗,并基于NS2使用加权路由指标对DSR和DSDV协议进行了仿真分析。结果表明,按需路由协议在此方法中具有较优的性能。

    基于Web的分布式文档管理系统的设计与实现
    刘丽 吴秋云 李军
    2007, 29(1): 14-16. doi:
    摘要 ( 422 )   PDF (269KB) ( 573 )     

    企业和政府机构的分布式特征对文档管理提出了新的要求,传统的文档管理系统已经不能满足分布式应用需求。本文结合Web Services技术、工作流技术、版本控制技术和数据库技术,设计并实现了基于Web的分布式文档管理系统。本文工作已经在某政府机构的电子政务建设中得到了具体的实现与应用。

    面向服务的分布式IDS自组织模型研究
    李之棠 王阜东 祝幼菁
    2007, 29(1): 17-18. doi:
    摘要 ( 426 )   PDF (177KB) ( 333 )     

    本文将面向服务的思想引入分布式入侵检测系统,提出了一种面向服务的分布式IDS自组织模型——SODIDS。该模型使用基于索引的多层P2P网络来发布和查找安全服务信息,通过快速检索安全服务信息,各种安全部件相互协作,自组织成为分布式入侵检测系统,实现了多域合作、自动配置。

    边界路由服务网关的分析与设计
    王子荣[1,2] 杨贯中[1,2] 王字科[1,2] 马亿旿[1,2] 陆绍飞[1,2]
    2007, 29(1): 19-21. doi:
    摘要 ( 400 )   PDF (223KB) ( 353 )     

    本文通过分析目前多出口网络因边界路由器的功能局限而不能很好地解决内外相互访问的情况,提出边界路由服务网关的概念,并设计了边界路由服务网关的模型功能、体系结构与处理流程;最后通过实例验证了边界路由服务网关设计的正确性。

    Ad Hoc网络中基于双向多信道预留的媒体接入算法
    李虹 郑明春 李宁宁
    2007, 29(1): 26-29. doi:
    摘要 ( 419 )   PDF (256KB) ( 284 )     

    结合多信道和双向信道预留的策略,本文提出了一种新的应用于Ad Hoc网络的多信道媒体接入算法-NBMC算法,并对其吞吐量进行了性能分析。仿真实验结果表明,与IEEE802.11 DCF相比,NBMC算法使Ad Hoc网络上的TCP吞吐量和各TCP流信道占用的公平性都得到了有效的改善。

    一种高效的FTP流量统计方法及应用
    江浩[1,2] 朱巧明[1,2] 钱培德[1,2]
    2007, 29(1): 30-32. doi:
    摘要 ( 377 )   PDF (249KB) ( 393 )     

    本文通过对FTP协议的分析,将FTP流量统计的方法归结为三个关键问题随机端口的获取、DPID的处理、FTP端口流量的采集。本文首先给出了一个系统框架,接着分别对三个问题的解决方法进行了详细的阐述,并给出了用于FTP数据端口获取的FTP命令状态转移图和端口流量信息的数据结构,最后给出了系统实现和性能分析。本文通过数据结构的设计和算法的优化,有效降低了流量统计程序的时空复杂度。

    SSL VPN实现方式研究
    余胜生 刘鹏 周敬利
    2007, 29(1): 33-34. doi:
    摘要 ( 367 )   PDF (189KB) ( 902 )     

    本文讨论了基于SSL的VPN设计思路和实现的功能,并且比较分析了各种SSLVPN设计方式的优缺点、扩展性、性能以及采用的技术。

    面向服务的网络资源依赖性分析研究
    汤希玮[1,2] 陈琳[2] 王宏[2] 龚正虎[2]
    2007, 29(1): 35-37. doi:
    摘要 ( 354 )   PDF (264KB) ( 312 )     

    资源管理是网络管理新的管理功能域,资源依赖性分析是网络资源管理的关键技术之一。本文详细描述了网络资源依赖性的相关特征属性、依赖性表示方法和动态资源依赖性的获取方法,将资源依赖性分析方法应用到网络资源管理系统中,取得了较好的效果。

    一种基于IAPP协议的支持VoWLAN应用的快速IP切换方法
    文远保 王斌斌
    2007, 29(1): 38-40. doi:
    摘要 ( 378 )   PDF (204KB) ( 291 )     

    在多个WLAN之间进行实时通信时,网络层切换带来的过长时延成为保障实时通信质量的重要制约因素,如今提出的许多IP切换方法产生的时延都大到不能满足实时通信的要求。本文提出一种基于IEEE802.11的IAPP协议的快速IP切换方法。该方法切换时产生的时延小,能够较好地支持一些实时应用,如在WLAN上传输语音(VoWLAN)等应用。

    基于J2EE平台的网络辅助教学系统的设计与实现
    刘梅彦[1] 袁梅冷[2]
    2007, 29(1): 41-44. doi:
    摘要 ( 420 )   PDF (260KB) ( 433 )     

    本文介绍了J2EE体系结构和技术框架,研究了网络辅助教学系统的实现目标及网络教学平台构建的策略,讨论了网络辅助教学系统的功能、系统结构、设计与实现,并通过对核心模块“自动答疑”实现过程的具体介绍,阐述了基于J2EE技术的网络辅助教学系统的设计与实现技术。

    关于MD5强度分析的研究
    崔国华 周荣华 粟栗
    2007, 29(1): 45-48. doi:
    摘要 ( 383 )   PDF (244KB) ( 403 )     

    本文试图通过对MD5算法强度的分析,结合现有的碰撞分析的结论,为Hash算法的改进提出相应的思路。作为一个广为使用的Hash算法的MD5,一次循环包含了四轮64步及一次累加运算。本文通过对它由步到轮,再由轮到全局循环的分析,给出了现有碰撞分析的突破点及怎样弥补这些已被突破的缺陷。在现有研究的基础上,本文主要改进了文献[1]中给出的各步分析的结论;利用改进的结论将文献[1]中给出的概率分析非概率化;在全局碰撞的分析中给出了单轮的最大k-原像攻击的可能性;在文章的最后给出了Hash函数的四个个可能的改进方向及相应的意见。

    基于平稳小波的X射线底片数字图像去噪方法研究
    康金钟 康志伟
    2007, 29(1): 49-51. doi:
    摘要 ( 526 )   PDF (196KB) ( 401 )     

    本文介绍了小波变换的基本内容,重点介绍了离散小波变换和平稳小波变换,并采用平稳小波变换对X光底片进行处理,将平稳小波与离散正交小波进行了对比实验。实验结果证明,利用平稳小波去噪具有较好的视觉效果,提高了被检对象缺陷的辨识率。

    一种改进的摄像机内外参数初值计算方法
    康晶[1] 邹北骥[2] 刘相滨[3] 辛国江[1] 冯莲[1]
    2007, 29(1): 52-55. doi:
    摘要 ( 408 )   PDF (262KB) ( 290 )     

    两步法是一种典型的多阶段最优化摄像机标定方法,其优点是标定精度高,容易实现。该算法的关键是第一步计算出来的外部参数和与畸变无关的内部参数的初值。由于初值的计算不是纯粹的线性问题,计算起来比较复杂。本文对此进行了改进,采用一种新的方法计算初值。另外,由于图像坐标值的精度直接影响标定精度,本文为此采用了数学形态学学的膨胀和腐蚀方法,有效地克服了噪声的影响。实验结果表明,与平面模板两步法进行比较,本文算法减少了运算量,标定的结果适用于精度较高的场合。

    电气原理图的自动识别
    朱江[1] 孙家广[2] 邹北骥[3] 傅红普[1]
    2007, 29(1): 56-58. doi:
    摘要 ( 384 )   PDF (245KB) ( 602 )     

    本文给出了一种识别通用CAD软件绘制的电气原理图的方法。该方法先根据电气符号的几何特征将其从图纸中提取出来并使用含两级属性的属性图表示,然后采用过滤图模式库和Ullman算法相结合的方法识别电气符号,最后提取图纸中各种文字标注和电气符号的连接关系。实验证明,该方法能够准确地识别电气原理图。

    图像序列超分辨率处理中充分帧数的估计
    刘英锋 王程 王润生
    2007, 29(1): 59-61. doi:
    摘要 ( 380 )   PDF (278KB) ( 333 )     

    充分帧数(SNL)估计是图像序列超分辨率技术走向实际应用的关键问题。本文首次提出了适合实际应用的SNL估计方法从采集到的低分辨率图像序列中选取不同长度(帧数) 的子图像序列参与超分辨率处理,得到一个结果图像序列;测量结果图像序列中图像间的差异;通过分析差异曲线估计出SNL。实际数据证明,本文的方法能够准确、稳定地估计出SNL,为图像序列超分辨率技术的工程应用提供有效的支持。

    无标志的人体步行腿部骨架检测与跟踪
    冯莲[1] 邹北骥[2] 刘相滨[3] 刘丽丽[1]
    2007, 29(1): 62-65. doi:
    摘要 ( 402 )   PDF (302KB) ( 467 )     

    在计算机视觉领域,人体运动分析的研究正因其广泛的应用前景而越来越受到研究者的重视。对于单目图像序列的人体运动跟踪,现有的方法大多需要进行人工干预,或者在身体上附着标志物,或者对第一帧图像进行手工标记。本文针对这一问题,提出一种简单而有效的自动检测人体腿部骨架的算法,该算法不需要任何人工干预,继而在传统的运动建  模及矩形块RGB颜色匹配的基础上,提出一种圆周相交定点算法,结合踝关节的运动预测对获取的腿部骨架进行跟踪,有效地解决了两腿的自遮挡问题。论文最后给出了跟踪的实 实验结果。

    基于软件质量评估的模糊综合评判算法研究与改进
    董剑利[1] 时宁国[2]
    2007, 29(1): 66-69. doi:
    摘要 ( 412 )   PDF (263KB) ( 421 )     

    本文在系统介绍和分析模糊综合评判算法的同时重点研究了其用于软件质量评估过程中所存在的问题和缺陷,并改进和建立适应现代软件质量评估特点的新模糊评判算法模型  。利用新算法模型实施软件质量的可计算化评估,其评估结果的准确性、可靠性和稳定性有了明显改善和提高。整个研究为试图解决软件质量评估这个难题提供了很好的借鉴作用。

    粒子群优化算法中惯性权值调整的一种新策略
    郭文忠[1] 陈国龙[1,2]
    2007, 29(1): 70-72. doi:
    摘要 ( 468 )   PDF (240KB) ( 566 )     

    惯性权值的设置对粒子群优化(PSO)算法的性能起着关键作用,现有的基于惯性权值的改进算法提高了算法的性能,但都把惯性权值作为全局参数,很难控制算法的搜索能力。 本文在充分分析惯性权值的关键作用基础上给出一种新的惯性权值调整策略及其相应的粒子群优化算法,使用不同的惯性权值更新同一代种群。测试结果表明,新算法提高了算 算法的性能,并具有更快的收敛速度和跳出局部最优的能力。

    一个改进的调配算法
    刘建伟 卢建朱 张彦军
    2007, 29(1): 73-75. doi:
    摘要 ( 413 )   PDF (187KB) ( 322 )     

    图中路径的基本优化策略有两种最短路径和最大权值最小路径。前者的求解有著名的Dijkstra算法;后者的求解通过先构造图的最小生成树MST,再截取其上两端点间的唯一路 径就是最大权值最小路径。但是,尚未有文献提出算法同时争取两方面的优化。本文采用Dijkstra算法构造路径时不断递增的基本思想,提出MSPT算法。MSPT算法是在求得最短
    路径的同时最大限度地争取最大权值最小。其算法时间复杂度和空间复杂度均与Dijkstra算法相同,但比Dijkstra算法横向上增加了一层优化,更切合实际问题的需要。同时,该文给出了MSPT算法的实际应用模型。

    基于混合思维进化计算的网格资源分配算法
    刘洋 苏德富
    2007, 29(1): 76-78. doi:
    摘要 ( 378 )   PDF (289KB) ( 341 )     

    分布式、异构的网格环境中独立计算任务的有效调度是一个关键问题。由于在这样的环境中找到一个最优的调度是一个NP难问题,通常运用各种启发式算法来找到近似最优解 。本文将思维进化计算和禁忌搜索算法结合起来,充分发挥各自的优势,并用实验证明了运用混合思维进化计算进行网格资源分配的有效性。

    互斥并发程序的程序切片算法研究
    刘震[1,2] 缪力[1]
    2007, 29(1): 79-82. doi:
    摘要 ( 347 )   PDF (247KB) ( 430 )     

    程序切片是一种重要的程序分析技术,随着并行技术在越来越多的程序中得到运用,需要将以往多用于顺序程序的程序切片技术也用于并发程序中。本文在文献[1,2]的基础上考虑到互斥机制作用,改进了原来的并发程序的切片算法,使之适用于互斥机制的并发程序。

    关联规则挖掘算法及其应用研究
    刘星沙[1] 谭利球[1] 熊拥军[2]
    2007, 29(1): 83-85. doi:
    摘要 ( 390 )   PDF (228KB) ( 553 )     

    本文提出了一种适用于数字资源访问日志数据库的关联规则挖掘改进算法,它采用事务压缩和项目压缩相结合,而候选项目集及支持度计算是在每条事务压缩后通过联接产生,候选项目集采用关键字识别,省去了Apriori算法中的剪枝和字符串模式匹配步骤,可快速得到完整的频繁模式集。该算法特别适用于数字图书馆海量数字资源的个性化信息需 求获取分析。

    一种需求驱动的缓冲区溢出检测算法
    夏一民 曹宏嘉 罗军 张民选
    2007, 29(1): 86-87. doi:
    摘要 ( 399 )   PDF (183KB) ( 382 )     

    本文提出一种流敏感的静态检测算法。通过需求驱动的控制流分析和数据流分析,建立内存访问语句和函数调用语句发生溢出的线性约束,从而将缓冲区溢出的检测问题转换为 线性约束求解问题。我们实现了该算法的原型,实验表明,该原型可以准确而高效地发现实际程序中的缓冲区溢出漏洞。

    自动组题算法中适应度函数的构建方法
    张星 廖琪梅
    2007, 29(1): 88-89. doi:
    摘要 ( 398 )   PDF (181KB) ( 560 )     

    在基于GA的自动组题算法中,构建适应度函数是最大的一个难点。适应度函数构建的关键在于如何选择适应度函数的参数以及如何计算各个参数的值,本文从IRT理论和试题以 及算法的特殊性出发,确定了适应度函数的参数及其计算方法。该方法有着强大的理论支持和完善的用户需求接口,同时也为试卷的分析提供了新的方法。

    一种基于单纯形法的随机微粒群算法
    夏桂梅 曾建潮
    2007, 29(1): 90-93. doi:
    摘要 ( 421 )   PDF (247KB) ( 358 )     

    以保证全局收敛的随机微粒群算法SPSO为基础,本文提出了一种改进的随机微粒群算法——SM-SPSO。该方法是在SPSO的进化过程中,以单纯形法所产生的最优个体来代替SPSO中停止的微粒,参与下一代的群体进化。这样既可以利用单纯形法的收敛快速性,又可以利用SPSO的全局收敛性。通过对两个多峰的测试函数进行仿真,其结果表明在搜索空间 维数相同的情况下,SM-SPSO的收敛率及收敛速度均大大优于SPSO。

    利用多群体PSO算法生成分类规则
    延丽平[1] 曾建潮[2]
    2007, 29(1): 94-96. doi:
    摘要 ( 385 )   PDF (232KB) ( 377 )     

    本文通过对PSO算法模型和分类模型的分析,提出了应用多群体PSO算法实现分类规则的方法。这种方法将c(c≥2)类问题看成是c个两类问题,应用c个微粒群表示c类规则,每 个微粒群应用PSO算法实现对连续变量空间的分类。最后,在五个数据集上的实验结果表明了此方法的可行性和有效性,并与C4.5算法的结果进行了比较。

    粗糙集中求取所有最小属性约简快速算法
    刘银山[1] 吴孟达[2] 王丹[2]
    2007, 29(1): 97-100. doi:
    摘要 ( 341 )   PDF (241KB) ( 311 )     

    属性约简问题是粗糙集理论中一个核心的研究课题。本文基于区分矩阵存在大量冗余数据考虑,提出了一种利用吸收算子的快速算法,不用生成庞大的区分矩阵,与现有的属性约简算法相比,节约了大量时间和空间。对于UCI绝大部分数据,在P41.6G的PC机上都可以在1秒以内的时间求出所有的最小约简。实验数据说明了该算法的有效性。

    面向嵌入式数据库的改进B^+-树索引机制
    刘彩苹[1] 李仁发[1] 刘喜苹[2]
    2007, 29(1): 101-102. doi:
    摘要 ( 343 )   PDF (182KB) ( 431 )     

    B^+-树是数据库中常用的索引机制,它最大的优点是效率高,而最大的缺点是空间利用率较差。这对空间资源非常有限的嵌入式数据库来说影响尤为巨大。本文针对B^+-树的这个缺点,研究了一种改进B^+-树,并将改进后的B^-树索引机制成功地应用在嵌入式数据库-伯克利数据库中。这种改进B^-树索引机制不仅继承了B^+-树效率高,能同时进行行随机查找和顺序查找的优点,还克服了B^+-树空间利用率较差的缺点,更提高了数据库查找记录的速度。实验结果证明了改进B^+-树索引机制比B^-树索引机制具有更高的 空间利用率。

    利用潜在语义分析和关联规则挖掘构造同义与关联词集
    张文东 易轶虎
    2007, 29(1): 103-104. doi:
    摘要 ( 379 )   PDF (193KB) ( 728 )     

    由于大量同义词和关联词的存在,使得在文本挖掘过程中文本特征空间无法准确表达文本语义以及计算高维复杂性。本文利用潜在语义分析和关联规则挖掘构造同义和关联词集,用于减少文本特征空间中的同义词和关联词,降低信息冗余,改进挖掘效率。文中对相应的算法进行了描述,实验结果令人满意。

    利用潜在语义分析和关联规则挖掘构造同义与关联词集
    胡和平 陈征 路松峰
    2007, 29(1): 105-108. doi:
    摘要 ( 369 )   PDF (223KB) ( 484 )     

    本文提出了一种基于XML数据库的关联规则分析模型。在对XML数据库和XQuery查询语言作了简要介绍以后,提出了基于XML数据库的关联规则分析的研究思想,并描述了基于这个思想进行关联规则分析的模型。最后,通过一个例子说明了如何利用这个模型进行关联规则分析的具体过程。

    O-C2IEDM本体模型的研究
    谭娟 李伯虎
    2007, 29(1): 109-113. doi:
    摘要 ( 407 )   PDF (289KB) ( 332 )     

    本文总结了本体建模方法的基本步骤,并在分析C2IEDM模型的基础上提出了应用本体描述语言OWL改进性地实现C2IEDM,即O-C2IEDM的机制。应用OWL中类和属性实现了模型重要独立实体的概念、属性、实体间关系的描述,并灵活应用域、范围和势等概念表达了C2IEDM中的约束,通过类与子类的概念和定义引申概念实现了模型中业务规则的描述。O-C2 2IEDM在实际系统实现中的应用证明了它的有效性,在面向语义的C4ISR/Sim集成系统中,它作为核心服务层的领域本体模型,为定制服务层的各类模型服务描述以及应用层的问题描述提供了语义信息支持,提高了集成系统的智能性和灵活性。

    基于IAIDL的信息家电体系结构
    张小梅[1] 刘宏[2]
    2007, 29(1): 114-116. doi:
    摘要 ( 340 )   PDF (183KB) ( 272 )     

    本文设计了一种信息家电接口定义语言,并基于它提出了信息家电的体系结构,其中包括了信息家电的内部结构、信息家电的网关功能和信息家电的万能遥控。

    C++环境下基元模型的表达与实现
    王国会 时念云
    2007, 29(1): 117-119. doi:
    摘要 ( 377 )   PDF (178KB) ( 301 )     

    本文简单介绍了可拓学中基元理论的一些基本概念和可拓分析方法,对于基元模型在C++环境下如何表达和实现做了一定研究,并针对发散树方法提出了一种查找结构,极大地 改进了物元对象的查找效率。

    农村信息入户的解决方案
    杨先军 杨新刚 孙怡宁
    2007, 29(1): 120-122. doi:
    摘要 ( 400 )   PDF (240KB) ( 311 )     

    本文首先介绍了目前国内解决农村信息入户问题的几种方案及其优缺点,然后简述了农业专家系统和嵌入式Linux系统的基本概念,最后重点阐述了用嵌入式Linux系统来解决农村信息入户问题的详细设计方案。

    基于粗集理论的决策树剪枝
    由军平 卫金茂 王名扬
    2007, 29(1): 123-125. doi:
    摘要 ( 402 )   PDF (177KB) ( 433 )     

    本文在理论上分析比较了基于粗糙集理论的剪枝方法和C4.5中的EBP剪枝方法,并通过在多个数据集上进行实验比较,证实了基于粗糙集理论剪枝方法的优越性。

    语义神经网络与自然语言深层语义的计算
    罗慧慧[1] 周经野[2] 刘玲[2]
    2007, 29(1): 126-129. doi:
    摘要 ( 424 )   PDF (259KB) ( 566 )     

    本文依照语义神经网络、语义神经元及其上深层语义计算的形式化定义,基于深层语义计算需要分布式并行处理的特点,提出运用多线程技术来模拟实现神经元的同步并行计算 。我们描述了如何利用多线程中单个线程实现神经元的独立自主运行,以及如何利用多线程中的同步机制实现神经元之间的消息传递。

    GPRS在移动多媒体应急指挥系统中的设计与实现
    蔡勇 陈一民 陈养彬 高飞
    2007, 29(1): 130-133. doi:
    摘要 ( 365 )   PDF (288KB) ( 425 )     

    本文提出了一种基于GPRS/GPS/GTV-100的移动多媒体应急指挥系统。系统采用GPS动态定位、GPRS双向数据传输、GTV-100微波设备实时传输音和视频;采用无线通讯和控制,保证了系统的灵活性和机动性。文中对指挥系统的组成及原理进行了介绍,对如何应用Motorola G20模块构建GPRS网络通信及控制中心通信模块的设计进行了阐述;最后分析说明 明了如何采用G20、GSU-36和GTV-100进行车载移动终端的硬件设计实现。不同环境下进行的大量实地测试表明,系统工作稳定,效果良好。

    B方法与UML在软件设计中的结合应用
    何飞 谷建华
    2007, 29(1): 134-137. doi:
    摘要 ( 410 )   PDF (235KB) ( 309 )     

    形式化方法B用抽象机对软件进行描述和设计,它支持严格的数学定义和证明,可以保证模型的正确性和无歧义性。UML是面向对象的建模技术,提供灵活快捷的分析与设计方式。文中通过B方法和UML在问题对象域层次上的结合,给出一种在软件设计中结合应用,提高软件质量的方法。

    高并发事件驱动服务器研究
    黄冬泉[1] 张敏[2] 徐振亚[1] 尹宝林[1] 李伟琴[1]
    2007, 29(1): 138-141. doi:
    摘要 ( 436 )   PDF (366KB) ( 608 )     

    本文对高并发服务器中使用事件驱动编程模型进行了分析和研究,提出了一种混合使用事件和多线程技术的服务器软件体系结构,使用高级Petri网对混合多线程阶段化事件驱 动结构进行了建模,并与传统多线程模型进行了性能比较。与常见的一些编程模型相比,建立这种体系结构基础上的服务器应用具有较好的可伸缩性、较低的资源消耗、易编程使用等优点。

    基于Locale的Linux控制台国际化技术
    张磊 窦文华
    2007, 29(1): 142-144. doi:
    摘要 ( 332 )   PDF (277KB) ( 344 )     

    国际化是Linux内核的发展方向之一。本文首先介绍了Linux内核控制台驱动程序的整体结构,分析了Unicon和Zhcon两种控制台国际化方法的工作原理,指出了其中存在的问题,并提出了一种新的基于Locale的控制台国际化方案。

    基于Java的大规模分布式系统的升级模型
    宋荆汉 金鑫 杨文海
    2007, 29(1): 145-148. doi:
    摘要 ( 403 )   PDF (249KB) ( 538 )     

    本文分析了大规模分布式系统升级中存在的问题,给出了一种通用性的系统模型,并对模型中的基于BT的文件共享、系统的类动态加载、Java系统更新等关键技术进行了分析,最后总结了该模型的特点。