| 注册
首页|期刊导航|郑州大学学报(理学版)|模糊Kripke结构的子模型修复算法

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

王辉 石铁柱 钱俊彦 潘海玉

郑州大学学报(理学版)2023,Vol.55Issue(1):77-83,7.
郑州大学学报(理学版)2023,Vol.55Issue(1):77-83,7.DOI:10.13705/j.issn.1671-6841.2021309

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

The Sub-model Repair Algorithm of Fuzzy Kripke Structures

王辉 1石铁柱 2钱俊彦 1潘海玉1

作者信息

  • 1. 桂林电子科技大学广西可信软件重点实验室 广西桂林 541004
  • 2. 南京航空航天大学计算机科学与技术学院 江苏南京 210000
  • 折叠

摘要

关键词

模型检测/计算树逻辑/模糊逻辑/模型修复

分类

信息技术与安全科学

引用本文复制引用

王辉,石铁柱,钱俊彦,潘海玉..模糊Kripke结构的子模型修复算法[J].郑州大学学报(理学版),2023,55(1):77-83,7.

基金项目

国家自然科学基金项目(62162014) (62162014)

广西自然科学基金项目(2018GXNSFAA281326) (2018GXNSFAA281326)

广西可信软件重点实验室项目(kx201911). (kx201911)

郑州大学学报(理学版)

OA北大核心CSTPCD

1671-6841

访问量0
|
下载量0
段落导航相关论文