1) timed symbolic transition graph
时间符号迁移图
2) Symbolic transition graph
符号迁移图
1.
In order to check bisimulation for value--passing processes with infinite data domain, the symbolic transition graph (STG) and the symbolic transition graph with assignment (STGA) are introduced by Hennessy and Lin as semantic models of value-passing processes, and strong bisimulation algorithms based on such graphs are also proposed.
为刻画和验证无穷值域上的传值进程，Ｈｅｎｎｅｓｓｙ和Ｌｉｎ先后提出符号迁移图（ＳＴＧ）和带赋值符号迁移图（ＳＴＧＡ）作为传值进程的语义表示模型，并给出了相应的强互模拟算法。
3) symbol transference
符号迁移
1.
Because of the dual management of symbol table and symbol library, symbol transference will not be a problem, More over, it makes more direct and more efficient to implement some common function in GIS.
文中提出一个新的符号管理方案 ,通过对符号表和符号库的双重管理 ,解决了符号迁移问题 ,同时也使得GIS中一些常用功能的实现变的直接、高效 ,最后还就该方案同现有的一些GIS系统的符号管理方案作了比较分析 ,进一步说明了它的全面性和实用
4) 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.
定量考察了毛细管离子分析中温度及离子浓度对迁移时间的影响。
5) temporal transition
时间迁移
6) timed labeled transition system
时间标号迁移系统
补充资料：电工图符号
电工图中用以代表电器或电器的某个部分的符号。 电工图符号分图形符号和文字符号。图形符号旁一般均标有文字符号。在一张图上，相同文字符号表示同一设备；在文字说明中，此文字符号也代表此设备。各国规定使用的图形符号和文字符号不完全相同。中国国家标准规定了图形符号、电力设备用的文字符号，以及图形符号的组合，并采用了国际通用的部分文字符号。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条