论文部分内容阅读
模糊Petri网(Fuzzy Petri Nets,FPN)是一种适合于描述异步并发事件的计算机系统模型,可以有效地对并行和并发系统进行形式化验证和决策分析。针对聚驱综合调整系统知识具有不确定性和模糊性的特点,给出了基于加权模糊产生式规则的加权FPN决策模型。在此模型的基础上,给出了决策推理过程的形式化推理算法。算法考虑了推理过程中的众多约束条件,将复杂的推理过程采用矩阵运算来实现,充分利用了FPN的并行处理能力,使决策推理过程更加简单和快速。并以压裂方式调整为例,说明了该模型具有直观、表达能力强和