1) Two-way timed automata
双向时间自动机
2) timed automata
时间自动机
1.
Testcase automatic generation and execution method based on timed automata;
基于时间自动机的测试用例自动生成及执行方法
2.
Minimizing state space of timed automata;
时间自动机状态空间的一个极小化构造方法
3.
Model-checking Tool Based on Finite Precision Timed Automata (FPTA);
一种基于有限精度时间自动机的模型检测工具
3) timed automaton
时间自动机
1.
Region Construction Method for Timed Automaton;
一种基于时间自动机的域构造方法
2.
To verify the correctness of the finite state real time system by timed automaton can come down to the inclusion of two timed regular languages.
用时间自动机验证一个有穷状态实时系统的正确性 ,可归结为判定两个时间正则语言的包含问题 ,亦可归结为判定两个时间正则语言的交是否为空的问题 。
3.
The property of timed automaton is presented.
给出时间自动机的基本概念 ,描述了区域自动机的构造方法 ,并且实现了区域自动机的构造算法 。
4) two-way Chinese finite automaton
双向有穷自动机
5) two-way stack automaton
双向堆栈自动机
6) two-way push-down automaton
双向下推自动机
补充资料：自旋-自旋弛豫时间
自旋-自旋弛豫时间
磁共振成像术语。磁共振成像中，自旋-自旋弛豫(T2弛豫)的时间常数。其值定义为垂直于外磁场方向的磁化矢量衰减到其初始值的37%时所需的时间。T2弛豫时间一般较T1弛豫时间为短，它与组织的存在状态有关，固态组织的T2较短，液态组织的T2较长。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条