GPS RTK技术在高等级公路中线定测中的应用

目前,实时动态测量（Real Time Kinematic,RTK）技术日臻成熟,并逐步在高等级公路中线定测中得到应用。基于RTK技术的基本原理及系统组成,通过生产实例验证RTK施工放样的精度和可靠性,结果表明：RTK测量可以较好地满足公路设计和施工中的定线测量的要求。     

基坑工程定位系统与BIM模型共建技术

城市轨道交通工程建设施工安全管理要求高,越来越多的先进技术手段被用于施工现场安全管理,其中,BIM建模和人员定位系统在明挖基坑工程中广泛应用。然而,将基于UWB(超宽带)定位技术的人员二维空间定位数据叠加到三维模型中时,由于维度不同,数据无法实现三维匹配。为解决数据匹配问题,依托北京地铁12号线北岗子站基坑工程,通过将基坑土方模型进行分层建模,并创建人员模型X方向自变量与Z方向因变量的关系式,土方模型随施工进度逐层挖除,人员模型Z坐标与土方模型动态吻合,实现人员定位与BIM模型的三维共建,从而实现定位数据在BIM模型上的融合展示。通过实际工程对三维共建技术进行应用与验证,为其他类似工程三维共建提供实例参考。     

基于力与力矩补偿的挖泥船动力定位反步法控制研究

针对挖泥船工作过程中受强干扰的特点,提出了基于力、力矩前馈补偿与非线性反步法控制结合的挖泥船动力定位控制.力和力矩传感器前馈补偿挖泥船工作过程的反作用力,反步法闭环控制保证在补偿误差及其它干扰作用下使系统的全局渐近稳定,输出渐近跟踪设定位置.仿真结果表明,设计的挖泥船动力定位控制器具有良好的跟踪性能,并对挖泥强干扰有较好的鲁棒性.     

北斗双星定位算法精度的研究

通过对北斗双星导航定位系统定位原理进行研究,分析传统双星定位的三种算法,其本质都为由迭代运算计算出用户所在的位置。为比较定位算法的精度,在卫星的工作区域内选取有代表性的点,采用三种定位算法分别求出近似解和真值之差,得出算法定位误差。提出采用对定位误差的协方差矩阵取F-范数,比较三种定位算法的精度。仿真结果表明,三种定位算法精度接近,计算时间、程序量相当。从精度、计算时间和程序量三个指标综合考虑,得出三点交会法优于其他两种算法。     

舰船动力网络控制系统时间同步技术研究与实现

为满足舰船动力网络控制系统的实时性、时间确定性和时间同步的要求,本文对现有的网络时间协议进行了研究和分析,根据网络控制系统高实时性、短报文、简单实现以及低负载的特点,实现了一种简化的网络时间同步技术。试验结果表明,该技术能满足舰船动力网络控制系统的要求,并能为网络控制系统提供毫秒级的同步精度。     

动力定位工程船设计技术研究

论述了动力定位入级船舶设计时所要综合研究的环境条件、推力器的配置、全船电力系统单线图方案、动力定位能力分析及入级符号与故障模式影响分析之间的复杂的辨证关系,给出了动力定位船舶设计程序及原则。     

3600 TEU集装箱船船体制作精度控制措施

针对集装箱船线型变化大、平行中体小、开口尺寸及箱脚位置精度要求高、首尾空间狭小,建造过程中船体精度控制较为困难的问题,以3600 TEU装箱船为例,从设计策划、钢料切割、分段制作、分段搭载等整个船舶建造流程采用精度控制关键工艺,确保本船船制造精度符合标准要求.     

广佛环线城际铁路精密工程测量技术体系及特点

城际铁路精密工程测量技术体系已成为城际铁路建设成套技术的一个重要组成部分,在城际铁路设计、施工和运维中具有决定性作用.广佛环线城际铁路作为连接佛山西站与广州南站两大枢纽、串联广佛两市多条地铁线路、国内较早开始修建的城市环形城际铁路,其修建具有十分重要的意义.结合广佛环城际铁路建立的精密工程测量技术体系,从"三网合一"测...     

多段 AAO 污水处理厂精确曝气系统设计与调试

为了能够更好地解决污水处理过程中经常遇到的曝气不足、出水氨氮超标,曝气过量反硝化不好导致的总氮超标、能耗浪费等问题,以深圳市某污水处理厂多段AAO处理工艺为研究对象,介绍了在生化池中引入精确曝气系统的设计和调试情况,并结合实际运行情况对精确曝气控制系统的效用进行了分析和总结。     

Precise zero-knowledge arguments with poly-logarithmic efficiency

Precise zero-knowledge was introduced by Micali and Pass in STOC’06. This notion captures the idea that the view of a verifier can be reconstructed in almost same time. Following the notion, they constructed some precise zero-knowledge proofs and arguments, in which the communicated messages are polynomial bits. In this paper, we employ the new simulation technique introduced by them to provide a precise simulator for a modified Kilian’s zero-knowledge arguments with poly-logarithmic efficiency (this modification addressed by Rosen), and as a result we show this protocol is a precise zero-knowledge argument with poly-logarithmic efficiency. We also present an alternative construction of the desired protocols.