2020-11-30

20201130周一

阅读文献，围绕着几个部分：
1.参考了可能性模型检测中可达性的可能性测度计算，有一个圆柱集的概念，用来表达有同样前缀的路径的集合，可以用在概率模型检测中性质概率计算的定义中。
2.区间时序逻辑的一些常见研究对象是什么，怎么和马尔可夫链模型联系起来，尤其是变化的马尔科夫链，怎么用区间来描述，是否需要时间变量？
3.有时间变量的区间逻辑有度量区间时序逻辑，和经典区间时序逻辑相比一般用在实时系统中，是不是偏离的最初的研究对象方向。

最近计划看常用的检测算法，尤其是概率模型中用的。