基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法

针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。     

混合动力牵引调车机车的研发

阐述了混合动力牵引调车机车的概念和样车的结构性能,重点论述了样车主要研制内容及技术措施、节油减排效果、节油试验情况,从评估计算和试验验证两方面论证了混合动力技术能实现能量高效利用和循环利用的双重目标,总结了样车的研制成果。     

轨道交通视频技术实验室开坛论道八方专家共议高清视频与网管技术

11月1日,轨道交通视频技术实验室与中国铁道科学研究院科学技术信息研究所联合举办2012年轨道交通视频与安全发展论坛,论坛的主题是高清视频与网管技术研讨.参加这次会议的有铁道部有关司局、各铁路设计院、部分铁路局及客专公司,交通部通信信息中心及北京城轨路网指挥中心也派专家参会,实验室所有成员单位主要技术人员参加了论坛讨论.     

BP神经网络在地铁运营安全评价中的应用

依据地铁运营安全评价体系及国家法律法规的要求,对于评价标准在实施过程中遇到的问题作了系统分析。建立了基于BP神经网络的地铁运营安全BP神经网络模型,系统提出了地铁运营安全BP神经网络的评价理论及其案例分析。理论分析和实践表明,BP神经网络模型计算结果合理、精度较高,在地铁运营安全评价中有很好的实用性。     

混合动力汽车发展的必要性及关键技术分析

混合动力汽车综合了内燃机驱动式汽车及电动机驱动式汽车的二者优势,具有环保、节油的特点,得到了各国的广泛重视。文章主要阐述了混合动力汽车的发展现状,分析了混合动力汽车发展的必要性,并结合混合动力汽车应用的特点,分析了影响混合动力汽车性能的关键性技术。     

基于UWB定位的邮轮乘员伴随关系发现算法

准确发现邮轮内部空间乘客之间的伴随关系, 在室内环境安装UWB定位设备开展室内人员定位实验。根据UWB定位的位置数据特点, 提出结合室内位置语义的Hausdorff-DBSCAN算法以聚类邮轮乘员轨迹, 并利用LSTM神经网络对疑似伴随关系对象进行相似度变化趋势的预测。传统的Hausdorff算法在计算轨迹相似度时未考虑轨迹时序一致的问题, 引入位置语义序列能够较好地解决这个问题。改进后的Hausdorff-DBSCAN算法的输入为乘员轨迹数据集, 根据轨迹整体相似度阈值选定聚类半径, 输出具有伴随关系的乘员轨迹聚类结果; LSTM神经网络以定长时间窗口的点邻近度序列为输入, 预测后1个时刻点邻近度值, 结合轨迹相似度阈值和预测结果分析乘员伴随关系的时序变化。利用Anylogic建模单层邮轮室内环境进行乘员仿真得到的轨迹数据验证算法的有效性。改进的Hausdorff-DBSCAN算法的准确率为0.920, 召回率为0.950, F₁值为0.934, 准确率高出对比算法至少5.7%, 召回率高出对比算法至少8.0%, F1值高出对比算法至少6.7%。同时LSTM在预测邮轮乘员之间相似度变化时, 收敛后的误差值能保持在3%~4%左右, 预测结果具有较高的准确性。      

基于时空网络的铁路空车调配动态优化模型

为合理配置空车资源,研究了路局（公司）管内空车调配的动态优化问题。构建区分时段长度的时空网络,以准确描述车站作业能力的变化。借鉴运输问题（TP）的基本思想,通过引入空车供需约束,将动态空车调配问题转化为基于时空网络的多商品网络流问题。结合空车调配的特点,设置2组整数决策变量,将分界站排空与局（公司）管内配空分开考虑。设置0-1辅助变量构建车种代用约束。在此基础上,以总费用最小为目标,构建了空车调配动态优化的混合整数规划模型。以中国铁路昆明局集团有限公司管内空车调配为例,验证了模型的可行性与有效性。算例结果表明,与静态空车调配方法相比,构建的动态空车调配模型不仅降低了空车调配总成本,而且调配方案更加贴合实际。与现有动态空车调配方法相比,通过改变时空网络中时段的划分方式,降低了模型求解的复杂度,构建的模型在获取空车调配方案的同时能够更加直观的看出空车在不同时间的作业状态。      

车辆荷载作用下钢箱梁焊缝应力响应特性研究

依托某大跨径悬索桥钢箱梁工程实例,基于ANSYS软件建立全桥梁单元模型与局部钢箱梁板单元模型,并将不同尺度的模型进行耦合,实现钢箱梁边界条件的准确模拟;然后,依据公路桥梁通行车辆荷载特点,设置车轮荷载在4种不同的横向位置加载的工况,计算不同工况下U肋对接焊缝、U肋与横隔板焊接焊缝的应力响应特点与差异;最后,分析各类焊缝在车辆荷载作用下的应力响应影响面,确定车轮荷载对焊缝的影响范围与程度,为钢箱梁疲劳计算的焊缝模拟与疲劳应力响应计算提供一定的参考。     

基于RBF神经网络补偿的动力定位PD控制

动力定位控制系统在实际工况中会受到外部风、浪、流等环境力的扰动,本文主要研究PD+RBF控制算法以提高动力定位系统的抗干扰性和稳定性.RBF神经网络用来补偿外界环境扰动,其权值自适应律通过Lyapunov稳定性证明得到,通过稳定性的分析能够保证整个系统全局渐进稳定.在一艘平台供应船的仿真结果对比中显示了所提出控制器的有效性.