既是一个时序逻辑系统也是一个程序设计语言，它能表示普通高级语言中几乎所有的重要机制。
XYZ/E is a temporal logic system as well as a programming language. It can represent almost every kind of significant features in conventional imperative languages.
针对时序数据挖掘中常见数据表示算法的缺陷，提出了基于关键点的误差检验分段算法。
To overcome the defects of data representation algorithms in temporal data mining, segmentation algorithm of key-point-based error checking is proposed.
这类系统通常用时间自动机来表示，而它们的性质则用时序逻辑公式表示。
The systems are usually described by the timed automata and the properties are specified by the temporal logic.
应用推荐