运行时验证及其在列车运行控制系统中的应用

运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允许"真"和"假"以外的逻辑值来显式的刻画验证过程中可能出现的非确定性,从而使得验证的结果更加精确。针对新的LTL语义给出了基于公式重写的运行监控算法和近似优化策略,并结合欧洲列车运行控制系统的实例,分析探讨了该方法在轨道交通控制领域的应用。     

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

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

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

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

货物运单电子化流转的实践与展望

简要介绍货物运单的使用现状,说明其作用及填制方法,阐述与货物运单有关的发送货物流程,并分析现有纸质货物运单在传递、交接、管理中存在的不足。尝试在货物发送环节采用信息系统实现单站点贷场内部电子化流转,对货物运单管理信息系统的主要功能、货物运单电子化后的作业流程及其使用后的效果进行描述,并对推广使用货物运单电子化流转的前景进行展望,指出货物运单管理信息系统进一步完善的方向。     

适用于120~160 km/h的地铁工程盾构隧道限界分析

随着地铁运营速度的提高,乘客舒适度要求提高,目前国内传统地铁盾构隧道断面不再适合。通过对国内既有工程盾构隧道尺寸的调研,结合北京新机场线的最新研究成果,通过速度对设备限界的影响、隧道阻塞比对盾构隧道断面尺寸的影响以及供电制式对盾构隧道断面尺寸的影响等分析,提出了制定盾构隧道断面限界的方式,并在相关工程中进行应用。     

LTE-M系统隧道场景性能仿真评估

LTE-M(LTE-Machine to Machine)系统性能与电波传播和无线信道密切相关。分析LTE-M系统在隧道漏缆场景信道特性,介绍3GPP单径莱斯和多径信道模型;开发LTE-M系统链路仿真系统,对不同信道模型、信噪比、移动速度、莱斯K因子下的系统性能,包括吞吐量、丢包率和误比特率,进行仿真评估。根据仿真结果,给出LTE-M网络规划与优化建议,包括信噪比优化目标设定为15 dB左右,在列车高速移动时采用多普勒频偏校正技术,并应该尽可能使漏缆与接收天线之间存在视距路径(LoS)。     

广州地铁4号线轨旁ATP故障应对策略研究

轨旁ATP(列车自动保护)故障后,联锁区内的列车将全部自动紧急制动,列车采用降级模式运行,这会对正常运营产生较大影响。结合广州地铁4号线新造及石碁联锁区轨旁ATP故障实例,对比分析了故障现象及故障影响。阐述了轨旁ATP故障后的应对策略,通过确定关键列车、落实盯控关键列车、实施载客越站方案等策略应对故障,以最大限度降低故障对行车的影响。     

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

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

北京地铁14号线弓网动态相互作用性能研究

对北京地铁14号线弓网性能进行了分析研究。介绍了弓网测量系统的工作原理,结合测试数据,对接触力分布、接触力最值、弓头振动加速度、受电弓与接触网燃弧现象、定位点处接触网的高度和拉出值等测试结果分别进行了分析。研究表明:列车在加速区段和通过锚段关节、线岔、分段绝缘器及刚柔过渡区域时,弓头振动加速度变大,接触力突变,局部线路弓头振动加速度有突变现象。     

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

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