期刊导航
期刊开放获取
重庆大学
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于交换式以太网安全通信协议的模型和仿真研究
被引量:
15
1
作者
张岩
唐涛
+1 位作者
马连川
徐田华
《铁道学报》
EI
CAS
CSCD
北大核心
2010年第3期43-48,共6页
在基于通信的列车控制系统中,区域控制中心ZC(Zone Controller)子系统负责向列车发布移动授权,对于保障列车安全高效运营具有重要作用。为提高ZC的可靠性,设计中通常会使用冗余结构,其内部的安全通信协议就成为系统成败的关键。本文介...
在基于通信的列车控制系统中,区域控制中心ZC(Zone Controller)子系统负责向列车发布移动授权,对于保障列车安全高效运营具有重要作用。为提高ZC的可靠性,设计中通常会使用冗余结构,其内部的安全通信协议就成为系统成败的关键。本文介绍构建于UDP协议之上的ZC内部安全通信协议的设计与实现,利用OP-NET网络仿真工具对该协议进行建模,并模拟VxWorks实时操作系统的多任务调度环境,构建基于交换式以太网的通信性能仿真研究平台。根据ZC的实际运行情况,对通信过程进行仿真,分析了发送窗口对报文最大时延的影响。仿真结果表明,适当的发送窗口数量可以兼顾通信效率和时间精度。
展开更多
关键词
基于通信的列车控制系统
交换式以太网
安全通信协议
OPNET
最大时延
下载PDF
职称材料
基于位置的CBTC系统无线局域网切换机制
被引量:
12
2
作者
蒋海林
步兵
+1 位作者
郜春海
唐涛
《铁道学报》
EI
CAS
CSCD
北大核心
2011年第10期51-56,共6页
目前的城市轨道交通CBTC车地通信系统大多采用无线局域网技术。针对同时存在无线自由波和漏泄波导车地通信技术的CBTC无线局域网车地通信系统,提出一种基于位置的无线局域网切换机制。在无线自由波覆盖区段,移动台在确定的位置直接发起...
目前的城市轨道交通CBTC车地通信系统大多采用无线局域网技术。针对同时存在无线自由波和漏泄波导车地通信技术的CBTC无线局域网车地通信系统,提出一种基于位置的无线局域网切换机制。在无线自由波覆盖区段,移动台在确定的位置直接发起重关联请求,而不需要进行探询扫描新AP的过程。而在漏泄波导覆盖区段,通过改变移动台扫描的信道数和最大信道扫描驻留时间,同样明显减小了切换时延。该方法不仅适用于无线自由波的覆盖区域,也可以应用于漏泄波导覆盖的区域,能够减少CBTC车地通信系统中的切换时延。
展开更多
关键词
CBTC
无线局域网
硬切换
接力切换
基于位置的切换
下载PDF
职称材料
基于微分动态逻辑的无线闭塞中心交接协议建模与验证
被引量:
7
3
作者
刘金涛
唐涛
+1 位作者
赵林
刘玉鹏
《中国铁道科学》
EI
CAS
CSCD
北大核心
2012年第5期98-104,共7页
ETCS-2级列车运行控制系统呈现复杂的混成性。按照无线闭塞中心(RBC)交接协议的内容,建立RBC交接协议的UML图;基于微分动态逻辑理论,从混成系统角度对ETCS-2级列控系统规范中的RBC交接协议进行建模。建立的RBC交接协议模型包括列车子模...
ETCS-2级列车运行控制系统呈现复杂的混成性。按照无线闭塞中心(RBC)交接协议的内容,建立RBC交接协议的UML图;基于微分动态逻辑理论,从混成系统角度对ETCS-2级列控系统规范中的RBC交接协议进行建模。建立的RBC交接协议模型包括列车子模型、移交子模型和接收子模型。根据模型的性质,构造微分不变式,运用证明工具KeYmaera验证模型的安全性和活性。结合专业知识对关键性的约束条件进行分析并将其反馈至模型,实现模型的精化。在模型验证过程中,发现了交接安全及交接效率的参数约束条件,由此参数约束条件可知,RBC交接效率受RBC离散控制时间和列车运行状况的共同影响。
展开更多
关键词
列车控制系统
交接协议
混成系统
UML图
微分动态逻辑
下载PDF
职称材料
CBTC系统数据管理过程分析和设计
被引量:
1
4
作者
王森
黄友能
王伟
《都市快轨交通》
北大核心
2013年第3期13-16,共4页
阐述基于通信的列车自动控制(CBTC)系统的功能,讨论其系统数据所具有的空间性、一致性和关联性等特点。针对CBTC系统数据的特点,提出一种基于数据供应链(data supply chain,DSC)对数据管理过程进行分析和设计的方法,给出具体设计过程的...
阐述基于通信的列车自动控制(CBTC)系统的功能,讨论其系统数据所具有的空间性、一致性和关联性等特点。针对CBTC系统数据的特点,提出一种基于数据供应链(data supply chain,DSC)对数据管理过程进行分析和设计的方法,给出具体设计过程的7个步骤,并讨论该方法的可用性和可行性。
展开更多
关键词
基于通信的列车自动控制
数据管理
安全苛求系统
数据供应链
城市轨道交通
下载PDF
职称材料
题名
基于交换式以太网安全通信协议的模型和仿真研究
被引量:
15
1
作者
张岩
唐涛
马连川
徐田华
机构
北京交通大学
轨道
交通
控制
与安全国家
重点
实验室
北京交通大学城市轨道交通自动化与控制北京市重点实验室
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2010年第3期43-48,共6页
基金
国家自然科学基金资助项目(60634010)
教育部创新团队发展计划项目(TRT0605)
文摘
在基于通信的列车控制系统中,区域控制中心ZC(Zone Controller)子系统负责向列车发布移动授权,对于保障列车安全高效运营具有重要作用。为提高ZC的可靠性,设计中通常会使用冗余结构,其内部的安全通信协议就成为系统成败的关键。本文介绍构建于UDP协议之上的ZC内部安全通信协议的设计与实现,利用OP-NET网络仿真工具对该协议进行建模,并模拟VxWorks实时操作系统的多任务调度环境,构建基于交换式以太网的通信性能仿真研究平台。根据ZC的实际运行情况,对通信过程进行仿真,分析了发送窗口对报文最大时延的影响。仿真结果表明,适当的发送窗口数量可以兼顾通信效率和时间精度。
关键词
基于通信的列车控制系统
交换式以太网
安全通信协议
OPNET
最大时延
Keywords
communication-based train control system
switched Ethernets
security communication protocol
OPNET
maximum delay
分类号
TP393 [自动化与计算机技术—计算机应用技术]
U283 [交通运输工程—交通信息工程及控制]
下载PDF
职称材料
题名
基于位置的CBTC系统无线局域网切换机制
被引量:
12
2
作者
蒋海林
步兵
郜春海
唐涛
机构
北京交通大学城市轨道交通自动化与控制北京市重点实验室
北京交通大学
轨道
交通
控制
与安全国家
重点
实验室
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2011年第10期51-56,共6页
基金
国家自然科学基金项目(61132003)
文摘
目前的城市轨道交通CBTC车地通信系统大多采用无线局域网技术。针对同时存在无线自由波和漏泄波导车地通信技术的CBTC无线局域网车地通信系统,提出一种基于位置的无线局域网切换机制。在无线自由波覆盖区段,移动台在确定的位置直接发起重关联请求,而不需要进行探询扫描新AP的过程。而在漏泄波导覆盖区段,通过改变移动台扫描的信道数和最大信道扫描驻留时间,同样明显减小了切换时延。该方法不仅适用于无线自由波的覆盖区域,也可以应用于漏泄波导覆盖的区域,能够减少CBTC车地通信系统中的切换时延。
关键词
CBTC
无线局域网
硬切换
接力切换
基于位置的切换
Keywords
CBTC
wireless LAN
hard handover
baton handover
location-based handover
分类号
U285.5 [交通运输工程—交通信息工程及控制]
下载PDF
职称材料
题名
基于微分动态逻辑的无线闭塞中心交接协议建模与验证
被引量:
7
3
作者
刘金涛
唐涛
赵林
刘玉鹏
机构
北京交通大学
轨道
交通
控制
与安全国家
重点
实验室
北京交通大学城市轨道交通自动化与控制北京市重点实验室
出处
《中国铁道科学》
EI
CAS
CSCD
北大核心
2012年第5期98-104,共7页
基金
国家"八六三"计划项目(2011AA010104)
国家自然科学基金委员会与铁道部联合资助项目(60634010
+3 种基金
60736047)
国家重点实验室自主课题基金资助项目(RCS2008ZQ002
RCS2008ZZ005)
北京交通大学-泰雷兹集团国际合作项目(M&V-SCHS)
文摘
ETCS-2级列车运行控制系统呈现复杂的混成性。按照无线闭塞中心(RBC)交接协议的内容,建立RBC交接协议的UML图;基于微分动态逻辑理论,从混成系统角度对ETCS-2级列控系统规范中的RBC交接协议进行建模。建立的RBC交接协议模型包括列车子模型、移交子模型和接收子模型。根据模型的性质,构造微分不变式,运用证明工具KeYmaera验证模型的安全性和活性。结合专业知识对关键性的约束条件进行分析并将其反馈至模型,实现模型的精化。在模型验证过程中,发现了交接安全及交接效率的参数约束条件,由此参数约束条件可知,RBC交接效率受RBC离散控制时间和列车运行状况的共同影响。
关键词
列车控制系统
交接协议
混成系统
UML图
微分动态逻辑
Keywords
Hybrid systems
Specifications
分类号
U284.482 [交通运输工程—交通信息工程及控制]
下载PDF
职称材料
题名
CBTC系统数据管理过程分析和设计
被引量:
1
4
作者
王森
黄友能
王伟
机构
北京交通大学
电子信息工程学院
北京交通大学城市轨道交通自动化与控制北京市重点实验室
北京交通大学
轨道
交通
运行
控制
系统国家工程研究中心
出处
《都市快轨交通》
北大核心
2013年第3期13-16,共4页
基金
北京市科委项目(D111100000411001)
中央高校基本科研业务费(2011JBZ014)
中央高校基本科研业务费(2011JBZ004)
文摘
阐述基于通信的列车自动控制(CBTC)系统的功能,讨论其系统数据所具有的空间性、一致性和关联性等特点。针对CBTC系统数据的特点,提出一种基于数据供应链(data supply chain,DSC)对数据管理过程进行分析和设计的方法,给出具体设计过程的7个步骤,并讨论该方法的可用性和可行性。
关键词
基于通信的列车自动控制
数据管理
安全苛求系统
数据供应链
城市轨道交通
Keywords
CBTC
data management
harsh security system
data supply chain
URT
分类号
U231.6 [交通运输工程—道路与铁道工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于交换式以太网安全通信协议的模型和仿真研究
张岩
唐涛
马连川
徐田华
《铁道学报》
EI
CAS
CSCD
北大核心
2010
15
下载PDF
职称材料
2
基于位置的CBTC系统无线局域网切换机制
蒋海林
步兵
郜春海
唐涛
《铁道学报》
EI
CAS
CSCD
北大核心
2011
12
下载PDF
职称材料
3
基于微分动态逻辑的无线闭塞中心交接协议建模与验证
刘金涛
唐涛
赵林
刘玉鹏
《中国铁道科学》
EI
CAS
CSCD
北大核心
2012
7
下载PDF
职称材料
4
CBTC系统数据管理过程分析和设计
王森
黄友能
王伟
《都市快轨交通》
北大核心
2013
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部