|
|||||
|
|
| 模糊计算树逻辑的模型检测修复算法 | |
| 作者姓名： | 毛兆东 蔡泳 钱俊彦 |
| 摘 要： | 为了解决基于模糊逻辑的模型检测修复问题,提出了模糊计算树逻辑模型检测的模型修复算法.该算法采用原子修复操作来修复模糊Kripke结构,通过模糊Kripke结构之间的距离比较原始的模糊Kripke结构和修复后的模糊Kripke结构,并从多个修复后的模糊Kripke结构中,选出满足给定模糊计算树逻辑的α-极小的修复模型作为... |
| 关 键 词： | 模糊逻辑 模型检测 计算树逻辑 模型修复 |
|
||||||||||||||
|
||||||||||||||
|
||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |