多種地圖符號系統布爾代數結構的簡要證明

多種地圖符號系統布爾代數結構的簡要證明

布爾代數是計算機進行邏輯運算的基礎,它為自動化制圖提供了理論基礎和數學工具.本文根據論域的冪集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