- Research
- Open access
- Published:
Dynamic analysis of a complex system under preemptive repeat repair discipline
Boundary Value Problems volume 2020, Article number: 71 (2020)
Abstract
This paper considers a two-unit complex system, in which one of the components has priority with preemptive repeat repair disciplines, described by partial differential equations with integral boundary conditions. First, we prove that the system has a unique nonnegative time-dependent solution by using the strong continuous semigroup theory of linear operators. Then, we obtain the exponential convergence of the time-dependent solution to its steady-state solution by means of the spectral properties of the corresponding operator. We also provide the asymptotic behavior of some time-dependent reliability indices, a numerical illustration showing the effects of various parameters on the system, and the validity of the theoretical analysis.
1 Introduction
In many real-life situations, system reliability plays a very important role. With an increasing complexity of industrial systems, the reliability-related problems are quite challenging due to the diversity of factors that can lead to failures in industrial systems. Throughout the history of reliability theory, a large number of problems were solved by using reliability models. These models can be developed by means of different methods. Among them we can highlight the supplementary variable technique, introduced in 1955 by Cox [1], due to the fact that this technique outperforms imbedded Markov chains in the steady-state case. The supplementary variable technique was firstly applied in Gaver [2]; subsequently, other authors, such as Linton [3], Goel et al. [4], Gupta and Sharma [5], Shi and Li [6], Chung [7], Yuan [8], Dhillon and Cheng [9], Ram et al. [10], Zhang and Wang [11], Ke et al. [12], followed this line of research.
The supplementary variable technique allows to transform a continuous-time non-Markovian process into a Markovian one by including one or more supplementary variables. However, this technique leads to mathematical models described by partial differential equations with integral boundary conditions, and therefore, there are significant difficulties to obtain exact solutions. Due to this fact, some papers related to reliability models assume that time-dependent solutions converge to their steady-state solutions, but they do not answer whether this assumption holds. Hence, we need a study of the existence of time-dependent solutions of reliability models, of time-dependent reliability indices, and of their asymptotic behavior. In 2001, Gupur [13] firstly did dynamic analysis for reliability models, which was established by the supplementary variable technique, by means of the \(C_{0}\)-semigroup theory. After that, he and his coauthors studied several reliability models. For example, Gupur and Li [14] considered the system which consists of a reliable machine, an unreliable machine, and a storage buffer with infinite capacity and obtained the existence of a unique positive time-dependent solution of the system. By using Greiner’s idea, Gupur and Wang [15] studied spectra of the operator on the imaginary axis and proved that the time-dependent solution of the system strongly converges to its steady-state solution. In [16], Gupur described the point spectrum of the operator which corresponds to the system. In 2003, Gupur [17] investigated the well-posedness of a repairable, standby, human, and machine system. Gupur [18] studied asymptotic behavior of the system and obtained that the time-dependent solution of the system converges strongly to its steady-state solution. Aili and Gupur [19] did further analysis and concluded that the time-dependent solution of the system exponentially converges to its steady-state solution. Ehmet and Gupur [20] examined the k-out-of-N:G redundant system with repair and multiple critical and noncritical errors and proved that the corresponding \(C_{0}\)-semigroup is quasi-compact and converges exponentially to a projection operator. Further, Ablet and Gupur [21] gave the explicit expression of the above projection operator and deduced that the time-dependent solution of the system exponentially converges to its steady-state solution when the repair rates are constant. In combination with the above-mentioned results, these research ideas and methods were introduced in detail in Gupur’s book [22]. During the past decade, inspired by the new research methods, many authors have done remarkable contributions on the dynamic analysis of different reliability models, see [23–26] and the references therein.
The maintenance of system equipment is a key factor for the smooth operation of an industrial system that usually requires the design of various methods and means in order to improve the availability of the system. One of these methods is to assign priority according to the nature of components of the system. Govil [27] considered the system composed of two types (denoted hereafter as Type I and II) of components, in which Type I component has the priority with preemptive repeat repair disciplines. The model proposed in that paper was based on the supplementary variable technique and gave the Laplace transform of the probability generating function which was defined by the time-dependent solution. The effect of different repair priorities on the pointwise availability of the system was investigated for a special case with numerical examples. To the best of our knowledge, there are no further results related to this work. In this paper, we do dynamic analysis for the Govil [27] model.
First of all, we convert the corresponding system into an abstract Cauchy problem in a Banach space and prove the well-posedness of the system by showing that the underlying operator generates contraction \(C_{0}\)-semigroup, i.e., the system has a unique positive time-dependent solution which satisfies the probability condition. Then, we investigate the asymptotic behavior of the time-dependent solution and obtain that the \(C_{0}\)-semigroup generated by the underlying operator is a quasi-compact operator. We also prove that 0 is an eigenvalue of the operator with algebraic multiplicity one, and therefore, the \(C_{0}\)-semigroup converges exponentially to a projection operator. Hence, we deduce that the time-dependent solution of the system converges strongly to its steady-state solution. Next, we use an idea taken from Gupur [19, 28] to show that the essential growth bound of the \(C_{0}\)-semigroup is less than a negative number, thus we deduce that 0 is an isolated eigenvalue of the operator and pole of order 1. In addition, by using the residue theorem, we determine the expression of the projection operator and conclude that the time-dependent solution of the system converges exponentially to its steady-state solution. Finally, we discuss the asymptotic behavior of the time-dependent reliability indices, such as time-dependent availability, failure frequency, renewal frequency, and reliability of the system, and illustrate, with numerical examples, the effect of changes in the system parameters on those indices in a particular case.
2 Mathematical model of the system
In this section we firstly give a detailed description of the system and then present a model for it based on the supplementary variables technique. Next, we convert the model into an abstract Cauchy problem.
2.1 Assumptions and description of the model
The assumptions of our mathematical model are the following.
- (1)
In the system there are two types of components denoted as Type I and Type II.
- (2)
Component of Type I is always given preference over Type II component.
- (3)
Non-failed component cannot fail when the system fails.
- (4)
The failure behavior of Type I component is unaffected by the failure of Type II component, if any.
- (5)
On failure of Type II component, the system works in a degraded state, but does not fail.
- (6)
The system can fail completely due to failure of Type I component.
- (7)
When the Type II component is failed, its repair is interrupted (preempted) when Type I component fails (and the system thus fails). When the Type I component is finally repaired, repair of the Type II component begins all over, as if the Type II component has just failed (the previous repair time was for naught). This implies that the repair of the Type II component–when rebegun–is considered as the repair of the freshly failed component.
- (8)
All the failures follow the exponential distribution, λ, \(\lambda ^{\prime }\) denote the failure rates of components of Type I and Type II, respectively.
- (9)
All the repairs follow the general distribution. \(\eta (x)\) represents the repair rate of a component of Type I and satisfies \(\eta (x)\ge 0, \int ^{\infty }_{0}\eta (x)\,dx=\infty\). \(\varphi (x)\) represents the repair rate of a component of Type II and satisfies \(\varphi (x)\ge 0, \int ^{\infty }_{0}\varphi (x) \,dx=\infty \).
- (10)
All the above random variables are independent. The switching device is perfect.
Let \(S(t)\) be a random variable representing the state of the system at time t. Since the distributions of the repair time are assumed as general distributions, \(S(t)\) is not Markovian in continuous time. However, after introducing supplementary variables \(Y(t)\), the process \(\{S(t), Y(t) | t > 0\}\) becomes Markovian, where \(Y(t)\) is the elapsed repair time of the failed component. According to the previous assumptions, this system has the following possible states:
- \({\mathbf{S(t)=0:}}\):
All components are good, the system is operating.
- \({\mathbf{S(t)=1:}}\):
The component of Type II is failed, the system is degraded.
- \({\mathbf{S(t)=2:}}\):
The component of Type I is failed, the system is failed.
- \({\mathbf{S(t)=3:}}\):
The component of Type I is failed and the component of Type II is waiting repair, the system is failed.
The transitions between states of the system are shown in Fig. 1.
Before presenting the model, we need the following definitions:
\(P_{0}(t)\) is the probability that at time t the system is operating in normal efficiency.
\(P_{1}(x,t) \Delta x\) is the probability that at time t the system is in the degraded state due to the failure of a component of Type II, and the elapsed repair time lies in the interval \((x,x+\Delta x)\).
\(P_{2}(x,t)\Delta x\) is the probability that at time t the system is in the failed state due to the failure of a component of Type I, and the elapsed repair time lies in the interval \((x,x+\Delta x)\).
\(P_{3}(x,t)\Delta x\) is the probability that at time t the system is still failed due to the failure of a component of Type I; and the elapsed repair time lies in the interval \((x,x+\Delta x)\) at the instant when it preempted in the repair facility and Type II, which had been in service, is waiting repair.
By the supplementary variable technique, the above system can be described by the following system of partial differential equations (see Govil [27]):
with the integral boundary conditions:
and the initial conditions:
where \((x,t)\in [0,\infty )\times [0,\infty )\).
2.2 Reset the model
In this subsection, we convert the above model into an abstract Cauchy problem on a suitable Banach space by introducing underlying operators and their domains. For simplicity, we introduce the following notation:
We take a state space as follows:
It is obvious that \(\mathcal{X}\) is a Banach space. Now we define operators and their domain as follows:
Then the above system of equations (2.1)–(2.3) can be written as the following abstract Cauchy problem in the Banach space \(\mathcal{X}\):
3 Well-posedness of system (2.4)
In this section, we first prove that \(\mathbb{A}+\mathbb{E}\) generates a positive contraction \(C_{0}\)-semigroup \(\mathbb{T}(t)\) on \(\mathcal{X}\), then we determine the dual space of \(\mathcal{X}\), and prove that \(\mathbb{A}+\mathbb{E}\) is a conservative operator, which together with the Fattorini theorem [29, P. 155] allows us to deduce that \(\mathbb{T}(t)\) is isometric. Finally, from these results we present the well-posedness of system (2.4).
Theorem 3.1
If\(\varphi (x)\)and\(\eta (x)\)satisfy\(\overline{\varphi }=\sup_{x\in [0,\infty )}\varphi (x)< \infty \)and\(\overline{\eta } =\sup_{x\in [0,\infty )}\eta (x)<\infty \), then\(\mathbb{A}+\mathbb{E}\)generates a positive contraction\(C_{0}\)-semigroup\(\mathbb{T}(t)\).
A detailed proof of Theorem 3.1 can be found in the Appendix. It is not difficult to verify that \(\mathcal{X}^{*}\), the dual space of \(\mathcal{X}\), is as follows:
Clearly, \(\mathcal{X}^{*}\) is a Banach space. In \(\mathcal{X}\) we define the subset
Then Theorem 3.1 ensures that \(T(t)Y\subset Y\). For \(\mathbf{P}\in D(\mathbb{A})\cap Y\), we choose \(q^{*}(x)=\|\mathbf{P}\|(1,1,1,1)^{T}\), then \(q^{*}\in \mathcal{X}^{*}\) and
which implies that \(\mathbb{A}+\mathbb{E}\) is conservative with respect to the set
Since the initial value \(\mathbf{P}(0)\in D(\mathbb{A}^{2})\cap Y\), by using the Fattorini theorem [29, P. 155], we deduce the following result.
Theorem 3.2
\(\mathbb{T}(t)\)is isometric for the initial value of system (2.4), that is,
From Theorem 3.1 and Theorem 3.2 we obtain the well-posedness of system (2.4).
Theorem 3.3
If\(\varphi (x)\)and\(\eta (x)\)satisfy\(\overline{\varphi }=\sup_{x\in [0,\infty )}\varphi (x)< \infty \)and\(\overline{\eta } =\sup_{x\in [0,\infty )}\eta (x)<\infty \), then system (2.4) has a unique positive time-dependent solution\(\mathbf{P}(x,t)\)satisfying
Proof
Since the initial value \(\mathbf{P}(0)\in D(\mathbb{A}^{2})\cap Y\), from Theorem 3.1 and [22, Theorem 1.81], we know that system (1.4) has a unique positive time-dependent solution \(\mathbf{P}(x,t)\) which can be expressed as
From (3.1) and (3.2) we derive
□
Expression (3.3) reflects the physical background of \(\mathbf{P}(x,t)\).
4 Asymptotic behavior of the time-dependent solution of system (2.4)
A trivial verification, based on the proof of Theorem 3.1 in the Appendix, shows that the operator \(\mathbb{A}\) also generates a positive contraction \(C_{0}\)-semigroup \(\mathbb{S}(t)\). In the following, we first prove that \(\mathbb{S}(t)\) is a quasi-compact operator and then, by using the compactness of \(\mathbb{E}\), we obtain that \(\mathbb{T}(t)\) is a quasi-compact operator. Next we prove that 0 is an eigenvalue of \(\mathbb{A}+\mathbb{E}\) and \((\mathbb{A}+\mathbb{E})^{*}\) with geometric multiplicity 1, thus by using [22, Theorem 1.90] we deduce that \(\mathbb{T}(t)\) converges exponentially to a projection operator , and thereafter determine its explicit expression. Lastly, combining these results, we obtain that the time-dependent solution of system (2.4) converges exponentially to its steady-state solution.
Lemma 4.1
If \(\mathbf{P}(x,t)=(\mathbb{S}(t) \vartheta )(x)\) is a solution of the following system
then
where \(P_{i}(0,t-x)\ (i=1,2,3)\) is given by boundary conditions (2.2).
Proof
Since \(\mathbf{P}(x,t)=(\mathbb{S}(t) \vartheta )(x)\) is a solution of system (4.1), \(\mathbf{P}(x,t)\) satisfies
Take \(\omega =x-t\) and \(Q_{i}(t)=P_{i}(\omega +t,t), i=1,2,3 \), then (4.3)–(4.4) gives
If \(\omega < 0 ( \text{i.e.}, x<t)\), then by integrating (4.9)–(4.10) from −ω to t separately and using \(Q_{i}(-\omega )=P_{i}(0,-\omega )=P_{i}(0,t-x), i=1,2,3\), we have
Combining (4.2) with (4.8) we obtain
If \(\omega >0 ( \text{i.e.}, x>t)\), then integrating (4.9)–(4.10) from 0 to t and using the relations \(Q_{i}(0)=P_{i}(\omega,0)=\vartheta _{i}(t-x), i=1,2,3\), and a similar argument to (4.11)–(4.12) we deduce
(4.11)–(4.15) complete the proof. □
Now, we will prove that \(\mathbb{S}(t)\) is a quasi-compact operator on \(\mathcal{X}\). To this end, we define the following two operators for \(\mathbf{P} \in \mathcal{X}\):
Obviously,
From [22, Th. 1.35], it is not difficult to obtain the following result.
Lemma 4.2
A bounded subset\({F}\subset \mathcal{X}\)is relatively compact if and only if the following two conditions hold simultaneously:
Theorem 4.1
Assume that\(\varphi (x)\)and\(\eta (x)\)are Lipschitz continuous and that there exist positive constants\(\underline{\varphi},\overline{\varphi}\)and\(\underline{\eta},\overline{\eta}\)such that
then\(\mathbb{W}(t)\)is a compact operator on\(\mathcal{X}\).
Proof
It is sufficient to prove condition (1) in Lemma 4.2. For bounded \(\vartheta \in \mathcal{X}\), we set \(\mathbf{P}(x,t)= (\mathbb{S}(t)\vartheta )(x), x\in [0,t)\), then \(\mathbf{P}(x,t)\) is a generalized solution of system (4.1). Hence, according to Lemma 4.1 we have, for \(x\in [0,t),h\in (0,t],x+h\in [0,t)\),
In the following we estimate each term in (4.16). By using the boundary conditions and properties of the semigroup, we have
From (4.17)–(4.19) we can estimate first, third, and fifth term of (4.16) as follows:
Similarly, using the boundary condition and noting that \(\eta (x)\) are Lipschitz continuous (without loss of generality assume that the Lipschitz constant is equal to 1), we have
From (4.22)–(4.24) we deduce the estimation of the second, fourth, and sixth term of (4.16).
Combining (4.20)–(4.21) and (4.25)–(4.26) with (4.16), we conclude, for \(x\in [0,t),h\in (0,t],x+h\in [0,t)\),
If \(h\in [-t,0), x+h\in [0,t)\), then, by using a similar argument, we can get the same result as (4.27), and the proof is finished. □
Theorem 4.2
If the conditions of Theorem 4.1hold, then\(\mathbb{V}(t)\)satisfies
Proof
For any \(\vartheta \in \mathcal{X}\), from the definition of \(\mathbb{V}(t)\) we estimate
□
From Theorems 4.1 and 4.2 we get
which together with the definition of quasi-compact operator (see Gupur [22, Definition 1.85]) allows us to obtain the following result.
Theorem 4.3
Under the same condition of Theorem 4.1, \(\mathbb{S}(t)\)is a quasi-compact operator on\(\mathcal{X}\).
Since \(\mathbb{E}\) is a compact operator on \(\mathcal{X}\), by Theorem 4.3 and Proposition 2.9 in Nagel [30, P. 215], we have the following result.
Corollary 4.1
Under the same condition of Theorem 4.1, \(\mathbb{T}(t)\)is a quasi-compact operator on\(\mathcal{X}\).
Consider now the spectral properties of the operator \(\mathbb{A}+\mathbb{E}\).
Lemma 4.3
0 is an eigenvalue of\(\mathbb{A}+\mathbb{E}\)with geometric multiplicity one.
Proof
Consider the equation \((\mathbb{A}+\mathbb{E})\mathbf{P}=0\), i.e.,
By solving (4.29)–(4.30), we have
Combining (4.34) and (4.35) with (4.28) and noting that \(\int _{0}^{\infty }\eta (x) e^{-\int ^{x}_{0} \eta (\tau ) \,d\tau } \,dx=1\), we deduce
From (4.32)–(4.33) and (4.36) we have
Combining (4.34)–(4.35) with (4.36)–(4.38) yields
This shows that 0 is an eigenvalue of \(\mathbb{A}+\mathbb{E}\). Moreover, it is easy to see from (4.36)–(4.38) that the eigenvectors corresponding to the eigenvalue zero span a one-dimensional linear space, that is to say, the geometric multiplicity of 0 is one. □
Lemma 4.4
\((\mathbb{A}+\mathbb{E})^{*}\)is given by
where
andεin\(D(\mathbb{G})\)is a constant which is independent of i.
Lemma 4.5
0 is an eigenvalue of\((\mathbb{A}+\mathbb{E})^{*}\)with geometric multiplicity one.
Proof
We consider the equation \((\mathbb{A}+\mathbb{E})^{*}\mathbf{Q}^{*}=0\), which is equivalent to
By solving (4.40)–(4.42) we deduce
Through multiplying the two sides of (4.44) by \(e^{-\int _{0}^{x}(\lambda +\varphi (\tau )) \,d\tau }\) and multiplying \(e^{-\int _{0}^{x} \eta (\tau ) \,d\tau }\) by both sides of (4.45)–(4.46), we derive
Substituting (4.47)–(4.49) into (4.44)–(4.46) separately, we have
On the other hand, inserting (4.50) into (4.39) we obtain
Thus
Substituting (4.52) into (4.50) we get
Altogether we estimate
which shows that 0 is an eigenvalue of \((\mathbb{A}+\mathbb{E})^{*}\). Moreover, from (4.53), (4.55), and (4.56) it is not difficult to see that the geometric multiplicity of 0 is one. □
Combining Lemmas 4.3 and 4.5 with Theorem 3.3, we know that the algebraic multiplicity of 0 is one and the spectral bound of \(\mathbb{A}+\mathbb{E}\) is zero, that is, \(s(\mathbb{A}+\mathbb{E})=0\). Consequently, by combining Theorem 3.3, Lemma 4.3, Lemma 4.5, and Corollary 4.1 with [22, Theorem 1.90], we conclude the following result.
Theorem 4.4
If\(\varphi (x)\)and\(\eta (x)\)are Lipschitz continuous and satisfy
then there exist a positive projectionof rank one and suitable constants\(\delta >0,M\geq 0\)such that
whereandΓ̅is a circle with center 0 and sufficiently small radius.
Remark 4.1
From Theorem 3.3, Corollary 4.1, and Lemma 4.3, we know that\(\{\gamma \in \sigma (\mathbb{A}+\mathbb{E}) | \operatorname{Re} \gamma =0 \}= \{0 \} \). In other words, all points on the imaginary axis except zero belong to the resolvent set of\(\mathbb{A}+\mathbb{E}\). Therefore we can conclude that, under the same condition of Theorem 4.4, the time-dependent solution of system (2.4) strongly converges to its steady-state solution, i.e., \(\lim_{t\rightarrow \infty }\mathbf{P}(x,t)=\langle \mathbf{Q}^{*}, \mathbf{P}(0) \rangle \mathbf{P}(x)\), where\(\mathbf{Q}^{*}(x) \)and\(\mathbf{P}(x)\)are the eigenvectors corresponding to 0 in Lemma 4.5and4.3.
In the following, by investigating the growth bound of \(\mathbb{T}(t)\) and determining the explicit expression of the project operator , we provide the main results of this section.
Lemma 4.6
For\(\gamma \in \rho (\mathbb{A}+\mathbb{E})\), we have
where
Proof
For any given , we consider the equation , that is,
By solving (4.56)–(4.57), we have
Considering (4.61)–(4.62) together with (4.58)–(4.60), we get
Substituting (4.65) into (4.63), we deduce
Substituting (4.66) into (4.65), we derive
Combining (4.64), (4.66), and (4.61)–(4.62) with (4.55) yields
Substituting (4.64), (4.66), and (4.67) into (4.61)–(4.62) separately, we obtain the remaining results of this lemma. □
Theorem 4.5
If\(\varphi (x)\)and\(\eta (x) \)are Lipschitz continuous and satisfy
then the time-dependent solution of system (2.4) converges exponentially to its steady-state solution, i.e.,
Proof
Theorem 4.1 and Theorem 4.2 imply
From this together with Proposition 2.10 in Engel and Nagel [31, P. 258] we know that \(\omega _{\mathrm{ess}}(\mathbb{S}(t))\) (i.e., \(\omega _{\mathrm{ess}}(\mathbb{A})\)), the essential growth bound of \(\mathbb{S}(t)\) (i.e., \(\mathbb{A}\)), satisfies
Since \(\mathbb{E}:\mathcal{X}\to \mathbb{R}^{4}\) is a compact operator, by Proposition 2.12 in [31, P. 258] we deduce
Using this result together with Corollary 2.11 in Engel and Nagel [31, P. 258] and Theorem 4.1, we obtain that 0 is a pole of \(~(\gamma I-\mathbb{A}-\mathbb{E})^{-1}\) of order 1. Therefore, from Theorem 4.5, Lemma 4.6, and the residue theorem, we have
Now, we are able to determine the projection operator by calculating the above limit. Taking into account that
and using L’Hospital’s rule, we obtain
By the Fubini theorem we can get
Using this we derive
Combining (4.69)–(4.72) with Theorem 4.5, we obtain
From Theorem 3.3, (4.73), and Theorem 4.5, we conclude
which implies that the time-dependent solution of system (2.4) converges exponentially to its steady-state solution. □
5 Asymptotic behavior of some reliability indices
In this section, we briefly discuss the asymptotic behavior of some reliability indices of system (2.4). Their proof is similar to [22, P. 256], and we omit the details. From Remark 4.1 we have
which implies
From its definition, the time-dependent availability of the system is given by
which together with (4.34), (4.36), and (5.1) yields
For the time-dependent failure frequency of the system, we have
The time-dependent renewal of the system means that the state of the system returns to the initial states and is given by
If we let the failure states 2,3 be the absorbing states, then we obtain the following new system:
Hence, the time-dependent reliability of the system, by a similar argument, converges to a constant number, i.e.,
Remark 5.1
If we add the normalizing condition\(P_{0}(t)+\sum_{n=1}^{3} \int _{0}^{\infty } P_{i}(t,x)\,dx=1 \), then in the steady-state case we obtain the results in Govil [27]. In other words, our results imply the results in Govil [27].
6 Numerical results
In this section we execute numerical experiments in order to study how the time-dependent reliability indices, such as system availability \(A(t)\), the failure frequency of the system \(m_{f}(t)\), and the renewal frequency of the system \(m_{r}(t)\), are affected by the change of each system parameter. There are four system parameters \(\lambda, \lambda ^{\prime }, \eta (x) \), and \(\varphi (x)\). First of all, for convenience of the analysis, we assume that the repair time of the system is gamma distributed with constant repair rates \(\eta (x)=\mu, \varphi (x)=\mu ^{\prime }\) and fix the system parameters at values \(\lambda =0.0004, \lambda ^{\prime }=0.0006, \mu =0.004, \mu ^{ \prime }=0.006\).
In Fig. 2 we depict the variation of the system availability (Fig. 2(a)), failure frequency of the system (Fig. 2(b)), renewal frequency of the system (Fig. 2(c)) with respect to time t for different values of β (β is another parameter of the gamma distribution). It shows that time-dependent availability and failure frequency of the system decrease fast as time increases in each case, and after a long run they become constant at some value. The renewal frequency of the system \(m_{r}(t)\) increases rapidly at an early stage as time increases and after a long run it becomes constant at some value. In addition, we also notice that system availability, failure frequency, and renewal frequency of the system decrease with increasing values of β.
In the following, we assume \(\beta =1 \) (i.e., the repair time of the system is exponentially distributed) and continue to pay attention to the effect on system availability, system failure frequency, and system renewal frequency of different values of the failure rates λ. Figure 3 reveals that all the indices converge to certain value as time grows and that, as λ increases, the time-dependent system availability decreases, and failure frequency and renewal frequency increase.
Figure 4 shows the behavior of the system availability and the system renewal frequency for different repair rates, revealing that these indices increase as μ increases. Moreover, both indices approach a constant value as time goes to infinity.
The renewal frequency with different values of \(\lambda ^{\prime }\) and \(\mu ^{\prime }\) is represented in Fig. 5(a) and (b). From this figure, we can conclude that the renewal frequency of the system increases as \(\lambda ^{\prime }\) and \(\mu ^{\prime }\) increase. As shown, the renewal frequency tends to a constant value as time goes to infinity. Notice that the failure rate and repair rate of a component of Type II have no effect on the system availability.
Figure 6 shows the effect of λ on the system reliability and mean time to failure (MTTF). We note that system reliability (Fig. 6(a)) and MTTF (Fig. 6(b)) decrease as λ increases. Obviously, reliability vanishes as time goes to infinity.
In addition, all these numerical results show that the time-dependent reliability indices of the system converge to a constant value as time goes to infinity confirming the results obtained in Sect. 5.
7 Conclusions
This paper investigates the two-unit complex system, in which one of the components has priority with preemptive repeat repair disciplines. The model proposed is based on the supplementary variable technique and is described by partial differential equations with integral boundary conditions. We prove that the system is well-posed and that the time-dependent solution of the model converges exponentially to its steady-state solution. These results imply that the hypothesis mentioned in the Introduction holds for this model. Further, we show that the asymptotic behavior of some time-dependent reliability indices converges to constant numbers. In addition, some numerical examples are given to investigate the effects of changes in the parameters on system reliability indices.
The head-of-line repair discipline and preemptive resume repair discipline of the two-unit complex system need to be considered in further studies. The effect of different repair priorities on the time-dependent reliability characteristics could also be an interesting topic for future studies.
References
Cox, D.R.: The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables. Math. Proc. Camb. Philos. Soc. 51, 433–441 (1955)
Gaver, D.P.: Time to failure and availability of parallel redundant systems with repair. IEEE Trans. Reliab. R–12, 30–38 (1963)
Linton, D.G.: Some advancements in the analysis of two-unit parallel redundant systems. Microelectron. Reliab. 15(1), 39–46 (1976)
Goel, L.R., Gupta, R., Singh, S.K.: Availability analysis of a two-unit (dissimilar) parallel system with inspection and bivariate exponential life times. Microelectron. Reliab. 25(1), 77–80 (1985)
Gupta, P.P., Sharma, R.K.: Cost analysis of a three-state standby redundant electronic equipment. Microelectron. Reliab. 25(6), 1029–1033 (1985)
Shi, D.H., Li, W.: Availability analysis of a two-unit series system with shut-off rule and “first-fail, first-repaired”. Acta Math. Appl. Sin. Engl. Ser. 9(1), 88–91 (1993)
Chung, W.K.: Reliability of imperfect switching of cold stanby systems with multiple non-critical and critical errors. Microelectron. Reliab. 35(12), 1479–1482 (1995)
Zhang, Y.L., Wu, S.M.: Reliability analysis for a \(k/n(f)\) system with repairable repair-equipment. Appl. Math. Model. 33(7), 3052–3067 (2009)
Dhillon, B.S., Shen, C.: Reliability and availability analysis of a robot-safety system. J. Qual. Maint. Eng. 17(2), 203–232 (2011)
Ram, M., Singh, S.B., Singh, V.V.: Stochastic analysis of a standby system with waiting repair strategy. IEEE Trans. Syst. Man Cybern. Syst. 43(3), 698–707 (2013)
Zhang, N., Wang, J.T.: Reliability analysis of unrepairable systems with k-out-of-m:g subsystems subject to suspended animation. Commun. Stat., Simul. Comput. 43(8), 1900–1912 (2014)
Ke, J.C., Liu, T.H., Yang, D.Y.: Machine repairing systems with standby switching failure. Comput. Ind. Eng. 99, 223–228 (2016)
Gupur, G.: Well-posedness of the system consisting of two repairable units. Acta Anal. Funct. Appl. 3(2), 188–192 (2001) (in Chinese)
Gupur, G., Li, X.Z.: Semigroup method for a mathematical model in reliability analysis. J. Syst. Sci. Syst. Eng. 10(2), 137–147 (2001)
Gupur, G., Wong, M.W.: On a dynamic system for a reliability model. J. Pseudo-Differ. Oper. Appl. 2(3), 509–542 (2011)
Gupur, G.: Point spectrum of the operator corresponding to a reliability model and application. J. Pseudo-Differ. Oper. Appl. 7(3), 411–429 (2016)
Gupur, G.: Well-posedness of the model describing a repairable, standby, human & machine system. J. Syst. Sci. Complex. 16(4), 483–493 (2003)
Gupur, G.: Asymptotic property of the solution of a repairable, standby, human and machine system. Int. J. Pure Appl. Math. 28(1), 35–54 (2006)
Aili, M., Gupur, G.: Further result on a repairable, standby, human and machine system. Int. J. Pure Appl. Math. 101(4), 571–594 (2015)
Ehmet, R., Gupur, G.: Further research of k-out-of-N:G redundant system with repair and multiple critical and non-critical errors. Int. J. Pure Appl. Math. 51(3), 325–343 (2009)
Ablet, E., Gupur, G.: Expression and application of the project operator appearing during research of k-out-of-N:G redundant system with repair and multiple critical and non-critical errors. Acta Anal. Funct. Appl. 12(4), 310–321 (2010)
Gupur, G.: Functional Analysis Methods for Reliability Models. Springer, Basel (2011)
Guo, L.N., Xu, H.B., Gao, C., Zhu, G.T.: Stability analysis of a new kind n-unit series repairable system. Appl. Math. Model. 35(1), 202–217 (2011)
Wang, H.X., Xu, G.Q.: A cold system with two different components and a single vacation of the repairman. Appl. Math. Comput. 219(5), 2634–2657 (2012)
Haji, A., Radl, A.: A semigroup approach to the Gnedenko system with single vacation of a repairman. Semigroup Forum 86(1), 41–58 (2013)
Hu, W.W.: Differentiability and compactness of the \(c_{0}\)-semigroup generated by the reparable system with finite repair time. J. Math. Anal. Appl. 433(2), 1614–1625 (2016)
Govil, A.K.: Priority effect on pointwise availability of the system. RAIRO Oper. Res. 6(V1), 47–56 (1972)
Gupur, G.: On asymptotic behavior of the time-dependent solution of a reliability model. Int Front. Sci. Lett. 2, 1–11 (2014)
Fattorini, H.O.: The Cauchy Problem. Cambridge University Press, Cambridge (1984)
Nagel, R.: One-Parameter Semigroups of Positive Operators (LNM 1184). Springer, Berlin (1986)
Engel, K.J., Nagel, R.: One-Parameter Semigroups for Linear Evolution Equations. Springer, New York (2000)
Acknowledgements
The authors would like to thank the editor and referees for their valuable comments.
Availability of data and materials
Not applicable.
Funding
The author’ research work was supported by the National Natural Science Foundation of China (No: 11801485).
Author information
Authors and Affiliations
Contributions
The authors equally contributed in preparing this manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that there is no conflict of interest regarding the publication of this paper.
Additional information
Abbreviations
Not applicable.
Appendix
Appendix
Proof of Theorem 3.1
We split the proof into four steps. First of all, we estimate \(\|(\gamma I-\mathbb{A})^{-1}\|\), next we verify that \(D(\mathbb{A})\) is dense in \(\mathcal{X}\). Thirdly, we prove that \(\mathbb{E}\) is a bounded linear operator. Lastly, we show that \(\mathbb{A}+E\mathbb{}\) is a dispersive operator, and therefore we obtain the desired result.
For any given \(\varPhi \in \mathcal{X}\), we consider the equation \((\gamma I-\mathbb{A})\mathbf{P}=\varPhi \), that is,
By solving (A.1)–(A.4), we have
Considering (A.4)–(A.6) together with (A.7)–(A.9), we get
Using the Fubini theorem, we can estimate (assume \(\gamma >0\))
where we have used the following inequalities:
Now, combining (A.14)–(A.16) with (A.7)–(A.9) and using the Fubini theorem, we calculate
(A.19) shows that \((\gamma I-\mathbb{A})^{-1}\) exists for \(\gamma >\overline{\eta }\), and
In the following, we should prove that \(D(\mathbb{A})\) is dense in \(\mathcal{X}\). The proof is similar to Gupur [22, P.76], and we omit the details. From the above results and Hille–Yosida theorem (see Nagel [30]), we conclude that \(\mathbb{A}\) generates a \(C_{0}\)-semigroup. We now verify that \(\mathbb{E}\) is a bounded linear operator. From the definition of \(\mathbb{E}\) we have, for \(\mathbf{P}\in \mathcal{X}\),
Expression (A.20) implies that \(\mathbb{E}\) is a bounded operator and it is not difficult to show that it is also linear. Hence, from the perturbation theory of the \(~C_{0}\)-semigroup [22, Theorem 1.80], we get that \(\mathbb{A}+\mathbb{E}\) generates a \(C_{0}\)-semigroup \(T(t)\). Finally, we prove that \(\mathbb{A}+\mathbb{E}\) is a dispersive operator. For \(\mathbf{P}\in D(\mathbb{A})\), we choose ξ, where
and
The boundary condition on \(\mathbf{P}\in D(\mathbb{A})\) imply
If we define \(\mathcal{V}=\{ x\in [0,\infty ) | y(x)>0 \} \) and \(\mathcal{W}=\{ x\in [0,\infty ) | y(x)\le 0 \}\) then, replacing \(y(x)\) in \(\mathcal{V}, \mathcal{W} \) by \(P_{1}(x),P_{2}(x),P_{3}(x)\) respectively, we have
By using the boundary condition on \(\mathbf{P}\in D(\mathbb{A})\) and (A.21)–(A.23) for such ξ, we derive
Expression (A.25) implies that \(\mathbb{A}+\mathbb{E}\) is a dispersive operator.
From the above fourth steps and Fillips theorem (see Nagel [30]), we obtain that \(\mathbb{A}+\mathbb{E}\) generates a positive contraction \(C_{0}\)-semigroup \(\mathbb{T}(t)\). □
Proof of Lemma 4.4
By using integration by parts and the boundary conditions on \(P\in D(\mathbb{A})\), we have, for \(Q^{*}\in D(\mathbb{G}^{*})\),
From this calculation and the definition of the adjoint operator, we obtain the desired result. □
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kasim, E., Gupur, G. Dynamic analysis of a complex system under preemptive repeat repair discipline. Bound Value Probl 2020, 71 (2020). https://doi.org/10.1186/s13661-020-01366-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-020-01366-9