基于无关性覆盖模型的动态故障树可靠性分析方法-k66凯时

申请/专利权人：武汉理工大学

申请日：2021-07-30

公开（公告）日：2024-03-08

公开（公告）号：cn113656288b

主分类号：g06f11/36

分类号：g06f11/36

优先权：

专利状态码：有效-授权

法律状态：2024.03.08#授权;2021.12.03#实质审查的生效;2021.11.16#公开

摘要：本发明涉及一种基于无关性覆盖模型的动态故障树可靠性分析方法，包括如下步骤：s1、利用基于时序结构函数的代数框架对动态故障树进行解析，从而得到动态故障树的基于覆盖失效事件的代数结构函数；s2、针对代数结构函数，利用改进后的最小无关触发的计算方法得出每个变量的最小无关触发；s3、根据步骤s2中的每个变量的最小无关触发，获取动态故障树基本事件关于未覆盖失效的限制表达式；s4、根据步骤s2中的代数结构函数和步骤s3中的未覆盖失效的表达式，获取基于代数结构函数的系统无关性覆盖模型的表达式。本发明扩展了无关性模型在动态系统中的应用，适用于任意失效时间分布的系统和静态故障树，具有良好的普适性。

主权项：1.一种基于无关性覆盖模型的动态故障树可靠性分析方法，其特征在于，包括如下步骤：s1、利用基于时序结构函数的代数框架对动态故障树进行解析，从而得到动态故障树的基于覆盖失效事件的代数结构函数；s2、针对代数结构函数，利用改进后的最小无关触发的计算方法得出每个变量的最小无关触发；所述步骤s2中基于代数结构函数的最小无关触发的计算依靠如下方法：首先，令为表示系统失效的动态故障树的代数结构函数，为中的一个时序变量且表示系统组件x的覆盖失效，与分别表示当在某一时刻t等于1和0时的赋值，利用以下推导的化简规则，在任意的时刻t： 1 3 4 5 6分别求出与的赋值，和均为代数结构函数的时序变量；然后，再令，则；表示中的所有质蕴含式；表示中的所有正质蕴含式，即不含非变量的质蕴含式；对于，如果为非单调函数可先利用一致性过程得出所有的质蕴含式，然后再排除含非变量的质蕴含式，那么时序变量的最小无关触发为中所有正质蕴含式除去中的所有质蕴含式的结果；s3、根据步骤s2中的每个变量的最小无关触发，获取动态故障树基本事件关于未覆盖失效的限制表达式；s4、根据步骤s2中的代数结构函数和步骤s3中的未覆盖失效的表达式，获取基于代数结构函数的系统无关性覆盖模型的表达式，其通用表达式为：；s5、根据步骤s4中的基于代数结构函数的系统无关性覆盖模型的表达式，利用基于不相交积和的方法获取基于代数结构函数的不相交积和，从而进行动态故障树顶事件概率的计算。

全文数据：

权利要求：

百度查询：

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。