基于模糊测度的最大可能性互模拟等价研究OA
Maximum Possibility Bisimulation Equivalence Based on Fuzzy Measure
为解决复杂系统模型检测过程中的状态空间爆炸问题,提出了模糊最大可能性互模拟等价理论,并使用其相关性质对状态空间进行优化.首先,在模糊决策过程中对模糊测度和模糊最大互模拟等价进行定义,并对其相关定理进行证明.其次,给出模糊互模拟商的定义以及路径长度相等和路径最大可能性相等的定理.最后,给出模糊计算树逻辑扩展的语法和语义,并在模糊决策过程中讨论了模糊计算树逻辑和模糊计算树逻辑扩展的模糊最大可能性互模拟等价性质.
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.
刘子源;马占有;李霞;黄瑞祺;何娜娜
北方民族大学 计算机科学与工程学院 宁夏 银川 750021北方民族大学 计算机科学与工程学院 宁夏 银川 750021北方民族大学 计算机科学与工程学院 宁夏 银川 750021北方民族大学 计算机科学与工程学院 宁夏 银川 750021北方民族大学 计算机科学与工程学院 宁夏 银川 750021
信息技术与安全科学
模型检测模糊测度模糊最大互模拟等价模糊计算树逻辑扩展
model checkingfuzzy measurefuzzy maximum bisimulationequivalencefuzzy computa-tion tree logic∗
《郑州大学学报（理学版）》 2026 (1)
58-64,7
宁夏自然科学基金项目(AAC03300)北方民族大学研究生创新项目(YCX24123)
评论