模糊Kripke结构的子模型修复算法

  • 打印
  • 收藏
收藏成功
微博 QQ空间 微信


打开文本图片集

摘要： 在模糊模型检测时，如果模糊Kripke结构不满足性质规约，模型检测工具会给出模型中违反性质规约的反例，这往往需要设计人员手工修复，会导致效率低下，因此如何对模糊Kripke结构进行自动修复具有极大的研究意义。由此，提出一个基于模糊tableaux方法的子模型修复算法，从而将经典的模型修复算法提升到模糊系统中，使得模糊Kripke结构能够自动修复。（剩余7159字）

试读结束

目录
monitor
客服机器人