多種地圖符號系統(tǒng)布爾代數(shù)結構的簡要證明

布爾代數(shù)是計算機進行邏輯運算的基礎,它為自動化制圖提供了理論基礎和數(shù)學工具.本文根據(jù)論域的冪集P(X)為布爾代數(shù)且其偏序關系為包含關系的數(shù)學原理,通過改變論域而分別對地圖圖像系統(tǒng)、地圖符號系統(tǒng)和地圖數(shù)據(jù)庫系統(tǒng)等多種地圖符號系統(tǒng)的布爾代數(shù)結構,分別作出了有別于應用布爾代數(shù)定義和定理的簡要證明.文章給出了以點的特征變換構建地圖符號、地圖注記和實現(xiàn)面狀域色彩變換的實例,闡釋了地圖圖像系統(tǒng)中的布爾運算;還給出了通過基礎圖層上地圖符號的增刪,構建不同圖層和不同圖層疊合構建不同類型地圖的實例,說明以點集形式為基本元素的地圖符號系統(tǒng)和地圖數(shù)據(jù)庫系統(tǒng)也適于布爾運算.

作 者： 鐘業(yè)勛 胡毓鉅 李占元 ZHONG Ye-xun HU Yu-ju LI Zhan-yuan   作者單位： 鐘業(yè)勛,李占元,ZHONG Ye-xun,LI Zhan-yuan(廣西測繪局,南寧,530023;廣西師范學院資源與環(huán)境科學學院,南寧,530001)

胡毓鉅,HU Yu-ju(武漢大學資源與環(huán)境科學學院,武漢,430079) 

刊 名： 測繪科學  ISTIC PKU 英文刊名： SCIENCE OF SURVEYING AND MAPPING  年，卷(期)： 2007 32(4)  分類號： P28  關鍵詞： 包含關系   論域X   冪集   布爾代數(shù)  

【多種地圖符號系統(tǒng)布爾代數(shù)結構的簡要證明】相關文章：

格蘊涵代數(shù)的拓撲結構04-27

Z-代數(shù)格和Z-代數(shù)交結構04-26

數(shù)學代數(shù)教學總結 布爾值、邏輯運算、關系運算總結04-26

汽車的空氣懸架系統(tǒng)結構原理剖析04-27

汽車的空氣懸架系統(tǒng)結構原理剖析04-27

基于Dematel方法的ETC系統(tǒng)結構分析04-26

關于汽車轉角數(shù)據(jù)采集系統(tǒng)問題的簡要探討04-27

衛(wèi)生系統(tǒng)個人簡要事跡（精選9篇）11-09

奧迪Q5 ESP系統(tǒng)結構與功能04-26

基于C/S結構超市管理系統(tǒng)設計04-26