Reliability properties under a stopping time shift

Considering a series representation of a coherent system using a shift transform of the components lifetime T_i, at its critical level Y_i, we study two problems. First, under such a shift transform, we analyse the preservation properties of the non-parametric distribution classes and secondly the association preserving property of the components lifetime under such transformations.     

Rao’s statistic for constant and proportional hazard models

In this paper we introduce a new family of measures of divergence for the analysis of the degree of departure from a model with a constant hazard function and also for comparing if two models have proportional hazard rates. Our family of measures is based on the family of divergences introduced by Burbea and Rao (see [J. Burbea, C.R. Rao, On the convexity of higher order Jensen differences based on entropy functions, IEEE Transactions on Information Theory 28 (1982) 961–963]). Some well-known sets of data are reanalyzed using the new families of test statistics and confidence intervals introduced in this paper.     

Spaces of holomorphic functions on non-balanced domains

This paper studies the coincidence of the _τω${\tau }_{\omega }$ and _τδ${\tau }_{\delta }$ topologies on the space of holomorphic functions defined on an open subset U   of a Banach space. Dineen and Mujica proved that _τω=_τδ${\tau }_{\omega }={\tau }_{\delta }$ when U   is a balanced open subset of a separable Banach space with the bounded approximation property. Here, we study the _τω=_τδ${\tau }_{\omega }={\tau }_{\delta }$ problem for several types of non-balanced domains U.     

A review of recent research on green road freight transportation

Road freight transportation is a major contributor to carbon dioxide equivalent emissions. Reducing these emissions in transportation route planning requires an understanding of vehicle emission models and their inclusion into the existing optimization methods. This paper provides a review of recent research on green road freight transportation.     

The existence of multiple equilibrium points in a global attractor for some p-Laplacian equation

In this paper, we are mainly concerned with some properties of the global attractor for some p-Laplacian equation with a Lyapunov function in a Banach space. Under some suitable assumptions, we prove the existence of multiple equilibrium points in a global attractor for some p-Laplacian equation.     

Infinite loop spaces,and coherence for symmetric monoidal bicategories

This paper proves three different coherence theorems for symmetric monoidal bicategories. First, we show that in a free symmetric monoidal bicategory every diagram of 2-cells commutes. Second, we show that this implies that the free symmetric monoidal bicategory on one object is equivalent, as a symmetric monoidal bicategory, to the discrete symmetric monoidal bicategory given by the disjoint union of the symmetric groups. Third, we show that every symmetric monoidal bicategory is equivalent to a strict one.     

Stability analysis of a complex standby system with constant waiting and different repairman criteria incorporating environmental failure

In this paper we investigate the solution of a complex standby system with constant waiting and different repairman criteria incorporating environmental failure. By using the method of functional analysis, especially, the _C0$C_0$ semigroup theory of bounded linear operators on Banach space, we prove the well-posedness and the existence of positive solution of the system. Under some appropriate hypothesis, we prove that the dynamic solution of the system converges its steady state in a stronger sense.     

Existence and regularity of solutions for some partial functional integrodifferential equations in Banach spaces

In this work, we study the existence and regularity of solutions for some partial functional integrodifferential equations in Banach spaces. We suppose that the undelayed part admits a resolvent operator in the sense given by Grimmer in [R. Grimmer, Resolvent operators for integral equations in a Banach space, Transaction of American Mathematical Society 273 (1982) 333–349]. The delayed part is assumed to be locally Lipschitz. Firstly, we show the existence of the mild solutions. Secondly, we give sufficient conditions ensuring the existence of the strict solutions.     

Avoiding σ-porous sets in Hilbert spaces

We give a constructive proof that any σ  -porous subset of a Hilbert space has Lebesgue measure zero on typical C¹$C^1$ curves. Further, we discover that this result does not extend to all forms of porosity; we find that even power-p   porous sets may meet many C¹$C^1$ curves in positive measure.     

A new multivariable <Subscript><Emphasis Type="BoldItalic">6</Emphasis></Subscript><Emphasis Type="BoldItalic">ψ</Emphasis><Subscript><Emphasis Type="BoldItalic">6</Emphasis></Subscript> summation formula

By multidimensional matrix inversion, combined with an A _r extension of Jackson’s ₈ φ ₇ summation formula by Milne, a new multivariable ₈ φ ₇ summation is derived. By a polynomial argument this ₈ φ ₇ summation is transformed to another multivariable ₈ φ ₇ summation which, by taking a suitable limit, is reduced to a new multivariable extension of the nonterminating ₆ φ ₅ summation. The latter is then extended, by analytic continuation, to a new multivariable extension of Bailey’s very-well-poised ₆ ψ ₆ summation formula. Partly supported by FWF Austrian Science Fund grants P17563-N13, and S9607 (the second is part of the Austrian National Research Network “Analytic Combinatorics and Probabilistic Number Theory”).     

A generalized Cuntz–Krieger uniqueness theorem for higher-rank graphs

We present a uniqueness theorem for k  -graph C^?$C^{?}$-algebras that requires neither an aperiodicity nor a gauge invariance assumption. Specifically, we prove that for the injectivity of a representation of a k  -graph C^?$C^{?}$-algebra, it is sufficient that the representation be injective on a distinguished abelian C^?$C^{?}$-subalgebra. A crucial part of the proof is the application of an abstract uniqueness theorem, which says that such a uniqueness property follows from the existence of a jointly faithful collection of states on the ambient C^?$C^{?}$-algebra, each of which is the unique extension of a state on the distinguished abelian C^?$C^{?}$-subalgebra.     

Approximation in the mean by rational functions

In this paper we proved that for a large class of compact subsetsK in the complex plane,R(K) is dense inL ^q () if and only if the set of analytic bounded point evaluations forR ^q (K, ) is empty. As a consequence, we showed that this result is true for allK ifR(K) is replaced byA(K). Our main result includes the corresponding result of James Thomson for polynomials approximation as such a special case thatK is a disk.     

Generalized Zernike or disc polynomials: An application in quantum optics

An application of the “generalized Zernike or disc polynomials”, recently introduced in the literature, is shown, resorting to the Lie algebra based investigation of the dynamics of quantum systems driven by two-mode interaction Hamiltonians. Further properties of the associated “disc functions” are deduced. Also, a generalization of the disc polynomials towards the Hahn polynomials is suggested.     

Cut elimination for S4n and K4n with the central agent axiom

We analyze the multimodal logic S4 _n with the central agent axiom. We present a Hilbert-type calculus, then derive a Gentzen-type calculus with cut, and prove a cut-elimination theorem. The work shows that it is possible to construct a cut-free Gentzen-type calculus for this logic. Moreover, it also provides analogous results for the multimodal logic K4 _n with the central agent axiom.     

Enlargements and generalized topologies

The paper discusses the generalization of a construction described in [6] for the case when the starting point topology is replaced by a generalized topology. Research supported by Hungarian Foundation for Scientific Research, grant No. T 49786.     

Constructing uniform designs: A heuristic integer programming method

In this paper, the wrap-around _L2$L_2$-discrepancy (WD) of asymmetrical design is represented as a quadratic form, thus the problem of constructing a uniform design becomes a quadratic integer programming problem. By the theory of optimization, some theoretic properties are obtained. Algorithms for constructing uniform designs are then studied. When the number of runs n$n$ is smaller than the number of all level-combinations m$m$, the construction problem can be transferred to a zero–one quadratic integer programming problem, and an efficient algorithm based on the simulated annealing is proposed. When n≥m$n\ge m$, another algorithm is proposed. Empirical study shows that when n$n$ is large, the proposed algorithms can generate designs with lower WD compared to many existing methods. Moreover, these algorithms are suitable for constructing both symmetrical and asymmetrical designs.     

The Maximal Number of Iπ-Characters Over Normal Subgroups

Let G be a π-separable group for a set of primes, let N be a normal subgroup of G, and let θ be an I_π-character (i.e., irreducible π-partial character) of N. We obtain a necessary and sufficient condition for the number of I_π-characters of G over θ to take the possible maximum

π_|G:N|${\left|G:N\right|}_{\pi }$

. Some applications are given.     

A gap theorem on submanifolds with finite total curvature in spheres

We study a complete noncompact submanifold Mⁿ$M^n$ in a sphere S^n+p${\mathbb{S}}^{n+p}$. We prove that there admit no nontrivial L²$L^2$-harmonic 1-forms on M if the total curvature is bounded from above by a constant depending only on n. The gap theorem is a generalized version of Carron?s, Yun?s, Cavalcante?s and the first author?s results on submanifolds in Euclidean spaces and Seo?s result on submanifolds in hyperbolic space without the condition of minimality.     

Representation of finite groups and the first Betti number of branched coverings of a universal Borromean orbifold

The paper studies the first homology of finite regular branched coverings of a universal Borromean orbifold called B _4,4,4ℍ³. We investigate the irreducible components of the first homology as a representation space of the finite covering transformation group G. This gives information on the first betti number of finite coverings of general 3-manifolds by the universality of B _4,4,4. The main result of the paper is a criterion in terms of the irreducible character whether a given irreducible representation of G is an irreducible component of the first homology when G admits certain symmetries. As a special case of the motivating argument the criterion is applied to principal congruence subgroups of B _4,4,4. The group theoretic computation shows that most of the, possibly nonprincipal, congruence subgroups are of positive first Betti number. This work is partially supported by the Sonderforschungsbereich 288.     

Compact covers and function spaces

For a Tychonoff space X  , we denote by _Cp(X)$C_p(X)$ and _Cc(X)$C_c(X)$ the space of continuous real-valued functions on X equipped with the topology of pointwise convergence and the compact-open topology respectively. Providing a characterization of the Lindelöf Σ-property of X   in terms of _Cp(X)$C_p(X)$, we extend Okunev?s results by showing that if there exists a surjection from _Cp(X)$C_p(X)$ onto _Cp(Y)$C_p(Y)$ (resp. from _Lp(X)$L_p(X)$ onto _Lp(Y)$L_p(Y)$) that takes bounded sequences to bounded sequences, then υY is a Lindelöf Σ-space (respectively K-analytic) if υX has this property. In the second part, applying Christensen?s theorem, we extend Pelant?s result by proving that if X is a separable completely metrizable space and Y   is first countable, and there is a quotient linear map from _Cc(X)$C_c(X)$ onto _Cc(Y)$C_c(Y)$, then Y   is a separable completely metrizable space. We study also a non-separable case, and consider a different approach to the result of J. Baars, J. de Groot, J. Pelant and V. Valov, which is based on the combination of two facts: Complete metrizability is preserved by _?p${?}_p$-equivalence in the class of metric spaces (J. Baars, J. de Groot, J. Pelant). If X   is completely metrizable and _?p${?}_p$-equivalent to a first-countable Y, then Y is metrizable (V. Valov). Some additional results are presented.