| 释义 |
timed automata短语¹⁸⁰⁰⁹⁸⁺¹
基本例句
时间自动机
In his paper, we introduce timed automata and the algorithm of reachability analysis, and proposes an improvement algorithm of the basic successor algorithm.
本文介绍了时间自动机和可达性分析算法，并对可达性分析算法中的后继算法进行了改进。 dictall
In this paper an extension of timed automata with priorities is introduced, and we present an improved algorithm to compute subtraction on DBMs.
本文介绍一种具有优先级扩展的时间自动机模型，并对一种计算 DBM减法算法进行改进。 dictall
Introduces the notion of Finite Precision Timed Automata FPTA and focuses on the representation of clocks in a state.
简要介绍了有限精度时间自动机 FPTA的基本概念，重点讨论 FPTA状态中时钟的表示。 dictall
Networks of timed automata with shared variables and channels are introduced as model language for concurrent real-time systems.
同时，为了便于描述并发实时系统，使用带共享变量和通道的时间自动机网作为模型描述并发实时系统。 cnki
Real-time systems are often modeled as timed automaton networks, which are parallel compositions of timed automata.
实时系统可以使用由多个并发的时间自动机组成的时间自动机网络来建模。 cnki
Specification and verification of real-time system based on timed/span> automata consist of constructing its timed automata and verifying its property.
使用时间自动机对实时系统规范和验证，主要包括对实时系统建模即构造系统的时间自动机和安全可靠性验证。 cnki
Timed automata are used as the model language for real-time systems.
使用时间自动机作为实时系统的描述模型。 cnki
Timed Automata Network;
时间自动机网络； chemyq |