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/G/1排队论系统的渐近稳定性.

可变输入率M/M/1模型主算子的谱性质

文章针对可变输入率的M/M/1排队系统,运用线性算子理论研究模型主算子,推导出0是其代数重数为1的本征值,且相应的正本征向量与系统的经典定态解一致,从而为证明系统时间依赖解的渐近稳定性作了必要的准备.

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

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

具不耐烦顾客M/M/n模型主算子本征值的一个注记

文章针对具不耐烦顾客的M/M/n排队系统,运用线性算子理论研究模型主算子,推导出0是其代数重数为1的本征值,且相应的正本征向量与系统的经典定态解一致,从而为证明系统动态解的渐近稳定性作了必要的准备.

一类由无穷维矩阵定义算子的预解算子

研究在无穷维线性空间中由无穷矩阵定义的一类算子的预解算子,虽然这类矩阵不可以用有限维矩阵的方法处理,但通过无穷级数收敛的必要条件可算得其预解算子矩阵元素的递推公式,从而给出其可逆的条件,并给出预解算子一个直观的矩阵表示.

具有可变输入率M/M/n排队模型的适定性及稳定性

讨论动态具有可变输入率的M/M/n排队模型,运用算子半群理论证明该模型动态正解的存在唯一性,并进一步表明0是系统的一个本征值,相应的本征函数为系统的一个定态正解,系统的动态正解强渐近稳定到定态解.

可变输入率的M/M/1排队模型的动态解及稳定性

文章运用有界线性算子半群理论讲座可变输入率的M/M/1排队模型,证明此模型的主算子生成C0半群,并运用一定的技巧证明动态解强稳定以其定态解.

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

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

求解双层伪单调变分不等式的惯性次梯度超梯度算法

提出一种惯性次梯度超梯度算法,用于求解Hilbert空间中双层伪单调变分不等式解集的一个元素.该算法只需在可行集上进行一次投影,在标准假定条件下证明强收敛性定理.最后,给出所提算法的一些数值实验比较结果.

一类串联可修复系统的稳态解

本文讨论了一类具有两不同部件串联的可修复系统。利用系统算子生成的Banach空间中的正压缩C_o半群的性质,证明了系统的非负稳态解恰是系统算子的0本征值所对应的规范化后的本征向量；同时通过对系统算子谱点分布情况的分析,证明了系统算子的谱点均位于复平面左半平面且在虚轴上除0点外无其它谱,作为线性算子半群稳定性的—个直接结果,得出了该串联可修复系统的渐近稳定性。

具有内部控制和边界观测具有时滞的单管热交换方程的指数稳定性

本文研究了具有时滞边界观测和内部控制的单管热交换方程的指数稳定性.首先,将闭环系统转换为合适状态空间上的抽象柯西问题.通过验证,闭环系统生成一个一致有界的C_0半群,意味着系统存在唯一解.其次,分析了系统的谱分布,通过某些预解集上的预解式估计得到生成半群的最终可微性和最终紧性,这意味着系统的谱确定增长假设成立.最后,给出了系统指数稳定性的一个充分条件,此充分条件与物理参数有关而与时滞无关.