三模冗余结构微机联锁系统的安全度分析.pdfVIP

维普资讯 第 34卷 第 6期 西 南 交 通 大 学‘ 学 报 JOURNALOFSOUTH~T_STJL~OTONGUNIVERSITY ．34 No6 1999年 l2月 Dec I999 @7／一7仃 三模冗余结构微机联锁系统的安全度分析 徐志根 王长林 多6z‘ (西南交通大享— 通信王面 —葡_都 610031) 揞 要 采用马尔可夫模型，在考虑故障覆盖率影响的情况 下，副三摸冗亲结构微机联 {系统的 安全髓进行丁详细的推导．得出 r谈系统安全度的定量表达式 ，分析 了在典型情况下的系统安全 性能 ，对其结果结旨实际应用进行了有意义 的讨论。 冗 余。 TP302 分类号 锁 墼}． ．’八j}=鼹0 磁，，1靓，，u。＼锗、r)k，屯u／ 三 瓦宋船拘 ‘ 铁路屠号微机联锁系统为达到故 障一安全原则的要求 ，广泛采用了冗余结构容错系统 ，以 双模热备、双模冷备和三模冗余结构较为普遍。无论采用何种结构 ，系统的安全度是最重要的 一 项指标j在计算系统的安全度时 ，故障覆盖率是一个不可缺少的因素。对于双模热备和双 模冷备系统 ，有关文献 I已给出了详细的推导和分析。对于三模冗余结构系统 ，系统故障的组 合状态多，且安全侧所对应的系统状态不是唯一。文 中将安全侧所对应的系统状态分解为多 个状态，采用马尔可夫模型进行描述 ，较好地解决 r这个问题 。 1 三模冗余系统安全度的马尔可夫模型 现给定一个三模冗余结构系统，如图 1所示。该 系统是 一个带故障检测并利用磁通和产 生单 一结 果的三模混台冗余系统。 至敲障打开 图l 三模混告冗余系统 设每个模块失效率均为常数 ，则在时刻 某模块正常工作 ，而在时刻 +△t该模块失 效的概率 为…l—e 将该式指数部份用级数展开，对于很小的△t，该式可简化为 1一 e-A* A△ t 收稿 日期 ：1999．嘶一位 徐志根 ：男 1962．年生 ，副教授、硕士。 维普资讯 714 西 南 交 通 大 学 学 报 第34卷 设每个模块的故障覆盖率为 c，在这里 c的含义是故障模块被检测到并从系统被切除的 概率。对于图 1给定的三模混合冗余系统 ，分析在各种故障下的组合情况 ，并与马尔可夫模型 中的状态一一对应 ，归纳如下 ： · 系统开始工作时，三个模块均完好，用状态 3表示。 · 当某个模块发生故障后，若该故障模块能被检测到并被切除，则系统还能容忍第二个 故障(条件是第二个故障也能被检测并切除故障模块)…1，用状态 2表示。 一 个模块发生故障后 ，若不能被检测出，或不能被切除 ，则系统不能容忍第二个故障， 用状态 uJ)表示 … · 当两个模块发生故障后，若都能被检测出并被切除，则系统还能容忍第三个故障 (条件 是第三个故障也能被检测到并切除故障模块)，用状态 1表示。 · 当两个模块发生故障，其中一个故障被检测到并切除故障模块 ，另一个故障未被检测 到或未切除故障模块，此时虽仍有一个模块正常工作，按上述第二条的定义，系统已不能容忍 ， 系统的故障状态是导 向安全侧 的，用 PSI表示 · 当三模块均发生故障，且全部被检测到并被切除，磁通和无输出，此时系统也是导向安 全侧的，月{ES2表示 。 · 除 以上情况外 的故障状态 ，均使系统导 向危险侧 ，用状态 兀]表示 。 马尔可夫模型中有两个基本概念