符号化

在T恤上面充满简洁的设计，现在已经成为设计师的一个符号化的媒介

Belying its simple graphic design , a T-shirt is now a symbolic medium for designers .

基于Gear算法的一个符号化仿真系统设计原理

A symbolism simulation system design theory based on gear algorithm

利用OpenGL显示列表技术实现GIS对象的符号化

Symbolization of GIS objects based on the display list of OpenGL

基于Javascript的GIS符号化技术研究

Javascript Based Cross-platform Symbolize Study

但作为国外GIS平台，其在符号化、建库等方面的功能还远远不能满足国内的需求。

But as foreign GIS platform , its functions on symbolization and building database are far from satisfying in domestic needs .

矢量数据符号化是GIS中空间信息可视化的一种主要方法，通常是采用完全基于矢量技术的算法实现。

Vector data symbolization is a main method of GIS spatial information visualization . It is usually realized based on vector technique .

经过适当的粗粒化和符号化，生物大分子（DNA、RNA、蛋白质等）也可表示成一维符号序列的形式。

Through appropriate coarse graining and symbolization , biological macromolecules ( DNA , RNA , protein ) can be represented as one dimensional symbol sequences .

符号化近似SAX在时序数据挖掘中的应用研究

Application Research of a New Symbolic Approximation Method-SAX in Time Series Mining

提出了一个关于时态逻辑CTL的符号化模型检测算法。

This paper gives a symbolic model checking algorithm for the temporal logic CTL ~ .

矢量数据符号化方法在CAC中的重要性研究

Method of Symbolic Vector Data in the Study of the Importance of CAC

符号化模型检测CTL

Symbolic Model Checking for CTL

基于Gear算法设计了面向框图、微分方程、状态方程对象的仿真程序，其输入设计为符号化的参数输入方式，并给出了应用实例。

The simulation program is designed which is direct to frame figure , differential equation and state equations , it has the symbolism parameter input interface , an applied sample is presented .

MicroStation环境下地图矢量数据全要素符号化研究

The Symbolization Research for Vector Map Base on MicroStation

基于符号化执行的Fuzzing测试方法

Fuzzing Test Approach Based on Symbolic Execution

把地图矢量数据在MicroStation中进行全要素符号化是实现其地图生产出版的首要条件。

It is the chiefly term for map publishing to symbolize vector map data of all elements .

重点对地图投影及坐标系、多比例尺矢量数据在球面上的表达、矢量数据在三维API中的符号化进行了较为系统的分析、论述和试验。

This paper focus on the map projection and coordinate system , multi-scale vector data on the sphere of expression , vector data in the symbolic by three-dimensional API and do some systemic analysis , discussion and testing .

将具有特定Fourier级数展开系数的波形在时域进行二次伸缩，采样，并符号化，即得到所谓的二次伸缩二相编码信号。

Be applied 2nd dilation in time domain to a waveform which has some special coefficients of fourier expanding series , then sampled and saturated to 1 or - 1 , the waveform of so called 2 Dilation Binary Phase-coded signal is formed .

本文利用XSL表达地图知识，将地理标记语言GML转换为SVG，实现GML的符号化，完成GML的地图表达。

This paper uses XLS to express map knowledge . It transforms Geography Markup Language ( GML ) to SVG , then to realize the symbolized GML and perform the map representation of GML .

对于树木等植被的可视化，本文提出了用线画模型、billboard模型和符号化模型等三个层次LOD模型来表达的方式。

As for the visualization of the vegetation such as the tree , this paper suggest an expression way with the LOD model , which composed of three levels : line-draw model , billboard model and symbolized model .

根据该理论，作者已实现了一个基于OBDD技术的CTL符号化模型检测工具MCTK，并完成了相当数量的实验。

According to our algorithm , we had implemented a new CTL ~ symbolic model checker ( MCTK ) by means of OBDD and obtained some experimental results .

测试结果表明：基于符号化执行的Fuzzing测试方法能够有效提高测试过程中的代码覆盖率，对于提高软件漏洞的检测效率有着很好的应用价值。

According to the results , the Fuzzing test based on symbolic execution has remarkable advantage in improving the code coverage and the prototype system is of great value in detecting software security vulnerabilities .

在海图显示上，以S-52的表示库的内容为依据，以表示库的显示生成器为指导，以物标的符号化为主线，实现了海图的S-52显示。

On chart displaying , Plat basis the contents of Presentation Library of S-52 , get the S-52 display by implementing the " Chart display generator " .

基于特定椭圆拟合的符号化目标轮廓跟踪方法

Symbolic Method of Contour Tracking Based on Ellipse - Specific Fitting

城市基础地理信息系统地形要素代码设计与符号化

Design and Symbolization of Relief Feature Codes of Urban Basic GIS

航摄像主点符号化索引图的制作技术

The Technology of producing index maps of symbolical arial photos'principle points

因此，地图符号化也是地理信息系统的重要内容之一。

Accordingly map symbolization is one of important matters of GIS .

园林景观中的意义及其符号化的表达

The Intention as Well as Its Semiological Expression in Landscape Architecture

真正的程序员不用符号化的调试器，因为它竟需要符号。

Real Programmers dont use symbolic debuggers , who needs symbols .

生活符号化的黄河流域彩陶艺术

Symbolized Art of Ancient Painted Pottery of the Yellow River Basin

抽象符号化使这种虚拟再现成为可能。

The abstract sign makes this kind of virtual emersion make possible .