论文部分内容阅读
针对仿真系统中传统故障树建模的不足，从基本故障树理论入手，提出了基于DFLM的线性模块搜索算法，重点分析了动态故障树分析(DFTA)方法及其采用的逻辑门，并结合一个复杂仿真系统实例，通过对各个模块的分别建模，得出系统级动态故障树，并采用线性模块化搜索算法对故障树进行了模块化处分析。最后得出结论，该方法能够结合硬件、软件和人的因素，对仿真系统中的动态行为作充分分析。