共查询到10条相似文献,搜索用时 15 毫秒
1.
2.
3.
基于SPN的越区切换模型分析 总被引:3,自引:1,他引:2
CTCS-3列车运行控制系统是中国列车控制系统(CTCS)的重要组成部分之一,它采用GSM R实现地面一列车间连续、双向的安全信息的无线传输.对于GSM-R而言,移动台的越区切换必然引起通信连接的暂时中断.由于安全数据传输直接影响行车安全,为保证其传输的可靠性,必然要求更短的切换时间和更高的切换成功率.本文研究安全数据通信在越区切换时的传输可靠性,并对越区切换过程进行随机Petri网的建模和分析.给出列车速度与越区切换成功率的关系,以及列车在350km/h的速度下,越区切换时间与越区切换成功率之间的关系.最后,本文将分析结果与CTCS-3需求标准进行了比较,说明其可以满足要求. 相似文献
4.
系统仿真技术对交通系统智能控制的研究与发展有着重要意义.交通网仿真是复现交通流的时间空间变化的技术,交通网仿真模型的建立和仿真实验系统的开发是交通网仿真研究的两个核心内容.铁路交通网仿真是一个涉及连续和离散仿真行为的混合仿真系统,具有动态及并发特征.本文讨论了用面向对象思想进行铁路交通网仿真的过程与方法.作者认为选用Petri网建立仿真模型可以很好地描述铁路交通网的静态属性、动态行为和环境模拟.文中给出了用Petri网建模的实例.最后介绍了铁路交通网仿真系统的框架结构和关键技术. 相似文献
5.
铁路信号控制逻辑的有色Petri网描述方法 总被引:1,自引:1,他引:0
铁路信号逻辑控制关系的形式化描述对实现铁路信号设备计算机控制系统的研制开发具有十分重要的意义.形式化的描述不但可以便于计算机实现具体的逻辑控制,同时也可以提高计算机程序的可靠性.对这些逻辑关系精确地描述之关键在于选择恰当的描述语言.本文利用有色Petri网的特点结合一些铁路信号设备的变化规律给出了相应的有色Petri网描述,并针对一种简化的区间自动闭塞的控制逻辑介绍了用有色Petri网建模的基本方法和有色Petri网模型的分析过程. 相似文献
6.
7.
《中国铁道科学》2017,(6)
为借助计算机虚拟技术模拟列车运行计划的实施过程,建立仿真模型描述列车运行环境、状态及规则,用以列车运行仿真平台的开发。以改进Petri网为工具,结合铁路运输组织特点,定义个性托肯表示列车,定义颜色集库所描述路网环境及列车运行信息,定义多种变迁实现列车空间位置的变换及运行信息的传递,定义全局时钟递增变量驱动系统运行;基于部件组合思想和同时考虑线路可双向运行和列车运行过程中随机扰动建立的列车运行仿真模型,可根据需要模拟的列车运行计划及关联路网的数据,快速生成与列车运行环境和列车运行规则对应的仿真框架,在根据相关数据对各静态参数进行初始化后,可按设置的区域范围及时段要求模拟列车运行计划。仿真实例表明,模型直观且易于编程实现,仿真结果基本符合客观实际。 相似文献
8.
9.
基于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的技术标准进行比较,说明其可靠性满足规范要求。 相似文献
10.
介绍了Petri网建模理论和CPN-TOOLS仿真工具,并采用Petri网对中国列车运行控制系统进行了建模,通过仿真验证了模型的正确性. 相似文献