1) TAG Time Automated Grid
时间的自动化网格
2) priced timed automata
价格时间自动机
1.
Correspondingly the priced timed automata is a mature tool.
而价格时间自动机则是一种相对成熟的工具。
3) minimizable timed automaton
可最小化的时间自动机
4) timed automata network
时间自动机网
1.
Modeling of a C~3I system and its real time performance and verification based on timed automata network;
基于时间自动机网的C~3I系统建模和实时性验证
5) networks of timed automatas
时间自动机网络
1.
On the basis of the formal model of the timed automatas,the formal syntax and semantics of networks of timed automatas are established.
介绍了时间自动机形式模型,在此基础上给出了时间自动机网络的形式语法和语义,然后给出一种基于时间自动机网络的实时系统形式化验证方法,并采用基于时间自动机网络的模型检测工具UPPAAL对一个经典的实时系统实例进行了验证。
6) Automated grid methods
自动网格
补充资料：自旋-自旋弛豫时间
自旋-自旋弛豫时间
磁共振成像术语。磁共振成像中，自旋-自旋弛豫(T2弛豫)的时间常数。其值定义为垂直于外磁场方向的磁化矢量衰减到其初始值的37%时所需的时间。T2弛豫时间一般较T1弛豫时间为短，它与组织的存在状态有关，固态组织的T2较短，液态组织的T2较长。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条