您的位置： 专家智库 > >

吕继东

作品数：56 被引量：134H指数：9
供职机构：北京交通大学更多>>
发文基金：国家自然科学基金中央高校基本科研业务费专项资金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术交通运输工程文化科学更多>>

合作作者

文献类型

  • 31篇专利
  • 24篇期刊文章
  • 1篇学位论文

领域

  • 24篇自动化与计算...
  • 22篇交通运输工程
  • 1篇文化科学

主题

  • 27篇列车
  • 19篇列控系统
  • 12篇自动机
  • 10篇列车运行
  • 9篇时间自动机
  • 9篇车载
  • 8篇列车运行控制
  • 8篇编组
  • 8篇UPPAAL
  • 7篇自动生成
  • 6篇形式化
  • 6篇轨道交通
  • 6篇CTCS-3...
  • 5篇地图
  • 5篇电子地图
  • 5篇制动
  • 5篇进路
  • 5篇轨道交通信号
  • 4篇形式化建模
  • 4篇行车

机构

  • 56篇北京交通大学
  • 3篇中国铁道科学...
  • 1篇西安交通大学
  • 1篇中国科学院软...
  • 1篇中国铁路济南...

作者

  • 56篇吕继东
  • 27篇唐涛
  • 26篇刘宏杰
  • 23篇柴铭
  • 16篇王海峰
  • 11篇李开成
  • 7篇曹源
  • 7篇张路
  • 6篇宁滨
  • 5篇袁磊
  • 4篇王迪
  • 2篇徐田华
  • 2篇康仁伟
  • 2篇刘雨
  • 2篇张淼
  • 2篇韩笑
  • 2篇张勇
  • 2篇张梓轩
  • 2篇李辰岭
  • 2篇杨旭文

传媒

  • 7篇铁道学报
  • 4篇北京交通大学...
  • 3篇铁道通信信号
  • 3篇铁路计算机应...
  • 2篇西南交通大学...
  • 1篇计算机应用与...
  • 1篇中国铁道科学
  • 1篇西华大学学报...
  • 1篇中国科学：信...
  • 1篇铁道技术标准...

年份

  • 2篇2024
  • 9篇2023
  • 11篇2022
  • 2篇2021
  • 2篇2020
  • 3篇2019
  • 1篇2018
  • 6篇2017
  • 4篇2016
  • 4篇2015
  • 3篇2014
  • 1篇2013
  • 1篇2012
  • 4篇2011
  • 2篇2010
  • 1篇2009
共 56 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种高速列车有限时间自适应协调控制方法及系统
本发明涉及一种高速列车有限时间自适应协调控制方法及系统，先构建高速列车的多质点动力学模型，并利用Lipschitz连续映像算法和径向基函数神经网络对多质点动力学模型中的不确定参数进行估计，得到估计后模型，同时根据期望运行...
宿帅王迪韩连鸽曹源李开成刘宏杰吕继东阴佳腾
文献传递
基于UPPAAL的高铁列控系统等级转换过程建模与验证被引量：10
2012年
为了满足铁路线路互联互通以及设备故障之后列车降级运行的需求,列车在运行过程中需要进行等级转换.等级转换过程中,车载设备未正常接收转换预告点、转换执行点应答器的信息,或者列车速度未降至线路允许速度以下等因素,可能导致等级转换不成功,因此有必要通过形式化建模对转换过程分析和验证.本文提出了一种基于UPPAAL的等级转换过程建模与验证方法.采用时间自动机理论建立了CTCS-2/CTCS-3等级转换过程的时间自动机网络模型,应用UPPAAL验证工具对等级转换过程进行仿真分析,验证了等级转换过程的安全性,并对现有技术规范提出了改进意见.
康仁伟王俊峰吕继东
关键词：CTCS-2时间自动机UPPAAL
一种城轨列车ATO控制性能室内仿真测试方法及系统
本发明公开一种城轨列车ATO控制性能室内仿真测试方法及系统，涉及城轨列车控制技术领域，方法包括：将列车数据集合及列车所在线路的坡度数据输入至预设的ATO控制性能室内仿真测试模型，以得到列车状态预测数据；将列车状态预测数据...
柴铭刘皓元刘宏杰宿帅吕继东
基于空间变换的列控系统移动授权安全防护方法
本发明提供了一种基于空间变换的列控系统移动授权安全防护方法。该方法主要包括：建立列控系统轨道区段及其包含的各元素的空间变换表达方法，基于所述空间变换表达方法建立移动授权安全防护的空间变换算法；基于列车移动授权中的目标终点...
王海峰张勇张路吕继东徐田华
文献传递
一种列车视觉定位测试用例生成方法及系统
本发明涉及一种列车视觉定位测试用例生成方法及系统，属于列车定位技术领域，首先获取列车周围真实环境图像，并依据模糊类型进行分类，以无模糊训练图像、相同场景下的任一模糊类型的模糊训练图像以及预设模糊类型为输入，以重构模糊图像...
柴铭谢东刘宏杰宿帅吕继东
基于HCSP的列控系统安全性建模与验证分析被引量：1
2017年
高速铁路列车运行控制系统是保证列车安全、高效运行的核心设备,如何验证系统功能的正确性从而提高系统的安全性是至关重要的。引入了一种基于进程演算的方法—混合通信顺序进程(HCSP,Hybrid Communication Sequential Process),利用该方法对列控系统进行了形式化描述,并针对典型的场景—注册与启动场景进行了HCSP建模,通过引入转换规则,进行了相应模型转换,应用模型检验工具UPPAAL进行了仿真和功能验证,验证结论表明了场景模型功能的正确性以及方法的可行性。
吕继东唐涛李开成王海峰
关键词：列车运行控制系统安全性
一种进路元件的管理方法
本发明提供了一种进路元件的管理方法，该方法包括车载控制器接收到某条进路的进路命令后，获取所述某条进路对应的目标控制器，向所述目标控制器发送查询所述某条进路上的进路元件状态信息的请求；所述车载控制器根据所述目标控制器返回的...
宁滨柴铭唐涛王海峰吕继东刘宏杰张路
文献传递
基于UPPAAL-TRON的高速铁路列控系统非确定性时延一致性测试研究被引量：5
2016年
高速铁路列车运行控制系统是一个典型的实时系统,如何保证列控系统在时延约束条件下功能实现的正确性至关重要。传统的离线测试方法已广泛用于列控系统功能一致性测试中,然而,随着系统复杂度的提高,物理环境中时延的非确定性制约传统离线测试方法的应用。本文引入"在线测试"的概念,利用时间自动机理论对典型场景车载设备的RBC切换过程建模,并定义可观测消息通道将该模型划分为环境和设备两部分,从而借助工具UPPAAL-TRON"边生成边执行"测试用例,找出了在非确定性时延下,仿真RBC测试模型与测试需求中不一致的地方。并通过改进测试模型中RBC处理占用参数的设置,实现对RBC切换过程中跨界传递联锁消息时延非确定性的一致性测试。
吕继东朱晓琳王海峰李开成唐涛
关键词：列控系统
一种虚拟编组列车动态编组建立的控制方法及系统
本发明公开一种虚拟编组列车动态编组建立的控制方法及系统，属于轨道交通信号控制技术领域。根据前车在上一时刻生成的预测运行轨迹，结合紧急制动触发速度计算函数，以最快缩短与前车的追踪间距为目标，规划后车的推荐驾驶曲线，从而能够...
刘宏杰罗啸林唐涛柴铭吕继东宿帅
适合于车‑车通信的列控系统车载联锁的进路防护方法
本发明提供了一种适合于车‑车通信的列控系统车载联锁的进路防护方法。该方法包括：车载联锁设备周期性地从车载管理设备获得列车位置，当所述列车位置满足进路触发时机，车载联锁设备从联锁表中搜索相关的进路信息，获得该进路号对应的进...
李开成王海峰吕继东刘宏杰柴铭张路
文献传递
全选 清除 导出
共6页<123456>
聚类工具0