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

谢林1朱迎春2彭丽维1

Automatic Configuration Scheme of Rail Transit Station Computer Interlocking Data Based on Boolean Algebra

XIE LinZHU YingchunPENG Liwei
摘要:
为提供一种基于布尔代数,根据联锁信息表和外部接口信息表及自定义的设备查询语法,自动生成轨道交通车站所有有效设备对应码位联锁数据的自动配置方法,从自动配置输入、通用语法搜索、布尔逻辑及通信码位生成等三方面展开研究。利用联锁工具将输入转换成固定格式的联锁逻辑信息,对通用搜索语法阶段的语法定义格式、搜索形式处理及搜索逻辑运算过程进行了具体分析,并对自定义的通用搜索语法进行解析;根据通用搜索语法提供的搜索形式,从固定格式的联锁逻辑信息中查询相关内容并进行逻辑运算,得到参数对应的有效设备信息为每个参数生成对应的码位,并为每个码位赋予运算表达式生成布尔逻辑;借用搜索语法阶段对应的搜索形式,指定通信参数的输入和输出标志及类型码,生成操作机与联锁机的通信码位;从数据配置格式和搜索形式上对该方案带来的变化进行可行性分析。基于布尔代数的轨道交通车站计算机联锁数据自动配置方案在技术上是可实施的。
Abstracts:
To provide an automatic configuration method for generating interlocking data corresponding to all valid equipment codes at rail transit stations based on Boolean algebra and according to interlocking information tables, external interface information tables and custom equipment query syntax, this process is studied from three aspects: automatic configuration input, universal syntax search and Boolean logic and communication code generation. The input is converted into fixed-format interlocking logic information using an interlocking tool. The syntax definition format, search form processing and logical operation process of the universal search syntax stage are analyzed in-depth, and the custom universal search syntax is parsed. Based on the search form provided by universal search syntax, relevant content is queried and logical operation is performed on fixed-format interlocking logic information to obtain valid equipment information and code corresponding to each parameter and generate Boolean logic expressions for each code. The input and output flags and type codes of the communication parameters are specified using the corresponding search form in the syntax stage, and communication codes for operation machine and interlocking machine are generated. The feasibility of the changes brought by this scheme is analyzed from the perspective of data configuration format and search form. The automatic configuration scheme for rail transit station computer interlocking data based on Boolean algebra proves to be technically feasible.
论文检索