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

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

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

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

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

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

格蘊涵代數(shù)的拓撲結(jié)構(gòu)04-27

Z-代數(shù)格和Z-代數(shù)交結(jié)構(gòu)04-26

數(shù)學(xué)代數(shù)教學(xué)總結(jié) 布爾值、邏輯運算、關(guān)系運算總結(jié)04-26

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

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

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

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

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

奧迪Q5 ESP系統(tǒng)結(jié)構(gòu)與功能04-26

基于C/S結(jié)構(gòu)超市管理系統(tǒng)設(shè)計04-26