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

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

附有不可靠服务台和无等待能力的M/G/1/1排队模型时间依赖解的渐近性分析[英文]

本文研究附有不可靠服务台和无等待能力的M/G/1/1排队模型时间依赖解的渐近行为.首先利用强连续算子半群理论证明此排队系统模型正时间依赖解的存在唯一性.然后通过研究该模型相应主算子的谱,分别得到0是其主算子及其共轭算子的几何重数为1的特征值与虚轴上除了0外其他所有点都属于该模型主算子的豫解集.最后将上述结果结合在一起推出该模型的时间依赖解强收敛于其稳态解.     

一个供应链系统可靠性模型时间依赖解的渐近行为

本文研究一个供应链系统可靠性模型的时间依赖解.利用C0-半群理论研究该模型相应算子的谱的特征,获得了该系统模型时间依赖解的渐近行为,推广了文献[8]中的结果.     

节能刮板沉降箱式除尘可修复系统的稳定性分析

运用可靠性理论研究节能刮板沉降箱式除尘可修复系统的稳定性问题.首先利用补充变量的方法建立了系统的数学模型,其次通过对系统算子的谱分析和C_0半群理论,得到此系统存在唯一的时间依赖解.并且当时间趋于无穷时,该时间依赖解收敛于其稳态解.     

寿命为爱尔兰分布的可修闭路排队模型时间依赖解的渐近性质

利用C_0-半群理论研究寿命为爱尔兰分布的可修闭路排队系统.首先利用泛函分析中的Hille-Yosida定理,Phillips定理和Fattorini定理证明此排队系统模型正时间依赖解的存在唯一性.然后通过研究该模型相应主算子的谱的特征,分别得到虚轴上除了0外其他所有点都属于该模型主算子的豫解集与0是其主算子及其共轭算子的几何重数为1的特征值.最后将上述结果结合在一起推出该模型的时间依赖解强收敛于其稳态解.     

M/M~B/1排队模型的时间依赖解的存在唯一性

应用线性算子的积分半群理论证明 M/MB/1排队模型的时间依赖解的存在唯一性 ,其次推出 M/M/1排队模型的时间依赖解的存在唯一性 .     

一类具有优化调整状态的供应链系统的稳定性分析

主要研究一类具有优化调整状态的供应链系统解的适定性问题,利用C_0-半群理论和谱分析的方法,得到了此系统存在惟一的时间依赖解,并且当时间趋于无穷时,该时间依赖解收敛于其稳态解,而其稳态解恰好是系统算子的0本征值对应的本征向量.     

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

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

工作休假和休假中止的M/M/1排队系统时间依赖解的渐进性质

研究工作休假和休假中止的M/M/1排队系统时间依赖解的渐近性质.通过研究该模型主算子的共轭算子的豫解集得到在虚轴上除了0点外其它所有点都属于该主算子的豫解集,并得到0是主算子及其共轭算子几何重数为1的特征值,由此推出当时刻t趋向于无穷时模型的时间依赖解收敛于其稳态解.     

两同型部件温贮备可修系统解的指数渐近稳定性

运用强连续半群理论研究两同型部件温贮备可修系统解的指数渐近性质,首先证明系统所生成的C0半群T(t)是拟紧的.其次证明0是对应于系统的主算子及其共轭算子的几何重数和代数重数为1的特征值,推出在右半平面和虚轴上除0以外其他所有点都属于该算子的豫解集,由此推出该系统的时间依赖解当时刻趋向于无穷时强收敛于系统的稳态解.     

可修复系统解的渐近稳定性及最优检测时间

应用C0半群理论,证明了服从一般分布的可修复系统的唯一非负时间依赖解的存在性,并指出该解恰是系统算子的0本征值对应的规范化后的本征向量.然后基于系统静态可用度,给出了系统检测时间和系统静态可用度之间的关系表达式,并分析了系统最优检测时间的存在性.     

残数定理在一个可靠性模型研究中的应用

本文研究一个可靠机器、一个不可靠机器与只容纳一个部件的缓冲库构成的系统的时间依赖解的渐近行为.首先在我们已有的工作基础上指出该模型的主算子生成的C_0-半群的本质增长界小于一个负数,由此推出0是该主算子的一级极点。然后用残数定理求该系统研究中出现的投影算子的表达式.最后证明该模型的时间依赖解指数收敛于其稳态解.本文的思想和方法适用于一个可靠机器、一个不可靠机器与容纳有限个部件的缓冲库构成的系统.     

M／M^B／1排队模型的时间依赖解的存在唯一性

应用线性算子的积分群理论证明M/M^B/1排队模型的时间依赖解的存在唯一性,其次推出M/M/1排队模型的时间依赖解的存在唯一性。     

具有带临界和非临界故障的可修k/N:G冗余表决系统研究中出现的投影算子的表达式及其应用(英文)

当修复率为常数时通过研究具有带临界和非临界故障的可修k/N:G冗余表决系统研究中出现的投影算子的表达式得到该系统的时间依赖解指数收敛于该系统的稳态解.     

含故障修复的混合冗余系统的指数稳定性

研究了含故障修复的混合冗余系统.首先运用预解正算子理论,证得系统主算子和系统算子均为预解正算子.然后对主算子的谱界进行估值,并得到主算子的谱界与各修复率平均值的最小值互为相反数这一结论.进而利用共尾理论证明主算子谱界等于增长界.最后,利用C_0-半群理论,求得系统动态解,并得到系统的指数稳定性.     

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

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

一个双曲-椭圆耦合系统解的存在唯一性

本文研究了一个双曲-椭圆耦合系统.通过能量方法建立了有关微分算子的一些先验估计,构造了一个闭线性算子,证明了该闭线性算子为一个有界收缩线性算子半群的无穷小生成元.在此基础上,利用半群理论具体证明了双曲-椭圆耦合系统解的存在唯一性.     

复合结构可修复系统口香糖算子的性质

研究了有15个部件串并联工作的多状态口香糖生产可修复系统.运用C_0半群的理论,证明了系统算子是稠定的预解正算子,得出了系统算子的共轭算子及其定义域,并证明了系统算子的增长界为0.最后运用了预解正算子中共尾的概念及相关理论,证明了系统算子的谱上界也是0.     

一类可靠性模型时间依赖解的渐近性质

研究了带无穷多个部件的，由一个可靠机器，一个不可靠机器与一个缓冲库构成的系统解的渐近性质．先讨论了对应于该系统的主算子的谱特征并且得到了在虚轴上除了0点外其它所有点都属于该主算子的豫解集，0是该主算子及其共轭算子几何重数为1的特征值．然后将该结果与作者以前的结果结合起来推出该系统的时间依赖解当时刻趋向于无穷时趋向于该系统的稳态解．     

修理工单重休假的Gnedenko系统算子性质

研究了一种Gnedenko系统,即由3个串联部件,一个温储备部件及一个修理工组成的系统,其中修理工可以单重休假.运用C₀半群的理论,证明了系统算子是稠定的预解正算子,得出了系统算子的共轭算子及其定义域,并证明了系统算子的增长界为0.最后运用了预解正算子中共尾的概念及相关理论,证明了系统算子的谱上界也是0.