MPEMathematical Problems in Engineering1563-51471024-123XHindawi Publishing Corporation10635910.1155/2012/106359106359Research ArticleConsecutive k-within-m-out-of-n:F System with Nonidentical ComponentsEryilmazSerkanSeyranianAlexander P.Department of Industrial EngineeringAtilim UniversityIncek, 06836 AnkaraTurkeyatilim.edu.tr2012202201220120609201107122011081220112012Copyright © 2012 Serkan Eryilmaz.This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

As a generalisation of consecutive k-out-of-n:F and k-out-of-n:F system models, a consecutive k-within-m-out-of-n:F system consists of n linearly ordered components and fails if and only if there are m consecutive components which include among them at least k failed components. In this paper, we study the survival function of a consecutive k-within-m-out-of-n:F system consisting of independent but nonidentical components. We obtain exact expressions for the survival function when 2mn. A detailed analysis for consecutive 2-within-m-out-of-n:F systems is presented and the asymptotic behaviour of hazard rate of these systems is investigated using mixture representations.

1. Introduction

It is a well-accepted fact that all components in an engineered system are not created equal. This in turn implies that different components may have different survival probabilities. The study of systems consisting of nonidentical components is a difficult task especially when the system has a complex structure. Some recent contributions on systems with independent but nonidentical components appear in Navarro , Zhao et al. , Kochar and Xu , and Navarro et al. .

Consecutive type systems have been extensively studied in the literature. One of the most widely studied consecutive type system is a linear consecutive k-out-of-n:F system which consists of n linearly ordered components and fails if and only if at least k consecutive components fail. This type of systems is potentially useful for modeling transportation and transmission systems. Much of the previous research has concentrated on the optimal design or reliability computation of such systems. There are several papers which study the dynamic reliability properties of consecutive k-out-of-n systems. Boland and Samaniego  obtained some stochastic ordering results on lifetimes of consecutive k-out-of-n systems consisting of independent components. Triantafyllou and Koutras  studied the lifetime distribution of consecutive k-out-of-n:F systems consisting of independent and identical components. A review of recent developments on consecutive k-out-of-n and related systems is presented in Eryilmaz .

In this paper we study the dynamic reliability of consecutive k-within-m-out-of-n:F systems consisting of independent but nonidentical (inid) components. A consecutive k-within-m-out-of-n:F system consists of n linearly ordered components and fails if and only if there are m consecutive components which include among them at least k-failed components (1<kmn). There are numerous applications for such systems in practice, for example, quality control, inspection procedures, radar detection, transportation, and transmission systems (see, e.g., Chang et al. ). A consecutive k-within-m-out-of-n:F system involves consecutive k-out-of-n:F and k-out-of-n:F (a system which fails if and only if at least k components fail) systems for m=k and m=n, respectively. The dynamic reliability properties of consecutive k-within-m-out-of-n:F systems with identical components have been studied in several papers (Papastavridis , Iyer , Eryilmaz et al. , Eryilmaz and Kan , Triantafyllou and Koutras ).

Consecutive k-within-m-out-of-n:F system can be represented as a series system of n-m+1-dependent k-out-of-m:F systems. That is, the lifetime of this system can be expressed asTk,m:n=min(Tk:m[1:m],Tk:m[2:m+1],,Tk:m[n-m+1:n]), where Tk:m[i:i+m-1] shows the lifetime of k-out-of-m:F subsystem of components with the lifetimes Ti,Ti+1,,Ti+m-1,1in-m+1.

The evaluation of the survival function associated with Tk,m:n is of special importance for understanding the dynamic behaviour of the system since the reliability characteristics such as hazard rate and mean residual life function can be obtained from this function. In the present paper, we obtain expressions for the survival functions of consecutive k-within-m-out-of-n:F systems for 2mn when the components are independent but not necessarily identically distributed. In Section 2, a detailed analysis for consecutive 2-within-m-out-of-n:F systems is presented. Section 3 contains results for 2mn.

In the following, we provide the notations that will be used throughout the paper. n is the number of components; Ti is the lifetime of component i;   Xi(t) is the state of component i at time t: Xi(t)=1(0) if Tit(Ti>t);Tk,m:n is the lifetime of consecutive k-within-m-out-of-n:F system; Tk:b-a+1[a:b] is kth smallest among Ta,Ta+1,,Tb; Rk,m:n(t)=P{Tk,m:n>t} is the survival function of consecutive k-within-m-out-of-n:F system; hk,m:n(t) is the hazard rate of consecutive k-within-m-out-of-n:F system.

Throughout the paper the components are assumed to be independent and the survival function associated with the ith component is F¯i(t)=P{Ti>t}=1-Fi(t),  i=1,2,,n.

2. Results for Consecutive 2-within-<inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M100"><mml:mrow><mml:mi>m</mml:mi></mml:mrow></mml:math></inline-formula>-out-of-<inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M101"><mml:mrow><mml:mi>n</mml:mi></mml:mrow></mml:math></inline-formula>:F Systems

If T1,T2,,Tn represent the lifetimes of n components in a coherent system, then the system lifetime can be represented asT=max1jsminiPjTi,where P1,P2,,Ps are the minimal path sets. If T1,T2,,Tn are independent, then the system survival function can be computed from the series survival functions asS(t)=P{T>t}=A{1,2,,s}(-1)|A|+1iPA  F¯i(t), where F¯i(t)=P{Ti>t}, i=1,2,,n, and PA=jAPj.

The hazard rate associated with the subset A of (2.2) ishA(t)=iPAri(t),

where ri(t) is the hazard rate associated with F¯i(t).

Example 2.1.

Let n=4,  m=3, and k=2. Then the path sets of consecutive 2-within-3-out-of-4:F system are {1,2,3,4}, {2,3,4}, {1,3,4}, {1,2,4}, {1,2,3}, and {2,3}. The minimal path sets are P1={2,3}, P2={1,2,4}, and P3={1,3,4}. Therefore T2,3:4=max(min(T2,T3),min(T1,T2,T4),min(T1,T3,T4)), and hence the survival function of consecutive 2-within-3-out-of-4:F system is R2,3:4(t)=F¯2(t)F¯3(t)+F¯1(t)F¯2(t)F¯4(t)+F¯1(t)F¯3(t)F¯4(t)-2F¯1(t)F¯2(t)F¯3(t)F¯4(t) which is a mixture of series survival functions with the weight vector (1,1,1,-2). The hazard rates of each element of (2.5) are h1(t)=r2(t)+r3(t),  h2(t)=r1(t)+r2(t)+r4(t),h3(t)=r1(t)+r3(t)+r4(t),h4(t)=r1(t)+r2(t)+r3(t)+r4(t).

Lemma 2.2.

For 2mn the consecutive 2-within-m-out-of-n:F system has n+(n-m+12)+1 path sets, and these sets are C={1,2,,n},C{i},  i=1,2,,n,C{i,m+i+j},  i=1,2,,n-m,  j=0,1,,n-i-m.

Proof.

For 2mn, the consecutive 2-within-m-out-of-n:F system works if and only if there is no failed component or there is only one failed component or there are at most two failed components separated by at least m-1 working components. Thus the proof is complete.

The following results are direct consequences of Lemma 2.2.

Lemma 2.3.

For 2mn, the consecutive 2-within-m-out-of-n:F system has (n-m+12) minimal path sets with n-2 elements. These minimal path sets are {l1(s),,ln-2(s)}{1,2,,n}{i,m+i+j},i=1,2,,n-m,  j=0,1,,n-i-m,  s=1,  2,,(n-m+12).

Lemma 2.4.

Let T1,T2,,Tn be inid lifetimes of components with Fi(t)=P{Tit},  i=1,2,,n. For 2mn, R2,m:n(t)=j=1nF¯j(t)+i=1nFi(t)  j=1jinF¯j(t)  +i=1n-mj=0n-i-mFi(t)Fm+i+j(t)l=1li,m+i+jnF¯l(t).

Theorem 2.5.

 Let S be a survival function such that S(t)=i=1nωiSi(t), for all t0, where ω1,,ωn are real numbers such that i=1nωi=1. Let hi(t) be the failure rate function corresponding to Si(t),  i=1,,n. If limtinfhi(t)h1(t)>1,limtsuphi(t)h1(t)<, for i=2,3,,n, then limt(h(t)/h1(t))=1, where h(t) is the failure rate function corresponding to S(t).

In the following, one will study the limiting behaviour of the hazard rate of a consecutive 2-within-m-out-of-n:F system.

Theorem 2.6.

Let T1,T2,,Tn be independent and the hazard rate of Ti is ri(t). For 2mn, if limtri(t)=λi and λ1>λ2>>λn, then limth2,m:n(t)=min(λl1(1)++λln-2(1),λl1(2)++λln-2(2),,λl1(s)++λln-2(s)), where s=(n-m+12).

Proof.

From Lemma 2.3, the minimum number of elements in the minimal path sets of consecutive 2-within-m-out-of-n system is n-2 (for 2mn) and the total number of these minimal path sets is (n-m+12). Thus the proof follows from Theorem 2.5 and the conditions of Theorem 2.6.

Example 2.7.

Let n=4,m=3, and k=2. Suppose that limtri(t)=λi,  i=1,2,3,4 and λ1>λ2>λ3>λ4. Then using the hazard rates given in (2.6), we have limtinfh2(t)h1(t)=λ1+λ2+λ4λ2+λ3>1,limtinfh3(t)h1(t)=λ1+λ3+λ4λ2+λ3>1,limtinfh4(t)h1(t)=λ1+λ2+λ3+λ4λ2+λ3>1,limtsuphi(t)h1(t)<, for i=2,3,4. Therefore limth2,3:4(t)=λ2+λ3.

3. General Results

The reliability of consecutive k-within-m-out-of-n:F system is closely related to the discrete scan statistic defined bySn,m(t)=max{j=ii+m-1Xj(t):1in-m+1}.

A consecutive k-within-m-out-of-n:F system survives at time t if and only if less than k components are failed among any consecutive m components. Thus its survival function can be expressed asRk,m:n(t)=P{Tk,m:n>t}=P{Sn,m(t)<k},

or equivalently,Rk,m:n(t)=P{Tk:m[1:m]>t,Tk:m[2:m+1]>t,,Tk:m[n-m+1:n]>t},

for t0 and 1kmn.

The proof of the following result is easy and hence is omitted.

Lemma 3.1.

For k=1 and b-a0, P{Tk:b-a+1[a:b]>t}=i=abF¯i(t), for k>1 and b-a=k-1, P{Tk:b-a+1[a:b]>t}=1-i=abFi(t), and for k>1 and b-ak, P{Tk:b-a+1[a:b]>t}=P{Tk-1:b-a[a:b-1]>t}Fb(t)+P{Tk:b-a[a:b-1]>t}F¯b(t).

Theorem 3.2.

For 2mn, Rk,m:n(t)=s=0  min(n-m,  k-1)P{Tk-s:2m-n[n-m+1:m]>t}[Rs+1,  n-m:2(n-m)*(t)-Rs,n-m:2(n-m)*(t)], where Rs,n-m:2(n-m)*(t) is the reliability of consecutive s-within-(n-m)-out-of-2(n-m):F system with components 1,,n-m,  m+1,,n.

Proof.

By the definition of Sn,m(t), P{Sn,m(t)<k}=P{j=1mXj(t)<k,  j=2m+1Xj(t)<k,,  j=n-m+1nXj(t)<k}.

For 2mn, P{Sn,m(t)<k}=x1,,xn-m,  xm+1,,xn{0,1}P{i=n-m+1mXi(t)<m*,X1(t)=x1,,Xn-m(t)=xn-m,Xm+1(t)=xm+1,,Xn(t)=xni=n-m+1mXi(t)<m*}, where m*=min(k-x1--xn-m,k-x2--xn-m-xm+1,,k-xm+1--xn)=k-max(x1++xn-m,x2++xn-m+xm+1,,xm+1++xn).If S2(n-m),n-m*(t) denotes the scan statistic based on X1(t),,Xn-m(t),Xm+1(t),,Xn(t), then P{Sn,m(t)<k}=s=0min(n-m,k-1)P{i=n-m+1mXi(t)<k-s,S2(n-m),n-m*(t)=s}. Thus the proof is completed by the independence of i=n-m+1nXi(t)   and S2(n-m),n-m*(t) and P{i=n-m+1mXi(t)<k-s  }=P{Tk-s:2m-n[n-m+1:m]>t},P{S2(n-m),n-m*(t)=s}=Rs+1,n-m:2(n-m)*(t)-Rs,n-m:2(n-m)*(t).

Theorem 2.6 can be extended to any consecutive k-within-m-out-of-n:F system in the following way.

Theorem 3.3.

Let T1,T2,,Tn be independent and the hazard rate of Ti is ri(t). For 1<kmn, if limtri(t)=λi and λ1>λ2>>λn, then limthk,m:n(t)=min(λl1(1)++λln-z(n,m,k)(1),λl1(2)++λln-z(n,m,k)(2),,λl1(s)++λln-z(n,m,k)(s)), where s is the number of minimal path sets with n-z(n,m,k) elements and z(n,m,k) is the maximum number of failed components such that the system can still work.

The number z(n,m,k) has been derived in Eryilmaz and Kan  asz(n,m,k)={n-[nm](m-k+1)if  n-m[nm]<k,(k-1)(1+[nm])if  n-m[nm]k.

Example 3.4.

Let n=7,m=3, and k=2. Then z(n,m,k)=3 and there is only one minimal path set with n-z(n,m,k)=7-3=4 elements, that is, s=1 and the corresponding minimal path set is {2,3,5,6}. Thus under the conditions of Theorem 3.3, we have limth2,3:7(t)=λ2+λ3+λ5+λ6.

Acknowledgment

The author would like to express gratitude to the referee for a thorough review and valuable comments that led to some improvements in this article.

NavarroJ.Tail hazard rate ordering properties of order statistics and coherent systemsNaval Research Logistics200754882082810.1002/nav.202512363679ZBL1136.62066ZhaoP.LiX.BalakrishnanN.Conditional ordering of k-out-of-n systems with independent but nonidentical componentsJournal of Applied Probability20084541113112510.1239/jap/1231340237248416510.1239/jap/1231340237KocharS.XuM.On residual lifetimes of k-out-of-n systems with nonidentical componentsProbability in the Engineering and Informational Sciences201024110912710.1017/S0269964809990167257584510.1017/S0269964809990167NavarroJ.jorgenav@um.esSamaniegoF. J.fjsamaniego@ucdavis.eduBalakrishnanN.bala@mcmaster.caSignature-based representations for the reliability of systems with heterogeneous componentsJournal of Applied Probability201148385686710.1239/jap/1316796920BolandP. J.SamaniegoF. J.Stochastic ordering results for consecutive k-out-of-n: F systemsIEEE Transactions on Reliability200453710TriantafyllouI. S.KoutrasM. V.On the signature of coherent systems and applicationsProbability in the Engineering and Informational Sciences2008221193510.1017/S02699648080000282374491ZBL1137.90460EryilmazS.serkan.eryilmaz@ieu.edu.trReview of recent advances in reliability of consecutive k-out-of-n and related systemsProceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability2010224322523710.1243/1748006XJRR332ChangG. J.CuiL.HwangF. K.Reliabilities of Consecutive-k Systems20004Dodrecht, The NetherlandsKluwer Academicx+2081813954ZBL1202.37119PapastavridisS. G.A Weibull limit for the reliability of a consecutive k-within-m-out-of-n systemAdvances in Applied Probability198820369069210.2307/142704595551410.2307/1427045IyerDistribution of the lifetime of consecutive k-within-m-out-of-n: F systemsIEEE Transactions on Reliability199241344845010.1109/24.159818EryilmazS.KanC.AkıcıF.Consecutive k-within-m-out-of-n: F system with exchangeable componentsNaval Research Logistics200956650351010.1002/nav.203542555134EryilmazS.KanC.Dynamic reliability evaluation of consecutive-k-within-m-out-of-n systemCommunications in Statistics. Simulation and Computation2011401708310.1080/03610918.2010.5303662783262TriantafyllouI. S.itrantal@unipi.grKoutrasM. V.mkoutras@unipi.grSignature and IFR preservation of 2-within-consecutive k-out-of-n: F SystemsIEEE Transactions on Reliability201160131532210.1109/TR.2011.2105000