地图符号系统为布尔代数系的证明及其应用.pdfVIP

武汉测绘科技大学学报990415 武汉测绘科技大学学报 JOURNAL OF WUHAN TECHNICAL UNIVERSITY OF SURVEYING AND MAPPING(WTUSM) 1999年　第24卷　第4期　Vol.24　No.4　1999 地图符号系统为布尔代数系的证明及其应用* 钟业勋　魏文展 摘　要　根据布尔代数的定义和充要条件，结合地图符号示例，论证了地图符号系统是布 尔代数系；阐述了地图符号系统的多层结构原理；通过在地图符号系统中定义等价关系建 立层次的方法，探讨了机助地图制图中通过多层次代数运算建构地图内容的理论价值和实 践意义。 关键词　布尔代数；地图符号系统；多层结构；机助地图制图 分类号　P282 The Proof of Cartographic Symbol System Belonging to Bool ean Algebraic One and Its Application Zhong Yexun　Wei Wenzhan Abstract　This paper demonstrates that cartographic symbol system belongs to Boolean alg ebraic one according to Boolean algebraic definitions and sufficient conditions. The graded principle of cartographic symbol system and its constituted methods are expressed by defining the relation of equal value in cartographic symbol system.The theoretical value and practical meaning of structure map contents by multi －level algebraic operation in computer －aided cartographic are researched.Because Boolean algebra is a system sutiable for logic operation of computer,it provides wide prospects for the exploitation and application of the software of computer －aided cartography. Key words　Boolean algebra;cartographic symbol system;stereogr ammic organization;computer －aided cartography 　　点是构成地图的细胞，点的概念和关系是构成地图的原始概念和原始关系 ［1］ 。笔者 ［2］ 已证明了以点为基本元素的地图图像系统是布尔代数系 ，从而为通过点的位置和色彩 变换来构造地图符号提供了数学工具。地图符号是地图的语言，它是构成地图符号系统的 基本元素。本文根据布尔代数的定义和充要条件，证明地图符号系统也是布尔代数系。 ［3］ 1　布尔代数的定义、充要条件 及地图符号系统是布尔代数系的证明 file:///E|/qk/whchkjdxxb/whch99/whch9904/990415.htm（第 1／5 页）2010-3-23 9:46:34 武汉测绘科技大学学报990415 1.1　偏序集 　　定义1