摘要
布尔代数是计算机进行逻辑运算的基础,它为自动化制图提供了理论基础和数学工具。本文根据论域的幂集P(X)为布尔代数且其偏序关系为包含关系的数学原理,通过改变论域而分别对地图图像系统、地图符号系统和地图数据库系统等多种地图符号系统的布尔代数结构,分别作出了有别于应用布尔代数定义和定理的简要证明。文章给出了以点的特征变换构建地图符号、地图注记和实现面状域色彩变换的实例,阐释了地图图像系统中的布尔运算;还给出了通过基础图层上地图符号的增删,构建不同图层和不同图层叠合构建不同类型地图的实例,说明以点集形式为基本元素的地图符号系统和地图数据库系统也适于布尔运算。
Boolean algebra is a system suit with which computer can carry on logic operation. It provides theory base and mathematical tool for automatic mapping .In this paper according to the mathematical principle that the power set P(X)of discussion field X belongs Boolean algebra and its partial-ordering relation is contain relation, the authors have given the brief proof which is different from application definition and theorem of Boolean algebra through change discussion field X for the Boolean algebraic construction of map image system, map symbol system and cartographic data base system, and multi map symbol system respectively. By some examples, the authors have explained the Boolean operation in map image system. It concludes that Boolean operation is also suitable in map symbol system and cartographic database system, which with point set as basic element.
出处
《测绘科学》
CSCD
北大核心
2007年第4期25-26,共2页
Science of Surveying and Mapping
关键词
包含关系
论域X
幂集
布尔代数
contain relation
discussion field X
power set
Boolean algebra.