基于连续运行GPS基准站系统的城市三维大地测量基准建设方案探讨

本文分析了福州三维大地测量基准现状与存在的问题,介绍了GPS网络RTK的定位原理,提出了基于连续运行GPS基准站系统的城市三维大地测量基准建设方案以及基于移去-计算-恢复(RCR)算法来求得其他待求GPS点的高程异常技术和方法。     

潜江市现代测绘基准体系建设

介绍了潜江市现代测绘基准体系建设的总体情况,详细分析了QJCORS系统、高精度GNSS控制网、二等水准网、区域似大地水准面精化等的数据处理、测试情况,总结分析了现代测绘基准体系建设的现实意义和应用前景。     

芜湖市现代测绘基准体系的建立

简介了芜湖市现代测绘基准体系建设的必要性和迫切性,详细介绍了连续运行GPS参考站综合服务系统(WHCORS)、高精度GPS网、精密水准网、似大地水准面精化等四项组成部分,展望了系统建成后的前景和意义。     

棒棒糖爱上永生花

<正>永生花,英文名为Preserved Fresh Flower,20世纪于德国诞生,又有"生态花"、"永不凋谢的花"等雅号永生花是天然植物,当花朵刚成熟时,便选取质地坚韧,花瓣含水量少、厚实的花朵进行采摘,然后经保色、清洗、精化、染色、软化、干燥等工序,还原出鲜花本来的面目。因此永生花的色泽、形状、手感都保持了鲜花的特质,又可以长久地陪伴在身边(一般可保存3年以上)。位于成都的光合实验室,由一群对花艺热爱的年轻人创办,他们抛下高薪工作,为永生花施下创意的魔法,使之与众不同,永不凋谢。     

基于Event-B的自动化模块组合方法研究

Event-B共享变量和共享事件方法可将大型系统分解成多个子系统,并独立建模开发,但其需要手工干预以实现模型间事件的组合。为提高组合效率,提出一种针对模型的自动化组合理论,并开发自动化组合工具原型。为在精化模型中逐步引入模块调用,改进PROG方法,开发自动精化工具原型。通过2个应用案例,验证了自动化组合工具能自动组合事件,自动精化工具能减少调用变量的数量,从而增强系统模型的可读性和可维护性。     

基于软件交互行为日志的动态模型构建

建立软件交互行为模型是认识软件的内部机理和运行规律的基础。根据监控收集的典型的电子商务软件交互日志文档，挖掘其中的不变量约束规则，借鉴有限状态机构造方法构建动态模型。为确保模型的确定性和完备性，对模型进行精化和抽象，并给出了相应的建模算法。通过实例证实了该方法的正确性和有效性。     

精化似大地水准面在GPS控制测量中的应用

本文结合某大型水利工程D级GPS控制网,利用似大地水准面精化成果进行GPS高程转换,并与水准高程进行比较分析,实现GPS技术在几何和物理意义上的三维定位功能。解决困难测区控制点高程,提高工作效率,总结一些经验供大家参考与探讨。     

精化齿坯热锻工艺浅析

齿坯闭式模锻锻件分精密级和普通级,但国家标准定义的精密级锻件留有单边加工余量,仍需进行粗车和精车。在精密锻造基础上,研究精化齿坯热锻工艺,以进一步提高锻件精度等级,达到减少单边加工余量,进而使精化齿坯直接用于精车。本文对精化齿坯热锻工艺进行了定义,并明确该工艺单边加工余量的范围。因制坯和预锻是决定精化齿坯热锻工艺质量的关键,因此对其工艺流程和工艺重点进行了分析,同时对满足该工艺的设备和模座进行了论述。     

基于交互式定理证明的并发程序验证工作综述

并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用。但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果。同时,并发程序执行时的不确定性会给其正确性验证带来巨大的困难。在形式化验证方法中,人们可以通过交互式定理证明器严格地对并发程序进行验证。本文对在交互式定理证明中可用于描述并发程序正确性的验证目标进行总结,它们包括霍尔三元组、可线性化、上下文精化和逻辑原子性。交互式定理证明方法中常用程序逻辑对程序进行验证,本文分析了基于并发分离逻辑、依赖保证逻辑、关系霍尔逻辑等理论研究的系列成果与相应形式化方案,并对使用了这些方法的程序验证工具和程序验证成果进行了总结。     

面向掩模精化的表面微加工MEMS器件几何建模

MEMS器件设计流程中,为优化MEMS器件,常常需要对MEMS掩模进行精化设计.为了在MEMS精化设计中同步更新MEMS掩模与几何模型,提出一种面向掩模精化的表面微加工MEMS器件几何建模方法.该方法主要通过建立MEMS器件几何模型和工艺模型之间的依赖关系图,通过变动依赖关系,求出掩模精化所影响的几何元素,而后在几何模型中仅仅更新所影响的几何元素;对于所对应的几何模型存在拓扑突变等情况,该方法采用参数限定或局部几何模拟进行更新.实例分析表明,提出的几何建模方法能快速有效地响应掩模精化,从而有效地促进MEMS器件设计.