Asymptotic Stability of a Series-Parallel Repairable System Consisting of Three-Unit with Multiple Vacations of a Repairman ()
1. Introduction
The series-parallel repairable system consisting of three units, as one of the important systems in reliability applications, has been studied in previous literatures. Li et al. [1] studied a repairable system with three units and two different repair facilities, and obtained the explicit expressions of the state probabilities of the system and the steady-state reliability of the system. Kovalenko [2] investigated a three-component system consisting of one master control element and two slave elements with priority serving by a single repair facility, and obtained the failure frequency and the average up-time. In those literatures, the authors assumed that the failed unit would be immediately repaired and as good as new after repair. But in practice, due to various reasons, the failed unit cannot be immediately repaired. In addition, in the case of good units, the repairman leaves for a vacation or does other work, which can increase the profit of the system. From this point, to study reliability of repairable systems with a repairman who can take a vacation or can do other work is important in terms of theory and practice. Hu et al. [3] considered a series-parallel repairable system with three units and multiple vacations of a repairman; they obtained the reliability indices of the system by using the method of supplement variables, the vector Markov progress method and the tool of the Laplace transform. They used the dynamic solution in calculating the availability and the reliability. But they did not discuss the existence of the dynamic solution and the asymptotic stability of the dynamic solution. Haji et al. [4] proved that the above system has a unique nonnegative dynamic solution under the assumption 1.1 by using results from the theory of positive operators and semigroups that can be found in [5] and [6] . In this paper, we further study this system and prove that the dynamic solution converges strongly to the steady state solution under the assumption 1.1.
2. Fundamental Principles
Our main focus in this paper is on the asymptotic stability of the dynamic solution of the system. We prove that the dynamic solution converges strongly to the steady state solution which is the eigenfunction corresponding to eigenvalue 0 of the system operator. To this purpose we first prove that 0 is an eigenvalue of the system operator we obtain that all points on the imaginary axis except zero belong to the resolvent set of the system operator, and then we prove that the semigroup generated by the operator is irreducible. By combining these results with our previous result we deduce that the dynamic solution of the system converges strongly to its steady-state solution.
According to [3] , the series-parallel repairable system consisting of three-unit with multiple vacations of a repair-man can be described by the following system of partial differential equations with integral boundary conditions:
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)
(10)
with the boundary conditions
(11)
(12)
(13)
(14)
(15)
(16)
(17)
and the initial conditions
(18)
(19)
(20)
(21)
where
; and the symbols in the equations have the following meaning.
the probability that at time t all the three units are operating, the repairman is in vacation, the system is good and the elapsed vacation time lies in
;
the probability that at time
unit 1 and one of unit 2 and unit 3 are operating, another one is waiting for repair, the repairman is in vacation, the system is good and the elapsed vacation time lies in
;
the probability that at time
unit 2 and unit 3 are temporarily halted, unit 1 is waiting for repair, the repairman is in vacation, the system is down and the elapsed repair time lies in
;
the probability that at time
one of unit 2 and unit 3 is temporarily halted, another one is waiting for repair, unit 1 is also waiting for repair , the repairman is in vacation, the system is down and the elapsed vacation time lies in
;
the probability that at time
unit 1 is temporarily halted, unit 2 and unit 3 are waiting for repair, is also waiting for repair, the repairman is in vacation, the system is down and the elapsed vacation time lies in
;
the probability that at time
unit 1 and one of unit 2 and unit 3 are operating, another one being repaired by the repairman, the system is good and the elapsed repair time of unit 2 or unit 3 lies in
;
the probability that at time
unit 2 and unit 3 are temporarily halted, unit 1 being repaired, the system is down and the elapsed repair time of unit 1 lies in
;
the probability that at time
one of unit 2 and unit 3 are temporarily halted, another one is waiting for repair, unit 1 being repaired, the system is down and the elapsed repair time of unit 1 lies in
;
the probability that at time
unit 1 is temporarily halted, one of unit 2 and unit 3 is waiting for repair, another one being repaired by the repairman, the system is down and the elapsed repair time of unit 2 or unit 3 lies in
;
the probability that at time
unit 1 is waiting for repair, one of unit 2 and unit 3 is temporarily halted, another one being repaired by the repairman, the system is down and the elapsed repair time of unit 2 or unit 3 lies in
;
positive constants;
the vacation rate function;
the repair rate function of unit 1 and unit 2 (or unit 3).
Assumption 1.1: The functions
and
are measurable and bounded such that
(22)
In [4] , the authors transformed the system into an abstract Cauchy problem [5] , Def. II.6.1] on the Banach space
(23)
where
with norm
(24)
(25)
(26)
(27)
(28)
(29)
(30)
(31)
(32)
3. The Main Result
To prove our main result on the asymptotic stability of the dynamic solution of system, we first prove the some lemmas.
In [7] , A. Haji and A. Radl gave the following result.
Lemma 2.1: Let
, then
(i)
.
(ii) If
and there exists
such that
, then
.
In our situation the operator
is 10 ´ 10-matrix, see [4] .
Lemma 2.2: For the operator
we have
.
Proof: All the entries of
are positive and one can compute each column sum of the 10 ´ 10-matrix
as follows:
(33)
(34)
(35)
(36)
(37)
(38)
(39)
(40)
(41)
. (42)
From (33)-(42) we know that the matrix
is column stochastic and thus
. Applying Lemma 2.1(i), we immediately obtain
.
Using Lemma 2.1(ii) we can show that 0 is the only spectral value of A on the imaginary axis.
Lemma 2.3: The spectrum
of a satisfies
.
Proof: If
, then it is not difficult to derive that
, thus the spectral radius fulfills
. This implies
. By Lemma 2.1 (ii) we obtain that
for all
,
, i.e.,
.
Lemma 2.4: If the operator
is defined by
then for the set
we have
(43)
Moreover, if
, then
(44)
where
(45)
(46)
(47)
(48)
(49)
(50)
The resolvent operator of the differential operators
where
with domain
,
,
, are given by
(51)
(52)
(53)
(54)
(55)
(56)
Applying the same method as in [7] we can express the resolvent of
in terms of the resolvent of
, the Dirichlet operator
and the boundary operator as follows.
Lemma 2.5: If
, then
.
The following property of
-semigroup
generated by the system operator
is useful to prove the asymptotic stability of the dynamic solution of the system.
Theorem 2.6: The semigroup
generated by
is irreducible.
Proof: By Lemma 2.4 and Lemma 2.5we can see that
transforms any positive vector
into a strictly positive vector. Using ( [6] , Def. C-III 3.1) this is equivalent to the irreducibility of the semigroup
generated by
.
Using Lemma 2.2, Lemma 2.3, Theorem 2.6and the same method as in ( [7] , Th. 3.11) we obtain the following result.
Theorem 2.7: The space
can be decomposed into the direct sum
(57)
where
is one-dimensional and spanned by a strictly positive eigenvector
of
. In addition, the restriction
is strongly stable.
Corollary 2.8: For all
, there exists
, such that
(58)
where
We now obtain our main result as follows.
Corollary 2.9: The dynamic solution of the system (1)-(20) converges strongly to the steady-state solution as time tends to infinity, that is,
(59)
where
and
as in Corollary 2.6.
4. Conclusion
In this paper, we investigated a series-parallel repairable system consisting of three units with multiple vacations of a repairman. The study of the dynamic solution as well as its stability is in demand in terms of theory and practice. We discussed the asymptotic stability of the dynamic solution and showed that the dynamic solution converges strongly to the steady state solution by analyzing the spectral distribution of the system operator and taking into account the irreducibility of the semigroup generated by the system operator.
Acknowledgements
This research was supported by the National Natural Science Foundation of China (No. 11361057).