1) Model Checking for Mobile Ambients
移动界程模型检测
2) bounded model checking
有界模型检测
1.
This paper presents an approach to the verification of temporal epistemic logic in synchronous multi-Agent systems via bounded model checking (BMC).
提出在同步的多智体系统中验证时态认知逻辑的有界模型检测(boundedmodelchecking,简称BMC)算法。
2.
This paper optimizes the encoding of verifying G(p) and G(p→F(q)) which are two important and frequently used modal operators in optimization of encoding for bounded model checking (BMC).
G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子。
3) floating-vehicle detector
移动型检测器
4) program model checking
程序模型检测
1.
Two-phase framework of program model checking;
程序模型检测的两阶段框架
5) mobile ambient
移动界程
6) movement detection
移动检测
1.
The speeding up transient emission of gasoline automobile was obtained by adopting movement detection program,the steady emission of gasoline automobile obtained by the program of two-speed idle.
采用移动检测方案获得汽油汽车升挡加速瞬态排放,双怠速方案获得汽油汽车稳态排放;采用体积分数、面积量和符号时间序列分析方法的"Shannon熵"评价汽油汽车排放。
2.
Therefore, the size of this region has a direct impact on movement detection delay.
因此,区间的长度对于移动检测延时有直接的影响。
3.
Movement detection has important influence on handoff latency ,this paper present a method of low-latency mobile IPv6 movement detection for IEEE 802.
移动检测对移动IPv6中切换时延有重要影响,对移动IPv6中的移动检测机制进行研究,提出了一种在IEEE802。
补充资料：移动
1.改换原来的位置。 2.调动。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条