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

摘要

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