可变输入率M/M/n模型的动态解及其渐近稳定性

本文运用有界线性算子半群理论讨论了可变输入率M/M/n排队模型,证明模型主算子生成C0半群,并运用一定的技巧证明动态解渐近稳定到其定态解.     

M/M/1排队模型的l~1动态解及其稳定性

运用算子半群理论证明了 M/M/1排队模型的 l1动态解的稳定性和正等距性 .     

动态输入率和服务率设定下的M/M/c模型扩展及其应用

为了解决M/M/c模型中恒定输入率和服务率假设与现实现象不符的问题,本文提出了随系统状态变化的输入概率和服务度,并通过新输入概率与平均输入率以及新服务度与平均服务率的结合分别构造了动态输入率和服务率。基于上述动态输入率和动态服务率,建立了依赖系统当前状态的状态转移过程,从状态转换强度方面优化了排队理论及其度量模型,同时,设计了结合系统实际的后确定法求解动态输入率与服务率的相关参数,从而构建了扩展M/M/c模型。由于输入率和服务率的动态性,扩展M/M/c模型具有比原排队论模型更广的适用范围和精度更高的模拟结果。最后,通过一个生活实例对新模型的有效性和实用性进行验证。     

运用Mathematica软件包模拟M/M/1队列

运用Mathematica软件包模拟一个M/M/1队列问题,显现该软件包对于数学研究与教学的重要价值.通过对问题的分析制定模拟方案,利用计算机仿真形象地展示排队过程.其方法适用于一般队列问题.     

M/M/1算子的复谱

研究偏微分方程形式的M/M/1排队模型的主算子在左半复平面中的谱,证明集合{γ∈C|R_γ≤-(λ+μ)}包含于该模型主算子的连续谱与剩余谱的并集.由此指出偏微分方程形式的M/M/1排队模型和常微分方程形式的M/M/1排队模型的本质区别.     

关于两类M/M/1排队系统的渐进稳定性

讨论了两类M/M/1排队系统的关系,通过较简单的方法得到了系统的稳态解是渐进稳定的.     

具有插队和止步行为的M/M/c 排队系统

研究了具有插队和止步行为的M/M/c排队系统. 将到达顾客分为常规顾客和插队顾客, 常规顾客在队尾排队等待服务, 插队顾客总是尽可能的靠近队首插队等待服务. 插队行为由到达顾客的插队概率和队列中等待顾客对插队行为的容忍来描述. 利用负指数分布的性质、Laplace-Stieltjes变换和全概率公式, 给出了处于等待队列位置n的顾客、任意一个常规顾客和任意一个插队顾客的等待时间的表达式. 在此基础上, 讨论了系统相关指标随系统参数的变化情况.     

分析M/M/1多重工作休假排队的一种新方法

用一种新方法对经典的M/M/1工作休假排队系统建立模型.对该模型,用无限位相GI/M/1型Markov过程和矩阵解析方法进行分析,不但得到了所讨论排队模型平稳队长分布的具体结果,还给出了平稳状态时服务台具体位于第几次工作休假的概率.这些关于服务台状态更为精确的描述是该排队系统的新结果.     

带有Bernoulli控制策略的M/M/1多重休假排队模型

研究具有Bernoulli控制策略的M/M/1多重休假排队模型: 当系统为空时, 服务台依一定的概率或进入闲期, 或进入普通休假状态, 或进入工作休假状态. 对该模型, 应用拟生灭(QBD)过程和矩阵几何解的方法, 得到了过程平稳队长的具体形式, 在此基础上, 还得到了平稳队长和平稳逗留时间的随机分解结果以及附加队长分布和附加延迟的LST的具体形式. 结果表明, 经典的M/M/1排队, M/M/1多重休假排队, M/M/1多重工作休假排队都是该模型的特殊情形.     

递进式输入率和服务率设定下的M/M/c模型优化及应用

为了解决M/M/c模型在实际运用中模拟精度不高及使用范围有限的问题,本文立足系统状态变化与输入率和服务率的关系,通过引入输入概率和服务度,构建依赖系统状态的递进式输入率和服务率。递进式输入率和服务率通过研究系统实际运行状况设定临界值,其中输入率分为两阶段,服务率分为三阶段。此外,结合递进式输入率和服务率及排队论状态转移过程构建了递进式M/M/c模型,并采用后确定法确定模型参数。递进式M/M/c模型是M/M/c模型的扩展形式,提高了M/M/c模型的模拟精度,在一定程度上拓展了模型的应用范围。最后,通过一个生活实例验证了递进式M/M/c模型的优化性和实用性。     

常微分方程形式的M/M/1排队模型的一个注

讨论动态Ｍ／Ｍ／１排队模型，运用半群理论证明了该模型存在唯一的正解，并研究了相应算子的谱特征．     

服务中断的M/M/1重试排队模型的稳态解

研究服务中断的M/M/1重试排队模型的稳态解,证明当α+μ>λ时0不足该模型主算子的特征值.由此推出该模型不存在稳态解.     

具有可选服务的M／M／1排队模型的一个特征值及其应用

证明0是具有可选服务的M／M／1排队模型的主算子及其共轭算子的几何重数为1的特征值,由此推出该模型的时间依赖解强收敛于该模型的稳态解．     

C0-半群理论在动态M／C／1排队系统中的应用

考察了动态M／G／1排队系统问题．利用泛函分析中的C0-半群理论给出了系统非负解的存在唯一性．     

M/M/1算子的特征值及其应用(英文)

讨论 Ｍ／Ｍ／１算子的谱特征,证明０是 Ｍ／Ｍ／１算子的几何重数为 １的特征值,并且对应的特征向量是正的,作为应用给出了排队论中四个指标：系统中顾客的平均逗留时间,顾客的平均等待时间,顾客总数及等待的顾客总数的计算方法．     

工作休假和休假中止的M/G/1排队模型的适定性

主要研究工作休假和休假中止的M/G/1排队系统,首先将对应于此系统的数学模型转化为抽象Cauchy问题,其次证明对应于此排队模型的主算子生成正压缩C0半群T(t),然后证明T(t)是局部等距的,最后证明此模型存在唯一的非负时间依赖解。     

Spectrum of the Operator Corresponding to the M/M/1 Queueing Model with Vacations and Multiple Phases of Operation and Application

We describe the point spectrum of the operator which corresponds to the M/M/1 queueing model with vacations and multiple phases of operation. Then by using this result we prove that the essential growth bound of the C₀-semigroup generated by the operator is 0, the C₀-semigroup is not compact, not eventually compact, even not quasi-compact. Moreover, we verify that it is impossible that the time-dependent solution of the M/M/1 queueing model with vacations and multiple phases of operation exponentially converges to its steady-state solution. In addition, we obtain the spectral radius and essential spectral radius of the C₀-semigroup. Lastly, we discuss other spectrum of the operator and obtain a set which belongs to the union of its continuous spectrum and residual spectrum.