1. 引言
冷贮备是当主单元出现问题时,贮备单元才开始运行的系统,贮备期间不发生故障,例如文献 [1]。对于冷贮备系统来说,它的性能通常通过系统稳定性来判断例如 [2]。
目前多数文章都假设系统发生问题之后能马上维修来讨论系统的稳定性,例如文献 [3] [4]。但是实际上,当系统故障时可能由于修理工不一定在场,系统需要一段待处理时间。因此将修理工的休假和空闲等状态考虑到可修系统中是有意义的例如 [5]。这类系统大多数采用的是马尔可夫等方法比如文献 [6] [7]。
因此文章在文献 [7] 的基础上讨论修理工带休假的冷贮备可修系统,主要运用C0半群理论,根据系统动态解的性质和算子性质得到系统的指数稳定性。
2. 系统模型
2.1. 基本假设
回顾文献 [7] 中系统模型:假设部件分别记为M,N,修理工记为V:
M,N的工作时间分布为
;
V空闲时间的分布为
;
M,N修复时间的分布为
;
V休假时间的分布为
。
2.2. 系统的状态
状态0:M工作,N贮备,V空闲。
状态1:M工作,N贮备,V休假。
状态2:M工作,N故障,V休假。
状态3:M在工作,N在修理。
状态4:M,N都待修,V休假。
状态5:M在修理,N待修。
2.3. 系统的符号与方程
X(t)代表t时系统所处状态的一个变量,Y(t)代表t时系统出现问题时所对应的维修时间。
系统数学方程为
(1)
边界条件如下
(2)
初始条件为
,其余是0 (3)
为了使方程更合理,做以下假设:
(1)
。
(2)
。
(3)
。
选择合适的状态空间
并且定义范数为
明显得到
是一个Banach空间。
在X中分别定义算子A,B如下:
并且算子A的定义域为
所以
,
中
绝对连续,因此系统方程转化成Banach空间X中的Cauchy问题:
3. 系统动态解的性质
定义1如果对于每一个
,存在
,使
,则称E的子集O在E中共尾。
定义2 [8] 设X是Bananch空间,X上的有界线性算子半群
称为有界线性算子强连续半群,如果
X上的有界线性算子强连续半群简称为C0类半群。
定理1 [8] 设X是Bananch空间,
是X上一个C0半群。则存在常数
和
,使得
对于
成立。
定理2 [8] (Lumer-Phillips)若A是闭稠定耗散算子,且
,则A生成一个C0半群
,并且满足
。
定理3
在X中是稠密的。
证明由 [9] 知,
在X中是稠密的。而且因为
,从而
在X中稠密。
定理4 [10] 算子
是预解正算子。
定理5 算子
的对偶算子
有
证明 任给
和
,有
定理6
生成正的压缩C0半群T(t)。
证明
的正锥
从而
因此
又因为
且绝对连续,而且
对于
有
也就是
。因此根据定义1有,在
中任选一个
,存在
使
,即
在
中共尾。而且
是稠定的,再由定理4,因此算子
生成了正的C0半群T(t)。
定理7 系统存在非负时间解
,而且是唯一的,并且满足
。
证明 根据定理6可知,系统存在时间依赖解
,而且唯一非负,还可以表示成
。又由
满足方程组(1),从而有
,所以
。
4. 算子的性质
定义3 如果算子
是半群
的无穷小生成元,那么增长界
定义4 算子
的谱上界
定理8 算子
的增长界
。
证明
(4)
把(4)从0到
积分,代入(2),(3),同时把每个式子左右分别相加有
。
所以方程组对应的半群是非扩张的,由初始条件
可得
。因此半群的增长界
。
定理9 算子
的谱上界
。
证明由定理6和 [11] 中的定理2.2,有
。
5. 系统的指数稳定性
定理10
包含于算子A + B的预解集
中。
证明 对任意
,考虑算子方程
,得到方程组
(5)
边界条件为
(6)
解方程组(5)可得
(7)
其中
令
将(7)代入
及边界条件(6)中,得到如下矩阵方程:
令
下证矩阵K是非奇异的。
由于
所以矩阵K不可约且按列对角占优,
。从而得到方程组
有唯一的解,说明
是满射。又
是闭的,且有定理3,所以根据逆算子定理,
是存在的而且是线性有界的。因此
时,
。
定理11 0是
的本征值,而且几何重数为1。
证明 K的行列式
令
,则上式中
或者
因此0是系统算子的本征值,
是对应本向量。令
是A + B本征值所对应的非负的本征向量,而且是系统的非负稳态解,显然0在X中的几何重数为1。
定理12 A + B的本征值是0,代数重数是1,而且
是0对应的特征向量。
证明 用反证法:想要得到0的代数重数是1,要证明0的代数指数为1。假定0在X中的代数指数是2,那么存在Z使
。因此讨论
。根据定理5有
(8)
解上述方程组有
,容易验证
,而且0为
的本征值,令
,有
为0对应的本向量,并且几何重数是1,即
,
,但是
,存在矛盾,因此0是本征值,而且代数重数为1。
定理13 系统(1)的时间依赖解是有强收敛性的,并且收敛于稳态解,也就是
,而且
,其中M为某个适当的常数。