一种AltaRica3.0模型中类的平展化方法

AltaRica是一类面向复杂安全关键系统的建模语言,卫士转换系统(Guarded Transition System,GTS)是最新的Al-taRica 3.0的执行语义模型.AltaRica 3.0层次结构语法模型中类的平展化是将AltaRica 3.0语法模型转换为等价的平展化GTS语义模型过程中的一个重要步骤....     

一种基于航电系统架构模型的故障树自动建模方法

航电系统作为安全关键系统,利用故障树对其进行安全性分析十分必要。然而,传统的故障树依靠手工构建,主要依赖于分析人员对系统的理解程度;同时由于安全性分析人员与系统设计人员对系统的理解不同而很难保证失效模式与系统架构的一致性。针对上述问题,提出了一种基于航电系统架构模型的故障树自动建模方法:通过向系统设计模型中添加相应的安全性属性,并嵌入高级形式化语言AltaRica中的断言机制描述故障转移过程,由此形成安全性分析模型;基于此模型利用路径追溯的方法完成故障树自动建模。以某飞机驾驶舱显示系统为案例的研究结果表明,所提出的方法能基于航电系统架构模型有效进行故障树自动建模,从而确保了故障树分析结果的完整性。     

故障树自动生成技术的研究与实现

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

基于模型的多态故障树自动建造方法

在对大型复杂系统进行多态故障树分析时,传统手工搭建故障树的方法因其工作量大、易出错且复用性差等劣势,已经不能满足对大型复杂系统多态故障树的建造。为弥补手工建树的诸多缺点,计算机自动建树被可靠性工程师列为重点研究对象,但是目前还没有一种通用的故障树自动建造思路与算法,特别是在对反馈等复杂结构的处理分析上,现有研究未能给出规范的处理方法。为解决上述问题,论文提出以部件模型的方式将零件故障特性规范化封装,以实现对部件故障模型的自由组合和重复利用,并在此基础上提出一种可以解决串并联系统和有环系统的故障树自动建树算法流程,实现对复杂系统结构的处理。论文结合冷却系统,阐述系统建模过程和建树算法实现的步骤,建树结果的一致性验证了该方法的正确性。对于大型复杂系统的故障树建造,该方法可以在为可靠性工程师减轻工作量的同时,提高建树质量,有利于形成规范化的统一标准。     

基于FMECA的故障树分析自动生成方法研究

以产品设计阶段生成的FMECA（Failure Mode Effect and Criticality Analysis,故障模式、影响及危害性分析）为基础,对其故障诊断分析模型进行了比较深入、系统的研究,提出了一种基于FMECA的故障树分析系统自动生成的新方法。通过研究产品设计知识生成诊断知识,很好地缓解了诊断知识匮乏带来的窘境。与手工建树相比,这种方法可以高效、准确地得到具有较完备诊断知识的故障树。     

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

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

支持模型检测的故障树生成方法研究

论文运用时序逻辑对传统故障树进行形式化规约,并从中抽取出描述软件安全属性的时序逻辑公式,来支持对安全关键软件的模型检测。文章以对某一机载控制系统软件数据交互模块的模型检测为案例研究,实验结果证明本文提出方法有效。     

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

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

自动生成模拟电路故障树的一种方法

故障树法是应用于模拟电路故障诊断的一种常用方法;使用这种方法的关键是针对被测件(UUT)的不同故障模式,预先开发详细的故障树;传统的故障树开发方法是人工设计,其缺点是效率低,且容易出错;针对这一问题,提出了一种基于eXpress可测试性分析软件自动生成故障树的方法,描述了用eXpress自动生成故障树的过程,介绍了eXpress诊断报告的应用方法,通过示例验证了该方法的可行性和实用性;该方法的优点是能借助eXpress软件自动生成故障树、效率高、不易出错。     

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

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

一种基于扩展对象模型的界面自动生成方法

根据界面工程设计和自动化的需要,提出了基于FMP模型中的扩展对象模型的自动生成方法。这种方法是根据扩展对象模型的描述信息,在界面的特定区域中实现界面自动生成。实验结果表明,提出的方法具有相当的应用价值。     

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

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

一种二叉树结构型测试数据自动生成方法

目前关于软件测试数据自动生成的研究主要集中于数值和字符串型数据,对于指针和动态数据结构的测试生成研究较少.二叉树是一种广泛使用并具有代表性的动态数据结构,文中提出一种针对二叉树结构的测试数据自动生成方法,使用遗传搜索算法生成二叉树形态,同时利用约束求解确定其数据域的值.实验结果表明,该方法是行之有效的,其测试生成效果明显优于随机生成方法.     

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

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

基于模型的闭环系统故障检测的一种新方法

针对在闭环控制系统中,如何取得产生残差的最佳信号的问题,通过对单输入单输出闭环系统各种故障的Matlab仿真研究及结果分析,提出了一种基于模型的闭环系统故障检测的新方法。该方法把控制器的输出残差和系统的输出残差结合起来检测故障,并且考虑到了在实际系统中控制器可能饱和的实际情况。这种检测故障的新方法对于实际系统可能发生的各种故障(如执行器,传感器故障)更为有效,可以提高系统检测故障的性能,减少了系统故障的漏报率。     

基于二叉树的故障树画树算法研究

由于在故障树分析、故障诊断和可靠性分析中迫切要求故障树图形化显示，所以文中研究了故障树画树算法。故障树显示为多叉树，将故障树节点的下一级节点作为左节点，将故障树同级右侧节点作为右节点，就把多叉树转换为二叉树存于数据库中，需要显示时将故障树节点信息对应的存于多向链表中的节点，通过递归函数计算出每个节点的坐标位置，然后用画树函数将故障树画于图形显示区域。文中基于C＋＋ Builder6．0开发环境，实现了故障树的图形显示，这样就为基于故障树的故障诊断提供坚实基础。     

基于二叉树的故障树画树算法研究

由于在故障树分析、故障诊断和可靠性分析中迫切要求故障树图形化显示,所以文中研究了故障树画树算法。故障树显示为多叉树,将故障树节点的下一级节点作为左节点,将故障树同级右侧节点作为右节点,就把多叉树转换为二叉树存于数据库中,需要显示时将故障树节点信息对应的存于多向链表中的节点,通过递归函数计算出每个节点的坐标位置,然后用画树函数将故障树画于图形显示区域。文中基于C Builder 6.0开发环境,实现了故障树的图形显示,这样就为基于故障树的故障诊断提供坚实基础。     

基于故障树的事故分类方法

故障树的割集分析技术是判定事故原因的常用技术,然而,基于割集的技术仅能通过基本事件的组合判定事故的发生,无法分析事故演化过程的中间事件.本文针对事故分析报告描述的事故成因机理,结合文本分类和故障树分析技术,提出一种面向故障树的事故报告分类方法,实现面向事故演化路径的事故报告的因果定位,能够自动关联事故报告与故障树结构演化信息,实现借鉴专家经验的事故因果演化的精确分析.     

一种新的计算机辅助故障树生成方法

故障树分析是过程风险分析中的一种有效方法,计算机辅助生成故障树尤其重要.该文中,提出一种基于图论仿真和数据挖掘的新方法.图论模型是一种深层知识,能够表达复杂的因果关系,具有包容大规模潜在信息的能力,尤其适用于安全领域的应用.深入研究故障传播机制及故障树的内在机理,从本质上讲,故障诊断、HAZOP及故障树分析的理论基础都是一样的,即对系统的稳态定性仿真及分析.通过稳态定性仿真即图论仿真,得到故障剧情样本.在此基础上,开发了一个图论建模推理平台.在此平台上进行相应的故障剧情分析,得到故障剧情样本.然后从中提取关联规则,并最终连接形成故障树.该文给出一个离心泵及液位系统的故障树生成过程,证明了此方法的实用性和有效性.