基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
CTCS-3级列控系统的无线通信系统是一个复杂、随机的分布式系统,无线通信系统为列控系统车载和地面设备提供安全相关信息交互,因此采用正确有效的方法对其进行建模和可靠性分析具有重要意义.本文根据GSM-R网络的QoS要求,建立了无线通信系统的概率模型,采用概率模型检验工具PRISM对概率模型进行描述和可靠性分析,计算了无线通信系统的稳态概率,并分析了不同速度条件对无线通信的可靠性的影响.结果表明,当无线小区平均间距为3 km,列车运行速度为300 km/h时,无线通信系统处于已连接状态的概率为0.991;随着列车运行速度的增大,无线通信系统处于已连接状态的概率下降.
推荐文章
基于SimEvents/Stateflow的CTCS-3级列控系统车地无线通信子系统建模与分析
列车控制系统
车地无线通信系统
安全连接建立时间
无线应用消息传输延迟时间
CTCS-3列控系统RBC切换的形式化建模、分析与验证
CTCS-3列控系统
RBC切换
通信协议
形式化建模
Petri网
分析与验证
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于概率模型检验的CTCS-3级无线通信建模与分析
来源期刊 北京交通大学学报 学科 交通运输
关键词 CTCS-3级无线通信 概率模型检验 建模 可靠性分析
年,卷(期) 2014,(2) 所属期刊栏目 电子信息工程
研究方向 页码范围 37-41
页数 5页 分类号 U238.2|TP301
字数 3141字 语种 中文
DOI 10.11860/j.issn.1673-0291.2014.02.07
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 赵会兵 北京交通大学电子信息工程学院 35 337 10.0 16.0
2 全宏宇 北京交通大学电子信息工程学院 8 96 5.0 8.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (6)
共引文献  (28)
参考文献  (3)
节点文献
引证文献  (1)
同被引文献  (0)
二级引证文献  (0)
2006(1)
  • 参考文献(0)
  • 二级参考文献(1)
2008(2)
  • 参考文献(1)
  • 二级参考文献(1)
2009(5)
  • 参考文献(1)
  • 二级参考文献(4)
2011(1)
  • 参考文献(1)
  • 二级参考文献(0)
2014(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2018(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
CTCS-3级无线通信
概率模型检验
建模
可靠性分析
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
北京交通大学学报
双月刊
1673-0291
11-5258/U
大16开
北京西直门外上园村3号
1975
chi
出版文献量(篇)
3626
总下载数(次)
7
总被引数(次)
38401
论文1v1指导