郑州大学学报（理学版）2026，Vol.58Issue(1)：58-64,7.DOI:10.13705/j.issn.1671-6841.2024144
基于模糊测度的最大可能性互模拟等价研究
Maximum Possibility Bisimulation Equivalence Based on Fuzzy Measure
摘要
Abstract
In order to solve the problem of state space explosion in the model checking of complex sys-tems,the fuzzy maximum possibility bisimulation equivalent theory was proposed,and its correlation properties were used to optimize the state space.Firstly,the fuzzy measure and maximum bisimulation equivalence were defined in the fuzzy decision process,and the correlation theorem was proved.Second-ly,the definition of the fuzzy bisimulation quotient and the theorem of equal path length and maximum possibility were given.Finally,the syntax and semantics of fuzzy computation tree logic∗ were given,and the fuzzy maximum possibility bisimulation equivalence properties of fuzzy computation tree logic and fuzz-y computation tree logic∗ were discussed in the fuzzy decision process.关键词
模型检测/模糊测度/模糊最大互模拟/等价/模糊计算树逻辑扩展Key words
model checking/fuzzy measure/fuzzy maximum bisimulation/equivalence/fuzzy computa-tion tree logic∗分类
信息技术与安全科学引用本文复制引用
刘子源,马占有,李霞,黄瑞祺,何娜娜..基于模糊测度的最大可能性互模拟等价研究[J].郑州大学学报（理学版）,2026,58(1):58-64,7.基金项目
宁夏自然科学基金项目(AAC03300) （AAC03300）
北方民族大学研究生创新项目(YCX24123) （YCX24123）
