A ZC boundary train sequence consistency judgment method, device and medium

Abstract

The present invention relates to a method, device and medium for judging consistency of train sequence at ZC boundary. The method is based on envelope management train, and judges consistency of train sequence by checking envelope sequence provided by adjacent ZC and envelope sequence of current ZC. The method specifically comprises the following steps: step S1, obtaining envelope sequence information on the associated path of boundary point of current ZC; step S2, obtaining envelope sequence information of boundary point associated with adjacent ZC; and checking process from step S3 to step S10. Compared with the prior art, the present invention has the advantages of high safety and high driving efficiency.

Description

Technical Field

[0001] The invention relates to a train signal control system, and in particular to a ZC boundary train sequence consistency judgment method, equipment and medium. Background Art

[0002] In the urban rail transit signal system, the control of train transfer between ZCs involves driving safety. If the train transfer at the ZC boundary causes the train sequence under the jurisdiction of the ZC to be disordered or omitted, it will lead to serious consequences. The train sequence is a mixture of certain trains and uncertain trains. Due to asynchronous communication between systems or ZC boundary processing restrictions, the representation of the same train sequence between ZCs may be different. Directly rejecting this sequence information will lead to system inefficiency or even boundary deadlock.

[0003] Therefore, how to check the consistency of the train sequence at the ZC boundary and improve efficiency as much as possible while ensuring safety, so as to manage the safe and efficient passage of trains through the boundary, becomes a technical problem that needs to be solved. Summary of the invention

[0004] The purpose of the present invention is to overcome the defects of the above-mentioned prior art and provide a ZC boundary train sequence consistency judgment method, device and medium that can improve the operating efficiency as much as possible while ensuring safety.

[0005] The purpose of the present invention can be achieved by the following technical solutions:

[0006] According to a first aspect of the present invention, a method for determining consistency of a train sequence at a ZC boundary is provided. The method is based on envelope management trains and determines consistency of a train sequence by checking an envelope sequence provided by an adjacent ZC and an envelope sequence of a current ZC. The method specifically comprises the following steps:

[0007] Step S1, obtaining the envelope sequence information on the associated path of the current ZC boundary point;

[0008] Step S2, obtaining boundary point associated envelope sequence information provided by adjacent ZCs;

[0009] Step S3, checking whether there is any contradiction between the position information in the envelope sequence information provided by adjacent ZCs;

[0010] Step S4, checking whether there is any contradiction between the current ZC anchoring envelope and the ZC boundary point path;

[0011] Step S5, checking that the envelope updated by the ZC according to the indirect source information of the adjacent ZC must exist in the anchor envelope;

[0012] Step S6, checking whether the order between anchor envelopes is the same in the current ZC and the adjacent ZC;

[0013] Step S7, checking whether there is no contradiction between the left interval of the first anchor envelope in the adjacent ZC and the envelope interval corresponding to the current ZC;

[0014] Step S8, checking whether the intervals of two adjacent anchor envelopes in the adjacent ZCs are inconsistent with the envelope interval corresponding to the current ZC;

[0015] Step S9, checking whether the intervals of two adjacent anchor envelopes in the current ZC are inconsistent with the envelope intervals corresponding to the adjacent ZC;

[0016] Step S10, checking whether there is any contradiction between the right interval of the last anchor envelope in the current ZC and the envelope interval corresponding to the adjacent ZC;

[0017] All the check conditions in steps S3 to S10 are determined to pass the train sequence consistency check provided by the adjacent ZC.

[0018] As a preferred technical solution, the envelope in step S1 is an abstract data structure for managing trains. The envelope covers a continuous area on the line, which is an area where trains may exist. Envelopes are divided into two types: train envelope and undetermined envelope. The train envelope contains only one train with a certain number. The undetermined envelope contains uncertain trains, which may have no trains, one train with an uncertain number, or multiple trains with uncertain numbers. The trains in the current ZC are either associated with a train envelope or not associated with any envelope.

[0019] As a preferred technical solution, in the step S1, it is agreed that the arrangement order of the current ZC envelope is arranged from left to right in the direction of the current ZC, that is, the train is arranged in the direction from the current ZC to the adjacent ZC;

[0020] In the step S2, it is agreed that the arrangement order of adjacent ZC envelopes is arranged from left to right according to the current ZC direction;

[0021] In the step S4, when the train envelope provided by the adjacent ZC and the train envelope of the current ZC are both associated with the same train, the two train envelopes are called mutually anchored envelopes.

[0022] As a preferred technical solution, the train envelope is associated with a specific train, and the train information has two sources: direct source information and indirect source information. The direct source information refers to the information directly sent by the train to the current ZC; the indirect source information refers to the train information sent to the current ZC by the adjacent ZC through the envelope sequence information.

[0023] As a preferred technical solution, the step S2 of obtaining the boundary point associated envelope sequence information provided by the adjacent ZC is specifically as follows:

[0024] The adjacent ZC packages and sends the N envelope information closest to the current ZC boundary point within its jurisdiction. If the number of envelopes on the path where the adjacent ZC boundary point is located is less than N, it is sent according to the actual number of envelopes; the order of sequence information is arranged from front to back according to the distance from the ZC boundary point from near to far, which can also be described as being arranged from left to right according to the direction out of the current ZC.

[0025] The envelope information of one envelope sequence sent by the adjacent ZC (information used to determine the sequence consistency) includes: envelope type (train envelope, undetermined envelope), train ID associated with the envelope, and whether the envelope is completely located in the adjacent ZC.

[0026] As a preferred technical solution, the step S3 of checking whether there is any contradiction between the position information in the envelope sequence information provided by adjacent ZCs is specifically as follows:

[0027] If one of the envelopes in the envelope sequence provided by the adjacent ZC declares that the envelope is completely located in the adjacent ZC, then all the adjacent ZC envelopes to the right of the envelope must declare that they are completely located in the adjacent ZC; if one of the envelopes in the envelope sequence provided by the adjacent ZC declares that the envelope is not completely located in the adjacent ZC, then all the adjacent ZC envelopes to the left of the envelope must declare that they are not completely located in the adjacent ZC.

[0028] As a preferred technical solution, the step S4 of checking whether there is any contradiction between the current ZC anchoring envelope and the ZC boundary point path is specifically as follows:

[0029] For any adjacent ZC envelope in the envelope sequence provided by the adjacent ZC, if its envelope type is a train envelope, and there is a train envelope corresponding to its associated train ID in the current ZC, the adjacent ZC envelope and the current ZC envelope are called mutually anchored envelopes; all current ZC anchor envelopes must be on a connected path with the ZC boundary point.

[0030] As a preferred technical solution, the step S5 of checking whether the envelope updated by the current ZC according to the indirect source information of the adjacent ZC must exist in the anchor envelope is specifically as follows:

[0031] If the envelope of the current ZC is a train envelope, and the train information comes from the indirect source information of the adjacent ZC, and the train is communication-positioned, then the envelope must be the anchor envelope of the current ZC.

[0032] As a preferred technical solution, the step S6 of checking whether the order between anchor envelopes is the same in the current ZC and the adjacent ZC is specifically as follows:

[0033] For the current ZC anchor envelope A, it corresponds to the adjacent ZC anchor envelope a; the current ZC anchor envelope B corresponds to the adjacent ZC anchor envelope b. If A is on the left side of B in the current ZC envelope sequence, then a must also be on the left side of b in the adjacent ZC envelope sequence; if A is on the right side of B in the current ZC envelope sequence, then a must also be on the right side of b in the adjacent ZC envelope sequence.

[0034] As a preferred technical solution, the step S7 of checking whether there is no contradiction between the left interval of the first anchor envelope in the adjacent ZC and the envelope interval corresponding to the current ZC is specifically as follows:

[0035] For the anchoring envelope A of the current ZC corresponding to the adjacent ZC anchoring envelope a, the adjacent ZC anchoring envelope a is the first anchoring envelope (that is, there is no anchoring envelope in the interval to the left of the adjacent ZC anchoring envelope a). If the envelope directly adjacent to the left of the adjacent ZC anchoring envelope a exists and is a train envelope, then the anchoring envelope A of the current ZC is directly adjacent to an undetermined envelope on the left; if the adjacent ZC has a train envelope located on the left side of envelope a but not directly adjacent, then there must be an undetermined envelope on the left side of the anchoring envelope A of the current ZC and the distance from the ZC boundary is less than the specified distance (that is, the undetermined envelope is within the influence range of the adjacent ZC).

[0036] As a preferred technical solution, the step S8 of checking whether there is no contradiction between the intervals of two adjacent anchor envelopes in the adjacent ZC and the envelope interval corresponding to the current ZC is specifically as follows:

[0037] For the anchoring envelope A of the current ZC, it corresponds to the adjacent ZC anchoring envelope a. The anchoring envelope B of the current ZC corresponds to the adjacent ZC anchoring envelope b. Envelope a is located on the left side of envelope b and there is no other anchoring envelope between a and b. If the envelope directly adjacent to the right side of the adjacent ZC anchoring envelope a exists and is a train envelope and not b, then the anchoring envelope A of the current ZC is directly adjacent to an undetermined envelope on the right side; if the envelope directly adjacent to the left side of the adjacent ZC anchoring envelope b exists and is a train envelope and not a, then the anchoring envelope B of the current ZC is directly adjacent to an undetermined envelope on the left side; if there is a train envelope between the adjacent ZC anchoring envelopes a and b, then there is an undetermined envelope between the current ZC anchoring envelopes A and B.

[0038] As a preferred technical solution, the step S9 of checking whether there is no contradiction between the intervals of two adjacent anchor envelopes in the current ZC and the envelope intervals corresponding to the adjacent ZC is specifically as follows:

[0039] For the anchoring envelope A of the current ZC, it corresponds to the adjacent ZC anchoring envelope a. The anchoring envelope B of the current ZC corresponds to the adjacent ZC anchoring envelope b. Envelope A is located on the left side of envelope B and there is no other anchoring envelope between A and B. If the envelope directly adjacent to the right side of the current ZC anchoring envelope A exists and is a train envelope and not B, then the anchoring envelope a of the adjacent ZC is directly adjacent to an undetermined envelope on the right side; if the envelope directly adjacent to the left side of the current ZC anchoring envelope B exists and is a train envelope and not A, then the anchoring envelope b of the adjacent ZC is directly adjacent to an undetermined envelope on the left side; if there is a train envelope between the current ZC anchoring envelopes A and B, then there is an undetermined envelope between the adjacent ZC anchoring envelopes a and b.

[0040] As a preferred technical solution, the step S10 of checking whether there is no contradiction between the right interval of the last anchor envelope in the current ZC and the envelope interval corresponding to the adjacent ZC is specifically as follows:

[0041] For the anchoring envelope A of the current ZC corresponding to the anchoring envelope a of the adjacent ZC, the anchoring envelope A of the current ZC is the last anchoring envelope (that is, there is no anchoring envelope on the right side of the anchoring envelope A of the current ZC). If the envelope directly adjacent to the right side of the anchoring envelope A of the current ZC exists and is a train envelope, then there is an undetermined envelope directly adjacent to the right side of the anchoring envelope a of the adjacent ZC; if the current ZC has a train envelope located on the right side of envelope A but not directly adjacent, then there must be an undetermined envelope on the right side of the anchoring envelope a of the adjacent ZC.

[0042] According to a second aspect of the present invention, there is provided an electronic device, comprising a memory and a processor, wherein a computer program is stored in the memory, and the method described above is implemented when the processor executes the program.

[0043] According to a third aspect of the present invention, there is provided a computer-readable storage medium having a computer program stored thereon, wherein the program implements the method described above when executed by a processor.

[0044] Compared with the prior art, the present invention has the following advantages:

[0045] 1. The method of the present invention can ensure that the adjacent ZC train sequences that have passed the sequence consistency verification cannot cause the insertion or deletion of trains at the boundary of the ZC to cause train sequence errors or omissions, thereby improving system security;

[0046] 2. The method of the present invention can process adjacent ZC train sequences that do not completely match the sequence at the current ZC boundary, tolerate uncertain train information caused by asynchronous communication between systems or ZC boundary processing limitations, and improve the availability of the system. BRIEF DESCRIPTION OF THE DRAWINGS

[0047] Figure 1It is a flow chart of the method for judging consistency of ZC boundary train sequence of the present invention;

[0048] Figure 2 Schematic diagram of a specific ZC boundary train sequence. DETAILED DESCRIPTION

[0049] The following will be combined with the drawings in the embodiments of the present invention to clearly and completely describe the technical solutions in the embodiments of the present invention. Obviously, the described embodiments are part of the embodiments of the present invention, not all of the embodiments. Based on the embodiments of the present invention, all other embodiments obtained by ordinary technicians in this field without creative work should fall within the scope of protection of the present invention.

[0050] The technical problem to be solved by the present invention is to check the consistency of the train sequence at the boundary of the adjacent ZC and the current ZC. Due to asynchronous communication between systems or ZC boundary processing restrictions, the train sequence is a sequence mixed with uncertain trains. The representations of the same train sequence at the boundary between two ZCs may be different. If the current ZC uses the contradictory train sequence of the adjacent ZC, it will cause security risks. If the current ZC directly rejects the train sequence with differences between adjacent ZCs, it will cause system inefficiency or even deadlock at the boundary.

[0051] like Figure 1 The process shown is a functional module flow chart for determining the consistency of the ZC boundary train sequence.

[0052] In step S1, the envelope sequence information on the associated path of the current ZC boundary point is obtained.

[0053] In step S2, boundary point associated envelope sequence information provided by adjacent ZCs is obtained.

[0054] In step S3, it is checked whether the position information in the envelope sequence information provided by adjacent ZCs is inconsistent with each other.

[0055] In step S4, it is checked whether there is any contradiction between the current ZC anchoring envelope and the ZC boundary point path.

[0056] In step S5, it is checked that the envelope updated by the current ZC according to the indirect source information of the adjacent ZC must exist in the anchor envelope.

[0057] In step S6, it is checked whether the order between anchor envelopes is the same in the current ZC and the adjacent ZC.

[0058] In step S7, it is checked whether the left interval of the first anchor envelope in the adjacent ZC is inconsistent with the envelope interval corresponding to the current ZC.

[0059] In step S8, it is checked whether the intervals of two adjacent anchor envelopes in the adjacent ZCs are inconsistent with the envelope interval corresponding to the current ZC.

[0060] In step S9, it is checked whether the intervals of two adjacent anchor envelopes in the current ZC are inconsistent with the envelope intervals corresponding to the adjacent ZC.

[0061] In step S10, it is checked whether the right interval of the last anchor envelope in the current ZC is inconsistent with the envelope interval corresponding to the adjacent ZC.

[0062] Figure 2 Schematic diagram of a specific method for checking train sequence consistency.

[0063] The left side of the dotted line is the current ZC, and the right side of the dotted line is the adjacent ZC. Assume that the actual train sequence is ordered from left to right as: Car 1, Car 2, Car 3, Car 4. Assume that the current ZC has not received the positioning information of Car 3, the envelope of Car 1 is abbreviated as A_1, the envelope of Car 2 is abbreviated as A_2, the envelope of Car 4 is abbreviated as A_4, and the envelope of the undetermined car is abbreviated as A_X. The order of train envelopes known in the current ZC is: A_1, A_2, A_X, A_4. Assume that the adjacent ZC has not received the positioning information of Car 2, the envelope of Car 1 is abbreviated as a_1, the envelope of Car 3 is abbreviated as a_3, the envelope of Car 4 is abbreviated as a_4, and the envelope of the undetermined car is abbreviated as a_x. The order of train envelopes known in the adjacent ZC is: a_1, a_x, a_3, a_4.

[0064] The car No. 1 corresponding to the train envelope a_1 in the adjacent ZC also has a corresponding train envelope A_1 in the current ZC, so A_1 and a_1 are anchoring envelopes to each other; similarly, A_4 and a_4 are also anchoring envelopes to each other.

[0065] Step S3 checks that "the adjacent ZC envelope close to the ZC boundary is not allowed to declare that it is completely located in the adjacent ZC, and the adjacent ZC envelope far from the ZC boundary is not allowed to declare that it is not completely located in the adjacent ZC". If a_1 is declared to be completely located in the adjacent ZC, but the envelope a_3 on the right side of a_1 is declared to be not completely located in the adjacent ZC, it is determined that the position information in the adjacent ZC envelope sequence is contradictory, and the adjacent ZC envelope sequence cannot be used.

[0066] Step S4 checks that if there is a switch disconnection between the current ZC anchor envelope A_1 and the ZC boundary point, it is determined that this step is not satisfied and the envelope sequence of the adjacent ZC cannot be used.

[0067] Step S5 checks that if the vehicle No. 2 corresponding to the current ZC envelope A_2 is an envelope updated based on the indirect source information of the adjacent ZC, but the envelope sequence of the adjacent ZC does not contain the vehicle information, then it is determined that this step is not satisfied and the envelope sequence of the adjacent ZC cannot be used.

[0068] Step S6 checks that the position relationship between the two anchor envelopes A_1 and A_4 of the current ZC is that A_1 is on the left side of A_4, and the corresponding adjacent ZC anchor envelope a_1 must also be on the left side of a_4, otherwise the order between the anchor envelopes in the current ZC is different from that in the adjacent ZC, and the envelope sequence of the adjacent ZC cannot be used.

[0069] Step S7 checks that since there is no other envelope on the left side of the first anchor envelope a_1 of the adjacent ZC, this condition is directly passed. If a_1 is directly adjacent to a train envelope on the left side, then the corresponding A_1 on the left side in the current ZC must be directly adjacent to the undetermined envelope. If A_1 is directly adjacent to the same train envelope on the left side, then the No. 5 car envelope becomes the first anchor envelope of the adjacent ZC.

[0070] Step S8 checks that there is a train envelope a_3 between the anchor envelopes a_1 and a_4 in the adjacent ZC, so there must be an undetermined envelope A_X between the anchor envelopes A_1 and A_4 in the current ZC; because the train envelope a_3 is directly adjacent to the left side of a_4 in the adjacent ZC, there must be an undetermined envelope directly adjacent to the left side of A_4 in the current ZC; if the No. 3 train envelope is directly adjacent to the left side of A_4 in the current ZC, then the No. 3 train envelope A_3 and a_3 will be determined as anchor envelopes, and the envelope interval that needs to be checked is changed from one a_1, a_4 interval to two intervals, namely, the a_1, a_3 interval and the a_3, a_4 interval.

[0071] Step S9 checks that there is a train envelope A_2 between the anchor envelopes A_1 and A_4 in the current ZC, so there must be an undetermined envelope a_x between the anchor envelopes a_1 and a_4 in the adjacent ZC; the train envelope A_2 is directly adjacent to the right side of A_1, so the undetermined envelope a_x must be directly adjacent to the right side of a_1 corresponding to the adjacent ZC.

[0072] Step S10 checks that A_4 is the last anchor envelope in the current ZC. If A_4 is directly adjacent to a train envelope A_5 on the right, then the corresponding anchor envelope a_4 in the adjacent ZC must be directly adjacent to an undetermined envelope on the right. If a_4 is also directly adjacent to a train envelope a_5 on the right, then A_5 becomes the last anchor envelope in the current ZC.

[0073] The above is an introduction to the method embodiment. The following is a further explanation of the scheme of the present invention through electronic equipment and storage medium embodiments.

[0074] The electronic device of the present invention includes a central processing unit (CPU), which can perform various appropriate actions and processes according to computer program instructions stored in a read-only memory (ROM) or loaded from a storage unit into a random access memory (RAM). In the RAM, various programs and data required for device operation can also be stored. The CPU, ROM and RAM are connected to each other via a bus. An input / output (I / O) interface is also connected to the bus.

[0075] Multiple components in the device are connected to the I / O interface, including: input units, such as keyboards, mice, etc.; output units, such as various types of displays, speakers, etc.; storage units, such as disks, optical disks, etc.; and communication units, such as network cards, modems, wireless communication transceivers, etc. The communication unit allows the device to exchange information / data with other devices through computer networks such as the Internet and / or various telecommunication networks.

[0076] The processing unit performs the various methods and processes described above, such as methods S1 to S10 of the present invention. For example, in some embodiments, methods S1 to S10 may be implemented as a computer software program, which is tangibly contained in a machine-readable medium, such as a storage unit. In some embodiments, part or all of the computer program may be loaded and / or installed on the device via a ROM and / or a communication unit. When the computer program is loaded into the RAM and executed by the CPU, one or more steps of methods S1 to S10 described above may be performed. Alternatively, in other embodiments, the CPU may be configured to execute methods S1 to S10 in any other appropriate manner (e.g., by means of firmware).

[0077] The functions described above herein may be performed at least in part by one or more hardware logic components. For example, without limitation, exemplary types of hardware logic components that may be used include: field programmable gate arrays (FPGAs), application specific integrated circuits (ASICs), application specific standard products (ASSPs), systems on chips (SOCs), complex programmable logic devices (CPLDs), and the like.

[0078] The program code for implementing the method of the present invention can be written in any combination of one or more programming languages. These program codes can be provided to a processor or controller of a general-purpose computer, a special-purpose computer or other programmable data processing device, so that the program code, when executed by the processor or controller, enables the functions / operations specified in the flow chart and / or block diagram to be implemented. The program code can be executed entirely on the machine, partially on the machine, partially on the machine as a stand-alone software package and partially on a remote machine, or entirely on a remote machine or server.

[0079] In the context of the present invention, a machine-readable medium may be a tangible medium that may contain or store a program for use by or in conjunction with an instruction execution system, device, or equipment. A machine-readable medium may be a machine-readable signal medium or a machine-readable storage medium. A machine-readable medium may include, but is not limited to, electronic, magnetic, optical, electromagnetic, infrared, or semiconductor systems, devices, or equipment, or any suitable combination of the foregoing. A more specific example of a machine-readable storage medium may include an electrical connection based on one or more lines, a portable computer disk, a hard disk, a random access memory (RAM), a read-only memory (ROM), an erasable programmable read-only memory (EPROM or flash memory), an optical fiber, a portable compact disk read-only memory (CD-ROM), an optical storage device, a magnetic storage device, or any suitable combination of the foregoing.

[0080] The above is only a specific embodiment of the present invention, but the protection scope of the present invention is not limited thereto. Any technician familiar with the technical field can easily think of various equivalent modifications or replacements within the technical scope disclosed by the present invention, and these modifications or replacements should be included in the protection scope of the present invention. Therefore, the protection scope of the present invention shall be based on the protection scope of the claims.

Claims

1. A method for determining consistency of a ZC boundary train sequence, characterized in that: The method manages trains based on envelopes, and determines the consistency of train sequences by checking the envelope sequence provided by the adjacent ZC and the envelope sequence of the current ZC. The method specifically includes the following steps: Step S1, obtaining the envelope sequence information on the associated path of the current ZC boundary point; Step S2, obtaining boundary point associated envelope sequence information provided by adjacent ZCs; Step S3, checking whether there is any contradiction between the position information in the envelope sequence information provided by adjacent ZCs; Step S4, checking whether there is any contradiction between the current ZC anchoring envelope and the ZC boundary point path; Step S5, checking that the envelope updated by the ZC according to the indirect source information of the adjacent ZC must exist in the anchor envelope; Step S6, checking whether the order between anchor envelopes is the same in the current ZC and the adjacent ZC; Step S7, checking whether there is no contradiction between the left interval of the first anchor envelope in the adjacent ZC and the envelope interval corresponding to the current ZC; Step S8, checking whether the intervals of two adjacent anchor envelopes in the adjacent ZCs are inconsistent with the envelope interval corresponding to the current ZC; Step S9, checking whether the intervals of two adjacent anchor envelopes in the current ZC are inconsistent with the envelope intervals corresponding to the adjacent ZC; Step S10, checking whether there is any contradiction between the right interval of the last anchor envelope in the current ZC and the envelope interval corresponding to the adjacent ZC; All the check conditions in steps S3 to S10 are passed if the train sequence consistency check provided by the adjacent ZC is passed; The envelope in step S1 is an abstract data structure for managing trains. The envelope covers a continuous area on the line, where trains may exist. Envelopes are divided into two types: train envelope and undetermined envelope. The train envelope contains only one train with a certain number. The undetermined envelope contains uncertain trains, which may have no trains, one train with an uncertain number, or multiple trains with uncertain numbers. In the step S1, it is agreed that the arrangement order of the current ZC envelope is arranged from left to right in the direction of the current ZC, that is, the train is arranged in the direction from the current ZC to the adjacent ZC; In the step S2, it is agreed that the arrangement order of adjacent ZC envelopes is arranged from left to right according to the current ZC direction; In the step S4, when the train envelope provided by the adjacent ZC and the train envelope of the current ZC are both associated with the same train, the two train envelopes are called mutually anchored envelopes.

2. A ZC boundary train sequence consistency judgment method according to claim 1, characterized in that: The train envelope is associated with a certain train, and the information of the train has two sources: direct source information and indirect source information. The direct source information refers to the information directly sent by the train to the current ZC; the indirect source information refers to the information of the train sent to the current ZC by the adjacent ZC through the envelope sequence information.

3. A ZC boundary train sequence consistency judgment method according to claim 1, characterized in that: The step S2 of obtaining the boundary point associated envelope sequence information provided by the adjacent ZC is specifically as follows: The adjacent ZC packages and sends the N envelope information closest to the current ZC boundary point within its jurisdiction. If the number of envelopes on the path where the adjacent ZC boundary point is located is less than N, it sends according to the actual number of envelopes; The information of one envelope in the envelope sequence sent by the adjacent ZC includes: envelope type, train ID associated with the envelope, and whether the envelope is completely located in the adjacent ZC.

4. A ZC boundary train sequence consistency judgment method according to claim 1, characterized in that: The step S3 of checking whether there is any contradiction between the position information in the envelope sequence information provided by adjacent ZCs is specifically as follows: If one of the envelopes in the envelope sequence provided by the adjacent ZC declares that the envelope is completely located in the adjacent ZC, then all the adjacent ZC envelopes to the right of the envelope must declare that they are completely located in the adjacent ZC; if one of the envelopes in the envelope sequence provided by the adjacent ZC declares that the envelope is not completely located in the adjacent ZC, then all the adjacent ZC envelopes to the left of the envelope must declare that they are not completely located in the adjacent ZC.

5. A ZC boundary train sequence consistency judgment method according to claim 1, characterized in that: The step S4 of checking whether there is any contradiction between the current ZC anchoring envelope and the ZC boundary point path is specifically as follows: For any adjacent ZC envelope in the envelope sequence provided by the adjacent ZC, if its envelope type is a train envelope, and there is a train envelope corresponding to its associated train ID in the current ZC, the adjacent ZC envelope and the current ZC envelope are called mutually anchored envelopes; all current ZC anchor envelopes must be on a connected path with the ZC boundary point.

6. A method for determining consistency of a ZC boundary train sequence according to claim 1, characterized in that: The step S5, checking that the envelope updated by the ZC according to the indirect source information of the adjacent ZC must exist in the anchor envelope, is specifically: If the envelope of the current ZC is a train envelope, and the information of the train comes from the indirect source information of the adjacent ZC, and the train is communication positioned, then the envelope must be the anchor envelope of the current ZC.

7. A method for determining consistency of a ZC boundary train sequence according to claim 1, characterized in that: The step S6 of checking whether the order between anchor envelopes is the same in the current ZC and the adjacent ZC is specifically as follows: For the current ZC anchor envelope A, it corresponds to the adjacent ZC anchor envelope a; the current ZC anchor envelope B corresponds to the adjacent ZC anchor envelope b. If A is on the left side of B in the current ZC envelope sequence, then a must also be on the left side of b in the adjacent ZC envelope sequence; if A is on the right side of B in the current ZC envelope sequence, then a must also be on the right side of b in the adjacent ZC envelope sequence.

8. A method for determining consistency of a ZC boundary train sequence according to claim 1, characterized in that: The step S7, checking whether there is no contradiction between the left interval of the first anchor envelope in the adjacent ZC and the envelope interval corresponding to the current ZC, is specifically as follows: For the anchor envelope A of the current ZC, it corresponds to the adjacent ZC anchor envelope a. The adjacent ZC anchor envelope a is the first anchor envelope. If the envelope directly adjacent to the left of the adjacent ZC anchor envelope a exists and is a train envelope, then the anchor envelope A of the current ZC is directly adjacent to an undetermined envelope on the left; if the adjacent ZC has a train envelope located on the left side of envelope a but not directly adjacent, then there must be an undetermined envelope on the left side of the anchor envelope A of the current ZC and the distance from the ZC boundary is less than the specified distance.

9. A method for determining consistency of a ZC boundary train sequence according to claim 1, characterized in that: The step S8 of checking whether there is no contradiction between the intervals of two adjacent anchor envelopes in the adjacent ZC and the envelope interval corresponding to the current ZC is specifically as follows: For the anchoring envelope A of the current ZC, it corresponds to the adjacent ZC anchoring envelope a. The anchoring envelope B of the current ZC corresponds to the adjacent ZC anchoring envelope b. Envelope a is located on the left side of envelope b and there is no other anchoring envelope between a and b. If the envelope directly adjacent to the right side of the adjacent ZC anchoring envelope a exists and is a train envelope and not b, then the anchoring envelope A of the current ZC is directly adjacent to an undetermined envelope on the right side; if the envelope directly adjacent to the left side of the adjacent ZC anchoring envelope b exists and is a train envelope and not a, then the anchoring envelope B of the current ZC is directly adjacent to an undetermined envelope on the left side; if there is a train envelope between the adjacent ZC anchoring envelopes a and b, then there is an undetermined envelope between the current ZC anchoring envelopes A and B.

10. A method for determining consistency of a ZC boundary train sequence according to claim 1, characterized in that: The step S9, checking whether there is any contradiction between the intervals of two adjacent anchor envelopes in the current ZC and the envelope intervals corresponding to the adjacent ZC, is specifically as follows: For the anchoring envelope A of the current ZC, it corresponds to the adjacent ZC anchoring envelope a. The anchoring envelope B of the current ZC corresponds to the adjacent ZC anchoring envelope b. Envelope A is located on the left side of envelope B and there is no other anchoring envelope between A and B. If the envelope directly adjacent to the right side of the current ZC anchoring envelope A exists and is a train envelope and not B, then the anchoring envelope a of the adjacent ZC is directly adjacent to an undetermined envelope on the right side; if the envelope directly adjacent to the left side of the current ZC anchoring envelope B exists and is a train envelope and not A, then the anchoring envelope b of the adjacent ZC is directly adjacent to an undetermined envelope on the left side; if there is a train envelope between the current ZC anchoring envelopes A and B, then there is an undetermined envelope between the adjacent ZC anchoring envelopes a and b.

11. A method for determining consistency of a ZC boundary train sequence according to claim 1, characterized in that: The step S10 of checking whether there is no contradiction between the right interval of the last anchor envelope in the current ZC and the envelope interval corresponding to the adjacent ZC is specifically as follows: For the anchoring envelope A of the current ZC corresponding to the anchoring envelope a of the adjacent ZC, the anchoring envelope A of the current ZC is the last anchoring envelope. If the envelope directly adjacent to the right of the anchoring envelope A of the current ZC exists and is a train envelope, then the anchoring envelope a of the adjacent ZC has an undetermined envelope directly adjacent to the right; if the current ZC has a train envelope located on the right side of envelope A but not directly adjacent, then there must be an undetermined envelope on the right side of the anchoring envelope a of the adjacent ZC.

12. An electronic device comprising a memory and a processor, wherein a computer program is stored in the memory, wherein: When the processor executes the program, the method according to any one of claims 1 to 11 is implemented.

13. A computer-readable storage medium having a computer program stored thereon, characterized in that: When the program is executed by a processor, the method according to any one of claims 1 to 11 is implemented.

Images