System and method for data cross check in ZC system in signal field

Abstract

The invention discloses a data cross check system in a ZC system in the signal field, and the system comprises a data collection module which is used for obtaining the state information of physical equipment in real time and synchronously collecting logic data in the system; the data rule base is used for storing rules of physical equipment and logic data in the system; the topology definition module is used for defining a topology structure in the system, nodes containing virtual data and real data and a connection relation of the nodes; the data mapping module is used for mapping the virtual data and the real data to corresponding positions in a topological map; the data verification engine module is used for verifying the mapped virtual data and real data according to the data rule base to obtain a verification result; and the result processing module is used for generating a detailed verification report according to the verification result. The invention further discloses a data cross check method in the ZC system in the signal field. According to the invention, all data in the signal system are ensured to accord with predefined rules.

Description

Technical Field

[0001] The present invention relates to the technical field of urban rail transit signaling, and in particular to a system and method for data cross-checking in a ZC system in the signaling field. Background Art

[0002] In the electronic map of the signal system, the topological map is used to represent the basic structure of train operation. The electronic map is a digital model used to represent and manage physical equipment such as track networks, signal equipment, switches and platforms. Figure 1 Generally includes the following key elements: ① Track and track section (used to mark the mileage, slope, speed limit information of the track) ② Signal (enter and exit the platform, enter the switch area) ③ Switch (used to change the travel path of the train) ④ Platform (passenger boarding and disembarking area) ⑤ Axle counter or track circuit (used to assist in train positioning)

[0003] In addition to the physical information marked on the electronic map, some logical level data will also be defined within the signal system to perform abstract modeling for train operation, route control, train safety protection, etc., such as the paths that trains can travel (for train scheduling and route protection), interlocking routes (safety protection for entering the switch area), conflicting routes (routes that conflict with a certain interlocking route), boundaries (ZC control area boundaries), and virtual signals (signals that are not actually deployed).

[0004] In the signal system, these physically deployed devices are associated with the logically defined data to ensure the safe running of trains on the track. These physical devices provide the actual basic data for the logical data, and the logical data manages and controls the physical devices through the rules defined in the system, such as the opening and closing of signal machines, the opening and closing of shield doors, etc.

[0005] Current technologies have limitations in verifying the consistency and integrity of these different data types (physical and logical), especially the lack of comprehensive rule support for cross-module data verification within the same system. The current mainstream verification process is through testing by the testing department, but this makes it difficult to fully cover the data definition.

[0006] Therefore, a system and method for data cross-checking in a ZC system in the signal domain is provided. Summary of the invention

[0007] The purpose of the present invention is to overcome the existing defects and provide a system and method for data cross-checking in a ZC system in the signal field, so as to ensure that all data in the signal system conforms to predefined rules.

[0008] The technical solution to achieve the above purpose is:

[0009] A system for cross-checking data in a ZC system in a signal field according to one embodiment of the present invention comprises:

[0010] Data acquisition module, used to obtain status information of physical devices in real time and synchronously acquire logical data in the system;

[0011] Data rule base, used to store rules for physical devices and logical data in the system;

[0012] The topology definition module is used to define the topology structure in the system, including nodes of virtual data and real data and their connection relationships;

[0013] A data mapping module, used to map virtual data and real data to corresponding positions in the topological map;

[0014] A data verification engine module is used to verify the mapped virtual data and real data according to the data rule library to obtain a verification result;

[0015] The result processing module is used to generate a detailed verification report based on the verification results, including the verification results of each rule.

[0016] Preferably, in the data rule base, the rules include legality, integrity and consistency verification rules.

[0017] Preferably, in the topology definition module, virtual data includes but is not limited to tracks and routes, and real data includes but is not limited to axle counting sections and switches.

[0018] Preferably, in the result processing module, based on the verification report, if inconsistency is found between the physical device and the logical data, the system will automatically issue a warning, indicate the problem, and trigger an automatic repair mechanism, or manually intervene to resolve the inconsistency problem; wherein the automatic repair mechanism includes but is not limited to adjusting the logical path and resetting the physical device status.

[0019] A method for cross-checking data in a ZC system in a signal field according to another aspect of the present invention comprises:

[0020] Step S1, obtaining status information of physical devices in real time and synchronously collecting logical data in the system;

[0021] Step S2, defining association rules between physical devices and logical data, and logical rules for association between speed limit areas, virtual signals and actual signal machines, and virtual turnouts and physical turnouts in a data rule base;

[0022] Step S3, the verification engine checks the matching of physical devices and logical data one by one according to the rules in the data rule library, and verifies the logical and physical occupancy status of the track segment;

[0023] Step S4, verifying the safety of the route and path;

[0024] Step S5, checking whether the virtual speed limit area in the system is consistent with the speed limit device on the actual physical track;

[0025] Step S6, verifying whether the real-time position of the train is consistent with the expected position in the logical path;

[0026] Step S7, according to the steps S3-S6, obtain the verification result of each rule, and generate a detailed verification report according to the verification result of each rule.

[0027] Preferably, in step S1, the status information of the physical equipment includes but is not limited to the display status of the signal, the switching status of the turnout and the occupancy status of the track circuit; the logical data includes but is not limited to the current status of logical definitions such as virtual tracks, interlocking routes, and virtual paths.

[0028] Preferably, in step S2, the association rules include:

[0029] Route rules: When a route is logically set, it is necessary to ensure that all physical signals and switches in the route are in the correct state;

[0030] Path rules: The track segments involved in the virtual path must be consistent with the physical track segments, and the occupancy status of the tracks must match;

[0031] Occupancy rules: If a track circuit is shown as occupied, logically the track section should be locked to prevent other trains from entering.

[0032] Preferably, in step S7, according to the verification report, if inconsistency is found between the physical device and the logical data, the system will automatically issue a warning, indicate the problem, and trigger an automatic repair mechanism, or manually intervene to resolve the inconsistency.

[0033] The beneficial effects of the present invention are as follows: the present invention defines a set of rule bases to verify the association between physical devices and logical data respectively. The system can automatically detect the matching between physical devices and logical data during train scheduling, path planning, route locking, etc., to ensure the legality, integrity and consistency of the data, thereby ensuring the safety of train operation. BRIEF DESCRIPTION OF THE DRAWINGS

[0034] Figure 1 It is a module diagram of a system for data cross-checking in a ZC system in the signal field of the present invention;

[0035] Figure 2 It is a flow chart of a method for data cross-checking in a ZC system in a signal field of the present invention;

[0036] Figure 3 It is a driving path diagram available to a certain ZC obtained in the present invention. DETAILED DESCRIPTION

[0037] The technical solution of the present invention will be described clearly and completely below in conjunction with the accompanying drawings. In the description of the present invention, it should be noted that the terms "center", "up", "down", "left", "right", "vertical", "horizontal", "inside", "outside" and the like indicate directions or positional relationships based on the directions or positional relationships shown in the accompanying drawings, which are only for the convenience of describing the present invention and simplifying the description, and do not indicate or imply that the device or element referred to must have a specific direction, be constructed and operated in a specific direction, and therefore cannot be understood as a limitation on the present invention. In addition, the terms "first", "second", and "third" are used for descriptive purposes only and cannot be understood as indicating or implying relative importance.

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

[0039] like Figure 1 As shown, a system for data cross-checking in a ZC system in the signal field includes: a data acquisition module 1, a data rule library 2, a topology definition module 3, a data mapping module 4, a data check engine module 5 and a result processing module 6.

[0040] The data acquisition module 1 is used to obtain the status information of the physical device in real time and synchronously acquire the logical data in the system.

[0041] In the embodiment, the status information of the physical equipment includes but is not limited to the display status of the signal, the switching status of the turnout, and the occupancy status of the track circuit; the logical data includes but is not limited to the current status of logical definitions such as virtual tracks, interlocking routes, and virtual paths.

[0042] The data rule base 2 is used to store the rules of physical devices and logical data in the system.

[0043] In an embodiment, the rules include legality, integrity and consistency verification rules.

[0044] The topology definition module 3 is used to define the topology structure in the system, including nodes of virtual data and real data and their connection relationships.

[0045] In the embodiment, the virtual data includes but is not limited to tracks and routes, and the real data includes but is not limited to axle counting sections and switches.

[0046] The data mapping module 4 is used to map the virtual data and the real data to corresponding positions in the topological map.

[0047] The data verification engine module 5 is used to verify the mapped virtual data and real data according to the data rule library 2 to obtain a verification result.

[0048] The result processing module 6 is used to generate a detailed verification report according to the verification result, including the verification result of each rule.

[0049] In an embodiment, based on the verification report, if inconsistency is found between the physical device and the logical data, the system will automatically issue a warning, indicate the problem, and trigger an automatic repair mechanism, or manually intervene to resolve the inconsistency problem; wherein the automatic repair mechanism includes but is not limited to adjusting the logical path and resetting the physical device status.

[0050] like Figure 2 As shown, a method for cross-checking data in a ZC system in a signal domain comprises:

[0051] Step S1, obtaining status information of physical devices in real time and synchronously collecting logical data in the system.

[0052] In the embodiment, the status information of the physical equipment includes but is not limited to the display status of the signal, the switching status of the turnout and the occupancy status of the track circuit; the logical data includes but is not limited to the current status of logical definitions such as virtual tracks, interlocking routes, and virtual paths.

[0053] Step S2, defining the association rules between physical devices and logical data, and the logical rules for the association between speed limit areas, virtual signals and actual signal machines, and virtual switches and physical switches in the data rule library.

[0054] In the embodiment, the association rules include:

[0055] Route rules: When a route is logically set, it is necessary to ensure that all physical signals and switches in the route are in the correct state;

[0056] Path rules: The track segments involved in the virtual path must be consistent with the physical track segments, and the occupancy status of the tracks must match;

[0057] Occupancy rules: If a track circuit is shown as occupied, logically the track section should be locked to prevent other trains from entering.

[0058] Step S3, the verification engine checks the matching of physical devices and logical data one by one according to the rules in the data rule library, and verifies the logical and physical occupancy status of the track segment.

[0059] Check the matching of physical devices and logical data one by one. For example, when the system sets up a chain approach, the verification engine will check whether all related switches and signals are in the correct state, or when the virtual track section is occupied, the verification engine will check whether the actual track circuit is reported as occupied.

[0060] Check the logical and physical occupancy status of the track segment to ensure that each logical segment can be mapped to the corresponding physical track without conflict.

[0061] Step S4, verifying the safety of the route and path, is used to ensure that the current path of the train and the physical switches, signals and other equipment in the route are in a safe state.

[0062] Step S5, checking whether the virtual speed limit area in the system is consistent with the speed limit device on the actual physical track to prevent the train from speeding in the dangerous area.

[0063] Step S6, verifying whether the real-time position of the train is consistent with the expected position in the logical path to prevent deviations in train operation.

[0064] Step S7, according to steps S3-S6, obtain the verification result of each rule, and generate a detailed verification report according to the verification result of each rule.

[0065] In an embodiment, based on the verification report, if inconsistency is found between the physical device and the logical data, the system will automatically issue a warning, indicate the problem, and trigger an automatic repair mechanism, or manually intervene to resolve the inconsistency problem; wherein the automatic repair mechanism includes but is not limited to adjusting the logical path and resetting the physical device status.

[0066] According to the above process, the system can obtain a formal path that can be used by the ZC system, such as Figure 3 shown.

[0067] The above embodiments are only used to illustrate the technical solutions of the present invention, rather than to limit the same. Although the present invention has been described in detail with reference to the above embodiments, those skilled in the art should understand that the technical solutions described in the above embodiments may still be modified, or some or all of the technical features may be replaced by equivalents. However, these modifications or replacements do not deviate the essence of the corresponding technical solutions from the scope of the technical solutions of the embodiments of the present invention.

Claims

1. A system for data cross-checking in a ZC system in the signal domain, characterized in that: include: Data acquisition module, used to obtain status information of physical devices in real time and synchronously acquire logical data in the system; Data rule base, used to store rules for physical devices and logical data in the system; The topology definition module is used to define the topology structure in the system, including nodes of virtual data and real data and their connection relationships; A data mapping module, used to map virtual data and real data to corresponding positions in the topological map; A data verification engine module is used to verify the mapped virtual data and real data according to the data rule library to obtain a verification result; The result processing module is used to generate a detailed verification report based on the verification results, including the verification results of each rule.

2. A data cross-check system in a ZC system in a signal domain according to claim 1, characterized in that: In the data rule base, the rules include legality, integrity and consistency verification rules.

3. A data cross-check system in a ZC system in a signal domain according to claim 1, characterized in that: In the topology definition module, virtual data includes but is not limited to tracks and routes, and real data includes but is not limited to axle counting sections and switches.

4. A system for data cross-checking in a ZC system in a signal domain according to claim 1, characterized in that: In the result processing module, according to the verification report, if inconsistency is found between the physical device and the logical data, the system will automatically issue a warning, indicate the problem, and trigger an automatic repair mechanism, or manually intervene to resolve the inconsistency problem; wherein the automatic repair mechanism includes but is not limited to adjusting the logical path and resetting the physical device status.

5. A method for data cross-checking in a ZC system in a signal domain, characterized in that: include: Step S1, obtaining status information of physical devices in real time and synchronously collecting logical data in the system; Step S2, defining association rules between physical devices and logical data, and logical rules for association between speed limit areas, virtual signals and actual signal machines, and virtual turnouts and physical turnouts in a data rule base; Step S3, the verification engine checks the matching of physical devices and logical data one by one according to the rules in the data rule library, and verifies the logical and physical occupancy status of the track segment; Step S4, verifying the safety of the route and path; Step S5, checking whether the virtual speed limit area in the system is consistent with the speed limit device on the actual physical track; Step S6, verifying whether the real-time position of the train is consistent with the expected position in the logical path; Step S7, according to the steps S3-S6, obtain the verification result of each rule, and generate a detailed verification report according to the verification result of each rule.

6. A method for data cross-checking in a ZC system in a signal domain according to claim 5, characterized in that: In step S1, the status information of the physical equipment includes but is not limited to the display status of the signal, the switching status of the turnout and the occupancy status of the track circuit; the logical data includes but is not limited to the current status of the logical definitions such as virtual tracks, interlocking routes, virtual paths, etc.

7. A method for data cross-checking in a ZC system in a signal domain according to claim 5, characterized in that: In step S2, the association rules include: Route rules: When a route is logically set, it is necessary to ensure that all physical signals and switches in the route are in the correct state; Path rules: The track segments involved in the virtual path must be consistent with the physical track segments, and the occupancy status of the tracks must match; Occupancy rules: If a track circuit is shown as occupied, logically the track section should be locked to prevent other trains from entering.

8. A method for data cross-checking in a ZC system in a signal domain according to claim 5, characterized in that: In step S7, according to the verification report, if inconsistency is found between the physical device and the logical data, the system will automatically issue a warning, indicate the problem, and trigger an automatic repair mechanism, or manually intervene to resolve the inconsistency.

Images