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

当期目录

    论文
    双星定位信息处理系统中的容错设计
    金士尧 李宏亮 等
    2001, 23(5): 1-4. doi:
    摘要 ( 362 )   PDF (178KB) ( 614 )     

    信息处理系统是双星定位系统中最为关键的部分,而如何保证信息处理的高可用,是双星定位系统中的难点。本文提出了保证信息处理系统高可用度的全面方案,包括信息处 理系统体系结构容错技术、高可用的时钟同步技术和数据库容错技术。从工程实践的运行情况来看,该容错设计方案完全满足系统技术指标要求。

    具有大量错误结点的超立方体网络中并行路由算法
    王国军 陈松乔 等
    2001, 23(5): 5-12. doi:
    摘要 ( 436 )   PDF (300KB) ( 411 )     

    本文讨论具有大量错误结点的超立方体网络中的并行路由算法。假定Hn是一个局部k-维子立方体连通用的n-维超立方体网络,本文提出的并行路由算法能够找出至少K=min(Dk(u),Dk(v)条并行路径,其中每一条路径的长度不超过(dH(Uk,Vk)+3)2^k。该算法的时间复杂度为O(Kn2^k)。这里,Dk(u)和Dk(v)分别代表源结点u和目的结点v的正确的邻结点个数(不考虑u和v所在的k-维子立方体内部的邻结点),dH(Uk,Vk)代表源结点u和目的结点v所在的两个k-维子立方体Uk和Vk之间的海明距离。本文还考察了了k=3的特殊情况,在k=3并且有分别不超过12.5%和25%的错误结点的情况下,该算法的时间复杂度为O(Kn),并且每一条路径的路径长度分别在大约1.5和2倍源结点和目的结点之间的海明距离之内。该算法只要求结点知道其邻结点的状态,而无需知道整个网络信息,也就是说,该算法是基于局部信息的,因而该算法具有很强的实际意义。

    Cluster环境中多Agent系统分布仿真的容错技术
    李宏亮 金士尧 等
    2001, 23(5): 13-16. doi:
    摘要 ( 372 )   PDF (145KB) ( 337 )     

    随着网络的普及和个人计算机性能的提高,需要能够在网络Cluster环境下进行多Agent系统的仿真。而如何防止Cluster环境中个别结点的失效导致全系统仿真的失败,是Cluster环境中进行分布仿真的重要研究领域。本文提出了一种适合于网络Cluster环境的多Agent分布仿真体系结构和具有容错机制的分布并行仿真算法,并已成功应用到复杂系统分布仿真平台上。

    高可靠实时分布处理系统的结点机结构研究和实现
    欧中红[1] 周双娥[2] 等
    2001, 23(5): 17-20. doi:
    摘要 ( 397 )   PDF (146KB) ( 405 )     

    本文对几种高可靠结点机的硬件体系结构从可靠性、实时性、可实现性等方面进行了分析比较。通过对多计算机组成的结点机结构的详细分析,可以看出容错算法并行实现技术、智能表决技术、实现上的标准化、模块化技术可以使实现的结点机在满足高可靠的同时满足实时性要求,并且易于升级。

    可信系统与网络
    闵应骅
    2001, 23(5): 21-23. doi:
    摘要 ( 435 )   PDF (155KB) ( 1514 )     

    容错计算学科领域,以IEEE国际容错计算会议为标志,发展了30年之后,于2000年定名为可信计算与通信。本文提供一些信息,报导一些新情况,供研究人员特别是我国科技管理人员参考。

    利用MinRouteAdvertisementInterval增强BGP收敛性的研究
    张春宏 高远
    2001, 23(5): 24-28. doi:
    摘要 ( 402 )   PDF (180KB) ( 330 )     

    本文首先分析一例典型的GBP路由振荡,然后研究了如何利用BGP路由最小通告时间间隔定时器来改善GBP收敛性的方法。

    BGP路由反射引起的路由持续振荡的分析
    张春宏 曲荣欣 等
    2001, 23(5): 29-32. doi:
    摘要 ( 364 )   PDF (144KB) ( 412 )     

    作为BGP扩展机制之一的BGP路由反射,在某些特定的配置情况下,能够导致永久性的BGP路由振荡。本文将通过实例分析路由反射引起振荡的条件,并给出一些网络设计准则 以避免振荡的发生。

    NRAM:一种基于微观经济学的网络资源分配方法
    陈晓梅 卢锡城 等
    2001, 23(5): 33-35. doi:
    摘要 ( 354 )   PDF (153KB) ( 480 )     

    本文基于微观经济学原理,提出一种网络资源分配模型NRAM。模型综合考虑平均延时和丢失率两种服务质量因素。并通过对业务类最大活跃会话参数的调整,为各业务类提供 服务质量保证。

    一种容错系统可靠性分析方法
    季会媛[1] 孟亚[2] 等
    2001, 23(5): 36-38. doi:
    摘要 ( 370 )   PDF (141KB) ( 436 )     

    传统的故障树分析(Fault Tree Analysis,简称FTA)方法是一种基于静态逻辑或静态故障机理的方法,但这种方法对容错系统的可靠性分析已不适用。引入一种新的逻辑门,应用动态故障树分析技术,是解决容错系统的可靠性分析问题的一种有效途径。本文在故障树模型中引入了一种带有公用备件的热备件逻辑门,并给出了这种逻辑门转化为 为马尔可夫链的方法。这种具有动态特性的逻辑门引入后所形成的动态故障树模型,扩展了传统故障树对容错系统可靠性分析的适用性。文章以某装备的电子设备系统为例,给出了用这种方法建立的动态故障树模型及其计算系统可靠度的方法和分析结果。

    面向对象软件度量自动化参考模型MOOP
    梅琳[1] 杜晓晨[2] 等
    2001, 23(5): 39-42. doi:
    摘要 ( 372 )   PDF (150KB) ( 428 )     

    评估软件质量涉及到定性和定量两个方面。在定量的度量方面,要考虑两个问题,一是度量什么,二是如何度量。面向对象技术的新特点给软件度量提出了新的要求。本文提出了一种针对面向对象程序分析的度量自动化参考模型MOOP,该模型采用三层结构:翻译层、表示层、分析层,具有可重定编译前端、中间表示与语言无关、度量集可定制等优点。基于MOOP参考模型,我们设计了一种面向对象度量自动化系统MOOP-Kit。

    容错软件开发框架RSDF
    姚文斌[1] 杨孝宗[2]
    2001, 23(5): 43-46. doi:
    摘要 ( 338 )   PDF (160KB) ( 422 )     

    本文提出了一种将重用技术引入到容错软件开发过程的思想框架。它以重用库为核心,将增强的净室模型作为可靠性软件开发的理论基础,在方法和实践上为容错软件的开发提供了强有力的支持。本文介绍了该框架中重用库模型的结构及其对容错软件开发方法的支持。

    进程迁移研究
    庞毅林 蒋翠玲
    2001, 23(5): 47-50. doi:
    摘要 ( 343 )   PDF (157KB) ( 543 )     

    进程迁移在分布式系统中的应用,提高了系统的负载平衡,实现了高效的容错性能。本文介绍了进程的状态迁移算法以及检查点的设置和其它状态的迁移技术。

    一个基于实际测试的网络流量模型
    谢高岗[1] 闵应骅[2] 等
    2001, 23(5): 51-53. doi:
    摘要 ( 363 )   PDF (160KB) ( 837 )     

    网络流量模型是网络性能评价、网络协议设计和网络规划等的基础。本文设计了一种在于实际网络测试的时间相关流量模型的方法,采用该流量模型预测网络流量。文章提出了网络流量预测精度的数学定义。网络测试实验表明,此流量模型具有更高的精度,适用于实际运行的网络环境。

    Mobile Agent选择移动迁移机制的设计与实现
    蔡洪波 张大方 等
    2001, 23(5): 54-57. doi:
    摘要 ( 347 )   PDF (141KB) ( 372 )     

    本文首先分析了当前Mobile Agent系统面临的问题,提出了选择移动迁移机制的概念;然后对传统迁移机制和选择移动机制对网络负载的影响进行了定量研究;最后,给出了 一种采用选择移动迁移机制的Mobile Agent系统模型,并简单介绍了实现细节。

    容错最早时限优先调度
    陈宇 熊光泽
    2001, 23(5): 58-62. doi:
    摘要 ( 377 )   PDF (202KB) ( 410 )     

    最早时限优先调度(EDF)是最优的动态可抢占先级实时调度算法,具有灵活、简单和高效的特点,但并没有考虑实时系统的容错要求。本文提出一种容错EDF算法,实现在规定时间段内的单个错误容错。本文详细分析了该算法的容错机制,证明了该算法的正确性,并给出了算法的可调度条件。

    一种新的监督聚类学习方法及其在故障诊断中的应用
    宋丹 宋保强
    2001, 23(5): 63-65. doi:
    摘要 ( 349 )   PDF (150KB) ( 353 )     

    本文提出了一种新的监督聚类学习方法。系统根据样本特征矢量空间的整体分布和局部分布情况对样本进行监督聚类,克服了传统神经网络只是利用样本局部分布信息调节权值造成的局部最小,计算量大等问题,并实现了包括对未知模式的识别。仿真结果表明该方法是可行和有效的。

    机群系统中检查点卷回恢复协议分析
    张怡 胡建平
    2001, 23(5): 66-69. doi:
    摘要 ( 378 )   PDF (157KB) ( 407 )     

    检查点机制作为一种软件容错机制,可以很好地满足机群系统的容错要求,本文详细分析了各类检查点卷回恢复协议,并比较它们的性能和特点。

    一个多算法集成的灵活并行测试生成原型系统
    刘蓬侠 曾芷德 等
    2001, 23(5): 70-73. doi:
    摘要 ( 336 )   PDF (188KB) ( 395 )     

    并行测试生成原型系统PATGTA基于串行ASIC测试生成和可测性分析系统ATGTA,采用PVM作为并行支撑环境,可方便地移植于各种并行计算环境,采用主从模式开发并集成了多种并行算法。对Benchmark-89电路的实验结果表明,PATGTA性能良好。

    测试算法评估及可测性预报系统
    钮颖彬 徐拾义 等
    2001, 23(5): 74-76. doi:
    摘要 ( 315 )   PDF (151KB) ( 344 )     

    测试算法评估及可测性预报系统使用回归分析和遗传算法,为测试生成算法建立可测性参数的预报模型,使得对于给定电路,不必实际运行各测试生成算法,就可以快速评估并预报出最适合的算法。本文整体介绍了这一系统,并对其中各主要模块作了重点描述。

    开关级扫描设计方法研究
    李少青
    2001, 23(5): 77-79. doi:
    摘要 ( 350 )   PDF (99KB) ( 357 )     

    本文针对门级扫描设计存在的面积、速度和测试时间问题,给出了一种开关级扫描插入方法,较好地解决了门级扫描设计面临的面积和速度问题,改进了测试时间问题。该方法对门级扫描设计有指导意义。

    实例研究—模糊芯片F200的设计、验证和测试
    沈理
    2001, 23(5): 80-83. doi:
    摘要 ( 345 )   PDF (135KB) ( 462 )     

    本文介绍模糊推理协处理器VLSI芯片F200的设计,给出了详细的芯片设计流程,并重点讨论了有关芯片的可测试性设计、设计验证和测试等问题。

    容错飞行控制系统的可用度分析
    王少萍 孔德良
    2001, 23(5): 84-86. doi:
    摘要 ( 334 )   PDF (102KB) ( 400 )     

    在飞行控制系统设计中,大量采用容错技术以提高系统的可靠性和可用性。针对复杂容错飞控系统可用度预计困难的问题,本文采用动态故障树与Markov过程综合的方法,将独立子树转换为事件的等效故障率和等效维修率,递归各事件即可得到复杂系统的可用度,从而实现容错飞控系统的可用度分析。

    一种新的交易事务处理程序设计方法
    高建华 沈莹
    2001, 23(5): 87-90. doi:
    摘要 ( 347 )   PDF (138KB) ( 316 )     

    本文在研究目标、交易、过程、功能之间的层次关系的基础上,分析了过程划分方法及其特性,提出了微码矩阵的概念,并根据微码矩阵设计了一种新的交易事务处理程序的设计方法。该方法具有过程之间接口简单,过程设计和调试相对独立、并行,修改和扩充系统容易,数据具有一致性和完整性等优点。

    高级数据加密标准的研究
    张焕国[1] 覃中平[2]
    2001, 23(5): 91-93. doi:
    摘要 ( 353 )   PDF (98KB) ( 492 )     

    本文介绍美国政府最近颁布的高级数据加密标准算法,并对其算法设计、安全性以及工程实现进行研究,给出其快速实现方法。

    基于测试的安全软件的安全性评估
    徐中伟 吴芳美
    2001, 23(5): 94-96. doi:
    摘要 ( 310 )   PDF (151KB) ( 533 )     

    安全软件的失效可能带来灾难性的后果或重大经济损失,因此,科学地评估安全软件的安全性十分必要。本文介绍了软件分级安全性的基本概念和贝叶斯模型,重点讨论了如何应用测试结果定量评估安全关键软件的安全性的方法,最后给出了一个铁路信号控制安全软件的安全性评价实例。

    电信网可靠性建模与评估综述
    胡华平[1] 章迅[2] 等
    2001, 23(5): 97-101. doi:
    摘要 ( 322 )   PDF (209KB) ( 521 )     

    本文从电信网的抗毁性、生存性、有效性等三个方面对电信网的可靠性研究现状进行综述,提出了电信网可靠性研究的主要发展趋势,即新技术对可靠性或有效性的影响、可靠性综合方法的研究、大型系统的可靠性模型的建立与化简方法的研究等。

    一种嵌入式实时分布计算系统的安全策略设计
    戴新发 袁由光
    2001, 23(5): 102-104. doi:
    摘要 ( 318 )   PDF (102KB) ( 410 )     

    本文介绍了一种基于防火墙和安全分布式操作系统的,嵌入式实时分布计算系统的安全策略设计,其中由包过滤路由器和堡垒主机构成的防火墙屏蔽来自系统外部的攻击,防火墙中包含了IPSec协议安全机制。分布计算系统内部的安全保障则源自扩充了安全服务的分布式操作系统。

    一种容错磁盘子系统的实现
    刘春 袁由光
    2001, 23(5): 105-107. doi:
    摘要 ( 306 )   PDF (110KB) ( 395 )     

    本文介绍了一种采用成熟的产品,利用SCSI总线和SCSI总线适配器的特征实现容错磁盘子系统的方法。