咨询与建议

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 交通运输工程
    • 1 篇 控制科学与工程
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 1 篇 time
  • 1 篇 rams分析
  • 1 篇 model
  • 1 篇 petri网
  • 1 篇 形式化建模
  • 1 篇 系统测试
  • 1 篇 atp车载设备
  • 1 篇 验证
  • 1 篇 全自动无人驾驶
  • 1 篇 新型列控系统
  • 1 篇 列车停站场景
  • 1 篇 自动化等级
  • 1 篇 确认
  • 1 篇 形式化验证
  • 1 篇 安全控制措施

机构

  • 2 篇 中国铁道科学研究...
  • 1 篇 state key labora...
  • 1 篇 铁科华铁经纬信息...
  • 1 篇 school of electr...
  • 1 篇 中国铁道科学研究...

作者

  • 2 篇 侯卓璞
  • 1 篇 clive roberts
  • 1 篇 任晨宇
  • 1 篇 刘雅晴
  • 1 篇 陈黎洁
  • 1 篇 zhuopu hou
  • 1 篇 min zhou
  • 1 篇 王玮琦
  • 1 篇 hairong dong
  • 1 篇 王文龙
  • 1 篇 刘育君

语言

  • 2 篇 中文
  • 1 篇 英文
检索条件"作者=Zhuopu HOU"
3 条 记 录,以下是1-10 订阅
排序:
Cuckoo search approach for automatic train regulation under capacity limitation
收藏 引用
Science China(Information Sciences) 2023年 第4期66卷 299-300页
作者: zhuopu hou Min Zhou Clive ROBERTS Hairong DONG State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University School of Electronic Electrical and Systems Engineering University of Birmingham
Dear editor, In the daily operation of metro systems, external interferences(e.g., signal system malfunction, bad weather) that can affect normal train operation are inevitable. Hence,effective train regulation measur... 详细信息
来源: 同方期刊数据库 同方期刊数据库 评论
基于Petri网的全自动无人驾驶列车停站场景形式化建模与验证
收藏 引用
铁道通信信号 2024年 第3期60卷 61-68页
作者: 王玮琦 任晨宇 陈黎洁 侯卓璞 中国铁道科学研究院集团有限公司标准计量研究所 北京100081 中国铁道科学研究院集团有限公司通信信号研究所 北京100081
为进一步提高全自动无人驾驶系统的安全性,采用Petri网理论在全生命周期早期对系统运营场景的实现流程进行形式化建模与验证。选取正线运营中的列车停站这一典型运营场景,进行对象提取与状态分析,结合各对象与库所、变迁的对应关系,建立... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
新型列控系统ATP车载设备开发过程安全控制措施研究
收藏 引用
铁道通信信号 2024年 第5期60卷 1-8页
作者: 刘雅晴 王文龙 侯卓璞 刘育君 中国铁道科学研究院集团有限公司通信信号研究所 北京100081 铁科华铁经纬(天津)信息技术有限公司 天津301700
作为下一代列控系统的重要组成部分,新型列控ATP车载设备的设计开发需严格按照行业技术要求执行安全控制措施,以确保设备满足安全需求。从RAMS分析、系统测试、验证确认3个方面对设备开发过程中的安全控制措施展开研究:根据新型列控ATP... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论