Model checking, a technique for verifying the existence or non-existence of certain temporal properties in a program is also a static analysis.
模型检查，是验证一程序中是否存在某些暂时性特性的一种技术，它也是静态分析。
The spatial and temporal distribution and development of dust concentration and structure were simulated by a coupled dust model with non-hydrostatic mesoscale model.
利用与非静力平衡中尺度气象模式完全耦合的区域沙尘数值模式，模拟研究这次强沙尘天气过程中沙尘浓度的空间分布结构和时间演变趋势。
Furthermore, a novel rate control scheme named Spatio-Temporal MAD prediction model is presented, and a more flexible non-texture prediction scheme is derived.
同时提出了一种时空结合的MAD预测模型和一种更加灵活的非纹理数据的预测方法。
Furthermore, a novel rate control scheme named Spatio-Temporal MAD prediction model is presented, and a more flexible non-texture prediction scheme is derived.
同时提出了一种时空结合的MAD预测模型和一种更加灵活的非纹理数据的预测方法。
应用推荐