基于交互式马尔可夫链的CTCS无线通信可靠性分析

• 作者: 田启川 谢雨飞
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: 列控系统 交互式马尔可夫链 无线通信 模型检验
• 年，卷（期）: 2020,（5）
• 所属期刊栏目: 铁道通信信号、信息化
• 页码范围: 84-90
• 页数: 7页
• 分类号: TP301|U284.48
• 字数: 5590字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2020.05.011

摘要

CTCS无线通信的可靠性与整个系统的稳定性和安全性紧密相关,对其进行建模与分析具有重要意义.利用交互式马尔可夫链对CTCS无线通信的可靠性进行了建模与分析,主要解决了CTCS无线通信中存在的信道延时、通信故障、网络故障等随机事件与确定动作的分隔问题,以及带有同步的并发操作的实现问题.定义了交互式马尔可夫链的相关语义和逻辑刻画,给出了基于交互式马尔可夫链的模型检验算法.分析结果表明:在具有修复机制和双网冗余结构的条件下,系统在规定时间内完成数据传输的概率大于99％,24 h内连续正常工作的概率大于95％,满足系统要求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	田启川	北京建筑大学电气与信息工程学院	14	30	4.0	5.0
2	谢雨飞	北京建筑大学电气与信息工程学院	2	1	1.0	1.0