The <Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">M</Emphasis>/1 retrial queue with retrials due to server failures

Sherman and Kharoufeh (Oper. Res. Lett. 34:697–705, [2006]) considered an M/M/1 type queueing system with unreliable server and retrials. In this model it is assumed that if the server fails during service of a customer, the customer leaves the server, joins a retrial group and in random intervals repeats attempts to get service. We suggest an alternative method for analysis of the Markov process, which describes the functioning of the system, and find the joint distribution of the server state, the number of customers in the queue and the number of customers in the retrial group in steady state.      

Approximations for the <Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">GI</Emphasis>/<Emphasis Type="Italic">N</Emphasis>+<Emphasis Type="Italic">GI</Emphasis> type call center

In this paper, we propose approximations to compute the steady-state performance measures of the M/GI/N+GI queue receiving Poisson arrivals with N identical servers, and general service and abandonment-time distributions. The approximations are based on scaling a single server M/GI/1+GI queue. For problems involving deterministic and exponential abandon times distributions, we suggest a practical way to compute the waiting time distributions and their moments using the Laplace transform of the workload density function. Our first contribution is numerically computing the workload density function in the M/GI/1+GI queue when the abandon times follow general distributions different from the deterministic and exponential distributions. Then we compute the waiting time distributions and their moments. Next, we scale-up the M/GI/1+GI queue giving rise to our approximations to capture the behavior of the multi-server system. We conduct extensive numerical experiments to test the speed and performance of the approximations, which prove the accuracy of their predictions.      

Asymptotic analysis for loss probability of queues with finite <Emphasis Type="Italic">GI</Emphasis>/<Emphasis Type="Italic">M</Emphasis>/1 type structure

This paper discusses the asymptotic behavior of the loss probability for general queues with finite GI/M/1 type structure such as GI/M/c/K, SM/M/1/K and GI/MSP/1/K queues. We find an explicit expression for the asymptotic behavior of the loss probability as K tends to infinity. With the result, it is shown that the loss probability tends to 0 at a geometric rate. This research was supported by the MIC (Ministry of Information and Communication), Korea, under the ITRC (Information Technology Research Center) support program supervised by the IITA (Institute of Information Technology Assessment).     

The <Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">G</Emphasis>/∞ system revisited: finiteness,summability, long range dependence,and reverse engineering

We explore M/G/∞ systems ‘fed’ by Poissonian inflows with infinite arrival rates. Three processes – corresponding to the system's state, workload, and queue-size – are studied and analyzed. Closed form formulae characterizing the system's stationary structure and correlation structure are derived. And, the issues of queue finiteness, workload summability, and Long Range Dependence are investigated. We then turn to devise a ‘reverse engineering’ scheme for the design of the system's correlation structure. Namely: how to construct an M/G/∞ system with a pre-desired ‘target’ workload/queue auto-covariance function. The ‘reverse engineering’ scheme is applied to various examples, including ones with infinite queues and non-summable workloads. AMS Subject Classifications Primary: 60K25; Secondary: 60G55, 60G10     

The flatness properties of <Emphasis Type="Italic">S</Emphasis>-poset <Emphasis Type="Italic">A</Emphasis>(<Emphasis Type="Italic">I</Emphasis>) and Rees factor <Emphasis Type="Italic">S</Emphasis>-posets

Let S be a pomonoid and I a proper right ideal of S. In a previous paper, using the amalgamated coproduct A(I) of two copies of _S S over I, we were able to solve one of the problems posed in S. Bulman-Fleming et al. (Commun. Algebra 34:1291–1317, 2006). In the present paper, we investigate further flatness properties of A(I). We also solve another problem stated in the paper cited above. Namely, we determine the condition under which Rees factor S-posets have property (P _w ). Research supported by nwnu-kjcxgc-03-18.     

Concavity of the conditional mean sojourn time in the <Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">G</Emphasis>/1 processor-sharing queue with batch arrivals

Avrachenkov et al. (Queueing Syst. 50:459–480, [2005]) conjectured that in an M/G/1 processor-sharing queue with batch arrivals, the conditional mean sojourn time is concave. In this paper, we show that this conjecture is generally not true. This work was supported by the Korea Research Foundation Grant funded by the Korean Government (MOEHRD) (KRF-2006-312-C00470).     

On elongations of totally projective groups and <Emphasis Type="Italic">α</Emphasis>-<Emphasis Type="Italic">Σ</Emphasis>-groups

We prove that a special α-elongation of a totally projective group is an α-Σ-group if and only if it is a totally projective group. This parallels our recent result in [5].     

Busy period analysis for <Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">PH</Emphasis>/1 queues with workload dependent balking

We consider an M/PH/1 queue with workload-dependent balking. An arriving customer joins the queue and stays until served if and only if the system workload is no more than a fixed level at the time of his arrival. We begin by considering a fluid model where the buffer content changes at a rate determined by an external stochastic process with finite state space. We derive systems of first-order linear differential equations for the mean and LST (Laplace-Stieltjes Transform) of the busy period in this model and solve them explicitly. We obtain the mean and LST of the busy period in the M/PH/1 queue with workload-dependent balking as a special limiting case of this fluid model. We illustrate the results with numerical examples.      

A Moderate Deviation Principle for <Emphasis Type="Italic">m</Emphasis>-Dependent Random Variables with Unbounded <Emphasis Type="Italic">m</Emphasis>

In this paper, a theorem on the moderate deviation principle for random arrays under m-dependence with unbounded m is established. This partially extends the results of Chen (Stat. Probab. Lett. 35:123–134, 1997). As an application, the moderate deviation principle for the truncation estimator of the variance in the analysis of time series is obtained.      

Asymtotics of <Emphasis Type="Italic">M</Emphasis>-estmation in Non-linear Regression

Consider the standard non-linear regression model y _i = g(x _i , θ ₀)+ε _i , i = 1, ... ,n where g(x, θ) is a continuous function on a bounded closed region X × Θ, θ ₀ is the unknown parameter vector in Θ ⊂ R ^p , {x ₁, x ₂, ... , x _n } is a deterministic design of experiment and {ε₁, ε₂, ... , ε _n } is a sequence of independent random variables. This paper establishes the existences of M-estimates and the asymptotic uniform linearity of M-scores in a family of non-linear regression models when the errors are independent and identically distributed. This result is then used to obtain the asymptotic distribution of a class of M-estimators for a large class of non-linear regression models. At the same time, we point out that Theorem 2 of Wang (1995) (J. of Multivariate Analysis, vol. 54, pp. 227–238, Corrigenda. vol. 55, p. 350) is not correct. This research was supported by the Natural Science Foundation of China (Grant No. 19831010 and grant No. 39930160) and the Doctoral Foundation of China     

The <Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">M</Emphasis>/∞ queue in a random environment

We consider the M/M/∞ queueing system with arrival and service rate depending on the state of an auxiliary semi-Markov process (which can be viewed as an external environment) and find the mean number of customers in the system in steady state. In a particular case when the external environment can be only in two states we find the distribution of the number of customers in the system.      

<Emphasis Type="Italic">G</Emphasis>-compactness and groups

Lascar described E _KP as a composition of E _L and the topological closure of E _L (Casanovas et al. in J Math Log 1(2):305–319). We generalize this result to some other pairs of equivalence relations. Motivated by an attempt to construct a new example of a non-G-compact theory, we consider the following example. Assume G is a group definable in a structure M. We define a structure M′ consisting of M and X as two sorts, where X is an affine copy of G and in M′ we have the structure of M and the action of G on X. We prove that the Lascar group of M′ is a semi-direct product of the Lascar group of M and G/G _L . We discuss the relationship between G-compactness of M and M′. This example may yield new examples of non-G-compact theories. The first author is supported by the Polish Goverment grant N N201 384134. The second author is supported by the Polish Goverment grant N201 032 32/2231.     

Consecutive customer losses in regular and oscillating <Emphasis Type="Italic">M</Emphasis><Superscript><Emphasis Type="Italic">X</Emphasis></Superscript>/<Emphasis Type="Italic">G</Emphasis>/1/<Emphasis Type="Italic">n</Emphasis> systems

We derive fast recursions to compute the probability that k or more consecutive customer losses take place during a busy period of a queue, the so called k-CCL probability, for regular and oscillating M ^X /G/1/n systems.     

Limit theorems for systems of the type <Emphasis Type="Italic">M</Emphasis><Superscript>θ</Superscript>/<Emphasis Type="Italic">G</Emphasis>/1/<Emphasis Type="Italic">b</Emphasis> with resume level of input stream

We consider a queuing system of the type M ^θ/G/1/b in which the input stream is regulated by a certain threshold level. The asymptotic properties of the first busy period and the number of calls served during this period are studied. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 7, pp. 884–889, July, 2007.     

Cc （X） Spaces with X Locally Compact

In this paper, we show, among other results, that if X is a [separable] locally compact space X [satisfying the first countability axiom] then the space Cc （X） has countable tightness [if and only if it has bounding tightness] if and only if it is Frechet-Urysohn, if and only if Cc （X） contains a dense （LM） subspace and if and only if X is a-compact.     

On the stability of <Emphasis Type="Italic">θ</Emphasis>-derivations on <Emphasis Type="Italic">JB</Emphasis>*-triples

We introduce the concept of θ-derivations on JB*-triples and prove the Hyers–Ulam-Rassias stability of θ-derivations on JB*-triples. We deal with the Hyers-Ulam-Rassias stability that was first introduced by Th. M. Rassias in the paper “On the stability of the linear mapping in Banach spaces, Proc. Amer. Math. Soc. 72 (1978), 297–300”. The first author was supported by Korea Research Foundation Grant KRF-2005-070-C00009.     

On relations for the multiple <Emphasis Type="Italic">q</Emphasis>-zeta values

We prove a new relation for the multiple q-zeta values (MqZV’s). It is a q-analogue of the Ohno-Zagier relation for the multiple zeta values (MZV’s). We discuss the problem of determining the dimension of the space spanned by MqZV’s over ℚ, and present an application to MZV. The first author is supported by Grant-in-Aid for Young Scientists (B) No. 17740026 and the second author is supported by Grant-in-Aid for Young Scientists (B) No. 17740089.     

Modal operators on bounded commutative residuated <Emphasis Type="Italic">ℓ</Emphasis>-monoids

Bounded commutative residuated lattice ordered monoids (Rℓ-monoids) are a common generalization of, e.g., Heyting algebras and BL-algebras, i.e., algebras of intuitionistic logic and basic fuzzy logic, respectively. Modal operators (special cases of closure operators) on Heyting algebras were studied in [MacNAB, D. S.: Modal operators on Heyting algebras, Algebra Universalis 12 (1981), 5–29] and on MV-algebras in [HARLENDEROVá,M.—RACHŮNEK, J.: Modal operators on MV-algebras, Math. Bohem. 131 (2006), 39–48]. In the paper we generalize the notion of a modal operator for general bounded commutative Rℓ-monoids and investigate their properties also for certain derived algebras. The first author was supported by the Council of Czech Government, MSM 6198959214.     

Primary abelian <Emphasis Type="Italic">n</Emphasis>-Σ-groups

We prove the following theorem: Any abelian p-group is an n-Σ-group which is a strong ω-elongation of a totally projective group by a p ^ω+n -projective group precisely when it is totally projective. In particular, each p-torsion p ^ω+n -projective n-Σ-group is a direct sum of countable p-groups of length not exceeding ω + n and vice versa. These two claims generalize our recent results in [6] and [7]. Published in Lietuvos Matematikos Rinkinys, Vol. 47, No. 2, pp. 155–162, April–June, 2007.