柴铭
作品数: 41被引量:5H指数:1
  • 所属机构:北京交通大学
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:中央高校基本科研业务费专项资金

相关作者

刘宏杰
作品数:71被引量:133H指数:8
供职机构:北京交通大学
研究主题:列车 编组 轨道交通信号 列车运行控制系统 城市轨道交通
吕继东
作品数:60被引量:142H指数:9
供职机构:北京交通大学
研究主题:列车 列控系统 时间自动机 UPPAAL 编组
唐涛
作品数:422被引量:1,426H指数:21
供职机构:北京交通大学
研究主题:列车 城市轨道交通 列车运行控制系统 轨道交通 列控系统
王海峰
作品数:81被引量:209H指数:9
供职机构:北京交通大学
研究主题:列控系统 列车 列车运行控制系统 进路 联锁
李开成
作品数:142被引量:412H指数:12
供职机构:北京交通大学
研究主题:列控系统 列车 列车运行控制系统 CTCS-3级列控系统 高速列车
一种列车虚拟编组运行方式的建立方法
本发明涉及一种列车虚拟编组运行方式的建立方法,属于轨道交通技术领域,通过先后判断同一线路上相邻的前车和后车是否满足虚拟编组初始条件和虚拟编组形成条件;对均满足虚拟编组初始条件和虚拟编组形成条件的前车和后车进行虚拟编组,并...
柴铭王祺刘宏杰吕继东宿帅
文献传递
一种虚拟编组列车队形控制方法、系统、电子设备及介质
本发明涉及一种虚拟编组列车队形控制方法、系统、电子设备及介质,具体涉及轨道交通技术领域。所述方法包括根据当前时刻领航列车的控制量以及单元列车的状态判断预设事件触发机制是否被触发;根据判断结果选择基于列车运行环境模型、当前...
宿帅刘亚飞唐涛曹源郜春海孙永奎吕继东刘宏杰柴铭王伟杨旭文
列车运行超速防护混成监控方法
本发明提供了一种列车运行超速防护混成监控方法,涉及轨道交通列车运行控制技术领域,该方法首先根据列车的机械特性,构建列车的运动学模型,确定影响列车行为的离散变迁参数;基于运行时验证技术实时获取与列车当前的运行信息相对应的控...
王海峰张勇柴铭徐田华陈坦汤圣杰
一种虚拟编组列车动态编组建立的控制方法及系统
本发明公开一种虚拟编组列车动态编组建立的控制方法及系统,属于轨道交通信号控制技术领域。根据前车在上一时刻生成的预测运行轨迹,结合紧急制动触发速度计算函数,以最快缩短与前车的追踪间距为目标,规划后车的推荐驾驶曲线,从而能够...
刘宏杰罗啸林唐涛柴铭吕继东宿帅
适合于车‑车通信的列控系统车载联锁的进路防护方法
本发明提供了一种适合于车‑车通信的列控系统车载联锁的进路防护方法。该方法包括:车载联锁设备周期性地从车载管理设备获得列车位置,当所述列车位置满足进路触发时机,车载联锁设备从联锁表中搜索相关的进路信息,获得该进路号对应的进...
李开成王海峰吕继东刘宏杰柴铭张路
文献传递
一种虚拟编组列车推荐驾驶曲线生成方法、系统及设备
本发明公开了一种虚拟编组列车推荐驾驶曲线生成方法、系统及设备,涉及轨道交通信号控制技术领域,所述方法,包括:构建虚拟编组列车的动力学方程;基于动力学方程根据不同的虚拟编组列车的运行阶段,结合城轨运营特征,构建出站牵引阶段...
刘宏杰郎颖辉罗啸林唐涛李开成曹源宿帅柴铭
一种车载控制器安全控制轨旁设备的方法
本发明提供了一种车载控制器安全控制轨旁设备的方法,该方法包括:列车进入某条进路,车载控制器根据进路表获取所述进路对应的轨旁控制器,向所述轨旁控制器发送申请所述进路中的轨旁设备的控制权的请求,所述轨旁控制器向所述车载控制器...
宁滨唐涛王海峰刘宏杰柴铭吕继东张路
文献传递
一种基于运行时验证的列车调度操作危险预测方法及系统
本发明涉及一种基于运行时验证的列车调度操作危险预测方法及系统,先建立列车运行控制参数化模型,然后以线路工程数据、列车运行数据和行车许可终点位置作为输入,计算不变集、流条件以及四种运行状态之间的迁移条件,以对参数化模型进行...
柴铭苏浩翔刘宏杰宿帅吕继东
运行时验证及其在列车运行控制系统中的应用被引量:4
2011年
运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允许"真"和"假"以外的逻辑值来显式的刻画验证过程中可能出现的非确定性,从而使得验证的结果更加精确。针对新的LTL语义给出了基于公式重写的运行监控算法和近似优化策略,并结合欧洲列车运行控制系统的实例,分析探讨了该方法在轨道交通控制领域的应用。
赵林唐涛徐田华柴铭李宪
关键词:多值逻辑列车运行控制系统
一种列车虚拟编组运行方式的建立方法
本发明涉及一种列车虚拟编组运行方式的建立方法,属于轨道交通技术领域,通过先后判断同一线路上相邻的前车和后车是否满足虚拟编组初始条件和虚拟编组形成条件;对均满足虚拟编组初始条件和虚拟编组形成条件的前车和后车进行虚拟编组,并...
柴铭王祺刘宏杰吕继东宿帅