【摘 要】
：
CTCS无线通信的可靠性与整个系统的稳定性和安全性紧密相关,对其进行建模与分析具有重要意义。利用交互式马尔可夫链对CTCS无线通信的可靠性进行了建模与分析,主要解决了CTCS
【基金项目】
：
国家自然科学基金(61703028),北京市属高校基本科研业务费(X18071,X19020)
论文部分内容阅读
CTCS无线通信的可靠性与整个系统的稳定性和安全性紧密相关,对其进行建模与分析具有重要意义。利用交互式马尔可夫链对CTCS无线通信的可靠性进行了建模与分析,主要解决了CTCS无线通信中存在的信道延时、通信故障、网络故障等随机事件与确定动作的分隔问题,以及带有同步的并发操作的实现问题。定义了交互式马尔可夫链的相关语义和逻辑刻画,给出了基于交互式马尔可夫链的模型检验算法。分析结果表明:在具有修复机制和双网冗余结构的条件下,系统在规定时间内完成数据传输的概率大于99%,24 h内连续正常工作的概率大于95%,满
其他文献
<正>1.玄参酱烧肝材料:玄参10克,猪肝100克,葱1段,姜1块,酱油1匙,米酒及麻油适量。做法:猪肝洗净切片,葱姜洗净切末;玄参泡水洗净放入锅中,倒入适量的水,中小火炖煮半个小时,
现行《公路钢筋混凝土及预应力混凝土桥涵设计规范》(简称《规范》)的偏心受压构件计算公式中,受拉钢筋的应力是不连续的,这对偏心受压构件的受压区高度、大小偏心判别及构件
作为CTCS-3级列控系统的核心安全功能,速度-距离模式曲线具有参数输入域规模大、故障模式复杂等特点,如何完备地测试列控车载设备速度-距离监控曲线功能异常困难。提出了一种
实施农业"接二连三"工程,推进农村一二三产业融合发展,是拓宽农民增收渠道、构建现代农业产业体系的重要举措,是推进农业供给侧结构性改革,加快转变农业发展方式必然要求。自
目的探讨左卡尼汀治疗重症肺炎所致心力衰竭患儿的临床效果。方法选取在我院治疗的90例重症肺炎所致心力衰竭患儿(2013年3月-2016年1月)作为研究对象,分为研究组和对照组各45
针对车身颜色识别、车标识别和多车辆跟踪问题,提出了一种基于YOLO的车辆信息检测和跟踪系统。使用YOLO来统一完成信息检测的工作,并在车辆检测的基础上,使用数据关联和卡尔