[发明专利]一种列车自动监控系统的进路逻辑生成系统及其方法

说明书

技术领域

本发明属于轨道交通信号控制领域，主要涉及一种列车自动监控系统的进路逻辑生成系统及其方法。

背景技术

轨道交通列车自动监控系统是轨道交通自动化领域核心专业之一，是保证列车运行安全、实现行车指挥和列车运行现代化，提高运输效率的关键系统。随着列车自动监控系统不断走向网络化和集成化，列车运行时所处理的进路逻辑越来越复杂，因此急需一种方法来对实时运行进路进行判断，降低监控的复杂度并且提高系统的安全性以及可靠性。

发明内容

发明目的：本发明的目的是针对现有技术的不足而公开了一种列车自动监控系统的进路逻辑生成系统及其方法，从而能够降低监控的复杂度并且提高系统的安全性以及可靠性。

技术方案：为了实现发明的目的，本发明公开了一种列车自动监控系统的进路逻辑生成系统，包括：客户端、数据库服务器组、维护组件以及视图化组件；客户端，包括接收模块、逻辑模块；其中，接收模块用于向数据库服务器组请求并接收数据；逻辑模块将进路中的设备值及其状态定义为一个二进制数VALUE，并将进路中所有逻辑关系抽象为3种状态，分别为OP_NOT、OP_AND以及OP_OR；OP_AND表示各个设备值和状态都为真，输出动作才为真；OP_OR表示各个设备值和状态只要有一个为真，输出动作即为真；OP_NOT将进路中设备值和状态取反；逻辑模块将从数据库服务器组接收到的逻辑关系表达式通过深度遍历算法转换为析取范式，并通过对析取范式中的VALUE值进行枚举生成真指派和假指派的数据逻辑值；数据库服务器组由若干服务器组成，每个服务器包括存储模块、发送模块；其中，存储模块用于存储进路中的设备信息以及状态；发送模块用于响应客户端的数据请求，并发送数据至客户端；维护组件，用于存储客户端的逻辑模块生成的真指派和假指派的数据逻辑值；视图化组件，用于显示客户端的逻辑模块生成的真指派和假指派的数据逻辑值。

本发明公开了所述系统的一种列车自动监控系统的进路逻辑生成方法，包括以下步骤：（1）将进路中的设备值及其状态定义为一个二进制数VALUE，并将进路中所有逻辑关系抽象为3种状态，分别为OP_NOT、OP_AND以及OP_OR；其中，OP_AND表示各个设备值和状态都为真，输出动作才为真；OP_OR表示各个设备值和状态只要有一个为真，输出动作即为真；OP_NOT将进路中设备值和状态取反；（2）客户端从控制中心的数据库中读取出各个设备表中的设备连接关系，根据其拓扑关系，生成设备之间的逻辑关系表达式；（3）使用深度遍历算法，将步骤（2）中的逻辑关系表达式解析为析取范式；（4）将步骤（3）析取范式的VALUE进行枚举，即其为“0”或“1”，并根据步骤（3）所生成的析取范式的逻辑关系，生成真指派和假指派的数据逻辑值。

其中，步骤（2）中所述的设备包括始端信号机、终端信号机、区段、道岔以及敌对进路。进行步骤（3）中的深度遍历算法时，将VALUE作为叶结点，逻辑关系OP_NOT、OP_AND以及OP_OR作为中间结点。客户端对步骤（2）中生成的逻辑关系表达式进行校验。客户端对步骤（3）中生成的析取范式进行真值表验证。

有益效果：本发明与现有技术相比，采用了统一进路逻辑定义，将复杂的进路判断转换为简单的逻辑问题，所以降低监控的复杂度；安全读取数据库服务器的设备值及其状态，并且对生成的逻辑表达式进行校验，提高系统的安全性以及可靠性；系统中视图化组件直观地显示了进路逻辑中各个设备间的关系，使得工作人员能够实时观察到进路信息的变化，提高工作人员的工作效率。

附图说明

图1为本发明的列车自动监控系统的进路逻辑生成方法流程图。

具体实施方式