SDG自动生成故障树软件的研究与开发

• 作者: 吴重光 夏涛 张贝克 张钊谦 李安峰
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: 故障树自动生成 定性仿真 符号定向图 Lapp&Powers算法 推理机
• 年，卷（期）: 2003,（10）
• 所属期刊栏目: 符号定向图(SDG)定性仿真与安全科学技术专辑
• 页码范围: 1391-1393
• 页数: 3页
• 分类号: TP391.77
• 字数: 3172字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-731X.2003.10.011

摘要

故障树分析法是分析系统可靠性的一种有效方法.对于复杂系统而言,进行故障树自动生成十分重要.本文从基于符号定向图的定性仿真方法出发,开发了一套可视化的故障树自动生成软件.本软件由人机交互接口、信息处理中心和推理机三个部分组成,能够支持故障树自动生成的全过程.在软件核心部分推理机的设计中,针对传统的Lapp&Powers算法进行了两点改进.首先,我们提出一种基于反向搜索索引及操作符模块化组态的全面快速的定性推理机制;其次,我们提出了一种新颖高效的矩阵开拓算法,用于搜索SDG模型中的负反馈回路及前馈回路.本文最后给出一个硝酸换热器的故障树自动生成过程,证明了本软件的实用性和高效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张贝克	北京化工大学信息科学与技术学院	98	1277	20.0	31.0
2	吴重光	北京化工大学信息科学与技术学院	99	1768	25.0	37.0
3	夏涛	北京化工大学信息科学与技术学院	28	587	12.0	24.0
4	李安峰	北京化工大学信息科学与技术学院	6	247	6.0	6.0
5	张钊谦	北京化工大学信息科学与技术学院	7	253	7.0	7.0