TAG Time Automated Grid
中文翻译时间的自动化网格
同义词释义
- 1)TAG Time Automated Grid,时间的自动化网格2)priced timed automata,价格时间自动机3)minimizable timed automaton,可最小化的时间自动机4)timed automata network,时间自动机网5)networks of timed automatas,时间自动机网络6)Automated grid methods,自动网格
用法例句
Correspondingly the priced timed automata is a mature tool.
而价格时间自动机则是一种相对成熟的工具。
Modeling of a C~3I system and its real time performance and verification based on timed automata network;
基于时间自动机网的C~3I系统建模和实时性验证
On the basis of the formal model of the timed automatas,the formal syntax and semantics of networks of timed automatas are established.
介绍了时间自动机形式模型,在此基础上给出了时间自动机网络的形式语法和语义,然后给出一种基于时间自动机网络的实时系统形式化验证方法,并采用基于时间自动机网络的模型检测工具UPPAAL对一个经典的实时系统实例进行了验证。
相关英语词汇
- transient state power limit是什么意思
- Turkish delight是什么意思
- three chambered是什么意思
- tide raising force是什么意思
- tenure是什么意思
- tent barrack是什么意思
- two mirrors是什么意思
- time sampling analysis是什么意思
- tripleH block是什么意思
- toxigenic saprophyte是什么意思
- thoracic cavity drainage casingneedle是什么意思
- TGB Trunk Group Busy是什么意思
- totipotency是什么意思
- thorpe reaction是什么意思
- test of correlation是什么意思
- toddite是什么意思
- TLM Time Linearization Method是什么意思
- thread cutt. screw是什么意思
- toroidal function是什么意思
- theory of conditioning是什么意思
- time illusion是什么意思
- troublefree是什么意思
- TNS Temporal Noise Shaping是什么意思
- taramellite是什么意思
- trans1,4polyisoprene是什么意思
- typogenesis是什么意思
- throughtype是什么意思
- taxable income是什么意思
- take back possession是什么意思
- time,central processing unit是什么意思