The invention provides a data configuration method of a rail transit signal control system, which comprises the following steps of: defining primitives, drawing a route diagram, searching route data, verifying the route data and generating configuration data, and comprises the following steps of: firstly, defining the required primitives; key elements such as a signal machine, a turnout and a rail in a rail transit signal control system are abstracted into'nodes' and'edges' in a graph theory, and the predefined primitives are dragged into a canvas, so that a rail transit line model can be quickly and accurately established; traversing the line diagram through a line data search algorithm to obtain required line data; in order to ensure the correctness and consistency of the line data, carrying out formalized verification by using a method B; and after the verification is passed, generating the configuration data file according to the format requirement of the configuration data file. According to the method, the graph theory and the formalization method are introduced, so that automatic generation and verification of the line configuration data are realized.
本发明提供一种轨道交通信号控制系统的数据配置方法,包括如下步骤:定义图元、绘制线路图、线路数据搜索、验证线路数据和生成配置数据,首先定义所需的图元,将轨道交通信号控制系统中的信号机、道岔、轨道等关键元素抽象为图论中的“节点”和“边”,通过将这些预定义的图元拖放到画布中,能快速准确地建立起轨道交通线路模型;然后通过线路数据搜索算法遍历线路图来获取所需的线路数据;为确保线路数据的正确性和一致性,运用B方法进行形式化验证;在验证通过后,按照配置数据文件的格式要求生成配置数据文件。本发明通过引入图论和形式化方法,实现了线路配置数据的自动化生成和验证。
Data configuration method of rail transit signal control system
轨道交通信号控制系统的数据配置方法
2023-11-24
Patent
Electronic Resource
Chinese
IPC: | B61L Leiten des Eisenbahnverkehrs , GUIDING RAILWAY TRAFFIC |
Rail transit signal control system with data centralization
European Patent Office | 2023
|European Patent Office | 2023
|Rail transit signal controller control system based on big data
European Patent Office | 2024
|Intelligent signal control system of rail transit network
European Patent Office | 2023
|Safety guiding device applied to rail transit system and rail transit signal system
European Patent Office | 2021
|