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

• 作者: 李召恺 马占有 李健祥 郭昊
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 模型检测 不确定性系统 模糊决策过程 模糊计算树逻辑 模糊矩阵
• 年，卷（期）: 2022,（2）
• 所属期刊栏目: 软件工程
• 页码范围: 266-275
• 页数: 10页
• 分类号: TP301
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2022.02.011

摘要

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