针对CTCS-3级列控系统等级转换场景的混成性,以CTCS-3级列控系统需求规范为研究依据,选取系统生命周期的需求阶段,研究了等级转换......

RBC(Radio Block Center,无线闭塞中心)作为CTCS-3级列控系统地面核心设备,围绕RBC的运营场景是列控系统主要的工作方式,在确保系......

应用统一建模语言UML与模型检验工具PHAVer（Polyhedral Hybrid Automaton verifier）相结合的方法,研究CTCS-3级列控系统RBC控车场景：......