本项目以大规模静态失效关联系统故障树BDD 分析方法为研究对象，针对已有研究中存在的变量排序和BDD 生成等问题进行研究。项目研究团队严格按照项目计划书的研究计划，开展了本项目的研究工作。项目的研究内容，与项目计划书的任务规划一致，未做调整和变动。项目的完成情况符合项目计划书原订的研究目标和指标要求。.项目研究所取得的成果有：建立了静态失效关联故障树特征参数，并构造不同结构特征类的随机静态失效关联故障树基准库，为策略库分级评价提供测试基准；建立了基于静态失效关联故障树基准库和设计-评价-设计迭代机制的策略库设计流程，并构造精简高效策略库，为大规模静态失效关联系统故障树BDD分析提供变量排序策略支持；建立了面向各种故障树结构特征，允许任意变量排序，并利用运行时关联信息动态矫正错误节点的自适应高效系统BDD生成算法，提高了大规模静态失效关联系统故障树BDD分析效率。这些研究成果对于在大规模静态失效关联系统故障树分析中成功应用BDD 方法有着重要的理论意义和应用价值。