本发明公开了一种基于布尔逻辑的联锁数据自动配置方法，涉及有轨道交通联锁控制技术领域，包括输入信息制作步骤、通用搜索语法搜索步骤、上下位机通信码位生成步骤，是一种基于布尔逻辑、根据联锁信息表和外部接口新表及自定义的设备查询语法，自动生成车站的所有有效的设备对应的码位的联锁数据自动配置方法。
1.基于布尔逻辑的联锁数据自动配置方法，其特征在于，包括以下步骤：
输入信息制作步骤，利用联锁安全工具将通用站场图编辑文件中描述的站场拓扑结构以及所有设备的联锁顺序转换成联锁信息并生成联锁信息表，将外部接口信息表转换成自动配置所能识别的外部信息表，并将所述外部信息表再生成与外部接口通信所需的、包含有输入码位和输出码位的通信文件；
通用搜索语法搜索步骤，利用联锁安全工具打开通用联锁逻辑语法文件，自定义适用于所有站场的、且包含有若干自定义搜索语法的通用联锁逻辑，所述自定义搜索语法为包含一个布尔参数和若干搜索形式的一组字符串，并根据每一个自定义搜索语法中的搜索形式从所述联锁信息表、外部信息表和通信文件中搜索查询到每一个搜索形式对应的设备搜索结果，并将自定义搜索语法的布尔参数作为设备搜索结果的标签，然后将每一个自定义搜索语法中所有搜索形式对应的设备搜索结果进行逻辑运算，得到站场中所有带有布尔参数标签的有效设备；
布尔逻辑及上下位机通信码位生成，将每一个所述自定义搜索语法的顺序作为其对应布尔参数的顺序，将所述通用搜索语法搜索步骤中得到的站场中所有带有布尔参数标签的有效设备进行排序，得到站场中所有有效设备的码位及每个码位对应的布尔表达式，和所有上下位设备间通信所需码位。
2.如权利要求1所述的基于布尔逻辑的联锁数据自动配置方法，其特征在于：所述输入信息制作步骤中，所述联锁信息表中包括站场所有的进路，以及信号机设备、道岔设备、区段设备和进路设备，其中，每条进路保含进路的性质以及进路中所有的区段设备、道岔及防护道岔、侵限区段设备、始端信号机设备和终端信号机设备；所述外部信息表中包括区间方向信息、区间闭塞分区状态信息、信号限速信息、灾害防护信息、进路信息及信号授权信息。
3.如权利要求1或2所述的基于布尔逻辑的联锁数据自动配置方法，其特征在于：所述输入信息制作步骤中，所述通用站场图编辑文件是指依据蓝图和联锁表由通用软件生成的实现站场界面显示、站场设备拓扑结构连接和站场基本联锁信息的文本文件。
4.如权利要求1所述的基于布尔逻辑的联锁数据自动配置方法，其特征在于：所述搜索形式是一种用于确定各种设备信息的存储位置的搜索方法，设备信息会存储在所述联锁信息表、外部信息表或者通信文件中，需要限定搜索位置，一个搜索形式中包含若干个搜索关键字。
5.如权利要求4所述的基于布尔逻辑的联锁数据自动配置方法，其特征在于：所述关键字是一种用于具体定位设备信息的标签，通过所述搜索形式确定设备存储位置，再根据关键字定位具体设备信息。
6.如权利要求1所述的基于布尔逻辑的联锁数据自动配置方法，其特征在于，所述通用搜索语法搜索步骤，具体的，包括以下步骤：步骤1，从所述通用联锁逻辑的语法字符串中解析出若干自定义搜索语法，并从每一个自定义搜索语法中解析得到其布尔参数和若干搜索形式，再从每一个搜索形式中解析得到若干关键字；
步骤2，根据每一个搜索形式下的关键字，从联锁信息表、外部信息表和通信文件中定位出设备信息所对应的存储位置，并将搜索结果中存储位置重叠的设备信息作为每一个搜索形式对应的设备搜索结果；
步骤3，将步骤2中得到的每一个搜索形式对应的搜索结果作为一个集合，并采用并集运算、补集运算和/或条件判断运算逻辑，将所有的搜索形式对应的搜索结果进行逻辑运算合并；所述并集运算是将两种搜索结果取和去重；所述补集运算是在第一种搜索形式的搜索结果中去掉所包含的第二种搜索形式的搜索结果；所述条件判断是在第一种搜索形式有结果的前提下取第二种搜索形式的结果。
7.如权利要求6所述的基于布尔逻辑的联锁数据自动配置方法，其特征在于，所述步骤
首先，设定每一个搜索形式下的第一个关键字所定位的设备信息为当前搜索的基准，然后从该设备开始搜索联锁信息表、外部信息表和通信文件中所有相同设备信息对应的存储位置；
然后，以相同的方法对第二个关键字进行搜索，并将搜索结果与第一个设备的搜索结果进行比对，将对应的存储位置重叠的设备信息作为第二个关键字的所定位的设备信息，同时将第二个关键字所定位的设备信息设定为第三个关键字搜索的基准；
根据关键字的顺序依次重复上述过程，对第N个关键字进行搜索时，都以第N‑1个关键字所定位的设备信息为基准，并比对第N个关键字和第N‑1个关键字搜索结果中存储位置重叠的设备信息，最后重叠部分对应的设备信息即为该搜索形式所对应的搜索结果。
8.如权利要求6或7所述的基于布尔逻辑的联锁数据自动配置方法，其特征在于，所述步骤3，具体的：
首先，采用并集运算、补集运算和/或条件判断运算逻辑对步骤2中两个搜索形式对应的搜索结果的集合进行逻辑运算，并输出运算结果集合A；
然后，同样采用并集运算、补集运算和/或条件判断运算逻辑将运算结果集合A与第三个搜索形式对应的搜索结果的集合进行逻辑运算得到运算结果集合B；
最后，按照上述方法对剩余的搜索结果的集合进行逻辑运算，得到逻辑运算合并后的设备信息存储位置结果。
9.如权利要求8所述的基于布尔逻辑的联锁数据自动配置方法，其特征在于：首先，第一个搜索形式和第二个搜索形式对应的搜索结果，设定两个搜索形式之间对应的运算是并集运算、和/补集运算、和/条件判断，将两个搜索形式之间的设备按照给出逻辑运算方式进行计算，得到结果，作为第一个搜索形式和第二个搜索形式的运算结果；
然后，取第三个搜索形式对应的搜索结果，设定第二个搜索形式和第三个搜索形式之间对应的运算是并集运算、和/补集运算、和/条件判断，将第一个搜索形式和第二个搜索形式的运算结果与第三个搜索形式的搜索结果按照第二个搜索形式和第三个搜索形式之间给出逻辑运算方式进行计算，得到结果，作为第二个搜索形式和第三个搜索形式的运算结果；
最后，设定总共有K个搜索形式，则总共进行K‑1次逻辑运算，设定第K‑1个搜索形式和第K个搜索形式之间对应的运算是并集运算、和/补集运算、和/条件判断，将第K‑2个搜索形式和第K‑1个搜索形式的运算结果与第K个搜索形式的搜索结果按照第K‑1个搜索形式和第K个搜索形式之间给出逻辑运算方式进行计算，得到结果，作为第K个搜索形式的运算结果。
10.如权利要求1所述的基于布尔逻辑的联锁数据自动配置方法，其特征在于，所述布尔逻辑及上下位机通信码位生成步骤，具体的，首先，取所述通用搜索语法搜索步骤中得到的站场中所有带有布尔参数标签的有效设备；
然后，将所有有效设备和对应的布尔参数进行组合生成码位，设定自定义搜索语法E中的布尔参数为param，则自定义搜索语法中的所有搜索形式对应的设备搜索结果进行逻辑运算后的结果为E1，E2，…，En，将布尔参数和设备组合成有效码为E1‑param，E2‑param，…，En‑param。
基于布尔逻辑的联锁数据自动配置方法及系统
技术领域
[0001] 本发明涉及有轨道交通联锁控制技术领域，确切地说涉及一种基于布尔逻辑的联锁数据自动配置方法。
背景技术
[0002] 联锁是指信号机、道岔和进路之间的一种相互制约的关系，其主要功能是保证进路、道岔和信号机之间的正确逻辑，防止发生行车事故的；同时计算机联锁能提高作业效率和降低劳动强度等作用。
[0003] 目前计算机联锁逻辑的实现方式主要有2种，一种是基于高级语言C来实现，采用面向过程的思想，通过定义选路及动岔程序模块、进路建立程序模块、进路锁闭程序模块、信号开放程序模块及进路解锁程序模块等实现联锁逻辑；另一种是采用开放式的布尔代数来实现，借用继电联锁定型电路的思想和方法，将其转化成一条条有运算关系的布尔表达式，并按照规定的顺序对所有的布尔表达式进行计算来实现联锁逻辑；两种方式各有好处，但无论如何实现，都需要研究联锁数据的自动配置问题。
[0004] 在现有技术中，如公开号为CN111845866 A，公开时间为2020年10月30日，名称为“一种联锁配置文件的自动生成方法、装置及电子设备”的中国发明专利文献，公开了一种联锁数据文件的生成方法，通过一定的联锁逻辑运算，将初始数据库中的数据转换生成符合联锁系统的配置格式要求的联锁配置数据，包括数据导入模块、数据转换模块和文件生成模块三个部分，导入模块从初始数据库中取数据，转换模块将取得的数据经过联锁逻辑运算生成配置格式所需数据，生成模块是将转换的零散数据整合生成到相应文件中，形成配置文件，来简化联锁数据配置流程，解决人工配置带来的问题，提高数据配置效率。但是这种技术方案还是存在以下问题：1）该配置文件对采用布尔逻辑实现的联锁逻辑不适用2）该配置文件需要从原始数据中经过复杂的联锁逻辑运算才能得到，并不是简单的转换关系且生成的结果需满足某种固定的格式，纠错和查错问题比较复杂。
发明内容
[0005] 本发明的目的在于针对现有技术的问题，提供一种基于布尔逻辑、根据联锁信息表和外部接口新表及自定义的设备查询语法，自动生成车站的所有有效的设备对应的码位的联锁数据自动配置方法。
[0006] 本发明的目的是通过以下技术方案实现的：
[0007] 基于布尔逻辑的联锁数据自动配置方法，包括以下步骤：
[0008] 输入信息制作步骤，利用联锁安全工具将通用站场图编辑文件中描述的站场拓扑结构以及所有设备的联锁顺序转换成联锁信息并生成联锁信息表，将信号厂商提供的外部接口信息表转换成自动配置所能识别的外部信息表，并将所述外部信息表再生成与外部接口通信所需的、包含有输入码位和输出码位的通信文件。
[0009] 所述输入信息制作步骤中，所述联锁信息表中包括站场所有的进路，以及信号机设备、道岔设备、区段设备和进路设备，其中，每条进路保含进路的性质以及进路中所有的区段设备、道岔及防护道岔、侵限区段设备、始端信号机设备和终端信号机设备。
[0010] 所述输入信息制作步骤中，所述外部信息表中包括区间方向信息、区间闭塞分区状态信息、信号限速信息、灾害防护信息、进路信息及信号授权信息。
[0011] 所述输入信息制作步骤中，所述通用站场图编辑文件是指依据设计院给出的蓝图和联锁表由通用软件生成的实现站场界面显示、站场设备拓扑结构连接和站场基本联锁信息的文本文件。
[0012] 通用搜索语法搜索步骤，利用联锁安全工具打开通用联锁逻辑语法文件，自定义适用于所有站场的、且包含有若干自定义搜索语法的通用联锁逻辑，所述通用联锁逻辑语法文件是一个适用于所有站场联锁逻辑的文本文件，该文本文件中通常都包含若干个自定义搜索语法，通过自定义搜索语法可以到指定的文件中搜索到对应设备，所述自定义搜索语法为包含一个布尔参数和若干搜索形式的一组字符串，通过识别该字符串中的搜索形式能限定搜索的内容，一个站场包含若干个自定义搜索语法，并根据每一个自定义搜索语法中的搜索形式从所述联锁信息表、外部信息表和通信文件中搜索查询到每一个搜索形式对应的设备搜索结果，并将自定义搜索语法的布尔参数作为设备搜索结果的标签，然后将每一个自定义搜索语法中所有搜索形式对应的设备搜索结果进行逻辑运算，得到站场中所有带有布尔参数标签的有效设备；
[0013] 所述布尔参数，是用于在站场所有有效设备的码位时，作为码位中布尔逻辑调用识别用的标签的参数。即布尔参数是与站场中所有有效的信号机设备、道岔设备、区段设备和进路设备的码位进行组合构成布尔表达式的一部分组成元素。
[0014] 所述搜索形式是一种用于确定各种设备信息的存储位置的搜索方法，设备信息会存储在所述联锁信息表、外部信息表或者通信文件中，需要限定搜索位置，一个搜索形式中可包含若干个搜索关键字。
[0015] 所述关键字是一种用于具体定位设备信息的标签，通过所述搜索形式确定设备存储位置，再根据关键字定位具体设备信息。
[0016] 所述通用搜索语法搜索步骤，具体的，包括以下步骤：
[0017] 步骤1，从所述通用联锁逻辑的语法字符串中解析出若干自定义搜索语法，并从每一个自定义搜索语法中解析得到其布尔参数和若干搜索形式，再从每一个搜索形式中解析得到若干关键字；
[0018] 步骤2，根据每一个搜索形式下的关键字，从联锁信息表、外部信息表和通信文件中定位出设备信息所对应的存储位置，并将搜索结果中存储位置重叠的设备信息作为每一个搜索形式对应的设备搜索结果；
[0019] 所述步骤2，具体的：
[0020] 首先，设定每一个搜索形式下的第一个关键字所定位的设备信息为当前搜索的基准，然后从该设备开始搜索联锁信息表、外部信息表和通信文件中所有相同设备信息对应的存储位置；
[0021] 然后，以相同的方法对第二个关键字进行搜索，并将搜索结果与第一个设备的搜索结果进行比对，将对应的存储位置重叠的设备信息作为第二个关键字的所定位的设备信息，同时将第二个关键字所定位的设备信息设定为第三个关键字搜索的基准；
[0022] 根据关键字的顺序依次重复上述过程，对第N个关键字进行搜索时，都以第N‑1个关键字所定位的设备信息为基准，并比对第N个关键字和第N‑1个关键字搜索结果中存储位置重叠的设备信息，最后重叠部分对应的设备信息即为该搜索形式所对应的搜索结果。
[0023] 步骤3，将步骤2中得到的每一个搜索形式对应的搜索结果作为一个集合，并采用并集运算、补集运算和/或条件判断运算逻辑，将所有的搜索形式对应的搜索结果进行逻辑运算合并；所述并集运算是指搜索形式的搜索结果之间的符号‘+’，是将两种搜索结果取和去重；所述补集运算是指搜索形式的搜索结果之间的符号‘‑’，是在第一种搜索形式的搜索结果中去掉所包含的第二种搜索形式的搜索结果；所述条件判断是指搜索形式的搜索结果之间的符号‘*’，是在第一种搜索形式有结果的前提下取第二种搜索形式的结果，步骤3得到的结果中对应有存储位置的设备信息对应的即是站场所需定义的所有有效设备。
[0024] 所述步骤3，具体的：
[0025] 首先，采用并集运算、补集运算和/或条件判断运算逻辑对步骤2中两个搜索形式对应的搜索结果的集合进行逻辑运算，并输出运算结果集合A；
[0026] 然后，同样采用并集运算、补集运算和/或条件判断运算逻辑将运算结果集合A与第三个搜索形式对应的搜索结果的集合进行逻辑运算得到运算结果集合B；
[0027] 按照上述方法对剩余的搜索结果的集合进行逻辑运算，得到逻辑运算合并后的设备信息存储位置结果。
[0028] 更具体的：
[0029] 第一个搜索形式和第二个搜索形式对应的搜索结果，设定两个搜索形式之间对应的运算是并集运算、和/补集运算、和/条件判断，将两个搜索形式之间的设备按照给出逻辑运算方式进行计算，得到结果，作为第一个搜索形式和第二个搜索形式的运算结果。
[0030] 然后，取第三个搜索形式对应的搜索结果，设定第二个搜索形式和第三个搜索形式之间对应的运算是并集运算、和/补集运算、和/条件判断，将第一个搜索形式和第二个搜索形式的运算结果与第三个搜索形式的搜索结果按照第二个搜索形式和第三个搜索形式之间给出逻辑运算方式进行计算，得到结果，作为第二个搜索形式和第三个搜索形式的运算结果。
[0031] 最后，设定总共有K个搜索形式，则总共进行K‑1次逻辑运算，设定第K‑1个搜索形式和第K个搜索形式之间对应的运算是并集运算、和/补集运算、和/条件判断，将第K‑2个搜索形式和第K‑1个搜索形式的运算结果与第K个搜索形式的搜索结果按照第K‑1个搜索形式和第K个搜索形式之间给出逻辑运算方式进行计算，得到结果，作为第K个搜索形式的运算结果。
[0032] 布尔逻辑及上下位机通信码位生成步骤，将每一个所述自定义搜索语法的顺序作为其对应布尔参数的顺序，将所述通用搜索语法搜索步骤中得到的站场中所有带有布尔参数标签的有效设备进行排序，得到站场中所有有效设备的码位及每个码位对应的布尔表达式，和所有上下位机设备间通信所需码位，所有有效设备的码位及每个码位对应的布尔表达式组合在一起即是布尔逻辑，所有上下位机通信所需码位组合在一起即是上下位机通信码位。
[0033] 所述布尔逻辑及上下位机通信码位生成，具体的，
[0034] 首先，取所述通用搜索语法搜索步骤中得到的站场中所有带有布尔参数标签的有效设备；
[0035] 然后，将所有有效设备和对应的布尔参数进行组合生成码位，设定自定义搜索语法E中的布尔参数为param，则自定义搜索语法中的所有搜索形式对应的设备搜索结果进行逻辑运算后的结果为E1，E2，…，En，将布尔参数和设备组合成有效码为E1‑param，E2‑param，…，En‑param；
[0036] 即，设定全站总共有M个自定义搜索语法，全站所有自定义搜索语法的搜索结果进行逻辑运算后，结果与对应的布尔参数进行组合即得到站场中所有有效设备的码位及每个码位对应的布尔表达式，而所有上下位机设备间通信所需码位，则在所述输入信息制作步骤中根据联锁顺序就能得到。
[0037] 与现有技术相比，上述技术方案包括以下创新点及有益效果（优点）：
[0038] 所述布尔逻辑是指一种为了实现某种目的（本方案主要是指联锁逻辑）而定义的、包含若干码位和码位值运算的数学表达式，并按照表达式出现的顺序从上往下执行运算的一种数学计算方式，该计算方式包含乘法、加法和取反运算，本申请这种技术方案是按照每个参数来搜索设备生成对应的码位，不会产生无用的码位和布尔表达式，能对布尔表达式进行优化，减少对系统容量的限制，并且本技术方案所需的所有输入文件都是以excel或者文本文件的形式存在，格式简单，便于识别和查错，将联锁逻辑信息按照一定格式转换成方便识别的联锁信息，输出到自定义联锁信息表模板的excel表格中，比如将信号厂商给的TCC和RBC接口信息表转换成与布尔逻辑搜索相匹配的信息内容，输出到自定义TCC和RBC接口信息表模板的excel表格中。
[0039] 本技术方案可支持由布尔代数实现的联锁逻辑的数据自动配置工作，减少人工配置带来的成本，设备搜索过程从输入文件中按照定义的查询关键字所表示的搜索意图查询相关内容，并进行逻辑运算，得到结果，查询方法包含信息表查询和通信码位查询，信息表查询是指单表查询和多表查询2种查询模式，每种查询模式都需按照查询关键字的范围进行查询，其中单表查询是指在某个单一的信息表的某个子表中进行查找和条件判断、多表查询是指在所有信息表中交互查找和条件判断，条件判断是检查信息表中某个单元格是否包含给出的内容，搜索过程中支持每个搜索分支查询到的设备之间取并集、差集和条件判断的逻辑运算。
附图说明
[0040] 本发明的前述和下文具体描述在结合以下附图阅读时变得更清楚，其中：
[0041] 图1是本发明处理方法的总体示意图；
[0042] 图2是本发明通用搜索语法搜索步骤的流程示意图；
[0043] 图3是本发明上下位机通信码位生成步骤的流程示意图。
具体实施方式
[0044] 下面通过具体的实施例来进一步说明实现本发明目的技术方案，需要说明的是，本发明要求保护的技术方案包括但不限于以下实施例。
[0045] 基于布尔逻辑的联锁数据自动配置方法，如图1，包括输入信息制作步骤、通用搜索语法搜索步骤、上下位机通信码位生成步骤。
[0046] 所述输入信息制作步骤包含2部分内容：生成自动配置所需的联锁信息表、外部信息表和外部通信码位文件，具体的，利用联锁安全工具将通用站场图编辑文件中描述的站场拓扑结构以及所有设备的联锁顺序转换成联锁信息并生成联锁信息表，将信号厂商提供的外部接口信息表转换成自动配置所能识别的外部信息表，并将所述外部信息表再生成与外部接口通信所需的、包含有输入码位和输出码位的通信文件，即可从外部的通信文件的输入或者输出码位中查询满足包含某个后缀的所有码位所包含的设备。
[0047] 所述输入信息制作步骤中，所述联锁信息表中包括站场所有的进路，以及信号机设备、道岔设备、区段设备和进路设备，其中，每条进路保含进路的性质以及进路中所有的区段设备、道岔及防护道岔、侵限区段设备、始端信号机设备和终端信号机设备。
[0048] 所述输入信息制作步骤中，所述外部信息表中包括区间方向信息、区间闭塞分区状态信息、信号限速信息、灾害防护信息、进路信息及信号授权信息。
[0049] 所述输入信息制作步骤中，所述通用站场图编辑文件是指依据设计院给出的蓝图和联锁表由通用软件生成的实现站场界面显示、站场设备拓扑结构连接和站场基本联锁信息的文本文件。
[0050] 通用搜索语法搜索步骤，如图2所示，利用联锁安全工具打开通用联锁逻辑语法文件，自定义适用于所有站场的、且包含有若干自定义搜索语法的通用联锁逻辑，所述通用联锁逻辑语法文件是一个适用于所有站场联锁逻辑的文本文件，该文本文件中通常都包含若干个自定义搜索语法，通过自定义搜索语法可以到指定的文件中搜索到对应设备，所述自定义搜索语法为包含一个布尔参数和若干搜索形式的一组字符串，通过识别该字符串中的搜索形式能限定搜索的内容，一个站场包含若干个自定义搜索语法，并根据每一个自定义搜索语法中的搜索形式从所述联锁信息表、外部信息表和通信文件中搜索查询到每一个搜索形式对应的设备搜索结果，并将自定义搜索语法的布尔参数作为设备搜索结果的标签，然后将每一个自定义搜索语法中所有搜索形式对应的设备搜索结果进行逻辑运算，得到站场中所有带有布尔参数标签的有效设备；
[0051] 所述布尔参数，是用于在站场所有有效设备的码位时，作为码位中布尔逻辑调用的识别标签参数。即布尔参数是与站场中所有有效的信号机设备、道岔设备、区段设备和进路设备的码位进行组合构成布尔表达式的一部分组成元素。
[0052] 所述搜索形式是一种用于确定各种设备信息的存储位置的搜索方法，设备信息会存储在所述联锁信息表、外部信息表或者通信文件中，需要限定搜索位置，一个搜索形式中可包含若干个搜索关键字。
[0053] 所述关键字是一种用于具体定位设备信息的标签，通过所述搜索形式确定设备存储位置，再根据关键字定位具体设备信息，查询关键字用于识别本次查询需要搜索的信息表所含具体子表的某一列或者多列。
[0054] 所述通用搜索语法搜索步骤，具体的，包括以下步骤：
[0055] 步骤1，从所述通用联锁逻辑的语法字符串中解析出若干自定义搜索语法，并从每一个自定义搜索语法中解析得到其布尔参数和若干搜索形式，再从每一个搜索形式中解析得到若干关键字；
[0056] 步骤2，根据每一个搜索形式下的关键字，从联锁信息表、外部信息表和通信文件中定位出设备信息所对应的存储位置，并将搜索结果中存储位置重叠的设备信息作为每一个搜索形式对应的设备搜索结果；
[0057] 所述步骤2，具体的：
[0058] 首先，设定每一个搜索形式下的第一个关键字所定位的设备信息为当前搜索的基准，然后从该设备开始搜索联锁信息表、外部信息表和通信文件中所有相同设备信息对应的存储位置；
[0059] 然后，以相同的方法对第二个关键字进行搜索，并将搜索结果与第一个设备的搜索结果进行比对，将对应的存储位置重叠的设备信息作为第二个关键字的所定位的设备信息，同时将第二个关键字所定位的设备信息设定为第三个关键字搜索的基准；
[0060] 根据关键字的顺序依次重复上述过程，对第N个关键字进行搜索时，都以第N‑1个关键字所定位的设备信息为基准，并比对第N个关键字和第N‑1个关键字搜索结果中存储位置重叠的设备信息，最后重叠部分对应的设备信息即为该搜索形式所对应的搜索结果。
[0061] 步骤3，将步骤2中得到的每一个搜索形式对应的搜索结果作为一个集合，并采用并集运算、补集运算和/或条件判断运算逻辑，将所有的搜索形式对应的搜索结果进行逻辑运算合并；所述并集运算是指搜索形式的搜索结果之间的符号‘+’，是将两种搜索结果取和去重；所述补集运算是指搜索形式的搜索结果之间的符号‘‑’，是在第一种搜索形式的搜索结果中去掉所包含的第二种搜索形式的搜索结果；所述条件判断是指搜索形式的搜索结果之间的符号‘*’，是在第一种搜索形式有结果的前提下取第二种搜索形式的结果，步骤3得到的结果中对应有存储位置的设备信息对应的即是站场所需定义的所有有效设备。
[0062] 所述步骤3，具体的：
[0063] 首先，采用并集运算、补集运算和/或条件判断运算逻辑对步骤2中两个搜索形式对应的搜索结果的集合进行逻辑运算，并输出运算结果集合A；
[0064] 然后，同样采用并集运算、补集运算和/或条件判断运算逻辑将运算结果集合A与第三个搜索形式对应的搜索结果的集合进行逻辑运算得到运算结果集合B；
[0065] 按照上述方法对剩余的搜索结果的集合进行逻辑运算，得到逻辑运算合并后的设备信息存储位置结果。
[0066] 更具体的：
[0067] 第一个搜索形式和第二个搜索形式对应的搜索结果，设定两个搜索形式之间对应的运算是并集运算、和/补集运算、和/条件判断，将两个搜索形式之间的设备按照给出逻辑运算方式进行计算，得到结果，作为第一个搜索形式和第二个搜索形式的运算结果。
[0068] 然后，取第三个搜索形式对应的搜索结果，设定第二个搜索形式和第三个搜索形式之间对应的运算是并集运算、和/补集运算、和/条件判断，将第一个搜索形式和第二个搜索形式的运算结果与第三个搜索形式的搜索结果按照第二个搜索形式和第三个搜索形式之间给出逻辑运算方式进行计算，得到结果，作为第二个搜索形式和第三个搜索形式的运算结果。
[0069] 最后，设定总共有K个搜索形式，则总共进行K‑1次逻辑运算，设定第K‑1个搜索形式和第K个搜索形式之间对应的运算是并集运算、和/补集运算、和/条件判断，将第K‑2个搜索形式和第K‑1个搜索形式的运算结果与第K个搜索形式的搜索结果按照第K‑1个搜索形式和第K个搜索形式之间给出逻辑运算方式进行计算，得到结果，作为第K个搜索形式的运算结果。
[0070] 所述布尔逻辑及上下位机通信码位生成步骤，如图3，将每一个所述自定义搜索语法的顺序作为其对应布尔参数的顺序，将所述通用搜索语法搜索步骤中得到的站场中所有带有布尔参数标签的有效设备进行排序，得到站场中所有有效设备的码位及每个码位对应的布尔表达式，和所有上下位机设备间通信所需码位，如图2，在上位机通信码位的生成过程中，在等号左边定义通信码位的输入部分和输出部分标志，用于识别该码位属于输入部分还是输出部分，所有有效设备的码位及每个码位对应的布尔表达式组合在一起即是布尔逻辑，所有上下位机通信所需码位组合在一起即是上下位机通信码位。
[0071] 所述布尔逻辑及上下位机通信码位生成，具体的，
[0072] 首先，取所述通用搜索语法搜索步骤中得到的站场中所有带有布尔参数标签的有效设备；
[0073] 然后，将所有有效设备和对应的布尔参数进行组合生成码位，设定自定义搜索语法E中的布尔参数为param，则自定义搜索语法中的所有搜索形式对应的设备搜索结果进行逻辑运算后的结果为E1，E2，…，En，将布尔参数和设备组合成有效码为E1‑param，E2‑param，…，En‑param；
[0074] 即，设定全站总共有M个自定义搜索语法，全站所有自定义搜索语法的搜索结果进行逻辑运算后，结果与对应的布尔参数进行组合即得到站场中所有有效设备的码位及每个码位对应的布尔表达式，而所有上下位机设备间通信所需码位，则在所述输入信息制作步骤中根据联锁顺序就能得到，如图2，与上位机通信的每个码位在等号右边定义搜索的逻辑和运算符判断，用于查询码位对应的设备，最后将搜索到的设备和参数进行组合即可得到最终的码位。
