移动地图制图的句法模型

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

关于模型运用商榷

“模型”一词,在《说文》中早有记述:“模,法也”,清代人解释:“以木曰模……以土曰型……,皆法也”,都是指仿制或缩小仿制的意思。其有多种解释。当一个数学结构作为某种形式语言(即包括常用符号、函数符号、谓词符号的符号集)的解释时,称为模型。任何数学结构都由一个非空集合组成,这个集合称为模型的论域。形式语言中每一类符号都分别被确定地解释为论域中的元素、数学结构中具体的函数或关系,数学中出现的各种结构等都可以称为模型。如果一个数学结构使得形式理论中的每个公式在这个结构内解释为真,那么这个数学结构就称为这个理论的一个模型。对于一个理论模型不一定是唯一的(引自辞海)。     

天文摄影的几何构图法

艺术作品中的构图,是作者根据创作意图,通过对画面的形态、结构、线条、色彩等各形式语言要素进行安排布局的一种技巧。中国画中把构图称作章法或经营位置。在绘画和摄影的构图中,多用到几何形状的构图思路。天文摄影中多是将星空与地面配合着进行构图,     

数学分析课程中极限语言教学的实践与思考

基于数学教学的现代理念,阐述了数学分析课程中极限的形式语言教学的重要性及目标要求,从优化教学内容、讲求教学策略与教学技巧、创设问题情境与铺垫等方面总结了攻克形式语言教学难关、提高教学水平与教学质量的实践与探索过程。