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