【摘 要】
：
论文回顾了由地图设色引出的四色猜想在一个多世纪内终于被证明为真的历史过程.在介绍了相关的概念、定义和定理的基础上,综合介绍和评述了多种证明方法的思路和成败的经验教
【机 构】
：
华南理工大学,广东,广州,510640
【出 处】
：
第六届全国地图学与GIS学术研讨会
论文部分内容阅读
论文回顾了由地图设色引出的四色猜想在一个多世纪内终于被证明为真的历史过程.在介绍了相关的概念、定义和定理的基础上,综合介绍和评述了多种证明方法的思路和成败的经验教训.美国科学家Appel和Haken把传统的证明方法与计算机证明的方法相结合,最终证明了四色猜想为真,这一经验值得借鉴.图论在信息科学、网络技术,特别是空间信息科学中的应用十分广泛,加强图论的学习和研究有助于解决空间信息处理和分析中遇到的多种问题.
其他文献
地图符号传输地理事物的空间分布,是人们认知地图、分析地图内容的重要可视化工具.合理的地图符号设计能提高地图的表现力,增加地图产品的美感,吸引读者的注意力并激发读者兴
非负矩阵分解算法(Non-negative Matrix Factorization,NMF )是国际上新近提出的一种矩阵分解算法.与主成分分析 (PCA )、独立成分分析 (ICA )、因子分析(FA )、矢量量化(VQ
本文在对传统纸质地图符号阈值、地图视觉感受及新地图显示介质分析的基础上,采用心理物理学方法中的恒定刺激法,设计了屏幕地图符号视觉感受测试系统,通过该系统进行了以屏
针对分布式GIS 中海量空间数据网络传输的带宽局限问题,充分考虑无拓扑关系矢量数据存储特性和Douglas-Puecker 曲线压缩算的特点,本文采用直接分割法和间接分割法对多边形边
在属性关联规则的挖掘中,概念格的应用十分广泛.如果将其运用于空间关联规则的挖掘,则需要将空间关系生成空间概念格.本文提出了一种先对空间关系进行泛化再生成空间概念格,
地图作为一种信息传输工具,地图学者们一直把如何提高地图的信息传输效能视为研究重点.与以往的地图不同,动态地图能够以动态的形式描述各种地理环境随时间的变化情况和发展
本文论述了构建基于ECDIS 和AIS 的船舶信息服务系统的目的和意义,提出了构筑该系统的架构,以及远程采集AIS 数据信息的原理方法;实现了AIS 信息的远程传输、解码以及在ECDIS
Skyline具有类似于Google earth的全球三维地形及影像浏览、地物建模与三维地理信息查询等功能.文章在对skyline软件做了简要介绍的基础上,主要论述了基于Skyline二次开发API
本文研究了嵌入式电子地图的特点,并以地图感受论、制图综合理论、可用性理论为指导,总结出了嵌入式电子地图可视化表达的基本原则.最后,分别从嵌入式电子地图的内容设计、功
介绍了JSF框架以及ADF工作原理,提出了基于ArcIMS ADF与JSF的WebGIS模型,实现了一个银行渠道信息管理的WebGIS系统。