·2,447,543篇论文数据，部分数据来源于NoteExpress
最后介绍了线性时态逻辑特性模式在SPIN中的应用。
At last, the application of Property patterns of LTL formulas was given in SPIN tool.
youdao
周期模式主要是研究时序数据库中的循环特性，是时态数据挖掘的一个重要的研究方向。
Periodicity mining is the mining of periodic patterns, that is, the search for recurring patterns in time-series database.
应用推荐
模块上移
模块下移
不移动