CN116039735A

CN116039735A - ZC boundary train sequence consistency judging method, equipment and medium

Info

Publication number: CN116039735A
Application number: CN202211670085.5A
Authority: CN
Inventors: 左辉; 陈祥; 夏庭锴; 孙利; 闵锐
Original assignee: Casco Signal Ltd
Current assignee: Casco Signal Ltd
Priority date: 2022-12-25
Filing date: 2022-12-25
Publication date: 2023-05-02

Abstract

The invention relates to a method, equipment and medium for judging the sequence consistency of ZC boundary trains, which is based on envelope management trains and judges the sequence consistency of the trains by checking the envelope sequences provided by adjacent ZCs and the envelope sequences of the current ZCs, wherein the method specifically comprises the following steps: s1, acquiring envelope sequence information on a current ZC boundary point association path; s2, acquiring boundary point association envelope sequence information provided by adjacent ZCs; steps S3 to S10 check the procedure. Compared with the prior art, the invention has the advantages of high safety, high driving efficiency and the like.

Description

ZC boundary train sequence consistency judging method, equipment and medium

Technical Field

The invention relates to a train signal control system, in particular to a ZC boundary train sequence consistency judging method, equipment and medium.

Background

In an urban rail transit signal system, the control of a transfer train between ZCs involves driving safety, and serious consequences can be caused if the transfer of the train at the ZC boundary causes the sequence of the train governed by the ZCs to be disordered or omitted. The sequence of trains is a sequence consisting of a mix of deterministic and indeterminate trains because of the communication asynchrony or ZC boundary handling constraints between systems, the representation of the same train sequence between ZCs may be different, and the direct rejection of such sequence information would result in inefficiency of the system or even deadlock at the boundary.

Therefore, how to check the train sequence consistency of the ZC boundary improves the efficiency as much as possible on the premise of ensuring the safety, so that the train can be managed to pass through the boundary safely and efficiently, and the technical problem to be solved is solved.

Disclosure of Invention

The invention aims to overcome the defects in the prior art and provide a ZC boundary train sequence consistency judging method, equipment and medium which can improve the operation efficiency as much as possible on the premise of ensuring the safety.

The aim of the invention can be achieved by the following technical scheme:

according to a first aspect of the present invention, there is provided a ZC boundary train sequence consistency judging method for judging the consistency of train sequences by checking an envelope sequence provided by an adjacent ZC and an envelope sequence of a current ZC based on an envelope management train, the method specifically comprising the steps of:

s1, acquiring envelope sequence information on a current ZC boundary point association path;

s2, acquiring boundary point association envelope sequence information provided by adjacent ZCs;

s3, checking that the position information in the envelope sequence information provided by the adjacent ZCs is not contradictory;

s4, checking that no contradiction exists between the current ZC anchoring envelope and the ZC boundary point path;

s5, checking that the envelope updated by the ZC according to the indirect source information of the adjacent ZC must exist in the anchoring envelope;

step S6, checking that the sequence between the anchor envelopes is the same between the current ZC and the adjacent ZC;

step S7, checking that a left zone of a first anchor envelope in the adjacent ZCs is not in contradiction with an envelope zone corresponding to the current ZC;

s8, checking that the interval of two adjacent anchoring envelopes in the adjacent ZCs is not contradictory with the envelope interval corresponding to the current ZC;

step S9, checking that the interval of two adjacent anchoring envelopes in the current ZC is not contradictory with the envelope interval corresponding to the adjacent ZC;

step S10, checking that a right zone of the last anchoring envelope in the current ZC is not in contradiction with an envelope zone corresponding to the adjacent ZC;

all the inspection conditions in the steps S3 to S10 pass the train sequence consistency inspection provided by the adjacent ZCs.

As a preferred technical solution, the envelope in the step S1 is an abstract data structure for managing a train, and the envelope covers a continuous area on the line, where the area is an area where the train may exist, and the envelope is divided into 2 types: train envelope and undefined envelope; a train with only one number in the train envelope; the undefined envelope contains trains of uncertainty, there may be no trains, there may be one train of uncertainty in number, or there may be multiple trains of uncertainty in number. The current ZC train is either associated with a train envelope or not associated with any envelope.

As a preferred technical solution, in the step S1, the arrangement sequence of the current ZC envelope is agreed to be arranged from left to right according to the direction from the current ZC, that is, the arrangement of the train in the direction from the current ZC to the adjacent ZC;

in the step S2, the arrangement sequence of the contracted adjacent ZC envelopes is arranged from left to right according to the current ZC direction;

when the train envelopes provided by the adjacent ZCs and the train envelope of the current ZC are both associated to the same train in the step S4, the two train envelopes are referred to as mutually anchored envelopes.

As a preferable technical scheme, the train envelope is associated with a certain train, and the train information has two sources: direct source information and indirect source information, the direct source information refers to information directly transmitted to the current ZC by the train; the indirect source information refers to that the neighboring ZCs send the car information to the current ZC through the envelope sequence information.

As a preferred technical solution, the step S2 of obtaining the boundary point association envelope sequence information provided by the adjacent ZCs specifically includes:

the adjacent ZC packages and transmits N pieces of envelope information closest to the current ZC boundary point in the jurisdiction range, and if the number of envelopes on the path where the adjacent ZC boundary point is located is smaller than N, the adjacent ZC transmits the N pieces of envelope information according to the actual number of envelopes; the sequence information is sequentially arranged from front to back according to the distance ZC boundary points from the near to the far, and can also be described as being arranged from left to right according to the current ZC direction.

Wherein one of the envelope information (information for judging the sequence consistency correlation) in the envelope sequences transmitted by the adjacent ZCs includes: envelope type (train envelope, undefined envelope), envelope associated train ID, whether the envelope is located entirely at the neighboring ZC.

As a preferable technical solution, the step S3 of checking that the position information in the envelope sequence information provided by the adjacent ZCs does not contradict each other specifically includes:

if one of the envelope sequences provided by the neighboring ZCs declares that the envelope is entirely located by the neighboring ZCs, all neighboring ZC envelopes to the right of the envelope must declare that the envelope is entirely located by the neighboring ZCs; if an envelope in the sequence of envelopes provided by neighboring ZCs declares that the envelope is not entirely located by the neighboring ZCs, then all neighboring ZC envelopes to the left of the envelope must declare that the envelope is not entirely located by the neighboring ZCs.

As an preferable technical solution, the step S4 of checking that there is no contradiction between the current ZC anchor envelope and the ZC boundary point path specifically includes:

for any one of the adjacent ZC envelopes in the envelope sequences provided by the adjacent ZCs, if the envelope type is a train envelope, and when a train envelope correspondence exists in the current ZC according to the associated train ID, the adjacent ZC envelope and the current ZC envelope are called as mutually anchored envelopes; all current ZC anchor envelopes must be on a connected path with ZC boundary points.

As a preferable technical solution, the step S5 is to check that the envelope updated by the present ZC according to the indirect source information of the neighboring ZCs must exist in the anchor envelope specifically as follows:

if the envelope of the current ZC is a train envelope and the train information is from indirect source information of neighboring ZCs and the train is communicatively located, then the envelope must be the anchor envelope of the current ZC.

As a preferred technical solution, the step S6 of checking that the order between the anchor envelopes is the same between the current ZC and the adjacent ZC specifically includes:

for the anchor envelope a of the current ZC to the anchor envelope a of the adjacent ZC, the anchor envelope B of the current ZC to the anchor envelope B of the adjacent ZC, if a is located on the left side of B in the current ZC envelope sequence, a is necessarily located on the left side of B in the adjacent ZC envelope sequence, and if a is located on the right side of B in the current ZC envelope sequence, a is necessarily located on the right side of B in the adjacent ZC envelope sequence.

As a preferable technical solution, the step S7 of checking that there is no contradiction between the left zone of the first anchor envelope in the adjacent ZCs and the envelope zone corresponding to the current ZC specifically includes:

for the anchoring envelope A of the current ZC to correspond to the adjacent ZC anchoring envelope a, wherein the adjacent ZC anchoring envelope a is a first anchoring envelope (namely, the anchoring envelope does not exist in the zone at the left side of the adjacent ZC anchoring envelope a), and if the immediately adjacent envelope at the left side of the adjacent ZC anchoring envelope a exists and is a train envelope, the left side of the anchoring envelope A of the current ZC is immediately adjacent to an undetermined envelope; if there is a train envelope located to the left of the envelope a but not immediately adjacent to it, there must be an undefined envelope to the left of the anchor envelope a of the current ZC and less than the specified distance from the ZC boundary (i.e., the undefined envelope is within the influence of the adjacent ZC).

As a preferable technical solution, in the step S8, checking that there is no contradiction between the interval of two adjacent anchor envelopes in the adjacent ZCs and the envelope interval corresponding to the current ZC specifically includes:

for the anchoring envelope A of the current ZC corresponding to the adjacent ZC anchoring envelope a, the anchoring envelope B of the current ZC corresponding to the adjacent ZC anchoring envelope B, the envelope a being positioned on the left side of the envelope B and no other anchoring envelope being present between a and B, if the immediately adjacent envelope on the right side of the adjacent ZC anchoring envelope a is present and is a train envelope and not B, the right side of the anchoring envelope A of the current ZC is immediately adjacent to an undetermined envelope; if the adjacent ZC anchoring envelope B exists and is a train envelope and is not a, the left side of the anchoring envelope B of the current ZC is directly adjacent to an undetermined envelope; if there is a train envelope between adjacent ZC anchor envelopes a and B, there is an undefined envelope between the current ZC anchor envelopes A and B.

As a preferred technical solution, in the step S9, the checking that there is no contradiction between the interval of two adjacent anchor envelopes in the current ZC and the envelope interval corresponding to the adjacent ZC specifically includes:

for the anchoring envelope A of the current ZC corresponding to the adjacent ZC anchoring envelope a, the anchoring envelope B of the current ZC corresponding to the adjacent ZC anchoring envelope B, the envelope A being located on the left side of the envelope B and no other anchoring envelope being present between A and B, if the immediately adjacent envelope on the right side of the current ZC anchoring envelope A is present and is a train envelope and not B, the right side of the anchoring envelope a of the adjacent ZC is immediately adjacent to an undetermined envelope; if the envelope which is directly adjacent to the left side of the current ZC anchoring envelope B exists and is a train envelope and is not A, the left side of the anchoring envelope B of the adjacent ZC is directly adjacent to an undetermined envelope; if there is a train envelope between the current ZC anchor envelopes A and B, there is an undefined envelope between the adjacent ZC anchor envelopes a and B.

As a preferable technical solution, the step S10 of checking that there is no contradiction between the right zone of the last anchor envelope in the current ZC and the envelope zone corresponding to the adjacent ZC specifically includes:

for the anchoring envelope A of the current ZC corresponding to the adjacent ZC anchoring envelope a, the anchoring envelope A of the current ZC is the last anchoring envelope (i.e. there is no anchoring envelope on the right side of the anchoring envelope A of the current ZC), if the immediately adjacent envelope on the right side of the anchoring envelope A of the current ZC exists and is a train envelope, the right side of the anchoring envelope a of the adjacent ZC is immediately adjacent to an undetermined envelope; if there is a train envelope on the current ZC to the right of the envelope A but not immediately adjacent, there must be an undefined envelope on the right of the anchor envelope a of the adjacent ZC.

According to a second aspect of the present invention there is provided an electronic device comprising a memory and a processor, the memory having stored thereon a computer program, the processor implementing the method when executing the program.

According to a third aspect of the present invention, there is provided a computer readable storage medium having stored thereon a computer program which when executed by a processor implements the method.

Compared with the prior art, the invention has the following advantages:

1. the method can ensure that the adjacent ZC train sequence passing the sequence consistency verification is unlikely to cause the problem of train sequence error or omission caused by the insertion and deletion of the ZC boundary, thereby improving the system safety;

2. the method of the invention can process the adjacent ZC train sequence which is not completely matched with the sequence at the current ZC boundary, tolerates uncertain train information caused by communication asynchronism between systems or ZC boundary processing limitation, and improves the availability of the systems.

Drawings

FIG. 1 is a flow chart of a method for judging the consistency of ZC boundary train sequences;

fig. 2 is a schematic diagram of a particular ZC boundary train sequence.

Detailed Description

The following description of the embodiments of the present invention will be made clearly and fully with reference to the accompanying drawings, in which it is evident that the embodiments described are some, but not all embodiments of the invention. All other embodiments, which can be made by those skilled in the art based on the embodiments of the present invention without making any inventive effort, shall fall within the scope of the present invention.

The invention aims to solve the technical problem of checking train sequence consistency of adjacent ZCs and current ZC boundaries. Because of the communication asynchronization between the systems or the limit of ZC boundary processing, the train sequence is a mixed uncertain train sequence, the representation of the same train sequence at the boundary between two ZCs can be different, the current ZC can cause safety risks if train sequences contradicted by adjacent ZCs are used, and the current ZC can cause inefficiency of the system or even deadlock at the boundary if the train sequences with differences between adjacent ZCs are directly refused.

The flow shown in fig. 1 is a functional module flow chart for judging the consistency of the train sequence at the ZC boundary.

In step S1, the envelope sequence information on the current ZC boundary point association path is obtained.

In step S2, boundary point association envelope sequence information provided by the adjacent ZCs is obtained.

In step S3, the position information in the envelope sequence information provided by the adjacent ZCs is checked to be not contradictory.

In step S4, the current ZC anchoring envelope is checked to have no contradiction with the ZC boundary point path.

In step S5, it is checked that the envelope updated by the present ZC according to the indirect source information of the neighboring ZCs must exist in the anchor envelope.

In step S6, the order between the anchor envelopes is checked to be the same between the current ZC and the neighboring ZC.

In step S7, it is checked that there is no contradiction between the left zone of the first anchor envelope in the neighboring ZCs and the envelope zone corresponding to the current ZC.

In step S8, it is checked that there is no contradiction between the interval of two adjacent anchor envelopes in the adjacent ZCs and the envelope interval corresponding to the current ZC.

In step S9, it is checked that there is no contradiction between the interval of two adjacent anchor envelopes in the current ZC and the envelope interval corresponding to the adjacent ZCs.

In step S10, it is checked that there is no contradiction between the right zone of the last anchor envelope in the current ZC and the envelope zone corresponding to the adjacent ZC.

FIG. 2 is a schematic diagram of a method for specifically checking train sequence consistency.

Wherein the left side of the dotted line is the current ZC, and the right side of the dotted line is the adjacent ZC. The true train sequence is assumed to be ordered from left to right: no. 1 car, no. 2 car, no. 3 car, no. 4 car. Assuming that No. 3 car positioning information is not received by the current ZC, abbreviated as A_1 for the car envelope number 1, abbreviated as A_2 for the car envelope number 2, abbreviated as A_4 for the car envelope number 4, abbreviated as A_X for the undetermined car envelope, the known train envelope sequence at the current ZC is: a_1, a_2, a_ X, A _4. Assuming that No. 2 car positioning information is received by the adjacent ZCs, abbreviated as a_1 for the car envelope number 1, abbreviated as a_3 for the car envelope number 3, abbreviated as a_4 for the car envelope number 4, abbreviated as a_x for the undetermined car envelope, the known train envelope sequence at the adjacent ZCs is: a_1, a_x, a_3, a_4.

The train envelope A_1 corresponds to the train number 1 corresponding to the train envelope a_1 in the adjacent ZC, so that the train number A_1 and the train number a_1 are anchoring envelopes; similarly, a_4 and a_4 are anchoring envelopes for each other.

Step S3 checks, i.e. does not allow "adjacent ZC envelope claims close to ZC boundary are located entirely at adjacent ZCs, adjacent ZC envelope claims far from ZC boundary are not located entirely at adjacent ZCs". If a_1 states that it is located entirely in the neighboring ZC, a_3 to the right of a_1 states that it is not located entirely in the neighboring ZC, it is determined that the location information in the envelope sequence of the neighboring ZC is contradictory, and the envelope sequence of the neighboring ZC cannot be used.

Step S4 checks that if there is a switch break 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 neighboring ZCs cannot be used.

Step S5 checks that if the number 2 car corresponding to the current ZC envelope A_2 is an envelope updated according to the indirect source information of the adjacent ZC, but the current envelope sequence of the adjacent ZC does not contain the car information, the step is judged not to be satisfied, and the envelope sequence of the adjacent ZC cannot be used.

Step S6 checks that the 2 anchor envelopes A_1 and A_4 of the current ZC have the position relation that A_1 is at the left side of A_4, and the anchor envelope a_1 of the corresponding adjacent ZC also has to be at the left side of a_4, otherwise, the sequence among the anchor envelopes is different from that of the adjacent ZC at the current ZC, and the envelope sequence of the adjacent ZC cannot be used.

Step S7 checks that this condition is directly passed because no other envelope exists to the left of the first anchor envelope a_1 of the neighboring ZCs. If a_1 is directly adjacent to one train envelope to the left, then the corresponding a_1 left in the current ZC must be directly adjacent to the undefined envelope. If the same train envelope is directly adjacent to the left side of A_1, the No. 5 train envelope becomes the first anchoring envelope of the adjacent ZC.

Step S8 checks that there is a train envelope a_3 between the anchor envelopes a_1 and a_4 in the adjacent ZCs, so there must be an undefined envelope a_x between the anchor envelopes a_1 and a_4 in the current ZCs; because the left side of a_4 in the adjacent ZC is directly adjacent to the train envelope a_3, the left side of A_4 in the current ZC is necessarily directly adjacent to the undefined envelope; if train number 3 envelopes a_3 and a_3 are immediately adjacent to train number 3 on the left side of a_4 in the current ZC, then train number 3 envelopes a_3 and a_3 are determined as anchor envelopes, and envelope sections to be checked are converted from one a_1, a_4 section to 2 sections, namely a_1, a_3 section and a_3, a_4 section.

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 undefined envelope a_x between the anchor envelopes a_1 and a_4 in the adjacent ZCs; the train envelope a_2 is directly adjacent to the right of a_1, so the right of a_1 corresponding to adjacent ZCs must be directly adjacent to the undefined envelope a_x.

Step S10 checks that a_4 is the last anchor envelope in the current ZC, and if a_4 is directly adjacent to a train envelope a_5 on the right side, then the corresponding anchor envelope a_4 in the adjacent ZC must be directly adjacent to an undefined envelope on the right side. If the right side of a_4 is also immediately adjacent to the train envelope a_5, a_5 in the current ZC becomes the last anchor envelope.

The foregoing description of the embodiments of the method further describes the embodiments of the present invention through embodiments of the electronic device and the storage medium.

The electronic device of the present invention includes a Central Processing Unit (CPU) that can perform various appropriate actions and processes according to computer program instructions stored in a Read Only Memory (ROM) or computer program instructions loaded from a storage unit into a Random Access Memory (RAM). In the RAM, various programs and data required for the operation of the device can also be stored. The CPU, ROM and RAM are connected to each other by a bus. An input/output (I/O) interface is also connected to the bus.

A plurality of components in a device are connected to an I/O interface, comprising: an input unit such as a keyboard, a mouse, etc.; an output unit such as various types of displays, speakers, and the like; a storage unit such as a magnetic disk, an optical disk, or the like; and communication units such as network cards, modems, wireless communication transceivers, and the like. The communication unit allows the device to exchange information/data with other devices via a computer network, such as the internet, and/or various telecommunication networks.

The processing unit performs the respective methods and processes described above, for example, the methods S1 to S10 of the present invention. For example, in some embodiments, methods S1-S10 may be implemented as a computer software program tangibly embodied on 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 onto the device via the ROM and/or the communication unit. When the computer program is loaded into RAM and executed by the CPU, one or more steps of the methods S1 to S10 described above may be performed. Alternatively, in other embodiments, the CPU may be configured to perform methods S1-S10 in any other suitable manner (e.g., by means of firmware).

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: a Field Programmable Gate Array (FPGA), an Application Specific Integrated Circuit (ASIC), an Application Specific Standard Product (ASSP), a system on a chip (SOC), a Complex Programmable Logic Device (CPLD), and the like.

Program code for carrying out methods of the present invention may be written in any combination of one or more programming languages. These program code may be provided to a processor or controller of a general purpose computer, special purpose computer, or other programmable data processing apparatus such that the program code, when executed by the processor or controller, causes the functions/operations specified in the flowchart and/or block diagram to be implemented. The program code may execute entirely on the machine, partly on the machine, as a stand-alone software package, partly on the machine and partly on a remote machine or entirely on the remote machine or server.

In the context of the present invention, a machine-readable medium may be a tangible medium that can contain, or store a program for use by or in connection with an instruction execution system, apparatus, or device. The machine-readable medium may be a machine-readable signal medium or a machine-readable storage medium. The machine-readable medium may include, but is not limited to, an electronic, magnetic, optical, electromagnetic, infrared, or semiconductor system, apparatus, or device, or any suitable combination of the foregoing. More specific examples of a machine-readable storage medium would include an electrical connection based on one or more wires, a portable computer diskette, 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 disc read-only memory (CD-ROM), an optical storage device, a magnetic storage device, or any suitable combination of the foregoing.

While the invention has been described with reference to certain preferred embodiments, it will be understood by those skilled in the art that various changes and substitutions of equivalents may be made and equivalents will be apparent to those skilled in the art without departing from the scope of the invention. Therefore, the protection scope of the invention is subject to the protection scope of the claims.

Claims

1. The method for judging the sequence consistency of the ZC boundary train is characterized in that the method is based on an envelope management train, and judges the sequence consistency of the train by checking the envelope sequence provided by the adjacent ZC and the envelope sequence of the current ZC, and the method specifically comprises the following steps:

2. The ZC boundary train sequence consistency judging method according to claim 1, wherein the envelope in the step S1 is an abstract data structure for managing trains, the envelope covers a continuous area on the line, the area is an area where the trains may exist, and the envelope is divided into 2 types: train envelope and undefined envelope; a train with only one number in the train envelope; the undefined envelope contains trains of uncertainty, there may be no trains, there may be one train of uncertainty in number, or there may be multiple trains of uncertainty in number.

3. The method for judging the train sequence consistency at the ZC boundary according to claim 1, wherein in the step S1, the arrangement sequence of the current ZC envelope is agreed to be arranged from left to right according to the direction from the current ZC, namely, the train is arranged in the direction from the current ZC to the adjacent ZC;

4. The ZC boundary train sequence consistency determining method of claim 1, wherein the train envelope is associated with a determined train, the train information having two sources: direct source information and indirect source information, the direct source information refers to information directly transmitted to the current ZC by the train; the indirect source information refers to that the neighboring ZCs send the car information to the current ZC through the envelope sequence information.

5. The method for judging the consistency of the ZC boundary train sequence according to claim 1, wherein the step S2 of obtaining the boundary point association envelope sequence information provided by the adjacent ZCs specifically includes:

the adjacent ZC packages and transmits N pieces of envelope information closest to the current ZC boundary point in the jurisdiction range, and if the number of envelopes on the path where the adjacent ZC boundary point is located is smaller than N, the adjacent ZC transmits the N pieces of envelope information according to the actual number of envelopes;

wherein one of the envelope information in the envelope sequences transmitted by the neighboring ZCs includes: the type of the envelope, the train ID associated with the envelope, and whether the envelope is completely located in the adjacent ZC.

6. The ZC boundary train sequence consistency judging method according to claim 1, wherein the step S3 of checking that there is no contradiction between the position information in the envelope sequence information provided by the adjacent ZCs specifically includes:

7. The ZC boundary train sequence consistency judging method according to claim 1, wherein the step S4 of checking that there is no contradiction between the current ZC anchor envelope and the ZC boundary point path specifically includes:

8. The method for judging the consistency of train sequences at ZC boundaries according to claim 1, wherein the step S5 of checking that the envelope updated by the present ZC according to the indirect source information of the neighboring ZCs must exist in the anchor envelope is specifically:

9. The ZC boundary train sequence consistency judging method according to claim 1, wherein the step S6 of checking that the order between the anchor envelopes is the same between the current ZC and the adjacent ZC specifically comprises:

10. The ZC boundary train sequence consistency judging method according to claim 1, wherein the step S7 of checking that there is no contradiction between the left zone of the first anchor envelope in the adjacent ZCs and the envelope zone corresponding to the current ZC specifically includes:

for the anchoring envelope A of the current ZC to correspond to the adjacent ZC anchoring envelope a, wherein the adjacent ZC anchoring envelope a is a first anchoring envelope, and if the directly adjacent envelope on the left side of the adjacent ZC anchoring envelope a exists and is a train envelope, the directly adjacent one on the left side of the anchoring envelope A of the current ZC is an undetermined envelope; if there is a train envelope located to the left of the envelope a but not immediately adjacent to the adjacent ZC, there must be an undefined envelope to the left of the anchor envelope a of the current ZC and less than the specified distance from the ZC boundary.

11. The ZC boundary train sequence consistency judging method according to claim 1, wherein the step S8 of checking that there is no contradiction between the intervals of two adjacent anchor envelopes in the adjacent ZCs and the envelope intervals corresponding to the current ZCs is specifically:

12. The ZC boundary train sequence consistency judging method according to claim 1, wherein the step S9 of checking that there is no contradiction between the sections of two adjacent anchor envelopes in the current ZC and the envelope sections corresponding to the adjacent ZCs specifically includes:

13. The ZC boundary train sequence consistency judging method according to claim 1, wherein the step S10 of checking that there is no contradiction between the right zone of the last anchor envelope in the current ZC and the envelope zone corresponding to the adjacent ZC is specifically:

for the anchoring envelope A of the current ZC corresponding to the adjacent ZC anchoring envelope a, wherein the anchoring envelope A of the current ZC is the last anchoring envelope, if the immediately adjacent envelope on the right side of the anchoring envelope A of the current ZC exists and is a train envelope, the immediately adjacent one on the right side of the anchoring envelope a of the adjacent ZC is an undetermined envelope; if there is a train envelope on the current ZC to the right of the envelope A but not immediately adjacent, there must be an undefined envelope on the right of the anchor envelope a of the adjacent ZC.

14. An electronic device comprising a memory and a processor, the memory having stored thereon a computer program, characterized in that the processor, when executing the program, implements the method of any of claims 1-13.

15. A computer readable storage medium, on which a computer program is stored, characterized in that the program, when being executed by a processor, implements the method according to any one of claims 1-13.