CAJ | 학술논문

以广义随机Petri网(Generalized Stochastic Petri Net ,GSPN)为数学工具,提出一种基于GSPN的计算机硬件系统可靠性建模与分析方法.在给出GSPN形式化定义和模型要素图形化表示和用法的基础上,建立了计算机硬件系统基本单元GSPN模型,该模型适用于描述结构简单的计算机硬件系统,而对于逻辑结构关系复杂的计算机硬件系统,由于其建模粒度过于精细势必造成组合爆炸问题.为此,对该计算机硬件系统基本单元GSPN模型进行精化设计,得到的精化模型可以用于描述结构复杂的计算机硬件系统.实例研究验证了所提方法的有效性,可以为计算机硬件系统可靠性设计提供理论指导.
이엄의수궤Petri망(Generalized Stochastic Petri Net ,GSPN)위수학공구,제출일충기우GSPN적계산궤경건계통가고성건모여분석방법.재급출GSPN형식화정의화모형요소도형화표시화용법적기출상,건립료계산궤경건계통기본단원GSPN모형,해모형괄용우묘술결구간단적계산궤경건계통,이대우라집결구관계복잡적계산궤경건계통,유우기건모립도과우정세세필조성조합폭작문제.위차,대해계산궤경건계통기본단원GSPN모형진행정화설계,득도적정화모형가이용우묘술결구복잡적계산궤경건계통.실례연구험증료소제방법적유효성,가이위계산궤경건계통가고성설계제공이론지도.
@@@@This paper presents a new reliability modeling and analysis method of computer hardware system (CHS) based on generalized stochastic Petri net (GSPN ) . The formal definition ,graphical representation and usage of GSPN are given .The GSPN model of computer hardware system basic unit (CHSBU ) which can describe simple structure CHS is established . Aiming at the combination explosion problem in the complicated structure CHS application ,the GSPN refined model of CHSBU which can describe complicated structure CHS is established by using model refinement technology . The proposed method are validated by the case study . This work can give theoretical direction for reliability design of CHS .