基于LL(K)联锁布尔逻辑动态生成系统及动态生成方法技术方案

本发明专利技术公开一种城市轨道交通领域的联锁布尔逻辑动态生成系统及动态生成方法，该系统包括组件部署模块、联锁制表模块、语义规则模块、逻辑生成模块、动态生成布尔逻辑数据。数据加密模块，根据生成的逻辑数据，进行数据加密重排，生成布尔逻辑文件。防止后期对该文件的误修改，保证数据安全。本发明专利技术技术方案采用上下文无关的LL(K)方式对联锁逻辑进行解析并动态生成输出，联锁开发人员后期只需要遵从预定语法规则对联锁逻辑进行修改，即可实时动态生成最新的布尔逻辑，无需改动任何代码，实现规则与生成的解耦，极大程度上减轻信号技术人员的工作负担，加密技术的引入确保逻辑数据的安全性，可靠性高，提高了工作效率。

【技术实现步骤摘要】
基于LL(K)联锁布尔逻辑动态生成系统及动态生成方法
本专利技术涉及城市轨道交通信号控制领域，尤其涉及联锁系统布尔逻辑的生成系统。
技术介绍
联锁设备的正确稳定运行是轨道交通健康、有序运行的前提，其直接影响到列车的安全运行，甚至于乘客的人身财产安全。联锁布尔逻辑BA(BooleanAlgebra)是确保联锁设备之间稳定有序协作的一组表达式，其运算结果是联锁设备安全运行的保障和基础。由于联锁设备间耦合关系复杂，因此惯用的做法是由有经验的信号专业人员将各设备联动关系进行整理计算，手工编写BA。但人工编制带来的问题是BA错误量大，运行可靠性低。随着将计算机技术引入联锁系统，出现了自动生成BA的工具。其本质是将人工编写BA替换为计算机生成，但无法自由修改。一旦出现逻辑变更，则需修改底层程序。系统耦合、粘连性强；过于复杂、笨重；灵活度、易用度低，维护成本较高，出现改动后生成的BA错误量较高。综合以上说明，需要一种新的技术方案以解决上述问题。
技术实现思路
专利技术目的：本专利技术提供一种基于LL(K)布尔逻辑动态生成系统。采用语义规则模块定制规则，LL(K)方法解析、动态生成BA，从而将BA的规则本文档来自技高网...

【技术保护点】
1.一种基于LL(K)联锁布尔逻辑动态生成系统，其特征在于，包括：组件部署模块，用于开发人员部署站场图上各基本联锁设备，组建各设备之间的连接关系，组件部署模块输出一张有向站场拓扑信息图；联锁制表模块，用于通过有向站场拓扑信息图提供的站场数据，基于图的深度优先搜索算法，搜寻创建进路联锁表；语义规则模块，用于开发人员定制BA的生成规则，形成SRL(Syntax Rule Library)；逻辑生成模块，用于基于上下文无关的LL(K)方法解析SRL，通过SRL关键字指示的方法搜寻目标设备，与SRL提供的算子及自由变量基动态生成BA；数据加密模块，用于对BA数据进行加密，生成密钥和加密文件。

【技术特征摘要】
1.一种基于LL(K)联锁布尔逻辑动态生成系统，其特征在于，包括：组件部署模块，用于开发人员部署站场图上各基本联锁设备，组建各设备之间的连接关系，组件部署模块输出一张有向站场拓扑信息图；联锁制表模块，用于通过有向站场拓扑信息图提供的站场数据，基于图的深度优先搜索算法，搜寻创建进路联锁表；语义规则模块，用于开发人员定制BA的生成规则，形成SRL(SyntaxRuleLibrary)；逻辑生成模块，用于基于上下文无关的LL(K)方法解析SRL，通过SRL关键字指示的方法搜寻目标设备，与SRL提供的算子及自由变量基动态生成BA；数据加密模块，用于对BA数据进行加密，生成密钥和加密文件。2.根据权利要求1所述的基于LL(K)联锁布尔逻辑动态生成系统，其特征在于，所述组件部署模块提供站场图的设备组件，包括：信号机，道岔，区段，站台，车挡，计轴，环线，路口控制器，道岔控制器；组件部署模块提供对各组件的部署，确定组件连接关系，包括：左连接，右连接，侧连接。3.根据权利要求2所述的基于LL(K)联锁布尔逻辑动态生成系统，其特征在于，联锁制表模块提取站场拓扑信息图中设备信息，通过基于图的深度优先算法搜寻所有进路。4.根据权利要求1所述的基于LL(K)联锁布尔逻辑动态生成系统，其特征在于，语义规则模块采用预先定义的语法规则为基础。信号开发人员在遵循预定规则的基础上，模块允许开发人员自由编辑表达式模板，编辑后的数据存入语义规则库；语义规则规定了构成一个表达式所必须的部分，包括：关键字，特定算子，自由变量基。5.根据权利要求1所述的基于LL(K)联锁布尔逻辑动态生成系统，其特征在于，逻辑生成模块采用上下文无关的LL(k)方式对表达式进行关键字识别，解析输出布尔逻辑数据；逻辑生成模块根据定义的逻辑规则库，动态生成最新的布尔逻辑数据。6.根据权利要求1所述的基于LL(K)联锁布尔逻辑动态生成系统，其特征在于，数据加密模块对生成的布尔逻辑数据进行数据重排加密，产生加密文件及密钥。7.一种根据权利要求1-7中任一项所述基于LL(K)联锁布尔逻辑动态生成系统的逻辑动态生成方法，其特征在于：通过组件部署模块生成站场图，系统提取站场图元数据利用联锁制表模块自动生成站场进路联锁表；同时系统根据信号人员在语义规则模块中定义的语法和联锁数据在逻辑生成模块中解析，最后系统根据解析的语义数据在加密模块对数据进行重排加密生成不可改变的布尔逻辑文件。8.根据权利要求7所述的动态生成方法，其特征在于，联锁制表模块处理...

【专利技术属性】
技术研发人员：魏源，梁奕，
申请(专利权)人：国电南瑞科技股份有限公司，
类型：发明
国别省市：江苏,32