Instantaneous temporal interval 短暂时间间隔
interval temporal logic [计] 区间时态逻辑 ; 的区间时态逻辑 ; 时段时态逻辑
Metric Interval Temporal Logic 度量区间时序逻辑
point-interval temporal logic 点
extended interval temporal logic 扩展时段时序逻辑
interval temporal Boolean algebra 区间时态布尔代数
discrete timed interval temporal logic 离散时间区间时序逻辑
·2,447,543篇论文数据,部分数据来源于NoteExpress
Add to it empty incident, adjust the lagging value of the temporal interval.
加入空事件,调整时间区间的滞后值。
It was found for the first time that the temporal interval between yellow and red pulses can be measured by an autocorrelator.
首次发现用自相关器可以测量双波段激光脉冲的时间间隔。
In addition, the Temporal Interval and Time Point are analyzed and their temporal relations are described with the Temporal Operators.
进而分析时态区间和时间点并描述两者间时态关系,并引入时态算子描述这些关系。
应用推荐