摘要：故障树自动生成技术在故障树生成中,根据控制系统流程图和有向图确定系统的邻接矩阵,利用邻接矩阵描述系统各子要素之间的直接关系,并求得的系统可达矩阵。通过搜索顶部结构各节点并结合故障树结构模型,从数据库中调用相关的因果模型,自动生成系统故障树。应用该技术大大增强了故障树的可读性,简化了系统故障树生成的复杂性,为故障树生成节省大量重复劳动,使生成的故障树具有更强的理论依据和可行性。

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