期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于直线特征的铁路场景红外与可见光图像配准方法研究 被引量：1
1
作者 郭保青 周杏芳 许鑫龙 《铁道技术标准（中英文）》 2022年第1期1-7,共7页
列车运行环境状态智能感知是实现铁路列车自主运行控制的基础,而异源图像配准是全天候条件下多源融合感知的前提。本文针对红外与可见光图像多源融合进行铁路全天候环境感知的问题,提出了铁路场景下基于直线特征的红外与可见光图像配准... 列车运行环境状态智能感知是实现铁路列车自主运行控制的基础,而异源图像配准是全天候条件下多源融合感知的前提。本文针对红外与可见光图像多源融合进行铁路全天候环境感知的问题,提出了铁路场景下基于直线特征的红外与可见光图像配准算法。首先利用极向投影法提取图像钢轨直线,然后结合直线特征构建描述符,定义匹配分数公式精确匹配同名直线,实现粗匹配;基于粗匹配产生的候选框提取多方向直线特征进行精匹配;最后根据匹配结果计算模型变换参数完成配准。实验结果表明,该算法计算量小,速度快,配准精度高,为后续的环境感知和目标识别奠定了基础。 展开更多
关键词 列车自主运行控制 铁路环境 红外与可见光图像 图像配准 直线检测
下载PDF
基于Event-B与ADT的TACS形式化开发方法与验证 被引量：1
2
作者 陈祖希 牛传军 +7 位作者 梅萌 刘杰 刘传振 郑黎晓 骆翔宇 潘亮 汪小勇 徐中伟 《中国铁道科学》 EI CAS CSCD 北大核心 2023年第6期172-183,共12页
为克服Event-B方法在开发全新一代列车自主运行控制系统(Train Autonomous Circumambulate System,TACS)中所出现的建模复杂性问题,提出将抽象数据类型(Abstract Data Types,ADT)实例化与Event-B相结合的方法,对TACS进行形式化开发和验... 为克服Event-B方法在开发全新一代列车自主运行控制系统(Train Autonomous Circumambulate System,TACS)中所出现的建模复杂性问题,提出将抽象数据类型(Abstract Data Types,ADT)实例化与Event-B相结合的方法,对TACS进行形式化开发和验证。首先,根据TACS的需求以及案例研究等相关内容,提取TACS的功能需求和安全需求,并将功能需求和安全需求以非形式化的语言进行描述;然后,根据TACS的功能需求和安全需求进行模型精化层次的设计,避免因在抽象模型中建模复杂的需求而导致证明困难;最后,在模型中使用形式化语言Event-B对TACS的功能需求和安全需求进行建模并验证其正确性,且在建模过程中,利用ADT的抽象概念将轨道网络、轨道区域以及移动授权(Movement Authority,MA)等复杂系统组件在初始模型中指定组件的必要属性,且在后续系统建模过程必要的精化阶段引入组件的具体定义,以降低系统开发和证明的复杂度。结果表明:提出的方法有助于在早期开发阶段减少TACS中复杂的细节部分,使得证明义务成功率为100%,自动证明成功率占比83%,手动证明成功率仅占比仅17%,在简化证明义务的同时有效提高了自动化证明的占比。 展开更多
关键词 EVENT-B 抽象数据类型 精化策略 列车自主运行控制系统
下载PDF
自主运行控制模式电子地图技术研究 被引量：2
3
作者 刘栋青 刘天琦 +1 位作者 田宏达 张韦 《铁道技术标准（中英文）》 2021年第12期26-31,共6页
文章介绍了列车自主运行控制系统的核心架构以及针对此系统的车载电子地图设计方案和设备编号原则。列车自主运行控制系统取消了地面核心控制设备,并将其功能移植至VOBC子系统与地面STC子系统,车载设备根据实时接收到的地面安全控制中心... 文章介绍了列车自主运行控制系统的核心架构以及针对此系统的车载电子地图设计方案和设备编号原则。列车自主运行控制系统取消了地面核心控制设备,并将其功能移植至VOBC子系统与地面STC子系统,车载设备根据实时接收到的地面安全控制中心STC发送的行车信息自主计算移动授权,减少轨旁设备数量,减少车地之间数据通信的流程,从而在保证列车安全运行的同时提升运行效率,降低设备建设及维护成本。 展开更多
关键词 列车自主运行控制系统 电子地图 城市轨道交通
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部