基于布尔代数的轨道交通车站计算机联锁数据自动配置方案研究

为提供一种基于布尔代数,根据联锁信息表和外部接口信息表及自定义的设备查询语法,自动生成轨道交通车站所有有效设备对应码位联锁数据的自动配置方法,从自动配置输入、通用语法搜索、布尔逻辑及通信码位生成等三方面展开研究。利用联锁工具将输入转换成固定格式的联锁逻辑信息,对通用搜索语法阶段的语法定义格式、搜索形式处理及搜索逻辑运算过程进行了具体分析,并对自定义的通用搜索语法进行解析;根据通用搜索语法提供的搜索形式,从固定格式的联锁逻辑信息中查询相关内容并进行逻辑运算,得到参数对应的有效设备信息为每个参数生成对应的码位,并为每个码位赋予运算表达式生成布尔逻辑;借用搜索语法阶段对应的搜索形式,指定通信参数的输入和输出标志及类型码,生成操作机与联锁机的通信码位;从数据配置格式和搜索形式上对该方案带来的变化进行可行性分析。基于布尔代数的轨道交通车站计算机联锁数据自动配置方案在技术上是可实施的。