最后介绍了线性时态逻辑特性模式在SPIN中的应用。
At last, the application of Property patterns of LTL formulas was given in SPIN tool.
周期模式主要是研究时序数据库中的循环特性，是时态数据挖掘的一个重要的研究方向。
Periodicity mining is the mining of periodic patterns, that is, the search for recurring patterns in time-series database.
周期模式主要是研究时序数据库中的循环特性，是时态数据挖掘的一个重要的研究方向。
Periodicity mining is the mining of periodic patterns, that is, the search for recurring patterns in time-series database.
应用推荐