论文部分内容阅读
以广义随机Petri网（GeneralizedStochasticPetriNet，GSPN）为数学工具，提出一种基于GSPN的计算机硬件系统可靠性建模与分析方法．在给出GSPN形式化定义和模型要素图形化表示和用法的基础上，建立了计算机硬件系统基本单元GSPN模型，该模型适用于描述结构简单的计算机硬件系统，而对于逻辑结构关系复杂的计算机硬件系统，由于其建模粒度过于精细势必造成组合爆炸问题．为此，对该计算机硬件系统基本单元GSPN模型进行精化设计，得到的精化模型可以用于描述结构复杂的计算机硬件系统．实例研究