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

摘要

本发明公开了一种列车自动监控系统的进路逻辑生成系统及其方法，该系统包括客户端、数据库、维护组件以及视图化组件。其方法包括以下步骤：（1）统一定义设备值及其状态和逻辑关系；（2）客户端生成逻辑关系表达式；（3）将逻辑关系表达式转换为析取范式；（4）将析取范式的逻辑关系生成真指派和假指派的数据逻辑值。本发明能够降低列车自动监控系统的进路监控的复杂度并且提高系统的安全性以及可靠性。

主权项

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