Temporal Model 时间模式 ; 时空模型
Non Temporal model 恒定模型
Spatial-Temporal Model 时空数据模型
moving objects spatio-temporal model 移动点时空模型
temporal model checking 时态模型检测
OO temporal model 面向对象的时态模型
point-based temporal model 基于点结构的时态模型
·2,447,543篇论文数据，部分数据来源于NoteExpress
Temporal logics are widely used in software verification and model checking.
时态逻辑在软件确认和模型检查中有广泛的应用。
The probability updating algorithm for acyclic Temporal Bayesian network based on model simplification and general probability updating algorithm for Temporal Bayesian network are presented.
其中在时间贝叶斯网络研究中，分别提出了适用于非循环时间贝叶斯网络的基于模型化简的概率更新算法和一般概率更新算法。
Temporal GIS is a new research field of GIS, and still in the stages of theory and model study.
时态GIS是GIS一个新兴的研究领域，目前仍处于理论与模型的研究阶段。
应用推荐