系统失效树定量分析的新方法

本文利用最小割集矩阵求系统失效树最小割集方法的基础上,进一步定义了不交化最小割集矩阵,并提出了利用它对系统失效树进行定量评价的新方法,系统地给出了利用割集矩阵对系统失效树进行定性定量分析的全过程,并通过多种实例开发和运行了计算机辅助分析软件。结果表明,运算简便,软件通用可靠。     

一种Web服务组合模型合理性验证方法

为了更加有效地对Web服务组合进行分析验证,设计BPEL到PNML语言的文件转换规则,实现Web服务组合流程的Petri网建模。针对Web服务组合流程设计中可能存在死锁及不正确的流程,在不破坏原Petri网模型结构性质与系统行为的基础上,将其调整映射为自由选择网。在自由选择Petri网理论基础上,设计了一种Web服务组合Petri网模型的合理性验证规则,能在多项式时间内分析网模型的结构活性与有界性,从而避免采用传统的可达树等分析方法出现的状态空间爆炸问题。最后,使用两个具体的Web服务组合Petri网模型证明了本文方法的有效性。     

ASBS适应行为稳定性分析

研究了基于服务的自适应软件系统的适应策略构建中适应行为的稳定性分析问题.主要采用了基于反射Petri网模型的分析方法,在反射Petri网模型中系统的业务行为与适应行为在不同的层次分离建模,适应行为模型相对业务行为模型透明.结合系统的反射Petri网模型提出了适应行为稳定性的具体定义,给出了适应策略中适应规则的建模方法以及应用反射Petri网模型对系统适应行为进行稳定性验证的方法,并通过一个实例对方法的可行性以及有效性进行了说明.     

利用Petri网模型的求解因果图最小割集的算法

【目的】为快速有效地求得因果图的最小割集。【方法】将因果图转换为Petri网模型,利用Petri网的特点提出一种新的求解因果图最小割集的算法,该算法省略了求因果图节点事件的一阶割集和最终割集这两步,大大减少了因果图用于故障诊断的时间。【结果】以实例说明了这一求解过程,并验证了算法的有效性。【结论】利用上述算法能够快速有效地求得最小割集,从而可对系统进行定性分析。     

随机Petri网对装备维修保障的建模与分析

利用Petri网与马尔可夫链的同构关系,采用Petri网与马尔可夫链理论相结合的维修保障系统性能分析方法,对系统性能有效评估提供了理论依据。通过两个不同实例分析了系统状态空间、各状态在稳态下的期望概率、系统可靠性和维修人员的工作强度。实例表明,相比传统的建模方法,在分析装备维修保障各状态间的逻辑关系和系统动态过程中,随机Petri网具有显著的有效性和优越性。     

基于随机Petri网的容灾系统安全性分析

该文采用基于状态的随机模型对容灾系统进行安全性分析。通过构建一个通用的远程容灾系统模型,使用随机回报网SRN描述了整个系统模型的备份与恢复过程,包括SRN模型中的各个位置、变迁的含义,对该系统模型进行建模。使用随机Petri网软件包SPNP对所建立模型进行仿真,通过对不同概率参数的设定得出系统可用性的量化值。仿真实验结果表明:不同的参数变化对系统可用性的影响不同,在本地备份中失效检测对于系统可用性的影响最大,远程备份中的失效检测对于系统可用性的影响最小。     

利用Petri网模型的求解因果图最小割集的算法

【目的】为快速有效地求得因果图的最小割集。【方法】将因果图转换为Petri网模型,利用Petri网的特点提出一种新的求解因果图最小割集的算法,该算法省略了求因果图节点事件的一阶割集和最终割集这两步,大大减少了因果图用于故障诊断的时间。【结果】以实例说明了这一求解过程,并验证了算法的有效性。【结论】利用上述算法能够快速有效地求得最小割集,从而可对系统进行定性分析。
     

液压件铸件缺陷的失效树分析

定义了系统失效树最小割集矩阵和不交化最小割集矩阵。在开发微机辅助失效树分析软件的基础上,从系统分析角度,将液压件铸件缺陷视为系统故障,进行铸件缺陷的预报和诊断。经多种实例验证,证明新方法的可行性,为实现铸件质量的科学管理和铸件缺陷的微机诊断提供了一种有效的科学方法。     

基于Petri网的ECA规则建模

在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型. 对如何用Petri网表示具有复合事件ECA规则进行了专门分析. 提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性. 通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理.     

利用形式化方法的机电系统概率失效模式及影响分析

针对传统的失效模式及影响分析中依靠领域专家分析判断系统单元失效与系统故障之间的关系,分析烦琐、容易出错且难以计算故障概率的问题,将形式化技术引入机电系统失效模式及影响分析中,提出了基于概率模型检测的机电系统概率失效模式及影响分析方法。基于机电系统中的状态变迁,研究了机电系统行为过程的随机模型及其形式化表达,建立了面向概率失效模式及影响分析的系统形式化随机模型;基于连续随机逻辑对系统的潜在故障进行了形式化规约,构建了潜在故障的概率形式化规约表达式;利用概率模型检测器对系统的随机模型和潜在故障进行形式化验证,从而辨识单元失效与系统潜在故障之间的关系,并自动计算单元失效所导致的系统故障概率,提高了失效模式与影响分析的准确性和效率。该方法不仅可以借助概率模型检测迅速准确地识别单元失效与系统潜在故障之间的因果关系,还可以自动计算系统故障概率。将该方法应用于数控机床进给系统,成功辨识出了限位开关失效所导致的系统故障并计算出了故障概率,从而验证了方法的可行性。     

微机联锁系统故障检测与诊断

本文介绍了有关微机联锁系统的几种故障检测和诊断方法。     

修理设备可修的单部件可修系统

考虑一种新型的可修系统,即修理设备可以修理的单部件系统,通过引入“广义修理时间“的概念,在假定部件的寿命服从一般分布的条件下,通过适当的假设,讨论了系统的瞬时可用度和稳态可用度,以及(0,t]时间内系统的故障次数和稳态故障频度,得到了一些重要的可靠性结果.     

轨道交通列控系统共因失效分析

针对目前列控系统设计和开发过程中共因失效不易识别和评估问题,在分析列控系统失效特征基础上,通过建模和计算证明共因失效对于系统安全具有重要影响.采用系统安全理论,分析列控系统的共因失效影响因素,讨论共因失效的识别和筛选过程;基于列控系统3取2安全架构,计算包含共因失效的系统失效概率,指出由于缺乏历史统计数据造成共因失效定量计算的困难,最后提出控制列控系统共因失效的一般控制措施和方法.     

新型碗扣式脚手架系统承载力试验研究与软件分析

新型碗扣式脚手架系统因其性能优越,在我国大跨建筑和桥梁工程中的使用越来越广泛。脚手架倒塌事故也在不断发生。对支撑架承载力理论研究尚未透彻是引起事故的重要因素之一。按照工程实际搭设规格设计试验架,得到支撑架体的承载力、破坏形态、荷载位移曲线,同时还用ANSYS软件对局部节点受力情况进行了分析。     

一种考虑连锁过载和隐性故障的电网脆弱区域分析方法

针对电网的连锁过载现象,提出了一种划分和识别电网脆弱区域的算法。首先从初始故障支路对剩余系统支路产生作用的角度,提出了受动敏感性和使动敏感性的概念,然后在考虑继电保护隐性故障的模式下,给出了初始故障支路和剩余系统支路之间的关联作用指标以及初始故障支路对剩余系统支路形成敏感性的指标,将这些指标作为特征输入量给出了一种基于聚类方法的电网脆弱区域的划分和识别算法,并在IEEE 39节点系统上进行了算例分析,验证了算法的合理性。     

弱电系统的绝缘监测

针对弱电回路系统绝缘故障发生的原因、场合及发生机率，介绍了一种方便、快捷的绝缘故障监测方法。     

考虑隐性故障时电网二级连锁过载的风险水平分析方法研究

针对电网的二级连锁过载现象,并结合继电保护隐性故障,提出了一种风险水平研究方法:首先结合直流潮流法定义了二级连锁过载模式下的风险指标,然后从初始故障和剩余系统受扰支路的不同角度给出了3种进行风险水平统计的模型,进一步结合IEEE39节点系统,通过模拟计算对风险的统计结果及隐性故障中的参数对风险统计的影响进行了分析。所提出的方法可为分析具有不确定因素的电网连锁过载现象提供一定的借鉴。     

P-GB103离心式压缩机油系统常见故障及其处理

P-GB103离心式压缩机油系统对整机的性能起着至关重要的作用。分析了油系统常见的故障及其产生的原因,提出了相应的处理措施,收到了良好的效果。     

因果图在液压传动系统故障诊断中的应用

在介绍因果图原理的基础上论述了因果图在液压传动系统故障诊断中的意义和应用     

分布式系统失效检测器模型的研究

介绍了失效检测的基本模型,对当前常用的检测算法进行了分析和总结.鉴于目前的算法无法自动适应网络状态的变化,在现有理论基础上对失效检测算法改进,使用zipf定律计算历史消息延迟时间,以此来预测下次消息延迟时间的失效检测方法,在一定程度上解决了网络延迟对失效检测的影响,并满足了检测的自适应性要求.