英语词汇timed automata怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词	timed automata
释义	timed automata 简明释义时间自动机网络释义 1 ?时间自动机时间自动机(Timed Automata)是对实时系统进行形式化描述的有效.. 2 ?自动机时间化自动机(Timed Automata)是一种用于描述、验证实时系统的理论模型.文中提出了一种通过时间化自动机来形式化带有时间扩展的UML状态图的方法,这种方法为UML... 短语 1 weighted timed automata 自动机 2 finite run timed automata 时间自动机 3 timed automata theory 赋时自动机理论双语例句 1 Propese a real-time workflow time modeling and verification method based on timed automata. 提出一种基于时间自动机的实时工作流时间建模与验证方法。 2 The systems are usually described by the timed automata and the properties are specified by the temporal logic. 这类系统通常用时间自动机来表示，而它们的性质则用时序逻辑公式表示。 3 Introduces the notion of Finite Precision Timed Automata (FPTA) and focuses on the representation of clocks in a state. 简要介绍了有限精度时间自动机(FPTA)的基本概念，重点讨论FPTA状态中时钟的表示。
随便看	decreased barometric pressure decreased blood erythrocyte volume Decreased blood vessel permeability Decreased blood volume decreased body height Decreased body mass index Decreased body temperature Decreased body weight Decreased bowel sounds Decreased capillary filling decreased capillary fragility Decreased capillary permeability Decreased capillary refill time Decreased capillary resistance Decreased cardiac dullness Decreased cardiac function Decreased cardiac index Decreased cardiac output Decreased cardiac stroke volume Decreased central venous pressure Decreased central venous pulse pressure Decreased cerebrospinal fluid formation decreased cerebrospinal fluid pressure decreased chest expansion Decreased circumduction

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。