那是因为时序逻辑，时间的逻辑就是这样运作的。
And that's because of the temporal logic that's how the logic of time works.
设计人员通常在时序分析上花大量的时间和精力，因为一个微小的时序问题能导致整个设计的逻辑功能的错误。
Designers have to spend most of time and energy on timing analysis, because a slight mismatch would lead whole failure of entire logic function.
在时序逻辑，报表可以有真值，可以在不同的时间。
In a temporal logic, statements can have a truth value which can vary in time.
这类系统通常用时间自动机来表示，而它们的性质则用时序逻辑公式表示。
The systems are usually described by the timed automata and the properties are specified by the temporal logic.
本文简要介绍了时间自动机和时序逻辑TCTL，并着重说明了如何进行基于稠密时间的实时系统的模型检测，最后给出了一个应用实例。
This paper introduced the timed automata and TCTL in brief, and described how to model check the real-time systems based dense time, then we give an example in the end.
定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。
We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.
针对点-时段时序逻辑的不足，提出了一种新的时段时序逻辑——扩展时段时序逻辑，对不确定时间段发生的事件具有较好的描述能力。
A method for modeling imprecise temporal aspects of discrete-event systems, extended interval temporal logic, is proposed, which is an extension of the traditional point-interval temporal logic.
针对点-时段时序逻辑的不足，提出了一种新的时段时序逻辑——扩展时段时序逻辑，对不确定时间段发生的事件具有较好的描述能力。
A method for modeling imprecise temporal aspects of discrete-event systems, extended interval temporal logic, is proposed, which is an extension of the traditional point-interval temporal logic.
应用推荐