具有临界和非临界操作错误的人机系统的渐近稳定性

讨论具有临界和非临界操作错误的可修复人机系统．利用系统算子生成的Banach 空间中的正压缩C0半群的性质,证明了此系统的唯一非负时间依赖解恰是系统算子0本征值对应的规范化后的本征向量;同时通过对系统算子谱点分布情况的分析,证明了系统算子的谱点均位于复平面左半平面且在虚轴上除0点外无其它谱,作为线性算子半群稳定性的一个直接结果,得出了该可修人机系统的渐近稳定性．     

一类串联可修复系统的稳态解

本文讨论了一类具有两不同部件串联的可修复系统。利用系统算子生成的Banach空间中的正压缩C_o半群的性质,证明了系统的非负稳态解恰是系统算子的0本征值所对应的规范化后的本征向量；同时通过对系统算子谱点分布情况的分析,证明了系统算子的谱点均位于复平面左半平面且在虚轴上除0点外无其它谱,作为线性算子半群稳定性的—个直接结果,得出了该串联可修复系统的渐近稳定性。     

有两种修复方法的复杂可修复系统解的渐近稳定性

讨论了两种修复方法的系统解的渐近稳定性.证明了系统在Banach空间中生成正压缩c0半群,系统的非负稳定解恰是系统算子0本征值对应的本征向量,系统算子的谱点均位于复平面的左半平面且在虚轴上除0外无谱.     

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

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

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

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

可修复人机系统的指数稳定性

研究了两相同部件温储备可修的人机系统,运用C_0半群的相关理论,对系统主算子的谱界进行估值.估算系统的算子产生的半群的增长界,然后运用了共尾的概念及相关的理论,得到了系统算子A+B的谱界与系统算子产生的半群的增长界相同.进而运用相关代数知识证得,0为系统算子的简单本征值,并分析了系统算子的谱分布,得到系统的指数稳定性.并研究了系统算子预解式的特性.对任意给定的δ0,γ=a+bi,-μ+δa_1≤a≤a_2,得到lim|b|→∞‖R(γ;A+B)‖=0.进而得到在~sRγ≥a_1的右半平面内相应于系统算子A+B的谱点由有限个本征值组成.     

具有预防性维修策略的可修复系统的指数稳定性

利用算子半群理论研究了具有预防性维修策略的可修复系统,通过分析系统算子的谱分布,以及系统算子生成C0半群{T(t)}的本质谱增长阶,证明了C0半群{T(t)}是拟紧半群.同时也证明了该半群还是不可约的.进而得到了可修复可用度的指数稳定性.     

在常规错误下具有一个储备部件的冗余系统的稳定性分析

以在常规错误下具有一个储备部件的冗余系统为例,利用半群理论对系统算子的谱点分布进行分析,根据算子半群的稳定性原理,得出了该系统解的渐进稳定性的证明.     

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

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

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

讨论了在常规故障条件下具有易损坏储备部件可修复系统的渐进稳定性;证明了系统非负稳定解恰是系统算子0本征值对应的本征向量;系统算子的谱点均位于复平面的左半平面,且在虚轴上除0外无谱点;此外,证明了0的代数重数为1和求解了系统算子的共轭算子.     

Modelling and well-posed analysis for software system with rejuvenation

Software rejuvenation, as an effective policy to enhance the performance of software system, has been discussed broadly with the hypothesis that the software system being well posed. A system being well posed means that the dynamical solution not only exists and is unique but also is stable, which means the dynamical solution converges to steady solution as time tends to infinity. To enrich the theory basis of the software system, and to simulate the dynamical solution which is also an instantaneous availability of the software system with rejuvenation, this article models the behaviour of software system by a group of ordinary and partial equations. With the theory of strong continuous semigroup, this article proves that the system is well posed. As a result, the expression and simulation of instantaneous availability of the system is presented.     

一类多服务排队系统正解的存在性与渐进稳定性

运用算子半群理论讨论了一类多服务排队系统正解的存在唯一性,并证明了所得的半群为Markov半群.另外,进一步得到了系统的稳态解是渐进稳定的.     

The well-posedness and stability of a repairable standby human–machine system

In this paper, the solution of a standby human–machine system is investigated. By using the method of functional analysis, especially, the linear operator theory and the C₀ semigroup theory on Banach space, we prove the well-posedness and the existence of a positive solution of the system. And under some appropriate hypotheses, we study the asymptotic stability of solution of the system.     

Controllability and stabilizability of linear time‐varying distributed hereditary control systems

This paper is concerned with the controllability and stabilizability problem for control systems described by a time‐varying linear abstract differential equation with distributed delay in the state variables. An approximate controllability property is established, and for periodic systems, the stabilization problem is studied. Assuming that the semigroup of operators associated with the uncontrolled and non delayed equation is compact, and using the characterization of the asymptotic stability in terms of the spectrum of the monodromy operator of the uncontrolled system, it is shown that the approximate controllability property is a sufficient condition for the existence of a periodic feedback control law that stabilizes the system. The result is extended to include some systems which are asymptotically periodic. Copyright © 2014 John Wiley & Sons, Ltd.     

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

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

具有热储备可修复平行系统稳定性及可靠性分析

通过对具有热储备可修复平行系统模型的研究,证明了系统解的稳定性,limt→∞p→(.,t)=p→,同时完成了对系统解的可靠性的证明,瞬态可靠性大于等于其牢固可靠性,既p0(t)≥p0*=limt→∞p0(t).     

A semigroup approach to the Gnedenko system with single vacation of a repairman

We investigate the Gnedenko system with one repairman who can take vacations. Our main focus is on the time asymptotic behaviour of the system. Using C ₀-semigroup theory for linear operators we first prove the well-posedness of the system and the existence of a unique positive dynamic solution given an initial value. Then by analysing the spectral distribution of the system operator and taking into account the irreducibility of the semigroup generated by the system operator we show that the dynamic solution converges strongly to the steady state solution. Thus we obtain asymptotic stability of the dynamic solution.