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

针对具有2个运行部件和1个储备部件,故障修复时间服从一般分布的人-机系统模型,运用泛函分析的方法和Banach空间上的线性算子半群理论,证明了严格占优本征值的存在性,并通过分析系统本质谱界经过扰动后的变化,证明了在一定条件下系统的动态解以指数形式收敛于系统的稳态解.

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

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

具预警状态的单模块可修复系统的指数稳定性

研究了具有预警状态的单模块可修复系统,将其动态变化过程用一组微分方程描述.通过选取适当的状态空间和系统算子的定义域,将方程化为Banach空间中的抽象柯西问题.利用泛函分析和线性算子半群理论证明了系统具有严格占优的单重的0本征值,说明系统的解满足渐近稳定性,并求出其稳态解.随后通过研究系统主算子的谱分布,证明了系统主算子的本质谱界为负.最后讨论了系统主算子在紧扰动下的本质谱界变化情况,结果表明系统的动态解是指数稳定的.

节能刮板沉降箱式除尘可修复系统指数稳定性

研究节能刮板沉降箱式除尘可修复系统,运用泛函分析的方法,特别是Banach空间上的线性算子半群理论,证明了严格占优本征值的存在性,并通过分析本质谱界经过扰动后的变化,进一步表明在一定的条件下,系统的动态解以指数形式收敛于系统的稳态解.并研究了该系统算子预解式的特性.对任意给定的δ>0,γ=a+bi,-μ+δ<a_1≤a≤a_2,得到lim∣b∣→∞‖R(γ;A+B)‖=0.进而得到在Rγ≥a_1的右半平面内相应于系统算子A+B的谱点由有限个本征值组成.

在一个供应链系统可靠性模型研究中出现的投影算子表达式及其应用

该文考虑一个供应链系统可靠性模型.首先指出此供应链系统的主算子所生成的正压缩C0-半群T(t)是拟紧算子,其次通过正压缩C0-半群T(t)的本质谱增长界性质和留数定理推出该模型研究中出现的投影算子的具体表达式,最后得到该供应链系统模型的时间依赖解指数收敛到其稳态解.

两不同部件并联可修复系统指数稳定性分析

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

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

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

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

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

常规故障和定期维修的冗余系统的指数稳定性

利用C_0-半群理论证明了具有常规故障和定期维修的冗余系统非负解的存在唯一性,并研究了相应算子的谱特征,通过分析本质谱界经过紧扰动后的变化,得到系统动态解以指数形式收敛于稳态解.

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

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

具有两个状态的修复系统的指数稳定性

利用C0-半群理论证明了具有两个状态的可修复系统非负解的存在唯一性,并研究了相应算子的谱特征,通过分析本质谱界经过扰动后的变化,得到系统动态解以指数形式收敛于稳态解.

机器人及其安全系统的可靠性分析

是以机器人及其安全系统所构成的一个可修复系统作为研究对象,运用泛函分析方法并结合C_0半群理论,证明了严格占优本征值在本系统的存在性并且是系统严格占优本征值,进一步证明了在一定条件下,系统的动态解以指数化形式收敛于系统的稳态解.

在常规故障条件下具有易损坏储备部件可修复系统的指数稳定性

研究了在常规故障条件下具有易损坏储备部件可修复系统.运用Banach空间上的线性算子半群理论,通过分析系统本质谱界经过扰动后的变化,表明在一定的条件下,系统动态解以指数形式收敛于系统的稳态解.