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

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

深部岩层不良地质构造地震层析成像技术研究

以中铝公司铝土矿运输巷道和金川公司镍矿978探矿道为工程背景,对TRT6000地震层析成像技术检测原理、识图方法、巷道工程概况进行介绍,对不良地质构造进行定性、定量的预报,为巷道快速掘进和稳定性分析提供详细的地质依据。探测结果与巷道后期开挖情况对比表明：TRT6000超前探测技术对不良地质构造灵敏度高,探测距离远,勘测结果准确、直观、全面。初步探讨TRT6000在深部巷道探测方面的局限性,同时指出在深部巷道超前探测试验中,TRT6000地震层析成像技术需注意的问题,研究结果对类似工程实践具有一定的参考价值。     

轨道客车空气弹簧扭转试验台的设计及应用研究

对空气弹簧扭转刚度这一影响轨道车辆通过曲线的重要参数进行研究,简要分析了空气弹簧的结构原理,设计了一套空气弹簧扭转试验台。对试验台的结构与原理进行了介绍,利用该试验台研究了相同垂向载荷条件下不同扭转振幅,以及不同垂向载荷条件下相同扭转角度等工况对空气弹簧扭转刚度的影响,结果表明:在相同垂向载荷条件下,扭转刚度随扭转振幅增加而变小,在相同扭转角度条件下,扭转刚度随垂向载荷增加而变大。试验设计达到预期目的,相应研究成果可为空气弹簧的研发和试验参考。     

基于ANSYSWorkbench的汇流排夹口模态分析

由于刚性悬挂接触线夹持在汇流排夹口。受线路、轨道、受电弓性能及牵引操纵等多种因素的影响,刚性悬挂产生的振动使接触线脱槽的问题日渐突出。在三维Catia软件中建立汇流排模型,并将汇流排模型无缝导入ANSYS Workbench中,最后,利用ANSYS Workbench有限元分析软件,计算出汇流排的5阶固有频率和振型,并绘出各阶振型模态图。计算结果表明,汇流排工作频率在1907.1 Hz附近时,汇流排动态性能较差,易因共振而引发安全事故。     

大跨度自锚式悬索桥建设阶段风险分析及对策

研究目的:针对杨梅洲大桥主桥设计方案和结构体系创新,采用工程风险评估方法,对设计和施工中存在的各种风险进行识别,提出主要风险因素、风险发生概率和风险损失,给出本桥风险等级判别,提出降低和控制风险的防范措施。研究结论:(1)通过风险识别,提出了4项主要风险因素,即:大跨度自锚式悬索桥结构体系创新风险、恶劣气候条件对施工安全的影响风险、箱梁多点顶推施工对结构变形稳定的安全影响风险、施工期间通航船只对江中临时支墩的偶然碰撞风险;(2)根据风险发生概率和风险损失,确定了本桥的风险等级为Ⅱ级中度风险;(3)通过制定应对策略、采取抗风险措施等方法,可以达到将本桥建设风险降到最低程度、保证安全实施的目标。     

关节式电分相过电压致线索烧损分析及对策

对接触网的关节式电分相出现过电压的原因进行了分析,并结合襄樊供电段现场实际情况,提出了具体的防治对策。     

基于MEMS加速度传感器的操纵台振动试验研究

利用ADXL001加速计自行设计了MEMS三相加速度传感器。探讨了MEMS加速度传感器在振动测量中的可行性。针对HXN5型内燃机车司机室操纵台的振动控制,利用自主开发的VTCL_DSP信号采集与分析系统对操纵台进行了系统的试验测试分析。针对被动隔振方法提出了优化方案。通过优化方案的试验验证,确定操纵台振动得到了有效控制。     

客运机车准流线型司机室结构模块化设计

200 km/h六轴客运机车首次在电力机车设计中采用自顶向下的方式模块化设计双曲面准流线型司机室的钢结构,文章介绍了司机室钢结构的模块化设计过程,主要部件的结构以及关键问题的处理。     

企业固定资产管理分析

固定资产管理是企业管理的重要组成部分,在企业生产经营中发挥着重要的作用。介绍了固定资产管理的主要内容,深入探讨了企业固定资产管理存在的风险,并对改进企业固定资产管理进行了研究。     

基于TCN的车辆控制单元(VCU)的研究与设计

详细介绍了基于TCN的VCU通信系统的构成、车辆控制单元硬件平台的系统方案设计、软件平台的系统设计以及VCU的主要功能。现场应用表明,VCU功能强大,性能稳定,可靠性高。