时态算子相关论文
本文在对时间自动机进行深入研究的基础上，提出了公式时钟自动机。在公式时钟自动机中，每一个事件对应一个命题、并且针对给定命题集......
本文分析了传统的时间自动机在实时系统进行形式化验证方面所存在的问题,提出了一种新的形式化验证工具--公式时钟自动机,给出了公......
给出了有界半Hoops 上的时态算子的定义,研究了其性质.进一步探究了半Hoops 上的时态滤子,给出了时态滤子的刻画.最后讨论了半Hoop......
将always,sometime,until,unless等时态算子引入到直觉模糊逻辑中,提出了直觉模糊时态逻辑系统,并研究了该系统中时态算子的一些性......
