期刊文献+

多种地图符号系统布尔代数结构的简要证明 被引量:6

The brief proof for boolean algebraic structure of multi map symbol system
下载PDF
导出
摘要 布尔代数是计算机进行逻辑运算的基础,它为自动化制图提供了理论基础和数学工具。本文根据论域的幂集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.
  • 相关文献

参考文献7

二级参考文献22

共引文献49

同被引文献38

引证文献6

二级引证文献13

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部