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

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

扫码查看
原文链接
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 万方数据
  • 维普
对含有模糊不确定性信息的系统进行模型检测时,状态空间爆炸问题成为了亟待解决的主要问题.将形式化的系统模型用拟布尔公式表示,用多终端二叉决策图来对拟布尔公式进行存储.对模糊计算树逻辑的不动点语义给出了解释和证明,然后给出模糊计算树逻辑的符号化模型检测算法,最后通过一个实例验证算法的正确性.该算法可有效缓解对模糊模型检测验证时的状态空间爆炸问题,并扩展了模型检测的应用范围.
Symbolic model checking of fuzzy computation tree logic

聂朋展、姜久雷、马占有

展开 >

北方民族大学计算机科学与工程学院,银川750021

常熟理工学院计算机科学与工程学院,江苏苏州215500

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

61762002619620012018AAC03127YCX20068

2021

10.19734/j.issn.1001-3695.2020.12.0405

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

计算机应用研究

CSTPCDCSCD北大核心
影响因子：0.93
ISSN：1001-3695
年,卷(期)：2021.38(8)
  • 1
  • 6