The author uses the mechanism of map symbol database index plus symbol description information buffer to prove the efficiency of accessing symbol description information in multiple map symbol databases ;

文中采用地图符号库索引加缓存 符号 描述信息的机制，提高了访问多地图符号库中描述信息的速度；

Beginning with the perspective of the symbol data sharing introducing the XML technology this dissertation designs an XML-based representation mode of symbol data model for sharing which mainly to solve the uniform description of map symbol .

从地图符号数据共享角度，引入XML技术，设计了面向共享的地图 符号数据模型XML表达方式，解决地图符号统一 描述的问题。

Based on above ultrasonic attenuation model in pulp suspension a numerical computation software package was programmed with symbol computing software Maple to implement the computer description of ultrasonic attenuation model .

以上述纸浆悬浮液超声衰减模型为基础，论文采用 符号计算软件Maple编写了数值计算软件包，实现了超声衰减模型的计算机 描述。

Integrating the character of map symbol and SVG this paper presents a description model of map symbol based on SVG .

结合地图 符号的结构特征和SVG的表达方法，提出了基于SVG结构化的地图符号 描述模型。

The third aspect is about justification of symbol formal proof methods on authentication protocols . A soundness proof was given out for formal attacker ability description .

在认证协议形式化证明可靠性 论证方面，给出形式化攻击者能力 描述的可靠性证明。