According to the fact of existing mapping relations between cartographic region and the subjective cognition structure, this paper brings forth the definitions of imitative map symbol and virtual map symbol, studies the rule of their evolution, puts foward the mathematical model for maps of planning and forecasting as well as the definition for geo-cyberspace.

According to the fact of existing mapping relations between cartographic region and the subjective cognition structure, this paper brings forth the definitions of imitative map symbol and virtual map symbol, studies the rule of their evolution, puts foward the mathematical model for maps of planning and forecasting as well as the definition for geo-cyberspace.

To solve the problem that SAT solvers usually has excessive backtraces during assigning binary values to an unassigned variables,a new SAT solver based on symbolic simulation and variable partition,which lower not only the number of backtrack but the memory blow-up,was presented.

The paper introduces the history,basic technology,and the drawback of BDD blowup of symbolic simulation.

We propose a method of implementing a symbolic simulation system which uses symbolic simulation and BDD.

Design and implementation of extendable electronic map symbol system;

Designing and Implementation of Map Symbol Database System Based on Component Technology;

Recognition of Point-Shaped Map Symbol Based on Shape Analysis;

Because there are different map symbols systems and interfaces in GIS softwares,between them the cartographic symbols cannot be shared.

Method of map symbols recognition based on numerical background expression;

This paper expands on the design and realization method of electronic map symbols based on Java2D,and the plotting effect and function is tested.

This paper presents the structure and the classification of map symbols in a map symbol system, CartoSymbol system, which is developed on the Visual C ++6.