M/M^k,B/1算子的预解集

本文证明了M/G^k,B/1算子的预解集含于除原点外的虚轴.     

M/M/1算子的复谱

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

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

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

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

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

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

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

基于M/M/1/K模型的车道占用对道路通行能力影响的分析与预测

依据一段实时路况监控视频,采用T型交叉平面口模型对事故所处横断面的实际通行能力进行建模.运用排队论的M/M/1/K模型对交通事故所影响路段的车辆排队长度与事故横断面实际通行能力、事故持续时间、路段上游车流量之间的关系进行建模,利用MATLAB软件与微元法思想进一步拟合与改进,并用模型预测出新交通条件下车辆排队至上游路口的时间,说明模型的有效性.     

M/Mk,B/1排队模型的非负解的存在唯一性

本文讨论了排队论中的动态Ｍ/Ｍｋ,Ｂ/１排队模型．运用泛函分析中线性算子的Ｃ０－半群理论证明了该模型瞬态概率解的存在唯一性．     

M/M/1算子的其它特征值

证明对一切θ∈（0,1）,θ（2（λμ）~（1/2）-λ-μ）都是偏微分方程形式的M/M/1排队模型主算子的几何重数为1的特征值.     

单重休假的M/M/1排队模型的进一步研究

证明对一切θ∈(0,1),所有θ(2√λη-λ-η)都是单重休假的M/M/1排队模型的主算子的几何重数为1的特征值.     

偏微分方程形式的M/M/1排队模型的主算子的谱分析

研究偏微分方程形式的M/M/1排队模型的主算子在左半复平面中的谱,证明当顾客的到达率λ,服务员的服务率μ和非零实数b满足一定的条件时,-μ+ib不是该主算子的特征值,其中i~2=-1.     

M/Mk,B/1算子的豫解集

首先运用Phillips定理和Fattorini定理证明M／M^k，^B／1排队模型概率瞬态解的存在唯一性，然后通过研究对应于M／M^k，^B／1排队模型的主算子的共轭算子的豫解集得到该主算子的豫解集：在虚轴上除了零点外其它所有点都属于该主算子的豫解集．     

单调函数在具有可选服务的M/M/1排队模型研究中的应用

运用函数的导数与单调性之间的关系证明具有可选服务的M/M/1排队模型的主算子的豫解集研究中出现的三个不等式.由此推出,在虚轴上除了零外其它所有点都属于该模型的主算子的豫解集.     

M/G/1重试排队系统的渐近稳定性

用算子半群理论研究了带有重试排队的M/G/1系统.通过解算子方程和预解方程,证明了0是系统算子的本征值,且为虚轴上唯一的谱点.从而得出了当时间趋于无穷时系统时间依赖解收敛于稳态解的结论.     

M/G/1排队论系统的渐近稳定性

通过M/G/1算子的谱分析得到了M/G/1排队论系统的渐近稳定性.首先,将系统方程转化为某一合适Banach空间上的抽象Cauchy闻题,从而引入M/G/1算子.其次,分析了M/G/1算子的谱分布,得到了0是M/G/1算子的简单本征值且M/G/1算子的谱分布在左半平面的结果.最后,利用谱分析结果和算子半群理论得到了M/...     

正则预解算子族的乘积扰动

设K∈C（R＋）和B是一个有界线性算子．作者证明如果犃生成一个指数有界的A正则预解算子族，那么BA，AB或A（I＋B），（I＋B）A也生成一个指数有界的k-正则预解算子族．此外，作者也给出了k正则预解算子族的加法扰动的相应结果．     

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.     

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

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

一类具有三种状态的可修排队系统研究

研究一类具有三种状态的可修排队模型主算子的豫解集.通过研究该主算子的共轭算子的豫解集得到此主算子的豫解集.     

Lipschitz-α算子的M-谱理论

本文运用一个选定的可逆Lip-α算子M作为尺度算子(称为谱尺度),引入两个Banach空间之间的非线性Lip-α算子的M-豫解集、M-谱集、M-谱半径、豫解集、谱集及谱半径,证明了它们的一列系重要性质,给出了M-谱的一个摄动定理,初步建立了Lip-α算子的M-谱理论,使得现有的谱理论成为其特例.