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.     

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.     

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.     

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 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.     

Optimal replacement and allocation of multi‐state elements in k‐within‐m‐from‐r/n sliding window systems

This paper proposes a new model that generalizes the linear sliding window system to the case of multiple failures. The considered k ‐within‐ m ‐from‐ r / n sliding window system consists of n linearly ordered multi‐state elements and fails if at least k groups out of m consecutive groups of r consecutive multi‐state elements have cumulative performance lower than the demand W . A reliability evaluation algorithm is suggested for the proposed system. In order to increase the system availability, maintenance actions can be performed, and the elements can be optimally allocated. A joint element allocation and maintenance optimization model is formulated with the objective of minimizing the total maintenance cost subjected to the pre‐specified system availability requirement. Basic procedures of genetic algorithms are adapted to solve the optimization problem. Numerical experiments are presented to illustrate the applications. Copyright © 2015 John Wiley & Sons, Ltd.     

Examples of proper k-ball contractive retractions in F-normed spaces

Assume X is an infinite dimensional F-normed space and let r be a positive number such that the closed ball Br(X) of radius r is properly contained in X. The main aim of this paper is to give examples of regular F-normed ideal spaces in which there is a 1-ball or a (1+ε)-ball contractive retraction of Br(X) onto its boundary with positive lower Hausdorff measure of noncompactness. The examples are based on the abstract results of the paper, obtained under suitable hypotheses on X.     

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.     

Wandering r-tuples for unitary systems

The properties of the set Wr(U) of all complete wandering r-tuples for a system U of unitary operators acting on a Hilbert space are investigated by parameterizing Wr(U) in terms of a fixed wandering r-tuple Ψ and the set of all unitary operators which locally commute with U at Ψ. The special case of greatest interest is the system 〈D,T〉 of dilation (by 2) and translation (by 1) unitary operators acting on L²(R), for which the complete wandering r-tuples are precisely the orthogonal multiwavelets with multiplicity r. We also give some examples for its application.     

Reliability evaluation of multi-state systems under cost consideration

A more practical and desirable performance index of multi-state systems is the two-terminal reliability for level (d, c) (2TR_d,c), defined as the probability that d units of flow can be transmitted from the source node to the sink node with the total cost less than or equal to c. In this article, a simple algorithm is developed to calculate 2TR_d,c in terms of (d, c)-MPs. Two major advantages of the proposed algorithm include: (1) as of now, it is the only algorithm that searches for (d, c)-MPs without requiring all minimal paths (MPs) and the procedure of transforming feasible solutions; (2) it is more practical and efficient in solving (d, c)-MP problem in contrast to the best-known method. An example is provided to illustrate the generation of (d, c)-MPs by using the presented algorithm, and 2TR_d,c is thus evaluated. Furthermore, the computational experiments are conducted to verify the performance of the presented algorithm.     

Algorithmic analysis of the Geo/Geo/c retrial queue

In this paper, we consider a discrete-time queue of Geo/Geo/c type with geometric repeated attempts. It is known that its continuous counterpart, namely the M/M/c queue with exponential retrials, is analytically intractable due to the spatial heterogeneity of the underlying Markov chain, caused from the retrial feature. In discrete-time, the occurrence of multiple events at each slot increases the complexity of the model and raises further computational difficulties. We propose several algorithmic procedures for the efficient computation of the main performance measures of this system. More specifically, we investigate the stationary distribution of the system state, the busy period and the waiting time. Several numerical examples illustrate the analysis.     

Existence of proper semihypergroups of type U on the right

We generalize the classical definition of hypergroups of type U on the right to semihypergroups, and we prove some properties of their subsemihypergroups and subhypergroups. In particular, we obtain that a finite proper semihypergroup of type U on the right can exist only if its order is at least 6. We prove that one such semihypergroup of order 6 actually exists. Moreover, we show that there exists a hypergroup of type U on the right of cardinality 9 containing a proper non-trivial subsemihypergroup. In this way, we solve a problem left open in [D. Freni, Sur les hypergroupes de type U et sous-hypergroupes engendrés par un sous-ensemble, Riv. Mat. Univ. Parma 13 (1987) 29-41].     

Extremal k-edge-hamiltonian hypergraphs

An r-uniform hypergraph is k-edge-hamiltonian iff it still contains a hamiltonian-chain after deleting any k edges of the hypergraph. What is the minimum number of edges in such a hypergraph? We give lower and upper bounds for this question for several values of r and k.     

On the GI/M/1/N queue with multiple working vacations—analytic analysis and computation

We consider finite buffer single server GI/M/1 queue with exhaustive service discipline and multiple working vacations. Service times during a service period, service times during a vacation period and vacation times are exponentially distributed random variables. System size distributions at pre-arrival and arbitrary epoch with some important performance measures such as, probability of blocking, mean waiting time in the system etc. have been obtained. The model has potential application in the area of communication network, computer systems etc. where a single channel is allotted for more than one source.     

A class of B-(p,r)-invex functions and mathematical programming

Invexity of a function is generalized. The new class of nonconvex functions, called B-(p,r)-invex functions with respect to η and b, being introduced, includes many well-known classes of generalized invex functions as its subclasses. Some properties of the introduced class of B-(p,r)-invex functions with respect to η and b are studied. Further, mathematical programming problems involving B-(p,r)-invex functions with respect to η and b are considered. The equivalence between saddle points and optima, and different type duality theorems are established for this type of optimization problems.     

Parallel and k-out-of-n: G systems with nonidentical components and their mean residual life functions

A system with n independent components which has a k-out-of-n: G structure operates if at least k components operate. Parallel systems are 1-out-of-n: G systems, that is, the system goes out of service when all of its components fail. This paper investigates the mean residual life function of systems with independent and nonidentically distributed components. Some examples related to some lifetime distribution functions are given. We present a numerical example for evaluating the relationship between the mean residual life of the k-out-of-n: G system and that of its components.     

Monads in topology

Let T be a submonad of the ultrafilter monad β and let G be a subfunctor of the filter functor. The T-algebras are topological spaces whose closed sets are the subalgebras and form thereby an equationally definable full subcategory of topological spaces. For appropriate T, countably generated free algebras provide ZFC examples of separable, Urysohn, countably compact, countably tight spaces which are neither compact nor sequential, and c² non-homeomorphic such examples exist. For any space X, say that U⊂X is G-open if U belongs to every ultrafilter in GX which converges in U. The full subcategory TopG consists of all G-spaces, those spaces in which every G-open set is open. Each TopG has at least these stability properties: it contains all Alexandroff spaces, and is closed under coproducts, quotients and locally closed subspaces. Examples include sequential spaces, P-spaces and countably tight spaces. T-algebras are characterized as the T-compact, T-Hausdorff T-spaces. Malyhin's theorem on countable tightness generalizes verbatim to TopG for any G⊂β. For r∈ω^?=βω\ω, let Gr be the subfunctor of β generated by r and let Tr be the generated submonad. If RK_? is the Rudin-Keisler preorder on ω^?, rRK_?s⇔Gr⊂Gs. Let c_? be the Comfort preorder and define the monadic preorderrm_?s to mean Tr⊂Ts. Then rRK_?s⇒rm_?s⇒rc_?s. It follows that there exist c² monadic types. For each such type Tr, the Tr-algebras form an equationally definable full subcategory of topological spaces with only one operation of countably infinite arity. No two of these varieties are term equivalent nor is any one a full subcategory of another inside topological spaces. Say that r∈ω^? is an m-point if Gr≠Tr. Under CH, m-points exist.     

On contracts for VMI program with continuous review (r, Q) policy

Based on continuous review (r, Q) policy, this paper deals with contracts for vendor managed inventory (VMI) program in a system comprising a single vendor and a single retailer. Two business scenarios that are popular in VMI program are “vendor with ownership” and “retailer with ownership”. Taking the system performance in centralized control as benchmark, we define a contract “perfect” if the contract can enable the system to be coordinated and can guarantee the program to be trusted. A revenue sharing contract is designed for vendor with ownership, and a franchising contract is designed for retailer with ownership. Without consideration of order policy and related costs at the vendor site, it is shown that one contract can perform satisfactorily and the other one is a perfect contract. With consideration of order policy and related costs at the vendor site, it is shown that one contract can perform satisfactorily and the performance of the other one depends on system parameters.