- 相關(guān)推薦
多種地圖符號(hào)系統(tǒng)布爾代數(shù)結(jié)構(gòu)的簡要證明
布爾代數(shù)是計(jì)算機(jī)進(jìn)行邏輯運(yùn)算的基礎(chǔ),它為自動(dòng)化制圖提供了理論基礎(chǔ)和數(shù)學(xué)工具.本文根據(jù)論域的冪集P(X)為布爾代數(shù)且其偏序關(guān)系為包含關(guān)系的數(shù)學(xué)原理,通過改變論域而分別對(duì)地圖圖像系統(tǒng)、地圖符號(hào)系統(tǒng)和地圖數(shù)據(jù)庫系統(tǒng)等多種地圖符號(hào)系統(tǒng)的布爾代數(shù)結(jié)構(gòu),分別作出了有別于應(yīng)用布爾代數(shù)定義和定理的簡要證明.文章給出了以點(diǎn)的特征變換構(gòu)建地圖符號(hào)、地圖注記和實(shí)現(xiàn)面狀域色彩變換的實(shí)例,闡釋了地圖圖像系統(tǒng)中的布爾運(yùn)算;還給出了通過基礎(chǔ)圖層上地圖符號(hào)的增刪,構(gòu)建不同圖層和不同圖層疊合構(gòu)建不同類型地圖的實(shí)例,說明以點(diǎn)集形式為基本元素的地圖符號(hào)系統(tǒng)和地圖數(shù)據(jù)庫系統(tǒng)也適于布爾運(yùn)算.
胡毓鉅,HU Yu-ju(武漢大學(xué)資源與環(huán)境科學(xué)學(xué)院,武漢,430079)
刊 名: 測(cè)繪科學(xué) ISTIC PKU 英文刊名: SCIENCE OF SURVEYING AND MAPPING 年,卷(期): 2007 32(4) 分類號(hào): P28 關(guān)鍵詞: 包含關(guān)系 論域X 冪集 布爾代數(shù)【多種地圖符號(hào)系統(tǒng)布爾代數(shù)結(jié)構(gòu)的簡要證明】相關(guān)文章:
格蘊(yùn)涵代數(shù)的拓?fù)浣Y(jié)構(gòu)04-27
Z-代數(shù)格和Z-代數(shù)交結(jié)構(gòu)04-26
數(shù)學(xué)代數(shù)教學(xué)總結(jié) 布爾值、邏輯運(yùn)算、關(guān)系運(yù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)個(gè)人簡要事跡(精選9篇)11-09