CN114385649B 一种联锁逻辑规则配置文件的自动更新系统及方法 （卡斯柯信号有限公司）

一种联锁逻辑规则配置文件的自动更新系本发明涉及一种联锁逻辑规则配置文件的自动更新系统及方法，该系统包括输入接口模的输入接口模块用于将更新版本联锁逻辑规则完成配置的联锁逻辑规则配置文件分别发送给2所述的输入接口模块用于将更新版本联锁逻辑规则配置文件模板及配置所述的联锁逻辑规则配置文件为自动生成运算逻辑布尔文件的其中所述通用规则数据库子表用来定义通用的联锁所述参数表子表用来定义和声明特定站场中的信号设备名称和与之关联的设备逻辑所述特殊搜索逻辑子表用来定义信号设备对象的逻辑所述特定应用表达式库子表用来定义特定项目上的特殊应用的布尔所述时序表子表用来定义布尔逻辑语句的生所述的输入接口模块对输入文件得数据结构进行文件解析后读入文件所述的参数表更新模块以配置项目编号为基准，对比旧模板和新模所述的通用规则数据库更新模块直接将新模板中通用规则数据库子表中的内容作为所述的特殊搜索逻辑表更新模块以特殊搜索逻辑子表中的子表名称为基所述的特定应用表达式库更新模块首先根据新模板文件的特定应用表件的特定应用表达式库子表中规则库名称列与布尔表达式列然后再逐一对比旧模板文件与前一版本已完成配置的联锁逻辑规则配置文件的特定逻辑规则配置文件的特定应用表达式库子表中某一行内容完全没有出现在旧模板文件中，所述的时序表更新模块首先根据新模板文件的时序表子表更新到目标32.根据权利要求1所述的一种联锁逻辑规则配置文件的自动更新系统，其特征在于，号对应的信号设备名称中配置的信号设备赋值到目标文件该配置编号对应的信号设备名称列；5.根据权利要求1所述的一种联锁逻辑规则配置文件的自动更新系统，其特征在于，原则均没有发生变化，则认为本次联锁逻辑规则配置文件的更新范围没有涉及到该子表，及列下的所有内容赋值到目标文件的特殊搜索逻辑(c)如果特殊搜索逻辑子表名称没有发生变化，但子表下信号设备码位名称列的名称4述的逐一对比新模板文件与前一版本已完成配置的联锁逻辑规则配置文件的特定应用表8.一种用于权利要求1所述联锁逻辑规则配置文件的自动更新系统的方法，其特征在9.一种电子设备，包括存储器和处理器，所述存储器上存5[0002]对于联锁系统的下位机控制单元中运行以布尔代数的逻辑方法进行编写的布尔都采取CN104049975A中所提到的自动化的方式生成布尔逻辑语句。为方便布尔逻辑的生[0004]本发明的目的就是为了克服上述现有技术存在的缺陷而提供一种联锁逻辑规则[0007]所述的输入接口模块用于将更新版本联锁逻辑规则配置文件模板及配置方法文6[0011]所述参数表子表用来定义和声明特定站场中的信号设备名称和与之关联的设备板和新模板的参数表子表各个配置项目以及该配置编号对应的信号设备名称中配置的信号设备及码位名称赋值到联锁逻辑规则配置置编号对应的信号设备名称中配置的信号设备赋值到目标文件该配置编号对应的信号设本联锁逻辑规则配置文件模板，以及更新前一版本已完成配置的联锁逻辑规则配置文件，7设备对象、信号设备码位名称列及列下的所有内容赋值到目标文件的特殊搜索逻辑子表[0025](b)如果特殊搜索逻辑子表名称，子表下信号设备码位名称列的名称没有发生变[0026](c)如果特殊搜索逻辑子表名称没有发生变化，但子表下信号设备码位名称列的[0027](d)如果特殊搜索逻辑子表名称发生变化，新加或删除了子表；对于删除掉的子配置的联锁逻辑规则配置文件的特定应用表达式库子表中规则库名称列与布尔表达式列[0030]然后再逐一对比旧模板文件与前一版本已完成配置的联锁逻辑规则配置文件的联锁逻辑规则配置文件的特定应用表达式库子表中某一行内容完全没有出现在旧模板文逻辑规则配置文件的特定应用表达式库子表中规则库名称列与布尔表达式列中各行的内完成配置的联锁逻辑规则配置文件的特定应用表达式库子表中该行的变量名称列配置的89[0051]所述的参数表子表中主要用来定义和声明特定站场中的信号设备名称和与之关逻辑子表中可以定义进路名称及进路对应的防护区段名称及对应的工作人员保护开关名[0053]所述的特定应用表达式库子表中主要定义特定项目上的特殊应用的布尔逻辑表[0055]结合图1所述的联锁逻辑规则配置文件自动更新系统的架构及数据流图，实现联编号对应的信号设备名称中配置的信号设备及码位名称赋值到联锁逻辑规则配置文件(之对应的码位名称赋值到目标文件该配置编号对应的码位名称列；<3>配置编号对应的配置仅将新模板文件该配置编号对应的码位名称赋值到目标文件该配置编号对应的码位名称码位名称A,码位名称B,…码位名称C,码位名称D,………信号设备码位名称列及列下的所有内容赋值到目标文件的特殊搜索逻辑子表中；<2>子表完成配置的联锁逻辑规则配置文件的特定应用表达式库子表中规则库名称列与布尔表达版本已完成配置的联锁逻辑规则配置文件的特定应用表达式库子表中该行的变量名称列再逐一对比旧模板文件与前一版本已完成配置的联锁逻辑规则配置文件的特定应用表达行是项目特定应用的范畴，将该行内容整体赋值到目标文件特定应用表达式库子表的最新增的规则库名称的前一规则库名称(设为规则库名称A)作为比较基准，将该新增加的规则库名称及排序方法增加到目标文件时序表子表的规则库名称A的下一位置。同时在变更…文所述的种联锁逻辑规则配置文件的使用以发生了变化，要求将配置本站所有的列车信号机改为本站所有能做进路终端的列车信号[0079]步骤1-3：参数表更新模块逐个对比新模板文件和旧模板文件参数表子表的各个项目配置的进路名称直接赋值到目标文件CIDSR-A-0001项目中；配置项目编号CIDSR-A-子表进行语法的合法性检查。将通用规则数据库子表中所有的表达式中出现的参数名称，特殊搜索逻辑表子表中删除了其中一个子表-Signal子表；修改了其中一个子表-ROUTE子[0091]步骤3-3：参数表更新模块逐个对比新模板文件和旧模板文件特殊搜索逻辑表子搜索逻辑表子表的ROUTE子表的信号设备对象列和FHQD列下的配置直接赋值到目标文件到特定应用表达式库子表中规则库名称为GZK1表达式的变更，修改了其布尔表达式BOL1；锁逻辑规则配置文件的特定应用表达式库子表中规则库名称列与布尔表达式列中各行的逻辑规则配置文件的特定应用表达式库子表中该行的变量名称列配置的变量赋值到目标[0098]步骤4-4：逐一对比旧模板文件与前一版本已完成配置的联锁逻辑规则配置文件配置的联锁逻辑规则配置文件的特定应用表达式库子表中比旧模板文件中多出来的部分，[0104]步骤5-4：逐一对比旧模板文件与前一版本已完成配置的联锁逻辑规则配置文件的计算机程序指令或者从存储单元加载到随机访问存储器(RAM)中的计算机程序指令，来[0110]本文中以上描述的功能可以至少部分地由一个或多个硬件逻辑部件来执行。例[0111]用于实施本发明的方法的程序代码可以采用一个或多个编程语言的任何组合来理器或控制器，使得程序代码当由处理器或控