基于Petri网的软件故障树分析

软件故障树最小割集求解方式与效率极大影响软件可靠性分析结果及有效性。提出将故障树转化为Petri网,使用Petri网关联矩阵法,求解软件系统故障树最小割集。能够较好分析大型复杂软件系统,故障树最小割集求解更加简洁有效。通过ADS—B解码板解码任务验证其有效性,表明能够有效求解故障树最小割集。     

一种新颖的箱式变电站故障诊断系统

针对箱式变电站故障监测与诊断的特点,提出一种基于Petri网模型与故障树分析法相结合的故障诊断方法。采取Petri网的图形特性与故障树相结合的方法,将箱式变电站的可能故障区域建立数个Petri网子故障模型,解决传统箱式变电站Petri网模型既大且杂的问题,更可直观地显示出故障发生的具体元件。最后通过实例详细描述将箱式变电站的Petri网分割成数个子Petri网模型,并结合故障树快速寻找到发生故障的元件,诊断出发生故障的原因。     

有效提高半导体设备可靠性的故障树分析法

通过对故障树分析法的运用,建立了半导体设备系统的故障树.对该故障树进行了定性分析和定量分析,求解出故障树的最小割集.分析了该系统的薄弱环节,并采取补救措施.通过对采取措施前后故障树顶事件发生概率和系统可靠度的计算、分析、比较,证明了故障树分析法是一种有效可行的提高半导体设备可靠性的分析方法,该方法也适用于其他设备仪器.     

联锁系统形式化模型的安全性评估

根据联锁系统的事故危害度分类,有效地结合故障树分析法和Petri网可达图分析的各自优点,提出一种用于评估联锁系统Petri模型的安全性的方法,并通过实例验证其有效性。     

一种基于逻辑Petri网的过程挖掘方法

逻辑Petri网是抑制弧Petri网和高级Petri网的抽象和扩展,可在过程挖掘中简洁准确的表示活动之间复杂的业务逻辑关系.本文在传统Petri网挖掘方法的基础上,为了进一步提高复杂系统挖掘模型的简洁度和拟合度,尤其是对并行活动间存在复杂与或关系的系统,提出了一种基于逻辑Petri网的过程挖掘方法,并给出了逻辑Petri网中逻辑变迁的挖掘算法.它可以充分挖掘活动之间的业务逻辑,并且业务逻辑可用逻辑表达式表示.通过与相应Petri网模型的实例比较分析,例证了本文方法的正确性和有效性,且逻辑Petri网模型更加适合日志行为.     

有界Petri网等价性的判定算法

Petri网语言是系统行为分析的一种重要工具,为了分析有界Petri网的行为等价,借助于有限自动机的等价性问题和算法,研究了有界Petri网的等价性问题和算法.定义了带标注Petri网语言等价性,证明了带标注的有界Petri网到有限自动机的等价转化,给出了判定有界Petri网的等价性算法,为模拟系统的性能比较提供了处理方法.     

综合性能评价

论述了传统Petri网和模糊Petri网的概念、特点及区别,提出了模糊Petri网建模的规则和进行系统问题分析时的有效算法,最后,通过通信网综合性能评价来说明模糊Petri网在系统性能分析中的应用.     

可靠性数字仿真方法及其应用

提出了基于系统失效性，以故障树为仿真逻辑关系的可靠性数字仿真方法，并且利用割集对故障树中的结构函数进行了替代，大大简化了仿真计算步骤，优化了计算机算法。最后利用该方法对国产某新型飞机环控系统的可靠性进行了实例分析，得到满意的结果。     

量子Petri网推理方法

针对传统Petri网推理常出现的单阈值推理不适用的问题,提出一种基于量子叠加原理的Petri网推理方法.量子Petri网推理方法提出了量子Petri网结构.量子Petri网的特点是点火阈值和库所均由量子叠加态表示.这样,量子Petri网推理方法就可以通过并行处理不协调信息得到以量子形式存在的推理结果.推理结果依概率塌缩获取推理结果集,最后设计相应算子分析出最合理的推理结果.本文将量子Petri网推理方法应用于莫尔斯电报码识别,并给出了相应的算法流程.基于算法开发的莫尔斯电报码识别系统经不同组的测试人员测试,具有良好的稳定性和较高的抗噪声能力.     

贝叶斯网络分析法在飞机配电系统可靠性评估中的应用

针对飞机配电系统的可靠性评估进行了研究,提出了一种基于故障树的贝叶斯网络分析法,该方法不仅能够对配电系统的可靠性指标进行计算和分析评估,还能通过双向推理技术量化系统中各个元件对系统的影响度,根据得到的影响度值来判断系统的薄弱环节,改善薄弱环节就可以增强电网的可靠性。