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