1) 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.
为刻画和验证无穷值域上的传值进程，Ｈｅｎｎｅｓｓｙ和Ｌｉｎ先后提出符号迁移图（ＳＴＧ）和带赋值符号迁移图（ＳＴＧＡ）作为传值进程的语义表示模型，并给出了相应的强互模拟算法。
2) timed symbolic transition graph
时间符号迁移图
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) minimized stable label transition graph of symbolic state
最简稳定符号状态迁移图
5) STGA
带赋值符号迁移系统
1.
The method is based on symbolic transition graphs with assignment (STGA).
本文提出一种基于带赋值符号迁移系统STGA选取测试同步序列的方法。
6) transference symbol
转移符号
补充资料：电工图符号
电工图中用以代表电器或电器的某个部分的符号。 电工图符号分图形符号和文字符号。图形符号旁一般均标有文字符号。在一张图上，相同文字符号表示同一设备；在文字说明中，此文字符号也代表此设备。各国规定使用的图形符号和文字符号不完全相同。中国国家标准规定了图形符号、电力设备用的文字符号，以及图形符号的组合，并采用了国际通用的部分文字符号。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条