1) 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系统的符号管理方案作了比较分析 ,进一步说明了它的全面性和实用
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) timed symbolic transition graph
时间符号迁移图
4) STGA
带赋值符号迁移系统
1.
The method is based on symbolic transition graphs with assignment (STGA).
本文提出一种基于带赋值符号迁移系统STGA选取测试同步序列的方法。
5) transference symbol
转移符号
6) drifting symbol
漂移符号
补充资料：《公共信息标志用图形符号》(GB10001—1994)
《公共信息标志用图形符号》(GB10001—1994)
Graphical Symbols for Use on Public Information Signs
号是用于图形标志上，以图形或图像为主要特征，向公众提供信息，给人以行为指示的国际化图形语言，具有一目了然的特点及美化环境、提高文明建设程度的良好作用。常设t在宾馆、饭店、商场、车站、码头、机场、体育及会议中心、旅游景点等处。还可用于各种印刷品。该标准的前身为《公共信息图形符号》(GB 3818一1983)和《公共信息标志用图形符号》(GBI(X刃1一1988)，1望抖年合并为GB10以)1一1望抖。 与GBI以X)1相关的标准有:《铁路客运服务图形标志)( GB/T7仍8一1986)、《民用航空公共信息图形符黔(MH(以巧一l期)、《旅游饭店用公共信息图形符号》(LBITool一1卯5)。这些标准分别引用了GBI仪幻l中的相关符号，并补充了各自的专用符号。另外，指导如何使用这类图形符号的标准有《图形标志使用原则与要求》(C别T巧宝巧一1卯5)及《民用航空公共信息图形标志设t原则与要求》(MHIToo12-1卯7)。 (白段一)G。飞心以习Xinxj Bicozhiybr习Tuxing Fuf父幻《公共信息标志用图形符号)(GB llXX)l一1994)(。即人蒯月助刀入〕‘for Useon乃站licl卜娇〕~fonS心心)在采用1507001:l卿公共信息符号的基础上制定的国家标准，共规定了79个公共信息标志用图形符号。其中的10个符号(见图)，从左到右依次为:公共汽车、残疾人设施、卫生间、电话、票务服务、结账、西餐、卡拉OK、自行车停放处、运动场所。这类符回固圃园圃圃冈团园囿公共信息标志用图形符号
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条