随着我国列控系统的快速发展,移动闭塞技术将成为下一代列控系统发展的一大特征。移动闭塞技术在我国的城市轨道交通领域有了较为成熟的应用研究,但对于我国铁路干线来说,移动闭塞技术目前还处于研究阶段。基于卫星定位的列控系统采用卫星定位融合速度传感器、应答器等定位技术实现列车的精确定位,为移动闭塞的实现提供了技术基础。本论文在基于卫星定位的列控系统技术方案研究的基础上,对移动闭塞的方案、功能实现及效率分析进行了研究,为移动闭塞技术在我国铁路应用提供一定的技术支持。首先,本文在分析国内外移动闭塞技术发展现状的基础上,研究了基于卫星定位的列控系统的总体技术方案,并对其系统构成、功能分配、设计原则等内容进行论述。论文对该系统的移动闭塞技术方案进行了分析和研究。根据相关功能需求,对RBC相应功能模块进行了设计。其次,对固定自动闭塞与移动闭塞制式下列车的追踪间隔进行了研究。通过构建相应模型、设定相关参数,对不同条件下列车的追踪运行进行建模仿真分析。最后,利用着色Petri网相关概念,对RBC相关逻辑功能进行建模。利用CPN Tools自带的模型验证工具,对模型进行验证分析,以确保模型功能满足相关设计要求。