3C技术(通信技术、计算机技术、控制技术)的飞速发展,容错技术、可靠性技术的不断进步,为列车运行控制技术水平的提高创造了条件。在这种形势下,基于通信的列车运行控制[(Communications-Based Train Control,CBTC)系统凭借其突出优势,在城市轨道交通中迅速得到广泛应用,成为城市轨道交通列车运行控制系统的主流发展方向。而计算机联锁系统作为保障列车安全的核心设备之一,也发挥着极为重要的作用。由于移动闭塞技术的实现,在保证安全的条件下,CBTC系统控制列车以高密度、低间隔的状态运行,大大提高了运营效率。由于国内对CBTC系统的研究起步较晚,目前虽然取得了明显效果,但与一些发达国家所具备的成熟技术相比,尚存在差距。所以对国外成熟技术进行消化、吸收,提高自身技术水平,研制出具有我国自主知识产权的技术更加成熟的CBTC系统成为了当务之急。本论文以城市轨道交通为背景,以CBTC系统中的联锁子系统为研究对象,以进路控制逻辑的自动设计为目标。对城市轨道交通CBTC系统进行了简要分析,研究了CBTC系统中联锁子系统的特点,并与传统联锁系统进行了对比,对联锁子系统与其他子系统特别是区域控制器之间的信息交互进行了分析。根据城市轨道交通联锁系统的特点,对进路控制功能着重进行了分析。在此基础上,通过对进路控制逻辑的研究,提出满足不同场景的通用逻辑设计规则。然后,根据逻辑自动生成的要求,设计联锁数据结构,采用深度优先的搜索方法完成进路搜索,实现自动生成联锁表。同时根据逻辑规则的描述,设计各个逻辑实现模块,通过VBA编程实现自动生成联锁逻辑表达式。最后,以地铁线路中的一个联锁区为例,通过进路控制逻辑自动设计工具的应用,实现联锁表和进路控制逻辑的自动生成,针对不同的逻辑,选取多种场景下自动设计的结果进行验证分析。