提出一种基于广义随机Petri网(Generalized Stochastic Petri Net,GSPN)的软件可靠性分析方法;在探讨了GSPN形式化定义及其模型要素的使用方法基础上,建立了一种软件基本单元GSPN模型,该模型具有描述粒度精确和易于理解的优点,但是当描...提出一种基于广义随机Petri网(Generalized Stochastic Petri Net,GSPN)的软件可靠性分析方法;在探讨了GSPN形式化定义及其模型要素的使用方法基础上,建立了一种软件基本单元GSPN模型,该模型具有描述粒度精确和易于理解的优点,但是当描述复杂软件系统时存在状态空间爆炸的问题;基于此,进一步采用模型抽象与精化技术,设计了一种软件基本单元GSPN紧凑模型,该模型可以有效描述复杂软件系统的可靠性动态行为;最后,以某工程项目软件子系统为例,说明了该紧凑模型的应用过程,验证了所提方法的有效性。展开更多
The general availability growth models for large scale complicated repairable system such as electric generating units, power station auxiliaries, and transmission and distribution installations are presented. The cal...The general availability growth models for large scale complicated repairable system such as electric generating units, power station auxiliaries, and transmission and distribution installations are presented. The calculation formulas for the maintenance coefficient, mathematical expressions for general availability growth models, ways for estimating, and fitting on checking the parameters of the model are introduced. Availability growth models for electric generating units, power station auxiliaries, and transmission and distribution installations are given together with verification examples for availability growth models of 320–1000 MW nuclear power units and 1000 MW thermal power units, 200–1000 MW power station auxiliaries, and 220–500 kV transmission and distribution installations. The verification results for operation availability data show that the maintenance coefficients for electric generating units, power station auxiliaries, transmission and distribution installations conform to the power function, and general availability growth models conform to rules of availability growth tendency of power equipment.展开更多
文摘提出一种基于广义随机Petri网(Generalized Stochastic Petri Net,GSPN)的软件可靠性分析方法;在探讨了GSPN形式化定义及其模型要素的使用方法基础上,建立了一种软件基本单元GSPN模型,该模型具有描述粒度精确和易于理解的优点,但是当描述复杂软件系统时存在状态空间爆炸的问题;基于此,进一步采用模型抽象与精化技术,设计了一种软件基本单元GSPN紧凑模型,该模型可以有效描述复杂软件系统的可靠性动态行为;最后,以某工程项目软件子系统为例,说明了该紧凑模型的应用过程,验证了所提方法的有效性。
文摘The general availability growth models for large scale complicated repairable system such as electric generating units, power station auxiliaries, and transmission and distribution installations are presented. The calculation formulas for the maintenance coefficient, mathematical expressions for general availability growth models, ways for estimating, and fitting on checking the parameters of the model are introduced. Availability growth models for electric generating units, power station auxiliaries, and transmission and distribution installations are given together with verification examples for availability growth models of 320–1000 MW nuclear power units and 1000 MW thermal power units, 200–1000 MW power station auxiliaries, and 220–500 kV transmission and distribution installations. The verification results for operation availability data show that the maintenance coefficients for electric generating units, power station auxiliaries, transmission and distribution installations conform to the power function, and general availability growth models conform to rules of availability growth tendency of power equipment.
