论文部分内容阅读
系统是相互作用的结构和功能的单位,是动态且复杂的整体,随着金融、教育、医疗、科研等领域对系统的广泛应用,系统的规模愈加庞大,结构也愈加复杂。确保相对冗杂的动态系统在具体的运行过程当中呈现出良好的稳定性以及安全性是当今形势下计算机相关领域中一个重要的课题。动态故障树分析法能够有效对系统的安全性进行分析,目前被广泛应用在动态系统的可靠性分析中。对于动态系统,传统形式的静态故障树无法描述其中的时序逻辑关系,动态故障树引入了动态逻辑门合理的解决了这一问题。然而,动态故障树缺少精确的生成方法,容易导致动态故障树构建过程中准确性降低,在建模过程中潜在问题被发现的难度较高,进而降低了对动态系统展开的一系列可靠性分析结果的准确性。此外,因为动态故障树分析法本身存在相对较为复杂的动态特性,现阶段展开动态故障树定量分析的局限性较大,不仅需要专业人员展开相应的分析,而且涉及到的求解时间较长,也较难达到高精度的要求,故相关领域迫切需求一种相对完善的动态故障树定量分析方法。为有效解决上述问题,本文基于物料表(BOM)提出一种BOM表与子件表相结合的动态故障树搭建方式,根据BOM表的自动加载特性灵活配置故障树的生成,保证了动态故障树构建过程的可靠性;其次给出一种基于Goodman-Weare马尔科夫蒙特卡洛(GWMCMC)方法的动态故障树定量分析方法,不仅能够有效提升动态故障树定量分析呈现出的精度,而且还能有效降低相应的人力投入,相应的时间效率也有效提升。本文的主要研究内容:(1)通过系统分析,提出一种基于系统组件BOM表的系统建模方式,使其能够支持动态系统的建模,具备一定灵活配置的功效,进一步提出一种有效的生成动态故障树的方式;(2)针对灵活配置建模的动态故障树,基于马尔科夫蒙特卡洛方法,给出改进的定量分析的GWMCMC方法及定量分析过程;(3)把故障树划分为静态动态独立子树,分别采用二元决策图(BBD)结合GWMCMC方法的方式,针对灵活配置建模的整个故障树进行定量分析,并针对定位定向系统展开相应的案例分析,证明本文所提出的分析方法具备一定的有效性及可行性。