1) networks of timed automatas
时间自动机网络
1.
On the basis of the formal model of the timed automatas,the formal syntax and semantics of networks of timed automatas are established.
介绍了时间自动机形式模型,在此基础上给出了时间自动机网络的形式语法和语义,然后给出一种基于时间自动机网络的实时系统形式化验证方法,并采用基于时间自动机网络的模型检测工具UPPAAL对一个经典的实时系统实例进行了验证。
2) timed automata network
时间自动机网
1.
Modeling of a C~3I system and its real time performance and verification based on timed automata network;
基于时间自动机网的C~3I系统建模和实时性验证
3) automaton network
自动机网络
1.
In this paper, automaton network model and Agentbased modeling and simulation method are integrated, and a kind of Agentbased automation network model is put forward.
将自动机网络模型与基于Agent的建模仿真方法相结合,提出了一种基于Agent的自适应自动机网络模型。
4) 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);
一种基于有限精度时间自动机的模型检测工具
5) 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.
给出时间自动机的基本概念 ,描述了区域自动机的构造方法 ,并且实现了区域自动机的构造算法 。
补充资料：自旋-自旋弛豫时间
自旋-自旋弛豫时间
磁共振成像术语。磁共振成像中，自旋-自旋弛豫(T2弛豫)的时间常数。其值定义为垂直于外磁场方向的磁化矢量衰减到其初始值的37%时所需的时间。T2弛豫时间一般较T1弛豫时间为短，它与组织的存在状态有关，固态组织的T2较短，液态组织的T2较长。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条