timed automaton
基本解释
- [计算机科学技术]时间自动机
英汉例句
- Real-time systems are often modeled as timed automaton networks, which are parallel compositions of timed automata.
实时系统可以使用由多个并发的时间自动机组成的时间自动机网络来建模。 - Next, a priced probabilistic timed automaton is extended to a multi-priced probabilistic timed automaton with multiple price variables.
另外，通过扩展代价和概率时间自动机模型，得到多代价和概率时间自动机。 - The property of timed automaton is presented. The basic concept of the timed automaton is given. The construction of the region automaton is described, and the algorithm to realize it is given.
给出时间自动机的基本概念，描述了区域自动机的构造方法，并且实现了区域自动机的构造算法。
双语例句
词组短语
- stochastic timed state automaton 随机赋时状态自动机
- minimizable timed automaton 可最小化的时间自动机
短语
专业释义
- 时间自动机
An optimization definition of clock equivalence,the key to model checking real-time,is described for model checking timed automaton. Based on its equivalent finite-state clock valuation,region automaton that the finite-state model resulted from timed automaton is redefined.
提出了一种优化模型检验时间自动机的时钟等价规则,通过优化的时钟等价规则,使时间自动机等价后的域自动机状态数尽可能少,并在此基础上定义了适合于优化时钟等价规则的域自动机。