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

当期目录

    论文
    移动Ad Hoc网络中带路由机制的密钥管理
    洪帆 姜凡 张伟 陈晶 付才
    2007, 29(3): 1-3. doi:
    摘要 ( 399 )   PDF (276KB) ( 332 )     

    移动Ad Hoc网络是一种无中心自组织的多跳无线网络,有效的密钥管理是网络安全的关键。因此,本文提出了一个能够快速响应的密钥管理框架。这个框架通过应用可验证的秘 密共享方案来建立PKI,并通过引入路由机制构造了一个快速响应的服务器组。服务器组可以对组内结点的私钥分量更新和所有结点的证书更新提供快速响应。为了验证框架的
    的性能,本文通过仿真给出了实验结果。

    基于IPv6网络的多媒体传输QoS研究
    李中[1] 鲁士文[2]
    2007, 29(3): 4-7. doi:
    摘要 ( 399 )   PDF (393KB) ( 411 )     

    随着IP网络的发展,越来越多的服务被提供,如视频点播、VoIP、视频会议等。但是,IP网络只能够提供尽力而为的服务,而不能提供有效的QoS保证,尤其对于多媒体应用。借鉴 IPv6支持QoS的新特性,结合RSVP协议并将综合服务和区分服务进行整合,在此基础上基于IPv6网络实现了一个保证多媒体通讯QoS的技术方案。

    移动Ad Hoc网络OLSR路由协议中虫洞问题的研究
    欧阳星明 王涛
    2007, 29(3): 8-9. doi:
    摘要 ( 344 )   PDF (227KB) ( 423 )     

    由于网络拓扑的动态性和无线链路的多跳性,传统路由协议不能保证Ad Hoc网络的安全。本文剖析了OLSR路由协议中存在的虫洞问题,在分析已有解决方案的基础上提出了一种 综合、有效的解决方案,以保障数据端到端传输的可靠性,提高了路由协议的安全性。

    一种基于多路径的传感器网络安全数据传输机制
    夏戈明[1] 吴薇[2] 王志英[1]
    2007, 29(3): 10-13. doi:
    摘要 ( 363 )   PDF (324KB) ( 370 )     

    本文针对传感器网络提出了一种基于多路径的安全数据传输方案,通过在多条路径上分发数据,达到增强机密性和鲁棒性的目的。针对数据机密性,设计基于异或计算的编码方式,使得攻击者解析任何数据片段的难度等同于攻占所有的K条路径。针对传输的鲁棒性,设计了数据分发算法以及备份与校验相结合的容错模式,实现了容忍多条路径失效的数据传输,并且具有适度的数据冗余、理想的路径利用率以及快速的数据恢复能力。

    层次型移动IPv6快速切换中的缓存管理
    李栋[1] 赵珑[2] 张有志[1]
    2007, 29(3): 14-15. doi:
    摘要 ( 417 )   PDF (213KB) ( 336 )     

    目前,很多移动IP切换的机制都是为了减少移动主机在切换过程中的分组丢失,做到了无缝切换。本文通过对层次型快速切换机制进行仿真和分析,提出了在层次型快速切换机制中引入缓存管理机制的切换方案,改善了系统切换的性能。

    基于移动代理的入侵检测系统
    李庆华 胡巍 廖翔
    2007, 29(3): 16-18. doi:
    摘要 ( 438 )   PDF (220KB) ( 346 )     

    本文针对传统入侵检测系统普遍存在的缺陷,充分结合移动代理技术,提出了一种基于移动代理的入侵检测系统模型。该系统能对单一主机、多台主机和整个网络进行多层次的检测,整个检测体系可以灵活、动态地配置和方便地扩展。另外,本文还着重讨论了系统部件出现失效时如何自动恢复,使系统更加稳定和可靠。

    基于双线性映射的前向安全签名方案研究
    李顺吉[1,2] 徐秋亮[1] 蒋翰[1]
    2007, 29(3): 19-22. doi:
    摘要 ( 377 )   PDF (283KB) ( 478 )     

    首先,我们证明了基于双线性映射的SOK签名方案的安全性,结合文献[1]构造了一个前向安全签名方案,然后提出了一个新型的前向安全数字签名方案,并进行了安全性的分析和 效率的比较。

    基于Clark-Wilson的属性证书授权模型
    孟洋 徐向阳 黄海
    2007, 29(3): 23-26. doi:
    摘要 ( 380 )   PDF (287KB) ( 475 )     

    本文采用Clark-Wilson完整型模型,使用属性证书作为权限传递的载体,结合授权管理基础设施(PMI)实现基于角色的授权模型,并提出一种形式化描述架构,描述权限、证书和相关的授权;基于语义的演算过程对给定的属性证书集和撤销证书集可以验证某种权限是否有效;采用Alloy形式化语言来定义模型,并且给出描述扩展Clark-Wilson的方法。

    一种改进的ICMP差错报文处理的IPSec协议
    陈传波 姜正强 郑运平
    2007, 29(3): 27-29. doi:
    摘要 ( 428 )   PDF (222KB) ( 356 )     

    本文分析了IPSec协议在通道模式下对ICMP差错报文不能正确转发的问题,并对原IPSec协议进行改进,提出了一种对SA改进的IPSec解决方案。改进后的方案能够在保持原IPSec特性的基础上解决该问题,并能够与已有的IPSec实施方案兼容。

    Kylin安全审计子系统的研究和实现
    罗钰 何连跃
    2007, 29(3): 30-32. doi:
    摘要 ( 384 )   PDF (207KB) ( 375 )     

    研究操作系统的安全防护技术,预测分析操作系统的安全行为,是操作系统安全的重要内容。预测行为是通过分析系统的审计数据完成的,必须要求安全操作系统具备记录用户行为的功能。然而,在很多情况下,恶意用户攻破了操作系统,意味着拥有系统管理员的权限,它可以破坏审计数据,改变系统审计行为,以达到隐藏自己恶意行为的目的。因此,Kylin操作系统研究并实现三权分立的管理员管理模型,该模型要求审计数据的产生和存储不受除审计管理员之外的任何用户控制。本文研究并设计了内核线程完成审计功能的软件结构,避免了以往通过内核审计模块和审计进程实现的审计系统的脆弱性,保证了审计管理的独立。

    一种接入路由器时延的在线测量方法
    王字科[1] 张大方[1] 黎文伟[2]
    2007, 29(3): 33-35. doi:
    摘要 ( 383 )   PDF (260KB) ( 349 )     

    接入路由器时延的在线测量对网络监管非常重要,目前的测量方法实施成本较高。本文将主动测量与被动测量相结合,提出了一种简单实时的接入路由器时延在线测量方法。该方法易实施、完全实时、成本低、适于普遍采用。通过对湖南大学校园网接入路由器的测量实验表明,该方法是有效的。

    一种基于窗口的拥塞控制:TCPImpv
    邵立松 张鹤颖 窦文华
    2007, 29(3): 36-38. doi:
    摘要 ( 429 )   PDF (203KB) ( 353 )     

    在高带宽延迟积网络中,传统TCP导致很低的网络效率。我们研究了窗口增量函数对网络稳定性和效率的作用,并提出TCPImpv拥塞控制。仿真结果表明,在高带宽延迟积网络中,TCPImpv的网络效率和分组丢弃性能明显优于HSTCP;在一般网络条件下,TCPImpv保持了传统TCP的性能。

    Wiener滤波图像复原
    周维华[1,2]
    2007, 29(3): 39-40. doi:
    摘要 ( 341 )   PDF (192KB) ( 1620 )     

    图像在获取、传输和存储过程中由于受多种原因如模糊、失真、噪声等的影响,会造成图像质量的下降。本文首先探讨了图像退化的原因,建立图像复原的模型;然后设计采用W iener滤波算法对图像进行复原;最后对经典的Lenna图像进行图像实验,并分析了实验的结果。

    灰度烟支图像的二值化算法
    曹计昌 杨帆
    2007, 29(3): 41-42. doi:
    摘要 ( 427 )   PDF (202KB) ( 521 )     

    在烟支计数的实际应用中,为了后续的计数,需要对灰度烟支图像二值化。由于烟支图像中烟支小而多,烟支之间的间隔小,使用常用的阈值选取算法来二值化烟支图像并不能取 得好的效果。本文根据Pun的最大熵算法提出了一种改进的局部最大熵均值综合阈值选取方法。本文的方法把整个烟支图像分成小区域,在每一个区域中综合考虑最大熵和区域域灰度均值来得到最优的阈值。实验结果表明了此算法的有效性。

    一种快速的QR码图像去模糊方法
    涂丹 甘亚莉 徐宗琦
    2007, 29(3): 43-45. doi:
    摘要 ( 378 )   PDF (190KB) ( 669 )     

    具有摄像功能的手机已经成为一种便捷的二维条码阅读器,但手机因为本身的限制造成拍摄图像模糊,影响了后续的条码识别。本文提出了一种适合在手机平台上的图像盲恢复 方法,以QR码识别为应用目的,利用QR码图像的灰度分布特点,通过模糊图像的边缘响应计算得到PSF函数,再进行图像恢复。实验证明,本文提出的方法具有去模糊效果好、计算简单的特点,适合手机等嵌入式平台的实时应用。

    一种基于非线性尺度空间的视频对象分割方法
    肖国强 刘建平
    2007, 29(3): 46-48. doi:
    摘要 ( 442 )   PDF (215KB) ( 364 )     

    本文提出一种基于非线性尺度空间理论的视频对象分割方法。该方法首先利用非线性尺度空间理论对视频序列中的每一帧图像做多尺度分解,然后在由大尺度图像组成的序列中利用运动信息确定运动对象,最后根据每一帧图像的多尺度图像确定对象的准确边界。实验结果表明,该方法能够在复杂的自然场景中精确地分割出视频对象,具有较强的抗干扰能力。

    基于学习聚类的图像语义检索算法
    王天江 田刚
    2007, 29(3): 49-51. doi:
    摘要 ( 334 )   PDF (181KB) ( 339 )     

    本文利用聚类理论提出了一种基于学习的聚类图像语义检索算法,建立了底层特征和高层语义的映射,实现了语义的快速提取和图像的精确检索。它由聚类构造算法、聚类构造学习和图象检索算法组成。实验结果表明,本算法是比较稳定和有效的。

    一种基于词共现的文本相似度计算
    曹恬 周丽 张国煊
    2007, 29(3): 52-53. doi:
    摘要 ( 425 )   PDF (182KB) ( 1343 )     

    在文本检索中,由于用户需求的表达方式不充分,常会得到大量无关信息,给用户检索带来诸多不便。本文提出的基于词共现的文本相似度计算,可以让用户选择去掉或保留和某一文本相似的文本集,提高用户检索效率。

    基于隐马尔可夫模型的二次k-均值基因序列聚类算法
    吴君浩[1] 骆嘉伟[1] 王艳[1] 杨涛[1] 杨旭[2]
    2007, 29(3): 54-56. doi:
    摘要 ( 430 )   PDF (216KB) ( 616 )     

    本文提出了一种基于隐马尔可夫模型的二次k-均值聚类算法并实现了对基因序列数据的建模与聚类。算法首先引入了同源基因序列核苷酸比率趋向于一致的生物学特征来对基  因序列数据进行初次k-均值聚类,然后利用第一次聚类结果训练出表征序列特征的隐马尔可夫模型,最后采用基于模型的k-均值方法再次聚类。实验结果表明,该算法是可行的, ,并且具有较好的聚类质量。

    多载波系统中自适应比特功率分配算法研究
    霍永青 彭启琮
    2007, 29(3): 57-59. doi:
    摘要 ( 406 )   PDF (202KB) ( 456 )     

    本文提出了一种多载波系统中自适应功率和比特分配算法。该算法在低信噪比时基于最大化信道容量分配比特,基于最小化误码率分配功率;在高信噪比时采用Fischer算法进行比特功率分配。仿真结果表明,低信噪比时所提算法比Fisher算法性能好,高信噪比时和Fisher算法的性能一样好。因此,文中所提算法比Fisher算法更具有实际应用价值。仿真结果也表明了子载波数对系统性能的影响。

    DFA最小化算法研究
    周时阳 祝建华
    2007, 29(3): 60-62. doi:
    摘要 ( 351 )   PDF (200KB) ( 1185 )     

    本文指出了现有DFA最小化算法的缺陷,并给出使用这些算法对DFA限制条件以及将不满足限制条件DFA等价转换成满足限制条件的DFA一般方法;在研究状态等价的充分条件基础 上,提出了一种新的适用任何DFA的最小化算法及其算法的正确性证明。

    基于蚁群算法的分布多处理机系统任务调度研究
    孔晓红[1,2] 须文波[1] 孙俊[1]
    2007, 29(3): 63-65. doi:
    摘要 ( 523 )   PDF (272KB) ( 538 )     

    本文主要基于现代蚁群算法讨论分布式系统调度。蚁群算法是一种构造型启发算法,在离散优化问题中得到广泛应用。分布式系统调度属于NP-hard,为了提高算法性能,把问题任务图的优先级作为启发信息。最后,采用随机产生的任务图将调度结果和模拟退火算法、遗传算法等进行了比较。

    一种基于传输触发体系结构的可重构Hash函数处理器:TTAH
    赵学秘 王志英 戴葵 陆洪毅
    2007, 29(3): 66-69. doi:
    摘要 ( 499 )   PDF (349KB) ( 341 )     

    Hash函数是密码学中保证数据完整性的有效手段,性能需求使得某些应用必须采用硬件实现。本文通过分析常用Hash函数在算法上的相似性设计出了专用可重构单元,并将这些 可重构单元耦合到传输触发体系结构中,得到一种可重构Hash函数处理器TTAH。常用Hash算法在TTAH上的映射结果表明:与细粒度可重构结构相比,其速度快,资源利用率高;与ASIC相比,可以在额外开销增加较小的前提下有效地支持多种常用Hash函数。

    基于改进KOA方法的模2域多项式乘法器的实现
    黄小苑[1] 白国强[2] 何良生[1]
    2007, 29(3): 70-73. doi:
    摘要 ( 449 )   PDF (253KB) ( 423 )     

    有限域上的多项式乘法器是实现ECC底层运算的关键模块。本文基于Karatsuba-Offman提出的分治思想来简化两个多精度操作数的模乘。通过反复调用一个乘法器进行模乘并将结果逐次累加,减少了单精度操作数乘法的次数,从而降低了运算的复杂度。实验结果显示,这种方法在增加一定路径延时的代价下获得更小的芯片面积和功耗。设计原型改进后适用于无线局域网等要求低功耗、小面积的安全设备中。

    流处理器延迟隐藏机制的优化及实现
    李礼 文梅 伍楠 李海燕 张春元
    2007, 29(3): 74-76. doi:
    摘要 ( 418 )   PDF (188KB) ( 387 )     

    流体系结构在新兴的高性能计算机体系结构中备受关注,通过多种技术途径,流处理器能广泛深入地挖掘程序各种并行性。本文首先介绍流处理器访存延迟隐藏的技术,然后引入“链接”思想以进一步优化访存延迟隐藏机制,最后讨论了“链接”机制在流处理器上的实现。

    片内二级Cache的静态功耗优化技术研究
    张承义 张民选
    2007, 29(3): 77-79. doi:
    摘要 ( 473 )   PDF (283KB) ( 431 )     

    随着集成电路制造工艺进入超深亚微米阶段,静态功耗在微处理器总功耗中所占的比例越来越大,尤其是片上二级Cache。在开发新的低漏流工艺和电路技术之外,如何在体系结构级控制和优化静态功耗成为业界研究的热点。本文提出了一种ADSR算法,在保证处理器性能不受影响的前提下,可以大幅降低二级Cache的静态功耗。

    网络处理器中协处理器设计方法研究及实现
    张晓明 王勇军 张民选
    2007, 29(3): 80-83. doi:
    摘要 ( 428 )   PDF (244KB) ( 357 )     

    随着深亚微米工艺的迅速发展,现代网络处理器芯片广泛采用MPSoC体系结构实现。针对网络处理器中协处理器的特点,本文研究了其设计方法,提出了三种多个处理单元间的协处理器共享机制,而后在基于NiosⅡ软核的网络处理器中实现了多种协处理器结构,以支持不同的设计需求。

    在NUAL处理器中实现精确中断
    万江华 陈书明
    2007, 29(3): 84-86. doi:
    摘要 ( 380 )   PDF (307KB) ( 386 )     

    精确中断是实现软中断调试的关键。由于NUAL程序的特点,在NUAL处理器中实现精确中断比较困难。现有的重放缓冲和当前状态缓冲机制虽然能够解决这一问题,但前者实现代 价较大,而后者则需要编译器支持。本文深入分析了中断处理过程,提出了结果写回缓冲机制,详细描述了它的原理和工作过程,并对该机制进行了模拟验证。最后,本文分别从硬件代价、功耗和副作用等方面对三种机制进行了比较。结果表明,结果写回缓冲机制在各方面均优于重放缓冲机制,而在整体上也优于当前状态缓冲机制。

    基于IOP321的嵌入式RAID系统中的硬异或实现
    李明 董晓明 刘瑞芳
    2007, 29(3): 87-90. doi:
    摘要 ( 413 )   PDF (267KB) ( 401 )     

    为提高RAID系统的可靠性,RAID3/5/6算法在数据写入的过程中采用异或运算产生奇偶校验信息。当RAID出现故障时,也是通过异或运算完成数据的重构。因此,异或运算是RAID系统工作时频繁而且重要的操作之一。本文详细介绍了采用Intel IOP321处理器的应用加速单元实现异或运算的工作原理和软件模块设计,并通过实验测试证明,专门的硬异或单元比嵌入式处理器做软件异或运算的速度快7倍以上,有效地解决了嵌入式环境下异或的性能瓶颈问题。

    芯片设计中工艺映射方法的选用策略
    潘旻旻 杨全胜 邢汉承
    2007, 29(3): 91-93. doi:
    摘要 ( 472 )   PDF (279KB) ( 397 )     

    工艺映射是综合过程中的重要步骤之一。本文描述了基于特定单元库的工艺映射的主流方法,然后详细分析了它们各自的优缺点;在此基础上,为改进基于特定单元库的工艺映射,提出了对工艺映射流程中各步骤已有处理方法的选用建议;最后,进一步讨论了当前面向FPGA的工艺映射中对基于特定单元库的工艺映射方法的借鉴。

    VxWorks下USB驱程栈框架模型及其应用研究
    肖来元 赵吉军
    2007, 29(3): 94-96. doi:
    摘要 ( 476 )   PDF (195KB) ( 516 )     

    本文对嵌入式操作系统中的技术典范VxWork进行了详尽分析,包括任务控制与调度、任务通信与同步互斥、中断处理和USB驱程栈结构。最后,本文提出了一个通用的VxWork USB驱程栈框架。

    基于CWM的元仓库设计与实现
    吴晓渊 宁洪
    2007, 29(3): 97-99. doi:
    摘要 ( 375 )   PDF (265KB) ( 771 )     

    元数据集成是近年来的热门问题。CWM规范提出了一个通用标准,使得元数据之间的集成和管理更加简单高效。元数据集成管理系统中,元仓库是重要的组成部分。本文讨论了一种廉价高效元仓库的设计思想,并给出一个元模型在元仓库中存储的简单实例。

    利用UML-RT序列图支持基于事务的SoC系统级功能验证
    余金山 谭庆平 李暾
    2007, 29(3): 100-104. doi:
    摘要 ( 413 )   PDF (371KB) ( 381 )     

    SoC基于事务的验证方法面临的一个重要问题是如何设计验证系统级复杂交互行为的事务测试序列。基于场景的序列图是设计人员捕获系统级功能规约的良好方法。本文提出了一种利用UML-RT序列图捕获SoC各个IP核之间的通信协作行为,为基于事务的验证建立高层规约,指导系统级测试序列生成的方法。我们自行开发了一个基于构件的事务验证 环境SoC-CBTVE,并在该环境中利用本文的方法对一个典型的SoC设计进行了验证和分析。实验结果表明,利用UML-RT序列图能够捕获SoC系统级IP核之间的复杂通信行为,有效支 持SoC系统级功能验证。

    数据库管理系统多缓冲池的配置及其多次划分自调优算法
    吴恒山 李蛟 谢美意
    2007, 29(3): 105-107. doi:
    摘要 ( 377 )   PDF (188KB) ( 352 )     

    本文针对数据库管理系统中缓冲区的特殊重要地位,介绍了多缓冲池的配置及自调优的概念。将缓冲区分为数个独立的缓冲池,为不同性质的数据库对象分别建立独立的缓冲池  ,也为不同的负载提供最佳的配置方式,能够减少不同负载下的i/os时间,提高吞吐率。本文介绍了多缓冲池配置的模型,并基于此模型提出了多缓冲池的多次划分自调优算法。

    基于移动Agent的电子商务征税系统模拟
    甘早斌 王雅芳 魏登文 张金隆
    2007, 29(3): 108-111. doi:
    摘要 ( 373 )   PDF (280KB) ( 345 )     

    电子商务的迅速发展使得电子商务环境下的税收问题成为世界各国关注的一个焦点之一。在分析电子商务征税流程的基础上,本文提出了基于移动Agent的电子商务征税系统模 型,并给出了其在Aglet平台下的仿真实现,最后对该仿真系统进行了相关分析。

    Web服务组合语言的出错与补偿处理的pi演算编码
    高春鸣[1,2] 黄邵[1] 陈火旺[2]
    2007, 29(3): 112-116. doi:
    摘要 ( 381 )   PDF (358KB) ( 357 )     
    本文研究了Web服务组合语言BPEL4WS的出错与补偿处理的pi演算编码,目的是实现Web服务组合语言BPEL4WS自动验证过程。本文对pi演算进行扩充以编码BPEL4WS程序,给出了pi演算对BPEL活动的编码规则。在一个作用域的条件下,用pi演算的通信并发结构表示BPEL4WS规范的出错与补偿处理结构,采用传名机制分别处理程序化显式抛出故障与非程序序化抛出故障的捕获,给出BPEL4WS的出错与补偿处理的pi演算编码,为系统地完成从Web服务组合语言BPEL4WS规范到扩展pi演算的编码奠定了基础。
    基于LDAP的对象存储系统元数据的组织与管理
    王芳 张顺达 冯丹 曾令仿
    2007, 29(3): 117-118. doi:
    摘要 ( 388 )   PDF (195KB) ( 436 )     

    本文介绍了面向对象系统中元数据服务器的设计及元数据的组织和管理。该系统中元数据服务器使用了轻量级目录访问协议(LDAP)作为存放元数据的平台,针对这个平台设计了相应的数据分配算法和数据转换模块,并对其性能进行了分析和优化。

    通信信号瞬时参数的提取方法研究
    殷蔚华 徐书华 黄本雄
    2007, 29(3): 119-121. doi:
    摘要 ( 342 )   PDF (245KB) ( 362 )     

    通信信号的瞬时参数包含丰富的信息,提取瞬时参数具有很重要的意义。本文提出一种时域提取瞬时参数的方法-OSR,并与其它常用方法作了比较。理论分析和实验结果表明,OSR方法在对抗各种信号失真及干扰方面具有优越性,能在恶劣的条件下较准确地逼近真实的瞬时参数。

    基于ADSP-BF561的双核通信研究
    阳富民 黄涌 涂刚
    2007, 29(3): 122-123. doi:
    摘要 ( 355 )   PDF (195KB) ( 461 )     

    本文介绍了ADSP-BF561双核处理器的构造,分析了传统的处理器通信模式,提出了一种混合的双核通信模型,并据此模型在μCLinux操作系统上设计与实现了双核通信功能。

    面向对象的智能化磁盘OSD的研究与实现
    周功业 王琰 鲁春怀
    2007, 29(3): 124-127. doi:
    摘要 ( 395 )   PDF (271KB) ( 313 )     

    随着信息存储技术的发展,现有的存储设备越来越不满足构建大型存储系统的需要。本文研究了存储设备在存储系统中的行为方式,构造了面向对象的智能化磁盘设备OSD的体 系结构,并在使用OSD实现的网络存储系统中测试了其功能和性能。

    并行高斯粒子滤波器结构分析和实现
    魏星 王玲
    2007, 29(3): 128-130. doi:
    摘要 ( 393 )   PDF (210KB) ( 398 )     

    本文针对粒子滤波器计算量大、实时性差的问题分析了高斯粒子滤波的并行结构,并以一个简单实例为背景介绍了高斯粒子滤波器在集群计算机上的应用实现。

    多Agent系统中的角色继承
    陈志雄 毛新军 董孟高
    2007, 29(3): 131-135. doi:
    摘要 ( 457 )   PDF (307KB) ( 264 )     

    继承用来描述一般与特殊关系,多Agent系统中引入继承有助于分析多Agent系统的结构层次和软件重用。本文讨论了开发多Agent系统时分析和描述继承的重要性和多Agent系 统中继承的特点,通过一个角色模型对继承机制进行了语义定义,提出了一种在需求分析阶段对继承进行建模和分析的方法。

    核聚类人工免疫网络的参数研究
    葛红[1,2]
    2007, 29(3): 136-138. doi:
    摘要 ( 368 )   PDF (261KB) ( 276 )     

    核聚类人工免疫网络是一种新型的聚类分析方法,其基本算法形式也是启发式随机搜索算法,所以算法中的参数对于方法的最后性能有着重要影响。本文通过实验探讨几个关键参数对算法性能的影响,从而说明算法中参数的选择方式。

    极限编程架构进化设计的研究
    曾广平[1] 杨喜敏[1,2]
    2007, 29(3): 139-141. doi:
    摘要 ( 347 )   PDF (258KB) ( 287 )     

    软件架构是软件工程中的重要领域,对软件系统有重要的意义,采用适当的架构是项目成功的第一步。本文分析了极限编程的价值观和实践原则,针对极限编程弱化了架构概念的缺陷,利用敏捷方法的核心理念和其他方法的优点提出了XP中架构设计改进过程,并进行了成功实践。

    硬盘伺服刻写的新方法
    姜丹 周功业
    2007, 29(3): 142-144. doi:
    摘要 ( 308 )   PDF (194KB) ( 397 )     

    本文提出了一种新的硬磁盘伺服刻写方法——螺旋伺服刻写法,推导了螺旋伺服运动模型,并做了性能分析。该方法首先将伺服初始信息以螺旋道的方式写入盘片,然后在后期由硬磁盘驱动器(HDD)自行将伺服信息补充完整,在保证伺服信息完整性的同时减少了关键资源的使用时间,缩短了伺服刻写时长,提高了生产效率,降低了生产成本。