原文志，寇玉芳

(太原师范学院 数学系，山西 晋中 030619)

0 引言

冷贮备是部件在贮备时没有损坏的情况，例如文献[1-3].现有文献很多假设部件损毁后可以马上修复.但实际上，当系统故障时可能因为修理工不一定在现场或者其他原因而需要一段等待修理时间.所以在可修系统中考虑修理工休假和空闲状态是有意义的，比如文献[4-5].但是很多文献只证明了可靠性指标.

因此本文研究修理工带休假的冷贮备可修系统算子的性质，证明了系统算子是稠密的预解正算子，并且得到它的共轭算子，运用共尾理论证明算子的增长界和谱上界相等，最后运用C0半群理论，证明系统动态解存在且唯一.

1 系统模型

1.1 模型描述

假设1：系统里有两个不同型的部件分别记作1,2，再加一个修理工3.

假设2:初始状态时1和2 都是新部件，而且1可以先使用和维修.

假设3：当1和2都处于正常状态时，1工作则2冷贮备.

假设4：当1工作时，2冷贮备，3处于休假状态，维修后部件恢复成和新的一样.

假设5：当部件出现问题时，1)如果3正在休假，那么休假期完成后维修部件；2)如果3空闲，那么立刻进行维修；3)如果3处于工作状态，那么故障等待维修.

假设6：3修完一个部件之后，如果没有发现其他问题就开始休假.休假完成后如果发现问题就要立刻维修；如果系统完好则就要待在系统里进入空闲状态，等待问题出现后立刻维修.

1.2 状态描述

状态0：1工作，2贮备，3空闲；状态1：1工作，2贮备，3休假；状态2：1工作，2故障，3休假；状态3：1工作，2修理；……