中国铁路北京局集团有限公司天津电务段 天津市 300140
摘要：现如今，我国的综合国力在不断的加强，调度集中系统（ＣＴＣ）作为高速铁路行车指挥系统，在车站需要与ＴＣＣ接口，列控中心增加区间占用逻辑检查功能后，ＣＴＣ系统与之相关的接口协议、用户界面、操作流程等方面均随之发生变化，因此需要对有关问题进行研究，为列控中心区间占用逻辑检查功能大范围推广应用提供借鉴和参考。
关键词：列控中心；区间逻辑检查；仿真试验；复连试验；调度集中系统
引言
按照中国铁路总公司《关于印发〈列控中心区间占用逻辑检查〉的通知》（铁总运［２０１５］１５６号）文件要求，对采用列控中心进行区间轨道电路编码的线路，实施区间占用逻辑检查。根据前期在试验室对新增区间逻辑检查功能的列控中心软件进行仿真试验及后期在津秦高铁线路上的复连试验的经验，对列控中心区间占用逻辑检查现场复连试验方法进行总结，对试验的关键项点进行提示，并指出列控中心区间占用逻辑检查存在的问题。
1列控中心逻辑状态介绍
闭塞分区逻辑状态分为空闲、正常占用、故障占用和失去分路４种状态。ＴＣＣ按照闭塞分区占用逻辑检查原则进行判定：①空闲，表示列车未占用该闭塞分区，且该闭塞分区轨道电路所反映的线路状态为空闲；②正常占用，表示列车占用该闭塞分区，且该闭塞分区轨道电路所反映的线路状态为占用；③故障占用，表示列车未占用该闭塞分区，但该闭塞分区轨道电路所反映的线路状态为占用；④失去分路（占用丢失），表示列车占用该闭塞分区，但该闭塞分区轨道电路所反映的线路状态为空闲。列控中心通过加入信号许可（ＳＡ），参与对区间闭塞分区的占用顺序逻辑检查，为每辆列车分配一个ＳＡ，可确保不同ＳＡ范围内的列车状态变化不会互相影响。与联锁的ＳＡ不同，列控中心ＳＡ只用来分割不同列车逻辑检查的范围，没有实际控车作用。当闭塞分区逻辑状态判定为正常占用或失去分路时，如果该分区未分配任何ＳＡ，则生成一个新的ＳＡ，并将运行前方所有未分配ＳＡ的空闲状态闭塞分区分配到新生成的ＳＡ中。
2复连试验方案及关键项点
2.1更换软件前对既有版本进行核对并做好记录
核对ＴＣＣ软件版本信息，ＣＴＣ自律机版本信息；复连试验完毕后需对软件进行回退，所以此时记录版本信息是为软件回退做准备。
2.2安全操作流程
闭塞分区确认无车占用。当闭塞分区出现失去分路状态时，调度员或车站值班员通过 ＣＴＣ系统操作界面，先按压 “无车验证”指令，此时ＣＴＣ 将指令发送至 ＴＣＣ ， ＴＣＣ 反馈结果后， ＣＴＣ将命令结果显示在 “命令反馈结果”中。当 ＴＣＣ 反馈 “无车验证”结果为成功时，调度员或车站值班员按压 “无车执行”指令，此时ＣＴＣ 将指令发送至 ＴＣＣ ， ＴＣＣ 反馈结果后，调度员或车站值班员可以通过站场图，确认相关闭塞分区的表示状态。２． 区间逻辑状态总解锁。当区间出现多处闭塞分区失去分路时，调度员或车站值班员可通过ＣＴＣ 系统选择车站的对应方向口，先按压“总解锁验证”，ＣＴＣ 将指令发送至 ＴＣＣ ， ＴＣＣ 反馈结果后，ＣＴＣ 将命令结果显示在“命令反馈结果”中。
期刊文章分类查询,尽在期刊图书馆当 ＴＣＣ 反馈 “总解锁验证”结果为成功时，调度员或车站值班员按压 “总解锁执行”指令，此时 ＣＴＣ 将指令发送至 ＴＣＣ ， ＴＣＣ 反馈结果后，调度员或车站值班员确认相关区间的表示状态。
2.3依据输入项的描述，对模型的输入及最终运算的输出进行建模
左侧方框中展示了应用环境定义的输入和输出，右侧方框中展示了设计的输入和输出。可以看到，设计的输入和输出与应用环境中定义的内容完全相同。根据闭塞分区逻辑状态转换情况表，按照安全状态机的设计要求，将需求的状态和条件使用状态转换图进行描述。闭塞分区 Ｂ 初始逻辑状态用椭圆形表示，共有４种逻辑状态。按照技术条件规定的转换原则，在满足一定条件时，故障占用状态可转换到空闲或正常占用状态，空闲状态可转换到正常占用或故障占用状态，正常占用状态可转换到空闲或失去分路状态，失去分路状态可转换到正常占用状态；同时， ４ 种逻辑状态在不满足转换条件时维持既有状态不变。
2.4 区间闭塞分区状态及转换条件分析
根据技术条件要求，闭塞分区状态分为设备状态和逻辑状态。其中，设备状态包括占用和空闲，由列控中心综合轨道继电器和通信总线上的轨道状态获得，是确定闭塞分区逻辑状态及进行区间占用逻辑检查的基础；逻辑状态分为空闲、正常占用、故障占用和失去分路４种，通过列车占用顺序及一系列逻辑判断获得。列控中心管辖的区间被划分为若干个闭塞分区，包括边界闭塞分区 （某一端为站内区段）和中间部分闭塞分区 （前、后两端均为区间闭塞分区）。其中，中间部分闭塞分区按照列车运行方向，依据相同的判断原则，逐一对运行前方闭塞分区、本闭塞分区和运行后方闭塞分区进行逻辑判断。
2.6正常占用试验。按照《列控中心区间占用
逻辑检查暂行技术条件》（京铁电［２０１５］３３４号）要求，对闭塞分区逻辑状态中的“正常占用状态”进行试验；按区间方向顺序占用（有分割点的占用第二个分割点）。
2.7应用数据安全防护
ＣＴＣ和ＴＣＣ接口协议的应用层需要交互大量的工程应用数据，包括：工程数据版本、ＴＣＣ或ＣＴＣ本身的设备编号、闭塞分区编号、出入口编号等，这些应用数据作为双方交互的重要信息来源，在ＣＴＣ系统上作为区间表示及区间占用逻辑检查的结果呈现给运输指挥人员。工程数据版本需要双方互相校核版本信息，双方版本一致时应用数据方可有效，防止一方数据变动另一方未变动而产生数据不一致，从而影响指挥行车的情况发生。ＴＣＣ和ＣＴＣ设备编号作为ＣＴＣ与ＴＣＣ接口间对设备的定义判别，双方均需要配置对方设备的编号，对方接收到数据后，需要校核对方设备编号的正确性，以防止信息来源非法。闭塞分区编号在ＣＴＣ与ＴＣＣ的接口协议中有２种用途：①ＴＣＣ→ＣＴＣ，作为闭塞分区站场表示信息的对位标记；②ＣＴＣ→ＴＣＣ，作为ＣＴＣ下发“确认无车占用”控制指令的对位标记。车站出入口编号在ＣＴＣ与ＴＣＣ的接口协议中也有２种用途：①ＴＣＣ→ＣＴＣ，作为区间行车方向的表示信息；②ＣＴＣ→ＴＣＣ，作为ＣＴＣ下发“方向口区间逻辑状态总解锁”、“方向口区间逻辑开启”和“方向口区间逻辑关闭”控制指令的对位标记。
结语
使用ＳＣＡＤＥ状态转换图建立的区间占用逻辑检查模型，能够与技术条件中规定的状态及其转换条件相对应，模型的仿真验证也与场景相对应，最终的ＳＣＡＤＥ模型直接生成软件代码，达到了软件系统需求、结构设计、编码实现及测试验证的一致性和对应性，信号设计人员和软件开发人员可以共同参与实现细节的讨论和评审，有利于提高软件的正确性。
参考文献:
［１］ 中国铁路总公司．铁总运［２０１５］１５６号．列控中心区间占用逻辑检查暂行技术条件［Ｓ］．２０１５．
［２］ 中国铁路总公司运输局．运电高信函［２０１３］４３９号．列控中心区间占用逻辑检查用户需求书［Ｓ］．２０１３．
［３］ 鲁恩斌．自动闭塞区间列车占用逻辑检查的试验［Ｊ］．铁道通信信号．２０１５，５１（４）：９－１２．
论文作者:王黎
论文发表刊物:《防护工程》2018年第33期
论文发表时间:2019/2/27
标签：闭塞论文; 分区论文; 状态论文; 区间论文; 逻辑论文; 分路论文; 中心论文; 《防护工程》2018年第33期论文;