[发明专利]基于三元决策图的容错系统通用分析方法在审
申请号: | 201611154445.0 | 申请日: | 2016-12-14 |
公开(公告)号: | CN106650076A | 公开(公告)日: | 2017-05-10 |
发明(设计)人: | 向剑文;周四维;叶璐瑶 | 申请(专利权)人: | 武汉理工大学 |
主分类号: | G06F17/50 | 分类号: | G06F17/50 |
代理公司: | 武汉开元知识产权代理有限公司42104 | 代理人: | 潘杰,刘琳 |
地址: | 430070 湖*** | 国省代码: | 湖北;42 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了基于三元决策图的容错系统通用分析方法,将无关性组件的检测与一般的故障(覆盖故障)检测两者有机的结合,提出了一种通用的三元决策图既可以针对无关性覆盖模型又可以应用于传统的不完全错误覆盖模型。本发明与现有技术相比优点在于解决了传统不完全覆盖模型无法隔离无关性组件的问题,并可以处理含非事件,大大降低了系统面临的风险,提高了系统的可靠性。本发明具有更好的普适性,其三元决策图的基本事件可以扩充至6种,既可以针对无关性覆盖模型也可以对传统的不完全覆盖模型也可以做出精准的分析,即是一个通用的解决方案。 | ||
搜索关键词: | 基于 三元 决策 容错 系统 通用 分析 方法 | ||
【主权项】:
基于三元决策图的容错系统通用分析方法,其特征在于:包括如下步骤:1)构建基于系统的故障树布尔表达式模型f,其中包括n个系统组件xi,i、n为自然数,且i=1~n;2)构建所述每个系统组件xi的最小无关触发布尔表达式G(xi);3)构建所述最小无关触发布尔表达式G(xi)的二元决策图;4)根据所述二元决策图计算每个系统组件xi的无关触发布尔表达式的最小蕴含式PI(xi);5)构建故障树布尔表达式模型f的最小割集6)根据所述系统组件xi的无关触发布尔表达式的最小蕴含式PI(xi)和最小割集求每个系统组件xi发生故障时导致的无关组件为系统组件xi发生覆盖故障,;7)将所述步骤6)的结果代入系统无关性覆盖模型ICM,得到无关性覆盖表达式ficm;8)根据所述无关性覆盖表达式构建三元决策图,并根据所述三元决策图对系统做定性与定量分析。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于武汉理工大学,未经武汉理工大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201611154445.0/,转载请声明来源钻瓜专利网。