CAJ | 학술논문

为解决马尔科夫模型的状态空间爆炸问题，在状态空间分解法的基础上，建立单个部件（层次3）的SPN模型，然后根据子系统的组成结构建立单个子系统（层次2）的SPN模型。将子系统SPN模型集成为系统模型（层次1），得到系统模型的可达图及缩小的等效半马尔科夫图，按图建立系统模型的状态方程并求解，然后对系统进行可靠性和可用性评估。以泵送系统为例，验证分解法有助于解决状态空间爆炸问题，并使建模的难度和计算量减小，更易于操作。
위해결마이과부모형적상태공간폭작문제，재상태공간분해법적기출상，건립단개부건（층차3）적SPN모형，연후근거자계통적조성결구건립단개자계통（층차2）적SPN모형。장자계통SPN모형집성위계통모형（층차1），득도계통모형적가체도급축소적등효반마이과부도，안도건립계통모형적상태방정병구해，연후대계통진행가고성화가용성평고。이빙송계통위례，험증분해법유조우해결상태공간폭작문제，병사건모적난도화계산량감소，경역우조작。
To solve the state space explosion problem of Markov model ,individual component (level 3) SPN model was developed based on the state space decomposition approach .Then ,ac‐cording to the basic structure of the subsystem ,individual subsystem (level 2) SPN model was developed .The subsystem SPN models were integrated into system model (level 1) .Reachable graph and reduced equivalent Semi‐Markov rate diagram were generated to obtain solutions of the equations for the system model .Assessment of reliability and availability for the system was done .Pumping system as an example was used to validate the decomposition method could help to overcome the state space explosion problem ,to reduce the difficulty and calculation for model‐ing and to operate easier .