[发明专利]基于布尔逻辑的联锁数据自动配置方法及系统

说明书

本发明公开了一种基于布尔逻辑的联锁数据自动配置方法，涉及有轨道交通联锁控制技术领域，包括输入信息制作步骤、通用搜索语法搜索步骤、上下位机通信码位生成步骤，是一种基于布尔逻辑、根据联锁信息表和外部接口新表及自定义的设备查询语法，自动生成车站的所有有效的设备对应的码位的联锁数据自动配置方法。

技术领域

本发明涉及有轨道交通联锁控制技术领域，确切地说涉及一种基于布尔逻辑的联锁数据自动配置方法。

背景技术

联锁是指信号机、道岔和进路之间的一种相互制约的关系，其主要功能是保证进路、道岔和信号机之间的正确逻辑，防止发生行车事故的；同时计算机联锁能提高作业效率和降低劳动强度等作用。

目前计算机联锁逻辑的实现方式主要有2种，一种是基于高级语言C来实现，采用面向过程的思想，通过定义选路及动岔程序模块、进路建立程序模块、进路锁闭程序模块、信号开放程序模块及进路解锁程序模块等实现联锁逻辑；另一种是采用开放式的布尔代数来实现，借用继电联锁定型电路的思想和方法，将其转化成一条条有运算关系的布尔表达式，并按照规定的顺序对所有的布尔表达式进行计算来实现联锁逻辑；两种方式各有好处，但无论如何实现，都需要研究联锁数据的自动配置问题。

在现有技术中，如公开号为CN111845866 A，公开时间为2020年10月30日，名称为“一种联锁配置文件的自动生成方法、装置及电子设备”的中国发明专利文献，公开了一种联锁数据文件的生成方法，通过一定的联锁逻辑运算，将初始数据库中的数据转换生成符合联锁系统的配置格式要求的联锁配置数据，包括数据导入模块、数据转换模块和文件生成模块三个部分，导入模块从初始数据库中取数据，转换模块将取得的数据经过联锁逻辑运算生成配置格式所需数据，生成模块是将转换的零散数据整合生成到相应文件中，形成配置文件，来简化联锁数据配置流程，解决人工配置带来的问题，提高数据配置效率。但是这种技术方案还是存在以下问题：1）该配置文件对采用布尔逻辑实现的联锁逻辑不适用2）该配置文件需要从原始数据中经过复杂的联锁逻辑运算才能得到，并不是简单的转换关系且生成的结果需满足某种固定的格式，纠错和查错问题比较复杂。

发明内容

本发明的目的在于针对现有技术的问题，提供一种基于布尔逻辑、根据联锁信息表和外部接口新表及自定义的设备查询语法，自动生成车站的所有有效的设备对应的码位的联锁数据自动配置方法。

本发明的目的是通过以下技术方案实现的：

基于布尔逻辑的联锁数据自动配置方法，包括以下步骤：

输入信息制作步骤，利用联锁安全工具将通用站场图编辑文件中描述的站场拓扑结构以及所有设备的联锁顺序转换成联锁信息并生成联锁信息表，将信号厂商提供的外部接口信息表转换成自动配置所能识别的外部信息表，并将所述外部信息表再生成与外部接口通信所需的、包含有输入码位和输出码位的通信文件。

所述输入信息制作步骤中，所述联锁信息表中包括站场所有的进路，以及信号机设备、道岔设备、区段设备和进路设备，其中，每条进路保含进路的性质以及进路中所有的区段设备、道岔及防护道岔、侵限区段设备、始端信号机设备和终端信号机设备。

所述输入信息制作步骤中，所述外部信息表中包括区间方向信息、区间闭塞分区状态信息、信号限速信息、灾害防护信息、进路信息及信号授权信息。

所述输入信息制作步骤中，所述通用站场图编辑文件是指依据设计院给出的蓝图和联锁表由通用软件生成的实现站场界面显示、站场设备拓扑结构连接和站场基本联锁信息的文本文件。