×

兹马思-数学第一资源

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

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