期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
航天器自主运行控制与智能信息处理技术
1
作者
李智斌
李果
《控制工程（北京）》
2003年第6期8-15,共8页
在阐述航天器自主运行满足任务要求、提高系统性能、降低运行成本等方面作用的基础上,从系统的体系结构出发,按照分层递阶型、包容型、混合型三种基本形式和多智能体结构的复杂形式,分别讨论对一般轨道飞行航天器、多个航天器所组成的...
在阐述航天器自主运行满足任务要求、提高系统性能、降低运行成本等方面作用的基础上,从系统的体系结构出发,按照分层递阶型、包容型、混合型三种基本形式和多智能体结构的复杂形式,分别讨论对一般轨道飞行航天器、多个航天器所组成的空间网络、以月球车为代表的星球表面探测系统和空间机器人等几类不同对象进行自主运行控制的特点,最后论述自主运行控制对智能信息处理技术的基本需求并提出有关的关键技术。
展开更多
关键词
航天器
自主
运行
控制
智能信息处理
AGENT
多智能体结构
星球表面探测系统
空间机器人
地面遥测遥控
下载PDF
职称材料
基于Event-B与ADT的TACS形式化开发方法与验证
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
职称材料
基于直线特征的铁路场景红外与可见光图像配准方法研究
被引量：
1
3
作者
郭保青
周杏芳
许鑫龙
《铁道技术标准（中英文）》
2022年第1期1-7,共7页
列车运行环境状态智能感知是实现铁路列车自主运行控制的基础,而异源图像配准是全天候条件下多源融合感知的前提。本文针对红外与可见光图像多源融合进行铁路全天候环境感知的问题,提出了铁路场景下基于直线特征的红外与可见光图像配准...
列车运行环境状态智能感知是实现铁路列车自主运行控制的基础,而异源图像配准是全天候条件下多源融合感知的前提。本文针对红外与可见光图像多源融合进行铁路全天候环境感知的问题,提出了铁路场景下基于直线特征的红外与可见光图像配准算法。首先利用极向投影法提取图像钢轨直线,然后结合直线特征构建描述符,定义匹配分数公式精确匹配同名直线,实现粗匹配;基于粗匹配产生的候选框提取多方向直线特征进行精匹配;最后根据匹配结果计算模型变换参数完成配准。实验结果表明,该算法计算量小,速度快,配准精度高,为后续的环境感知和目标识别奠定了基础。
展开更多
关键词
列车
自主
运行
控制
铁路环境
红外与可见光图像
图像配准
直线检测
下载PDF
职称材料
自主运行控制模式电子地图技术研究
被引量：
2
4
作者
刘栋青
刘天琦
+1 位作者
田宏达
张韦
《铁道技术标准（中英文）》
2021年第12期26-31,共6页
文章介绍了列车自主运行控制系统的核心架构以及针对此系统的车载电子地图设计方案和设备编号原则。列车自主运行控制系统取消了地面核心控制设备,并将其功能移植至VOBC子系统与地面STC子系统,车载设备根据实时接收到的地面安全控制中心...
文章介绍了列车自主运行控制系统的核心架构以及针对此系统的车载电子地图设计方案和设备编号原则。列车自主运行控制系统取消了地面核心控制设备,并将其功能移植至VOBC子系统与地面STC子系统,车载设备根据实时接收到的地面安全控制中心STC发送的行车信息自主计算移动授权,减少轨旁设备数量,减少车地之间数据通信的流程,从而在保证列车安全运行的同时提升运行效率,降低设备建设及维护成本。
展开更多
关键词
列车
自主
运行
控制
系统
电子地图
城市轨道交通
下载PDF
职称材料
题名
航天器自主运行控制与智能信息处理技术
1
作者
李智斌
李果
出处
《控制工程（北京）》
2003年第6期8-15,共8页
基金
国家自然科学基金资助项目(90205008)
973课题(2002CB312205)
文摘
在阐述航天器自主运行满足任务要求、提高系统性能、降低运行成本等方面作用的基础上,从系统的体系结构出发,按照分层递阶型、包容型、混合型三种基本形式和多智能体结构的复杂形式,分别讨论对一般轨道飞行航天器、多个航天器所组成的空间网络、以月球车为代表的星球表面探测系统和空间机器人等几类不同对象进行自主运行控制的特点,最后论述自主运行控制对智能信息处理技术的基本需求并提出有关的关键技术。
关键词
航天器
自主
运行
控制
智能信息处理
AGENT
多智能体结构
星球表面探测系统
空间机器人
地面遥测遥控
分类号
V448.131 [航空宇航科学与技术—飞行器设计]
下载PDF
职称材料
题名
基于Event-B与ADT的TACS形式化开发方法与验证
2
作者
陈祖希
牛传军
梅萌
刘杰
刘传振
郑黎晓
骆翔宇
潘亮
汪小勇
徐中伟
机构
华侨大学计算机科学与技术学院
同济大学电子与信息工程学院
中国科学院软件研究所
卡斯柯信号有限公司城市轨道交通系统集成部
出处
《中国铁道科学》
EI
CAS
CSCD
北大核心
2023年第6期172-183,共12页
基金
国家重点研发计划项目(2022YFB430050461802134)
福建省自然科学基金资助项目(2021J01320)
上海市自然科学基金资助项目(22ZR1422200)。
文摘
为克服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
抽象数据类型
精化策略
列车
自主
运行
控制
系统
Keywords
Event-B
Abstract Data Type
Refinement strategy
Train Autonomous Control System
分类号
U284.48 [交通运输工程—交通信息工程及控制]
下载PDF
职称材料
题名
基于直线特征的铁路场景红外与可见光图像配准方法研究
被引量：
1
3
作者
郭保青
周杏芳
许鑫龙
机构
北京交通大学
出处
《铁道技术标准（中英文）》
2022年第1期1-7,共7页
基金
国家能源集团科技开发项目(GJNY-21-65)。
文摘
列车运行环境状态智能感知是实现铁路列车自主运行控制的基础,而异源图像配准是全天候条件下多源融合感知的前提。本文针对红外与可见光图像多源融合进行铁路全天候环境感知的问题,提出了铁路场景下基于直线特征的红外与可见光图像配准算法。首先利用极向投影法提取图像钢轨直线,然后结合直线特征构建描述符,定义匹配分数公式精确匹配同名直线,实现粗匹配;基于粗匹配产生的候选框提取多方向直线特征进行精匹配;最后根据匹配结果计算模型变换参数完成配准。实验结果表明,该算法计算量小,速度快,配准精度高,为后续的环境感知和目标识别奠定了基础。
关键词
列车
自主
运行
控制
铁路环境
红外与可见光图像
图像配准
直线检测
Keywords
autonomous train control
railway environment
infrared and visible images
image registration
linedetection
分类号
TP391.4 [自动化与计算机技术—计算机应用技术]
U298 [自动化与计算机技术—计算机科学与技术]
下载PDF
职称材料
题名
自主运行控制模式电子地图技术研究
被引量：
2
4
作者
刘栋青
刘天琦
田宏达
张韦
机构
北京全路通信信号研究设计院集团有限公司
出处
《铁道技术标准（中英文）》
2021年第12期26-31,共6页
文摘
文章介绍了列车自主运行控制系统的核心架构以及针对此系统的车载电子地图设计方案和设备编号原则。列车自主运行控制系统取消了地面核心控制设备,并将其功能移植至VOBC子系统与地面STC子系统,车载设备根据实时接收到的地面安全控制中心STC发送的行车信息自主计算移动授权,减少轨旁设备数量,减少车地之间数据通信的流程,从而在保证列车安全运行的同时提升运行效率,降低设备建设及维护成本。
关键词
列车
自主
运行
控制
系统
电子地图
城市轨道交通
Keywords
Train Autonomous Circumambulation System
Electronic Map
Urban Railway Transit
分类号
U284.48 [交通运输工程—交通信息工程及控制]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
航天器自主运行控制与智能信息处理技术
李智斌
李果
《控制工程（北京）》
2003
0
下载PDF
职称材料
2
基于Event-B与ADT的TACS形式化开发方法与验证
陈祖希
牛传军
梅萌
刘杰
刘传振
郑黎晓
骆翔宇
潘亮
汪小勇
徐中伟
《中国铁道科学》
EI
CAS
CSCD
北大核心
2023
0
下载PDF
职称材料
3
基于直线特征的铁路场景红外与可见光图像配准方法研究
郭保青
周杏芳
许鑫龙
《铁道技术标准（中英文）》
2022
1
下载PDF
职称材料
4
自主运行控制模式电子地图技术研究
刘栋青
刘天琦
田宏达
张韦
《铁道技术标准（中英文）》
2021
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
