[发明专利]基于LL(K)联锁布尔逻辑动态生成系统及动态生成方法

摘要

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

主权项

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