1) hierarchical timed automata
层次时间自动机
2) hierarchical automata
层次自动机
1.
After describing the UML model using formal method,we first used hierarchical automata to express statecharts d.
首先对UML模型进行形式化描述,使用层次自动机来描述状态图,然后根据层次自动机的操作语义将状态图和类图的部分信息转化为SPIN的输入语言PROMELA,使用SPIN来验证模型是否满足给定的线性时序逻辑所描述的系统约束,通过LTL公式描述顺序图的方式来验证与状态图之间的一致性问题。
3) 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);
一种基于有限精度时间自动机的模型检测工具
4) 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.
给出时间自动机的基本概念 ,描述了区域自动机的构造方法 ,并且实现了区域自动机的构造算法 。
5) Two Dimensional Hierarchical Automata
二维层次自动机
1.
Initially, the Two Dimensional Hierarchical Automata (2DHA) responsib
首先建立控制分枝结构生长的二维层次自动机模型。
6) timed automata network
时间自动机网
1.
Modeling of a C~3I system and its real time performance and verification based on timed automata network;
基于时间自动机网的C~3I系统建模和实时性验证
补充资料：自旋-自旋弛豫时间
自旋-自旋弛豫时间
磁共振成像术语。磁共振成像中，自旋-自旋弛豫(T2弛豫)的时间常数。其值定义为垂直于外磁场方向的磁化矢量衰减到其初始值的37%时所需的时间。T2弛豫时间一般较T1弛豫时间为短，它与组织的存在状态有关，固态组织的T2较短，液态组织的T2较长。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条