移动地图制图的句法模型

采用形式语言的方法,研究了移动地图制图的句法模型。剖析了移动地图制图的过程,将句法模型定位在制图的逻辑演算层面;结合地图表达的层次性和递归性特征,将移动地图制图的句法结构抽象为＂制图词汇＋句法规则＂的最简形式。在制图词汇方面,建立了制图词汇的分类体系,并重点对空间关系谓词系统进行了建模;在句法规则方面,描述了句法操作规则和不同层次的句法单位描述规则。探讨了句法模型的编译流程和关键技术,并通过试验对移动地图制图句法模型的可行性进行了验证。句法模型的本质是一种使用有限规则和词汇动态生成不同地图表达形式的形式语言语法,可作为一种高阶的人机交互制图接口。