1. Introduction
In the field of Statistical Reliability Modeling, several studies have been carried out under the assumption that the components of the underlying structures are independent. However, this condition is not always fulfilled in real-life problems. Therefore, it is of some research interest to investigate reliability systems consisting of exchangeable components, namely components which are identically distributed but are (possibly) dependent to each other. For instance, [
1] delivered a signature-based analysis of
m-consecutive
k-out-of-
n:
F systems with exchangeable components. Moreover, [
2] proved that the lifetime of any coherent system with dependent components can be expressed as generalized mixture of series (or parallel) subsystem lifetime distributions.
For a reliability coherent system with
n exchangeable components, the dependency between them can be well modelled by the aid of appropriately chosen copulas. It is noteworthy that copulas have been proved to be a useful tool for studying the joint distribution of the random lifetimes of the components of a reliability model (see, e.g., [
3,
4,
5]). For example, a copula-based approach can be applied in order to evaluate the reliability characteristics such as availability, reliability, and mean time to failure of a coherent system [
4,
5].
In addition, the parameter’s estimation for the common continuous distribution of the components of the underlying reliability system is of high importance. Having at hand a point or interval estimation of the distributional parameter, one may readily deduce several results and conclusions concerning the behavior not only of the components, but also of the whole structure (see, e.g., [
4]).
In the present paper, we provide a theoretical framework for providing the estimated mean lifetime (along with its variance) for a reliability structure and also for establishing the moment estimator of the parameter of the common continuous distribution of its components. However, the present work focuses on the reliability study of coherent systems with exchangeable components. More precisely, it aims to draw conclusions about their expected lifetimes and the respective variances. Thereof, we provide just a short discussion about the parameter’s estimation of the common continuous distribution of its components at the end of
Section 3. All necessary notions and formulae about the copulas which shall be used later on are presented in
Section 2. A short introduction referring to the maximal signature of a coherent reliability system is also provided.
In
Section 3, the proposed procedure is described in detail. The main results of the paper refer to the lifetime of a reliability system having exchangeable components and the parameter’s estimation of the underlying components’ distribution. This goal is fulfilled by the aid of explicit expressions, which are introduced and proved under different Archimedean copulas-based models. More precisely, the Frank copula model and the Joe copula model are considered and studied in some detail. It is evident that the shapes of these two copulas are quite similar, but the Frank Archimedean copula lacks an asymptote at
, whereas the Joe Archimedean copula does not. In addition, it is known that Joe Archimedean copulas have an exponential functional form, while Frank Archimedean copulas have a logarithmic functional form. Among other reasons, we chose to consider the specific models due to their wide applicability in several fields. For instance, one may refer to the utilization of Frank Archimedean copulas for studying the linked risk factors, while Joe Archimedean copulas are frequently employed to model negatively related risk factors. For more details about the Archimedean copulas, the interested reader is referred to [
6,
7,
8,
9,
10,
11] and the references therein.
In
Section 4, an extensive numerical experimentation is carried out and the implementation of the proposed estimation procedure is illustrated. In order to provide adequate numerical evidence about the ability of the proposed technique to estimate the desired quantities, all possible coherent systems with three components are taken into account. In addition, Monte Carlo simulations are also realized for studying the distribution of the resulting moment estimator. Finally, the Discussion section summarizes the contribution of the present paper, while some practical concluding remarks are also highlighted therein.
2. General Notions and Notations
In this section, we present the necessary notions and notations for establishing the proposed estimation procedure. In what follows, some basic results referring to the copula models and maximal signatures shall be discussed in order to pave the way for delivering the main results of the paper in the next section.
Let us first consider a coherent system consisting of n exchangeable components with common continuous distribution function F. The dependence between the components could be readily modelled by the aid of appropriate Archimedean copulas. A sufficient incentive to choose Archimedean copulas over other types of copulas is their simple form and ease with which they can be constructed. Moreover, the great variety of families of copulas which belong to this class gives the Archimedean copulas a central role and great applicability.
Generally speaking, the copulas are useful tools for determining the joint distribution of random variables, since they are functions that join (or couple) multivariate distribution functions to their one-dimensional marginal distribution functions. For recent advances and applications of the Archimedean copulas, one may refer to [
12,
13,
14,
15,
16,
17].
The main findings of the present work refer to the expected lifetime of a coherent system consisting of n exchangeable components under the assumption that the dependence of the components is modelled by the aid of specific copula models. In most of real-life engineering systems, such as transportation systems, communication networks, aerospace systems, healthcare delivery systems, and manufacturing processes, the dependence among the components is inevitable due to the common random production and operating environments.
Let us first denote by , the lifetimes of the components of underlying reliability structure. If corresponds to the cumulative distribution function of the variable , then is simply the joint distribution function of the lifetimes of the components of the system.
Each vector of real numbers leads to a point in the unit region , while these ordered coordinates correspond to a number in [0, 1]. The aforementioned correspondence, which assigns the value of the joint distribution function to each ordered vector of values of the individual distribution functions, is actually the copula function . Generally speaking, note that the probability density function of the copulas can be derived from the corresponding cumulative density function by the aid of appropriate derivatives of the copula function.
Due to the exchangeability of the components of the underlying reliability structure, the following holds true
Therefore, if
is the copula function related to
, we deduce that
An Archimedean copula behaves like a binary operation on the interval [0, 1]. In other words, the copula function assigns to each pair in [0, 1] a number in [0, 1]. In addition, the function is commutative, associative, and preserves order, e.g., implies ).
Throughout the course of the present work, we shall consider two different copula functions for modeling the dependence of the components in the underlying reliability system. Both models implemented in the next lines are members of the well-known class of Archimedean copulas (see, e.g., [
3,
18,
19] and references therein). Kindly note that under the assumption of exchangeability, these models have never been studied before for modeling the dependency of the components of a system. More precisely, we shall consider the following multivariate Archimedean copulas:
The generator function of the bivariate Frank copulas is given by
For
and
, the copula function of the multivariate Frank class of
n-copulas is expressed as
The generator function of the bivariate Joe copulas is given by
For
and
, the copula function of the multivariate Joe class of
n-copulas is written as
If
corresponds to the lifetime of a coherent system with
n exchangeable components and
is the
i-th ordered component’s lifetime, then the reliability function of the system is expressed as
where
satisfy the condition
Note that the vector
is the maximal signature of the coherent system (see, e.g., [
2,
20]). It is worth mentioning that, under specified reliability models, several general results have been proved in the literature for determining the
. For instance, one may refer to the exact closed formulae for the maximal signatures of an m-consecutive-k-out-of-n: F system, which have been delivered in [
1]. Throughout the lines of the next sections, we shall focus on specific models of coherent systems, such as parallel structures, series structures, or consecutive-type systems. For the latter ones, it is known that a consecutive
k-out-of-
n:
F system is a structure made up of
n components ordered sequentially and fails if and only if at least
k consecutive components fail (see, e.g., [
1]).
3. Main Results
In this section, we study the lifetime of a reliability structure consisting of n exchangeable components. The dependency between the components is modelled by the aid of two specific copula models. More precisely, the Frank and the Joe copulas are considered. Generally speaking, Frank Archimedean copulas are more sensitive to positive association than Joe Archimedean copulas in terms of association sensitivity.
The main result refers to the expected lifetime of such a structure, while the corresponding variance is determined. Based on these outcomes, the estimation of the parameter of the underlying components’ distribution can also be achieved.
Let us next consider a reliability system consisting of n exchangeable components with a common continuous distribution . We denote by the lifetimes of the components, while corresponds to the lifetime of the resulting structure.
The next proposition offers expressions for determining the expected lifetime and its corresponding variance for a system under the Frank copula-based dependency.
Proposition 1. Let us consider a reliability system with n exchangeable and exponentially distributed components with parameter . If the dependency of the components is described by the Frank copula model, the following ensue,
- (i)
The expected lifetime of the system is given by
- (ii)
The variance of the lifetime of the system is given by
Proof. (i) Given that the components of the system are exponentially distributed with parameter , e.g., , the joint distribution function of their lifetimes under the Frank copula model can be written as (see (2) and (4))
It is known that the expected value of the lifetime
of a reliability system can be determined by the aid of the following formula:
Recalling (7), the last expression can be rewritten as
where the vector
is the maximal signature of the system. Moreover, the event
practically means that the maximum of the components’ lifetimes
, does not exceed the value
, while no restriction is stated for the
remaining lifetimes. Therefore, we may readily deduce that
where the copula function
is defined in (4). Combining Formulae (4) and (13), we conclude that
and the expected value of the random variable
is now determined as
The result we are chasing for is effortlessly derived by replacing the last expression in (12).
(ii) The variance of the system’s lifetime
shall be determined by applying the well-known identity
where the expected value of
is given by (8). In addition, the 2nd moment of
can be expressed as
Following a parallel argumentation with the one implemented at part (i), the integral expression in (18) leads, by the aid of (7) and (14), to the desired result. □
The following proposition offers expressions for determining the expected lifetime and its corresponding variance for a system under the Joe copula-based dependency.
Proposition 2. Let us consider a reliability system with n exchangeable and exponentially distributed components with parameter . If the dependency of the components is described by the Joe copula model, the following ensue,
- (i)
The expected lifetime of the system is given by
- (ii)
The variance of the lifetime of the system is given by
Proof. (i) Given that the components of the system are exponentially distributed with parameter , e.g., , the joint distribution function of their lifetimes under the Joe copula model can be written as (see (2) and (6))
Since the copula function for the Joe model is given by (6), the following ensues (see also (13)),
The expected value of the random variable
is now determined as
We next combine (12) and (22) and the desired result is straightforward.
(ii) The variance of the system’s lifetime
shall be determined by applying the well-known identity (16). Τhe 2nd moment of
can be expressed as
Τhe result we are chasing for is now immediately derived. □
It is evident that Propositions 1 and 2 of the present paper provide general results for any coherent system consisting of n exchangeable and exponentially distributed components. These results can be easily modified under different distributional assumptions for the components’ lifetimes of the underlying structure.
It is noteworthy that the aforementioned results, which have been proved in Propositions 1 and 2, may contribute to deliver the estimation of the parameter of the common distribution of the components’ lifetimes. According to the well-known moment estimation procedure, the theoretical moments provided by the previous propositions should be equated to the corresponding sample moments.
For instance, let us consider the same case with the one studied in Propositions 1 and 2, namely, we assume that the components of the system share a common exponential distribution with parameter . In order to estimate the distribution’s mean , we need to determine the corresponding sample mean lifetime of the resulting system. More precisely, if denotes the 1st moment of system’s lifetime , then the desired estimation of parameter shall be delivered by solving the equation with respect to .
Since we study reliability systems having exchangeable components, whose dependency is modelled by an appropriately chosen Archimedean copula, the computation of the sample mean lifetime of the resulting system calls for a sampling procedure from the underlying copula. The challenge of efficiently sampling exchangeable Archimedean copulas has been already addressed in the literature (see, e.g., [
9,
10,
11]).
One of the most powerful tools for sampling exchangeable Archimedean copulas is provided by the algorithm of Marshall and Olkin (algorithm
MO, hereafter). According to the algorithmic procedure
MO, we may simulate a random sample of size
from a specific Archimedean copula with generator
and continuous joint cumulative distribution function
if we follow the next steps (see, e.g., [
9]):
- Step 1.
Sample , where denotes the Laplace-Stieltjes transform of .
- Step 2.
Sample independent and identically distributed random variables from the Uniform distribution in [0, 1], namely .
- Step 3.
Determine .
- Step 4.
The random variables constitute a sample from the exchangeable joint distribution function , where corresponds to the marginal cumulative distribution function of .
4. Numerical Results
In the present section, we compute the expected mean lifetime and the corresponding variance for all possible coherent reliability structures with three exchangeable components, which are exponentially distributed components with parameter λ. The dependency between the components is modelled by either the Frank or the Joe copula. The numerical results and graphical illustrations that appeared in this section are all produced by the aid of the theoretical outcomes proved in the previous section of the present manuscript.
Let us denote by
the lifetimes of the components of a reliability structure with three components. All possible reliability systems consisting of three exchangeable components are listed below (see, also [
6]):
RS1: Series system. The particular system fails if and only if at least one component fails. Thereof, the lifetime of a series system with three exchangeable components can be expressed as , while the corresponding maximal signature vector is given as .
RS2: Series-parallel system. The particular system fails if and only if either the 1st component fails or both the other two (e.g., the 2nd and the 3rd component) components fail. Thereof, the lifetime of a series-parallel system with three exchangeable components can be expressed as , while the corresponding maximal signature vector is given as .
RS3: 2-out-of-3 system. The particular system fails if and only if at least two components fail. Thereof, the lifetime of a 2-out-of-3 system with three exchangeable components can be expressed as , while the corresponding maximal signature vector is given as .
RS4: Parallel-Series system. The particular system fails if and only if the 1st component fails and one of the other two (e.g., either the 2nd or the 3rd component) components fail. Thereof, the lifetime of a parallel-series system with three exchangeable components can be expressed as , while the corresponding maximal signature vector is given as .
RS5: Parallel system. The particular system fails if and only if all components fail. Thereof, the lifetime of a parallel system with three exchangeable components can be expressed as , while the corresponding maximal signature vector is given as .
We first compute the expected lifetimes and the corresponding variances for the above-mentioned structures under the Frank and Joe copula-based dependence. The common distribution of all components is assumed to be the exponential with parameter
The numerical results provided at
Table 1 have been produced by the aid of Propositions 1 and 2 (see
Section 3 of the present manuscript).
Based on the numerical results provided in
Table 1, we may readily deduce that the expected lifetime of reliability structure with exchangeable components under either Frank or Joe copula-based dependency increases,
In addition, the numerical results displayed in
Table 1, confirm, as it was expected,
the superiority of RS5 against the structures RS1–RS4, as it has the largest expected lifetime among all systems taken into consideration under the same designs,
the inferiority of RS1 against the structures RS2–RS5, as it has the smallest expected lifetime under the same designs.
It is also evident that the parallel-series system provides a more reliable structure compared to the 2-out-of-3 system in terms of expectation. At the same time, the 2-out-of-3 system seems to be better than the series-parallel system, which in turn overperforms the series system consisting of three exchangeable components.
Figure 1,
Figure 2,
Figure 3 and
Figure 4 provide some illustration for the behavior of the expected lifetime and the corresponding variance under the Frank copula-based dependency. More precisely, the mean lifetimes (along with their estimated variances) of systems RS2 and RS3 are depicted in
Figure 1,
Figure 2,
Figure 3 and
Figure 4 for different values of the design parameter
.
It is also of some interest to investigate the impact of parameter
on the lifetime of the resulting reliability schemes. For this reason, we next construct some relative illustrations (see
Figure 5,
Figure 6,
Figure 7 and
Figure 8), where the systems RS2 and RS3 have been taken into consideration once again.
Based on
Figure 5,
Figure 6,
Figure 7 and
Figure 8, it is easily observed that the expected lifetime of the resulting reliability system increases in a linear way in terms of the parameter
under the assumption that
remains unchanged.
In addition,
Figure 9,
Figure 10,
Figure 11,
Figure 12,
Figure 13,
Figure 14,
Figure 15 and
Figure 16 provide some illustration for the behavior of the expected lifetime and the corresponding variance under the Joe copula-based dependency. More precisely, we focus now on the RS1 and RS5 cases, and the respective mean lifetimes (along with their estimated variances) are displayed at
Figure 9,
Figure 10,
Figure 11 and
Figure 12 for different values of the design parameter
.
It goes without saying that systems RS1 and RS5 do not share a common behavior in terms of parameter under Joe copula-based dependency of their components. More specifically, we observe that,
the expected lifetime of RS1 system becomes larger as increases, while
the expected lifetime of RS5 system becomes larger as decreases.
Based on
Figure 13,
Figure 14,
Figure 15 and
Figure 16, it is deduced that the expected lifetime of the resulting reliability system increases in a linear way in terms of
under the assumption that
remains unchanged.
According to the numerical results provided previously, it is evident in both copulas that the expected lifetime of the underlying structure becomes larger as the corresponding parameter θ increases. More precisely, it seems that under the Frank copula the increase is more pronounced in comparison with the one observed under Joe copula. On the other hand, the numerical results do not point out that the Frank copula results in larger lifetimes than the Joe copula under the same reliability structure. In fact, there are cases where the Frank copula seems to formulate a structure with a larger expected lifetime than the corresponding one under Joe copula, while in other cases it holds the opposite conclusion. In other words, the numerical results seem to be quite robust under these two models.