1) Timed interface automata
时间接口自动机
2) interface automata
接口自动机
1.
Transition from web service language BPEL to interface automata;
Web服务语言BPEL到接口自动机的转换
2.
Specifically,the authors use the interface automata networks to model the component-based system designs which include a set of interface automata synchronized by shared ac.
使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型,使用UML顺序图表示基于场景的需求规约,对系统设计阶段的构件交互行为的动态兼容性进行形式化分析和检验。
3.
Firstly the timing scenario-based specifications are specified by UML sequence diagrams with a set of boolean expressions, then the interface automata for modeling real time systems through adding time intervals on the actions is extened.
通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口行为的表达能力;使用实时接口自动机网络来描述实时软件系统的构件式设计模型;使用带布尔不等式时间约束的UML顺序图表示基于场景的需求规约,对系统设计阶段实时软件构件的动态行为进行形式化分析与检验。
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) timed automata network
时间自动机网
1.
Modeling of a C~3I system and its real time performance and verification based on timed automata network;
基于时间自动机网的C~3I系统建模和实时性验证
6) Discrete timed automata
离散时间自动机
补充资料：自旋-自旋弛豫时间
自旋-自旋弛豫时间
磁共振成像术语。磁共振成像中，自旋-自旋弛豫(T2弛豫)的时间常数。其值定义为垂直于外磁场方向的磁化矢量衰减到其初始值的37%时所需的时间。T2弛豫时间一般较T1弛豫时间为短，它与组织的存在状态有关，固态组织的T2较短，液态组织的T2较长。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条