公共文化服务平台

共 1 条记录，以下是 1-1

全选清除导出

排序方式：

基于有色Petri网的ETCS无线通信可靠性分析被引量：29: 2008年; ETCS-3级(欧洲列车运行控制3级系统)无线通信系统是一个动态、复杂的分布式系统,其性质和最终实现正确性的形式化验证具有重要意义。本文利用分层赋时有色Petri(CPN)网,综合随机信道恶化、越区切换、信道连接中断等无线信道失效模型,提出ETCS无线通信信道模型的分层结构,定义信道失效模型和概率传输延时,分析信道模型和数据传输的时间特性。分析结果表明,数据帧传输延时小于20s的通信可靠性为99.97%。因此,相继运行列车时距为1min时,数据帧传输延时小于20s的通信可靠性满足ETCS规范要求。; 徐田华赵红礼唐涛; 关键词：ETCS 可靠性分析有色PETRI网无线通信

全选清除导出

共1页<1>

铁道部科技研究开发计划(2005K002F)