多种地图符号系统布尔代数结构的简要证明

作     者：钟业勋 胡毓钜 李占元 ZHONG Ye-xun;HU Yu-ju;LI Zhan-yuan

作者机构：广西测绘局 武汉大学资源与环境科学学院武汉430079 

出 版 物：《测绘科学》 (Science of Surveying and Mapping)

年 卷 期：2007年第32卷第4期

页      面：25-26页

核心收录：

学科分类：081603[工学-地图制图学与地理信息工程] 07[理学] 08[工学] 070503[理学-地图学与地理信息系统] 0705[理学-地理学] 0816[工学-测绘科学与技术] 

主　　题：包含关系 论域X 幂集 布尔代数 

摘      要：布尔代数是计算机进行逻辑运算的基础,它为自动化制图提供了理论基础和数学工具。本文根据论域的幂集P(X)为布尔代数且其偏序关系为包含关系的数学原理,通过改变论域而分别对地图图像系统、地图符号系统和地图数据库系统等多种地图符号系统的布尔代数结构,分别作出了有别于应用布尔代数定义和定理的简要证明。文章给出了以点的特征变换构建地图符号、地图注记和实现面状域色彩变换的实例,阐释了地图图像系统中的布尔运算;还给出了通过基础图层上地图符号的增删,构建不同图层和不同图层叠合构建不同类型地图的实例,说明以点集形式为基本元素的地图符号系统和地图数据库系统也适于布尔运算。