CN103473705A - A route logic generation system and method for an automatic train monitoring system - Google Patents

Abstract

The invention discloses a route logic generation system and a route logic generation method of an automatic train monitoring system. The method comprises the following steps: (1) uniformly defining equipment values and states and logic relations thereof; (2) the client generates a logical relation expression; (3) converting the logic relation expression into a disjunctive normal form; (4) the logical relationship of the disjunctive normal form generates data logical values for true and false assignments. The invention can reduce the complexity of route monitoring of the automatic train monitoring system and improve the safety and reliability of the system.

Description

A route logic generation system and method for an automatic train monitoring system

technical field

The invention belongs to the field of rail traffic signal control, and mainly relates to an approach logic generating system and a method thereof for an automatic train monitoring system.

Background technique

Rail transit train automatic monitoring system is one of the core disciplines in the field of rail transit automation. It is a key system to ensure the safety of train operation, realize the modernization of traffic command and train operation, and improve transportation efficiency. As the automatic train monitoring system continues to be networked and integrated, the route logic processed during train operation is becoming more and more complex. Therefore, a method is urgently needed to judge the real-time running route, reduce the complexity of monitoring and improve the system safety and reliability.

Contents of the invention

Purpose of the invention: The purpose of the present invention is to disclose a route logic generation system and method of an automatic train monitoring system for the deficiencies of the prior art, so as to reduce the complexity of monitoring and improve the safety and reliability of the system.

Technical solution: In order to achieve the purpose of the invention, the present invention discloses an approach logic generation system for an automatic train monitoring system, including: a client, a database server group, a maintenance component, and a visualization component; the client, including a receiving module, logic module; among them, the receiving module is used to request and receive data from the database server group; the logic module defines the device value and its state in the route as a binary number VALUE, and abstracts all logical relationships in the route into three states, They are OP_NOT, OP_AND, and OP_OR respectively; OP_AND means that each device value and state are true, and the output action is true; OP_OR means that as long as one of each device value and state is true, the output action is true; OP_NOT will enter the device The value and state are reversed; the logic module converts the logical relational expression received from the database server group into the disjunctive paradigm through the depth traversal algorithm, and generates true assignments and false assignments by enumerating the VALUE values in the disjunctive paradigm Data logic value; the database server group is composed of several servers, and each server includes a storage module and a sending module; among them, the storage module is used to store device information and status in the route; the sending module is used to respond to the data request of the client and send Data to the client; the maintenance component is used to store the data logic values of the true assignment and the false assignment generated by the logic module of the client; the visualization component is used to display the data logic values of the true assignment and the false assignment generated by the logic module of the client.

The invention discloses a route logic generation method of an automatic train monitoring system of the system, which includes the following steps: (1) defining the device value and its state in the route as a binary number VALUE, and All logical relationships are abstracted into three states, namely OP_NOT, OP_AND and OP_OR; among them, OP_AND means that each device value and state are true, and the output action is true; OP_OR means that each device value and state is true, and the output The action is true; OP_NOT inverts the value and status of the device in the route; (2) The client reads the device connection relationship in each device table from the database of the control center, and generates the connection relationship between the devices according to the topological relationship Logical relational expression; (3) Use the deep traversal algorithm to parse the logical relational expression in step (2) into a disjunctive normal form; (4) Enumerate the VALUE of the disjunctive normal form in step (3), that is, it is "0" or "1", and according to the logical relationship of the disjunctive normal form generated in step (3), generate the data logic values of true assignment and false assignment.

Wherein, the equipment mentioned in step (2) includes the starting signal, terminal signal, section, turnout and hostile approach. When performing the depth traversal algorithm in step (3), use VALUE as a leaf node, and logical relations OP_NOT, OP_AND, and OP_OR as intermediate nodes. The client verifies the logical relationship expressions generated in step (2). The client verifies the truth table of the disjunctive normal form generated in step (3).

Beneficial effects: Compared with the prior art, the present invention adopts a unified route logic definition, and converts complex route judgments into simple logic problems, thereby reducing the complexity of monitoring; safely reading the device values of the database server and their state, and verify the generated logical expressions to improve the security and reliability of the system; the visual components in the system intuitively display the relationship between various devices in the route logic, so that the staff can observe the route in real time Changes in information improve staff productivity.

Description of drawings

Fig. 1 is a flow chart of the route logic generating method of the automatic train monitoring system of the present invention.

Detailed ways

The route logic generating system of an automatic train monitoring system disclosed in the present invention includes: a client, a database server group, a maintenance component, and a visualization component; the client includes a receiving module and a logic module; wherein the receiving module is used to The database server group requests and receives data; the logic module defines the device value and its state in the route as a binary number VALUE, and abstracts all logical relationships in the route into three states, namely OP_NOT, OP_AND and OP_OR; OP_AND Indicates that each device value and state is true, and the output action is true; OP_OR indicates that as long as one of each device value and state is true, the output action is true; OP_NOT reverses the device value and state in the route; the logic module will The logical relational expression received from the database server group is transformed into a disjunctive normal form through a deep traversal algorithm, and the data logic values of true assignment and false assignment are generated by enumerating the VALUE value in the disjunctive normal form; the database server group consists of several Each server consists of a storage module and a sending module; the storage module is used to store the device information and status in the route; the sending module is used to respond to the data request of the client and send the data to the client; the maintenance component is used to The data logic value of the true assignment and the false assignment generated by the logic module of the client is stored; the visualization component is used to display the data logic value of the true assignment and the false assignment generated by the logic module of the client.

The present invention will be further described below in conjunction with the accompanying drawings.

As shown in Figure 1, the client makes a data access request, periodically judges the load and status of the server according to the detected service, and maps the server status and IP address to the client; the client finds out the server with a lower load and normal status Server IP address, create a request proxy object, and establish a connection with the server; the client sends the data containing the route start and terminal signal to the server; the server receives the request, searches for the route start and terminal signal, and if the route exists, then Take the signal, section, turnout, hostile route and other equipment values and statuses of the route as VALUE, and connect them with the logical relationship of OP_NOT, OP_AND, OP_OR to form a logical relationship expression and send it to the client. The unified logic definition converts complex approach judgments into simple logical problems, so the complexity of monitoring is reduced, otherwise it will enter exception handling if it does not exist; the client receives the logical relationship expression and verifies it, and decomposes the logical relationship The expression is the TERM string connected by OP_OR, and the left subtree TERM and the right subtree TERM connected by OP_OR are constructed in a nested manner, and the verification of the logical relationship expression improves the security and reliability of the system; extracting a TERM string, Decompose the TERM string into the VAR string connected by OP_AND, use the nesting method to construct the left subtree VAR and the right subtree VAR connected by OP_AND; check whether the ATOM string contains the OP_NOT operator, and if so, reverse the ATOM string; continue to carry out the above Action until it is decomposed into a binary tree structure, and then perform deep traversal, check the expression generated after traversing, and judge whether it is a disjunctive paradigm, if not, enter exception handling, if so, continue, and perform expression processing after traversing Verification improves the security and reliability of the system; it is a method of verifying the truth table of the approach extraction paradigm, enumerating the data logic values of true assignments and false assignments, and extracting effective output actions. Finally, the path extraction paradigm and effective records are saved in the maintenance component in XML file format, and the relationship between each device in the path logic is displayed in the visual component. The visual component in the system intuitively displays The relationship between each device in the route logic enables the staff to observe the changes of the route information in real time and improve the work efficiency of the staff.

Claims (6)

1. A route logic generating system of an automatic train monitoring system, characterized in that, comprising: a client, a database server group, a maintenance component and a visualization component; Client, including receiving module and logic module; Wherein, the receiving module is used to request and receive data from the database server group; The logic module defines the device value and its state in the route as a binary number VALUE, and abstracts all logical relationships in the route into three states, namely OP_NOT, OP_AND and OP_OR; OP_AND means that each device value and state are True, the output action is true; OP_OR means that as long as one of the device values and states is true, the output action is true; OP_NOT reverses the device value and state in the route; the logic module will receive the logic from the database server group The relational expression is transformed into the disjunctive paradigm by the deep traversal algorithm, and the data logic values of true assignment and false assignment are generated by enumerating the VALUE value in the disjunctive paradigm; The database server group is composed of several servers, and each server includes a storage module and a sending module; Among them, the storage module is used to store the equipment information and status in the route; The sending module is used to respond to the data request of the client, and send the logical relationship expressions of device information, status and connection relationship to the client; The maintenance component is used to store the data logic values of true assignment and false assignment generated by the logic module of the client; The visualization component is used to display the data logic values of true assignment and false assignment generated by the logic module of the client. 2. an approach logic generating method of an automatic train monitoring system, characterized in that, comprising the following steps: (1) Define the device value and its state in the route as a binary number VALUE, and abstract all logical relationships in the route into three states, namely OP_NOT, OP_AND and OP_OR; Among them, OP_AND means that each device value and state are true, and the output action is true; OP_OR means that as long as one of each device value and state is true, the output action is true; OP_NOT reverses the device value and state in the route; (2) The client reads the device connection relationship in each device table from the database of the control center, and generates a logical relationship expression between the devices according to its topological relationship; (3) Use the depth traversal algorithm to parse the logical relationship expressions in step (2) into a disjunctive paradigm; (4) Enumerate the VALUE of the disjunctive paradigm in step (3), that is, it is "0" or "1", and generate true assignment and false assignment according to the logical relationship of the disjunctive paradigm generated in step (3) The logical value of the data. 3. A route logic generation method for an automatic train monitoring system according to claim 2, characterized in that the equipment described in step (2) includes a start signal, a terminal signal, a section, a switch, and a hostile Route. 4. A method for generating route logic of an automatic train monitoring system according to claim 2, characterized in that, when performing the depth traversal algorithm in step (3), VALUE is used as a leaf node, and the logical relationship OP_NOT, OP_AND And OP_OR as an intermediate node. 5 . The method for generating route logic of an automatic train monitoring system according to claim 2 , wherein the client side verifies the logical relationship expressions generated in step (2). 6 . 6 . The method for generating route logic of an automatic train monitoring system according to claim 2 , wherein the client performs truth table verification on the disjunctive paradigm generated in step (3). 6 .

Images