|
|||||
|
|
| 基于量子逻辑的模糊线性时序逻辑的模型检测 | |
| 作者姓名： | 杨维禹 刘文奇 |
| 作者单位： | 昆明理工大学理学院,云南昆明 650500;昆明理工大学理学院,云南昆明 650500;昆明理工大学数据研究中心,云南昆明 650500 |
| 摘 要： | 模型检测的主要问题是处理具有量化信息的系统的验证问题,该文在量子逻辑和时序逻辑的相关理论基础上引入了可能性理论以及模糊线性时间的可能性测度,研究了线性时序逻辑在模糊时态下的模型检测方法.通过引入可能性理论以及广义可能性Kripke结构定义,对广义可能性Kripke结构中的模糊线性时间性质进行了讨论,有利于研究不确定现象... |
| 关 键 词： | 模型检测 量子逻辑 时序逻辑 可能性理论 广义可能性测度 广义可能性Kripke结构 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |