An algorithm for mean residual life computation of (n − k + 1)-out-of-n systems: An application of exponentiated Weibull distribution

In this paper, we establish an algorithm for the computation of the mean residual life of a (n − k + 1)-out-of-n system in the case of independent but not necessarily identically distributed lifetimes of the components. An application for the exponentiated Weibull distribution is given to study the effect of various parameters on the mean residual life of the system. Also the relationship between the mean residual life for the system and that of its components is investigated.     

Reliability and covariance estimation of weighted k-out-of-n multi-state systems

In the literature of reliability engineering, reliability of the weighted k-out-of-n system can be calculated using component reliability based on the structure function. The calculation usually assumes that the true component reliability is completely known. However, this is not the case in practical applications. Instead, component reliability has to be estimated using empirical sample data. Uncertainty arises during this estimation process and propagates to the system level. This paper studies the propagation mechanism of estimation uncertainty through the universal generating function method. Equations of the complete solution including the unbiased system reliability estimator and the corresponding unbiased covariance estimator are derived. This is a unified approach. It can be applied to weighted k-out-of-n systems with multi-state components, to weighted k-out-of-n systems with binary components, and to simple series and parallel systems. It may also serve as building blocks to derive estimators of system reliability and uncertainty measures for more complicated systems.     

Reliability evaluation of multi-state consecutive k-out-of-r-from-n: G system

This paper proposes a model that generalizes the linear consecutive k-out-of-r-from-n: G system to multi-state case. In this model the system consists of n linearly ordered multi-state components. Both the system and its components can have different states: from complete failure up to perfect functioning. The system is in state j or above if and only if at least k_j components out of r consecutive are in state j or above. An algorithm is provided for evaluating reliability of a special case of multi-state consecutive k-out-of-r-from-n: G system. The algorithm is based on the application of the total probability theorem and on the application of a special case taken from the [Jinsheng Huang, Ming J. Zuo, Member IEEE and Yanhong Wu, Generalized multi-state k-out-of-n: G system, IEEE Trans. Reliab. 49(1) (2000) 105–111.]. Also numerical results of the formerly published test examples and new examples are given.     

The influence of delivery times on repairable k-out-of-N systems with spares

The k-out-of-N structure is a popular type of redundancy in fault-tolerant systems with wide applications in computer and communication systems, and power transmission and distribution systems, among others, during the past several decades. In this paper, our interest is in such a reliability system with identical, repairable components having exponential life times, in which at least k out of N components are needed for the system to perform its functions. There is a single repairman who attends to failed components on a first-come-first-served basis. The repair times are assumed to be of phase type. The system has K spares which can be tapped to extend the lifetime of the system using a probabilistic rule. We assume that the delivery time of a spare is exponentially distributed and there could be multiple requests for spares at any given time. Our main goal is to study the influence of delivery times on the performance measures of the k-out-of-N reliability system. To that end, the system is analyzed using a finite quasi-birth-and-death process and some interesting results are obtained.     

Algorithm for a general discrete k-out-of-n: G system subject to several types of failure with an indefinite number of repairpersons

A discrete k-out-of-n: G system with multi-state components is modelled by means of block-structured Markov chains. An indefinite number of repairpersons are assumed and PH distributions for the lifetime of the units and for the repair time are considered. The units can undergo two types of failures, repairable or non-repairable. The repairability of the failure can depend on the time elapsed up to failure. The system is modelled and the stationary distribution is built by using matrix analytic methods. Several performance measures of interest, such as the conditional probability of failure for the units and for the system, are built into the transient and stationary regimes. Rewards are included in the model. All results are shown in a matrix algorithmic form and are implemented computationally with Matlab. A numerical example of an optimization problem shows the versatility of the model.     

Reliability of a consecutive (r, s)-out-of-(m, n):F lattice system with conditions on the number of failed components in the system

A consecutive(r, s)-out-of-(m, n):F lattice system which is defined as a two-dimensional version of a consecutive k-out-of-n:F system is used as a reliability evaluation model for a sensor system, an X-ray diagnostic system, a pattern search system, etc. This system consists of m × n components arranged like an (m, n) matrix and fails iff the system has an (r, s) submatrix that contains all failed components. In this paper we deal a combined model of a k-out-of-mn:F and a consecutive (r, s)-out-of-(m, n):F lattice system. Namely, the system has one more condition of system down, that is the total number of failed components, in addition to that of a consecutive (r, s)-out-of-(m, n):F lattice system. We present a method to obtain reliability of the system. The proposed method obtains the reliability by using a combinatorial equation that does not depend on the system size. Some numerical examples are presented to show the relationship between component reliability and system reliability.     

Reliability analysis for the consecutive-k-out-of-n: F system with repairmen taking multiple vacations

Commonly studied models of the consecutive-k-out-of-n: F repairable systems in the existing literatures were considering the systems which had one repairman without vacation or infinite repairmen without vacations. In addition to those models, multiple repairmen without vacations are studied occasionally. However, technical personnel are very short in some fields. Some failed components cannot be repaired in time. This paper deals with the phenomenon of waiting for repair by supposing R repairmen with multiple vacations in the system. Using the pairs (i, |j|), the factor that the R repairmen taking multiple vacations was embedded into the classical C(k, n: F) system. Reliability indexes are presented. Finally, the Runge–Kutta method was used to a special case, and the experimental results demonstrate the necessity and validity of the new model.     

Bounds for increasing multi-state consecutive k-out-of-r-from-n: F system with equal components probabilities

The consecutive k-out-of-r-from-n: F system was generalized to multi-state case. This system consists of n linearly ordered components which are at state below j if and only if at least k_j components out of any r consecutive are in state below j. In this paper we suggest bounds of increasing multi-state consecutive-k-out-of-r-from-n: F system (k₁ ? k₂ ? ? ? k_M) by applying second order Boole–Bonferroni bounds and applying Hunter–Worsley upper bound. Also numerical results are given. The programs in V.B.6 of the algorithms are available upon request from the authors.     

On the mean residual life of a k-out-of-n:G system with a single cold standby component

The concept of mean residual life is one of the most important characteristics that has been widely used in dynamic reliability analysis. It is a useful tool for investigating ageing properties of technical systems. In this paper, we define and study three different mean residual life functions for k-out-of-n:G system with a single cold standby component. In particular, we obtain explicit expressions for the corresponding functions using distributions of order statistics. We also provide some stochastic ordering results associated with the lifetime of a system. We illustrate the results for various lifetime distributions.     

Active redundancy allocation for a k-out-of-n:F system of dependent components

We characterize active redundancy through compensator transform and use the reverse rule of order 2 (RR₂) property between compensator processes to investigate the problem of where to allocate a spare in a k-out-of-n:F system of dependent components through active redundancy.     

Reliability analysis of a k-out-of-n:G repairable system with single vacation

This paper analyzes a k-out-of-n:G   repairable system with one repairman who takes a single vacation, the duration of which follows a general distribution. The working time of each component is an exponentially distributed random variable and the repair time of each failed component is governed by an arbitrary distribution. Moreover, we assume that every component is “as good as new” after being repaired. Under these assumptions, several important reliability measures such as the availability, the rate of occurrence of failures, and the mean time to first failure of the system are derived by employing the supplementary variable technique and the Laplace transform. Meanwhile, their recursive expressions are obtained. Furthermore, through numerical examples, we study the influence of various parameters on the system reliability measures. Finally, the Monte Carlo simulation and two special cases of the system which are (n-1)$(n-1)$-out-of-n:G repairable system and 1-out-of-n:G repairable system are presented to illustrate the correctness of the analytical results.     

Recursive algorithm for the reliability of a connected-(1, 2)-or-(2, 1)-out-of-(m, n):F lattice system

The connected-(1, 2)-or-(2, 1)-out-of-(m, n):F lattice system is included by the connected-X-out-of-(m, n):F lattice system defined by Boehme et al. [Boehme, T.K., Kossow, A., Preuss, W., 1992. A generalization of consecutive-k-out-of-n:F system. IEEE Transactions on Reliability 41, 451–457]. This system fails if and only if at least one subset of connected failed components occurs which includes at least a (1, 2)-matrix (that is, a row and two columns) or a (2, 1)-matrix(that is, two rows and a column) of failed components. This system is applied to two-dimensional network problems with adjacent constraints, and various systems, for example, a supervision system, etc.     

Order restricted inference for sequential k-out-of-n systems

Sequential order statistics have been introduced to model sequential k-out-of-n systems which, as an extension of k-out-of-n systems, allow the failure of some components of the system to influence the remaining ones. Based on an independent sample of vectors of sequential order statistics, the maximum likelihood estimators of the model parameters of a sequential k-out-of-n system are derived under order restrictions. Special attention is paid to the simultaneous maximum likelihood estimation of the model parameters and the distribution parameters for a flexible location-scale family. Furthermore, order restricted hypothesis tests are considered for making the decision whether the usual k-out-of-n model or the general sequential k-out-of-n model is appropriate for a given data.     

Fast formula of a reliability ofm-consecutive-k-out-of-n:F system with cyclek

Anm-consecutive-k-out-of-n:F system is a system ofn linearly arranged components which fails if and only if at leastm non-overlapping sequences ofk components fail, when there arek distinct components with failure probabilitiesq _i fori=1,...,k and where the failure probability of thej-th component (j=rk+i (1 ≤i ≤k) isq _j =q _i , we call this system by anm-consecutive-k-out-of-n:F system with cycle (or period)k. In this paper we give a formula of the failure probability ofm-consecutive-k-out-of-n:F system with cyclek via the failure probability of consecutive-k-out-of-n:F system.     

Nonparametric inference for sequential <Emphasis Type="Italic">k</Emphasis>-out-of-<Emphasis Type="Italic">n</Emphasis> systems

The k-out-of-n model is commonly used in reliability theory. In this model the failure of any component of the system does not influence the components still at work. Sequential k-out-of-n systems have been introduced as an extension of k-out-of-n systems where the failure of some component of the system may influence the remaining ones. We consider nonparametric estimation of the cumulative hazard function, the reliability function and the quantile function of sequential k-out-of-n systems. Furthermore, nonparametric hypothesis testing for sequential k-out-of-n-systems is examined. We make use of counting processes to show strong consistency and weak convergence of the estimators and to derive the asymptotic distribution of the test statistics.     

On reliability analysis of consecutive k-out-of-n systems with arbitrarily dependent components

In this paper, we consider the linear and circular consecutive k-out-of-n systems consisting of arbitrarily dependent components. Under the condition that at least n?r+1 components (r ≤ n) of the system are working at time t, we study the reliability properties of the residual lifetime of such systems. Also, we present some stochastic ordering properties of residual lifetime of consecutive k-out-of-n systems. In the following, we investigate the inactivity time of the component with lifetime T_r:n at the system level for the consecutive k-out-of-n systems under the condition that the system is not working at time t > 0, and obtain some stochastic properties of this conditional random variable.     

A characterization of maximal non-k-factor-critical graphs

A graph G of order p is k-factor-critical,where p and k are positive integers with the same parity, if the deletion of any set of k vertices results in a graph with a perfect matching. G is called maximal non-k-factor-critical if G is not k-factor-critical but G+e is k-factor-critical for every missing edge e∉E(G). A connected graph G with a perfect matching on 2n vertices is k-extendable, for 1?k?n-1, if for every matching M of size k in G there is a perfect matching in G containing all edges of M. G is called maximal non-k-extendable if G is not k-extendable but G+e is k-extendable for every missing edge e∉E(G) . A connected bipartite graph G with a bipartitioning set (X,Y) such that |X|=|Y|=n is maximal non-k-extendable bipartite if G is not k-extendable but G+xy is k-extendable for any edge xy∉E(G) with x∈X and y∈Y. A complete characterization of maximal non-k-factor-critical graphs, maximal non-k-extendable graphs and maximal non-k-extendable bipartite graphs is given.     

Consecutive k-out-of-n systems with maintenance

A consective k-out-of-n system consists of n linearly or cycliccally ordered components such that the system fails if and only if at least k consecutive components fail. In this paper we consider a maintained system where each component is repaired independently of the others according to an exponential distribution. Assuming general lifetime distributions for system's components we prove a limit theorem for the time to first failure of both linear and circular systems.     

On extremal k-outconnected graphs

Let G be a minimally k-connected graph with n nodes and m edges. Mader proved that if n?3k-2 then m?k(n-k), and for n?3k-1 an equality is possible if, and only if, G is the complete bipartite graph K_k,n-k. Cai proved that if n?3k-2 then m?⌊(n+k)²/8⌋, and listed the cases when this bound is tight.In this paper we prove a more general theorem, which implies similar results for minimally k-outconnected graphs; a graph is called k-outconnected from r if it contains k internally disjoint paths from r to every other node.     

Graph powers and k-ordered Hamiltonicity

It is known that if G is a connected simple graph, then G³ is Hamiltonian (in fact, Hamilton-connected). A simple graph is k-ordered Hamiltonian if for any sequence v₁, v₂,…,v_k of k vertices there is a Hamiltonian cycle containing these vertices in the given order. In this paper, we prove that if k?4, then G^⌊3k/2⌋-2 is k-ordered Hamiltonian for every connected graph G on at least k vertices. By considering the case of the path graph P_n, we show that this result is sharp. We also give a lower bound on the power of the cycle C_n that guarantees k-ordered Hamiltonicity.