Reliability analysis of k-out-of-n systems with partially repairable multi-state components

In some environments the components might not fail fully, but can lead to degradation and the efficiency of the system may decreases. However, the degraded components can be restored back through a proper repair mechanism. In this paper, we present a model to perform reliability analysis of k-out-of-n systems assuming that components are subjected to three states such as good, degraded, and catastrophic failure. We also present expressions for reliability and mean time to failure (MTTF) of k-out-of-n systems. Simple reliability and MTTF expressions for the triple-modular redundant (TMR) system, and numerical examples are also presented in this study.     

Stochastic ordering results for consecutive k-out-of-n:F systems

A linear (circular) consecutive k-out-of-n:F system is a system of n linearly (circularly) ordered components which fails if and only if at least k consecutive components fail. We use recursive relationships on the reliability of such systems with independent identically distributed components to show that for any fixed k, the lifetime of a (linear or circular) consecutive k-out-of-n:F system is stochastically decreasing in n. This result also holds for linear systems when the components are independent and not necessarily identically distributed, but not in general for circular systems.     

Performance evaluation of generalized multi-state k-out-of-n systems

The generalized multi-state k-out-of-n:G system model defined by Huang provides more flexibilities for modeling of multi-state systems. However, the performance evaluation algorithm they proposed for such systems is not efficient, and it is applicable only when the k/sub i/ values follow a monotonic pattern. In this paper, we defined the concept of generalized multi-state k-out-of-n:F systems. There is an equivalent generalized multi-state k-out-of-n:G system with respect to each generalized multi-state k-out-of-n:F system, and vice versa. The form of minimal cut vector for generalized multi-state k-out-of-n:F systems is presented. An efficient recursive algorithm based on minimal cut vectors is developed to evaluate the state distributions of a generalized multi-state k-out-of-n:F system. Thus, a generalized multi-state k-out-of-n:G system can first be transformed to the equivalent generalized multi-state k-out-of-n:F system, and then be evaluated using the proposed recursive algorithm. Numerical examples are given to illustrate the effectiveness and efficiencies of the proposed recursive algorithms.     

A unified way of comparing the reliability of coherent systems

Consider a coherent system S hat has n nodes and a structure function /spl phi/. The state of S is determined by the "states of the components allocated at the n nodes" and /spl phi/. If the reliabilities of these it components are expressed by an n-dimensional vector p, then the reliability of S is a function of p. Using the concepts of node-criticality introduced by Boland et al. (1989), the main theorem in this paper proposes a unified approach by which the reliabilities of S corresponding to 2 different values of p can be compared. The conditions in the main theorem are both necessary and sufficient for k-out-of-n systems. Application of this theorem to various situations yields a unified approach for obtaining previous results in the literature. Also, the application of this theorem immediately extends the results established for k-out-of-n systems to coherent systems.     

Reliability Bounds for Multi-State $k$-out-of- $n$ Systems

Algorithms have been available for exact performance evaluation of multi-state k-out-of-n systems. However, especially for complex systems with a large number of components, and a large number of possible states, obtaining "reliability bounds" would be an interesting, significant issue. Reliability bounds will give us a range of the system reliability in a much shorter computation time, which allow us to make decisions more efficiently. The systems under consideration are multi-state k-out-of-n systems with i.i.d. components. We will focus on the probability of the system in states below a certain state d, denoted by Q_sd. Based on the recursive algorithm proposed by Zuo & Tian [14] for performance evaluation of multi-state k-out-of-n systems with i.i.d. components, a reliability bounding approach is developed in this paper. The upper, and lower bounds of Q_sd are calculated by reducing the length of the k vector when using the recursive algorithm. Using the bounding approach, we can obtain a good estimate of the exact Q_sd value while significantly reducing the computation time. This approach is attractive, especially to complex systems with a large number of components, and a large number of possible states. A numerical example is used to illustrate the significance of the proposed bounding approach.     

Generalized multi-state k-out-of-n:G systems

In a binary k-out-of-n:G system, k is the minimum number of components that must work for the system to work. Let 1 represent the working state and 0 the failure state, k then indicates the minimum number of components that must be in state 1 for the system to be in state 1. This paper defines the multi-state k-out-of-n:G system: each component and the system can be in 1 of M+1 possible states: 0, 1, ..., M. In Case I, the system is in state ⩾j iff at least k_j components are in state ⩾j. The value of k_j I 1 can be different for different required minimum system-state level j. Examples illustrate applications of this definition. Algorithms for reliability evaluation of such systems are presented     

Fast optimal diagnosis procedures for k-out-of-n:G systems

A k-out-of-n:G system consists of a set of components, where each component is either faulty or fault-free. The system is working if at least k components are fault-free. The problem of finding an optimal diagnosis procedure for a given k-out-of-n:G system has been considered in several research fields including medical diagnosis, redundant-system testing, and searching data-files. A polynomial-time algorithm for this problem was presented first by Salloum, and later by Salloum and Breuer, and independently by Ben-Dov. This paper implements the Salloum-Breuer-Ben-Dov algorithm, leading to an optimal diagnosis procedure that can determine the state of any given system in O(n·log(n)) time complexity and O(n) space complexity. The efficiency is achieved by using a generalized radix sorting procedure that uses a heap data structure. For some k-out-of-n:G systems, including those with equal testing costs for all components, the components along the leftmost and rightmost paths in the optimal diagnostic tree uniquely determine the other components in the tree. This property is used to devise a faster optimal diagnosis procedure than the one for the general k-out-of-n:G system. With regard to complexity, these procedures are the best solutions for the problem under consideration. This conjecture is supported by the fact that all these procedures require a sorting operation which has O(n·log(n)) as a lower bound on its time complexity     

Two formulas for computing the reliability of incompletek-out-of-n:G systems

Reliability computation of highly redundant systems most commonly uses approximate methods. Except for k-out-of-n:G systems or consecutive k-out-of-n:G systems, exact reliability formulas offering a broader range of applicability are rare. This paper gives two new formulas for this purpose: the first handles k-out-of-n:G systems of which some paths are not present; the second allows for the reliability calculation of a coherent binary system in general. Both formulas express system reliability in terms of the reliabilities of k-out-of-n:G systems. In practice, these new formulas cope with highly redundant systems with certain similarities to k-out-of-n:G systems. For example, a reliability of the control-rod system of a nuclear reactor is computed. Although the paper is directed to system reliability, the results can be used for computing the failure probability of a system which in practical applications is sometimes more convenient. In which case, the formulas are to be changed such that a system is given by its minimal cut-sets instead of minimal path-sets, and p should be a component unreliability instead of its reliability. The first proof of formula uses domination theory and, in thus contributes to the state of the art in this field     

Minimal-cost system reliability with discrete-choice sets for components

We focus on systems whose components come from discrete choice sets. In a choice set, the alternatives have increasing cost with increasing reliability. The objective is to ensure minimal cost for achieving a specified reliability for the systems under consideration. Earlier work restricted itself to series-parallel/parallel-series (S/P) systems and provided formulations and algorithms. However, these are not amenable for dealing with more general systems. In this paper, we develop alternative formulations and algorithms based on a dynamic programming approach, and these are generalized for S/P-reducible systems. The algorithms we obtain are pseudo-polynomial and possess fully polynomial approximation schemes. Moreover, the formulations & algorithms are amenable for further generalizations to k-out-of-n : G and k-out-of-n : G-reducible systems, though we cannot claim pseudo-polynomiality in these cases. The results of this paper are useful for developing reliable systems at minimum cost. As such, the formulation & algorithms are of vital interest for systems & reliability professionals & researchers.     

Lifetime of Combined $k$-out-of-$n$ , and Consecutive $k_{c}$ -out-of-$n$ Systems

A combined k-out-of-n:F(G) & consecutive k_c -out-of-n :F(G) system fails (functions) iff at least k components fail (function), or at least fcc consecutive components fail (function). Explicit formulas are given for the lifetime distribution of these combined systems whenever the lifetimes of components are exchangeable, and have an absolutely continuous joint distribution. The lifetime distributions of the aforementioned systems are represented as a linear combination of distributions of order statistics by using the concept of Samaniego's signature. Formulas for the mean lifetimes are given. Some numerical results are also presented.     

A unified algorithm of reliability estimation of k-out-of-n systems implied by the structure function

A new algebraic form of the structure function of a system will be proposed and its significant properties will be proved. The usefulness of these results in construction of algorithms of reliability estimation will be presented.The general approach to the desig of the algorithms of reliability estimation for both k-out-of-n and consecutive k-out-of-n systems will be presented. The method of the estimation of the lower and/or upper bound of system failure rate will be also discussed.The appropriate program in PASCAL will be given.     

Modules in Coherent Multistate Systems

Modules in s-coherent multistate systems are presented as an extension of the binary concept of Birnbaum and Esary. A consequence of this extension is that any subset of the system components can be considered a module. Thus a measure of desirability or usefulness is important. One such measure is suggested along with modular decompositions. General definitions of k-out-of-n: G systems and dual systems are given. Several theorems relating these to modules are presented.     

Reliability Analysis on the δ-Shock Model of Complex Systems

We investigate the delta-shock model of complex systems consisting of n i.i.d. components. We first obtain a general lifetime distribution for the delta-shock model of a general complex system by reducing the system to a linear combination of parallel systems. We then consider coherent system structures including series, parallel, and k-out-of-n, then derive some useful results including reliability bounds, bounds on the mean lifetime, limiting distributions, and Laplace-Stieltes transforms     

Component redundancy vs system redundancy in the hazard rateordering

Design engineers are well aware of the stochastic result which says that (under the appropriate assumptions) redundancy at the component level is superior to redundancy at the system level. Given the importance of the hazard rate in reliability and life testing, we investigate to what extent this principle holds for the stronger stochastic ordering, viz, hazard rate ordering. Surprisingly, this does not hold for even series systems if the spares do not match the original components in distribution. It is true for series systems however for matching spares, and we conjecture that this is the case in general for k-out-of-n:G systems. We also investigate this principle for cold-standby redundancy (as opposed to active or parallel redundancy)     

Reliability Analysis of the k-out-of-n:F System

A class of repairable systems known as k-out-of-n:F systems, 1 ? k ? n, consists of n units in parallel redundancy which are serviced by a single repairman; system failure occurs when k units are simultaneously inoperable for the first time. In this paper, assuming constant failure rates and general repair distributions, reliability characteristics of the k-out-of-n:F system are treated using two different methods. In Part I, a conditional transform approach is applied to the 2-out-of-n:F system. Transforms of distributions are obtained for T (the time to system failure), the time spent on repairs during (0, T) and the free time of the repairman during (0, T). In Part II, the supplementary variable technique is used to investigate time to failure characteristics of the k-out-of-n:F system for k = 2 and k = 3. A model of an airport limousine service illustrates the use of the results.     

Reliability optimization of series-parallel systems using a genetic algorithm

A problem-specific genetic algorithm (GA) is developed and demonstrated to analyze series-parallel systems and to determine the optimal design configuration when there are multiple component choices available for each of several k-out-of-n:G subsystems. The problem is to select components and redundancy-levels to optimize some objective function, given system-level constraints on reliability, cost, and/or weight. Previous formulations of the problem have implicit restrictions concerning the type of redundancy allowed, the number of available component choices, and whether mixing of components is allowed. GA is a robust evolutionary optimization search technique with very few restrictions concerning the type or size of the design problem. The solution approach was to solve the dual of a nonlinear optimization problem by using a dynamic penalty function. GA performs very well on two types of problems: (1) redundancy allocation originally proposed by Fyffe, Hines, Lee, and (2) randomly generated problem with more complex k-out-of-n:G configurations.     

一类多状态连续n中取k(G)系统的可靠性计算

为了计算多状态连续厅中取后（G）系统的可靠性,引入4个定理,将满足引理的多状态系统转换为二元状态系统。分别推导了多状态线形连续k／n（G）系统和环形连续k／n（G）系统的可靠性计算公式。证明了固定k值增加一个新部件,若部件可靠性独立同分布,线形和环形系统可靠性均增加;若部件可靠性独立但不同分布,环形系统存在一个极值,新增加部件可靠性大于这个极值时得到的新系统可靠性增加,反之系统可靠性下降。     

Optimal design of k-out-of-n:G subsystems subjected to imperfect fault-coverage

Systems subjected to imperfect fault-coverage may fail even prior to the exhaustion of spares due to uncovered component failures. This paper presents optimal cost-effective design policies for k-out-of-n:G subsystems subjected to imperfect fault-coverage. It is assumed that there exists a k-out-of-n:G subsystem in a nonseries-parallel system and, except for this subsystem, the redundancy configurations of all other subsystems are fixed. This paper also presents optimal design polices which maximize overall system reliability. As a special case, results are presented for k-out-of-n:G systems subjected to imperfect fault-coverage. Examples then demonstrate how to apply the main results of this paper to find the optimal configurations of all subsystems simultaneously. In this paper, we show that the optimal n which maximizes system reliability is always less than or equal to the n which maximizes the reliability of the subsystem itself. Similarly, if the failure cost is the same, then the optimal n which minimizes the average system cost is always less than or equal to the n which minimizes the average cost of the subsystem. It is also shown that if the subsystem being analyzed is in series with the rest of the system, then the optimal n which maximizes subsystem reliability can also maximize the system reliability. The computational procedure of the proposed algorithms is illustrated through the examples.     

An explicit closed-form formula for profit-maximizing k-out-of-n systems subject to two kinds of failures

This paper derives and analyzes an explicit closed-form formula for the optimal k in k-out-of-n systems consisting of i.i.d. components. The system can be in one of two possible modes with a pre-specified probability. The components are subject to failure in each of the two modes. The costs of the two kinds of system failures are generally not identical. Since the formula is explicit, it permits a calculation of the optimal k directly in terms of the parameters of the system. In addition, it yields many results concerning both the bounds of the optimal k and the effects of a change in parameters on the optimal k and on the optimized value of the system's expected profit.     

Effects of Weibull hazard rate on common cause failure analysis of reliability networks

This paper presents formulae for system mean life, variance of time to failure, hazard rate and reliability of parallel, k-out-of-n, parallel-series and bridge networks with common cause failures. The components in every configuration are assumed to be identical and characterized by a Weibull time to failure density function. The graphical plots of the system reliability and mean life gain are shown.