1) timed labeled transition system
时间标号迁移系统
2) LTS
标号迁移系统
3) timed symbolic transition graph
时间符号迁移图
4) labelled transition system
标号变迁系统
1.
Secondly, the basic theory, definition, and properties of the labelled transition system (LTS) are given.
然后 ,介绍标号变迁系统 (L TS)的形式化理论的定义和基本性质 ,利用 L TS,给出测试例、测试集以及测试生成的形式化定义 。
5) Labeled transition system
标记迁移系统
1.
Labeled transition system is a formalism that is widely used in the literature of computer-assistant design and verification.
标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型。
2.
At the same time,the definition of weak invariant for labeled transition systems is given.
余代数上的不变量在理论计算机科学中占有十分重要的地位,本文借助文献[1]的思想建立弱不变量的定义,讨论了弱不变量的性质以及与不变量的关系;其次,定义标记迁移系统的弱不变量并证明这两种定义是等价的。
6) migration time
迁移时间
1.
The effects of running buffer on reproducibility of the migration time in the modes of capillary zone electrophoresis (CZE) and micellar electrokinetic capillary chromatography(MECC) were investigated.
以电泳介质为研究对象,在毛细管区带电泳(CZE)和胶束电动毛细管色谱(MECC或MEKC)两种电泳模式下,探讨了电泳介质中各组分浓度、冲洗程序、电泳介质在实验中发生的变化对溶质迁移时间重现性的影响。
2.
The effects of SDS concentration, borax concentration, buffer pH, column temperature on migration time and separation were discussed.
讨论了SDS浓度、硼砂浓度、缓冲溶液pH、柱温对迁移时间和分离的影响。
3.
Influences of temperature and ion concentration on ion migration time in capillary ion analysis are studied.
定量考察了毛细管离子分析中温度及离子浓度对迁移时间的影响。
补充资料：地空导弹武器系统反应时间
地空导弹武器系统反应时间
reaction time of ground-to-air missile weapon system
di一kong daodan wuqi xitong fonyingshiiian地空导弹武器系统反应时间(re actiontime of ground一to一air missile weaPon system)从地空导弹武器系统的搜索设备发现目标的瞬间起到正常发射出第一枚导弹止所需的最短时间。它反映地空导弹武器系统的应变能力和生存能力，是地空导弹武器系统战斗性能的重要指标之一。它的长短取决于武器系统各分系统的反应时间、发射准备时间以及战勤人员的素质和水平。一般包括:发现识别目标、判断空情和定一!;发射导弹的决心，给制导和发射系统指示目标、将弹上设备转换为战斗状态、使导弹指向所需空间、确定发射时机和发射导弹的时间。为了最大限度地缩短武器系统的反应时间，在地空导弹武器系统的系统设计工作中，力求使战斗过程自动化和优化战斗工作各阶段的顺序和交叉关系。如地空导弹武器系统无目标搜索和(或)识别设备，搜索和(或)识别目标则由战勤人员以目视方法来完成，这一段时间应计入地空导弹武器系统的反应时间。现代地空导弹武器系统的反应时间较短，一般只有几秒至几十秒。(王笃敬)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条