基于模糊决策过程的模糊计算树逻辑模型检测

摘要：

针对由数据表述产生的不确定性模糊系统的模型检测问题,给出模糊计算树逻辑模型检测算法.首先,引入模糊决策过程作为此类系统的模型,其最大特点是在迁移过程中对动作的不确定性选择和状态表述的模糊性.然后,在模糊决策过程基础上,给出模糊计算树逻辑的语法和语义.最后,给出模糊计算树逻辑模型检测算法,该算法是将模糊计算树逻辑模型检测问题转换为模糊矩阵的合成运算,其优势是时间复杂度低、计算过程较为简洁.

关键词：模型检测、不确定性系统、模糊决策过程、模糊计算树逻辑、模糊矩阵

所属期刊栏目：44

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金;宁夏自然科学基金项目;北方民族大学引进人员科研项目

在线出版日期：2022-03-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：266-275