基于模型的故障树自动生成方法

基于模型的安全性分析方法能够提高复杂安全关键系统的建模与分析能力.目前故障树被广泛应用于系统安全及可靠性分析中.故障树分析(Fault Tree Analysis,FTA)是一种自上而下的演绎式失效方法,根据故障树分析系统中不希望出现的状态,系统工程中可以尽早确定当前系统模型可能出现的问题并及时避免.面向一类安全关键性系统领域中的系统安全性建模语言AltaRica,基于其语义模型卫士转换系统(Guarded Transition Systems,GTS),设计了从平展化的GTS模型自动构造系统故障树的方法,节省了人工构造故障树的时间,从而加快了系统分析的进度.根据AltaRica3.0语言的语义规则,提取平展化GTS模型的数据构建实例对象;设计了GTS模型划分算法,得到一组独立GTS模型与一个独立断言,通过邻接矩阵构建独立GTS的可达图并获取关键事件序列.最后将处理结束的独立GTS与独立断言相结合,通过断言传播算法得到整个系统的状态及关键事件序列,生成系统故障树.最后通过实例来检验算法的有效性,结果表明,该算法能有效完成从平展化GTS模型自动生成故障树.     

基于Internet的故障树自动生成系统的研究

目前,计算机自动生成故障树技术的开发已经得到了广泛关注。为了增强故障树的可读性,简化大系统故障树生成的复杂性,并能够实现故障树生成技术的资源共享,本文介绍了一种基于Internet、利用JSP/Servlet技术的远程控制系统故障树生成系统的体系结构,并阐述了该体系结构下系统主要功能模块。最后,结合一个液位控制系统的例子验证了基于Inter-net的故障树生成系统的有效性和可行性。     

控制系统故障树自动建造方法的研究

在对建树过程进行规范化描述的基础上,阐述了控制系统中反馈、前馈、分流和汇流 等复杂结构在多状态故障树自动建造中的识别及处理算法.在此基础上形成的专家系统软 件,可直接利用已有部件模型库,按指定顶事件状态自动生成故障树,节约了人力和时间,对 FTA技术的推广有一定促进作用.     

基于故障配置的故障树生成

故障树分析是提高系统安全性和可靠性的有效方法。传统的人工故障树生成方式难以解决当前系统的庞大规模与复杂性的问题,且容易出错。为此,提出基于故障配置的故障树生成方法,引入软件产品线的可变性管理,用于系统故障建模与形式化分析。首先,定义故障特征图模型用于刻画系统故障间的约束关系,基于Kripke结构定义故障标记迁移系统来描述系统的行为;然后,基于模型的语义建立通过模型检测生成故障树的过程;最后,通过时序逻辑描述系统安全属性,利用模型检测工具SNIP验证安全属性进而生成故障树。案例研究验证了该方法的有效性。     

一种基于UML类图和活动图的故障树生成方法

针对UML活动图在生成故障树的过程中只能反映活动事件流故障导致的系统失效,不能反映系统静态状态故障的问题,提出了一种活动图结合类图生成故障树的方法。在原有活动图的基础上,使用类图增加系统静态状态信息,设计活动图和类图到故障树模型的转换规则,将活动图中动态行为信息和类图静态状态信息转化为故障树中的节点要素。基于转换规则设计算法逆向遍历活动图和类图,自顶向下生成故障树。经过实例建模生成故障树,表明该方法能反映系统的动态行为和静态状态两方面的故障信息,为故障树生成提供了一种新的有效途径。     

TEE：一个用于故障树自动生成的专家系统环境

故障树的自动生成是系统可靠性分析家们十分关心的问题。本文介绍了一个故障树自动生成的专家系统环境ＴＥＥ。作为一个开发故障树自动生成专家系统的工具，ＴＥＥ仅可以用来开发为一般复杂系统自动生成故障树的专家系统，也可以用来开发为带控制环的复杂系统自动生成故障树的专家系统。本文讨论了ＴＥＥ的总体结构、知识库组织和知识表示、推理机的算法设计等问题。     

故障树实时诊断及应用方法研究

针对传统故障树生成与诊断方法过于复杂的问题,提出了一套适合工程实践用的故障树生成及诊断模型.利用虚拟仪器技术研制了可视化的故障树自动生成与诊断软件,并利用该软件程序自动调用相应的虚拟仪器完成对该检测点的测试和诊断.实际应用表明,该方法满足设计要求,可无缝移植到其他数字化仪器设备的故障诊断过程中.     

基于ICD的接口通讯程序代码自动生成技术

为快速开发嵌入式应用中的接口通讯程序,提高其效率和可靠性,本文提出了一种基于ICD的代码自动生成技术.首先确定了目标代码的形式,通过设计系统结构、建立驱动模型和代码生成单元结构,最终实现了代码生成器.本文设计的代码生成器,能够根据ICD数据库自动生成符合ANSI C标准的接口通讯程序,并在某航天工程的集成仿真测试系统中得到应用验证.     

基于键合图模型的新型故障树故障诊断方法

针对传统故障树的生成及应用缺陷,研究了基于键合图模型的新型故障树故障诊断方法.该方法根据系统键合图模型推导出时间因果图,进而建立系统故障树,由此产生一个用于反映系统行为变化的假设故障集合;同时,推理预测每个故障的后效特征,并与观测特征相比较,修正假设故障集,最终定位故障源.仿真结果验证了此故障诊断方法应用的可行性和故障诊断的准确性,具有广泛的应用前景.     

基于邻接矩阵的全文索引模型

文本信息的急剧增加和越来越多的用户通过在线方式获取文本信息,使得查询效率成为信息检索系统一个突出瓶颈.提出两种新型全文索引模型,用于改善信息检索系统的查询效率.通过使用有向图表示文本串,引出关于文本串的邻接矩阵;采用两种不同的方式实现文本串邻接矩阵,导出了两种基于邻接矩阵的新型全文索引模型,即基于邻接矩阵的倒排文件和基于邻接矩阵的PAT数组.给出了基于新模型的文本查询算法;分析了新模型的存储空间和查询时间的开销,并分别与两种传统索引模型进行了比较.对实际文本库进行了测试以证实新模型的效能.新模型能够以相对于原文较小的空间代价获得较大幅度的查询效率的提高,因此适合于在大规模文本检索系统中应用.