落石运动过程偏移与随机特性的试验研究

通过112块不同形状、不同质量的落石现场滚落试验,发现落石形状、质量和运动模式对落石偏移比有显著影响.落石越接近球形、质量越大、运动模式越单一,其偏移比越小,反之则会出现较大的偏移比和横向威胁范围;试验中绝大部分落石的偏移比大于0.1,但均在0.3以内.鉴于此,建议在实际落石防护工程设计中落石偏移比取0.3,以控制落石横向威胁范围;或依据落石灾害危险性评价结果和可接受风险水平确定落石偏移比的取值.通过9块试验条件近似的落石试验表明,落石运动过程充满随机性,在落石运动路径计算方法中应考虑落石运动过程随机特性的影响,这对于落石灾害威胁区域的划定和被动防治系统的布置非常重要.     

轮轨接触几何分析及其在Maple下的实现

为满足列车动力学仿真对轮轨接触点位置的精度要求,采用解析方法建立轮轨空间接触几何的约束方程组,并给出其在二维轮轨接触几何情形时的简化形式.以S1002车轮踏面和UIC60钢轨为例,基于符号计算平台Maple软件对该约束方程组进行求解,得到轮轨接触几何参数.结果表明:二维轮轨接触时的滚动半径差、接触角差、接触点在车轮踏面...     

CTCS-3级列控系统规范的建模与形式化验证方法研究

CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。     

高速铁路列控系统运营场景实时性的建模与验证

高速铁路列控系统是一个典型的分布式实时系统,其时间约束主要反映在运营场景中子系统之间的交互过程中。时序逻辑的扩展方法并不能完全满足描述分布式实时系统性质的需要,并且随着系统的复杂性提高,列控系统运营场景中诸如超时、期限、直到…才等形式化描述与验证上存在不足。本文提出一种适合于列控系统场景建模与验证的方法,其核心思想是使用混合通信顺序进程HCSP(Hybrid Communicating Sequential Process)形式化描述分布式实时系统模型,提出转换规则,转换成时间自动机网络模型并进行自动验证。最后通过对典型场景无线闭塞中心RBC(Radio Block Center)切换的相关属性进行建模与验证,分析证明方法的有效性。     

基于位置的CBTC系统无线局域网切换机制

目前的城市轨道交通CBTC车地通信系统大多采用无线局域网技术。针对同时存在无线自由波和漏泄波导车地通信技术的CBTC无线局域网车地通信系统,提出一种基于位置的无线局域网切换机制。在无线自由波覆盖区段,移动台在确定的位置直接发起重关联请求,而不需要进行探询扫描新AP的过程。而在漏泄波导覆盖区段,通过改变移动台扫描的信道数和最大信道扫描驻留时间,同样明显减小了切换时延。该方法不仅适用于无线自由波的覆盖区域,也可以应用于漏泄波导覆盖的区域,能够减少CBTC车地通信系统中的切换时延。     

孔内摄像技术结合数理统计方法在岩溶勘察中的应用

介绍孔内摄像技术和原理、工作方法,以一个工程实践为例,通过数据统计的方法,估算注浆工程量。     

石油储备工程环境监理研讨

随着我国石油储备基地工程逐步实施,其对库区周边环境的负面影响不容忽视,因此有必要引入环境监理对工程建设进行动态的、全过程的监督与管理。本文以兰州国家石油储备基地工程为例,对石油储备工程不同时期环境监理的工作内容、范围及方法等进行研讨,为类似工程尤其是大型站场工程的环境监理工作起到借鉴作用。     

多物理量融合的轴承齿轮故障诊断方法研究

采取对机车走行部轴承齿轮的温度、振动和冲击等信息进行同步或准同步采集,运用多源信息融合技术和改进D-S证据理论,提出了一种多物理量信息融合的机车走行部轴承齿轮故障诊断方法。研究结果表明:该方法在诊断效果方面优于采用单物理量的诊断方法,提升了诊断的准确性,为进一步提高诊断自动化程度提供了有效手段。     

用于深埋圆形盾构隧道地震效应分析的2种拟静力解析解的对比研究

对比分析深埋圆形盾构隧道地震效应分析常用的2种拟静力解析解,给出2种拟静力解析解法的弯矩比值、轴力比值的计算公式,研究地层弹性模量和泊松比与弯矩比值、轴力比值的关系,以及界面滑移和不滑移条件下对弯矩比值、轴力比值的影响;建立等效刚度数值模型,通过数值模拟验证这2种拟静力解析解的可靠性。结果表明:界面不滑移时,由这2种拟静力解析解获得的地震附加弯矩较为接近,但附加轴力差异较大;地层弹性模量、泊松比和界面条件对地震附加弯矩影响较小,但对地震附加轴力影响较大;由这2种拟静力解析解法与等效刚度数值解法所得的弯矩、轴力分布规律和极值位置基本一致。推荐在常规深埋圆形盾构隧道抗震设计时优先采用基于薄壁圆柱壳理论的拟静力解析方法。     

特长隧洞TBM施工与锚喷支护应用研究

研究目的:通过对特长隧洞衬砌结构的选择、支护参数设计、不良地质段支护技术等方面的研究,为特长隧洞的优化设计和TBM的结构安全和快速施工提供技术支持,工程经验可供今后类似工程参考。研究结论:大伙房输水工程特长隧洞根据围岩条件选择了开敞式TBM+锚喷支护复合衬砌施工方案,并且获得成功。实现的采用锚喷支护+二次衬砌复合衬砌替代管片衬砌既符合现代支护系统的NATM设计理念,解决了TBM施工的止水与排水难题,又节约了大量土地和大量资金。