题目：基于功能共振理论的安全性分析及控制策略研究

当前，随着系统规模越来越大，结构愈加复杂，一旦发生事故，对人员、财产和环境造成的影响重大。而目前安全性分析方法极大程度上依赖分析人员的经验知识及主观判断，效率欠佳，分析不够彻底，不能保证分析的完备性和客观性。本文在功能共振分析方法的基础上，提出利用模型检查技术识别危险演化路径的方法，以保证安全性分析的客观、高效和完备性，并通过对危险要素的控制策略研究，降低系统事故风险水平。

首先，在功能共振方法分析功能变异产生原因的基础上，对功能变异特性及传播方式进行研究。识别系统中涉及的功能及功能间的交互关系，为功能变异特性的分析提供基础；以功能的输出类型为索引，判断每个功能输出类型发生时的条件及情境，完成每个功能的变异特性分析；进而根据功能间的接口，对功能间的变异传播进行分析，并最终实现整个系统分析的一致性检验。

其次，利用模型检查技术可自动遍历系统状态组合和行为，并提供违反系统要求特性的反例的优势，建立识别危险演化路径的方法。在功能变异特性分析结果的基础上，利用模型检查工具对系统功能行为进行建模；通过功能危险分析建立安全约束并据此在模型检查工具中建立事故判据；根据仿真结果判断影响事故发生的因素，参照工程实际制定消除事故的控制策略，并将控制措施映射到模型中，检验措施的有效性。

最后，本文以北欧航空686号班机事故为对象进行案例分析，分析该事故涉及功能的变异特性，建立危险演化路径识别方法，根据仿真结果分析事故影响因素，提出控制措施并对控制措施的有效性进行验证。