首页 专利交易 科技果 科技人才 科技服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

【发明授权】基于布尔条件事件的动态故障树静态分析方法及装置_广东海洋大学_202310962531.8 

申请/专利权人:广东海洋大学

申请日:2023-08-01

公开(公告)日:2024-05-03

公开(公告)号:CN117033035B

主分类号:G06F11/00

分类号:G06F11/00

优先权:

专利状态码:有效-授权

法律状态:2024.05.03#授权;2023.11.28#实质审查的生效;2023.11.10#公开

摘要:本发明公开了一种基于布尔条件事件的动态故障树静态分析方法及装置,该方法包括:基于预设的布尔条事件,对待分析的动态故障树进行静态转换,得到动态故障树对应的静态故障树;根据静态故障树,确定静态故障树对应的多个目标割集;根据所有目标割集,确定动态故障树对应的定性分析结果。可见,实施本发明能够基于布尔条事件对动态故障树进行静态转换,并通过得到的静态故障树的多个目标割集,实现对动态故障树的定性分析,这样,相较于传统的动态故障树的最小割序分析方式,可以减少路径爆炸的情况发生,进而有利于降低对动态故障树的分析复杂度,从而有利于提升对动态故障树的分析效率,以满足对当前系统的可靠性分析需求。

主权项:1.一种基于布尔条件事件的动态故障树静态分析方法,其特征在于,所述方法包括:基于预设的布尔条件事件,对待分析的动态故障树进行静态转换,得到所述动态故障树对应的静态故障树;根据所述静态故障树,确定所述静态故障树对应的多个目标割集;根据所有所述目标割集,确定所述动态故障树对应的定性分析结果;其中,所述根据所述静态故障树,确定所述静态故障树对应的多个目标割集,包括:根据所述静态故障树,建立所述静态故障树对应的二元决策图;根据所述静态故障树对应的二元决策图,确定所述二元决策图中包含的顶节点以及终结点;根据所述顶节点以及所述终结点,确定所述顶节点与所述终结点之间的所有路径;根据所有所述路径,对所有所述路径执行路径处理操作,得到处理后的所有所述路径,作为所述静态故障树对应的多个目标割集;所述路径处理操作包括路径合并操作和或路径化简操作;以及,所述方法还包括:根据所有所述路径,确定每个所述路径对应的不交化积项;根据每个所述路径对应的不交化积项,确定所有所述路径对应的不交化积项之和,并将所有所述路径对应的不交化积项之和确定为所述静态故障树对应的布尔函数所对应的目标函数;所述目标函数为多个不交化积项之和的函数;根据所述目标函数,对所述静态故障树进行顶层事件概率计算操作,得到所述静态故障树的顶层事件概率参数,作为所述动态故障树对应的定量分析结果。

全文数据:

权利要求:

百度查询: 广东海洋大学 基于布尔条件事件的动态故障树静态分析方法及装置

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