您要查找的是不是：
- two way time transfer 双向时间变换
- A relationship between the accepting powers of sub logarithmic space bounded two way alternating pushdown automata with and without 1 inkdot is investigated. 对具有 1个墨水点的和没有墨水点的亚对数空间限定交替式下推自动机之间的关系进行研究。
- Two way market and have ready buyer and seller. 双边市场和现成的买卖双方。
- LACK OF ONE SET OF TWO WAY VHF ON BOARD. 这句描述有些罗嗦,是不是可以。
- Bisected two way mirror triangle, 1998. 分为两个三角形的方式镜子， 1998年。
- There is two way to access your preset camera position. 有两种方法进入预置摄像机位置。
- Removing irrelevant atomic formulas for checking timed automata efficiently. In Proc. 因此,无关的原子约束是广泛存在的。
- This paper first briefly introduces timed automata, clock region, region equivalence and clock zone. 摘要首先简介了时间自动机、时钟区域、区域等价、时钟带的概念。
- In this paper a 1 inkdot two way alternating pushdown automaton (2apda) is introduced which is a two way alternating pushdown automaton (2apda) with the additional power of marking at most 1 tape cell on the input (with an inkdot) once. 该文引入 1墨水点 2方向交替式下推自动机 ,它是 1个具有额外能力的 2方向交替式下推自动机 ,能够用 1个墨水点在输入带上标记出最多 1个单元格。
- According to clock zone, infinite state space of timed automata can be transformed to finite. 利用时钟带，可以将时间自动机的无穷状态空间转化为有穷。
- Twelve years? But I only felt a few moths ago.That's the way time flies. 12年啦，可我只觉才过几个月似的。所以说光阴似箭啊。
- Based on timed automata,a rigorous schedulability analysis method of the CAN network with aperiodic real-time messages is developed in the paper. 控制网络的可调度性对网络化控制系统的性能有着重要的影响。
- In this paper an extension of timed automata with priorities is introduced,and we present an improved algorithm to compute subtraction on DBMs. 本文介绍一种具有优先级扩展的时间自动机模型,并对一种计算DBM减法算法进行改进。
- This paper solves a reachability problem in priced probabilistic timed automata, which is minimal cost ensuring a probabilistic lower bound. 摘要着重解决代价和概率时间自动机模型的可达性问题，即满足一定概率要求的最小代价问题。
- This paper introduced the timed automata and TCTL in brief, and described how to model check the real-time systems based dense time, then we give an example in the end. 本文简要介绍了时间自动机和时序逻辑TCTL，并着重说明了如何进行基于稠密时间的实时系统的模型检测，最后给出了一个应用实例。
- The UPPAAL Timed Automata Parser Library (libutap) is the parser library used by UPPAAL. It includes a type checker and supports the TA, XTA, and XML file formats. 是一种被UPPAAL使用的语法分析程序库。它包括一个类型检测器，并支持TA、XTA和XML文件格式。
- Zip Fastner for Inner bag No8 with green tape. Heavy duty plastic with two way, two side zipper. 内胆用8号拉头，绿色布条，使用加强型塑料双向双面拉链。
- The reachability analysis based on timed automata is one of the most used methods for model checking.Its’ major weakness is the state-space-explosion problem. 摘要 基于时间自动机的可达性分析是模型检测最常用的方法之一，但该方法饱受状态空间爆炸问题的困扰。
- The market-makers will be required to quote two way prices at a reasonable spread during money market hours. 市场庄家须在货币市场操作时间内按合理差价提供买入和卖出报价。
- Zip Fastner for Inner bag No 8 with green tape. Heavy duty plastic with two way, two side zipper. 内胆用8号拉头，绿色布条，使用加强型塑料双向双面拉链。
