模糊交互时态逻辑的模型检测
【出 处】:
【作 者】:
袁红娟
[1]
马艳芳
[2]
潘海玉
[1]
【摘 要】交互时态逻辑已被广泛应用于开放系统的规范描述,交互时态逻辑的模型检测技术是一个比较重要的验证方法.为了形式化描述和验证具有模糊不确定性信息的开放系统的性质,提出了一种模糊交互时态逻辑,并讨论了它的模型检测问题.首先,引入了模糊交互时态逻辑的基于路径和基于不动点的两种语义,证明了其等价性.然后,基于其等价性,给出了模糊交互时态逻辑的模型检测算法和复杂性分析.
相关热词搜索: 交互时态逻辑 计算树逻辑 并发博弈结构 模型检测 模糊逻辑
上一篇: 基于词向量的专利自动扩展查询研究
下一篇: 一种基于航电系统架构模型的故障树自动建模方法