技术总结
本发明提供了一种基于概率模型检验的设计模式可靠性分析方法，包括：确定系统外部冲击的等级数量和冲击等级对系统影响判断条件；建立系统混合极端运行冲击模型；对混合极端运行冲击模型进行形式化描述，建立冲击层连续时间马尔科夫模型；对不同设计模式抽象进行形式化描述，建立设计模式层连续时间马尔科夫模型；建立冲击层和设计模式层的系统状态和状态转移速率对应关系，构建整体连续时间马尔科夫模型；定义系统的连续随机逻辑属性规约公式；将整体连续马尔科夫模型和连续随机逻辑属性规约输入PRISM，对设计模式进行可靠性验证。本发明可对考虑冲击作用的不同设计模式进行可靠性量化分析和评价，辅助研究人员进行设计模式层面改进及最终决策。式层面改进及最终决策。式层面改进及最终决策。
技术研发人员：杨顺昆 邵麒 苟晓冬 杨明浩 段峙宇
受保护的技术使用者：北京航空航天大学
技术研发日：2020.12.16
技术公布日：2021/3/8