吕继东

作品数：26被引量：132H指数：8
导出分析报告
供职机构：北京交通大学更多>>
发文主题：列车列控系统时间自动机UPPAAL编组更多>>
发文领域：自动化与计算机技术交通运输工程文化科学更多>>
发文期刊：《铁道技术标准（中英文）》《铁道学报》《计算机应用与软件》《铁道通信信号》更多>>
所获基金：国家自然科学基金中央高校基本科研业务费专项资金国家高技术研究发展计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
考虑驾驶特征识别的西部地区高速列车追踪运行轨迹预测方法研究
《铁道学报》2025年第1期71-81,共11页田婉琪 步兵 吕继东 唐涛 李开成 
中央高校基本科研业务费(2022JBXT000);国家自然科学基金(52272329);北京市自然科学基金(L211019)。
针对西部地区高速铁路列车在不同应用场景下的驾驶特征和轨迹的差异性较大的问题,建立基于驾驶特征分类的高速铁路列车追踪运行轨迹预测模型。给出高速列车驾驶特征定义,结合追踪列车的速度、加速度、急动度、时间和空间间隔等特征数据...
关键词：高速列车 轨迹预测 驾驶特征 长短期记忆神经网络 高斯混合模型 
基于分布式模型预测控制的城轨列车协同控制方法研究
《铁道通信信号》2024年第9期11-19,共9页丁颖 吕家慧 刘彩霞 高金金 吕继东 
国家自然科学基金“面上”(52272329);北京市自然基金“轨道交通联合”(L211019);国能铁路装备有限责任公司先进轨道交通综合试验研究基地方案研究项目专项资金(TZKY-21-16);中国铁道科学研究院国家铁路智能运输系统工程技术研究中心国家创新平台开放基金(2022YJ031)。
围绕城市轨道交通列车高密度追踪控制问题,研究基于分布式模型预测控制(DMPC)的列车协同控制方法。首先,对列车进行受力分析并建立列车运行的状态空间模型,在此基础上提出系统控制目标并设计控制策略;其次,在保证行车安全的前提下,基于D...
关键词：城市轨道交通 分布式模型预测控制 协同控制 跟随控制 高密度追踪 状态一致性 
基于决策树等价的CBTC列控车载TSM监控曲线测试案例约简方法被引量：2
《北京交通大学学报》2022年第5期122-130,141,共10页张芳 李开成 罗正伟 魏国栋 吕继东 
中央高校基本科研业务费专项资金(2012YJS018);国家自然基金(52272329);北京市自然科学基金(L201004);北京交通大学自然科学横向项目(O22L00010)。
针对传统组合测试在CBTC列控车载TSM监控曲线中产生覆盖无交互作用参数组合的冗余测试案例问题,提出了一种基于决策树等价的组合测试案例套件自动约简方法.首先,结合t-way参数覆盖的组合测试案例及其输出构造捕获被测系统行为的数据集,...
关键词：CBTC列控系统 目标速度监控 组合测试 测试套件约简 决策树等价 
高速列车自主视觉定位的测试方法研究
《铁道技术标准（中英文）》2022年第1期8-13,共6页柴铭 谢东 刘宏杰 吕继东 
北京交通大学基本科研业务费重大项目(2020JBZD002)。
列车定位是保障高速列车安全运行的关键技术。随着“故障-安全运行”需求的提出,基于深度学习的列车自主视觉定位技术受到了广泛关注。本文针对列车定位的安全性问题,提出了一种神经网络模型测试方法,通过图像变换得到测试案例,并通过...
关键词：高速列车自主视觉定位 深度神经网络 计算机视觉 机器学习测试 测试案例生成 
基于强化学习的新型列控系统区间行车间隔控制方法被引量：4
《北京交通大学学报》2021年第5期63-73,共11页付文秀 李亚 吕继东 李丹勇 李洋 
中央高校基本科研业务费专项资金(2020JBZD002);北京市自然科学基金(L201004)。
列车间隔控制是保证列车运行安全和提高列车行车密度的关键.基于车-车通信的新型列控系统能够感知更多的列车运行环境信息,缩小列车行车间隔,提升列车运行效率.本文将列车速度控制视为一个决策过程,采用强化学习算法来实现新型列控系统...
关键词：新型列控系统 间隔控制 强化学习 蒙特卡洛树搜索算法 动态规划 
基于失效日志的CTCS-3级列控车载子系统需求错误所致的失效致因分析被引量：4
《铁道学报》2017年第3期59-70,共12页韩笑 唐涛 吕继东 尚麟宇 
国家自然科学基金(61304185;U1434209);国家重点基础研究发展计划(973计划)(2014CB340703);中国铁路总公司科技研究开发计划(2014X003-D)
CTCS-3级列控系统的复杂性使得某些需求错误难以发现,从而导致系统失效,需要结合失效事件的日志记录反向分析出需求的错误。本文采用基于模型检查的方法,首先利用时间自动机建立CTCS-3级列控车载子系统需求的模型,同时利用失效事件中的...
关键词：CTCS 车载子系统 失效致因分析 时间自动机 UPPAAL 模型检查 需求错误 
基于HCSP的列控系统安全性建模与验证分析被引量：1
《铁路计算机应用》2017年第1期11-17,共7页吕继东 唐涛 李开成 王海峰 
国家自然科学基金资助项目(61304185);中国铁路总公司科技研究开发计划课题(2014X003-D)
高速铁路列车运行控制系统是保证列车安全、高效运行的核心设备,如何验证系统功能的正确性从而提高系统的安全性是至关重要的。引入了一种基于进程演算的方法—混合通信顺序进程(HCSP,Hybrid Communication Sequential Process),利用该...
关键词：列车运行控制系统 安全性 混合通信顺序进程 注册与启动 模型转换 验证 
一种新型列控系统方案探讨被引量：11
《铁道通信信号》2016年第10期1-5,共5页刘宏杰 王海峰 李开成 吕继东 
中国铁路总公司科技研究开发计划(2014X003-D;2015X010-A);中央高校基本科研业务费专项资金(2016JBM007)
在对我国列控系统应用状况和存在问题进行总结的基础上,结合对国外先进列控系统发展趋势的分析,提出了一种新型列控系统的基本框架,并说明了系统工作原理,为产品研发提供依据。
关键词：列控系统 新型列控系统 发展趋势 车载控制器 目标控制器 
基于HAZOP的列控系统安全分析与验证被引量：2
《铁道通信信号》2016年第3期50-53,共4页姚媛 唐涛 吕继东 王海峰 
国家自然科学基金资助项目(61304185;U1434209);中央高校基本科研业务费专项资金资助(2014JBM022.2015YJS008);国家重点基础研究发展计划(973)(批准号:2014CB340700)
列控系统是一个典型的安全苛求系统,传统的安全分析方法难以保证分析结果的全面性和客观性,因此将危险和可操作性分析方法 (HAZOP)与符号模型检验工具(SMV)结合,形成一种安全分析与验证方法,并以典型的CTCS-3级列控系统等级转换场景为例...
关键词：列车运行控制系统 形式化建模 安全分析 
复杂场景下列控系统功能一致性分析
《铁道通信信号》2016年第2期7-10,共4页任鹏程 唐涛 吕继东 王海峰 
国家自然科学基金资助项目(61304185;U1434209);国家重点基础研究发展计划(979)(批准号:2014CB340700);中央高校基本科研业务费专项资金资助(2014/BM022)
基于Simulink&Stateflow建立了高速铁路列控系统运营场景的仿真模型,首先根据C2和C3行车许可运营场景的控制时序流,分析了单一场景功能的正确性;其次,结合等级转换场景,验证了C2和C3行车许可运营场景在语用层次上的一致性;再次,结合模...
关键词：列控系统 运营场景 建模 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部