三部件串联可修系统的可靠性模型
Reliability Model of Three Parts Series Repairable System
DOI: 10.12677/AAM.2019.81009, PDF, HTML, XML, 下载: 1,103  浏览: 1,414  科研立项经费支持
作者: 王 盈:南华大学数理学院,湖南 衡阳
关键词: 补充变量法拉普拉斯变换稳态可用度Supplementary Variable Method Laplace Transform Steady State Availability
摘要: 本文针对不服从指数分布的部件进行研究,通过补充变量法建立三个不同型部件串联可修系统模型,并通过拉普拉斯变换求解其瞬时可用度与稳态可用度。再对单、双部件结果进行验证,推广至n部件串联可修系统并取特例进行验证。希望能解决现实生活中关于不同型部件系统的相关计算。
Abstract: This paper studies the components that do not obey the exponential distribution, establishes the series repairable system model of three different types of components by supplementary variable method, and solves the instantaneous availability and steady availability by Laplace transform. The results of single component and double components are verified, and extended to n components series repairable systems and verified with special cases. Hope to be able to solve the relevant calculation of different component systems in real life.
文章引用:王盈. 三部件串联可修系统的可靠性模型[J]. 应用数学进展, 2019, 8(1): 81-87. https://doi.org/10.12677/AAM.2019.81009

1. 引言

系统是指由一些基本部件(其中也可以包括人)组成的完成某种指定功能的整体 [1] 。根据部件之间的关系,可将系统分为串联系统,并联系统等。串(并)联系统类似物理学上的串(并)联电路。若有n个部件构成串联系统,当且仅当n个部件均正常工作时系统正常。若有n个部件构成并联系统,只要有一个部件正常工作,系统就正常工作。串联系统举例来说就如工厂生产流水线,只要其中一个环节出现问题,就无法完成生产流水线的根本目的。系统根据是否可修分为两类,是否可修则取决于技术经济问题。可修系统是指符合经济价值的系统,不可修系统则是不符合经济价值的系统。在现实生活中,电冰箱中制冷循环过程,机器人需要串接十四组马达的伺服驱动器,均是串联系统。显然串联系统在人们生活中无处不在。因此对于可修复串联系统的研究有极高的价值与意义。

本文针对部件不一定服从指数分布这一问题进行研究。可用于现实生活中计算不同型部件的串联系统的瞬时可用度与稳态可用度。目前对于三部件系统可靠性的研究,文献 [2] 针对修理工休假情况下的三部件系统进行讨论,通过补充变量法、拉普拉斯变换得出了休假情况下的可用度、可靠度。文献 [3] 在休假情况的基础上运用补充变量法对有优先修理权的三部件进行研究,得出系统的瞬态和稳态的可用度。文献 [4] 同样是对在休假情况下三部件串并联系统进行讨论,通过向量Markov过程方法、Laplace变换工具和补充变量法得出稳态下修理工处于休假状态的概率。文献 [5] 利用泛函分析方法对单部件可修系统的瞬时可用度,牢固可靠度进行分析。文献 [6] 则是在考虑修理工休假情况下的单部件可修系统。文献 [7] 则是针对两部件建立可靠性模型再通过泛函方法转换为抽象柯西问题。文献 [8] 则在基于文献 [7] 的结论证明了系统是稳定可解的。文献 [1] 对两个不同型部件串联可修系统进行研究,但并未对三个乃至n个不同型部件进行讨论。本文将基于以上论文对三个不同型部件串联非马尔科夫可修系统采用补充变量法,将其转化为广义马尔科夫系统来建立数学模型并求解。再推广到n部件讨论其一般性。

2. 系统假设与状态描述

2.1. 系统假设

三部件串联系统逻辑框图,如图1所示:

Figure 1. Logic block diagram of series system of three different types of components

图1. 三个不同型部件串联系统的逻辑框图

假设1在短时间内,不可能出现两个或两个以上部件同时失效的情况,设 N ( t ) 为t时间内部件损坏个数,即对于充分小的 Δ t > 0 ,有 P { N ( t + Δ t ) N ( t ) 2 } = ο ( Δ t ) [1] 。

假设2 部件 A i 的失效时间服从参数为 λ i 的指数分布,设 μ i ( x ) 为部件 A i 在修复时间x内的修复可能。修复时间服从一般分布 1 e μ i ( x ) t ,其中 i = 1 , 2 , 3

假设3 部件失效后马上进行维修。

假设4部件之间相互独立。

2.2. 系统状态

S ( t ) 表示系统状态,

状态0: S ( t ) = 0 ,无故障部件;

状态i: S ( t ) = i ,表示若t时刻部件 A i 发生故障, i = 0 , 1 , 2 , 3

Figure 2. Three-component state transition diagram

图2. 三部件状态转移图

3. 模型建立

t为系统开始工作到目前状态的时间,显然 t 0 ;记 x i ( t ) 表示 S ( t ) = i 时,立即开始维修且持续维修时间为x, 0 x t 。过程 { S ( t ) , x ( t ) ; t 0 } 是一个连续时间下的广义马尔科夫过程 [1] 。由于指数分布的无记忆性,可知t时刻前的过程与t时刻后的过程无关。令 P i ( t , x ) 表示t时刻系统因第i个部件发生故障而使系统驻留的时间为x的概率。记 G i ( x ) = 1 e μ i ( x ) t 为部件i的维修度, g i ( x ) = G i ( x ) 为维修度的概率密度函数。

图2中可以看出:当 ( t , t + Δ t ) 内部件不发生故障时, S ( t + Δ t ) = 0 必然 S ( t ) = 0 S ( t ) = 0 有两种可能,第一种是 ( 0 , t ) 内系统一直处于正常工作状态未曾失效;第二种则是 ( 0 , t ) 内曾失效过但已经修复完成。因此:

P 0 ( t + Δ t ) = P 0 ( t ) ( 1 λ 1 Δ t λ 2 Δ t λ 3 Δ t ) + i = 1 3 0 t μ i ( x ) P i ( t , x ) d x Δ t + ο (Δt)

从上试中可推出:

d d t P 0 ( t ) = ( λ 1 λ 2 λ 3 ) P 0 ( t ) + i = 1 3 0 t P i ( t , x ) μ i ( x ) d x (1)

类似可得:

P i ( t + Δ t , x + Δ x ) P i ( t , x ) = μ i ( x ) Δ x P i ( t , x ) + ο ( ρ ) t P i ( t , x ) + x P i ( t , x ) = μ i ( x ) P i ( t , x ) (2)

其中

ρ = ( Δ x ) 2 + ( Δ t ) 2 = 2 Δ t , Δ x = x ( t + Δ t ) x ( t ) = Δ t .

系统初始条件:

P 0 ( 0 ) = 1 ; P i ( 0 , x ) = 0 , i = 1 , 2 , 3 ( x 0 ) (3)

边界条件:

P i ( t , 0 ) = λ i P 0 ( t ) , i = 1 , 2 , 3 (4)

x t P i ( t , x ) = 0 ,有 0 t P i ( t , x ) μ i ( x ) d x = 0 + P i ( t , x ) μ i ( x ) d x

即三部件串联可维修系统的可靠性概率微分方程模型为:

{ d d t P 0 ( t ) = ( λ 1 + λ 2 + λ 3 ) P 0 ( t ) + i = 1 3 0 + P i ( t , x ) μ i ( x ) d x t P 1 ( t , x ) + x P 1 ( t , x ) = μ 1 ( x ) P 1 ( t , x ) t P 2 ( t , x ) + x P 2 ( t , x ) = μ 2 ( x ) P 2 ( t , x ) t P 3 ( t , x ) + x P 3 ( t , x ) = μ 3 ( x ) P 3 ( t , x ) P 0 ( 0 ) = 1 ; P 1 ( 0 , x ) = P 2 ( 0 , x ) = P 3 ( 0 , x ) = 0 P 1 ( t , 0 ) = λ 1 P 0 ( t ) , P 2 ( t , 0 ) = λ 2 P 0 ( t ) , P 3 ( t , 0 ) = λ 3 P 0 ( t ) (5)

4. 模型求解

利用初始条件和边界条件对模型(5)进行拉普拉斯变换,记 L [ P 0 ( t ) ] = P 0 * (s)

L [ P i ( t , x ) ] = P i * ( s , x ) , i = 1 , 2 , 3 ,得:

s P 0 * ( s ) 1 = ( λ 1 + λ 2 + λ 3 ) P 0 * ( s ) + i = 1 3 0 + P i * ( s , x ) μ i ( x ) d x (6)

s P 1 * ( s , x ) + x P 1 * ( s , x ) = μ 1 ( x ) P 1 * ( s , x ) (7)

s P 2 * ( s , x ) + x P 2 * ( s , x ) = μ 2 ( x ) P 2 * ( s , x ) (8)

s P 3 * ( s , x ) + x P 3 * ( s , x ) = μ 3 ( x ) P 3 * ( s , x ) (9)

P 0 * ( 0 ) = 1 s ; P 1 * ( 0 , x ) = P 2 * ( 0 , x ) = P 3 * ( 0 , x ) = 0 (10)

P 1 * ( s , 0 ) = λ 1 P 0 * ( s ) , P 2 * ( s , 0 ) = λ 2 P 0 * ( s ) , P 3 * ( s , 0 ) = λ 3 P 0 * ( s ) (11)

方程(7)是一个变量可分离方程,分离变量两边积分并带入(11)式,得

s x + ln | 1 G 1 ( x ) | = ln | P 1 * ( s , x ) | ln | P 1 * ( s , 0 ) | P 1 * ( s , x ) = e s x ( 1 G 1 ( x ) ) P 1 * ( s , 0 )

P 1 * ( s , x ) = e s x ( 1 G 1 ( x ) ) λ 1 P 0 * ( s ) (12)

P 2 * ( s , x ) = e s x ( 1 G 2 ( x ) ) λ 2 P 0 * ( s ) (13)

P 3 * ( s , x ) = e s x ( 1 G 3 ( x ) ) λ 3 P 0 * ( s ) (14)

将(12),(13),(14)代入(6)可得

s P 0 * ( s ) 1 = ( λ 1 + λ 2 + λ 3 ) P 0 * ( s ) + i = 1 3 0 e s x λ i P 0 * ( s ) g i ( x ) d x (15)

根据拉普拉斯公式可得

s P 0 * ( s ) 1 = ( λ 1 + λ 2 + λ 3 ) P 0 * ( s ) + i = 1 3 λ i P 0 * ( s ) g i * (s)

P 0 * ( s ) = 1 s + λ 1 + λ 2 + λ 3 i = 1 3 λ i g i * ( s ) (16)

再将(16)代入(12)可得

P 1 * ( s , x ) = e s x ( 1 G 1 ( x ) ) λ 1 s + λ 1 + λ 2 + λ 3 i = 1 3 λ i g i * ( s ) (17)

P 2 * ( s , x ) P 3 * ( s , x ) 也可类似得出。

{ P 0 * ( s ) = 1 s + λ 1 + λ 2 + λ 3 i = 1 3 λ i g i * ( s ) P 1 * ( s , x ) = e s x ( 1 G 1 ( x ) ) λ 1 s + λ 1 + λ 2 + λ 3 i = 1 3 λ i g i * ( s ) P 2 * ( s , x ) = e s x ( 1 G 2 ( x ) ) λ 2 s + λ 1 + λ 2 + λ 3 i = 1 3 λ i g i * ( s ) P 3 * ( s , x ) = e s x ( 1 G 3 ( x ) ) λ 3 s + λ 1 + λ 2 + λ 3 i = 1 3 λ i g i * ( s ) (18)

系统的瞬时可用度为 A ( t ) = P 0 ( t ) ,对它进行拉普拉斯变换得 A * ( s ) = P 0 * ( s ) ,所以

A * ( s ) = P 0 * ( s ) = 1 s + λ 1 + λ 2 + λ 3 i = 1 3 λ i g i * (s)

根据拉普拉斯终值定理可知系统的稳态可用度为 A = lim t A ( t ) = lim s 0 s A * ( s ) ,令 1 μ i = 0 x g i ( x ) d x 为修

理时间均值,通过洛必达法则可得出稳态可用度为:

A = 1 1 + i = 1 3 λ i μ i

5. 验证与推广

重复上述方法可知单部件可修系统可靠性数学模型为

{ d d t P 0 ( t ) = λ 1 P 0 ( t ) + 0 t P 1 ( t , x ) μ 1 ( x ) d x t P 1 ( t , x ) + x P 1 ( t , x ) = μ 1 ( x ) P 1 ( t , x ) P 0 ( 0 ) = 1 ; P 1 ( 0 , x ) = 0 P 1 ( t , 0 ) = λ 1 P 0 (t)

其瞬时可用度与稳态可用度为

A * ( s ) = P 0 * ( s ) = 1 s + λ 1 λ 1 g 1 * (s)

A = 1 1 + λ 1 μ 1

λ 1 = λ μ 1 = μ 时,与参考文献 [6] 推论1所得出的稳态可用度结果相同。

双部件可修系统可靠性数学模型为

{ d d t P 0 ( t ) = ( λ 1 + λ 2 ) P 0 ( t ) + i = 1 2 0 t P i ( t , x ) μ i ( x ) d x t P i ( t , x ) + x P i ( t , x ) = μ i ( x ) P i ( t , x ) , i = 1 , 2 P 0 ( 0 ) = 1 ; P 1 ( 0 , x ) = P 2 ( 0 , x ) = 0 P 1 ( t , 0 ) = λ 1 P 0 ( t ) , P 2 ( t , 0 ) = λ 2 P 0 (t)

其瞬时可用度与稳态可用度为

A * ( s ) = P 0 * ( s ) = 1 s + λ 1 + λ 2 i = 1 2 λ i g i * (s)

A = 1 1 + i = 1 2 λ i μ i

λ 1 = λ 2 = λ μ 1 = μ 2 = μ 时与参考文献 [8] 所得出的稳态可用度结果相同。

由上述公式可相应推广到n部件,可知其可靠性数学模型为

{ d d t P 0 ( t ) = ( λ 1 + λ 2 + + λ n ) P 0 ( t ) + i = 1 n 0 t P i ( t , x ) μ i ( x ) d x t P i ( t , x ) + x P i ( t , x ) = μ i ( x ) P i ( t , x ) , i = 1 , 2 , , n P 0 ( 0 ) = 1 ; P 1 ( 0 , x ) = P 2 ( 0 , x ) = = P n ( 0 , x ) P i ( t , 0 ) = λ i P 0 ( t ) , i = 1 , 2 , , n

其瞬时可用度与稳态可用度为

A * ( s ) = P 0 * ( s ) = 1 s + λ 1 + λ 2 + + λ n i = 1 n λ i g i * (s)

A = 1 1 + i = 1 n λ i μ i

λ 1 = λ 2 = = λ n = λ μ 1 = μ 2 = = μ n = μ 时,其稳态可用度为

A = μ μ + n λ

与参考文献 [9] 中n个相同部件串联可修系统的稳态可用度一致。

6. 小结

本文主要讨论在部件不服从指数分布情况下的三个不同型部件的串联可修系统,并推广至n部件。通过验证可知所求结果是较为真实有效的。因此该结论对相关方面的研究,具有较高的应用价值。并可用于解决实际生活中不同型部件系统的稳态可用度求解问题。

基金项目

南华大学研究生科学基金项目“可维修旁联系统可靠性分析与计算”(编号:2018KYY089)。

参考文献

[1] 曹晋华, 程侃. 可靠性数学引论[M]. 北京: 高等教育出版社, 2006.
[2] 张欣欣, 孟宪云, 陈胜强, 等. 修理工单重休假且两部件相依一部件温贮备的三部件退化可修系统[J]. 黑龙江大学自然科学学报, 2014, 31(4): 425-436.
[3] 陈燕, 朱翼隽, 陈佩树. 单重休假且有优先修理权的三部件系统[J]. 江苏大学学报(自然科学版), 2014, 35(6): 738-744.
[4] 胡林敏, 田瑞玲, 吴俊波, 等. 具有休假的三部件串并联可修系统的可靠性分析[J]. 燕山大学学报, 2007, 31(4): 299-303.
[5] 刘东旭, 司文艺, 袁玉娇. 一类单部件可修复系统的稳定性即可靠性分析[J]. 延边大学(自然科学版), 2014(40): 15-19.
[6] 唐应辉, 刘晓云. 一种新型的单部件可修系统[J]. 系统工程理论与实践, 2003, 23(7): 106-111.
[7] 陶有德, 乔兴, 于景元, 朱广田. 一类可修复计算机系统的数学模型[J]. 信阳师范学院学报(自然科学版), 2011(3): 330-332.
[8] 陶有德, 于景元, 朱广田. 一类可修复计算机系统的稳定性和可靠性[J]. 信阳师范学院学报(自然科学版), 2011(1): 18-21.
[9] 宋保维. 系统可靠性设计与分析[M]. 西安: 西北工业大学出版社, 2000.