排序方式: 共有45条查询结果,搜索用时 0 毫秒
41.
基于SPN的CTCS无线通信形式化建模与分析 总被引:1,自引:0,他引:1
CTCS-4列车运行控制系统是基于无线通信传输信息的系统,其无线通信系统是一个动态、复杂的分布式系统,正确的形式化验证对于其性质和最终实现具有重要意义。本文主要考虑高速列车在移动闭塞区间条件下CTCS无线通信的形式化建模和可靠性分析,建立随机Petri网(SPN)表示的CTCS无线通信机制模型和列车与无线闭塞中心通信的GSM-R故障恢复模型,给出对通信故障定位的表示方法,并采用TimeNET仿真工具对GSM-R通信系统的可靠性进行分析得出相应结论。分析结果表明,列车在500 km/h的速度下,越区切换成功概率为99.45%,连接丢失概率为10-2/h。最后,本文将分析结果与GSM-R的技术标准进行比较,说明其可靠性满足规范要求。 相似文献
42.
43.
铁路无线通信系统时间同步网络,是保障行车安全和提高铁路运营效率的重要基础。针对下一代高速铁路LTE-R自身全IP化架构在使用精确时钟PTP时间同步协议过程中易受到ARP攻击的问题,提出基于随机Petri网(SPN)的LTE-R时间同步网协议脆弱性分析方法。建立了ARP攻击状态下LTE-R时间同步网协议脆弱性分析SPN模型;通过马尔科夫链同构的方法,得到ARP攻击下LTE-R三级时钟节点实施速率与PTP协议同步正常、异常之间的关系曲线;定量得到了影响LTE-R时间同步网协议脆弱性的关键因素。研究结果为GSM-R时间同步网络向LTE-R安全演进提供了一定的理论参考依据。 相似文献
44.
45.
LTE-R作为下一代高速铁路无线通信系统,保持时间同步对于高速铁路行车安全至关重要。针对现有时间同步方法仅考虑随机噪声,而忽略LTE-R无线信道多径衰落、多普勒频移等对时钟同步过程的影响,导致主从时钟偏移估计不准确的问题,提出一种基于卡尔曼滤波的高速铁路时间同步网时间补偿方法:建立LTE-R下主从时钟之间相位、频率偏移的状态转移方程;构建引入伯努利随机变量的时钟相位、频率偏移观测方程;利用改进的卡尔曼滤波算法得到最优时钟偏移估计值;使用本方法实现对LTE-R时间同步误差的补偿;通过实验仿真,得到LTE-R下信道多径衰落、多普勒频移、信噪比、列车车速等对高速铁路时间同步的影响,并实现对不同高铁运行场景下时间同步偏差的定量分析。结果表明:本方法能够有效消除LTE-R无线信道时钟偏差,与其他补偿方法相比,具有更好的稳定性和鲁棒性。 相似文献