关于M/M/n排队模型的动态解及稳定性

文章讨论动态 M/M/n排队模型 ,运用算子半群理论证明了该模型动态正解的存在唯一性 .并进一步表明零点是系统的一个本征值 ,相应的本征函数为系统的一个定态正解 ,系统的动态正解强稳定到定态解     

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

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

软件再生系统解的渐近稳定性分析

用补充变量的方法建立了各状态之间转移概率服从一般分布的软件再生系统的数学模型 .并用泛函分析中的 C0 半群理论对系统算子的谱点分布情况作了研究 ,证明了系统算子的谱点均位于复平面左半平面且在虚轴上除 0点外均为系统算子的正则点 ,作为线性算子半群稳定性的一个直接结果 ,得出了软件再生系统解的渐近稳定性     

具有临界和非临界操作错误的人机系统的渐近稳定性

讨论具有临界和非临界操作错误的可修复人机系统．利用系统算子生成的Banach 空间中的正压缩C0半群的性质,证明了此系统的唯一非负时间依赖解恰是系统算子0本征值对应的规范化后的本征向量;同时通过对系统算子谱点分布情况的分析,证明了系统算子的谱点均位于复平面左半平面且在虚轴上除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/...     

关于M/M/1动态排队系统解的半稳定性

本文讨论了两类 M/M/1 动态系统的数学模型 ,利用常微分方程所描述的 M/M/1 系统的结果证明了较复杂的偏微分方程所描述的 M/M/1 系统的一些性质 ,该方法简化了已有结果     

可修复人机储备系统解的渐近稳定性及可靠性分析

讨论了可修复人机储备系统解的渐近稳定性及可靠性分析.证明了系统算子在Banach空间中生成正压缩C0半群,系统的非负稳定解恰是系统算子0本征值对应的本征向量,系统算子的谱点均位于复平面的左半平面且在虚轴上除0外无谱.此外,证明了系统解在特例情况下的可靠性,即瞬态可靠度大于等于其牢固可靠度.     

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

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

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

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

M/M/1排队系统四个指标的渐近性质

应用 C0 -半群理论研究 M/M/1排队系统中四个指标 :系统中顾客的平均等待时间 ,顾客的平均逗留时间 ,顾客总数和等待服务的顾客总数的渐近性质 ,得到这四个指标的渐近稳定性结果 .     

两不同部件并联可修复系统的稳定性及可靠性分析

通过对两不同部件并联可修复系统的研究证明了系统的渐近稳定性,即lim t→∞p→(·,t)=p→,同时在特例的情况下初步证明了解的可靠性.     

第二种服务可选的M/G/1排队模型的适定性

运用Hille-Yosida定理,Phillips定理与Fattorini定理证明第二种服务可选的M/G/1排队模型存在唯一的概率瞬态解.     

关于C0半群的渐近稳定性

研究Banach空间上等距C0群的性质，据此讨论了C0半群的渐近稳定性和C0半群完全轨线的存在性．在文章的最后，回答了黄发伦提出的一个关于渐近稳定性的猜测．     

k/N:G冗余表决系统的渐近稳定性

分析了带有修理设备和多重致命及非致命操作故障的k／N(G)冗余表决系统的渐近稳定性．用该系统算子生成的正定C-半群证明了系统非负时间依赖解的存在唯一性．同时通过对系统算子谱点分布的分析，证明了本征值0对应的本征向量恰好是系统的静态解，并且，0是虚轴上系统算子唯一的谱点，从而证明了系统的渐近稳定性．     

由软件和硬件构成的串联可修计算机系统的适定性及渐近稳定性

讨论由软件和硬件构成的串联可修计算机系统的时间依赖解,运用C_0-半群理论及算子理论,证明系统的适定性和时间依赖非负解的存在唯一性.通过研究系统相应算子的谱特征,得到系统时间依赖解的渐近稳定性.     

SARS数学模型解的存在唯一性与稳定性

讨论了一种带年龄结构的SARS疾病模型，它是一组非线性偏微分方程组，应用有界线性算子的C0一半群理论及非线性扰动理论，证明了该方程组非负解的存在唯一性及稳定性．     

服务员强制休假的M/G/1排队模型的适定性

运用Hille-Yosida定理,Phillips定理与Fattorini定理证明服务员强制休假的M/G/1排队模型存在唯一的概率瞬态解.     

M／G／1排队系统算子生成正压缩C0-半群的不可约性

M／G／1排队系统已有大量文献研究．通过增补变量法，该系统可由一组积分微分方程描述，并且系统算子在L^1空间中生成正的压缩C0-半群．文中将进一步讨论该半群的性质，证明该半群是不可约的．