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

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

移动式动态线路加载车跟随系统的设计与实现

移动式动态线路加载车通过曲线时,如不主动控制,安装在仪器车车底的刚度检测架与轨道之间会有偏移,当曲线半径很小时,刚度检测架上的激光位移传感器就会超出量程,造成曲线地段轨道刚度无法测量。为此,设计了刚度检测架跟随系统。本文介绍了跟随系统的机械结构设计和运动控制软硬件设计。目前该系统已成功应用到移动式动态线路加载车上。     

市域快轨功能定位及规划要点

在市域快轨概念分析的基础上,从服务范围、服务对象和服务目标3方面分析了市域快轨的内涵。总结出市域快轨线网具有中心区外围放射线、市中心放射线和穿越市中心3种形态,同时对市域快轨的同城化通勤服务、公交化服务、适应客流变化的运营组织和按照时刻表运行的特征进行了分析。提出市域快轨前期规划中要处理好与城市中心区地铁线路、与区域内市域及市郊铁路之间的关系,线路敷设方式、系统制式选择、资源共享、一体化开发等方面的规划要点。     

铁路车轮周向脊肋阻尼结构振动声辐射控制的初步探讨

为了弄清周向敷设脊肋式约束阻尼铁路车轮减振降噪机理,将铁路车轮简化成同样比例尺度的等厚圆盘,并在圆盘上敷设周向分布脊肋约束阻尼,分析其振动-声辐射特性。基于混合有限元-边界元法,建立了敷设约束阻尼结构的圆板系统振动-声辐射模型。其中,系统的振动响应由实体有限元模态叠加法计算得到,约束阻尼结构的阻尼效应通过结构模态损耗因子来考虑。进而将系统振动响应作为声学边界元的初始条件,用基于声学边界元法的软件SYSNOISE计算得到系统的声辐射。考虑到计算阻尼结构模态损耗因子的精度与计算耗时情况,对复特征值法和模态变形能法进行了分析比较。数值计算中,考虑了两种不同截面形式的周向脊肋及其布设位置对系统振动声辐射的影响。结果表明,周向脊肋对降低系统振动声辐射有积极作用,其效果与脊肋截面形状和布设位置有关。本文的分析为低噪声车轮的设计提供重要的参考。     

集装箱中心站和专办站班列开行方案研究

随着全路18个集装箱中心站、33个专办站的集装箱运输系统建设完成,铁路将形成覆盖全国的运输网络。研究集装箱中心站和专办站间班列开行方案,对促进我国集装箱运输发展具有重要意义。在分析了集装箱班列开行方案的影响因素及集装箱班列开行条件的基础上,提出了分部求解的计算方法,并以北京─广州的集装箱运输为例,研究集装箱中心站和专办站的运输组织。     

电控发动机故障诊断技术

介绍电控发动机故障诊断技术,常见故障诊断方法与技巧。     

山区公路沿河路基动态失稳机理研究综述（1）——水在岩土体中的渗流

针对以往山区公路沿河路基失稳破坏的研究限于地表水对路基的冲刷作用而并没有揭示出沿河路基内在失稳机理这一局限性,从水在岩土体中的渗流这一角度出发,概述沿河路基岩土体内的孔隙压力及渗透压力发生变化而使岩土体发生变形破坏及地下水对岩土体的各种不良作用.     

连续刚构跨中下挠的参数影响分析

连续刚构箱梁桥是我国桥梁工程中最常的用桥型结构型式之一,已建成的此类桥梁中普遍出现了跨中下挠过大.影响连续刚构桥跨中下挠因素较多并且复杂.归纳了影响连续刚构挠度的主要参数.以白果渡连续刚构桥为背景,分析各种参数对连续刚构下挠的影响,在此基础上提出防治措施.     

水泥对乳化沥青冷再生混合料强度的影响

在RAP比例为20%、50%两种条件下、选用3种水泥用量和2种乳化沥青用量进行水泥—乳化沥青再生沥青混合料(CEARM)配合比设计试验,通过比较CEARM初期强度和后期强度,分析了水泥对乳化沥青冷再生混合料强度的影响。结果表明:水泥能显著提高再生混合料的早期强度,对后期强度的影响因RAP比例的不同而异,并据此提出了水泥和乳化沥青适宜用量的确定方法。     

车路协同信息融合的智能汽车行驶状态模糊评判

为了监测与评判道路上行驶的智能汽车的实时状态,基于研发的智能汽车的车载感知系统,包括通过视觉传感器、激光雷达、GPS定位、车载传感器系统及车载总线获取车内及周围环境信息。采用V2X通讯设备等获取路侧端雷视一体机、路侧传感器、气象传感器传输的交通信息,通过V2X通讯设备、4G通讯模块传送到云服务器并建立模糊评判模型。基于可信度的模糊推理算法对环境信息和交通信息进行融合,并以此为依据对行驶车辆的状态进行评判。首先,建立针对车辆行驶状态的模糊评判集合和各参数隶属度函数,计算出各参数的隶属度,并对行驶车辆的各个参数建立典型的行驶状态评判参数数据集合。其次,采用模糊假言推理方法,以典型的数据集合为基础建立带可信度和阈值的模糊规则库。应用麦姆德尼方法,建立与规则库的每个规则所对应的模糊关系矩阵库。以车辆行驶时接收到的车载端和路侧端信息作为输入,应用规则库规则进行带有可信度的模糊推理。然后,以相似度作为匹配度,对推理规则设定阈限,按照证据与规则的前件不相等的情况,计算结论的可信度得出结论。对结论进行冲突消解时,冲突消解的策略为取可信度高的结论。最后,应用匹配度对结论的可靠性进行验证,并在多个道路场景实时行驶的车辆上对算法进行试验验证。研究结果表明:算法对行驶车辆状态的评判与实车的状态相一致,可实现对车辆不安全状态的报警与行驶状态的干预,对保障行车安全有显著积极的实际应用意义。