×

兹马思-数学第一资源

列控系统中数据通信系统的可靠性分析。(英语) Zbl 1177.90075
总结:基于通信的列车控制(CBTC)系统是以移动通信为基础,克服固定闭塞,以提高轨道利用率和列车安全性。列车与轨旁设备之间的数据通信系统(DCS)是CBTC系统安全、高效运行的关键因素。需要对各种传输条件下的可靠性进行建模和评估。本文针对基于ieee802.11标准的DCS系统,建立了一个随机奖赏网(SRN)模型,该模型以简洁的方式捕捉了所有相关的故障和故障恢复行为。我们比较了有接入点(AP)和天线冗余配置的DCS的可靠性和可用性。我们还定量地评估和比较了在一个无线小区内不同列车速度和列车数的三种DCS配置的帧丢失概率。采用不动点迭代法简化分析。数值结果表明,在完全冗余配置下,系统的可靠性、可用性和帧丢失概率指标都有显著提高。

理学硕士:
90B18号 运筹学中的通信网络
90B25型 运筹学中的可靠性、可用性、维护、检验
93C95型 控制理论中的应用模型
软件:
SPNP公司;谦虚
PDF格式 双歧杆菌 引用
全文: 内政部
参考文献:
[1] Jansen L、Meyer zu Hörste M、Schnieder E。欧洲列车控制系统建模中的技术问题。第一届CPN研讨会论文集。丹麦:奥胡斯大学,1998。103–115
[2] Meyer zu Hörste M,施耐德E。列车控制系统的Petri网建模与仿真。In:Wing J M,Woodcock J,Davies J,编辑。FM'99形式方法。计算系统发展中形式方法世界大会。柏林:斯普林格·韦拉格,1999年。1867-1883年
[3] 达姆W,克洛泽J。使用STATMATE验证环境验证无线电信号系统。表格方法体系,2001,19(2):121–141·Zbl 0990.68568
[4] Chiappini A,Cimatti A,Porzia C等。安全关键型列车管理系统的正式规范和开发。第18届国际计算机安全会议论文集。可靠性和安全性。柏林:斯普林格·韦拉格,1999年。410-419
[5] Zimmermann A和Hommel G。ETCS实时通信与运行的建模与评价。系统软件,2005,77(1):47–54·Zbl 05434140
[6] Hermanns H,Jansen D N,Usenko Y S。从StoCharts到适度:列车无线电通信可靠性比较分析。2005年第五届软件与性能国际研讨会论文集。纽约:ACM出版社,2005.13-23
[7] 比安奇G。ieee802.11分布式协调功能的性能分析。IEEE J Sel Area Commun,2000年,18(3):535–547
[8] 海因德尔A,德国R。基于随机Petri网的ieee802.11无线局域网性能建模。执行评估,2001,44(1-4):139-164·Zbl 1013.68009
[九] Hirel C、Tuffin B和Trivedi K S。随机Petri网。版本6.0。第11届国际计算机技术与性能评估会议记录。柏林:斯普林格·韦拉格,2000年。354-357·Zbl 0970.68681
[10] 陈志明,陈志明,等。利用随机报酬网自动产生及分析马尔可夫报酬模型。线性代数,马尔可夫链与排队模型,C。迈耶和R。普莱蒙斯编辑,斯普林格·韦拉格,1993年,145-191·中银0799.60085
[11] 彼得伦J L。Petri网理论与系统建模。普伦蒂斯·霍尔,1981年
[12] 崔维迪,穆帕拉J K,伍利特S P,等。复合材料性能与可靠性分析。执行评估,2005,14(3–4):197–215·Zbl 0757.90028
[13] 高考语文。随机过程简介。太平洋格罗夫:杜克斯伯里出版社,1997年·Zbl 0891.68123
[14] 奥尔特加J M,莱茵堡W C。多变量非线性方程组的迭代解法。纽约:学术出版社,1970年·中银0241.65046
[15] 李克平,高志勇,杨立新。基于元胞自动机的列车控制系统建模与仿真。中国科学与技术科学,2007,50(6):765–773·Zbl 1180.90055
[16] 佩考德J,考特尼T,桑德斯W H。Mobius:一个集成的离散事件建模环境。生物信息,2007,23(24):3412–3414·Zbl 05325224
[17] I S部门。802.11:IEEE无线局域网介质访问控制(MAC)标准和物理层(PHY)规范。1999年版,IEEE标准协会
[18] 惠托姆F。轨道交通行业无线网络技术与信令的整合。技术报告,阿尔卡特电信评论公司,阿尔卡特,巴黎,2003年
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。