摘要：为解决马尔科夫模型的状态空间爆炸问题,在状态空间分解法的基础上,建立单个部件（层次3）的SPN模型,然后根据子系统的组成结构建立单个子系统（层次2）的SPN模型.将子系统SPN模型集成为系统模型（层次1）,得到系统模型的可达图及缩小的等效半马尔科夫图,按图建立系统模型的状态方程并求解,然后对系统进行可靠性和可用性评估.以泵送系统为例,验证分解法有助于解决状态空间爆炸问题,并使建模的难度和计算量减小,更易于操作.

关键词：分解法 泵送系统 随机petri网 半马尔科夫模型 状态空间爆炸 

单位：武汉科技大学机械自动化学院 湖北武汉430081