timed automaton中文，timed automaton的意思，timed automaton翻译及用法

2026-05-07 15:30 浏览次数 25

timed automaton

In automata theory, a timed automaton is a finite automaton extended with a finite set of real-valued clocks. During a run of a timed automaton, clock values increase all with the same speed.

timed automaton 例句

英汉例句

  • 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.

    给出时间自动机的基本概念，描述了区域自动机的构造方法，并且实现了区域自动机的构造算法。

相关热词