故障Petri网的概率变迁方法研究

为了对故障建模中的不确定性问题进行描述,并降低故障推理的计算复杂度,定义了故障Petri网的概率变迁方法,对概率变迁及其激发规则作了有别于传统Petri网的定义;将系统故障解释为源库所故障或者变迁的激发功能故障;依据变迁及其外延的一般形式,给出了故障Petri网的概率变迁分析方法,由此提出了一种故障诊断算法。在实例中,设计实验对所提出的故障诊断算法进行验证,结果表明算法能够快速、有效、可靠地诊断出系统故障。

概率带测试克林代数操作语义的研究

为了增强带测试克林代数(KAT)的表达能力,提出了一种加概率的带测试克林代数(PKAT)的理论,并将其应用于对加概率正则程序的推演。将概率格局变迁系统作为操作语义的模型,它的每个状态是一个格局,格局是由一个PKAT表达式和一个数据状态组成的序列对。为了确立模型中的关系,定义自然语义和结构操作语义,均从行为和状态两方面进行刻画,证明两者在只考虑程序正常终止的情况下是等价的。

概率带测试克林代数

为了增强可形式刻画正则程序行为的带测试克林代数(KAT)的表达能力,提出了一个加概率的带测试克林代数(PKAT)的完整理论用于对加概率正则程序的推演。提出了状态为PKAT表达式和数据状态组成的序列对的概率格局变迁系统。然后在概率格局变迁系统的基础上给出结构操作语义。并给出PKAT的基于操作语义的概率互模拟等价关系。最后证明了PKAT中等式关于互模拟等价的可靠性。

基于Petri网故障诊断及在工程机械中的应用

针对传统模糊Petri网在故障诊断应用中的不足之处,提出了一种新的故障诊断模糊Petri网模型(FD-FPN),变迁激活概率元素的引入,使反向推理中冲突消解问题的解决更加合理。在此基础上,提出了基于变迁激活概率矩阵的反向推理算法,正向与反向推理方法的结合可以实现故障因果的相互验证,使故障诊断过程更加科学,结论更符合事实。最后,结合故障诊断实例的应用,证明了文中提出方法的合理性和有效性,且运算简单,便于计算机实现。