基于概率模型检测的机电系统动态可靠性评价

摘要/Abstract

摘要： 为克服传统动态可靠性分析方法的不足，提出基于概率模型检测的机电系统动态可靠性评价方法。介绍了概率模型检测的概念及概率模型检测工具PRISM。用形式化建模语言描述系统单元的状态变迁过程，建立了机电系统的形式化模型。利用连续随机逻辑对机电系统可靠性评价指标进行形式化描述，建立了可靠性指标的规约表达式，借助概率模型检测工具自动解算可靠性指标，实现了基于概率模型检测的机电系统动态可靠性评价。所提方法建模过程简单，能有效提高机电系统动态可靠性分析的效率。

关键词: 动态可靠性, 可靠性评价, 概率模型检测, 机电系统

Abstract: To overcome the shortcomings of the traditional dynamic reliability analysis methods， a dynamic reliability evaluation approach for electromechanical systems was proposed based on probabilistic model checking.The concept of probabilistic model checking and a probabilistic model checker PRISM were introduced. State transitions of system components were represented using formal modeling language provided by the model checker， from which the formal model of electromechanical systems was built. Reliability indices were described by means of continuous stochastic logic formulas to establish the formal specifications of the reliability indices. Based on the formal model and formal specifications， reliability indices were computed automatically with the probabilistic model checker， and therefore dynamic reliability evaluation was achieved based on probabilistic model checking. The approach presented herein simplifies the modeling processes and improves the efficiency of dynamic reliability analysis for electromechanical systems.

Key words: dynamic reliability, reliability evaluation, probabilistic model checking, electromechanical system

中图分类号:

TH122

侯翌1;杨培林1;徐凯1;刘青2;樊娟妮2. 基于概率模型检测的机电系统动态可靠性评价[J]. 中国机械工程.

HOU Yi1;YANG Peilin1;XU Kai1;LIU Qing2;FAN Juanni2. Dynamic Reliability Evaluation Approach for Electromechanical Systems Based on Probabilistic Model Checking[J]. China Mechanical Engineering.

参考文献

[1]DISTEFANO S， PULIAFITO A. Reliability and Availability Analysis of Dependent-dynamic Systems with DRBDs[J]. Reliability Engineering & System Safety， 2009， 94（9）： 1381-1393.
[2]陶俊勇，王勇，陈循. 复杂大系统动态可靠性与动态概率风险评估技术发展现状[J].兵工学报，2009，30（11）：1533-1539.
TAO Junyong， WANG Yong， CHEN Xun. A Survey of the Complex Large System Dynamic Reliability and Dynamic Probabilistic Risk Assessment[J]. Acta Armanentarii. 2009，30（11）：1533-1539.
[3]张振友，郭强，黄立坡，等. 基于马尔可夫过程的武器系统相关失效分析[J]. 火力与指挥控制， 2012， 37（7）： 117-119.
ZHANG Zhenyou， GUO Qiang， HUANG Lipo， et al. Analysis of Weapon Systems Subject to Correlative Cause Failures Based on Markov Process[J]. Fire Control & Command Control， 2012， 37（7）：117-119.
[4]BOUISSOU M， BON J L. A New Formalism that Combines Advantages of Fault-trees and Markov Models： Boolean Logic Driven Markov Processes[J]. Reliability Engineering & System Safety， 2003： 82（2）： 149-163.
[5]CHIACCHIO F， COMPAGNO L， D'URSO D， et al. An Open-source Application to Model and Solve Dynamic Fault Tree of Real Industrial Systems[C]//IEEE International Conference on Software. Benevento， Italy， 2012： 1-8.
[6]MONTANI S， PORTINALE L， BOBBIO A，et al. A Tool for Automatically Translating Dynamic Fault Trees into Dynamic Bayesian Networks[C]//IEEE Reliability & Maintainability Symposium. Newport Beach， USA， 2006： 434-441.
[7]石健，王少萍，王康. 基于GSPN的机载液压作动系统可靠性模型[J]. 航空学报， 2011， 32（5）： 920-933.
SHI Jian， WANG Shaoping， WANG Kang. GSPN-based Reliability Model of Aircraft Hydraulic Actuator System[J]. Acta Aeronautica et Astronautica Sinica， 2011， 32（5）： 920-933.
[8]CLARKE E M， GRUMBERG O， PELED D A. Model Checking[M]. Cambridge：MIT Press， 2000.
[9]林惠民，张文辉.模型检测：理论、方法与应用[J] 电子学报， 2002，30（12A）：1907-1912.
LIN Huimin， ZHANG Wenhui. Model Checking： Theories， Techniques and Applications[J]. Acta Electronica Sinica， 2002，30（12A）：1907-1912.
[10]贾仰理，李舟军，邢建英，等.基于模型检验的构件验证技术研究进展[J].计算机研究与发展， 2011，48（6）：913-922.
JIA Yangli， LI Zhoujun， XING Jianying， et al. Advances in the Component Verification Technology Based on Model Checking[J]. Journal of Computer Research and Development，2011，48（6）：913-922.
[11]KWIATKOWSKA M， NORMAN G， PARKER D. Controller Dependability Analysis by Probabilistic Model Checking[J]. Symposium on Information Control Problems in Manufacturing， 2004，15：112-119.
[12]KWIATKOWSKA M. Model Checking for Probability and Time： from Theory to Practice[C]// Logic in Computer Science， Proceedings of 18th Annual IEEE Symposium. Ottawa， Canada， 2003： 351-360.
[13]GRUNSKE L， COLVIN R， WINTER K. Probabilistic Model-checking Support for FMEA[C]// Quantitative Evaluation of Systems， Fourth International Conference on the Quantitative Evaluation of Systems. Edinburgh， UK， 2007： 119-128.
[14]KWIATKOWSKA M， NORMAN G， PARKER D. PRISM 4.0： Verification of Probabilistic Real-time Systems[C]//Proc. 23rd International Conference on Computer Aided Verification. Snowbird， USA， 2011： 585-591.
[15]杨莳百，熊景寰，孙启宏. 电力系统可靠性分析基础及应用[M]. 北京：水利电力出版社， 1986： 147-149.
YANG Shibai， XIONG Jinghuan， SUN Qihong. Foundation and Application of Power System Reliability Analysis [M]. Beijing： China Water Power Press， 1986：147-149.