基于有色Petri网的ETCS无线通信可靠性分析

来源 :铁道学报 | 被引量 : 0次 | 上传用户:qzawxsecd829
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
ETCS-3级(欧洲列车运行控制3级系统)无线通信系统是一个动态、复杂的分布式系统,其性质和最终实现正确性的形式化验证具有重要意义。本文利用分层赋时有色Petri(CPN)网,综合随机信道恶化、越区切换、信道连接中断等无线信道失效模型,提出ETCS无线通信信道模型的分层结构,定义信道失效模型和概率传输延时,分析信道模型和数据传输的时间特性。分析结果表明,数据帧传输延时小于20s的通信可靠性为99.97%。因此,相继运行列车时距为1min时,数据帧传输延时小于20s的通信可靠性满足ETCS规范要求。
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
<正>最近,俄罗斯专家通过观察发现,不同种类的海豚科动物能组成一个相互包容的群体,并形成一种复杂而有趣的“社会关系”。莫斯科海豚馆内有同属海豚科的宽吻海豚和白鲸。前
从会计诚信的含义入手,分析了会计诚信危机形成的原因,并提出提高会计诚信水平的途径。
机动车交通事故是一个世界性的主要问题,它严重威胁人的生命和健康,对社会经济也造成严重损失,因此提高耐撞性防护已经成为设计和试验各种类型车辆的一个挑战性课题。车身前部的
7月3日,研祥集团南京新品推介会沙龙及大型联谊拓展活动在中山大厦盛大开幕。研祥专家向与会者介绍了数款08新品和产品应用解决方案。3U Pentium—M处理器级主控板CPC-3711CL2
现阶段我国食品行业食品欺诈行为突出,其中包括违法使用农、兽药,大量滥用食品添加剂及掺杂非食用物质等问题。食品欺诈检测与鉴别受到重视,对液相色谱-高分辨质谱联用技术的
北京普源精电科技有限公司(RIGOL)将在“2008年春季全国高教仪器设备展示会”上全面亮相,进行面向教育用户的“创新互联99套餐”系列促销活动。为真情回报教育用户,RIGOL推出A、B
<正> 1996年7月中、下旬,天山山区及北天山一带因气温突然上升和连降大雨.致使山洪暴发,河水猛涨,许多河流发生了历史上罕见的特大洪水,水库频频告急(其中2座水库失事,4座水
由全球高端工业计算机CompactPCI/PXI技术领导厂商凌华科技主办的第2届“成就杯”有奖征文暨“金点子”有奖征集活动于近日在北京落下帷幕。此次活动受到全国各地新老用户及广
伊犁各灌区年引水量均水少,但由于土层薄,纵坡大,各级渠道又基本为土渠,渗漏冲刷严重,干支两级渠道平均有效利用系数0.434,因而往往导致农作物因旱减产,为建设节水社会型社会经济发展模式