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

摘要：

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

关键词：列控系统、交互式马尔可夫链、无线通信、模型检验

所属期刊栏目：42

分类号：TP301;U284.48(计算技术、计算机技术)

资助基金：国家自然科学基金;北京市属高校基本科研业务费

在线出版日期：2020-05-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：84-90