MicroStation环境下地图矢量数据全要素符号化研究

MicroStation是进行地图生产的图形编辑平台。把地图矢量数据在MicroStation中进行全要素符号化是实现其地图生产出版的首要条件。文中就符号化的各项工作进行了全面的论述 ,内容包括属性编码研究 ,符号库建立 ,分层规定 ,符号化控制表定义等 ,最后通过MDL编程实现了地图全要素的符号化。

我国逻辑学现代化的正确途径

一近年来,我国逻辑学界提出了逻辑现代化的问题。但对如何改造已日显落后的传统逻辑,如何对待迅速发展的现代逻辑,如何处理传统逻辑和现代逻辑的关系,至今意见纷纭。目前,具有代表性的有如下几种观点。其一、“取代说”,认为现代逻辑取代传统逻辑是历史的必然。当前应当用现代逻辑的科学体系重新安排逻辑学教材体系,把传统逻辑内容消化其中。在高等学校文科教学中,应逐步用现代逻辑取代早已过时的传统逻辑。