以广义随机Petri网(Generalized Stochastic Petri Net,GSPN)为数学工具,提出一种基于GSPN的计算机硬件系统可靠性建模与分析方法.在给出GSPN形式化定义和模型要素图形化表示和用法的基础上,建立了计算机硬件系统基本单元GSPN模型,该模...以广义随机Petri网(Generalized Stochastic Petri Net,GSPN)为数学工具,提出一种基于GSPN的计算机硬件系统可靠性建模与分析方法.在给出GSPN形式化定义和模型要素图形化表示和用法的基础上,建立了计算机硬件系统基本单元GSPN模型,该模型适用于描述结构简单的计算机硬件系统,而对于逻辑结构关系复杂的计算机硬件系统,由于其建模粒度过于精细势必造成组合爆炸问题.为此,对该计算机硬件系统基本单元GSPN模型进行精化设计,得到的精化模型可以用于描述结构复杂的计算机硬件系统.实例研究验证了所提方法的有效性,可以为计算机硬件系统可靠性设计提供理论指导.展开更多
文摘在经济发展的过程中,机动车的数量越来越多,那么在这样的情况下,机动车的安全事故数量也在随之增加,其中有很大一部分是因为机动车自身存在的问题,为了避免这些问题,就需要应用计算机控制系统(正文中简称为CNCS,即英文Computer network control system的缩写)来进行检测。文章将研究CNCS对于检测机动车的重要性,并对其具体的应用进行一个归纳,为在检测机动车的环节可以更好地应用CNCS提供有力的参考。
文摘以广义随机Petri网(Generalized Stochastic Petri Net,GSPN)为数学工具,提出一种基于GSPN的计算机硬件系统可靠性建模与分析方法.在给出GSPN形式化定义和模型要素图形化表示和用法的基础上,建立了计算机硬件系统基本单元GSPN模型,该模型适用于描述结构简单的计算机硬件系统,而对于逻辑结构关系复杂的计算机硬件系统,由于其建模粒度过于精细势必造成组合爆炸问题.为此,对该计算机硬件系统基本单元GSPN模型进行精化设计,得到的精化模型可以用于描述结构复杂的计算机硬件系统.实例研究验证了所提方法的有效性,可以为计算机硬件系统可靠性设计提供理论指导.