一种列车自动监控系统的进路逻辑生成系统及其方法
【专利摘要】本发明公开了一种列车自动监控系统的进路逻辑生成系统及其方法，该系统包括客户端、数据库、维护组件以及视图化组件。其方法包括以下步骤：（1）统一定义设备值及其状态和逻辑关系；（2）客户端生成逻辑关系表达式；（3）将逻辑关系表达式转换为析取范式；（4）将析取范式的逻辑关系生成真指派和假指派的数据逻辑值。本发明能够降低列车自动监控系统的进路监控的复杂度并且提高系统的安全性以及可靠性。
【专利说明】一种列车自动监控系统的进路逻辑生成系统及其方法【技术领域】
[0001]本发明属于轨道交通信号控制领域，主要涉及一种列车自动监控系统的进路逻辑生成系统及其方法。
【背景技术】
[0002]轨道交通列车自动监控系统是轨道交通自动化领域核心专业之一，是保证列车运行安全、实现行车指挥和列车运行现代化，提高运输效率的关键系统。随着列车自动监控系统不断走向网络化和集成化，列车运行时所处理的进路逻辑越来越复杂，因此急需一种方法来对实时运行进路进行判断，降低监控的复杂度并且提高系统的安全性以及可靠性。
【发明内容】
[0003]发明目的:本发明的目的是针对现有技术的不足而公开了一种列车自动监控系统的进路逻辑生成系统及其方法，从而能够降低监控的复杂度并且提高系统的安全性以及可靠性。
[0004]技术方案:为 了实现发明的目的，本发明公开了一种列车自动监控系统的进路逻辑生成系统，包括:客户端、数据库服务器组、维护组件以及视图化组件；客户端，包括接收模块、逻辑模块；其中，接收模块用于向数据库服务器组请求并接收数据；逻辑模块将进路中的设备值及其状态定义为一个二进制数VALUE，并将进路中所有逻辑关系抽象为3种状态，分别为0P_N0T、0P_AND以及0P_0R ；0P_AND表示各个设备值和状态都为真，输出动作才为真；0P_0R表示各个设备值和状态只要有一个为真，输出动作即为真；0Ρ_Ν0Τ将进路中设备值和状态取反；逻辑模块将从数据库服务器组接收到的逻辑关系表达式通过深度遍历算法转换为析取范式，并通过对析取范式中的VALUE值进行枚举生成真指派和假指派的数据逻辑值；数据库服务器组由若干服务器组成，每个服务器包括存储模块、发送模块；其中，存储模块用于存储进路中的设备信息以及状态；发送模块用于响应客户端的数据请求，并发送数据至客户端；维护组件，用于存储客户端的逻辑模块生成的真指派和假指派的数据逻辑值；视图化组件，用于显示客户端的逻辑模块生成的真指派和假指派的数据逻辑值。
[0005]本发明公开了所述系统的一种列车自动监控系统的进路逻辑生成方法，包括以下步骤:(I)将进路中的设备值及其状态定义为一个二进制数VALUE，并将进路中所有逻辑关系抽象为3种状态，分别为0P_N0T、0P_AND以及0P_0R ;其中，0P_AND表示各个设备值和状态都为真，输出动作才为真；0P_0R表示各个设备值和状态只要有一个为真，输出动作即为真；0Ρ_Ν0Τ将进路中设备值和状态取反；(2)客户端从控制中心的数据库中读取出各个设备表中的设备连接关系，根据其拓扑关系，生成设备之间的逻辑关系表达式；(3)使用深度遍历算法，将步骤(2)中的逻辑关系表达式解析为析取范式；(4)将步骤(3)析取范式的VALUE进行枚举，即其为“O”或“1”，并根据步骤(3)所生成的析取范式的逻辑关系，生成真指派和假指派的数据逻辑值。
[0006]其中，步骤(2)中所述的设备包括始端信号机、终端信号机、区段、道岔以及敌对进路。进行步骤(3)中的深度遍历算法时，将VALUE作为叶结点，逻辑关系OP_NOT、OP_AND以及OP_OR作为中间结点。客户端对步骤(2)中生成的逻辑关系表达式进行校验。客户端对步骤(3)中生成的析取范式进行真值表验证。
[0007]有益效果:本发明与现有技术相比，采用了统一进路逻辑定义，将复杂的进路判断转换为简单的逻辑问题，所以降低监控的复杂度；安全读取数据库服务器的设备值及其状态，并且对生成的逻辑表达式进行校验，提高系统的安全性以及可靠性；系统中视图化组件直观地显示了进路逻辑中各个设备间的关系，使得工作人员能够实时观察到进路信息的变化，提高工作人员的工作效率。
【专利附图】
【附图说明】
[0008]图1为本发明的列车自动监控系统的进路逻辑生成方法流程图。
【具体实施方式】
[0009]本发明公开的一种列车自动监控系统的进路逻辑生成系统，包括:客户端、数据库服务器组、维护组件以及视图化组件；客户端，包括接收模块、逻辑模块；其中，接收模块用于向数据库服务器组请求并接收数据；逻辑模块将进路中的设备值及其状态定义为一个二进制数VALUE，并将进路中所有逻辑关系抽象为3种状态，分别为0P_N0T、0P_AND以及0P_OR ；0P_AND表示各个设备值和状态都为真，输出动作才为真；0P_0R表示各个设备值和状态只要有一个为真，输出动作即为真；0Ρ_Ν0Τ将进路中设备值和状态取反；逻辑模块将从数据库服务器组接收到的逻辑关系表达式通过深度遍历算法转换为析取范式，并通过对析取范式中的VALUE值进行枚举生成真指派和假指派的数据逻辑值；数据库服务器组由若干服务器组成，每个服务器包括存储模块、发送模块；其中，存储模块用于存储进路中的设备信息以及状态；发送模块用于响应客户端的数据请求，并发送数据至客户端；维护组件，用于存储客户端的逻辑模块生成的真指派和假指派的数据逻辑值；视图化组件，用于显示客户端的逻辑模块生成的真指派和假指派的数据逻辑值。
[0010]下面结合附图对本发明作更进一步的说明。
[0011]如图1所示，客户端进行数据访问请求，根据侦测到的服务周期性判断服务器的负荷和状态，将服务器状态和IP地址映射到客户端；客户端找出负荷较低、状态正常的服务器IP地址，创建请求代理对象，与服务器建立连接；客户端将含有进路始端以及终端信号机的数据发送给服务器；服务器接收请求，寻找进路的始端以及终端信号机，存在该进路则将该进路的信号机、区段、道岔、敌对进路等设备值及其状态作为VALUE，并将其用0P_N0T、0P_AND、0P_0R的逻辑关系连接起来形成逻辑关系表达式发送给客户端，这样统一的逻辑定义将复杂的进路判断转换为简单的逻辑问题，所以降低监控的复杂度，否则不存在即进入异常处理；客户端接收到逻辑关系表达式并对其进行校验，分解逻辑关系表达式为以0P_0R连接的TERM串，使用嵌套方式构造0P_0R连接的左子树TERM和右子树TERM，对逻辑关系表达式的校验提高系统的安全性以及可靠性；提取一个TERM串，分解TERM串为0P_AND连接的VAR串，使用嵌套方式构造0P_AND连接的左子树VAR和右子树VAR ;检查ATOM串中是否包含0Ρ_Ν0Τ运算符，若有则将ATOM串取反；不断进行以上动作直到分解为一个二叉树结构，然后进行深度遍历，对遍历完生成的表达式进行校验，判断其是否为析取范式，若不是则进入异常处理，若是则继续，对遍历完生成的表达式校验提高系统的安全性以及可靠性；是对进路析取范式进行真值表验证，枚举成真指派和假指派的数据逻辑值，提取有效输出动作的方法。最后将进路析取范式和有效记录以XML文件的格式进行保存到维护组件中，并将进路逻辑中各个设备间的关系在视图化组件中进行显示，系统中视图化组件直观地显示了进路逻辑中各个设备间的关系，使得工作人员能够实时观察到进路信息的变化，提高工作人员的工作效率。
【权利要求】
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进行枚举，即其为“O”或“1”，并根据步骤(3)所生成的析取范式的逻辑关系，生成真指派和假指派的数据逻辑值。
3.如权利要求2所述的一种列车自动监控系统的进路逻辑生成方法，其特征在于，步骤(2)中所述的设备包括始端信号机、终端信号机、区段、道岔以及敌对进路。
4.如权利要求2所述的一种列车自动监控系统的进路逻辑生成方法，其特征在于，进行步骤(3)中的深度遍历算法时，将VALUE作为叶结点，逻辑关系OP_NOT、OP_AND以及0P_OR作为中间结点。
5.如权利要求2所述的一种列车自动监控系统的进路逻辑生成方法，其特征在于，客户端对步骤(2)中生成的逻辑关系表达式进行校验。
6.如权利要求2所述的一种列车自动监控系统的进路逻辑生成方法，其特征在于，客户端对步骤(3)中生成的析取范式进行真值表验证。
【文档编号】G06Q50/00GK103473705SQ201310391956
【公开日】2013年12月25日 申请日期:2013年9月2日 优先权日:2013年9月2日
【发明者】梁奕, 李岩, 邵泳哲, 高昕, 李森林 申请人:国电南瑞科技股份有限公司