Train control data modeling method and device of train control center

Abstract

The invention discloses a train control data modeling method and device of a train control center, and relates to the technical field of rail transit. The method comprises the steps of determining application functions related to train control data in a train control center; determining a control object of each application function, and determining a corresponding relationship between each control object and a corresponding entity; and converting each control object into an entity object of the corresponding entity according to the corresponding relationship. The method is used for realizing a train control data modeling function of the train control center.

Description

Technical Field

[0001] The present application relates to the field of rail transit technology, and in particular to a train control data modeling method and device for a train control center. Background Art

[0002] In the development process of the train control center, the traditional design, development, and testing methods can generally only determine whether the developed train control center meets the design requirements from the perspective of functional logic. Among them, the train control center is a signaling device in the train C2 / C3 system, which is used to manage and control the train operation. However, with the application of formal methods in various fields, more and more experts are gradually considering whether it is necessary to combine formal methods to develop and design the train control center.

[0003] Formal methods can be understood as a methodology for developing software systems based on mathematics. It provides a mathematical framework that allows developers to gradually develop software by defining and verifying systems. The premise for the implementation of formal methods is to model and define various different contents, and introduce symbolic language to express the form and structure of the system. However, in practical applications, the train control data has not been effectively modeled during the development of the existing train control center, which makes it difficult for experts in the industry to develop the train control center in combination with formal methods. Therefore, how to model the train control data of the train control center has become an urgent problem to be solved in the field. Summary of the invention

[0004] The embodiments of the present application provide a train control data modeling method and device for a train control center, the main purpose of which is to solve the problem of lack of modeling of train control data in the current development process of the train control center.

[0005] In order to solve the above technical problems, the embodiments of the present application provide the following technical solutions:

[0006] In a first aspect, the present application provides a train control data modeling method of a train control center, the method comprising:

[0007] In the train control center, determine the application functions involved in the train control data;

[0008] Determine a control object for each of the application functions, and determine a corresponding relationship between each of the control objects and a corresponding entity;

[0009] According to the corresponding relationship, each of the control objects is converted into an entity object of the corresponding entity.

[0010] In a second aspect, the present application further provides a train control data modeling device of a train control center, comprising:

[0011] A first determining unit, configured to determine, in a train control center, an application function involved in the train control data;

[0012] A second determining unit, configured to determine a control object of each of the application functions, and determine a corresponding relationship between each of the control objects and a corresponding entity;

[0013] A conversion unit is used to convert each of the control objects into an entity object of a corresponding entity according to the corresponding relationship.

[0014] In a third aspect, an embodiment of the present application provides a storage medium, which includes a stored program, wherein when the program is running, the device where the storage medium is located is controlled to execute the train control data modeling method of the train control center described in any one of the first aspects.

[0015] In a fourth aspect, an embodiment of the present application provides a train control data modeling device for a train control center, the device comprising a storage medium; and one or more processors, the storage medium being coupled to the processor, the processor being configured to execute program instructions stored in the storage medium; when the program instructions are executed, the train control data modeling method for the train control center described in any one of the first aspects is executed.

[0016] By means of the above technical solution, the technical solution provided by this application has at least the following advantages:

[0017] The present application provides a train control data modeling method and device for a train control center. The present application can first determine the application functions involved in the train control data in the train control center; then determine the control object of each of the application functions, and determine the corresponding relationship between each of the control objects and the corresponding entity; finally, according to the corresponding relationship, each of the control objects is converted into an entity object of the corresponding entity, thereby realizing the train control data modeling function of the train control center. Compared with the prior art, the present application can model the specific entities involved in each function of the train control data from the perspective of the application functions involved, thereby realizing a modeling function of the train control data, solving the problem of lack of train control data modeling when using formal methods to develop the train control center, ensuring that subsequent experts in related fields can develop the train control center through formal methods based on the train control data modeling of the present application and in combination with the modeled data, laying the foundation for the development method of the train control center based on formal methods.

[0018] The above description is only an overview of the technical solution of the present application. In order to more clearly understand the technical means of the present application, it can be implemented in accordance with the contents of the specification. In order to make the above and other purposes, features and advantages of the present application more obvious and easy to understand, the specific implementation methods of the present application are listed below. BRIEF DESCRIPTION OF THE DRAWINGS

[0019] By reading the detailed description below with reference to the accompanying drawings, the above and other purposes, features and advantages of the exemplary embodiments of the present application will become easy to understand. In the accompanying drawings, several embodiments of the present application are shown in an exemplary and non-limiting manner, and the same or corresponding reference numerals represent the same or corresponding parts, wherein:

[0020] Figure 1 A flow chart of a train control data modeling method for a train control center provided in an embodiment of the present application is shown;

[0021] Figure 2 A flow chart of another train control data modeling method of a train control center provided in an embodiment of the present application is shown;

[0022] Figure 3 A block diagram showing a train control data modeling device of a train control center provided in an embodiment of the present application is shown;

[0023] Figure 4 A block diagram showing the composition of another train control data modeling device of a train control center provided in an embodiment of the present application is shown. DETAILED DESCRIPTION

[0024] The exemplary embodiments of the present application will be described in more detail below with reference to the accompanying drawings. Although the exemplary embodiments of the present application are shown in the accompanying drawings, it should be understood that the present application can be implemented in various forms and should not be limited by the embodiments described herein. On the contrary, these embodiments are provided in order to enable a more thorough understanding of the present application and to fully convey the scope of the present application to those skilled in the art.

[0025] It should be noted that, unless otherwise specified, the technical terms or scientific terms used in this application should have the common meanings understood by technicians in the field to which this application belongs.

[0026] The present application provides a train control data modeling method for a train control center. Figure 1 As shown, the method includes:

[0027] 101. In the train control center, determine the application functions involved in the train control data.

[0028] With the continuous development of my country's social economy, the demand for railway transportation is also increasing. The CTCS-2 train control system is currently the most widely used train control system in China. Among them, the train control center, as an important part of the CTCS-2 train control system and the core of ground safety equipment, plays a vital role in the stability and safety of train operation. Therefore, how to quickly, efficiently and accurately develop and design the train control center has become a problem that experts need to solve. In this process, formal methods have gradually been valued by experts. Among them, formal methods, as a methodology for developing software systems based on mathematics, provide a mathematical framework that allows developers to develop software by defining and verifying systems in a relatively intuitive and convenient way. Therefore, they have gradually been favored by experts in various fields. In the specific application of formal methods, they can generally be divided according to different classification standards. According to the way of describing the target software system, formal methods can be divided into model-oriented methods and property-oriented methods. Model-oriented methods characterize different behavioral characteristics of the system by constructing a computational model of the system, while property-oriented methods describe a system by defining some properties that the system must satisfy. Specific methods include model-based methods, logic-based methods, algebraic methods, process algebraic methods, and network-based methods. However, no matter what formal method is used, the train control data involved in the train control center must be modeled and defined before that. Since experts in the field have not used formal methods to develop train control centers before, how to model the train control data is very important.

[0029] In view of this, in this embodiment, the method of this step can be used to first determine which functions the train control center involves. Only by determining the specific functions can the foundation be laid for subsequent development, and it can also be determined which functions the subsequent steps need to target when modeling. In this embodiment, the functions involved in the train control center, that is, the application functions, mainly involve some functions required for train operation, including but not limited to functions related to the control of train speed, functions related to the control of various controllers during train operation, and / or functions related to track sections. The specific content, quantity, type, and form of the application function are not limited here, and can be selected based on the needs of the train control center developers.

[0030] 102. Determine a control object of each of the application functions, and determine a corresponding relationship between each of the control objects and a corresponding entity.

[0031] In actual application, each application function involves the target of its function. For example, when the application function is a function for controlling the controller of the track section, the target is the controller. Of course, in this embodiment, the target is the control object. Since the specific functions of the application functions are different, the control objects involved are also different. The control object can include direct control and indirect control. Which one it belongs to can be determined according to the actual situation and is not limited here.

[0032] After determining the control object corresponding to the application function, it is necessary to establish a corresponding relationship between the control object and the entity. The control object may correspond to multiple different entities or a single entity. Therefore, when establishing the corresponding relationship in this step, a corresponding relationship can be established between each entity and the control object, or a set can be established for multiple entities, and a corresponding relationship can be established between the set and the control object. The specific method of establishing the corresponding relationship can be based on actual needs and can be carried out in any of the above methods, and is not limited here.

[0033] 103. According to the corresponding relationship, convert each of the control objects into an entity object of a corresponding entity.

[0034] After determining the correspondence between the control object and the corresponding entity, you can then create a corresponding entity object for each control object according to the method in this step. This is equivalent to adding a corresponding entity object for each application function. When you subsequently combine formal methods to develop the train control center, you can find the corresponding entity object for each application function, thereby ensuring the smooth execution of the formal method and laying the foundation for developing and designing the train control center based on formal methods.

[0035] It should be noted that, in some cases, one application function may correspond to multiple control objects, or one control object may correspond to multiple entities. In this case, after the entity object is established in this step, one control object may correspond to multiple entity objects or a collection of entity objects. At the same time, one application function may also correspond to multiple entity objects or a collection of entity objects. The specific details can be confirmed based on the actual situation and are not limited here.

[0036] This embodiment provides a method for modeling train control data of a train control center. This application can first determine the application functions involved in the train control data in the train control center; then, determine the control object of each of the application functions, and determine the corresponding relationship between each of the control objects and the corresponding entity; finally, according to the corresponding relationship, convert each of the control objects into an entity object of the corresponding entity, thereby realizing the train control data modeling function of the train control center. Compared with the prior art, this application can model the specific entities involved in each function of the train control data from the perspective of the application functions involved, thereby realizing a modeling function of train control data, solving the problem of lack of train control data modeling when using formal methods to develop train control centers, ensuring that subsequent experts in related fields can develop train control centers through formal methods based on the train control data modeling of this application and in combination with the modeled data, laying the foundation for the development method of train control centers based on formal methods.

[0037] To explain in more detail below, the present application embodiment provides another train control data modeling method of a train control center, as follows: Figure 2 As shown, the method includes:

[0038] 201. In the train control center, determine the application functions involved in the train control data.

[0039] In this embodiment, for the train control center, its train control data is mainly used to control the safe operation of the train. Therefore, from the perspective of research and development and design, the train control data can be divided based on different functions, that is, the application function described in this embodiment. Specifically, the functions specifically included in the application function may include: track section status judgment, section occupancy logic check, track circuit coding, section signal lighting control, transponder message sending, temporary speed limit processing and degradation, section running direction control, foreign object and earthquake protection, and platform door control. Among them, the track section status judgment is specifically used to detect and judge the current status of each track section; the section occupancy logic check is used to analyze and detect the logical status of the block section; the track circuit coding is used to send coded information to each track section; the section signal lighting control is used to control the signal; the transponder message sending is used to send real-time messages to the transponder; temporary speed limit processing and degradation are used to process speed limit commands at different locations; the section running direction control is used to control the section direction; foreign object and earthquake protection is used to identify and detect disaster areas in the route; platform door control is used to detect and control the status of the platform door.

[0040] 202. Determine a control object of each of the application functions, and determine a corresponding relationship between each of the control objects and a corresponding entity.

[0041] In some embodiments, in order to ensure the normal operation of application functions, each application function involves a core control target that is directly related to its function, namely, the basic control object described in this embodiment. Therefore, the control object includes: basic control objects; wherein the basic control objects are used to represent the objects necessary for the normal operation of the application function; and the related objects are the objects of the auxiliary application function when it is operating normally.

[0042] Based on this, this step can be performed as follows:

[0043] 2021. Determine a basic control object of each of the application functions, and determine an object type of each of the basic control objects, wherein the object type includes a single entity type and a multi-entity type; the single entity type is used to characterize that the basic control object involves a single entity; the multi-entity type is used to characterize that the basic control object involves multiple entities;

[0044] 2022. When the object type of the basic control object is a single entity type, determine an entity corresponding to the basic control object, and establish a corresponding relationship between the basic control object and the corresponding entity;

[0045] 2023. When the object type of the basic control object is a multi-entity type, determine an entity set of multiple entities corresponding to the basic control object, and establish a corresponding relationship between the basic control object and the corresponding entity set.

[0046] Based on the method of this step, firstly, based on step 2021, the basic control object corresponding to the application function is determined, that is, the most important and direct object when the application function realizes its function. After the basic control object is determined, since the basic control object involves different types, the number of corresponding entities may be different under different types. Here, the object type of the basic control object can be divided based on the number of corresponding entities, into a single entity type and a multi-entity type. After determining the object type of the basic control object, the corresponding relationship can be established in two ways according to step 2022 or 2023.

[0047] In step 2022, when the object type is determined to be a single entity type, it means that the basic control object corresponds to a single entity, so when establishing the corresponding relationship, the basic control object can be directly established with the entity. In step 2023, when the object type is determined to be a multi-entity type, it means that the basic control object corresponds to multiple entities, so when establishing the corresponding relationship, the basic control object can be established with the entity set formed by the multiple entities.

[0048] In some embodiments, since some basic control objects are not directly associated with a certain entity and may be a relatively abstract concept, such as speed, the object type may also include an abstract type; the abstract type is used to represent that the basic control object does not have a directly associated entity;

[0049] After determining the basic control object of each of the application functions and determining the object type of each of the basic control objects in step 2021, the method further includes:

[0050] 2024. When the object type of the basic control object is an abstract type, obtain usage condition information of the basic control object, and determine at least one entity associated with the basic control object based on the usage condition information, and establish a corresponding relationship between the basic control object and the at least one associated entity; wherein the usage condition information includes: data characteristics of the basic control object and / or application function operating conditions corresponding to the basic control object.

[0051] When the above step 2021 determines that the object type of the current basic control object belongs to an abstract type, it means that the basic control object does not have an entity directly associated with it. At this time, in step 2024, it is necessary to combine some auxiliary information to determine the entity associated with it, which is specifically the use condition information. The use condition information can be understood as the data characteristics of the basic control object and the functional operation conditions corresponding to the basic control object. In the use condition information, the corresponding entity will be involved after all, and there may be multiple entities. At this time, a corresponding relationship can be established between these entities and the basic control object. For example, when the basic control object is a speed limit command, the speed limit command has no directly associated entity and belongs to an abstract object. Then, combined with its use condition information, the data characteristics of the speed limit command are that it can only be executed in a specific speed limit area. Then the entities involved in the speed limit area are generally the corresponding track segments. The track segment belongs to the entity, so a corresponding relationship can be established between the track segment corresponding to the speed limit area and the speed limit command. Of course, if the speed limit area corresponds to multiple track segments, then when establishing the corresponding relationship, the speed limit command is established between the speed limit command and the multiple track segments.

[0052] Through the method of steps 2021-2024 above, by establishing a corresponding relationship between the basic control objects involved in the application function according to the object type, it can be ensured that no matter what type the basic control object of the application function belongs to, the effect of establishing a corresponding relationship with the entity can be achieved, thereby ensuring that no matter whether it is a single entity type or a multi-entity type, or even an abstract type, each basic control object can establish a corresponding relationship with the entity, thereby laying the foundation for the smooth implementation of subsequent modeling functions.

[0053] Furthermore, for the train control center, the application functions of its train control data may specifically involve the following functions, among which the application functions include: track section status judgment, track circuit coding, section signal lighting control, transponder message sending and platform door control, section occupancy logic check, section running direction control, foreign object and earthquake protection, and temporary speed limit processing and degradation; for these application functions, the basic control objects of some application functions are single entity types, some are multi-entity types, and some are abstract types.

[0054] Based on this, when the object types of the basic control objects of the application functions are different, the above steps 2021-2024 can be specifically performed in the following aspects in actual application:

[0055] On the one hand, when the application function is track section status judgment, track circuit coding, section signal lighting control, transponder message sending or platform door control, the object type of the basic control objects involved in these application functions all belong to single entity type. Based on this, in step 221, the basic control object of each of the application functions is determined, and the object type of each of the basic control objects is determined, including:

[0056] 20211. When the application function is the track segment status judgment, determine that the basic control object of the track segment status judgment is the track segment, and determine that the object type of the track segment is a single entity type.

[0057] 20212 When the application function is the track circuit coding, the basic control object of the track circuit coding is determined to be the track segment, and the object type of the track segment is determined to be a single entity type.

[0058] 20213. When the application function is the lighting control of the section signal, the basic control object of the lighting control of the section signal is determined to be the signal, and the object type of the signal is determined to be a single entity type.

[0059] 20214. When the application function is the transponder message sending, determine that the basic control object of the transponder message sending is the transponder, and determine that the object type of the transponder is a single entity type.

[0060] 20215. When the application function is the platform door control, determine that the basic control object of the platform door control is the platform door, and determine that the object type of the platform door is a single entity type.

[0061] Based on the above description, it can be known that the above steps 20211-20215 all involve that the basic control object belongs to a single entity type. Based on this, when the object type of the basic control object is a single entity type, step 2022 determines the entity corresponding to the basic control object and constructs a corresponding relationship between the basic control object and the corresponding entity, including:

[0062] 20221. When the object type of the track segment is a single entity type, the track segment is directly determined as a corresponding entity and a corresponding relationship is established.

[0063] 20222. When the object type of the traffic light is a single entity type, the traffic light is directly determined as a corresponding entity and a corresponding relationship is established.

[0064] 20223. When the object type of the transponder is a single entity type, the transponder is directly determined as a corresponding entity and a corresponding relationship is established.

[0065] 20224. When the object type of the platform door is a single entity type, the platform door is directly determined as a corresponding entity and a corresponding relationship is established.

[0066] Based on the description of the above steps, it can be known that the object types of the basic control objects involved in the application functions such as track section status judgment, track circuit coding, section signal lighting control, transponder message sending or platform door control all belong to single entity types. Therefore, when establishing a corresponding relationship, the basic control object is actually the corresponding entity. Therefore, it is sufficient to directly establish a corresponding relationship between the two, thereby ensuring the effect of establishing multiple relationships between "application functions-basic control objects-entities" such as "track section status judgment-track section-establishing a corresponding relationship between the track sections of the entity".

[0067] On the other hand, when the application function is at least one of interval occupancy logic check, interval running direction control, and foreign object and earthquake protection, the object types of the basic control objects designed for these applications all belong to multi-entity types. Therefore, in the process of determining their object types and establishing corresponding relationships, a multi-entity type approach must be adopted.

[0068] Based on this, step 2021, determining the basic control object of each of the application functions, and determining the object type of each of the basic control objects, includes:

[0069] 20216. When the application function is the section occupancy logic check, determining that the basic control object of the section occupancy logic check is a block section, and determining that the object type of the block section is a multi-entity type according to at least one track section included in the block section;

[0070] 20217. When the application function is the section running direction control, determining that the basic control object of the section running direction control is a section direction port, and determining that the object type of the section direction port is a multi-entity type according to at least one signal and at least one track section included in the section direction port;

[0071] 20218. When the application function is the foreign object and earthquake protection, determining that the basic control object of the foreign object and earthquake protection is a disaster area, and determining that the object type of the disaster area is a multi-entity type according to at least one track segment included in the disaster area;

[0072] Based on this, step 2023, when the object type of the basic control object is a multi-entity type, determining an entity set of multiple entities corresponding to the basic control object, and constructing a corresponding relationship between the basic control object and the corresponding entity set, includes:

[0073] 20231. When the object type of the block partition is a multi-entity type, determine at least one track segment included in the block partition, generate a corresponding first track segment set, and establish a corresponding relationship between the block partition and the first track segment set;

[0074] 20232. When the object type of the section direction entrance is a multi-entity type, determining at least one signal and at least one track segment included in the section direction entrance, generating a device set including the at least one signal and at least one track segment, and establishing a corresponding relationship between the section direction entrance and the device set;

[0075] 20233. When the object type of the disaster area is a multi-entity type, determine the multiple track segments contained in the disaster area, generate a corresponding second track segment set, and construct a corresponding relationship between the disaster area and the second track segment set.

[0076] In this embodiment, since the application functions are section occupancy logic check, section running direction control, and foreign object and earthquake protection, the object types of the basic control objects designed in these applications all belong to multi-entity types. Therefore, through the methods of steps 20231 to 20233 above, the establishment of correspondences such as "section occupancy logic check-intersection partition-first track section set" is realized, ensuring that when the basic control object is a multi-entity type, the establishment of the correspondence between "application function-basic control object-entity set" can be realized, thereby laying the foundation for subsequent modeling.

[0077] On the other hand, in some cases, the basic control objects of some application functions are relatively abstract and belong to the abstract type. Specifically, such application functions may also include: temporary speed limit processing and degradation;

[0078] Based on this, step 2021, determining the basic control object of each of the application functions, and determining the object type of each of the basic control objects, includes:

[0079] 20219. When the application function is the temporary speed limit processing and degradation, determining that the basic control object of the temporary speed limit processing and degradation is a speed limit command, and determining that the object type of the speed limit command is an abstract type;

[0080] Since the speed limit command is of an abstract type, when establishing the corresponding relationship, the method of step 2024 is used to obtain the usage condition information of the basic control object when the object type of the basic control object is an abstract type, and determine at least one entity associated with the basic control object based on the usage condition information, and establish a corresponding relationship between the basic control object and the at least one associated entity. Therefore, the process of establishing the corresponding relationship is specifically as follows:

[0081] 20241. When the object type of the speed limit command is an abstract type, obtaining usage condition information of the speed limit command, and determining a speed limit area associated with the speed limit command based on the usage condition information;

[0082] 20242. Based on at least one track segment included in the speed limit area, construct a correspondence between the speed limit command and at least one associated track segment.

[0083] Through steps 20241-20242, the effect of establishing a correspondence between temporary speed limit processing and degradation, speed limit commands and at least one track section is achieved, thereby ensuring that basic control objects of abstract types such as speed limit commands can also establish a correspondence with certain entities, ensuring that the subsequent modeling function can be realized based on this correspondence.

[0084] 203. According to the corresponding relationship, convert each of the control objects into an entity object of a corresponding entity.

[0085] Based on the description of the above steps, it can be known that when the object type of the basic control object is divided into a single entity type, a multi-entity type and an abstract type, this step can be specifically as follows in the process of converting the basic control object into the corresponding entity object:

[0086] On the one hand, according to the corresponding relationship, when it is determined that the basic control object has a unique corresponding entity, the basic control object is converted into an entity object of the corresponding entity. This ensures that when the basic control object has only a unique corresponding entity, the basic control object can be directly converted into the corresponding entity object, realizing the modeling function of converting such basic control objects into corresponding entity objects.

[0087] On the other hand, according to the corresponding relationship, when it is determined that the basic control object has a corresponding entity set, the basic control object is converted into an entity object of the corresponding entity set. In this way, the effect of converting the basic control object of multiple entity types into an entity object of a set formed by the corresponding multiple entities is achieved, ensuring the realization of the function of converting the basic control object of multiple entity types into an entity object.

[0088] On the other hand, according to the corresponding relationship, when it is determined that there are multiple corresponding entities corresponding to the basic control object, a target set is constructed based on the multiple entities corresponding to the basic control object, and the basic control object is converted into an entity object corresponding to the target set. By converting the basic control object of an abstract type into an entity object corresponding to the target set, it is ensured that a relatively abstract control object can also be converted into a corresponding entity object, avoiding the problem of omitting the conversion of such a control object into an entity object, and ensuring the applicability of the method described in this embodiment.

[0089] It should be noted that in this embodiment, in addition to the basic control object, in some cases, the application function may also involve related objects. The related objects can be understood as related content that assists the basic control object to realize the application function. Here, when the application function also involves related objects, the related objects can also be processed according to the method of steps 201-203 above, that is, the entity object corresponding to the related object is obtained. The specific execution process is consistent with the execution process of the basic control object, which will not be repeated here.

[0090] In order to achieve the above-mentioned purpose, according to another aspect of the present application, an embodiment of the present application also provides a storage medium, which includes a stored program, wherein when the program is running, the device where the storage medium is located is controlled to execute the train control data modeling method of the train control center mentioned above.

[0091] In order to achieve the above-mentioned purpose, according to another aspect of the present application, an embodiment of the present application also provides a train control data modeling device of a train control center, the device includes a storage medium; and one or more processors, the storage medium is coupled to the processor, and the processor is configured to execute program instructions stored in the storage medium; when the program instructions are run, the train control data modeling method of the train control center described above is executed.

[0092] Furthermore, as a response to the above Figure 1 and Figure 2 In order to realize the method shown in the figure, another embodiment of the present application also provides a train control data modeling device for a train control center. The train control data modeling device embodiment of the train control center corresponds to the aforementioned method embodiment. For ease of reading, the train control data modeling device embodiment of the train control center will no longer repeat the details of the aforementioned method embodiment one by one, but it should be clear that the system in this embodiment can correspond to all the contents of the aforementioned method embodiment. Specifically, Figure 3 As shown, the train control data modeling device of the train control center includes:

[0093] The first determining unit 31 may be used to determine the application function involved in the train control data in the train control center;

[0094] The second determining unit 32 may be used to determine each control object of the application function determined by the first determining unit 31, and determine a corresponding relationship between each control object and a corresponding entity;

[0095] The conversion unit 33 may be configured to convert each of the control objects into an entity object of a corresponding entity according to the corresponding relationship obtained by the second determination unit 32 .

[0096] Further, such as Figure 4 As shown, the control object includes: a basic control object; wherein the basic control object can be used to characterize an object necessary for the normal operation of the application function; the related object is an object for the normal operation of the auxiliary application function;

[0097] The second determining unit 32 includes:

[0098] The first determination module 321 may be used to determine the basic control object of each of the application functions and determine the object type of each of the basic control objects, wherein the object type includes a single entity type and a multi-entity type; the single entity type may be used to characterize that the basic control object involves a single entity; the multi-entity type may be used to characterize that the basic control object involves multiple entities;

[0099] The second determination module 322 may be used to determine the entity corresponding to the basic control object and establish a corresponding relationship between the basic control object and the corresponding entity when the first determination module 321 determines that the object type of the basic control object is a single entity type;

[0100] The third determination module 323 can be used to determine the entity set of multiple entities corresponding to the basic control object when the first determination module 321 determines that the object type of the basic control object is a multi-entity type, and to establish a corresponding relationship between the basic control object and the corresponding entity set.

[0101] Further, such as Figure 4 As shown, the object type also includes an abstract type; the abstract type can be used to represent an entity that has no direct association with the basic control object;

[0102] The second determining unit 32 includes:

[0103] The fourth determination module 324 can be used to obtain usage condition information of the basic control object when the first determination module 321 determines that the object type of the basic control object is an abstract type, and determine at least one entity associated with the basic control object based on the usage condition information, and establish a corresponding relationship between the basic control object and the at least one associated entity; wherein the usage condition information includes: data characteristics of the basic control object and / or application function operating conditions corresponding to the basic control object.

[0104] Further, such as Figure 4 As shown, the conversion unit 33 includes:

[0105] The first conversion module 331 may be configured to convert the basic control object into an entity object of the corresponding entity when it is determined that the basic control object has a unique corresponding entity according to the corresponding relationship.

[0106] The second conversion module 332 may be configured to convert the basic control object into an entity object of the corresponding entity set when it is determined that the basic control object has a corresponding entity set according to the corresponding relationship;

[0107] The third conversion module 333 can be used to build a target set based on multiple entities corresponding to the basic control object according to the corresponding relationship, and convert the basic control object into an entity object corresponding to the target set when it is determined that the basic control corresponds to multiple entities.

[0108] Further, such as Figure 4 As shown, the application functions include: at least one of: track section status judgment, track circuit coding, section signal lighting control, transponder message sending, and platform door control;

[0109] The first determination module 321 may also be used to, when the application function is the track section state judgment, determine that the basic control object of the track section state judgment is the track section, and determine that the object type of the track section is a single entity type; and, when the application function is the track circuit coding, determine that the basic control object of the track circuit coding is the track section, and determine that the object type of the track section is a single entity type; and, when the application function is the section signal lighting control, determine that the basic control object of the section signal lighting control is the signal, and determine that the object type of the signal is a single entity type; and, when the application function is the transponder message sending, determine that the basic control object of the transponder message sending is the transponder, and determine that the object type of the transponder is a single entity type; and, when the application function is the platform door control, determine that the basic control object of the platform door control is the platform door, and determine that the object type of the platform door is a single entity type;

[0110] The second determination module 322 can also be used to directly determine the track section as a corresponding entity and establish a corresponding relationship when the object type of the track section is a single entity type; and, when the object type of the signal is a single entity type, directly determine the signal as a corresponding entity and establish a corresponding relationship; and, when the object type of the transponder is a single entity type, directly determine the transponder as a corresponding entity and establish a corresponding relationship; and, when the object type of the platform door is a single entity type, directly determine the platform door as a corresponding entity and establish a corresponding relationship.

[0111] Further, such as Figure 4 As shown, the application function also includes: at least one of: interval occupancy logic check, interval running direction control, and foreign body and earthquake protection;

[0112] The first determination module 321 may also be used to, when the application function is the section occupancy logic check, determine that the basic control object of the section occupancy logic check is a block partition, and determine that the object type of the block partition is a multi-entity type according to at least one track section included in the block partition; and, when the application function is the section running direction control, determine that the basic control object of the section running direction control is a section direction port, and determine that the object type of the section direction port is a multi-entity type according to at least one signal and at least one track section included in the section direction port; and, when the application function is the foreign matter and earthquake protection, determine that the basic control object of the foreign matter and earthquake protection is a disaster area, and determine that the object type of the disaster area is a multi-entity type according to at least one track section included in the disaster area;

[0113] The third determination module 323 can also be used to determine at least one track segment contained in the block partition when the object type of the block partition is a multi-entity type, generate a corresponding first track segment set, and construct a correspondence between the block partition and the first track segment set; and, when the object type of the section direction mouth is a multi-entity type, determine at least one signal and at least one track segment contained in the section direction mouth, generate a device set containing the at least one signal and at least one track segment, and construct a correspondence between the section direction mouth and the device set; and, when the object type of the disaster area is a multi-entity type, determine the multiple track segments contained in the disaster area, generate a corresponding second track segment set, and construct a correspondence between the disaster area and the second track segment set.

[0114] Further, such as Figure 4 As shown, the application functions also include: temporary speed limit processing and downgrade;

[0115] The first determining module 321 may also be used to determine, when the application function is the temporary speed limit processing and degradation, that the basic control object of the temporary speed limit processing and degradation is a speed limit command, and to determine that the object type of the speed limit command is an abstract type;

[0116] The fourth determination module 324 can also be used to obtain the usage condition information of the speed limit command when the object type of the speed limit command is an abstract type, and determine the speed limit area associated with the speed limit command based on the usage condition information; and, based on at least one track segment contained in the speed limit area, construct a correspondence between the speed limit command and at least one associated track segment.

[0117] The embodiment of the present application provides a train control data modeling method and device for a train control center. In the embodiment of the present application, it is possible to first determine the application functions involved in the train control data in the train control center; then, determine the control object of each of the application functions, and determine the corresponding relationship between each of the control objects and the corresponding entity; finally, according to the corresponding relationship, convert each of the control objects into an entity object of the corresponding entity, thereby realizing the train control data modeling function of the train control center. Compared with the prior art, the embodiment of the present application can model the specific entities involved in each function of the train control data from the perspective of the application functions involved, thereby realizing a modeling function of the train control data, solving the problem of lack of train control data modeling when using formal methods to develop the train control center, ensuring that subsequent experts in related fields can develop the train control center through formal methods based on the train control data modeling of the present application and in combination with the modeled data, laying the foundation for the development method of the train control center based on formal methods.

[0118] An embodiment of the present application provides a storage medium, which includes a stored program, wherein when the program is running, the device where the storage medium is located is controlled to execute the train control data modeling method of the train control center described above.

[0119] The storage medium may include non-permanent memory in a computer-readable medium, random access memory (RAM) and / or non-volatile memory in the form of read-only memory (ROM) or flash RAM, and the memory includes at least one storage chip.

[0120] An embodiment of the present application also provides a train control data modeling device for a train control center, the device comprising a storage medium; and one or more processors, the storage medium is coupled to the processor, and the processor is configured to execute program instructions stored in the storage medium; when the program instructions are executed, the train control data modeling method for the train control center described above is executed.

[0121] An embodiment of the present application provides a device, which includes a processor, a memory, and a program stored in the memory and executable on the processor. When the processor executes the program, the following steps are implemented: in a train control center, application functions involved in train control data are determined; control objects of each of the application functions are determined, and a corresponding relationship between each of the control objects and a corresponding entity is determined; and according to the corresponding relationship, each of the control objects is converted into an entity object of the corresponding entity.

[0122] Further, the control object includes: a basic control object; wherein the basic control object is used to represent an object necessary for the normal operation of the application function; the related object is an object for the normal operation of the auxiliary application function;

[0123] The determining of the control object of each of the application functions and the corresponding relationship between each of the control objects and the corresponding entity includes:

[0124] Determine a basic control object of each of the application functions, and determine an object type of each of the basic control objects, wherein the object type includes a single entity type and a multi-entity type; the single entity type is used to characterize that the basic control object involves a single entity; the multi-entity type is used to characterize that the basic control object involves multiple entities;

[0125] When the object type of the basic control object is a single entity type, determining an entity corresponding to the basic control object, and establishing a corresponding relationship between the basic control object and the corresponding entity;

[0126] When the object type of the basic control object is a multi-entity type, an entity set of multiple entities corresponding to the basic control object is determined, and a corresponding relationship between the basic control object and the corresponding entity set is established.

[0127] Furthermore, the object type also includes an abstract type; the abstract type is used to represent an entity that does not have a direct association with the basic control object;

[0128] After determining the basic control object of each of the application functions and determining the object type of each of the basic control objects, the method further includes:

[0129] When the object type of the basic control object is an abstract type, the usage condition information of the basic control object is obtained, and based on the usage condition information, at least one entity associated with the basic control object is determined, and a corresponding relationship between the basic control object and the at least one associated entity is constructed; wherein the usage condition information includes: data characteristics of the basic control object and / or application function operating conditions corresponding to the basic control object.

[0130] Furthermore, converting each of the control objects into an entity object of a corresponding entity according to the corresponding relationship includes:

[0131] According to the corresponding relationship, when it is determined that the basic control object has a unique corresponding entity, the basic control object is converted into an entity object of the corresponding entity.

[0132] or,

[0133] According to the corresponding relationship, when it is determined that the basic control object has a corresponding entity set, converting the basic control object into an entity object of the corresponding entity set;

[0134] or,

[0135] According to the corresponding relationship, when it is determined that the basic control corresponds to multiple corresponding entities, a target set is constructed based on the multiple entities corresponding to the basic control object, and the basic control object is converted into an entity object corresponding to the target set.

[0136] Furthermore, the application functions include at least one of: track section status judgment, track circuit coding, section signal lighting control, balise message sending, and platform door control;

[0137] The determining of the basic control object of each of the application functions and determining the object type of each of the basic control objects includes:

[0138] When the application function is the track segment state judgment, determining that the basic control object of the track segment state judgment is the track segment, and determining that the object type of the track segment is a single entity type;

[0139] When the application function is the track circuit code, determining that the basic control object of the track circuit code is a track segment, and determining that the object type of the track segment is a single entity type;

[0140] When the application function is the lighting control of the section signal, determining that the basic control object of the lighting control of the section signal is the signal, and determining that the object type of the signal is a single entity type;

[0141] When the application function is the responder message sending, determining that the basic control object of the responder message sending is the responder, and determining that the object type of the responder is a single entity type;

[0142] When the application function is the platform door control, determining that the basic control object of the platform door control is the platform door, and determining that the object type of the platform door is a single entity type;

[0143] When the object type of the basic control object is a single entity type, determining the entity corresponding to the basic control object and establishing a corresponding relationship between the basic control object and the corresponding entity includes:

[0144] When the object type of the track segment is a single entity type, the track segment is directly determined as a corresponding entity and a corresponding relationship is established;

[0145] When the object type of the signal is a single entity type, the signal is directly determined as a corresponding entity and a corresponding relationship is established;

[0146] When the object type of the transponder is a single entity type, the transponder is directly determined as a corresponding entity and a corresponding relationship is established;

[0147] When the object type of the platform door is a single entity type, the platform door is directly determined as a corresponding entity and a corresponding relationship is established.

[0148] Furthermore, the application function also includes at least one of: interval occupancy logic check, interval running direction control, and foreign body and earthquake protection;

[0149] The determining of the basic control object of each of the application functions and determining the object type of each of the basic control objects includes:

[0150] When the application function is the section occupancy logic check, determining that the basic control object of the section occupancy logic check is a block section, and determining that the object type of the block section is a multi-entity type according to at least one track section included in the block section;

[0151] When the application function is the section running direction control, determining that the basic control object of the section running direction control is a section direction port, and determining that the object type of the section direction port is a multi-entity type according to at least one signal and at least one track section included in the section direction port;

[0152] When the application function is the foreign object and earthquake protection, determining that the basic control object of the foreign object and earthquake protection is a disaster area, and determining that the object type of the disaster area is a multi-entity type according to at least one track segment included in the disaster area;

[0153] When the object type of the basic control object is a multi-entity type, determining an entity set of multiple entities corresponding to the basic control object, and establishing a corresponding relationship between the basic control object and the corresponding entity set, includes:

[0154] When the object type of the block partition is a multi-entity type, determining at least one track segment included in the block partition, generating a corresponding first track segment set, and establishing a corresponding relationship between the block partition and the first track segment set;

[0155] When the object type of the section direction entrance is a multi-entity type, determining at least one signal and at least one track segment included in the section direction entrance, generating a device set including the at least one signal and at least one track segment, and establishing a corresponding relationship between the section direction entrance and the device set;

[0156] When the object type of the disaster area is a multi-entity type, multiple track segments included in the disaster area are determined, and a corresponding second track segment set is generated, and a corresponding relationship between the disaster area and the second track segment set is constructed.

[0157] Furthermore, the application functions also include: temporary speed limit processing and downgrade;

[0158] The determining of the basic control object of each of the application functions and determining the object type of each of the basic control objects includes:

[0159] When the application function is the temporary speed limit processing and degradation, determining that the basic control object of the temporary speed limit processing and degradation is a speed limit command, and determining that the object type of the speed limit command is an abstract type;

[0160] When the object type of the basic control object is an abstract type, obtaining usage condition information of the basic control object, determining at least one entity associated with the basic control object based on the usage condition information, and establishing a corresponding relationship between the basic control object and the at least one associated entity, including:

[0161] When the object type of the speed limit command is an abstract type, obtaining usage condition information of the speed limit command, and determining a speed limit area associated with the speed limit command based on the usage condition information;

[0162] Based on at least one track segment included in the speed limit area, a correspondence relationship between the speed limit command and at least one associated track segment is established.

[0163] The present application also provides a computer program product, which, when executed on a data processing device, is suitable for executing a program code that initializes the following method steps: in a train control center, determining the application functions involved in the train control data; determining the control objects of each of the application functions, and determining the corresponding relationship between each of the control objects and the corresponding entity; and according to the corresponding relationship, converting each of the control objects into an entity object of the corresponding entity.

[0164] Those skilled in the art will appreciate that the embodiments of the present application may be provided as methods, systems, or computer program products. Therefore, the present application may adopt the form of a complete hardware embodiment, a complete software embodiment, or an embodiment in combination with software and hardware. Moreover, the present application may adopt the form of a computer program product implemented in one or more computer-usable storage media (including but not limited to disk storage, CD-ROM, optical storage, etc.) that include computer-usable program code.

[0165] The present application is described with reference to the flowcharts and / or block diagrams of the methods, devices (systems), and computer program products according to the embodiments of the present application. It should be understood that each process and / or box in the flowchart and / or block diagram, as well as the combination of the processes and / or boxes in the flowchart and / or block diagram, can be implemented by computer program instructions. These computer program instructions can be provided to a processor of a general-purpose computer, a special-purpose computer, an embedded processor, or other programmable data processing device to generate a machine, so that the instructions executed by the processor of the computer or other programmable data processing device generate instructions for implementing the processes in the flowchart and / or block diagram. Figure 1 A process or multiple processes and / or boxes Figure 1 A device that provides the functions specified in a block or multiple blocks.

[0166] These computer program instructions may also be stored in a computer-readable memory capable of directing a computer or other programmable data processing device to operate in a specific manner, so that the instructions stored in the computer-readable memory produce an article of manufacture comprising an instruction device, which implements the process Figure 1 A process or multiple processes and / or boxes Figure 1 A function specified in one or more boxes.

[0167] These computer program instructions can also be loaded onto a computer or other programmable data processing device so that a series of operating steps are executed on the computer or other programmable device to produce a computer-implemented process, thereby providing instructions for implementing the process. Figure 1 A process or multiple processes and / or boxes Figure 1 The steps for the functions specified in one or more boxes.

[0168] In a typical configuration, a computing device includes one or more processors (CPU), input / output interfaces, network interfaces, and memory.

[0169] The memory may include non-permanent memory in a computer-readable medium, random access memory (RAM) and / or non-volatile memory in the form of read-only memory (ROM) or flash RAM. The memory is an example of a computer-readable medium.

[0170] Computer readable media include permanent and non-permanent, removable and non-removable media that can be implemented by any method or technology to store information. Information can be computer readable instructions, data structures, program modules or other data. Examples of computer storage media include, but are not limited to, phase change memory (PRAM), static random access memory (SRAM), dynamic random access memory (DRAM), other types of random access memory (RAM), read-only memory (ROM), electrically erasable programmable read-only memory (EEPROM), flash memory or other memory technology, compact disk read-only memory (CD-ROM), digital versatile disk (DVD) or other optical storage, magnetic cassettes, magnetic tape magnetic disk storage or other magnetic storage devices or any other non-transmission media that can be used to store information that can be accessed by a computing device. As defined herein, computer readable media does not include temporary computer readable media (transitory media), such as modulated data signals and carrier waves.

[0171] It should also be noted that the terms "include", "comprises" or any other variations thereof are intended to cover non-exclusive inclusion, so that a process, method, commodity or device including a series of elements includes not only those elements, but also other elements not explicitly listed, or also includes elements inherent to such process, method, commodity or device. In the absence of more restrictions, the elements defined by the sentence "comprises a ..." do not exclude the existence of other identical elements in the process, method, commodity or device including the elements.

[0172] Those skilled in the art will appreciate that the embodiments of the present application may be provided as methods, systems or computer program products. Therefore, the present application may adopt the form of a complete hardware embodiment, a complete software embodiment or an embodiment in combination with software and hardware. Moreover, the present application may adopt the form of a computer program product implemented on one or more computer-usable storage media (including but not limited to disk storage, CD-ROM, optical storage, etc.) that contain computer-usable program code.

[0173] The above are only embodiments of the present application and are not intended to limit the present application. For those skilled in the art, the present application may have various changes and variations. Any modification, equivalent replacement, improvement, etc. made within the spirit and principle of the present application should be included within the scope of the claims of the present application.

Claims

1. A train control data modeling method for a train control center, characterized in that: The method comprises: In the train control center, determine the application functions involved in the train control data; Determine a control object for each of the application functions, and determine a corresponding relationship between each of the control objects and a corresponding entity; According to the corresponding relationship, each of the control objects is converted into an entity object of the corresponding entity.

2. The method according to claim 1, characterized in that The control objects include: basic control objects; wherein the basic control objects are used to represent the objects necessary for the normal operation of the application function; the related objects are the objects for the normal operation of the auxiliary application function; The determining of the control object of each of the application functions and the corresponding relationship between each of the control objects and the corresponding entity includes: Determine a basic control object of each of the application functions, and determine an object type of each of the basic control objects, wherein the object type includes a single entity type and a multi-entity type; the single entity type is used to characterize that the basic control object involves a single entity; the multi-entity type is used to characterize that the basic control object involves multiple entities; When the object type of the basic control object is a single entity type, determining an entity corresponding to the basic control object, and establishing a corresponding relationship between the basic control object and the corresponding entity; When the object type of the basic control object is a multi-entity type, an entity set of multiple entities corresponding to the basic control object is determined, and a corresponding relationship between the basic control object and the corresponding entity set is established.

3. The method according to claim 2, characterized in that The object type also includes an abstract type; the abstract type is used to represent an entity that does not have a direct association with the basic control object; After determining the basic control object of each of the application functions and determining the object type of each of the basic control objects, the method further includes: When the object type of the basic control object is an abstract type, the usage condition information of the basic control object is obtained, and based on the usage condition information, at least one entity associated with the basic control object is determined, and a corresponding relationship between the basic control object and the at least one associated entity is constructed; wherein the usage condition information includes: data characteristics of the basic control object and / or application function operating conditions corresponding to the basic control object.

4. The method according to claim 3, characterized in that The converting each of the control objects into an entity object of a corresponding entity according to the corresponding relationship comprises: According to the corresponding relationship, when it is determined that the basic control object has a unique corresponding entity, converting the basic control object into an entity object of the corresponding entity; or, According to the corresponding relationship, when it is determined that the basic control object has a corresponding entity set, converting the basic control object into an entity object of the corresponding entity set; or, According to the corresponding relationship, when it is determined that the basic control corresponds to multiple corresponding entities, a target set is constructed based on the multiple entities corresponding to the basic control object, and the basic control object is converted into an entity object corresponding to the target set.

5. The method according to claim 2, characterized in that: The application functions include: at least one of: track section status judgment, track circuit coding, section signal lighting control, transponder message sending, and platform door control; The determining of the basic control object of each of the application functions and determining the object type of each of the basic control objects includes: When the application function is the track segment state judgment, determining that the basic control object of the track segment state judgment is the track segment, and determining that the object type of the track segment is a single entity type; When the application function is the track circuit code, determining that the basic control object of the track circuit code is a track segment, and determining that the object type of the track segment is a single entity type; When the application function is the lighting control of the section signal, determining that the basic control object of the lighting control of the section signal is the signal, and determining that the object type of the signal is a single entity type; When the application function is the transponder message sending, determining that the basic control object of the transponder message sending is the transponder, and determining that the object type of the transponder is a single entity type; When the application function is the platform door control, determining that the basic control object of the platform door control is the platform door, and determining that the object type of the platform door is a single entity type; When the object type of the basic control object is a single entity type, determining the entity corresponding to the basic control object and establishing a corresponding relationship between the basic control object and the corresponding entity includes: When the object type of the track segment is a single entity type, the track segment is directly determined as a corresponding entity and a corresponding relationship is established; When the object type of the signal is a single entity type, the signal is directly determined as a corresponding entity and a corresponding relationship is established; When the object type of the transponder is a single entity type, the transponder is directly determined as a corresponding entity and a corresponding relationship is established; When the object type of the platform door is a single entity type, the platform door is directly determined as a corresponding entity and a corresponding relationship is established.

6. The method according to claim 2, characterized in that The application functions also include: at least one of: interval occupancy logic check, interval running direction control, and foreign body and earthquake protection; The determining of the basic control object of each of the application functions and determining the object type of each of the basic control objects includes: When the application function is the section occupancy logic check, determining that the basic control object of the section occupancy logic check is a block section, and determining that the object type of the block section is a multi-entity type according to at least one track section included in the block section; When the application function is the section running direction control, determining that the basic control object of the section running direction control is a section direction port, and determining that the object type of the section direction port is a multi-entity type according to at least one signal and at least one track section included in the section direction port; When the application function is the foreign object and earthquake protection, determining that the basic control object of the foreign object and earthquake protection is a disaster area, and determining that the object type of the disaster area is a multi-entity type according to at least one track segment included in the disaster area; When the object type of the basic control object is a multi-entity type, determining an entity set of multiple entities corresponding to the basic control object, and establishing a corresponding relationship between the basic control object and the corresponding entity set, includes: When the object type of the block partition is a multi-entity type, determining at least one track segment included in the block partition, generating a corresponding first track segment set, and establishing a corresponding relationship between the block partition and the first track segment set; When the object type of the section direction entrance is a multi-entity type, determining at least one signal and at least one track segment included in the section direction entrance, generating a device set including the at least one signal and at least one track segment, and establishing a corresponding relationship between the section direction entrance and the device set; When the object type of the disaster area is a multi-entity type, multiple track segments included in the disaster area are determined, and a corresponding second track segment set is generated, and a corresponding relationship between the disaster area and the second track segment set is constructed.

7. The method according to claim 3, characterized in that The application functions also include: temporary speed limit processing and downgrade; The determining of the basic control object of each of the application functions and determining the object type of each of the basic control objects includes: When the application function is the temporary speed limit processing and degradation, determining that the basic control object of the temporary speed limit processing and degradation is a speed limit command, and determining that the object type of the speed limit command is an abstract type; When the object type of the basic control object is an abstract type, obtaining usage condition information of the basic control object, determining at least one entity associated with the basic control object based on the usage condition information, and establishing a corresponding relationship between the basic control object and the at least one associated entity, including: When the object type of the speed limit command is an abstract type, obtaining usage condition information of the speed limit command, and determining a speed limit area associated with the speed limit command based on the usage condition information; Based on at least one track segment included in the speed limit area, a correspondence relationship between the speed limit command and at least one associated track segment is established.

8. A train control data modeling device of a train control center, characterized in that: The device comprises: A first determining unit, configured to determine, in a train control center, an application function involved in the train control data; A second determining unit, configured to determine a control object of each of the application functions, and determine a corresponding relationship between each of the control objects and a corresponding entity; A conversion unit is used to convert each of the control objects into an entity object of a corresponding entity according to the corresponding relationship.

9. A storage medium, characterized in that: The storage medium includes a stored program, wherein when the program is running, the device where the storage medium is located is controlled to execute the train control data modeling method of the train control center described in any one of claims 1 to 7.

10. A train control data modeling device of a train control center, characterized in that: The device includes a storage medium; and one or more processors, the storage medium is coupled to the processor, and the processor is configured to execute program instructions stored in the storage medium; when the program instructions are executed, the train control data modeling method of the train control center described in any one of claims 1 to 7 is executed.

Images