一种基于模型检测技术的复杂机电系统可靠性评估方法

摘要

本发明公开了一种基于模型检测技术的复杂机电系统可靠性评估方法，通过对复杂机电系统进行可靠性分析形式化建模以及可靠性要求的形式化表达，利用模型检测工具由计算机自动判断系统是否满足预期设定的可靠性指标并且求解系统可靠度以及各种故障模式发生的概率。该方法克服了传统机电系统可靠性评价方法建模、评估过程复杂的缺点，提高了复杂机电系统可靠性评估的效率和准确性。