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

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

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

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

两不同型部件并联可修系统的可靠性研究

研究了两不同型部件并联可修系统.通过选取空间和定义算子,将模型方程转化成了抽象Cauchy问题.利用预解正算子和C_0半群理论,证明了系统动态解的存在唯一性.通过分析系统算子的谱分布,得到系统的指数稳定性.在此基础上,用一个新的方法讨论了系统的一些重要的稳态指标.     

具有边界控制的线性Timoshenko型系统的指数稳定性

研究多孔弹性材料在实际应用中的稳定性问题.多孔物体的动力学行为由线性Timoshenko型方程描述,这样的系统一般只是渐近稳定但不指数稳定,假定系统在一端简单支撑,另一端自由,在自由端对系统施加边界反馈控制,讨论闭环系统的适定性和指数稳定性.首先,证明了由闭环系统决定的算子A是预解紧的耗散算子、生成C0压缩半群,从而得到了系统的适定性.进一步通过对系统算子A的本征值的渐近值估计,得到算子谱分布在一个带域,相互分离的,模充分大的本征值都是A的简单本征值.通过引入一个辅助算子A0,利用算子A0的谱性质以及算子A与A0之间的关系,得到了A的广义本征向量的完整性以及Riesz基性质.最后利用Riesz基性质和谱分布得到闭环系统的指数稳定性.     

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

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

具有热储备的并行可修复系统指数稳定性分析

应用泛函分析的方法讨论了有两个相同部件和一个热储备的并行可修复系统的指数稳定性.我们通过分析系统算子生成C0半群的本质谱增长阶,证明了该半群是拟紧的.此外,该半群还是不可约的.于是作为半群拟紧性和不可约性的直接结果,得到了系统的时间依赖解指数收敛到其静态解,并且该静态解即为系统算子简单特征值0对应的正的特征向量.     

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

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

可发生多种故障的可修复系统稳定性分析

研究了可发生多种故障的可修复系统.运用C_0半群理论,通过服务率均值的观念,对系统主算子的谱界进行了估值,并得到该谱上界即为各服务率均值的最小者的相反数.然后运用了共尾的概念及相关的理论,得到了系统算子的谱界与系统算子产生的半群的增长界相等.最后由分析了系统算子的谱分布,得到了系统的指数稳定性.     

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

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

一类可修复计算机系统的定性分析

本文讨论由软件和硬件构成的一类可修复计算机系统的动态解.运用C0-半群理论及算子理论,证明该系统的适定性和非负动态解的存在唯—性.通过研究系统相应算子的谱特征,得到系统的渐近稳定性.     

具有常规错误的简单混联可修复系统可靠性分析

讨论了具有常规错误的简单混联可修复系统的可靠性,其中验证了系统的指数性稳定.通过具有预警功能和非预警功能模型的对比和讨论,在风险系数趋于无穷时,发现具有预警功能的模型系统趋进于具有弱解(非预警功能)的相关模型系统.并利用计算机模拟,验证了两者的稳态可用度相对误差趋于0.     

具有易损坏储备部件可修复系统的可靠性分析

讨论了在常规故障条件下具有损坏储备部件可修复系统的可靠性,利用算子半群理论证明了系统非负时间依赖解的存在唯一性、渐近稳定性和指数稳定性,并通过计算机数值模拟验证了在一定条件下预警系统与非预警系统的稳态可用度的相对误差趋于0.     

Exponential asymptotic property of a parallel repairable system with warm standby under common-cause failure

We discuss exponential asymptotic property of the solution of a parallel repairable system with warm standby under common-cause failure. This system can be described by a group of partial differential equations with integral boundary. First we show that the positive contraction C₀-semigroup T(t) [Weiwei Hu, Asymptotic stability analysis of a parallel repairable system with warm standby under common-cause failure, Acta Anal. Funct. Appl. 8 (1) (2006) 5-20] which is generated by the operator corresponding to these equations is a quasi-compact operator. Then by using [Weiwei Hu, Asymptotic stability analysis of a parallel repairable system with warm standby under common-cause failure, Acta Anal. Funct. Appl. 8 (1) (2006) 5-20] that 0 is an eigenvalue of the operator with algebraic index one and the C₀-semigroup T(t) is contraction, we conclude that the spectral bound of the operator is zero. By using the above results the exponential asymptotical stability of the time-dependent solution of the system follows easily.     

DISSIPATIVITY AND EXPONENTIAL STABILITY OF θ-METHODS FOR SINGULARLY PERTURBED DELAY DIFFERENTIAL EQUATIONS WITH A BOUNDED LAG

This paper deals with analytic and numerical dissipativity and exponential stability of singularly perturbed delay differential equations with any bounded state-independent lag. Sufficient conditions will be presented to ensure that any solution of the singularly perturbed delay differential equations (DDEs) with a bounded lag is dissipative and exponentially stable uniformly for sufficiently small ε > 0. We will study the numerical solution defined by the linear θ-method and one-leg method and show that they are dissipative and exponentially stable uniformly for sufficiently small ε > 0 if and only if θ = 1.     

Exponential stability of singularly perturbed impulsive delay differential equations

In this paper, the exponential stability of singularly perturbed impulsive delay differential equations (SPIDDEs) is concerned. We first establish a delay differential inequality, which is useful to deal with the stability of SPIDDEs, and then by the obtained inequality, a sufficient condition is provided to ensure that any solution of SPIDDEs is exponentially stable for sufficiently small ε>0. A numerical example and the simulation result show the effectiveness of our theoretical result.     

Global exponential stability of certain switched systems with time-varying delays

This paper is focused on global exponential stability of certain switched systems with time-varying delays. By using an average dwell time (ADT) approach that is different from the method in [P.H.A. Ngoc, On exponential stability of nonlinear differential systems with time-varying delay, Applied Mathematics Letters 25 (2012) 1208–1213], we establish a new global exponential stability criterion for the switched linear time-delay system under the ADT switching. We also apply this method to a general switched nonlinear time-delay system. A numerical example is given to show the effectiveness of our results.     

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

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

Stability analysis of a new kind n-unit series repairable system

In this paper, we deal with a new model of an n-unit series repairable system, in which a concept of a repairman with multiple-delayed vacation is introduced and the impact on the system reliability due to a replaceable facility is also considered. This paper is devoted to studying the unique existence and stability of the system solution. C₀-semigroup theory is used to prove the existence of a unique nonnegative time-dependent solution of the system. Then by analyzing the spectra distribution of the system operator, we prove that the dynamic solution of the system asymptotically converges to the nonnegative steady-state solution which is the eigenfunction corresponding to eigenvalue 0 of the system operator. Furthermore, we discuss the exponential stability of the system in a special case. Some reliability indices of the system are also studied and the optimal vacation time is analyzed at the end of the paper.     

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

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