英语词汇interval temporal logic怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词

interval temporal logic

释义

interval temporal logic

简明释义

时序逻辑

网络释义

1
[计]?区间时态逻辑
区间时态逻辑(Interval Temporal Logic,ITL)是线性时间时态逻辑的一种扩展,它把时间看作是离散的,可以很好的描述硬件电路的行为和结构.
2
?的区间时态逻辑
给出了FCMHD的区间时态逻辑(Interval Temporal Logic，ITL)语义。作者以时段演算(Duration Calculus，DC)为工具对VHDL的子集进行了形式语义...
3
?时段时态逻辑
时段时态逻辑

短语

1
Metric Interval Temporal Logic
度量区间时序逻辑
2
point-interval temporal logic
点
3
extended interval temporal logic
扩展时段时序逻辑

双语例句

1
We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.
定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。
2
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.
针对点-时段时序逻辑的不足，提出了一种新的时段时序逻辑——扩展时段时序逻辑，对不确定时间段发生的事件具有较好的描述能力。
3
Authors establish an interval-gap-based temporal logic after giving the interval-gap-based representation of temporal knowledge.
在给出了间断区的时态知识表示后建立了基于间断区间的时态逻辑。

随便看

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

单词	interval temporal logic
释义	interval temporal logic 简明释义时序逻辑网络释义 1 [计]?区间时态逻辑区间时态逻辑(Interval Temporal Logic,ITL)是线性时间时态逻辑的一种扩展,它把时间看作是离散的,可以很好的描述硬件电路的行为和结构. 2 ?的区间时态逻辑给出了FCMHD的区间时态逻辑(Interval Temporal Logic，ITL)语义。作者以时段演算(Duration Calculus，DC)为工具对VHDL的子集进行了形式语义... 3 ?时段时态逻辑时段时态逻辑短语 1 Metric Interval Temporal Logic 度量区间时序逻辑 2 point-interval temporal logic 点 3 extended interval temporal logic 扩展时段时序逻辑双语例句 1 We present a dense timed interval temporal logic and exploit the decidability problem of DTITL. 定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。 2 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. 针对点-时段时序逻辑的不足，提出了一种新的时段时序逻辑——扩展时段时序逻辑，对不确定时间段发生的事件具有较好的描述能力。 3 Authors establish an interval-gap-based temporal logic after giving the interval-gap-based representation of temporal knowledge. 在给出了间断区的时态知识表示后建立了基于间断区间的时态逻辑。
随便看	antique store antique-style antique taffeta antique tourism antique violet antiquewhite antique white antiquey antique yellow antiquing antiquing antiquinot antiquitarian Antiquites antiquities antiquity Antiquophytolithus Antiquorum antiquus antirabbit antirabbit anti-rabbits antirabic antirabic Antirabic Immunoserum