长江口水域高精度水文测量四维无缝基准的建立及应用

在宽阔的潮汐河段,由于潮汐和地形的影响,大范围的同步水文测验的精度和可靠性受到了很大的限制。为了得到高精度的水文测量成果,使同步观测资料和时间序列资料具备良好的可比性,需要建立高精度的平面基准、高程基准和速度基准。理论和实践表明,建立大范围内的高精度的GNSS(global navigation satellite system)控制网,基于RTK(real-time kinematic)测量方式进行三维水深测量、基于RTK的速度参考进行流量测量,是在大范围条件下开展高精度同步水文观测的有效途径。     

基于三台阶七步开挖法的三车道公路隧道 极限位移研究

为确定实际工程中大跨度隧道的变形基准,结合特征曲线法讨论了公路隧道极限位移的定义,给出基于三台阶七步法的初期支护极限位移确定方法;找出极限状态下各控制点的位移关系,即预警位移、容许位移和极限位移;基于三车道隧道设计洞形,采用连续体弹塑性有限元模 型,按同一围岩级别中的物理力学参数分位值组合计算,分析了不同埋深条件下的三车道初期支护极限位移,并进行t 分布统计,得出基于工法的三车道公路隧道初期支护相对极限位移基准值;对比分析同一围岩、同种工法在不同埋深及相同埋深条件下,隧道围岩表面的位移变化规律;研究同种工法、相同埋深条件下,弹性模量、黏聚力、泊松比、内摩擦角与位移曲线的关系;对比分析基于三台阶七步开挖法的现场监测数据,得出围岩变形的规律基本上符合计算结果的判断,即该方法的合理性得到验证。     

悬索桥主缆索股架设常见问题分析及处理措施

结合西堠门大桥主缆索股架设工程实践,探讨索股架设过程中出现的呼啦圈、扭转、散丝、断带、鼓丝、索股表面磨损等问题产生的原因及解决措施。     

铁路轨道几何参数捷联惯性测量基准的建立

为建立高精度铁路轨道几何参数的测量基准,针对传统陀螺稳定平台的不足,研究了基于捷联惯性技术的轨道几何参数测量基准的建立方法.通过分析轨道超高的基本测量原理,指出高精度姿态矩阵的解算是基于捷联惯性技术建立轨道几何参数测量基准的关键.为此,根据刚体运动学理论,建立了列车运动姿态、位置和速度微分方程;采用基于旋转矢量和四元数的方法分析了姿态矩阵解算中姿态、位置和速度的计算问题;采用多子样算法对姿态计算中的“圆锥误差”、速度计算中的“划桨误差”进行了补偿.仿真结果表明,基于多子样算法的捷联惯性基准建立方法能有效减小惯性测量系统随时间累积的计算误差,显著提高系统的精度.     

基于全寿命设计理论的斜拉桥拉索体系选择研究

全寿命设计理论是基于生命周期造价最低的理念,综合考虑规划、设计、施工以及耐久性设计、管养设计、拆除、回收再利用设计、风险评估及保险策略和全寿命周期成本分析等方面,使桥梁设计达到安全、经济、耐久及环保等。在分析斜拉桥拉索体系特点的基础上,重点比较了平行钢丝拉索和钢绞线拉索的各项技术指标以及两者在施工过程中的特点,结合全寿命设计理论,从全寿命造价最低及可持续发展的角度,得出钢绞线拉索体系较平行钢丝拉索体系优越的结论。建议在斜拉桥的施工中,多应用钢绞线拉索体系。     

平定南收费站南川河大桥加宽设计

就平定南收费站南川河大桥加宽设计的平面布置、结构计算和构造处理等问题作一介绍。     

大直径钢绞线在顶推桥梁结构中的应用

针对顶推法施工的桥梁在施工阶段与运营阶段的受力存在较大差异的问题,结合高强度大直径钢绞线应用于波形钢腹板顶推桥梁的工程实例,系统总结该类钢绞线的优点及在顶推桥梁中的配束方法、钢束锚固计算、锚具构造设计和预应力多次放张工艺等。结果表明,在一些较特殊桥梁结构中采用高强度大直径钢绞线可有效解决各种工况下的结构安全与施工便利等问题,且节省材料,可为类似工程提供借鉴。     

高精度水下基准位置测量及误差分析

水下基准位置的精确测量是水声高精度定位标定系统的关键技术,它的方位精度直接影响到水声定位系统定位误差的计量。文章详细分析了水下基准安装柱扰曲形变、GPS定位误差、罗经测向误差、纵倾横摇角测量误差对高精度定位标定系统水下基准位置的影响,为工程应用上的误差控制提供了一定的理论支持。     

A FORMAL SPECIFICATION LANGUAGE FOR DYNAMIC STRAND SPACE MODEL

IntroductionCryptographic protocols are the protocols usedto establish secure communication over insecureopen networks by exploiting cryptography,andthey are thought to be simple because just severalmessages are included. However,it is a subtleproblem to guarantee the correctness of a crypto-graphic protocol[1] .In order to solve this problem,many researchers have worked on applying formalmethods to analyze cryptographic protocols,andthey are notperformed on the executable code,butrather on Do…     

竣工文件编制中一些问题的探讨

竣工文件是基本设计的重要技术资料，是国家科技档案的重要组成部分。在工程竣工后和验收前，按照一定的顺序做好技术资料的整理和竣工图纸的绘制是一项细致的、艰巨的工作，是非常越要和重要的。