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

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

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

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

具有冗余机器人安全系统算子的性质

研究了一个包含两个冗余机器人和一个安全装置的系统.运用泛函分析及C_0-半群理论,给出了系统算子是稠定的预解正算子的证明,得出了系统算子谱的性质和其共轭算子及定义域,并证明系统算子的增长界为0.最后运用预解正算子的相关理论,证明系统算子的谱上界也是0.     

修理工可单重休假的带有一个冷贮备部件的Gaver并联系统的时间依赖解的渐进行为

研究修理工可单重休假的带有一个冷贮备部件的Gaver并联系统的时间依赖解.运用C₀-半群理论与算子理论研究该模型相应算子的谱的特征,获得了该系统的时间依赖解强收敛于该系统的稳态解.     

一类具有可修故障和不可修故障的两部件并联可修系统算子性质

研究了一类具有可修故障和不可修故障的两部件并联可修系统.运用C_0半群的理论,证明了系统算子是稠定的预解正算子,得出了系统算子的共轭算子及其定义域,并证明了系统算子的增长界为0.最后运用了预解正算子中共尾的概念及相关理论,证明了系统算子的谱上界也是0.     

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

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

附有选择性服务与无等待能力的M/G/1排队系统算子的性质

研究了附有选择性服务与无等待能力的M/G/1排队系统.运用C₀半群的理论,证明了系统算子是稠定的预解正算子,得出了系统算子的共轭算子及其定义域,并证明了系统算子的增长界为0.最后运用了预解正算子中共尾的概念及相关理论,证明了系统算子的谱上界也是0.     

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

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

解算子与右端数据均有扰动的半正定算子方程的动态系统方法

本文研究了求解算子与右端数据均有扰动的第一类半正定算子方程的动态系统方法.证明了相应的动态系统Cauchy问题的整体解存在且收敛于原算子方程的解.此外,给出了解Cauchy问题的迭代方法并证明了方法的收敛性.     

解算子与右端数据均有扰动的半正定算子方程的动态系统方法

本文研究了求解算子与右端数据均有扰动的第一类半正定算子方程的动态系统方法．证明了相应的动态系统Cauchy问题的整体解存在且收敛于原算子方程的解．此外,给出了解Cauchy问题的迭代方法并证明了方法的收敛性．     

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

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

一类可靠性模型的另一个特征值

研究带无穷多个部件的，由一个可靠机器，一个不可靠机器与一个缓冲库构成的系统主算子在左半复平面中的特征值，证明2√λη1μη2-λη1-μη2是该主算子的几何重数为1的一个特征值．     

一类可靠性模型的其它特征值

研究由一个可靠机器,一个不可靠机器与一个无穷容量的缓冲库构成的系统主算子在左半复平面中的特征值,证明对一切θ∈（0,1）,（2（λη_1μη_2）~（1/2）-λη_1-μη_2）θ都是该主算子的几何重数为1的一个特征值.     

一类可靠性模型解的渐近稳定性

研究一个可靠机器，一个不可靠机器和一个缓冲库构成的系统。通过研究相应算子的谱特征得到该系统解的渐近稳定性。     

一类修复不如新的可修复系统的可靠性分析

用增补变量的方法建立了在人为错误下修复不如新的两相同部件并联可修复系统.通过选取空间和定义系统算子,将模型方程转化成为了抽象Cauchy问题.然后利用线性算子半群理论研究了系统解的存在唯一性和渐近稳定性,进一步对系统的可用度做了比较分析.     

具有早期储备可修复收入系统的谱分析

研究了具有早期储备可修复系统,首先给出了该系统的预解式,对δ>0,γ=a+bi,固定a1,a2,满足-μ+δ相似文献   

具有人为故障的人-机系统的可靠性分析

介绍了一个具有人为故障的人-机系统的可修复模型,利用算子半群理论证明了新模型系统解的存在唯一性和指数型稳定性.另外,当故障率λ_0→∞时,系统的瞬态可用度逼近弱解系统瞬态可用度.即,新模型系统逼近原模型弱解系统.     

具预警功能的三部件并联可修复系统的可靠性分析

研究了具有预警功能的三部件并联且有两个热备器的可修复系统,系统可转化为一个Banch空间上的抽象Cauchy问题.首先利用半群理论证明了该系统强解的存在唯一性,其次运用了代数方法证明了0是系统算子的简单本征值,最后对系统和不含预警功能的系统的可用度进行了比较分析.     

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

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

由常规故障和临界人为错误引起系统故障的可修复系统的稳定性分析

讨论了一个由两个部件和一个储备部件并且具有临界人为错误和常规故障的随机模型,故障系统修复时间是任意分布的.运用泛函分析的方法,通过分析系统主算子谱特征,给出了系统稳定性的证明.