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

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

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

作 者： 钟业勋 胡毓钜 李占元 ZHONG Ye-xun HU Yu-ju LI Zhan-yuan   作者单位： 钟业勋,李占元,ZHONG Ye-xun,LI Zhan-yuan(广西测绘局,南宁,530023;广西师范学院资源与环境科学学院,南宁,530001)

胡毓钜,HU Yu-ju(武汉大学资源与环境科学学院,武汉,430079) 

刊 名： 测绘科学  ISTIC PKU 英文刊名： SCIENCE OF SURVEYING AND MAPPING  年，卷(期)： 2007 32(4)  分类号： P28  关键词： 包含关系   论域X   幂集   布尔代数  

【多种地图符号系统布尔代数结构的简要证明】相关文章：

格蕴涵代数的拓扑结构04-27

Z-代数格和Z-代数交结构04-26

数学代数教学总结 布尔值、逻辑运算、关系运算总结04-26

汽车的空气悬架系统结构原理剖析04-27

汽车的空气悬架系统结构原理剖析04-27

基于Dematel方法的ETC系统结构分析04-26

关于汽车转角数据采集系统问题的简要探讨04-27

卫生系统个人简要事迹（精选9篇）11-09

奥迪Q5 ESP系统结构与功能04-26

基于C/S结构超市管理系统设计04-26