基于布尔逻辑的联锁数据自动配置方法及系统技术方案

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

【技术实现步骤摘要】
基于布尔逻辑的联锁数据自动配置方法及系统
本专利技术涉及有轨道交通联锁控制
，确切地说涉及一种基于布尔逻辑的联锁数据自动配置方法。
技术介绍
联锁是指信号机、道岔和进路之间的一种相互制约的关系，其主要功能是保证进路、道岔和信号机之间的正确逻辑，防止发生行车事故的；同时计算机联锁能提高作业效率和降低劳动强度等作用。目前计算机联锁逻辑的实现方式主要有2种，一种是基于高级语言C来实现，采用面向过程的思想，通过定义选路及动岔程序模块、进路建立程序模块、进路锁闭程序模块、信号开放程序模块及进路解锁程序模块等实现联锁逻辑；另一种是采用开放式的布尔代数来实现，借用继电联锁定型电路的思想和方法，将其转化成一条条有运算关系的布尔表达式，并按照规定的顺序对所有的布尔表达式进行计算来实现联锁逻辑；两种方式各有好处，但无论如何实现，都需要研究联锁数据的自动配置问题。在现有技术中，如公开号为CN111845866A，公开时间为2020年10月30日，名称为“一种联锁配置文件的自动生成方法、装置及电子设备”的中国专利技术专利文献，公开了一种联锁数据文本文档来自技高网...

【技术保护点】
1.基于布尔逻辑的联锁数据自动配置方法，其特征在于，包括以下步骤：/n输入信息制作步骤，利用联锁安全工具将通用站场图编辑文件中描述的站场拓扑结构以及所有设备的联锁顺序转换成联锁信息并生成联锁信息表，将外部接口信息表转换成自动配置所能识别的外部信息表，并将所述外部信息表再生成与外部接口通信所需的、包含有输入码位和输出码位的通信文件；/n通用搜索语法搜索步骤，利用联锁安全工具打开通用联锁逻辑语法文件，自定义适用于所有站场的、且包含有若干自定义搜索语法的通用联锁逻辑，所述自定义搜索语法为包含一个布尔参数和若干搜索形式的一组字符串，并根据每一个自定义搜索语法中的搜索形式从所述联锁信息表、外部信息表和通...

【技术特征摘要】
1.基于布尔逻辑的联锁数据自动配置方法，其特征在于，包括以下步骤：
输入信息制作步骤，利用联锁安全工具将通用站场图编辑文件中描述的站场拓扑结构以及所有设备的联锁顺序转换成联锁信息并生成联锁信息表，将外部接口信息表转换成自动配置所能识别的外部信息表，并将所述外部信息表再生成与外部接口通信所需的、包含有输入码位和输出码位的通信文件；
通用搜索语法搜索步骤，利用联锁安全工具打开通用联锁逻辑语法文件，自定义适用于所有站场的、且包含有若干自定义搜索语法的通用联锁逻辑，所述自定义搜索语法为包含一个布尔参数和若干搜索形式的一组字符串，并根据每一个自定义搜索语法中的搜索形式从所述联锁信息表、外部信息表和通信文件中搜索查询到每一个搜索形式对应的设备搜索结果，并将自定义搜索语法的布尔参数作为设备搜索结果的标签，然后将每一个自定义搜索语法中所有搜索形式对应的设备搜索结果进行逻辑运算，得到站场中所有带有布尔参数标签的有效设备；
布尔逻辑及上下位机通信码位生成，将每一个所述自定义搜索语法的顺序作为其对应布尔参数的顺序，将所述通用搜索语法搜索步骤中得到的站场中所有带有布尔参数标签的有效设备进行排序，得到站场中所有有效设备的码位及每个码位对应的布尔表达式，和所有上下位设备间通信所需码位。


2.如权利要求1所述的基于布尔逻辑的联锁数据自动配置方法，其特征在于：所述输入信息制作步骤中，所述联锁信息表中包括站场所有的进路，以及信号机设备、道岔设备、区段设备和进路设备，其中，每条进路保含进路的性质以及进路中所有的区段设备、道岔及防护道岔、侵限区段设备、始端信号机设备和终端信号机设备；所述外部信息表中包括区间方向信息、区间闭塞分区状态信息、信号限速信息、灾害防护信息、进路信息及信号授权信息。


3.如权利要求1或2所述的基于布尔逻辑的联锁数据自动配置方法，其特征在于：所述输入信息制作步骤中，所述通用站场图编辑文件是指依据蓝图和联锁表由通用软件生成的实现站场界面显示、站场设备拓扑结构连接和站场基本联锁信息的文本文件。


4.如权利要求1所述的基于布尔逻辑的联锁数据自动配置方法，其特征在于：所述搜索形式是一种用于确定各种设备信息的存储位置的搜索方法，设备信息会存储在所述联锁信息表、外部信息表或者通信文件中，需要限定搜索位置，一个搜索形式中包含若干个搜索关键字。


5.如权利要求4所述的基于布尔逻辑的联锁数据自动配置方法，其特征在于：所述关键字是一种用于具体定位设备信息的标签，通过所述搜索形式确定设备存储位置，再根据关键字定位具体设备信息。


6.如权利要求1所述的基于布尔逻辑的联锁数据自动配置方法，其特征在于，所述通用搜索语法搜索步骤，具体的，包括以下步骤：
步骤1，从所述通用联锁逻辑的语法字符串中解析出若干自定义搜索语法，并从每一个自定义搜索语法中解析得到其布尔参数和若干搜索形式，再从每一个搜索形式中解析得到若干关键字；
步骤2，根据每一个搜索形式下的关键字，从联锁信息表、外部信息表和通信文件中定位出设备信息所对应的存储位置，并将搜索结果中存储位置重叠的设备信息作为每一个搜索形式对应的设备搜索结果；
步骤3，将步骤2中得到的每一个搜索形式对应的搜索结果作为一个集合，并采用并集运算、补集运算和/或条件判断运算逻辑，将所有的搜索形式对应的搜索结果进行逻辑运算合并；所述并集运算是将两种...

【专利技术属性】
技术研发人员：谢林，朱迎春，杨平，马锐，莫运前，杨帆，曾云，黎瀚泽，
申请(专利权)人：卡斯柯信号成都有限公司，
类型：发明
国别省市：四川;51