随着客运专线的快速建设,列车运行速度的提高和运行密度的增加,如何保证列车安全正点运行成为日益突出的问题。列车运行调度系统是对全路列车以及运输资源进行控制的系统,对于保证列车的安全正点运行、合理使用铁路运输资源以及提高铁路运输经济效益具有重要的作用。针对列车运行调度系统,本论文采用混合逻辑动态理论对其进行研究,目的是建立列车运行调度的模型,提高列车运行调度自动化。本论文完成的主要工作如下:1.在查阅资料文献的基础上,概述了国内外对列车运行调度的研究方法及取得的研究成果,提出采用混杂逻辑动态系统理论对列车运行调度进行研究的思路。2.对混合逻辑动态建模理论进行研究,归纳了逻辑命题与混合整数线性不等式之间的等价转换关系,详细阐述了建立混合逻辑动态模型的一般步骤及标准模型。3.通过对列车运行调度过程进行了分析,指出列车运行调度系统中存在三类离散事件:正常事件、客观事件和主观事件。通过对三类事件之间的关系进行分析,指出列车运行调度的本质。4.采用混合逻辑动态理论建立列车运行调度模型,重点阐述了约束条件转换为线性约束不等式的过程。5.以一个具有6个车站和5个区间的调度区段作为实例,对模型进行了仿真及分析,仿真结果表明了模型的有效性。