一种模糊互模拟的局部算法

A local algorithm of fuzzy bisimulation

为了快速地对模糊迁移系统中给定状态是否满足互模拟关系进行验证,提出了一种模糊互模拟的局部算法。该算法将验证与遍历相结合,在对状态是否满足模糊互模拟关系验证的同时,动态地增加状态空间,使得算法只需遍历部分状态空间即可完成验证。在部分情况下,尤其是当2个状态不满足模糊互模拟关系时,模糊互模拟的局部算法可以更快地对给定状态是否满足模糊互模拟关系进行验证。通过Java实现了模糊互模拟的局部算法和已有全局算法,并进行了比较实验。实验结果表明,在给定状态对不满足互模拟关系的情况下,本算法比现有模糊互模拟的全局算法的效率更高。

In order to verify whether the given states satisfiy the bisimulation,a local algorithm of fuzzy bisimulation is proposed.The algorithm takes verification and traversal at the same.While verify the given states whether satisfiy the fuzzy bisimulation,the state space is dynamically increased,so that the algorithm only needs to traverse part of the state space to complete the verification.In some cases,the local algorithm of fuzzy bisimulation can verify whether the given states satisfiy the fuzzy bisimulation more quickly,especially when the two states do not satisfy the fuzzy bisimulation.The local algorithm and the existing global algorithm are implemented by Java and compared by experiments.The experiments,shows that this algorithm is more efficient than the existing global fuzzy bisimulation algorithm when the given states do not satisfiy the bisimulation.