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

权利要求书

1.一种列车自动监控系统的进路逻辑生成系统，其特征在于，包括：客户端、数据库服务器组、维护组件以及视图化组件；

客户端，包括接收模块、逻辑模块；

其中，接收模块用于向数据库服务器组请求并接收数据；

逻辑模块将进路中的设备值及其状态定义为一个二进制数VALUE，并将进路中所有逻辑关系抽象为3种状态，分别为OP_NOT、OP_AND以及OP_OR；OP_AND表示各个设备值和状态都为真，输出动作才为真；OP_OR表示各个设备值和状态只要有一个为真，输出动作即为真；OP_NOT将进路中设备值和状态取反；逻辑模块将从数据库服务器组接收到的逻辑关系表达式通过深度遍历算法转换为析取范式，并通过对析取范式中的VALUE值进行枚举生成真指派和假指派的数据逻辑值；

数据库服务器组由若干服务器组成，每个服务器包括存储模块、发送模块；

其中，存储模块用于存储进路中的设备信息以及状态；

发送模块用于响应客户端的数据请求，将设备信息、状态及其连接关系的逻辑关系表达式发送至客户端；

维护组件，用于存储客户端的逻辑模块生成的真指派和假指派的数据逻辑值；

视图化组件，用于显示客户端的逻辑模块生成的真指派和假指派的数据逻辑值。

2.一种列车自动监控系统的进路逻辑生成方法，其特征在于，包括以下步骤：

（1）将进路中的设备值及其状态定义为一个二进制数VALUE，并将进路中所有逻辑关系抽象为3种状态，分别为OP_NOT、OP_AND以及OP_OR；

其中，OP_AND表示各个设备值和状态都为真，输出动作才为真；OP_OR表示各个设备值和状态只要有一个为真，输出动作即为真；OP_NOT将进路中设备值和状态取反；

（2）客户端从控制中心的数据库中读取出各个设备表中的设备连接关系，根据其拓扑关系，生成设备之间的逻辑关系表达式；

（3）使用深度遍历算法，将步骤（2）中的逻辑关系表达式解析为析取范式；

（4）将步骤（3）析取范式的VALUE进行枚举，即其为“0”或“1”，并根据步骤（3）所生成的析取范式的逻辑关系，生成真指派和假指派的数据逻辑值。

3.如权利要求2所述的一种列车自动监控系统的进路逻辑生成方法，其特征在于，步骤（2）中所述的设备包括始端信号机、终端信号机、区段、道岔以及敌对进路。

4.如权利要求2所述的一种列车自动监控系统的进路逻辑生成方法，其特征在于，进行步骤（3）中的深度遍历算法时，将VALUE作为叶结点，逻辑关系OP_NOT、OP_AND以及OP_OR作为中间结点。

5.如权利要求2所述的一种列车自动监控系统的进路逻辑生成方法，其特征在于，客户端对步骤（2）中生成的逻辑关系表达式进行校验。

6.如权利要求2所述的一种列车自动监控系统的进路逻辑生成方法，其特征在于，客户端对步骤（3）中生成的析取范式进行真值表验证。