[发明专利]基于概率模型检验的设计模式可靠性分析方法在审
| 申请号： | 202011487646.9 | 申请日： | 2020-12-16 |
| 公开（公告）号： | CN112464496A | 公开（公告）日： | 2021-03-09 |
| 发明（设计）人： | 杨顺昆;邵麒;苟晓冬;杨明浩;段峙宇 | 申请（专利权）人： | 北京航空航天大学 |
| 主分类号： | G06F30/20 | 分类号： | G06F30/20;G06F111/08;G06F111/10;G06F119/02 |
| 代理公司： | 北京慕达星云知识产权代理事务所(特殊普通合伙) 11465 | 代理人： | 符继超 |
| 地址： | 100191*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了一种基于概率模型检验的设计模式可靠性分析方法，包括：确定系统外部冲击的等级数量和冲击等级对系统影响判断条件；建立系统混合极端运行冲击模型；对混合极端运行冲击模型进行形式化描述，建立冲击层连续时间马尔科夫模型；对不同设计模式抽象进行形式化描述，建立设计模式层连续时间马尔科夫模型；建立冲击层和设计模式层的系统状态和状态转移速率对应关系，构建整体连续时间马尔科夫模型；定义系统的连续随机逻辑属性规约公式；将整体连续马尔科夫模型和连续随机逻辑属性规约输入PRISM，对设计模式进行可靠性验证。本发明可对考虑冲击作用的不同设计模式进行可靠性量化分析和评价，辅助研究人员进行设计模式层面改进及最终决策。 | ||
| 搜索关键词： | 基于 概率 模型 检验 设计 模式 可靠性分析 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京航空航天大学，未经北京航空航天大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202011487646.9/，转载请声明来源钻瓜专利网。
