计算机应用研究2021，Vol.38Issue(8) ：2381-2385.DOI:10.19734/j.issn.1001-3695.2020.12.0405

模糊计算树逻辑的符号模型检测

Symbolic model checking of fuzzy computation tree logic

聂朋展 姜久雷 马占有
计算机应用研究2021，Vol.38Issue(8) ：2381-2385.DOI:10.19734/j.issn.1001-3695.2020.12.0405
✕
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 维普
  • 万方数据

模糊计算树逻辑的符号模型检测

Symbolic model checking of fuzzy computation tree logic

聂朋展 1姜久雷 2马占有1
扫码查看

作者信息

  • 1. 北方民族大学计算机科学与工程学院,银川750021
  • 2. 常熟理工学院计算机科学与工程学院,江苏苏州215500
  • 折叠

摘要

对含有模糊不确定性信息的系统进行模型检测时,状态空间爆炸问题成为了亟待解决的主要问题.将形式化的系统模型用拟布尔公式表示,用多终端二叉决策图来对拟布尔公式进行存储.对模糊计算树逻辑的不动点语义给出了解释和证明,然后给出模糊计算树逻辑的符号化模型检测算法,最后通过一个实例验证算法的正确性.该算法可有效缓解对模糊模型检测验证时的状态空间爆炸问题,并扩展了模型检测的应用范围.

关键词

模糊计算树逻辑/不动点算法/多终端二叉决策图/符号模型检测

引用本文复制引用

基金项目

出版年

2021
计算机应用研究
四川省电子计算机应用研究中心

计算机应用研究

CSTPCDCSCD北大核心
影响因子：0.93
ISSN：1001-3695
被引量1
参考文献量6
段落导航相关论文