一种联锁逻辑规则配置文件的自动更新系统及方法技术方案

本发明专利技术涉及一种联锁逻辑规则配置文件的自动更新系统及方法，该系统包括输入接口模块、参数表更新模块、通用规则数据库更新模块、特殊搜索逻辑表更新模块、特定应用表达式库更新模块、时序表更新模块和输出接口模块；所述的输入接口模块用于将更新版本联锁逻辑规则配置文件模板及配置方法文件、前一版本联锁逻辑规则配置文件模板及配置方法文件、前一版本完成配置的联锁逻辑规则配置文件分别发送给参数表更新模块、通用规则数据库更新模块、特殊搜索逻辑表更新模块、特定应用表达式库更新模块、时序表更新模块。与现有技术相比，本发明专利技术具有极大地降低工作量，提升联锁逻辑规则配置文件设计效率等优点。文件设计效率等优点。文件设计效率等优点。

【技术实现步骤摘要】
一种联锁逻辑规则配置文件的自动更新系统及方法


[0001]本专利技术涉及列车信号控制系统，尤其是涉及一种联锁逻辑规则配置文件的自动更新系统及方法。

技术介绍

[0002]对于联锁系统的下位机控制单元中运行以布尔代数的逻辑方法进行编写的布尔文件实现联锁软件时，因联锁软件的逻辑语句数量很大，手工编制的难度很大，因此目前大都采取CN104049975A中所提到的自动化的方式生成布尔逻辑语句。为方便布尔逻辑的生成，需要先完成联锁逻辑规则配置文件，联锁逻辑规则配置文件中定义了通用的规则库子表、时序表、特殊逻辑搜索子表和参数声明子表等，在特殊逻辑搜索子表和参数声明子表中根据对应的规则将站场中的信号设备如信号机、道岔、进路以及其他零散轨旁信号设备按照对应的逻辑进行排列和配置，配合通用的规则库子表以及时序表，作为生成布尔逻辑语句的输入文件。
[0003]因此，对于需要生成的布尔文件而言，首先需要信号人员按照指定的流程和规范编写联锁逻辑规则配置文件，之后再通过配置文件生成布尔文件。而当首版布尔文件生成之后，因需求变更或设计变更等原因，对既有联锁逻辑规则配本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种联锁逻辑规则配置文件的自动更新系统，其特征在于，该系统包括输入接口模块、参数表更新模块、通用规则数据库更新模块、特殊搜索逻辑表更新模块、特定应用表达式库更新模块、时序表更新模块和输出接口模块；所述的输入接口模块用于将更新版本联锁逻辑规则配置文件模板及配置方法文件、前一版本联锁逻辑规则配置文件模板及配置方法文件、前一版本完成配置的联锁逻辑规则配置文件分别发送给参数表更新模块、通用规则数据库更新模块、特殊搜索逻辑表更新模块、特定应用表达式库更新模块、时序表更新模块；所述的参数表更新模块、通用规则数据库更新模块、特殊搜索逻辑表更新模块、特定应用表达式库更新模块、时序表更新模块对接收的文件进行相应处理后通过输出接口模块输出更新后的联锁逻辑规则配置文件和变更记录。2.根据权利要求1所述的一种联锁逻辑规则配置文件的自动更新系统，其特征在于，所述的联锁逻辑规则配置文件为自动生成运算逻辑布尔文件的输入文件，包括通用规则数据库子表、参数表子表、特殊搜索逻辑子表、特定应用表达式库子表和时序表子表；其中所述通用规则数据库子表用来定义通用的联锁逻辑规则；所述参数表子表用来定义和声明特定站场中的信号设备名称和与之关联的设备逻辑状态变量；所述特殊搜索逻辑子表用来定义信号设备对象的逻辑关系；所述特定应用表达式库子表用来定义特定项目上的特殊应用的布尔逻辑表达式；所述时序表子表用来定义布尔逻辑语句的生成顺序。3.根据权利要求1所述的一种联锁逻辑规则配置文件的自动更新系统，其特征在于，所述的输入接口模块对输入文件得数据结构进行文件解析后读入文件中的内容。4.根据权利要求2所述的一种联锁逻辑规则配置文件的自动更新系统，其特征在于，所述的参数表更新模块以配置项目编号为基准，对比旧模板和新模板的参数表子表各个配置项目以及配置原则文件。5.根据权利要求4所述的一种联锁逻辑规则配置文件的自动更新系统，其特征在于，(a)如果配置编号对应的码位名称、配置方法均没有发生变化，则认为本次联锁逻辑规则配置文件的更新范围没有涉及到该配置项，直接将前一版本该配置编号对应的信号设备名称中配置的信号设备及码位名称赋值到联锁逻辑规则配置文件，该配置编号对应的信号设备名称列和码位名称列；(b)如果配置编号对应的码位名称发生变化、但对应配置方法没有发生变化，则表示配置方法和原则没有发生改变，但对应的实现方法进行了修改，此时将旧模板文件该配置编号对应的信号设备名称中配置的信号设备赋值到目标文件该配置编号对应的信号设备名称列，将旧模板文件该配置编号对应的码位名称赋值到目标文件该配置编号对应的码位名称列；(c)如果配置编号对应的配置方法发生了变化，则表示配置方法和原则发生改变，不能直接照搬之前信号设备名称配置，仅将新模板文件该配置编号对应的码位名称赋值到目标文件该配置编号对应的码位名称列，同时在变更记录文件中对该结果进行记录。6.根据权利要求5所述的一种联锁逻辑规则配置文件的自动更新系统，其特征在于，所述的参数表更新模块在完成更新后，再对比更新前一版本联锁逻辑规则配置文件模板，以
及更新前一版本已完成配置的联锁逻辑规则配置文件，对于前一版本已完成配置的联锁逻辑规则配置文件参数表子表中新增加的配置项目，直接将其配置项目编号，信号设备名称，以及码位名称列的内容赋值到目标文件参数表子表的最后，同时在变更记录文件中对该结果进行记录。7.根据权利要求2所述的一种联锁逻辑规则配置文件的自动更新系统，其特征在于，所述的通用规则数据库更新模块直接将新模板中通用规则数据库子表中的内容作为更新结果赋值到目标文件中。8.根据权利要求7所述的一种联锁逻辑规则配置文件的自动更新系统，其特征在于，所述的通用规则数据库更新模块在通用规则数据库更新完成后，对通用规则数据库的格式合法性进行检查，逐个比对通用的联锁逻辑规则中调用的参数名称是否均在参数表子表的码位名称列有定义，如果出现有参数名称未定义的，则新模板文件有错，在变更记录文件中进行报错提示，不再输出目标文件。9.根据权利要求2所述的一种联锁逻辑规则配置文件的自动更新系统，其特征在于，所述的特殊搜索逻辑表更新模块以特殊搜索逻辑子表中的子表名称为基准，对比旧模板和新模板的特殊搜索逻辑子表各个子表的信号设备码位名称列的名称，以及配置原则文件。10.根据权利要求9所述的一种联锁逻辑...

【专利技术属性】
技术研发人员：辛帆，张程，杨平，李卫娟，马雯，马锐，王燕岑，王康，
申请(专利权)人：卡斯柯信号有限公司，
类型：发明
国别省市：