以广义随机Petri网(Generalized Stochastic Petri Net,GSPN)为数学工具,提出一种基于GSPN的计算机硬件系统可靠性建模与分析方法.在给出GSPN形式化定义和模型要素图形化表示和用法的基础上,建立了计算机硬件系统基本单元GSPN模型,该模...以广义随机Petri网(Generalized Stochastic Petri Net,GSPN)为数学工具,提出一种基于GSPN的计算机硬件系统可靠性建模与分析方法.在给出GSPN形式化定义和模型要素图形化表示和用法的基础上,建立了计算机硬件系统基本单元GSPN模型,该模型适用于描述结构简单的计算机硬件系统,而对于逻辑结构关系复杂的计算机硬件系统,由于其建模粒度过于精细势必造成组合爆炸问题.为此,对该计算机硬件系统基本单元GSPN模型进行精化设计,得到的精化模型可以用于描述结构复杂的计算机硬件系统.实例研究验证了所提方法的有效性,可以为计算机硬件系统可靠性设计提供理论指导.展开更多
文摘以广义随机Petri网(Generalized Stochastic Petri Net,GSPN)为数学工具,提出一种基于GSPN的计算机硬件系统可靠性建模与分析方法.在给出GSPN形式化定义和模型要素图形化表示和用法的基础上,建立了计算机硬件系统基本单元GSPN模型,该模型适用于描述结构简单的计算机硬件系统,而对于逻辑结构关系复杂的计算机硬件系统,由于其建模粒度过于精细势必造成组合爆炸问题.为此,对该计算机硬件系统基本单元GSPN模型进行精化设计,得到的精化模型可以用于描述结构复杂的计算机硬件系统.实例研究验证了所提方法的有效性,可以为计算机硬件系统可靠性设计提供理论指导.