摘要
本文是在模糊转移系统上,借鉴概率互模拟的思想,首先通过关系提升以及关系的闭集分别定义了两种模糊互模拟。然后从关系与点两个角度比较这两种定义,我们得到:在一般的关系上这两种定义是不同的,而在点上这两种定义是一致的。
In virtue of some ideas of probabilistic bisimulations, this paper on the fuzzy transition systems first defines two kinds of fuzzy bisimulations based on relation lifting and closed subsets of some binary relation, respectively. Then from two different points of view we compare these two definitions and get that on the general relation these two definitions are different, however, on the points they coincide.
出处
《模糊系统与数学》
CSCD
北大核心
2015年第6期138-144,共7页
Fuzzy Systems and Mathematics
基金
国家自然科学基金资助项目(61300048)
浙江省自然科学基金资助项目(LY13F020046)
浙江省教育厅基金资助项目(Y201223001)
关键词
模糊转移系统
互模拟
关系提升
R-闭集
Fuzzy Transition System
Bisimulation
Relation Lifting
R-closed Set