1. Introduction
In recent years, researchers in reliability theory have shown intensified interest in the study of stochastic and reliability properties of technical systems. The
-out-of-
system structure is a very popular type of redundancy in technical systems. A
-out-of-
system is a system consisting of
components (usually the same) and functions if and only if at least
out of
components are operating
. Hence, such system fails if
or more of its components fail. Let
denote the component lifetimes of the system and assume that
represent the ordered lifetimes of the components. Then it is easy to argue that the lifetime of the system is
where
denotes the
, the order statistics corresponding to
's,
. Under the assumption that
's are continuous random variables, several authors have studied the residual lifetime and the mean residual lifetime (MRL) of the system under different conditions. Assuming that at time
at least
components of the system are working, the residual lifetime of the system can be defined as follows:
(1)
Among the researchers who investigated the reliability and aging properties of the conditional random variable
, under various conditions and for different values of
and
, we can refer to Bairamov et al. [1], Asadi and Bairamov [2,3], Asadi and Goliforushani [4], Li and Zhao [5] and Zhang and Yang [6]. The extension to coherent systems has also been considered by several authors; see, among others, Li and Zhang [7], Navarro et al. [8], Zhang [9,10], Zhang and Li [11], Asadi and Kelkin Nama [12], and references therein.
Recently Mi [13] considered the situation in which the components of the system had discrete lifetimes and investigated some of aging properties of the system. The aim of the present paper is to study the MRL of
-out-of-
system under discrete setting. For this purpose, we assume that
are nonnegative integer valued random variables denoting the lifetimes of the components of an
-out-of-
system. Furthermore, we assume that
,
are independent and have a common probability mass function
![](https://www.scirp.org/html/htmlimages\14-7401955x\21b2a2c3-8641-4e36-adfd-d077d153ac3b.png)
and survival function
![](https://www.scirp.org/html/htmlimages\14-7401955x\cfebaf30-22c9-454e-88ee-323fccccc441.png)
The hazard rate of the components, denoted by
and
, is defined as follows:
![](https://www.scirp.org/html/htmlimages\14-7401955x\5ec6ad12-15c5-4718-b5a1-e837b241c1f9.png)
One can easily show that the survival and probability mass functions can be recovered from the hazard rate, respectively, as follows:
![](https://www.scirp.org/html/htmlimages\14-7401955x\544ba2d2-4b1d-4bf6-8efc-26ebfc852e27.png)
![](https://www.scirp.org/html/htmlimages\14-7401955x\35db39a5-abde-48a2-8999-1a9f79ed8d0c.png)
The MRL function of the components, denoted by
, plays an important role in reliability engineering and survival analysis. Assuming each component of the system has survived up to times
, the MRL function
of each component is defined as
![](https://www.scirp.org/html/htmlimages\14-7401955x\0d73db43-74dd-4285-a650-fcb713c64f56.png)
It is not difficult to show that the survival function
can be represented in terms of
as below:
![](https://www.scirp.org/html/htmlimages\14-7401955x\fc4eda9b-d857-49a4-a332-fe7c92f9142a.png)
The reset of the paper is organized as follows :
We first assume that at time
all components of the system are working and obtaining the functional form of the mean of
. This is in fact the MRL of the system, denoted by
, under the condition that all components of the system are operating at time
. It is shown that when the components of the system have geometric distribution,
is free of time. Then, we prove that if the components of the system have increased failure rate,
is a decreasing function of
. It is also shown that when the components of two independents are ordered in terms of hazard rate ordering, under the condition that all components of the two systems are alive, their corresponding MRLs are also ordered. The results are then extended to the case where at least
components of the system are operating. In this case, we obtain the functional form of the MRL of the system, denoted by
. It is shown that
can be represented as the mixture of
, where the mixing function is
![](https://www.scirp.org/html/htmlimages\14-7401955x\b2652f48-ffd0-4d5b-9f32-aeea169cb7c5.png)
We prove that in the case where the components of the system have increased hazard rate, then
is decreasing in time. However, it is shown, using a counter example, that when the components of the system have decreased hazard rate, it is not necessarily true in general that
is increasing in time.
The function
, mentioned above, has its own interesting interpretation. It shows the probability that there are exactly
failed components in the system,
, given that at least
components are working at time
. Several properties of
are also investigated.
2. The Mean Residual Life Function of System at the Component Level
In this section, we consider a
-out-of-
system and assume that the components of the system have independent discrete lifetimes
with common probability mass function
and survival function
, where
. Let also
be the order statistics corresponding to
's. In what follows, first, we assume that at time
, all the components of the system are working, i.e.
. The residual lifetime of the system, under the condition that all components of the system are working at time
, is
(see Asadi and Bairamoglu [3]).
Using the standard techniques, one can easily show that
(2)
Hence the MRL function of the system, denoted by
, can be obtained as follows
(3)
(4)
where
![](https://www.scirp.org/html/htmlimages\14-7401955x\d3fcaa11-e3b4-4d5b-9489-ce885ddb1aa0.png)
denotes the MRL function of a series system consisting of
components,![](https://www.scirp.org/html/htmlimages\14-7401955x\dc1e9a7b-7f3a-468a-97fb-5deeb8fd4da0.png)
.
Example 2.1 Let the components of the system have geometric distribution with probability mass function
![](https://www.scirp.org/html/htmlimages\14-7401955x\8f295cd4-acae-4aa8-b879-47ac13e576a8.png)
and survival function
![](https://www.scirp.org/html/htmlimages\14-7401955x\88b298d0-92f8-4282-b9c8-776e9a027f73.png)
We have
![](https://www.scirp.org/html/htmlimages\14-7401955x\6f1429ab-e7fe-49a2-a71d-da10339d2fc9.png)
![](https://www.scirp.org/html/htmlimages\14-7401955x\ce6c50db-fda6-4769-93ba-707a9236e112.png)
Note that the MRL of a system having independent geometric components does not depend on
.
The distribution function of the order statistics
can be represented in terms of incomplete beta function as follows (see David and Nagaraga [14]):
![](https://www.scirp.org/html/htmlimages\14-7401955x\72debaee-6804-4e37-8944-2c2175414fee.png)
where
![](https://www.scirp.org/html/htmlimages\14-7401955x\16c0e980-8782-4f37-9086-95e7288f780b.png)
Hence the MRL function of the system can be represented as
(5)
This representation is useful to prove the following two theorems.
Theorem 2.2 If the components of the
-out-of-
system have an increasing (decreasing) hazard rate, then
is decreasing (increasing) in
.
Proof:
If
denotes the hazard rate of the components, then
is increasing (decreasing) if and only if for non-negative integer valued
is decreasing (increasing) in
. Now the result follows easily by representation (5).
The following example gives an application of this theorem.
Example 2.3 Let the components of the system have discrete Weibull distribution with survival function
![](https://www.scirp.org/html/htmlimages\14-7401955x\1417a35e-8786-477f-88ac-4fe19f6cc1e5.png)
Then the MRL
of the system is decreasing for
and increasing for
.
Theorem 2.4 Let
and
be two
-out-of-
systems with independent components. Let the components of
and
have the probability mass function
, and
, survival functions
and
; and hazard rates
and
, respectively. If, for
,
, then
, where
and
denote the mean residual life of
and
, respectively.
Proof: Note that, for
,
if and only if
![](https://www.scirp.org/html/htmlimages\14-7401955x\232f9120-7de2-4f49-a352-226b8090ae6e.png)
The required result is immediate now from (5).
Khorashadizadeh et al. [15] studied discrete variance residual life function for one component.
Using the fact that
![](https://www.scirp.org/html/htmlimages\14-7401955x\dfe8e009-3a1e-43f0-a677-1fe8864738ae.png)
one can easily prove the following lemma.
Lemma 2.5
(6)
(7)
Using this, the variance of the residual life function of
-out-of-
system under the condition that all components are working can be derived in terms of
.
Theorem 2.6 If
, the variance residual life function
and mean residual life function
are related as
![](https://www.scirp.org/html/htmlimages\14-7401955x\8ca8c5fb-1bdd-4ccc-9cd1-c3233b40a4fb.png)
wang#title3_4:spProof:
We have
![](https://www.scirp.org/html/htmlimages\14-7401955x\05251ef2-e2aa-4cf5-b282-a133ba4a0261.png)
Using Lemma 2.5, we get the required result.
Now, we study the MRL of
-out-of-
system under the condition that at least
components of the system are working. That is, we concentrate on
, ![](https://www.scirp.org/html/htmlimages\14-7401955x\a572c126-c450-4a44-b2cf-ea529eb1da99.png)
First note that
![](https://www.scirp.org/html/htmlimages\14-7401955x\17b0673b-1301-4b07-812f-f8d2065feea3.png)
where
![](https://www.scirp.org/html/htmlimages\14-7401955x\819b9826-a095-4f05-8601-cac8200046bb.png)
and
is a binomial random variable with parameters
.
(8)
Equation (8) shows that
is a convex combination of
,
. Note that
is given by (2).
Example 2.7 Let
denote the lifetimes of
independent components which are connected in a
-out-of-
system. Let
be distributed as discrete Weibull
with
![](https://www.scirp.org/html/htmlimages\14-7401955x\bbd37e05-c5de-40c4-a48a-6928008fe6f8.png)
and
![](https://www.scirp.org/html/htmlimages\14-7401955x\7d2273da-a9b4-4413-a84d-f1f1b0fcdd2a.png)
Then
![](https://www.scirp.org/html/htmlimages\14-7401955x\f959fb0b-aa76-45d2-8f6c-e7a20456298b.png)
and
![](https://www.scirp.org/html/htmlimages\14-7401955x\002601be-156a-437f-83ec-7eab991930f2.png)
Hence, the MRL
is given by (8). Figures 1 and 2 show the graphs of
in example 2.7 when
,
,
for different values of
and
.
Remark 2.8 Let us consider again the condition random variable
for which the survival function is given by (2). The representation (2) shows that
is in fact the
, the order statistics
form of a distribution with survival function
. Hence using the result of David and Nagaraje [8]one can write
![](https://www.scirp.org/html/htmlimages\14-7401955x\e3551052-5424-426b-9bc4-723fa1bd9045.png)
Hence
![](https://www.scirp.org/html/htmlimages\14-7401955x\7cac2abf-e4a5-4df3-bcad-d14fdd18dded.png)
and
(9)
This indicates the MRL
can be expressed in terms of simpler MRL
which is in fact the MRL of series systems.
The following theorem gives bounds for
.
Theorem 2.9 It is always true that
![](https://www.scirp.org/html/htmlimages\14-7401955x\ee94eecc-654f-4068-940d-b741d29f46cd.png)
Proof: The proof is similar to the proof of Theorem 2.3 of [4] and hence is omitted.
The next theorem proves that when the parent distribution has increased hazard rate,
increases in terms of time.
Theorem 2.10 If
is increasing in
, then
is decreasing in
.
Proof: In order to prove the result, we need to show that, for
and
fixed,
![](https://www.scirp.org/html/htmlimages\14-7401955x\7108d13f-dd62-4f36-af8f-766fcf2ceba2.png)
We have, from (8), after some algebra
![](https://www.scirp.org/html/htmlimages\14-7401955x\024d7420-aa70-4e29-b518-515c4f44b2b7.png)
But the first term in the above equality is positive by Theorem 2.2. Hence we just need to prove that the second term in the above equality is positive. Assume that
and note that
is an increasing function of
. Then
![](https://www.scirp.org/html/htmlimages\14-7401955x\b4cb37cd-1c19-48d6-b96e-2ff6cd0a6e1c.png)
After some algebraic manipulations, one can show that the numerator of the expression is equal to
(10)
It can be easily shown that for
,
(see, [2,3]). On the other hand, as ![](https://www.scirp.org/html/htmlimages\14-7401955x\fb390575-5d24-4716-8785-401831859793.png)
is an increasing function of
, we have
. This implies that the expression in (10) is non-negative and hence the proof is complete.
Remark 2.11 As it was already mentioned for a system with decreasing failure rate components,
is increasing in time. This result, however, is not generally true for MRL
. Figures 3 and 4 show the graphs of
and
in Example 2.7. As the graphs show that
is a decreasing function of time, however,
is an increasing function of
for a period of time and then starts to decrease.
Remark 2.12 In the following, we show that
has its own interesting interpretation. In fact, under the condition that the system is working at time
,
shows the probability that there is exactly
component failure in the system. The mentioned conditional probability can be written as
![](https://www.scirp.org/html/htmlimages\14-7401955x\f3fd9500-b373-4507-8058-daa945996836.png)
Figure 4. The failure rate of the system for the discrete weibull
distribution.
where
for
such that
shows the odds of the event that a component has a lifetime less than
. Also in the following, we study some properties of
.
Theorem 2.13 For ![](https://www.scirp.org/html/htmlimages\14-7401955x\dd455394-2f86-49cd-8548-c3b159256e58.png)
is decreasing function of t and for
, it is increasing function of t. Also, for ![](https://www.scirp.org/html/htmlimages\14-7401955x\474c585e-7ca3-4978-afc7-f792f38fc731.png)
![](https://www.scirp.org/html/htmlimages\14-7401955x\955fc162-21f4-4026-b6a5-41a708c48caa.png)
![](https://www.scirp.org/html/htmlimages\14-7401955x\bafce15c-1f61-4c96-aa18-d83dbc901914.png)
Proof: We have
(11)
which is obviously a decreasing function of
(
is a increasing function) since
and
. From (11), we easily conclude that
and
.
![](https://www.scirp.org/html/htmlimages\14-7401955x\256aaa6d-e608-4eae-847a-57a86ff8ac56.png)
In this case, it is easily seen that
is an increasing function of
,
and
.
Theorem 2.14 The survival function
can be uniquely determined by
and
,
as follows:
(12)
wang#title3_4:spProof:
The result easily follows from the fact that for
,
![](https://www.scirp.org/html/htmlimages\14-7401955x\a02bcc33-975e-494f-87de-ef20baccf011.png)
which gives (12).
Consider the vector
. Obviously,
is a probability vector. we can then prove the following theorem.
Theorem 2.15 For all
,
![](https://www.scirp.org/html/htmlimages\14-7401955x\5676e07b-175e-48ad-83dd-7bd8517b2865.png)
Proof: In order to prove the result, we need to show that for
,
![](https://www.scirp.org/html/htmlimages\14-7401955x\31d86941-1248-4f83-85d9-7bff38a4cd09.png)
or equivalently
![](https://www.scirp.org/html/htmlimages\14-7401955x\8827ac0b-6a19-4492-8fed-d26d8426fbb1.png)
This is equivalent to show that
![](https://www.scirp.org/html/htmlimages\14-7401955x\0c179f75-83f1-4f6d-ad47-f4430212ec90.png)
or
(13)
But, as
is increasing in
, the bracket in the summations, for
, is always negative. Hence the inequality in (13) is valid. This completes the proof of the theorem.
Theorem 2.16 Consider two
-out-of-
systems. Assume that the components of the systems have independent lifetimes, with survival function
and
, respectively and odds functions
and
, respectively. If for all
,
, then
.
Proof: Asadi & Berred [16] proved that
for fixed
and
is an increasing function of
.
The assumption that
implies
, then
![](https://www.scirp.org/html/htmlimages\14-7401955x\31ec2c7c-a8be-4287-b9da-3e032f12ba7a.png)
which is equivalent to say that for all
and all
,
![](https://www.scirp.org/html/htmlimages\14-7401955x\18b0e7df-5408-485f-837d-3c613ac1a28d.png)