郭进 作品数:194 被引量:798 H指数:13 供职机构: 西南交通大学信息科学与技术学院 更多>> 发文基金: 国家自然科学基金 中央高校基本科研业务费专项资金 铁道部科技研究开发计划 更多>> 相关领域: 交通运输工程 自动化与计算机技术 电子电信 机械工程 更多>>
微机化站间自动闭塞系统的研究 被引量:11 2003年 分析以CAN总线控制技术为基础构成微机化站间自动闭塞系统的可行性 ,并提出其实现方案 ,包括系统结构与功能、系统工作原理和系统设计 ,同时进行微机化站间自动闭塞的安全控制逻辑分析 . 邹少文 郭进 杨扬关键词:铁路信号 CAN总线 控制逻辑 基于STAMP与模型检验的全自动无人驾驶复杂运营场景安全验证方法 2024年 与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂运营场景安全验证方法。首先,基于STAMP理论构建运营场景分层控制结构模型,辨识潜在的不安全控制行为、分析危险致因和安全约束;其次,定义分层控制结构模型与安全状态机模型间的基本转换规则,基于分层控制结构模型、安全约束和转换规则,构建运营场景安全状态机模型;最后,针对提取的安全约束,利用数据流图建立安全属性验证模型,结合模型检验技术,对运营场景安全状态机模型进行形式化验证。以全自动无人驾驶运营场景中列车自动进站停车为例,对方法进行验证分析。结果表明,当STAMP理论提取的安全约束通过了场景安全状态机模型的验证时,表示在该场景中对应的不安全控制行为没有发生且不导致相应危险。该方法结合系统安全分析与形式化建模验证的优势,降低了运营场景建模的难度,构建的运营场景形式化模型满足系统安全约束,可以作为全自动无人驾驶系统安全设计和安全改进的重要基础。 马牧云 张亚东 李耀 郭进关键词:轨道交通 STAMP SCADE GSM-R无线电干扰测向定位技术 被引量:5 2011年 正1概述随着我国国民经济的快速发展,各种用频设备大量增加,电磁环境越来越复杂和恶化,用频设备间相互干扰、自我干扰日益突出。我国GSM-R的工作频段为885~889MHz、930~934MHz,它可能会受到以下几类信号的干扰,而无法正常工作。(1)合法运营商的基站、直放站因老化或故障等产生频率漂移、杂波等信号;(2) 赵武元 郭进 袁友茂关键词:无线电干扰 测向设备 工作频段 直放站 无线电测向 接触网定位器辅助列车定位技术 被引量:3 2005年 对查询应答器和里程计的定位方式提出一种用接触网定位器辅助列车定位的方法.该方法利用列车行进时检测到的定位器的里程信息校正里程计的误差.为避免背景障碍物的干扰,在接触网定位器检测中采用检查窗技术.这种辅助列车定位技术可大幅度减少地面应答器的数量和提高列车定位的精度. 马永强 郭进关键词:电气化铁路 列车定位 接触网定位器 基于蚁群算法的列车节能驾驶策略优化算法研究 被引量:6 2021年 针对城市轨道交通运输中列车牵引耗能大的问题,将优化列车推荐速度曲线和改进ATO驾驶策略相结合,提出一种基于蚁群算法的列车节能驾驶策略优化算法。首先建立列车推荐速度曲线优化模型,其次结合司机驾驶经验提出基于蚁群算法的列车推荐速度曲线优化计算方法,然后设计节能巡航驾驶策略对ATO原有驾驶策略进行改进。最后以北京地铁亦庄线实际数据对算法进行仿真验证。仿真结果表明,使用该算法控制行车时,在满足区间运行时间约束条件下,站间能耗可降低22.92%,计算时间为1.3s。该算法收敛速度快,节能效果明显,对降低列车牵引能耗具有一定现实意义。 褚心童 张亚东 郭进 高豪 李耀 刘芯宏关键词:蚁群算法 改进的灰度预测在列车轮径校正中的研究 被引量:4 2016年 列车测速定位是列控系统中的三大关键技术之一,精确的列车定位将会提高列车运行控制的安全性,缩短列车追踪间隔和提高行车效率。针对目前地铁中主流的脉冲速度传感器和应答器的组合定位技术中存在的轮径损耗问题,提出将改进的灰度预测算法应用于轮径校正中。根据列车通过定位应答器推算出的前面若干组列车轮径值,滚动预测列车下一走行区间定位计算中的轮径值,以此提高列车的定位精度,具有一定的实践意义。 崔超 张亚东 郭进关键词:轨道交通 列车定位 基于Greedy方法的动态配流模型与近似算法 被引量:4 2014年 为研究寻优能力强、求解效率高且可及时调整的动态配流智能化编制方法,构建了基于Greedy算法的多阶段决策模型.以编组顺序为准依次划分阶段,提出了根据各阶段Δti(将最晚编组时刻和最早解体时刻之差与解体标准作业时间作求余运算所得之值)动态划分解体区间的方法;在解体区间内,以当前阶段待编列车的车流需求为匹配目标,设计了5种依据不同规则与策略的最优解体列车选择算法;将各阶段决策变量依次组成序列,得到最终的解体顺序.选取不同策略或改变参数,进行了8组对比实验,结果表明:简单规则和策略无法保证解的质量,匹配度选择算法的优劣取决于解体区间数量与解体列车选择策略;在基于R_PPCD2(根据当前阶段车流资源与后续阶段所需车流的去向匹配度选择解体列车的策略)的算法中,适当调整解体时间、编组作业时间、出发车作业时间等参数,可以在2 s内寻找到该NP难问题的一个高质量近似解. 郭瑞 郭进 苏跃斌 马亮关键词:编组站 动态配流 启发式算法 基于网络时延的SDN逻辑一致性策略研究 被引量:8 2014年 对SDN网络更新过程中的暂时中间态进行了研究,阐述了因网络时延导致的控制逻辑不一致问题,并提出了一种解决方案。该方案通过在控制平面上调整安装控制规则的时序,使网络达到控制逻辑一致的目的,进一步建立了一种基于节点平均网络时延的目标优化模型,通过对模型求解得到SDN网络逻辑一致的时延最小路由路径。最后通过仿真实验验证了该方案的可行性和有效性。 宋海权 郭进 侯孟书 李赛飞 闫连山 王丹琛关键词:网络时延 基于遗传算法的列车运行能耗优化算法 被引量:19 2012年 研究了CBTC系统中列车控制模型和列车运行调整,以降低能耗为目标,对列车在区间的运行控制进行优化组合,提出了基于遗传算法的能耗优化算法,根据具体的线路条件,计算了在不同的运行等级下或不同区间运行时分对应的列车运行速度曲线。以一段2 400m长,具有典型节能坡设置,且包含一段60km.h-1区间限速的线路为例,进行了能耗计算和优化仿真。研究结果表明:优化之后速度曲线与其对应的运行等级2、3、4的速度曲线相比,列车牵引能耗减少到原来的62%、58%、60%,节能效果显著,算法有效。 陈荣武 刘莉 郭进关键词:列车控制系统 优化算法 利用重排分布理论的移频信号检测 移频轨道电路信号是一种相位连续的移频键控信号,具有典型非平稳信号特征,采用时域和频域的联合时频分析手段可以将非平稳信号的时域分析和频域分析结合起来,但两种经典的Cohen类和仿射类时频分析方法无法消除交叉干扰项的影响,引... 夏江华 郭进 王小敏关键词:铁路工程 自动闭塞系统 文献传递