摘要
为克服传统动态可靠性分析方法的不足,提出基于概率模型检测的机电系统动态可靠性评价方法。介绍了概率模型检测的概念及概率模型检测工具PRISM。用形式化建模语言描述系统单元的状态变迁过程,建立了机电系统的形式化模型。利用连续随机逻辑对机电系统可靠性评价指标进行形式化描述,建立了可靠性指标的规约表达式,借助概率模型检测工具自动解算可靠性指标,实现了基于概率模型检测的机电系统动态可靠性评价。所提方法建模过程简单,能有效提高机电系统动态可靠性分析的效率。
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.
作者
侯翌
杨培林
徐凯
刘青
樊娟妮
HOU Yi;YANG Peilin;XU Kai;LIU Qing;FAN Juanni(School of Mechanical Engineering,Xi’an Jiaotong University,Xi’an,710049;No.1Center of Measuring and Physical-chemical Performance Testing,Northwestern Industrial Group Co.,Xi’an,710043)
出处
《中国机械工程》
EI
CAS
CSCD
北大核心
2019年第5期549-553,共5页
China Mechanical Engineering
基金
国家自然科学基金资助项目(51375365)
关键词
动态可靠性
可靠性评价
概率模型检测
机电系统
dynamic reliability
reliability evaluation
probabilistic model checking
electromechanical system
