具有一种故障类型的二相关单元冗余系统的指数稳定性

利用C_0-半群理论证明了具有一种故障类型的二相关单元冗余系统非负解的存在惟一性,并研究了相应算子的谱特征,通过分析本质谱界经过紧扰动后的变化,得到了系统动态解以指数形式收敛于稳态解.最后,给出几个数值模拟的例子用来说明本文的意义所在.     

Poisson半群的边界值

在空间Ｌｐ（Ｒｎ），１≤ｐ＜∞中，Ｐｏｉｓｏｎ算子半群ｅ－－△ｚ是右半平面Ｒｅｚ＞０上的解析半群．本文考虑它的边界值，证明了闭稠定算子－ｉ－△对某个α≥０生成了一个指数有界（Ｉ＋－△）－α 半群．     

具有非强占型优先权顾客的M_1~(X_1),M_2~(X_2)/G_1,G_2/1排队系统的适定性

运用Hille-Yosida定理,Phillips定理与Fattorini定理证明具有非强占型优先权顾客的M_1~(X_1),M_2~(X_2)/G_1,G_2/1排队系统存在唯一的、非负的、满足概率性质的时间依赖解.     

故障时间任意分布的两部件可修复系统解的适定性分析

讨论了一个由两个部件并联组成的可修复冗余系统模型,修复后的故障系统恢复如新.在假设修复函数有界的条件下,给出了C_0-半群的生成元(系统算子)对应的柯西问题的解的适定性分析.     

具有预警功能的热储备可修复平行系统

在热储备可修复平行系统的基础上,增加了一个预警状态,使其变为预警系统,使得系统的初值条件属于定义域,从而由线性算子半群方法求得的弱解变为强解,并研究了系统的稳定性,同时当风险系数λ_c。趋于无穷大时对预警系统和非预警系统的稳态可用度进行了分析.     

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

关于开或闭模型的指数稳定性

讨论了系统解的渐进稳定性和指数稳定性,证明了系统在Banach空间中生成正的C_0-半群以及系统算子0本征值的存在性,系统算子的谱点均为于复平面的左半平面且在虚轴上除0外无谱,并通过分析系统本质谱界经过扰动后的变化,进一步表明在一定条件下,系统的动态解以指数形式收敛于系统的稳态解.     

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

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

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

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

C_0-半群的谱特征

本文利用(C,1)求和法得到了Banach空间中的C_0-半群e~(At)的谱特征性质和增长阶W_0(A)=的计算公式,我们的主要结果为定理2.2和定理2.3。