| 单词 | timed automata | ||||
| 释义 | timed automata
例句释义: 时间自动机,时间化自动机 1. RBC system for the five process timed automata model, as well as other external devices timed automata model are established in the UPPAAL. 对RBC系统的五个流程以及其他外部设备分别在UPPAAL中建立了时间自动机模型。 paper.pet2008.cn 2. Introduces the notion of Finite Precision Timed Automata(FPTA) and focuses on the representation of clocks in a state. 简要介绍了有限精度时间自动机（FPTA）的基本概念，重点讨论FPTA状态中时钟的表示。 www.dictall.com 3. This paper first briefly introduces timed automata, clock region, region equivalence and clock zone. 首先简介了时间自动机、时钟区域、区域等价、时钟带的概念。 www.ceps.com.tw 4. Finally, Timed Automata Network of route-control process is simulated and verified in UPPAAL. 最后，论文利用UPPAAL对进路控制流程的时间自动机网络进行了模拟仿真和验证。 paper.pet2008.cn 5. According to clock zone, infinite state space of timed automata can be transformed to finite. 利用时钟带，可以将时间自动机的无穷状态空间转化为有穷。 www.ceps.com.tw 6. The method based on Timed Automata is proposed to model route-control process. 本文提出了基于时间自动机对进路控制流程进行建模。 paper.pet2008.cn 7. Chapter4. How to use the timed automata model checking tool -UPPAAL is introduced here. 第四章。介绍了基于时间自动机理论模型检验工具UPPAAL的使用方法。 paper.pet2008.cn 8. An Algorithm to Dynamically Reduce the State Space of Timed Automata during the Reachability Analysis 一种动态消减时间自动机可达性搜索空间的方法 www.ilib.cn 9. Improvement on a Reachability Analysis Algorithm in Timed Automata 时间自动机可达性分析算法的改进 www.ilib.cn 10. Automatic Abstraction Algorithm for Timed Automata 时间自动机的自动抽象算法 www.ilib.cn 1. Reachability Checking of Finite Precision Timed Automata 有限精度时间自动机的可达性检测 service.ilib.cn 2. Real-time system; schedulability analysis; timed automata; multi-core system; 实时系统；可调度性浅析浅析；时序自动机；多核系统； www.zidir.com 3. The Construction and Bisimulation between Two Model of Timed Automata 时间自动机两种模型的构造互模拟研究 service.ilib.cn 4. Schedulability Analysis of the CAN Network Using Timed Automata 基于时间自动机的CAN网络可调度性分析 www.ilib.cn 5. Minimizing state space of timed automata 时间自动机状态空间的一个极小化构造方法 www.ilib.cn 6. A Logic Model of the Gene Network Based on Finite Run Timed Automata 一种基于有限运行时间自动机的基因网络模型 service.ilib.cn 7. On Automatic Turnout Control Based on Timed Automata 基于时间自动机的道岔自动控制研究 www.ilib.cn 8. A logic model of the gene network based on timed automata 一种基于时间自动机的基因网络逻辑模型 service.ilib.cn 9. A Method for Testing Real-Time System Based on Timed Automata 一种基于时间自动机的实时系统测试方法 www.ilib.cn |
||||
| 随便看 |
|
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。