基于drbd的冗余泵组建模与仿真.docxVIP

基于drbd的冗余泵组建模与仿真 1 高阶复杂系统的动态可靠性分析 在动态系统中，组件相互作用，随着时间的推移而改变状态。相关性和相关行为包括负荷分配、备用冗余、相互干扰、应求关系、级联效应、相关失效(或共因失效)等。在以往的共因失效分析中,冗余系统都是由相同设备并联组成的,且共因设备组(CCCG)中每个设备的失效率λ(包括独立失效率和共因失效率)都是相等的,CCCG中的设备在初始时刻都处于工作状态,而反应堆高阶冗余泵组是由泵和止回阀组成,泵之间同时存在温备用和共因失效,而且止回阀的作用特殊,其阀组的工作状态取决于泵组的工作状态;由此可知,以往的分析方法无法解决这2个问题。 Markov方法是分析系统动态可靠性的一种有效方法,它依赖于单元部件的分布函数、系统运行状态的数量和转移方式。在分析高阶冗余系统(大于3阶)时,尤其是又考虑相关性时,运行状态数量明显增加,会出现状态空间组合爆炸问题,因此,应用Markov方法分析高阶复杂系统的动态可靠性是比较困难的。而蒙特卡洛(Monte Carlo)方法突破了系统状态或维数以及单元部件分布函数的限制,利用现代计算机的强大运算功能来模拟仿真高阶复杂系统的运行过程,为分析复杂系统提供了一种可行的、有效的工具。 2 系统建模 2.1 drbd分类 DRBD以可靠性框图(RBD)为基础,进一步引入了动态因素以及相关性。元件的状态不再是工作和失效2种状态,而是3种状态:工作、失效和备用。在此3种状态之间,存在4种转换事件:(1)故障(F):从工作状态向失效状态的转换的事件;(2)启用(W):从备用状态向工作状态,或在不同工作状态之间转换的事件;(3)停工(S):即从工作状态向备用状态,或在不同备用状态之间的转换的事件;(4)维修(R):即从失效状态向工作状态或备用状态的转换的事件。DRBD的状态-事件转换见图1。 DRBD适合分析元件或子系统之间可靠性行为的相关性,在2个元件或子系统=[即驱动元件(Dr)和目标元件(Tg)之间],由相关性建立了一种可靠性关系:原因/影响。当驱动元件发生触发事件(tr)时,目标元件可能会作出一定的反馈(re)。从影响方式考虑,相关性主要分为次序相关性和强迫相关性(图2)。次序相关性代表在触发事件和反馈之间的次序关系;强迫相关性是在触发事件发生后强迫目标元件作出反馈的影响关系。图1中的转换事件也就是相关性中的触发事件和反馈。在图2中,触发事件和反馈通过斜线分隔开,即tr/re;p为传播概率,即驱动元件Dr和目标元件Tg之间发生此相关性的概率;β为相关率,与β因子模型的共因参数类似;c为连接优先权,用来衡量相关性的重要度。 2.2 基于drbd的设备失效模型 反应堆高阶冗余泵组由4个离心泵和4个止回阀组成(图3)。离心泵2和4分别为离心泵1和3的备用泵,其备用状态为温备用。 泵组中,止回阀的作用比较特殊,其需求失效有2种失效模式:打不开和关不上;其运行失效主要有2种失效模式:泄漏和不止回。在其运行过程中,工作和备用支路的止回阀都要处于工作状态,即工作支路的止回阀要求打开,备用支路的止回阀要求止回。也就是说,当一条支路正常工作时,若另一条支路上的离心泵备用或失效,止回阀因故障而无法止回,则此环路就会出现冷却水自循环的现象。因此,泵组中的止回阀在运行过程中都必须处于工作状态。 由于系统中采用了大量的冗余以保证其高可靠性,共因失效的作用必须考虑在内。以字母X(X=P,Z)代表设备名称;其中P代表离心泵;Z代表止回阀。X后面的数字i(i=1,2,3,4)代表具体设备元件;αk表示α因子模型中的共因参数(k=1,2,3,4);β2和β4表示温备用因子。依据DRBD的理论,建立此系统运行过程中的DRBD模型(图4)。 此模型中共有3种相关性: (1)备用(W/S),存在于冗余泵组之间。冷备用时相应的βj=0,温备用时0βj1,热备用时βj=1。本文考虑的是温备用。 (2)共因失效[F/F(CCF)],存在于冗余设备之间。由于止回阀组中止回阀的工作模式不尽相同,其工作模式随着运行支路的变化而变化。在止回阀组中共因失效的影响并不明显,因此止回阀组不考虑共因失效。系统运行过程中有1个CCCG:P1、P2、P3、P4,其CCCG维数为4阶,采用α因子模型(或MGL模型)。启动时,P1和P3同时启动;P2和P4从备用转入启用的时刻取决于P1和P3的失效,只有当P1和P3同时启动失效时,P2和P4才考虑共因失效。因此,系统启动时的CCCG为P1和P3;当P1和P3同时启动失效时,CCCG为P2和P4,其CCCG维数为2阶,采用β因子模型。 (3)同时工作(W/W):由于止回阀的特殊作用,泵组中的2个止回阀在运行过程中都必须处于工作状态。而W/W还可以表示负荷分配,二者的不同之处在于:(1)本