具有周期修复的机器人系统指数稳定性分析

研究具有周期修复函数的机器人与其连带的安全装置构成的系统的可靠性.运用泛函分析的方法,特别是Banach空间上的线性算子半群C_0理论,证明了系统的适定性,并通过分析系统本质谱和经过扰动后半群的本质谱半径的变化,给出解的有限展开式。并进一步证明,0是系统的严格占优本征值,系统的非零本征值至多有两个,从而表明系统解以指数形式收敛.     

一类串联可修复系统指数稳定性

运用泛函分析的方法和线性算子半群理论,证明了严格占优本征值的存在性,并通过分析系统本质谱界经过扰动后的变化,进一步表明在一定的条件下,系统的动态解的指数形式收敛于系统的稳态解.     

具有可修储备部件的人-机系统解的特征值分析

针对一种具有两个运行部件和一个储备部件,考虑系统通常故障的发生,且系统故障修复时间服从一般分布的人-机系统模型,对系统的本征值做了进一步分析,并通过具体实例论证了系统非零本征值的存在性,证明了系统本征值与本征向量的一一对应关系.     

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

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

一类具有储备部件的可修复人机系统的指数稳定性

研究了具有储备部件的可修复人机系统.运用Banach空间上的线性算子半群理论,证明了严格占优本征值的存在性,并通过分析系统本质谱界经过扰动后的变化,进一步表明在一定的条件下,系统动态解以指数形式收敛于系统的稳态解.     

一类冷贮备可修系统的指数稳定性

研究了修理工可延误休假的冷贮备可修系统.通过选取空间及定义算子,将模型方程转化成Banach空间中抽象的Cauchy问题,运用预解正算子和C_0半群理论证明了系统动态解的存在唯一性,并通过分析系统算子的谱分布,得出系统算子的严格占优本征值及近似本征值,进而得到系统的指数稳定性.     

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

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

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

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

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

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

可修复人机储备系统算子的本征值问题

讨论了可修复人机储备系统算子的本征值问题,讨论了系统算子非零本征值的存在性,并且系统算子一个本征值对应一个本征向量.