车载功能兼容研究主要解决的是列车跨线运行的问题,其一是通过合理的系统功能设计,使车载系统能支持列车在低等级线路条件下的安全......

随着我国经济的快速发展，铁路的发展已经步入黄金期。目前我国线路大多使用CTCS-3（Chinese Train Control System，中国列车运行控制系......

针对正常情况下CTCS-2级列控系统和CTCS-3级列控系统之间的等级转换,探讨了一种基于有色Petri网模型的系统建模方法。模型中引入非......

为了使系统与模型达到一致性,在C2级向C3级转换的过程中,采用有色Petri网对其进行建模.采用自动验证工具（CPN Tools）对模型性能、系......

高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验......

在CTCS-3级列控系统中,为了保证C2级向C3级场景转换的过程中列控系统实时性和安全性,采用统一建模语言(UML)活动图和分层赋时有色P......

随着CTCS-1级列控系统关键技术研究工作的开展,必然要面临装载CTCS-1级车载设备的列车跨线运营至CTCS-0级线路的问题,而系统等级转......