基于TRSL的RBC等级转换场景研究

无线闭塞中心等级转换场景作为中国列车运行控制系统主要场景之一,切换成功与否直接影响高速列车的安全和运行效率。通过对形式化验证方法的分析,采用基于定理证明的时间化工业软件工程规范语言的严格方法(Timed Rigorous Approach to Industrial Software Engineering Specification Language,TRSL),在对等级转换过程进行分析的基础上,设计交互信息图,构建状态迁移图,并结合域建模方法实现对该场景的TRSL描述,最后利用语言推理规则,结合系统特性,实现对切换正确性和实时性的双重验证,结果表明:该场景满足系统规范对功能性和实时性的要求,继而说明该方法的有效性、正确性和通用性,为我国列控系统的设计开发和验证提供一种新的途径和依据。     

基于植被生态需水的隧道排水量确定方法研究

隧道地下水大量渗漏易造成洞顶影响范围内生态环境破坏,针对如何确定合适涌渗水量以确保生态平衡问题,引入生态学、农学中有关植被生态需水概念,通过调研分析确定隧址区植被所允许的最大地下水位降深,结合地下水动力学方法以及经验公式,确定隧道涌渗水后地下水达到最大降深时疏干漏斗范围及体积;并通过疏干漏斗体积、涌渗水量以及储水系数关系确定隧道所允许排放的最大水量.结合算例并与实际工程中设计排水量进行对比,在考虑隧址区实际工程地质、水文地质条件情况下,所提出方法计算得出的排水标准与实际工程接近.该方法能够达到隧道工程与地下水环境生态平衡,可为隧道建设提供参考.     

GPS在航潮位测量中的关键技术研究

在传统潮位测量方法缺陷分析的基础上,提出了在航潮位测量思想。为了获得高精度的在航潮位测量成果,对利用GPS RTK/PPK技术进行潮位测量和数据处理中的关键问题进行了深入的讨论。这些关键问题主要有姿态改正、GPS高程质量控制、垂直基准转换、基于信号的在航潮位提取。在姿态改正中,详细的给出了姿态改正的计算模型;对于GPS RTK/PPK高程数据存在的异常的问题,给出了Kalman滤波以及Heave修正的方法;为使GPS在航潮位研究实用化,对验潮中垂直基准的转换问题进行了深入的研究和讨论,最后给出了无缝垂直基准的概念和转换思想;利用信号处理理论,基于Butterworth滤波器,提取出了潮位,并将GPS潮位与潮位站潮位进行了比较,获得了理想的结果。     

浮筏隔振系统隔振效果有限元估算方法

针对船用浮筏隔振系统,基于有限元法建立了一种浮筏隔振系统的有限元模型,采用振级落差方法估算了浮筏隔振系统的隔振效果,并与试验结果进行了对比,振级落差理论估算与实测值基本一致,在一定精度范围内能满足工程要求.     

曹妃甸港区规划测量水位控制的探讨

唐山港曹妃甸港区规划工程测量项目,测量范围东起大清河口(捞鱼尖),西至南堡西侧,向南测量至-20 m等深线附近水域,其岸线长达61 km,测量面积达到1 148 km<'2>,是一项超大型的测量工程.结合曹妃甸港区规划工程测量,主要阐述如何对临时水位站进行布设,以及如何解决曹妃甸理论最低潮面与当地理论最低潮面的转换关系.     

江苏丰立码头工程定点流速流向的观测与分析

结合长江下游某工程定点流速、流向观测和实测数据分析,认为在受海潮影响较大的测区水域,定点流速、流向观测数据比表面流速数据能够更准确和全面地反映流场情况。建议长江下游水上工程项目要进行定点流速、流向观测。     

浅谈城市公共交通存在的问题及建议——以兰州市为例

目前,城市公共交通中存在很多问题,单纯依靠道路建设和交通管理来扩大路网供应能力不能解决交通拥挤问题,交通需求总是趋于超过道路供给。如果没有有效的措施来抑制个体交通的拥有和使用,将导致城市交通的全面恶化。因此,在完善道路网络的同时,必须尽快建立有竞争力的公共交通体系,支持城市的可持续发展。     

植被护坡设计概述

植被护坡要达到护坡和美化环境的效果,一方面要将植被防护与工程防护有机地结合起来,建立既稳固又有生态效应的防护体系,另一方面要综合考虑草、灌、花、乔等多种类植物的合理搭配,以形成优美、协调、稳定的景观.     

软土地基钻孔灌注桩受力性状分析

通过对冲孔灌注桩和旋挖灌注桩桩顶、桩端沉降量静载试验资料及桩身应力应变测试资料的分析,得出桩身荷载传递机理及不同施工工艺在不同荷载水平下桩的受力性状差异.并就影响桩侧摩阻力的因素进行深入探讨.这一研究表明:桩周土的性质、桩土相对位移、桩端沉渣、成孔时间、护壁清孔方式及加载反力装置均会对单桩极限承载力产生重要影响.     

软基处理水泥深层搅拌桩施工控制

水泥深层搅拌桩是进行软基处理的一种有效形式.严格管理水泥深层搅拌桩施工中试桩、施工准备、施工工艺流程、设计参数及要求、施工控制、质量检验等控制环节,对于确保工程质量及安全具有重要作用.