Interval occupation logic checking method, train control system, storage medium and electronic device

Abstract

The application discloses an interval occupation logic checking method, a train control system, a storage medium and electronic equipment, which are used for an automatic block system railway line, and the method comprises the following steps: acquiring train position information and a train type; acquiring track circuit data and judging a track section state; based on the train position information, the train type and the track section state, generating corresponding signal permissions for the train, and judging the logic state of the corresponding block section based on the signal permissions. The application has the advantages that normal trains, fault trains and non-moving block trains can be safely operated on the automatic block system railway line at the same time, and the normal trains can still adopt the moving block system without being degraded to the automatic block system, so that the train density of the normal trains is improved, and the passing capacity of the automatic block system railway line is improved.

Description

Technical Field

[0001] This invention relates to the field of rail transit technology, and in particular to a method for checking section occupancy logic, a train control system, a storage medium, and an electronic device. Background Technology

[0002] Moving block and automatic block are two train control block systems (also known as train block systems) used in railways to control train intervals, ensure train operation safety, and improve track capacity.

[0003] Railway lines using automatic block signaling, such as CTCS-0, CTCS-2, and CTCS-3, have several block sections between adjacent stations, with each block section containing multiple track segments. The travel permission for subsequent trains is determined by the starting point of the block section occupied by the preceding train; that is, the spatial interval between operating trains is several block sections.

[0004] On lines using automatic block signaling, section occupancy logic checking plays an irreplaceable role as a crucial function to ensure train operation safety. This function checks the train's operating status within a block section, preventing safety hazards caused by track circuit faults or lost train occupancy. Automatic block signaling systems operate on a block section basis, meaning only one train can operate at a time within each block section.

[0005] In the moving block system, the movement authorization of subsequent trains is updated as the rear position of the preceding train moves, train intervals change dynamically, and block sections may not be required. When using moving block, trains must be equipped with onboard moving block systems.

[0006] Trains equipped with onboard moving block systems that are functioning normally and those that are malfunctioning are referred to as "normal trains" and "malfunctioning trains," respectively. When a normal train is traveling on a railway line using an automatic block system, two normal trains may enter the same block section. Based on the existing section occupancy logic check, it will be assumed that the adjacent block section behind the current block section of these two normal trains has lost its routing, preventing the following train from entering that adjacent block section, thus disrupting the normal operation of the railway line and reducing train efficiency.

[0007] The statements herein provide only background information in relation to the present invention and do not necessarily constitute prior art. Summary of the Invention

[0008] The purpose of this invention is to provide a section occupancy logic checking method, train control system, storage medium, and electronic equipment that overcomes the problem that existing section occupancy logic checking methods affect the normal operation of railway lines when normal trains (equipped with normally functioning onboard moving block devices) are running on automatic block signaling (AS / RS) railway lines. Through this invention, normal trains, faulty trains (where the onboard moving block devices have malfunctioned), and non-moving block trains can all operate safely on AS / RS railway lines simultaneously, and normal trains can still use the moving block system, thus improving the transport capacity of the railway line.

[0009] To achieve the above objectives, the present invention provides a section occupancy logic checking method for an automatic block signaling (ASS) railway line, wherein the ASS railway line includes multiple block sections, each block section includes multiple track sections, and the method includes the following steps:

[0010] Obtain train location information and train type; the train type includes: non-moving block train, normal train and faulty train; the non-moving block train is not equipped with on-board moving block equipment; the normal train and the faulty train are both equipped with on-board moving block equipment, the moving block equipment of the normal train is working normally, and the moving block equipment of the faulty train is faulty.

[0011] Acquire track circuit data to determine the status of track sections;

[0012] Based on the train location information, train type, and track section status, a corresponding signal permission is generated for the train, and the logical status of the corresponding block section is determined based on the signal permission.

[0013] Optionally, the track segment status includes track segment occupied and track segment idle.

[0014] Optionally, the logical states include: normal occupancy, fault occupancy, idle, and lost branch.

[0015] Optionally, if the train preceding the normal train is a faulty train or a non-moving block train, the signal permission endpoint of the normal train extends to the starting point of the block section occupied by the preceding train.

[0016] The logical state of the block section corresponding to the normal train and the adjacent train ahead is normal occupancy.

[0017] Optionally, the normal train includes a first normal train and a second normal train, the first normal train and the second normal train are adjacent to each other and run in parallel, and the first normal train is located behind the second normal train;

[0018] The signal permission of the first normal train extends inside the block section occupied by the second normal train and is located behind the second normal train.

[0019] The logical state of the block section where the first normal train and the second normal train are located is normal occupancy.

[0020] Optionally, the first normal train and the second normal train may travel in the same block section or different block sections.

[0021] Optionally, the closure partition includes an adjacent first closure partition and a second closure partition, wherein the end point of the first closure partition is the start point of the second closure partition.

[0022] The second normal train and the first normal train enter the second block section one after another and are simultaneously located in the second block section. The track status of the first block section changes from track occupied to track free at the first moment. If the preset constraint conditions are met, the logical status of the first block section after the first moment is judged as free; otherwise, it is judged as having lost its branch.

[0023] The constraints include:

[0024] Prior to the first moment, the first block section and at least a portion of the second block section belonged to the same signal clearance; and

[0025] Prior to the first moment, the logical state of the second blocking partition was normal occupancy; and

[0026] After the first moment, the track status of the second block section remains as occupied.

[0027] Optionally, if at least one of the track segments in the block section is in the state of track segment occupied, the track state of the block section is track occupied; if all track segments in the block section are in the state of track segment free, the track state of the block section is track free.

[0028] Optionally, the signal clearance endpoint of the faulty train extends to the starting point of the block section where the adjacent train ahead of it is located; the logical state of both the faulty train and the block section where the adjacent train ahead of it is located is normal occupancy.

[0029] Optionally, the block sections in which the faulty train and the train immediately preceding it are located may be adjacent or not adjacent.

[0030] Optionally, the signal permission endpoint of the non-moving block train extends to the starting point of the block section where its adjacent train is located; the logical state of the non-moving block train and the block section where its adjacent train is located is both normally occupied.

[0031] Optionally, the block sections in which the non-moving block train and its preceding adjacent train are located may be adjacent or not adjacent.

[0032] The present invention also provides a train control system for implementing the interval occupancy logic check method as described in the present invention, comprising:

[0033] Track circuitry, used to detect the status of track sections;

[0034] The dispatching equipment is connected to the train in communication and is used to obtain train type and train location information;

[0035] The section occupancy logic checking device is electrically connected to the track circuit and communicatively connected to the dispatching device; the section occupancy logic checking device generates corresponding signal permission for the train based on the track section status, train type and train position information, and determines the logic status of the corresponding block section based on the signal permission.

[0036] Optionally, the train control system further includes a block section coding device; the section occupancy logic checking device also generates a train operation command based on the logic state of the block section, and the block section coding device encodes the train operation command and sends it to the train.

[0037] The present invention also provides a computer-readable storage medium having a computer program stored thereon, wherein when the computer program is executed by a processor, it implements the interval occupancy logic checking method as described in the present invention.

[0038] The present invention also provides an electronic device, including a processor and a memory, wherein the memory stores a computer program, and when the computer program is executed by the processor, it implements the interval occupancy logic checking method of the present invention.

[0039] Compared with the prior art, the advantages of the present invention are as follows:

[0040] This invention enables accurate determination of the logical status of each block section (used for coding block sections and controlling train operation) even when two normal trains enter the same block section. This ensures that normal trains, faulty trains, and non-moving block trains can operate safely simultaneously on automatic block systems (ABS) railway lines. Furthermore, normal trains can still use the moving block system without downgrading to ABS. This invention reduces the tracking time interval for normal trains, increases their frequency, and thus improves the throughput of ABS railway lines, allowing for widespread adoption on railway lines.

[0041] When the onboard moving block system of a normal train malfunctions, the faulty train can use the automatic block system as a degraded mode. The section occupancy logic check method of this invention can generate the correct logical state for the faulty train. This invention can still provide continuous assurance for the safe operation of railway lines even when a normal train becomes a faulty train.

[0042] The interval occupancy logic check of this invention is easy to understand and master, greatly reducing on-site training costs and on-site maintenance costs. Attached Figure Description

[0043] Figure 1 A diagram illustrating the tracking of two normal trains traveling on a railway line using an automatic block system.

[0044] Figure 2 This is a flowchart of the interval occupancy logic check method of the present invention.

[0045] Figure 3 This is a schematic diagram illustrating the signal clearances for multiple trains in a given scenario.

[0046] Figure 4 This is a schematic diagram of the first normal train and the second normal train adjacent to it in different block sections in scenario 1.

[0047] Figure 5 This is a schematic diagram of scenario 2, in which the first normal train and the second normal train adjacent to it are tracking each other in the same block section.

[0048] Figure 6 This is a schematic diagram illustrating the tracking operation between a faulty train and the adjacent train in an adjacent block section in scenario 3.

[0049] Figure 7 This is a schematic diagram illustrating scenario 4, in which a faulty train and the adjacent train ahead are tracking each other in a non-adjacent block section.

[0050] Figure 8 This is a schematic diagram illustrating the tracking operation of a normal train and the adjacent faulty train or non-moving block train in Scenario 5.

[0051] Figure 9 This is a schematic diagram of the train control system of the present invention. Detailed Implementation

[0052] The following detailed description, in conjunction with the accompanying drawings and specific embodiments, further illustrates the interval occupancy logic checking method, train control system, storage medium, and electronic device proposed in this invention. The advantages and features of this invention will become clearer from the following description. It should be noted that the drawings are in a very simplified form and use non-precise proportions, used only to facilitate and clearly illustrate the embodiments of this invention. Please refer to the drawings to make the objectives, features, and advantages of this invention more apparent and understandable. It should be understood that the structures, proportions, sizes, etc., depicted in the accompanying drawings are only for illustrative purposes to aid those skilled in the art and are not intended to limit the implementation conditions of this invention. Therefore, they have no substantial technical significance. Any modifications to the structure, changes in proportions, or adjustments to the size, without affecting the effects and objectives achieved by this invention, should still fall within the scope of the technical content disclosed in this invention.

[0053] Track circuits are fundamental equipment in railway signaling systems, used to detect train occupancy, transmit train operation information, and form the underlying safety logic for train operation control. Track circuits consist of rails and relays. The rails act as conductors, with insulating joints separating their ends. One end of the rail is connected to a power source (power-sending end), and the other end is connected to a relay (power-receiving end). Track circuit data is obtained by collecting the status of the relays. When a train occupies a corresponding rail, the train's wheelset shunts current, the relay drops, and the track circuit data reflects that the rail is occupied. When there is no train on the rail, the relay activates, and the track circuit data reflects that the rail is idle. However, factors such as rail corrosion, damaged insulating joints, and broken cables can all lead to inaccurate track circuit data, therefore, train operation cannot be controlled entirely based on track circuit data.

[0054] Moving block and automatic block are two train control block systems in railways. In the moving block system, the movement authorization of subsequent trains is updated as the tail position of the preceding train moves, the train interval changes dynamically, and block sections may not be set up. When using moving block, trains must be equipped with onboard moving block equipment.

[0055] In this invention, a train equipped with a moving block system and in normal working order is called a normal train. A train equipped with a moving block system but whose moving block system is malfunctioning is called a faulty train. A train without a moving block system and using an automatic block system is called a non-moving block train.

[0056] Existing railway lines using the automatic block signaling system operate on a block section basis, meaning only one train can run in each block section at a time. Section occupancy logic checks the train's operational status within a block section to prevent safety hazards caused by track circuit failures or lost train occupancy. This section occupancy logic check generates the logical state of the block section, which in turn generates train operation commands, issues codes to the train, and controls its operation.

[0057] The logical states of a blocking partition include: idle, normally occupied, fault occupied, and lost branch.

[0058] 1) Idle: The train is not occupying the block section, and the track circuit data shows that it is idle.

[0059] 2) Normal Occupation: The train occupies the block section, and the track circuit data reflects this occupancy.

[0060] 3) Fault Occupation: The train does not occupy the block section, but the track circuit data shows that it is occupied.

[0061] 4) Loss of route: The train occupies the block section, but the track circuit data shows it as idle.

[0062] When a normal train is running on a railway line using the automatic block system, if the normal train is still using the moving block system, the existing section occupancy logic checking method is prone to errors in judging the logical state of the block section.

[0063] like Figure 1 As shown, trains a and b are both normal trains, traveling in parallel on a railway line using an automatic block system. Train b is the following train, and train a is the preceding train. There are no other trains between trains a and b, and they are adjacent to each other. Train b's travel clearance is a safety guard distance added to the rear of train a; that is, the front of train b must maintain a safety guard distance from the rear of train a. Figure 1 In this context, 21G, 23G, 25G, 27G, 29G, and 31G all represent occluded partitions.

[0064] Since the safety protection distance is usually less than the length of the block section, such as Figure 1As shown, train b and train a may simultaneously travel within the same block section 27G. However, the section occupancy logic check function of the automatic block signaling system only allows one train to operate at a time within each block section. Therefore, even if track circuit data shows that all track sections within block section 25G are empty, the existing section occupancy logic check considers a problem with the track circuit and assumes that train b is still in block section 25G, thus incorrectly determining the logic state of block section 25G as lost. Even if the track in block section 25G is cleared, subsequent trains cannot enter block section 25G, affecting the safe operation of the line.

[0065] This invention provides a method for checking section occupancy logic for automatic block signaling railway lines. The automatic block signaling railway lines include multiple block sections, and each block section includes multiple track sections.

[0066] like Figure 2 As shown, the method includes the following steps:

[0067] S100: Obtain train location information and train type.

[0068] The train location information is used to determine the relative positions of trains and the block section in which the train is located. The train types include: non-moving block trains, normal trains, and faulty trains.

[0069] S200: Obtain track circuit data and determine the status of the track section.

[0070] The multiple track segments of a block section correspond to multiple track circuits. The status of the corresponding track segment is determined by acquiring track circuit data (the relay status in the track circuit). In this invention, the track segment status includes track segment occupancy and track segment idling.

[0071] S300 generates corresponding signal permission for the train based on train location information, train type and track section status, and determines the logical status of the corresponding block section based on the signal permission.

[0072] In this invention, the logical states include: normal occupancy, fault occupancy, idle, and loss of branch.

[0073] It is important to emphasize that different trains require different signal clearances. In one scenario, such as... Figure 3 As shown, cars 1, 2, 3, 4, 5, and 6 are tracking each other within the section. Among them, cars 2, 3, and 4 are normal trains; cars 1, 5, and 6 are faulty trains or non-moving block trains. The signal clearances corresponding to cars 1, 2, 3, 4, 5, and 6 are SA1, SA2, SA3, SA4, SA5, and SA6, respectively.

[0074] In scenario 1, such as Figure 4 As shown, the normal trains include a first normal train B and a second normal train A that run adjacently and in parallel, with the first normal train B running behind the second normal train A. Based on the track section status, it is known that the first normal train B and the second normal train A are traveling in the first block section 23G and the second block section 25G, respectively. Signal clearances SA are generated for the first normal train B and the second normal train A, respectively. B SA A and according to the signal permission SA B SA A Determine the logical state of the first occluded partition 23G and the second occluded partition 25G.

[0075] like Figure 4 As shown, signal permission SA A Extending from the rear of the second normal train A to its front, the logic state of the second block section 25G is normal occupancy. Signal clearance SA B Coverage of 23G occlusion zone, signal license SA B The endpoint extends inside the first block section 23G occupied by the second normal train A, and is located behind the second normal train A. The logical state of the first block section 23G is occupied.

[0076] In scenario 2, such as Figure 5 As shown, adjacent second normal train A and first normal train B enter and simultaneously occupy the second block section 25G. The track status of the first block section 23G changes from occupied to free at the first instant. In this invention, if at least one track segment of a block section is occupied, then the track status of that block section is occupied. If all track segments within a block section are free, then the track status of that block section is free.

[0077] After the first moment, such as Figure 5 As shown, signal permission SA A Extending from the rear of the second regular train A to its front. Signal clearance SA B The signal SA extends from the rear of the first regular train B to the rear of the first regular train A. B Only a portion of the second occluded partition (25G) is covered. The logical state of the second occluded partition (25G) is occupied.

[0078] If the preset constraints are met, the interval occupancy logic check method of the present invention will also determine the logic state of the first blocking partition 23G after the first moment as idle; otherwise, it will determine that the branch has been lost.

[0079] The constraints include:

[0080] Prior to the first moment, the first block section 23G and at least part of the second block section 25G belonged to the same signal clearance. Figure 4 SA in B );and

[0081] Prior to the first moment, the logical state of the second occupied partition (25G) was normal occupancy; and

[0082] After the first moment, the track status of the second block section 25G remains as occupied.

[0083] In this invention, the logical state of the first block section 23G after the first moment is determined to be idle, rather than incorrectly determined to be lost, allowing subsequent trains to enter the first block section 23G. Through this invention, even when two normal trains enter the same block section, the logical state of each block section can still be accurately provided, ensuring the safe operation of normal trains on automatic block signaling railway lines. Furthermore, normal trains can still use moving block signaling without downgrading to automatic block signaling. This invention compresses the tracking time interval of normal trains, increases the density of normal train traffic, and thus improves the throughput capacity of automatic block signaling railway lines, enabling its widespread adoption on railway lines.

[0084] In scenario 3, such as Figure 6 As shown, train D is a faulty train or a non-moving block train. The train adjacent to train D is train C, which is either a normal train, a faulty train, or a non-moving block train. Train D is traveling in block section 25G, and train C is traveling in block section 27G. The section occupancy logic check method of this invention generates corresponding signal permits (SA) for trains C and D respectively. C SA D and according to the signal permission SA C SA D Determine the logical state of occluded partition 25G and occluded partition 27G.

[0085] like Figure 6 As shown, signal permission SA C Including block section 27G and the area ahead of train C, the logical state of block section 27G is normal occupancy. Signal clearance SA D Coverage of 25G occlusion zone, and signal license SA. D The endpoint extends to the starting point of occluded partition 27G (it cannot enter the interior of occluded partition 27G). The logical state of occluded partition 25G is occupied.

[0086] Figure 7 Scenario 4 shows two vehicles tracking each other. Figure 6The difference is that train D is traveling in block section 23G, which is not adjacent to block section 27G, where train C is located. Train D's signal clearance is SA. D Coverage includes 23G and 25G slug areas, with SA signal permission. D The endpoint extends to the starting point of occluded partition 27G (it cannot enter the interior of occluded partition 27G). The logical state of occluded partition 23G is occupied.

[0087] In scenario 5, such as Figure 8 As shown, train F is a normal train, and the train adjacent to train F, train E, is either a disabled train or a non-moving block train. Therefore, the signal clearance SA for train F is... F Coverage includes 23G and 25G slug areas, with SA signal permission. F The endpoint extends to the beginning of block section 27G occupied by train E (it cannot enter the interior of block section 27G). The logical state of block section 23G is occupied. Train E's signal clearance SA E It covers block section 27G and extends to the front of train E. The logical state of block section 27G is occupied.

[0088] This invention ensures the safe operation of normal trains, faulty trains, and non-moving block trains simultaneously on automatic block signaling (ABS) railway lines. When the onboard moving block equipment of a normal train malfunctions, the faulty train can use ABS as a degraded mode, and the section occupancy logic check method of this invention can generate the correct logical state for the faulty train. This invention continues to provide safe operation of the railway line even when a normal train becomes a faulty train. The section occupancy logic check method of this invention is easy to understand and master, greatly reducing on-site training and maintenance costs.

[0089] This invention also provides a train control system for implementing the interval occupancy logic check method described in this invention, such as... Figure 9 As shown, it includes: track circuit 11, scheduling equipment 12, section occupancy logic checking equipment 13 and block section coding equipment 14.

[0090] Track circuit 11 is used to detect the status of track sections.

[0091] The dispatching device 12 is connected to the train for communication purposes, and is used to obtain train type and train location information.

[0092] The section occupancy logic checking device 13 is electrically connected to the track circuit 11 and communicatively connected to the dispatching device 12. The section occupancy logic checking device 13 generates corresponding signal permission for the train based on the track section status, train type, and train position information, and determines the logic status of the corresponding block section based on the signal permission.

[0093] The section occupancy logic checking device 13 also generates train operation instructions based on the logic status of the block section. The block section coding device 14 encodes the train operation instructions and sends them to the train to control train operation.

[0094] The present invention also provides a computer-readable storage medium having a computer program stored thereon, wherein when the computer program is executed by a processor, it implements the interval occupancy logic checking method as described in the present invention.

[0095] The present invention also provides an electronic device, including a processor and a memory, wherein the memory stores a computer program, and when the computer program is executed by the processor, it implements the interval occupancy logic checking method as described in the present invention.

[0096] It should be noted that, in this document, the terms "comprising," "including," or any other variations thereof are intended to cover non-exclusive inclusion, such that a process, method, article, or apparatus that comprises a list of elements includes not only those elements but also other elements not expressly listed, or elements inherent to such a process, method, article, or apparatus. Without further limitation, an element defined by the phrase "comprising one..." does not exclude the presence of other identical elements in the process, method, article, or apparatus that includes said element.

[0097] In the description of this invention, it should be understood that the terms "center," "height," "thickness," "upper," "lower," "vertical," "horizontal," "top," "bottom," "inner," "outer," "axial," "radial," and "circumferential," etc., indicating orientation or positional relationships, are based on the orientation or positional relationships shown in the accompanying drawings and are only for the convenience of describing the invention and simplifying the description, and do not indicate or imply that the device or element referred to must have a specific orientation, or be constructed and operated in a specific orientation, and therefore should not be construed as a limitation of the invention. In the description of this invention, unless otherwise stated, "a plurality of" means two or more.

[0098] In the description of this invention, unless otherwise explicitly specified and limited, the terms "installation," "connection," "linking," and "fixing" should be interpreted broadly. For example, they can refer to a fixed connection, a detachable connection, or an integral part; they can refer to a mechanical connection or an electrical connection; they can refer to a direct connection or an indirect connection through an intermediate medium; they can refer to the internal communication of two components or the interaction between two components. Those skilled in the art can understand the specific meaning of the above terms in this invention according to the specific circumstances.

[0099] In this invention, unless otherwise explicitly specified and limited, "above" or "below" the second feature can include direct contact between the first and second features, or contact between the first and second features through another feature between them. Furthermore, "above," "over," and "on top" of the second feature includes the first feature directly above or diagonally above the second feature, or simply indicates that the first feature is at a higher horizontal level than the second feature. "Below," "below," and "under" the second feature includes the first feature directly below or diagonally below the second feature, or simply indicates that the first feature is at a lower horizontal level than the second feature.

[0100] Although the present invention has been described in detail through the preferred embodiments above, it should be understood that the above description should not be considered as a limitation of the present invention. Various modifications and substitutions to the present invention will be apparent to those skilled in the art after reading the above description. Therefore, the scope of protection of the present invention should be defined by the appended claims.

Claims

1. A method for checking section occupancy logic, used in an automatic block signaling railway line, the automatic block signaling railway line comprising multiple block sections, each block section comprising multiple track sections, characterized in that... The method includes the following steps: Obtain train location information and train type; the train type includes: non-moving block train, normal train and faulty train; the non-moving block train is not equipped with on-board moving block equipment; the normal train and the faulty train are both equipped with on-board moving block equipment, the moving block equipment of the normal train is working normally, and the moving block equipment of the faulty train is faulty. Acquire track circuit data to determine the status of track sections; Based on the train location information, train type and track section status, a corresponding signal permission is generated for the train, and the logical status of the corresponding block section is determined based on the signal permission; If the train preceding the normal train is a faulty train or a non-moving block train, the signal permission endpoint of the normal train extends to the start of the block section occupied by the preceding train; the logical state of the block sections corresponding to the normal train and the preceding train is normal occupancy. The signal clearance of the faulty train extends to the start of the block section where the adjacent train ahead is located; the logical state of the block section where the faulty train and the adjacent train ahead are located is normal occupancy. The signal clearance of the non-moving block train extends to the starting point of the block section where its adjacent train is located; the logical state of the non-moving block train and the block section where its adjacent train is located is normal occupancy.

2. The interval occupancy logic check method as described in claim 1, characterized in that, The track segment status includes track segment occupied and track segment idle.

3. The interval occupancy logic check method as described in claim 2, characterized in that, The logical states include: normal occupancy, fault occupancy, idle, and lost branch.

4. The interval occupancy logic check method as described in claim 3, characterized in that, The normal train includes a first normal train and a second normal train, which are adjacent to each other and run in parallel, with the first normal train located behind the second normal train. The signal permission of the first normal train extends inside the block section occupied by the second normal train and is located behind the second normal train. The logical state of the block section where the first normal train and the second normal train are located is normal occupancy.

5. The interval occupancy logic check method as described in claim 4, characterized in that, The first normal train and the second normal train travel in the same block section or different block sections.

6. The interval occupancy logic check method as described in claim 4, characterized in that, The closure section includes an adjacent first closure section and a second closure section, wherein the end point of the first closure section is the start point of the second closure section. The second normal train and the first normal train entered the second block section one after another and were simultaneously located in the second block section. The track status of the first block section changed from track occupied to track free at the first moment. If the preset constraints are met, the logical state of the first blocking partition after the first moment is determined to be idle; otherwise, it is determined to be lost. The constraints include: Prior to the first moment, the first block section and at least a portion of the second block section belonged to the same signal clearance; and Prior to the first moment, the logical state of the second blocking partition was normal occupancy; and After the first moment, the track status of the second block section remains as occupied.

7. The interval occupancy logic check method as described in claim 6, characterized in that, If at least one of the track segments in the block section is in the state of track segment occupied, the track status of the block section is track occupied; if all track segments in the block section are in the state of track segment free, the track status of the block section is track free.

8. The interval occupancy logic check method as described in claim 1, characterized in that, The block section in which the faulty train and the train immediately preceding it are located may be adjacent or not adjacent.

9. The interval occupancy logic check method as described in claim 1, characterized in that, The non-moving block train and the block section in which the train ahead of it is located are either adjacent or not adjacent.

10. A train control system for implementing the interval occupancy logic check method as described in any one of claims 1 to 9, characterized in that, include: Track circuitry, used to detect the status of track sections; The dispatching equipment is connected to the train in communication and is used to obtain train type and train location information; The section occupancy logic checking device is electrically connected to the track circuit and communicatively connected to the dispatching device; the section occupancy logic checking device generates corresponding signal permission for the train based on the track section status, train type and train position information, and determines the logic status of the corresponding block section based on the signal permission.

11. The train control system as described in claim 10, characterized in that, It also includes a block section coding device; the section occupancy logic checking device further generates a train operation command based on the logic state of the block section, and the block section coding device encodes the train operation command and sends it to the train.

12. A computer-readable storage medium having a computer program stored thereon, characterized in that, When the computer program is executed by the processor, it implements the interval occupancy logic check method as described in any one of claims 1 to 9.

13. An electronic device, characterized in that, It includes a processor and a memory, wherein the memory stores a computer program, and when the computer program is executed by the processor, it implements the interval occupancy logic check method as described in any one of claims 1 to 9.

Images