英语词典
英语单词 汉英字典 汉英词典 高中 CET4 CET6 TOEFL 考研 IELTS GRE 英语短语 行业英语
汉语字典
偏旁部首 拼音查字 笔画查字 汉字结构 汉字笔顺 汉字拆字
汉语词典
成语组合 成语组词 近义词 反义词
成语词典
词语组合 词语组词
教育工具
古诗词 造句大全 元素周期表

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对一个经典的实时系统实例进行了验证。

最新行业英语

行业英语