【摘 要】
：
CTCS无线通信的可靠性与整个系统的稳定性和安全性紧密相关,对其进行建模与分析具有重要意义。利用交互式马尔可夫链对CTCS无线通信的可靠性进行了建模与分析,主要解决了CTCS
【基金项目】
：
国家自然科学基金(61703028),北京市属高校基本科研业务费(X18071,X19020)
论文部分内容阅读
CTCS无线通信的可靠性与整个系统的稳定性和安全性紧密相关,对其进行建模与分析具有重要意义。利用交互式马尔可夫链对CTCS无线通信的可靠性进行了建模与分析,主要解决了CTCS无线通信中存在的信道延时、通信故障、网络故障等随机事件与确定动作的分隔问题,以及带有同步的并发操作的实现问题。定义了交互式马尔可夫链的相关语义和逻辑刻画,给出了基于交互式马尔可夫链的模型检验算法。分析结果表明:在具有修复机制和双网冗余结构的条件下,系统在规定时间内完成数据传输的概率大于99%,24 h内连续正常工作的概率大于95%,满
其他文献
<正>1.玄参酱烧肝材料:玄参10克,猪肝100克,葱1段,姜1块,酱油1匙,米酒及麻油适量。做法:猪肝洗净切片,葱姜洗净切末;玄参泡水洗净放入锅中,倒入适量的水,中小火炖煮半个小时,
顶板支护新概念【美】约翰Ｃ斯坦库斯塞德Ｓ潘尽管在矿山顶板控制中取得了许多进步，但至今还没有订出确定锚杆长度、张力之类各参数的精确设计标准。吉马尔公司和西弗吉尼亚大
现行《公路钢筋混凝土及预应力混凝土桥涵设计规范》(简称《规范》)的偏心受压构件计算公式中,受拉钢筋的应力是不连续的,这对偏心受压构件的受压区高度、大小偏心判别及构件
2008年7月13日“中国故事”奥运祥云小屋在奥林匹克公园正式揭幕。踏着奥林匹克公园绿茵的草地，来到台湾馆的门前，掀起小屋门帘。耀眼的金色多宝格，是中国故事中台湾篇章的序言
文中简要阐述铝件电泳涂装的前处理工艺，涂料的选择，涂装工艺和设备，工艺管理和疵病防治。
5月20日下午，江苏发展大会重要内容之一的“侨智侨力创未来”专题论坛，在江苏南京侨梦苑举行。江苏省政协主席蒋定之，江苏省人大常委会副主任刘永忠，江苏省人比政府副省长马秋林，
作为CTCS-3级列控系统的核心安全功能,速度-距离模式曲线具有参数输入域规模大、故障模式复杂等特点,如何完备地测试列控车载设备速度-距离监控曲线功能异常困难。提出了一种
实施农业"接二连三"工程,推进农村一二三产业融合发展,是拓宽农民增收渠道、构建现代农业产业体系的重要举措,是推进农业供给侧结构性改革,加快转变农业发展方式必然要求。自
目的探讨左卡尼汀治疗重症肺炎所致心力衰竭患儿的临床效果。方法选取在我院治疗的90例重症肺炎所致心力衰竭患儿(2013年3月-2016年1月)作为研究对象,分为研究组和对照组各45
针对车身颜色识别、车标识别和多车辆跟踪问题,提出了一种基于YOLO的车辆信息检测和跟踪系统。使用YOLO来统一完成信息检测的工作,并在车辆检测的基础上,使用数据关联和卡尔