区间时态逻辑(Interval Temporal Logic,ITL)是线性时间时态逻辑的一种扩展,它把时间看作 是离散的,可以很好的描述硬件电路的行为和结构.
基于32个网页-相关网页
给出了FCMHD的区间时态逻辑(Interval Temporal Logic，ITL)语义。作者以时段演算(Duration Calculus，DC)为工具对VHDL的子集进行了形式语义...
基于4个网页-相关网页
Metric Interval Temporal Logic 度量区间时序逻辑
point-interval temporal logic 点
extended interval temporal logic 扩展时段时序逻辑
discrete timed interval temporal logic 离散时间区间时序逻辑
以上来源于: WordNet
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.
针对点-时段时序逻辑的不足，提出了一种新的时段时序逻辑——扩展时段时序逻辑，对不确定时间段发生的事件具有较好的描述能力。
Authors establish an interval-gap-based temporal logic after giving the interval-gap-based representation of temporal knowledge.
在给出了间断区的时态知识表示后建立了基于间断区间的时态逻辑。
应用推荐