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.     

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.     

On the efficiency of Newton and Broyden numerical methods in the investigation of the regular polygon problem of (N + 1) bodies

Numerical methods of finding the roots of a system of non-linear algebraic equations are treated in this paper. This paper attempts to give an answer to the selection of the most efficient method in a complex problem of Celestial Dynamics, the so-called ring problem of (N + 1) bodies. We apply Newton and Broyden’s method to these problems and we investigate, by means of their use, the planar equilibrium points, the five equilibrium zones, which are symbolized by A₁, A₂, B, C₂, and C₁ (by order of appearance from the center O to the periphery of the imaginary circle on which the primaries lie) [T.J. Kalvouridis, A planar case of the N + 1 body problem: the ring problem. Astrophys. Space Sci. 260 (3) (1999) 309-325], and the attracting regions of the system. The efficiency of these methods is studied through a comparative process. The obtained results are demonstrated in figures and are discussed.     

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.     

A simple cost minimization procedure for the (Q, r) inventory system with a specified fixed cost per stockout occasion

For fast-moving A items, Silver et al. [E.A. Silver, D.F. Pyke, R. Peterson, Inventory Management and Production Planning and Scheduling, third ed., John Wiley & Sons, New York, NY, 1998] explore the (Q, r) inventory system with a specified cost per stockout occasion. However, a number of difficulties have impeded the implement of their solution procedure. That is, the total relevant cost function is not convex in general, so the convergence of the Silver et al.’s solution procedure to the optimal solution of the total relevant cost function is not necessarily true. An easier and more accurate solution procedure is proposed to overcome the shortcoming of the Silver et al.’s solution procedure.     

Exact solutions of nonlinear dispersive K(m, n) model with variable coefficients

The variable-coefficient Korteweg-de Vries (KdV) equation with additional terms contributed from the inhomogeneity in the axial direction and the strong transverse confinement of the condense was presented to describe the dynamics of nonlinear excitations in trapped quasi-one-dimensional Bose-Einstein condensates with repulsive atom-atom interactions. To understand the role of nonlinear dispersion in this variable-coefficient model, we introduce and study a new variable-coefficient KdV with nonlinear dispersion (called vc-K(m, n) equation). With the aid of symbolic computation, we obtain its compacton-like solutions and solitary pattern-like solutions. Moreover, we also present some conservation laws for both vc-K⁺(n, n) equation and vc-K⁻(n, n) equation.     

The Gerber-Shiu function and the generalized Cramér-Lundberg model

In this paper we extend some results in Cramér [7] by considering the expected discounted penalty function as a generalization of the infinite time ruin probability. We consider his ruin theory model that allows the claim sizes to take positive as well as negative values. Depending on the sign of these amounts, they are interpreted either as claims made by insureds or as income from deceased annuitants, respectively. We then demonstrate that when the events’ arrival process is a renewal process, the Gerber-Shiu function satisfies a defective renewal equation. Subsequently, we consider some special cases such as when claims have exponential distribution or the arrival process is a compound Poisson process and annuity-related income has Erlang(n, β) distribution. We are then able to specify the parameter and the functions involved in the above-mentioned defective renewal equation.     

Applications of operator identities to the multiple q-binomial theorem and q-Gauss summation theorem

In this paper, we first give an interesting operator identity. Furthermore, using the q-exponential operator technique to the multiple q-binomial theorem and q-Gauss summation theorem, we obtain some transformation formulae and summation theorems of multiple basic hypergeometric series.     

An extension of the Vu-Sine theorem and compact-supercyclicity

If (Tt)_t?0 is a bounded C₀-semigroup in a Banach space X and there exists a compact subset K⊆X such that

     

A new proof of convergence of MCMC via the ergodic theorem

A key result underlying the theory of MCMC is that any η-irreducible Markov chain having a transition density with respect to η and possessing a stationary distribution π is automatically positive Harris recurrent. This paper provides a short self-contained proof of this fact using the ergodic theorem in its standard form as the most advanced tool.     

Completing an extension of Tunnell's theorem

We look at a special case of a familiar problem: Given a locally compact group G, a subgroup H and a complex representation π₊ of G how does π₊ decompose on restriction to H. Here G is GL⁺(2,F), where F is a nonarchimedian local field of characteristic not two, K a separable quadratic extension of F, GL⁺(2,F) the subgroup of index 2 in GL(2,F) consisting of those matrices whose determinant is in NK/F(K^∗), π₊ is an irreducible, admissible supercuspidal representation of GL⁺(2,F) and H=K^∗ under an embedding of K^∗ into GL(2,F).     

A Simple Proof of the Borel Extension Theorem and Weak Compactness of Operators

Let T be a locally compact Hausdorff space and let C ₀(T) be the Banach space of all complex valued continuous functions vanishing at infinity in T, provided with the supremum norm. Let X be a quasicomplete locally convex Hausdorff space. A simple proof of the theorem on regular Borel extension of X-valued -additive Baire measures on T is given, which is more natural and direct than the existing ones. Using this result the integral representation and weak compactness of a continuous linear map u: C ₀(T) X when c ₀ X are obtained. The proof of the latter result is independent of the use of powerful results such as Theorem 6 of [6] or Theorem 3 (vii) of [13].     

On the spectral analysis of many-body systems

We describe the essential spectrum and prove the Mourre estimate for quantum particle systems interacting through k-body forces and creation-annihilation processes which do not preserve the number of particles. For this we compute the “Hamiltonian algebra” of the system, i.e. the C^∗-algebra C generated by the Hamiltonians we want to study, and show that, as in the N-body case, it is graded by a semilattice. Hilbert C^∗-modules graded by semilattices are involved in the construction of C. For example, if we start with an N-body system whose Hamiltonian algebra is CN and then we add field type couplings between subsystems, then the many-body Hamiltonian algebra C is the imprimitivity algebra of a graded Hilbert CN-module.     

On the spectral analysis of quantum field Hamiltonians

We define C^∗-algebras on a Fock space such that the Hamiltonians of quantum field models with positive mass are affiliated to them. We describe the quotient of such algebras with respect to the ideal of compact operators and deduce consequences in the spectral theory of these Hamiltonians: we compute their essential spectrum and give a systematic procedure for proving the Mourre estimate.     

Six-variable generalization of Ramanujan's reciprocity theorem and its variants

By virtue of Shukla's well-known bilateral summation formula and Watson's transfor-mation formula, we extend the four-variable generalization of Ramanujan's reciprocity theorem due to Andrews to a six-variable one. Some novel variants of Ramanujan's reciprocity theorem and q-series identities are presented.     

Rationalization and the Gray index of phantom maps

In this paper we study a homotopy invariant of phantom maps called the Gray index. We give a new interpretation of the Gray index of a phantom map f:X→Y, in terms of the rationalization of X. We use this interpretation, in order to detect phantom maps of a specific Gray index. Finally, we examine the set of phantom maps with infinite Gray index in a tower theoretic way.     

Operator identities involving the bivariate Rogers-Szegö polynomials and their applications to the multiple q-series identities

In this paper, we first give several operator identities involving the bivariate Rogers-Szegö polynomials. By applying the technique of parameter augmentation to the multiple q-binomial theorems given by Milne [S.C. Milne, Balanced summation theorems for U(n) basic hypergeometric series, Adv. Math. 131 (1997) 93-187], we obtain several new multiple q-series identities involving the bivariate Rogers-Szegö polynomials. These include multiple extensions of Mehler's formula and Rogers's formula. Our U(n+1) generalizations are quite natural as they are also a direct and immediate consequence of their (often classical) known one-variable cases and Milne's fundamental theorem for An or U(n+1) basic hypergeometric series in Theorem 1.49 of [S.C. Milne, An elementary proof of the Macdonald identities for , Adv. Math. 57 (1985) 34-70], as rewritten in Lemma 7.3 on p. 163 of [S.C. Milne, Balanced summation theorems for U(n) basic hypergeometric series, Adv. Math. 131 (1997) 93-187] or Corollary 4.4 on pp. 768-769 of [S.C. Milne, M. Schlosser, A new An extension of Ramanujan's summation with applications to multilateral An series, Rocky Mountain J. Math. 32 (2002) 759-792].     

Local “superlinearity” and “sublinearity” for the p-Laplacian

We study the existence, nonexistence and multiplicity of positive solutions for a family of problems −Δpu=fλ(x,u), , where Ω is a bounded domain in RN, N>p, and λ>0 is a parameter. The family we consider includes the well-known nonlinearities of Ambrosetti-Brezis-Cerami type in a more general form, namely λa(x)uq+b(x)ur, where 0?q<p−1<r?p^∗−1. Here the coefficient a(x) is assumed to be nonnegative but b(x) is allowed to change sign, even in the critical case. Preliminary results of independent interest include the extension to the p-Laplacian context of the Brezis-Nirenberg result on local minimization in and , a C1,α estimate for equations of the form −Δpu=h(x,u) with h of critical growth, a strong comparison result for the p-Laplacian, and a variational approach to the method of upper-lower solutions for the p-Laplacian.     

Optimization and sensitivity analysis of controlling arrivals in the queueing system with single working vacation

This paper analyzes the F-policy M/M/1/K queueing system with working vacation and an exponential startup time. The F-policy deals with the issue of controlling arrivals to a queueing system, and the server requires a startup time before allowing customers to enter the system. For the queueing systems with working vacation, the server can still provide service to customers rather than completely stop the service during a vacation period. The matrix-analytic method is applied to develop the steady-state probabilities, and then obtain several system characteristics. We construct the expected cost function and formulate an optimization problem to find the minimum cost. The direct search method and Quasi-Newton method are implemented to determine the optimal system capacity K, the optimal threshold F and the optimal service rates (μ_B,μ_V) at the minimum cost. A sensitivity analysis is conducted to investigate the effect of changes in the system parameters on the expected cost function. Finally, numerical examples are provided for illustration purpose.     

Resilience and reliability analysis of P2P network systems

This paper conducts resilience and reliability analysis of P2P network by studying the isolation probability and the durable time of a single user. The network with user’s lifetime having stronger NWUE property is proved to be more resilient. Further, both graphical and nonparametric methods are developed to test the NWUE order between two data sets.