| 多种地图符号系统布尔代数结构的简要证明 |
| |
| 引用本文： | 钟业勋,胡毓钜,李占元.多种地图符号系统布尔代数结构的简要证明[J].测绘科学,2007,32(4):25-26. |
| |
| 作者姓名： | 钟业勋 胡毓钜 李占元 |
| |
| 作者单位： | 广西测绘局,南宁,530023;广西师范学院资源与环境科学学院,南宁,530001;武汉大学资源与环境科学学院,武汉,430079 |
| |
| 摘 要： | 布尔代数是计算机进行逻辑运算的基础,它为自动化制图提供了理论基础和数学工具。本文根据论域的幂集P(X)为布尔代数且其偏序关系为包含关系的数学原理,通过改变论域而分别对地图图像系统、地图符号系统和地图数据库系统等多种地图符号系统的布尔代数结构,分别作出了有别于应用布尔代数定义和定理的简要证明。文章给出了以点的特征变换构建地图符号、地图注记和实现面状域色彩变换的实例,阐释了地图图像系统中的布尔运算;还给出了通过基础图层上地图符号的增删,构建不同图层和不同图层叠合构建不同类型地图的实例,说明以点集形式为基本元素的地图符号系统和地图数据库系统也适于布尔运算。
|
| 关 键 词： | 包含关系 论域X 幂集 布尔代数 |
| 文章编号： | 1009-2307（2007）04-0025-02 |
| 修稿时间： | 2006-03-16 |
The brief proof for Boolean algebraic structure of multi map symbol system |
| |
| ZHONG Ye-xun,HU Yu-ju,LI Zhan-yuan.The brief proof for Boolean algebraic structure of multi map symbol system[J].Science of Surveying and Mapping,2007,32(4):25-26. |
| |
| Authors: | ZHONG Ye-xun HU Yu-ju LI Zhan-yuan |
| |
| Abstract: | 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. |
| |
| Keywords: | contain relation discussion field X power set Boolean algebra |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
