考虑失效时序的复杂系统安全性分析方法研究

摘要

静态的系统安全性分析方法在对含有失效时序关系的复杂系统进行安全性分析时，会在分析过程中丢失失效事件发生的时序信息，因此分析结果中可能含有潜在的错误。同时，现有可以考虑时序关系的分析方法，存在只适合进行定量分析或建模规模大，求解困难等问题。因此，本文研究一种考虑失效时序关系的复杂系统安全性分析方法，增加了同时与门（SAND）的处理能力，不仅适合对复杂系统进行定性的分析，而且分析过程清晰，结果更加准确。
　　本文首先总结了复杂系统的失效特点，对现有可以考虑失效时序关系的分析方法从分析原理、分析流程及不足方面进行了评述，说明本文方法提出的必要性。该方法利用系统结构分层思想，以状态图作为描述工具，描述系统各层级失效状态迁移关系，同时，根据状态图模型，利用三种时序逻辑门，对失效时序信息进行准确逻辑表达，建立复杂系统的失效时序关系模型，提出基于时序逻辑规则的求解算法，以求解导致系统级失效的最小割序。最后，将本方法用于实例部分，通过和传统分析方法求解结果进行对比，验证方法的准确性和适用性。

目录

注释表

缩略词

第一章 绪论

1.1 选题背景

1.2 研究进展

1.3 研究内容

1.4 论文结构

第二章 复杂系统安全性分析方法评述

2.1 引言

2.2 复杂系统失效特点

2.3 可考虑失效时序的分析方法

2.4 本章小结

第三章 考虑失效时序的复杂系统安全性分析方法

3.1 引言

3.2 分析方法的基本组成及失效时序性描述

3.3 时序逻辑约定及语义

3.4 时序逻辑化简规则及证明

3.5 失效时序关系模型建立

3.6 最小割序求解

3.7 本章小结

第四章 应用实例分析

4.1引言

4.2 系统结构分层及减速功能实现

4.3 系统失效状态识别

4.4 “减速功能”失效行为描述

4.5 系统失效时序关系模型的建立

4.6 时序表达式的化简与最小割序求解

4.7 本章小结

第五章 总结与展望

5.1 总结

5.2 展望

参考文献

致谢

在学期间的研究成果及发表的学术论文

附录 最小割序求解算法代码（部分）