L-filters and LF-topologies

For a complete quasi-monoidal lattice L, with some additional properties, we consider the category of L-filtered sets with fixed basis L, and we find out a functorial relation from this category to that of the L-fuzzy topological spaces. On the other hand, a morphism in the category of complete quasi-monoidal lattices allows us to establish a pair of adjoint functors (change of basis) between the corresponding categories of L-filterd sets.     

BMAP/G/1/N queue with vacations and limited service discipline

We consider a finite buffer single server queue with batch Markovian arrival process (BMAP), where server serves a limited number of customer before going for vacation(s). Single as well as multiple vacation policies are analyzed along with two possible rejection strategies: partial batch rejection and total batch rejection. We obtain queue length distributions at various epochs and some important performance measures. The Laplace–Stieltjes transforms of the actual waiting time of the first customer and an arbitrary customer in an accepted batch have also been obtained.     

Analyzing discrete-time D-BMAP/G/1/N queue with single and multiple vacations

This paper analyzes a single-server finite-buffer vacation (single and multiple) queue wherein the input process follows a discrete-time batch Markovian arrival process (D-BMAP). The service and vacation times are generally distributed and their durations are integral multiples of a slot duration. We obtain the state probabilities at service completion, vacation termination, arbitrary, and prearrival epochs. The loss probabilities of the first-, an arbitrary- and the last-customer in a batch, and other performance measures along with numerical aspects have been discussed. The analysis of actual waiting time of these customers in an accepted batch is also carried out.     

Analysis of GI/M/n/n queueing system with ordered entry and no waiting line

This paper deals with a multi-server, finite-capacity queuing system with recurrent input and no waiting line. The interarrival times are arbitrarily distributed whereas service times are exponentially distributed. Moreover, the servers are heterogeneous and independent of each other. Arriving customers choose the server with the lowest index number among the empty servers. When all servers are busy at a time of an arrival, that arrival must leave the system without being served. The semi-Markov process method is used to describe this model and embedded Markov chain of the process is obtained. Furthermore, the Laplace–Stieltjes transform of the distribution of interoverflow times is derived which is the main objective of the paper. Finally, it is offered a new formulation for the loss probability which provides more efficient and rapid calculation is proposed.     

Bayesian analysis of M/Er/1 and M/H_k/1 queues

This paper describes Bayesian inference and prediction for some M/G/1 queueing models. Cases when the service distribution is Erlang, hyperexponential and hyperexponential with a random number of components are considered. Monte Carlo and Markov chain Monte Carlo methods are used for estimation of quantities of interest assuming the queue is in equilibrium. This revised version was published online in June 2006 with corrections to the Cover Date.     

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.     

Lp-Lq estimates for a class of pseudo-differential equations and their applications

This paper is concerned with the L ^p -L ^q estimates of the solutions for a class of pseudodifferential equations under some suitable degenerate assumptions. As applications, these estimates can be used to show that a generalized Schr?dinger operator with some integrable potential generates a fractionally integrated group in L ^p (ℝ ⁿ ).     

BMAP/G/1 queue with correlated arrivals of customers and disasters

We consider a single server queue with disasters where the arrivals of customers and disasters are correlated. When a disaster occurs, it removes all the customers in the system and there requires repair time for the system to be operated normally. The stationary queue length distribution at the embedded points and at an arbitrary time are presented.     

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.     

Combined Elapsed Time and Matrix-Analytic Method for the Discrete Time GI/G/1 and GI X /G/1 Systems

In this paper, we show that the discrete GI/G/1 system can be easily analysed as a QBD process with infinite blocks by using the elapsed time approach in conjunction with the Matrix-geometric approach. The positive recurrence of the resulting Markov chain is more easily established when compared with the remaining time approach. The G-measure associated with this Markov chain has a special structure which is usefully exploited. Most importantly, we show that this approach can be extended to the analysis of the GI ^X /G/1 system. We also obtain the distributions of the queue length, busy period and waiting times under the FIFO rule. Exact results, based on computational approach, are obtained for the cases of input parameters with finite support – these situations are more commonly encountered in practical problems.     

A DLM/FD/IB Method for Simulating Cell/Cell and Cell/Particle Interaction in Microchannels

A spring model is used to simulate the skeleton structure of the red blood cell （RBC） membrane and to study the red blood cell （RBC） rheology in Poiseuille flow with an immersed boundary method. The lateral migration properties of many cells in Poiseuille flow have been investigated. The authors also combine the above methodology with a distributed Lagrange multiplier/fictitious domain method to simulate the interaction of cells and neutrally buoyant particles in a microchannel for studying the margination of particles.     

带止步与中途退出策略的M~x/M/1/N单重工作休假排队系统

研究了带有止步和中途退出的M~x/M/1/N单重工作休假排队系统.顾客成批到达,到达后每批中的顾客,或者以概率b决定进入队列等待服务,或者以概率1-b止步(不进入系统).顾客进入系统后可能因为等待的不耐烦而在没有接受服务的情况下离开系统(中途退出).系统中一旦没有顾客,服务员立即进入单重工作休假.首先,利用马尔科夫过程理论建立了系统稳态概率满足的方程组.其次利用矩阵解法求出了稳态概率的矩阵解并得到了系统的平均队长、平均等待队长以及顾客的平均消失概率等性能指标.最后通过数值例子分析了工作休假时的低服务率η和休假率θ这两个参数对系统平均队长的影响.     

On the Classification of Twisting Maps Between Kn and Km

We define the notion of admissible pair for an algebra A, consisting on a couple (Γ, R), where Γ is a quiver and R a unital, splitted and factorizable representation of Γ, and prove that the set of admissible pairs for A is in one to one correspondence with the points of the variety of twisting maps T_Aⁿ:=T(Kⁿ,A)\mathcal{T}_A^n:=\mathcal{T}(K^n,A). We describe all these representations in the case A = K ^m .     

Loss pattern of DBMAP/DMSP/1/K queue and its application in wireless local communications

This paper applies a matrix-analytical approach to analyze the packet loss pattern of finite buffer single server queue with discrete-time batch Markovian arrival process (DBMAP). The service process is correlated and its structure is presented through discrete-time Markovian service process (DMSP). The bursty nature of packet loss pattern will be examined by means of statistics with respect to alternating loss periods and loss distances. The loss period is the period that loss once it starts; loss distance refers to the spacing between the loss periods. All of the two related performance measurement are derived, including probability distributions of a loss period and a loss distance, average length of a loss period and a loss distance. Queueing systems of this type arise in the domain of wireless local communications. Based on the numerical analysis of such a queueing system, some performance measures for the wireless local communication are presented.     

带有负顾客且具有反馈的M/M/1/N工作休假排队

研究带反馈的且具有正、负两类顾客的M/M/1/N工作休假排队模型.工作休假策略为空竭服务多重工作休假.负顾客一对一抵消队首正在接受服务的正顾客(若有),若系统中无正顾客时,到达的负顾客自动消失,负顾客不接受服务.完成服务的正顾客以概率p(0相似文献   

Quasi-birth-and-death Markov processes with a tree structure and the MMAP[K]/PH[K]/N/LCFS non-preemptive queue

This paper studies a multi-server queueing system with multiple types of customers and last-come-first-served (LCFS) non-preemptive service discipline. First, a quasi-birth-and-death (QBD) Markov process with a tree structure is defined and some classical results of QBD Markov processes are generalized. Second, the MMAP[K]/PH[K]/N/LCFS non-preemptive queue is introduced. Using results of the QBD Markov process with a tree structure, explicit formulas are derived and an efficient algorithm is developed for computing the stationary distribution of queue strings. Numerical examples are presented to show the impact of the correlation and the pattern of the arrival process on the queueing process of each type of customer.     

K -Theory with R / Z Coefficients and von Neumann Algebras

This paper provides a realization of K-theory with R/Z coefficients and proves an R/Z index theorem. (Received: February 2006)     

The h-Laplace and q-Laplace transforms

Starting with a general definition of the Laplace transform on arbitrary time scales, we specify the particular concepts of the h-Laplace and q-Laplace transforms. The convolution and inversion problems for these transforms are considered in some detail.     

Volume comparison and the σk-Yamabe problem

In this paper we study the problem of finding a conformal metric with the property that the kth elementary symmetric polynomial of the eigenvalues of its Weyl-Schouten tensor is constant. A new conformal invariant involving maximal volumes is defined, and this invariant is then used in several cases to prove existence of a solution, and compactness of the space of solutions (provided the conformal class admits an admissible metric). In particular, the problem is completely solved in dimension four, and in dimension three if the manifold is not simply connected.     

p-Adic ideals of p-rank d and the p-adic Nullstellensatz

In this paper we introduce and we study the notion of p-adic ideal of p-rank d and the one of p-adic radical of p-rank d of an ideal, by analogy with the notion of real ideal and the one of real radical of an ideal in the real case. Using those two notions and following more closely the real approach of Bochnak et al. (Géométrie algébrique réelle, Springer, Berlin 1987) we give a new proof of the p-adic Nullstellensatz.