基于模糊测度的模糊分支时态逻辑模型检测
Fuzzy computation tree logic* model checking based on fuzzy measures
刘子源 1马占有 1李霞 1高滢囡 1何娜娜 1黄瑞祺1
作者信息
- 1. 北方民族大学计算机科学与工程学院,宁夏 银川 750021
- 折叠
摘要
针对具有模糊性和不确定性的复杂系统的验证问题,提出一种基于模糊测度的模糊分支时态逻辑模型检测算法.首先,在模糊决策过程模型的基础上引入模糊分支时态逻辑的语法和语义.然后,给出模糊分支时态逻辑模型检测算法,该算法将模型检测问题转化为矩阵运算,具有计算方式简洁、复杂度较低的优点.最后,通过医疗专家系统的实例说明了该模型检测算法的有效性.
Abstract
A fuzzy computation tree logic* model checking algorithm based on fuzzy measures is pro-posed for the verification problem of complex systems with fuzziness and uncertainty.Firstly,the syn-tax and semantics of fuzzy computation tree logic* are introduced based on fuzzy decision process model.Secondly,a fuzzy computation tree logic* model checking algorithm is proposed,which transforms the model checking problem into matrix operation and has the advantages of simplicity of computation and lower complexity.Finally,a medical expert system example is given to illustrate the effectiveness of the model checking algorithm.
关键词
模糊决策过程/模糊测度/模糊分支时态逻辑/模型检测/矩阵运算Key words
fuzzy decision process/fuzzy measure/fuzzy computation tree logic*/model checking/matrix operation引用本文复制引用
基金项目
国家自然科学基金(61962001)
宁夏自然科学基金(AAC03300)
出版年
2024
国家科技期刊平台
NSTL
万方数据