简介:本文选取典型的面向对象语言SmllTalk为模型语言,采用VDM元语言给出SmallTalk语言的形式语义,并在SmallTalk语言的形式语义模型中增加了出错处理,补救措施,以及上下文条件的详细描述。
简介:摘要:随着多视图三维重建技术的发展,倾斜摄影测量实景三维模型具有生产自动化程度高、真实性强、要素呈现全面等特点,在实景三维建设领域中应用越来越广泛。然而,模型用大量不规则的三角网刻画地表,数据量大,给展示、应用带来很大困难。倾斜三维模型由不规则三角网构成,常用的二次误差测度(QEM)网格简化算法采用一定的阈值进行总体简化,效果有限,简化后的结果在几何特征不明显的地方采用较少的三角形数量,在结构丰富的地方采用较多的三角形数量。由于植被表面不平坦,在数据分析时属于特征丰富的区域,使用了大量三角形表达,但这些植被几何特征实际上对实景三维数据需要记录和表达的内容意义不大。因此,有必要把植被单独提取出来,进行更高程度的简化。
简介:摘要:随着时代的进步与科技的发展,高科技技术和产品不断涌现,促进了各个领域快速发展。目前,GPS全球定位系统广泛运用于各个领域中,GPS技术凭借自身优势,为水文水资源测量提供巨大的便利,可显著提升数据的准确性。本文对GPS技术进行全方位分析研究,展现其技术优势,为水文水资源工作带来便利。
简介:二月的一天我接到一封磨损得像已经拆过的信,这封信从北京发到福州我原来的单位又转到北京我现在单位,布满了惨不忍堵的邮戳.两天后我和这封信的作者在北师大东门有了第一次约会,约会的内容包括吃饭、登香山、互相聊一些自己的经历,中间夹杂着文
简介: 郑局长从市里开会回来,就把我叫去,说要在机关周围的这片居民区物色一个帮扶对象,其标准是:双下岗职工,年龄在40至50岁之间.办好了,算是局里给困难职工尽了一把薄力.……