半马尔可夫可修模型

半马尔可夫可修模型（semi-Markov repairable system model），理学-数学-运筹学-可靠性理论，可修系统是可靠性理论中的一类重要系统，一般由若干部件和修理工组成。若设某一可修系统具有有限状态空间，其中状态是系统的工作状态，是系统的故障状态，记为。令表示时刻该系统所处的状态，若已知是一个半马尔可夫过程，则称这类模型为半马尔可夫可修模型。