简介:本文选取典型的面向对象语言SmllTalk为模型语言,采用VDM元语言给出SmallTalk语言的形式语义,并在SmallTalk语言的形式语义模型中增加了出错处理,补救措施,以及上下文条件的详细描述。
简介:摘要:火电机组热工被控对象数学模型辨识在热工自动控制系统控制参数整定中起到至关重要作用,随着机组运行时间变长,热工控制对象静、动态特性逐渐发生变化,相应控制参数已不在适应原自动控制回路。常规控制参数整定方法为解除自动,进行阶跃扰动实验,重新进行参数修正。上述整定方法不但干扰现场生产,存在一定的安全风险,同时辨识精度不高。随着工业信息化、自动化不断发展,基于大数据等智能辨识算法不断成熟且广泛应用于工业现场中。基于此,本文依托于DCS单向隔离的SIS平台,采用长短期记忆网络(LSTM)算法辨识相应热工被控对象数学模型。该方法既保证了现场的安全性,同时充分利用大量生产历史数据,充分挖掘不同变量之间的相关性,从而使热工被控对象的数学模型精
简介:摘要:随着多视图三维重建技术的发展,倾斜摄影测量实景三维模型具有生产自动化程度高、真实性强、要素呈现全面等特点,在实景三维建设领域中应用越来越广泛。然而,模型用大量不规则的三角网刻画地表,数据量大,给展示、应用带来很大困难。倾斜三维模型由不规则三角网构成,常用的二次误差测度(QEM)网格简化算法采用一定的阈值进行总体简化,效果有限,简化后的结果在几何特征不明显的地方采用较少的三角形数量,在结构丰富的地方采用较多的三角形数量。由于植被表面不平坦,在数据分析时属于特征丰富的区域,使用了大量三角形表达,但这些植被几何特征实际上对实景三维数据需要记录和表达的内容意义不大。因此,有必要把植被单独提取出来,进行更高程度的简化。
简介:摘要:随着时代的进步与科技的发展,高科技技术和产品不断涌现,促进了各个领域快速发展。目前,GPS全球定位系统广泛运用于各个领域中,GPS技术凭借自身优势,为水文水资源测量提供巨大的便利,可显著提升数据的准确性。本文对GPS技术进行全方位分析研究,展现其技术优势,为水文水资源工作带来便利。
简介:二月的一天我接到一封磨损得像已经拆过的信,这封信从北京发到福州我原来的单位又转到北京我现在单位,布满了惨不忍堵的邮戳.两天后我和这封信的作者在北师大东门有了第一次约会,约会的内容包括吃饭、登香山、互相聊一些自己的经历,中间夹杂着文