Method for digitally verifying correctness of railway signal drawing based on dynamic simulation

Abstract

The invention discloses a railway signal drawing correctness digital verification method based on dynamic simulation, which comprises the following steps: firstly, automatically understanding a drawing by using a computer, converting drawing data into a data structure form which can be directly utilized by the computer, and carrying out static verification on the data; secondly, digital data of an actual drawing are utilized, and a railway signal simulation station running according to actual logic is constructed; finally, relevant simulation test cases are operated in the simulation station, whether the operation result is correct or not is judged, and a verification report is formed. A computer software simulation technology is adopted, an operable signal system model is constructed according to a design drawing, a complete test case is supplemented, a complete, dynamic, automatic and extensible drawing digital verification and simulation test platform is achieved, and verification of correctness of basic data of the drawing and correctness of a circuit operation scene can be achieved.

Description

Technical Field

[0001] The invention relates to the technical field of railway signals, and in particular to a digital verification method for the correctness of railway signal drawings based on dynamic simulation. Background Art

[0002] The railway signal system is known as the brain and central nervous system of railway transportation. Once the signal system causes an accident, it will affect the driving at the least, and even cause the car to be destroyed and people to die. Railway signal drawings are the primary guarantee for the correct construction of railways, the basis for the operation and maintenance of railway signals, and the primary link to ensure the safety of the signal system. However, there are currently two outstanding problems with railway signal drawings. First, the design drawings and completion drawings are presented in two-dimensional CAD electronic drawings and blueprints, with a single form of expression and incomplete expression content. They cannot intuitively express the logic of the signal circuit, and there are serious information attenuation and faults in the delivery process between the design, construction, and operation and maintenance stages; second, the signal drawings contain a large number of complex relay logic circuits and wiring, and their correctness currently relies mainly on manual verification. There is a lack of technical verification means for the correctness of the drawings, and manual verification is difficult and inefficient. Therefore, it is necessary to carry out relevant research, use computer technology to realize the reverse digitization and digital delivery of signal two-dimensional drawings; and provide technical means to automatically complete the correctness verification of signal drawings, replacing the long-standing manual verification method, and use technical means to ensure the correctness of signal drawings. Summary of the invention

[0003] The present application provides a method for digitally verifying the correctness of railway signal drawings based on dynamic simulation, so as to solve the problems in the prior art of lacking technical means for verifying the correctness of railway signal system drawings, and the high difficulty and low work efficiency of manual verification.

[0004] According to the first aspect, an embodiment provides a method for digitally verifying the correctness of railway signal drawings based on dynamic simulation, the method comprising:

[0005] Digitally process railway signal drawings, convert them into digital drawing data, and perform static verification on the digital drawing data;

[0006] Based on the pre-established signal basic equipment electrical simulation model library and drawing digitized data, a static model of the signal relay circuit of the entire station is constructed, and the static model of the signal relay circuit of the entire station is dynamically refreshed based on the simulation model state dynamic refresh technology to obtain a dynamic simulation model of the signal relay circuit of the entire station;

[0007] Select signal circuit test cases / test sequences related to railway stations from the pre-built simulation test case library, and establish a test case / test sequence list. Use the dynamic simulation model of the signal relay circuit of the entire station to traverse and run the test case / test sequence list to complete the test, obtain the dynamic simulation model running results, and determine whether the simulation model running results are correct, and generate a dynamic simulation verification report.

[0008] Furthermore, the railway signal drawings are digitized and converted into digital drawing data, including:

[0009] Split the railway signal drawing into sub-graphs and obtain the sub-graph list;

[0010] Traversing the sub-graph list, filtering each sub-graph, filtering out unnecessary graphs and tables, identifying required tables, extracting the identified tables and converting them into Excel tables;

[0011] Parse the Excel spreadsheet contents, integrate the parsing results according to business needs, obtain structured data and store it.

[0012] Furthermore, the railway signal drawings are digitized and converted into digital drawing data, including:

[0013] A multi-level drawing digital data structure is adopted, including station - station / section - interlocking / coding / blocking - cabinet - cabinet layer - side / interior - equipment - terminal.

[0014] Furthermore, the digital data of the drawings is statically verified, including:

[0015] Based on the preset verification rules, a single static verification is performed on the digital data of the railway signal drawings to find errors and risk points, and the results are recorded and analyzed to form a static verification report. The static verification includes static verification rules for the compliance of the wiring double ends, the wiring formation of the power loop, and the correctness of the relay type.

[0016] Furthermore, based on the pre-established signal basic equipment electrical simulation model library and drawing digitized data, a static model of the signal relay circuit of the entire station is constructed, including:

[0017] Each equipment electrical model in the simulation model library includes physical parameters, static electrical parameters and dynamic characteristic information; referring to the installation equipment and wiring work in actual construction, according to the digital data of the station's own signal drawings, all the indoor equipment and cabinets related to the station's signal circuits are instantiated, and the controlled trackside equipment including signal machines, switch machines, and track circuits are instantiated. Then, the indoor and outdoor wiring are instantiated, the simulation power supply is mounted, and the connection between indoor and outdoor signal equipment is established to construct a static model of the signal relay circuit of the entire station based on the drawing data, which is consistent with the operating logic of the actual signal system.

[0018] Furthermore, based on the dynamic refresh technology of the simulation model state, the static model of the signal relay circuit of the whole station is dynamically refreshed to obtain the dynamic simulation model of the signal relay circuit of the whole station, which specifically includes:

[0019] According to the input driving conditions of various relay circuits, the dynamic refresh technology of simulation model state based on MNA algorithm is adopted to simulate and analyze the signal relay circuit according to the actual electrical characteristics. The real-time voltage and current of each device in the circuit are solved by MNA algorithm, and then the real-time state of the signal circuit and the device is determined.

[0020] Furthermore, the method for constructing a simulation test case library specifically includes:

[0021] With preset conditions and driving conditions as inputs, and collected information and equipment status as expected test results, each state of the railway signal circuit is designed into a simulation test case, and the basic composition structure of the simulation test case is defined;

[0022] For routes or complex scenarios, a simulation test sequence consisting of multiple test cases is designed;

[0023] Based on the obtained simulation test cases and simulation test sequences, a simulation test case library is constructed.

[0024] Furthermore, the test cases / test sequence lists are run through the dynamic simulation model of the signal relay circuit of the entire station to complete the test and obtain the running results of the dynamic simulation model, which specifically include:

[0025] According to the characteristics of the signal circuit under test, the test cases are classified according to the simulation operation mode, and dynamic simulation tests are carried out one by one. The categories include fully automatic operation, manual assisted operation, fully manual interface setting, and traversal according to the interlocking table.

[0026] For fully automatic operation: automatically convert the preset conditions and driving conditions of such test cases / test sequences and input them into the dynamic simulation model. After the dynamic simulation model runs automatically, obtain the running results of the dynamic simulation model, compare the running results with the expected test results of the test case, and analyze and record the test results of the case.

[0027] For manual assisted operation: some preset conditions are preset manually, and the test cases are automatically run after the preset conditions are set manually;

[0028] For the fully manual interface setting type: it is necessary to manually set the scene in the dynamic interaction interface. The dynamic interaction interface converts the scene into the driving conditions of the dynamic simulation model. The dynamic simulation model returns the running results after running according to the corresponding conditions, and displays the running results on the dynamic interaction interface. It is up to the human to judge whether the results meet expectations;

[0029] For processing the route according to the interlocking table traversal: through cooperation with the interlocking software, the driving information output by the interlocking software after processing the route is input into the dynamic simulation model, and the dynamic simulation model returns the collected information to the interlocking software after running.

[0030] Furthermore, it is determined whether the simulation model operation results are correct and a dynamic simulation verification report is generated, which specifically includes:

[0031] Analyze the test results of each step, analyze the reasons for failed test cases / test sequences and point out possible drawing errors, mark the digital drawing data according to the categories of verified data, failed data, and unverified data, and integrate the test results of all dynamic simulation test cases / test sequences to form a dynamic simulation verification report.

[0032] According to the second aspect, in one embodiment, a railway signal drawing correctness digital verification system based on dynamic simulation is provided, the system comprising:

[0033] The digital processing and verification module is used to digitally process the railway signal drawings, convert them into digital drawing data, and perform static verification on the digital drawing data;

[0034] The simulation model building module is used to build a static model of the signal relay circuit of the whole station based on the pre-established signal basic equipment electrical simulation model library and the digital drawing data, and dynamically refresh the static model of the signal relay circuit of the whole station based on the dynamic refresh technology of the simulation model state to obtain a dynamic simulation model of the signal relay circuit of the whole station;

[0035] The test module is used to select signal circuit test cases / test sequences related to railway stations from a pre-built simulation test case library, and establish a test case / test sequence list, use the dynamic simulation model of the entire station signal relay circuit to traverse and run the test case / test sequence list to complete the test, obtain the dynamic simulation model operation results, and determine whether the simulation model operation results are correct, and generate a dynamic simulation verification report.

[0036] According to the third aspect, an embodiment provides an electronic device, the device comprising: a processor and a memory;

[0037] The memory is used to store one or more program instructions;

[0038] The processor is used to run one or more program instructions to execute the steps of a method for digitally verifying the correctness of railway signal drawings based on dynamic simulation as described in any of the above items.

[0039] According to the fourth aspect, an embodiment provides a computer-readable storage medium, on which a computer program is stored, and when the computer program is executed by a processor, the steps of a method for digitally verifying the correctness of railway signal drawings based on dynamic simulation as described in any one of the above items are implemented.

[0040] The present application provides a method for digital verification of the correctness of railway signal drawings based on dynamic simulation. The design object of railway signal specialty is a large number of logic circuits. Its biggest feature is that the system is independent and logical, which is very consistent with the current rapidly developing technologies such as digitization, intelligence, and circuit simulation. In order to achieve the goal of signal drawing correctness verification, by combining technologies such as digitization, circuit simulation, intelligence, and image recognition with signal system drawings, according to the technical characteristics of the specific verification object and the characteristics of the error type, this study proposes an overall technical solution for signal drawing digitization and dynamic simulation verification. This technical solution includes three key modules: digital processing of drawing data, construction of a dynamic simulation system for signal relay circuits throughout the station, and dynamic simulation verification of signal drawings. In essence, it refers to the construction, test acceptance, and other work completed manually in the real world during the entire life cycle of the signal system, which is automatically completed by the program in the computer through virtual simulation. First, the computer is used to automatically understand the drawings, convert the drawing data into a data structure form that can be directly used by the computer, and perform static verification on the data; then, the actual drawing digitization data is used to build a railway signal simulation station that runs according to the actual logic; finally, the relevant simulation test cases are run in the simulation station, and the operation results are judged to be correct, and a verification report is formed. The present invention adopts computer software simulation technology to construct an operational signal system model according to the design drawings, supplemented by complete test cases, to realize a complete, dynamic, automatic and scalable drawing digital verification and simulation test platform, which can verify the correctness of the basic data of the drawings and the correctness of the circuit operation scenarios. BRIEF DESCRIPTION OF THE DRAWINGS

[0041] Figure 1 A flowchart of a method for digitally verifying the correctness of railway signal drawings based on dynamic simulation provided by one embodiment of the present invention;

[0042] Figure 2A specific implementation flow chart of a method for digitally verifying the correctness of railway signal drawings based on dynamic simulation provided by one embodiment of the present invention;

[0043] Figure 3 A flowchart of reverse digitization of drawing data in a method for digitally verifying the correctness of railway signal drawings based on dynamic simulation provided by one embodiment of the present invention;

[0044] Figure 4 An example of a CAD drawing in a method for automatic verification of digital data of a railway signal drawing provided by an embodiment of the present invention;

[0045] Figure 5 A flowchart of drawing splitting in a method for automatic verification of digital data of railway signal drawings provided by one embodiment of the present invention;

[0046] Figure 6 A table extraction flow chart in a method for automatic verification of digital data of railway signal drawings provided by one embodiment of the present invention;

[0047] Figure 7 A table parsing flow chart in a method for automatic verification of digital data of railway signal drawings provided by one embodiment of the present invention;

[0048] Figure 8 A data integration flow chart of a method for automatic verification of digital data of railway signal drawings provided by one embodiment of the present invention;

[0049] Fig. 9 A core data structure key attributes and relationship diagram in a method for automatic verification of digital data of railway signal drawings provided by an embodiment of the present invention;

[0050] Fig.10 A flow chart of conformity verification of wiring double-end reflection in a method for automatic verification of digital data of railway signal drawings provided by one embodiment of the present invention;

[0051] Fig.11 A flow chart for verifying the correctness of relay types in a method for automatically verifying digital data of railway signal drawings provided by one embodiment of the present invention;

[0052] Fig.12 A flow chart of power line wiring loop verification in a method for automatic verification of digital data of railway signal drawings provided by one embodiment of the present invention;

[0053] Fig.13 A schematic diagram of a scheme for constructing a dynamic simulation model of a whole-station relay circuit in a method for automatically verifying digital data of a railway signal drawing provided by an embodiment of the present invention;

[0054] Fig.14 A schematic diagram of a static simulation model structure of a station entry signal in a method for digitally verifying the correctness of a railway signal drawing based on dynamic simulation provided by an embodiment of the present invention;

[0055] Fig.15 A schematic diagram of a technical process for dynamically refreshing the state of a simulation model of a whole-station signal circuit in a method for digitally verifying the correctness of a railway signal drawing based on dynamic simulation provided by an embodiment of the present invention;

[0056] Fig.16 A schematic diagram of a dynamic simulation verification process of a signal drawing based on a test case in a digital verification method for correctness of a railway signal drawing based on dynamic simulation provided by an embodiment of the present invention;

[0057] Fig.17 The overall structure of a railway signal drawing digitization and dynamic simulation verification platform in a railway signal drawing correctness digitalization verification method based on dynamic simulation provided by an embodiment of the present invention;

[0058] Fig.18 A schematic diagram of the logical structure of a digital verification system for the correctness of railway signal drawings based on dynamic simulation is provided as an embodiment of the present invention. DETAILED DESCRIPTION

[0059] The present invention is further described in detail below by specific embodiments in conjunction with the accompanying drawings. Wherein similar elements in different embodiments adopt associated similar element numbers. In the following embodiments, many detailed descriptions are for making the present application better understood. However, those skilled in the art can easily recognize that some features can be omitted in different situations, or can be replaced by other elements, materials, methods. In some cases, some operations related to the present application are not shown or described in the specification, this is to avoid the core part of the present application being overwhelmed by too much description, and for those skilled in the art, it is not necessary to describe these related operations in detail, and they can fully understand the related operations according to the description in the specification and the general technical knowledge in the art.

[0060] In addition, the features, operations or characteristics described in the specification can be combined in any appropriate manner to form various implementations. At the same time, the steps or actions in the method description can also be interchanged or adjusted in a manner that is obvious to those skilled in the art. Therefore, the various sequences in the specification and the drawings are only for the purpose of clearly describing a certain embodiment and are not meant to be a required sequence, unless otherwise specified that a certain sequence must be followed.

[0061] The first embodiment of the present invention provides a method for digitally verifying the correctness of railway signal drawings based on dynamic simulation. Figure 1 and Figure 2 Provide detailed explanation.

[0062] like Figure 1 As shown, in step S100, the railway signal drawing is digitized and converted into drawing digitized data, and the drawing digitized data is statically verified.

[0063] Specifically, in this step, the designed two-dimensional drawings (or as-built drawings) are used as system input, and the digital processing module completes the digital processing, converts the drawing data into a data structure form that can be directly used by the computer, and stores it in the drawing data digital library. At the same time, the module performs single-item static verification on the drawing digital data, such as wiring double-end reflection and power wiring loop, to perform preliminary verification of the drawing correctness.

[0064] 1. Reverse digitization of drawing data:

[0065] The reverse digitization of drawing data mainly includes two key steps: obtaining the original drawing data and analyzing and storing the data. Figure 3 .

[0066] 1. Obtaining original drawing data

[0067] The railway signal system design drawings of the present invention mainly include outdoor drawings and indoor drawings. According to the different characteristics of the objects, outdoor drawing design information acquisition schemes and indoor drawing design information acquisition schemes can be formulated respectively.

[0068] The outdoor drawing data mainly includes the signal equipment layout diagram and the relevant data in the two-line cable route diagram. The key data can be imported into the system by manually filling out the EXCEL table according to the drawings.

[0069] Indoor drawing data mainly includes station interlocking, coding, section blocking, special combination circuits and other circuit-related data, including various cabinet equipment layout diagrams, various cabinet side wiring diagrams, various combination internal wiring diagrams, power wiring diagrams, etc. These drawings are all various types of tables, such as Figure 4As shown. At present, the design drawings of the railway signal system adopt the CAD format. Due to the special format of CAD drawings, they cannot be directly processed by the program. It is necessary to extract the CAD drawing data through technical means and convert it into structured data, and use this to build a digital drawing library of the signal system. This embodiment uses CAD drawings as input, and uses computer technology to complete sub-graph splitting, sub-graph filtering, sub-graph original data extraction and other tasks, and finally converts the tables in such drawings into Excel tables (memory form) that are easy to interpret and calculate. The Excel table structure is completely consistent with the table in the drawing.

[0070] Drawing import:

[0071] (1) Each station drawing is divided into multiple volumes, and the combination of the volumes of each drawing is not consistent among designers. This module design does not require manual sorting, and can be directly imported and scanned and processed by the program one by one.

[0072] (2) Due to different application conditions, it may be that the drawings are not fully imported at one time. This module supports batch import. The partial drawings imported subsequently can be normalized and integrated through the station ID to form the complete drawing data of this station.

[0073] (3) To facilitate auditing, querying and comparison, the original drawing files are encrypted and stored in the platform file system.

[0074] Subgraph splitting and filtering:

[0075] The complete set of station drawings contains a lot of content, including circuit diagrams, equipment layout diagrams and other data that are not related to the drawing simulation platform, which need to be cleaned and filtered. In order to improve the system processing efficiency, this module design adopts two steps for processing.

[0076] (1) Sub-drawing splitting: The program scans the entire set of imported drawing files as a whole, and splits the multiple drawings and tables contained in a single file into a single sub-drawing.

[0077] (2) Sub-diagram filtering. Filter unnecessary diagrams and tables based on their names, styles (dot and line rules), and extract the required combined internal diagrams, combined side tables, internal wiring tables, power loop tables, etc.

[0078] Drawing splitting stage: Figure 5 As shown, specifically including:

[0079] (1) Automatically split sub-images through sub-image border recognition algorithm and save them as sub-image lists;

[0080] (2) Traverse the sub-image list and locate and parse the sub-image name according to the sub-image annotation information;

[0081] (3) Save the original image and the parsed sub-image information into the database.

[0082] Subgraph raw data extraction:

[0083] The filtered target sub-graphs are extracted one by one using the CAD table extraction algorithm and converted into Excel tables (memory form) that are easy to interpret and calculate. The extracted data needs to be stored in the database for subsequent audit, verification, and secondary integration.

[0084] Table extraction stage: Figure 6 As shown, specifically including:

[0085] (1) Traverse the subgraph list to determine whether the current subgraph is the last subgraph;

[0086] (2) If it is not the last one, the table is located and identified for the current sub-graph through the table recognition algorithm, and the table is automatically split, and the table CAD element data is converted into an Excel table, and the Excel is converted into a common data format for the server to process and parse, and then saved into the database;

[0087] (3) If it is the last subgraph, the traversal ends.

[0088] 2. Data analysis and storage

[0089] Drawing data structuring refers to the process of assigning specific meanings to each data value of the original data extracted from the drawing and organizing it in a data structure that can be interpreted by computer programming. In the process of structural design, attention should be paid to the convenience of the structure in the subsequent system call process and the scalability of the structure's own definition.

[0090] Table parsing stage: Figure 7 As shown, specifically including:

[0091] (1) Match the drawing configuration according to the current drawing name;

[0092] (2) Obtain table template configuration according to drawing configuration;

[0093] (3) Analyze table feature identifiers and match corresponding table processing functions;

[0094] (4) Parse various tables into corresponding data structures and save them into the database.

[0095] Specifically, since the tables in the drawings are fixed in form and limited in number, this implementation manually analyzes and extracts the characteristics of the same table type, and uses a feature matching algorithm to match the original data Excel table before performing data analysis. The feature matching algorithm is as follows:

[0096] (1) Preprocessing stage

[0097] Identify the header: Usually the header (first line) contains key information to determine the subsequent data structure.

[0098] (2) Feature definition and matching logic

[0099] Define feature set: Identify all features that need to be matched and their corresponding keywords or patterns.

[0100] Write a matching function: Write a matching function for each feature, which receives a row of data as input and returns a Boolean value indicating whether it matches the feature.

[0101] (3) Traversal and matching

[0102] Traverse row by row: start traversing the data row by row from the second row of the table (assuming the first row is the table header).

[0103] Feature matching: For each row, perform feature matching using the matching function defined previously.

[0104] Feature priority: If a row of data may match multiple features, set the priority of the features according to the business logic to determine the final matching result.

[0105] (4) Data analysis and storage

[0106] Parsing the data: Once the feature type of a row is determined, the remaining data columns are parsed according to the rules of that type.

[0107] Result storage: Store the parsed data into a new data structure (such as DataFrame, dictionary of lists, etc.) for subsequent processing or analysis.

[0108] In this embodiment, the feature definition and matching logic specifically include:

[0109] Relay: including various relay models, including JWXC-1700, JZXC-H18, JWJXC-H125 / 80, JPXC-1000, JYJXC-160 / 260, JWJXC-480, JYJXC-, JWJXC-H, RXYC-75;

[0110] Protector: Contains DBQ;

[0111] Fuse: including RD;

[0112] Transformer: including GLB, BB;

[0113] Capacitor: Not adapted:

[0114] Resistance: including R;

[0115] Power supply: Not adapted;

[0116] Side terminal board: If 03, 02, and 01 appear consecutively in the first row of the table, it is considered as a side terminal board;

[0117] Track receiver: including WXJ25;

[0118] Protective box: HF included.

[0119] Data integration stage: Figure 8 As shown, specifically including:

[0120] (1) Construct a cabinet model based on the combination arrangement table data;

[0121] (2) Construct interface cabinets and distribution cabinets according to wiring relationships;

[0122] (3) Traverse all cabinets and assign values ​​to cabinet layer attributes;

[0123] (4) Construct the combined side, relay, fuse, and internal side models in sequence;

[0124] (5) Complete the wiring terminal information on the original drawing;

[0125] (6) Convert the final integrated data model into Json on a station-by-station basis.

[0126] Since each character in the drawing table has a specific meaning, this embodiment extracts the completion rules of its complete meaning according to the drawing design habits / standards, and gives specific meanings to all the data in the table. For example, all terminal characters are completed into the three-level complete meaning of "cabinet name-cabinet layer-terminal". Specifically, the data "5" is written on the terminal table of 01-3 on the 2nd floor of cabinet 11. The algorithm can fully parse "05" into "11-201-5".

[0127] This embodiment designs a digital data structure of 8 levels of drawings, namely "station -> station / section -> interlocking / coding / blocking -> cabinet -> cabinet layer -> side / interior -> equipment -> terminal", according to the characteristics of the signal system. The key attribute information and relationships of some data structures are as follows: Fig. 9 As shown. Finally, the original drawing data is converted into structured data that can be directly interpreted and used by computer programs, and the inclusion and pointing relationship between the data is established to realize the reverse digitization of the signal drawing. Finally, the digitized drawing data is stored in the database for direct access and data management in subsequent links.

[0128] 2. Single static verification of drawing data:

[0129] During the design process, drawings may contain basic data errors, such as single-end reflection, power wiring not forming a loop, relay type error, etc. According to different error characteristics, through targeted preset inspection rules, single-item static verification is automatically performed on the digital data of the drawings to find errors and risk points, and record and analyze them to form a static verification report.

[0130] The inspection rules are expandable. This embodiment designs three static verification rules, namely, wiring double-end reflection compliance, power supply loop wiring loop formation, and relay type correctness.

[0131] (1) Static verification rules for wiring compliance at both ends, such as Fig.10 Shown

[0132] Read the digital data of the entire station;

[0133] Sequentially obtain a combined internal and side terminal data;

[0134] Traverse the side terminals of the combination and verify whether the side terminals comply with the double-terminal reflection. If not, add them to the error list. The basic rule of the double-terminal reflection is: if the data at terminal A is filled with connection terminal B, the data at terminal B must be filled with connection terminal A;

[0135] Determine whether the side terminals of the combination are traversed. If the traversal is completed, traverse the internal terminals of the combination and verify whether the internal terminals meet the double-end reflection. If not, add them to the error list.

[0136] Determine whether the internal terminals of the combination have been traversed, and if so, take the next combination for verification;

[0137] Determine whether there is an unverified combination. If not, end the verification.

[0138] (2) Static verification rules for relay type correctness, such as Fig.11 Shown

[0139] First, based on the standard drawings within each type of combination, extract and organize the types of equipment that should be placed in the equipment positions within each combination in the standard drawings to form the underlying configuration file for the system. The specific configuration items and corresponding contents are shown in the table below.

[0140]

[0141] The specific verification process is as follows:

[0142] Read the digital data of the entire station;

[0143] Read the internal data of a group in the order of group position number;

[0144] Obtaining the underlying configuration files of the equipment types of the internal equipment positions of the current combination from the pre-built underlying configuration files library of the equipment types of the internal equipment positions of various standard combinations;

[0145] Compare the equipment type of each equipment position in the current combination with the data in the underlying configuration file one by one. If no inconsistent items are found, the verification is passed. If inconsistent items are found, they are added to the error list and the error situation is recorded;

[0146] After the current combination is verified, the next combination is taken for verification;

[0147] Determine whether there is an unverified combination. If not, end the verification.

[0148] (3) Static verification rules for power supply line wiring, such as Fig.12 As shown, specifically including:

[0149] The power loop wiring verification is divided into two parts: one is the combined internal power loop wiring verification, with a combination as the basic verification unit; the other is the combined side power loop wiring verification, with the 1st to 10th floors of a combination cabinet / track cabinet as a basic verification unit.

[0150] 1. Combine the internal power loop wiring into a ring verification rule, with one combination as the basic verification unit:

[0151] Read the digital data of the entire station;

[0152] Read the internal data of a combination according to the combination position number sequence, obtain the internal power wiring terminal data therefrom, and group the power wiring terminals according to the power type;

[0153] Sequentially select a power group, take any terminal in the current group as the starting point, and perform recursive search according to the wiring relationship. If the starting terminal can be found recursively to form a wiring loop and the power type of each terminal in the recursive path is consistent with the starting terminal, the current group verification passes, otherwise it is added to the error list and the error situation is recorded;

[0154] After the current group is verified, the next group is taken for verification. After all groups in the current combination are verified, the next combination is taken for verification.

[0155] Determine whether there is an unverified combination. If not, end the verification.

[0156] 2. Combined side power supply loop wiring ring verification, with the 1st to 10th layers of a combined cabinet / track cabinet as a basic verification unit:

[0157] Read the digital data of the entire station;

[0158] Read the side wiring data of a combination cabinet according to the combination cabinet number sequence, obtain the side power wiring terminal data therefrom, and group the power wiring terminals according to the power type;

[0159] Sequentially select a power group, take any terminal in the current group as the starting point, and perform recursive search according to the wiring relationship. If the starting terminal can be found recursively to form a wiring loop and the power type of each terminal in the recursive path is consistent with the starting terminal, the current group verification passes, otherwise it is added to the error list and the error situation is recorded;

[0160] After the current group verification is completed, the next group is taken for verification. After all the group verifications of the current combination cabinet are completed, the next combination cabinet is taken for verification;

[0161] Determine whether there is an unverified combination cabinet. If not, end the verification.

[0162] like Figure 1 As shown, in step S200, based on the pre-established signal infrastructure electrical simulation model library and the digitized drawing data, a static model of the signal relay circuit of the entire station is constructed, and based on the dynamic refresh technology of the simulation model state, the static model of the signal relay circuit of the entire station is dynamically refreshed to obtain a dynamic simulation model of the signal relay circuit of the entire station.

[0163] The scheme for constructing the dynamic simulation model of the whole station relay circuit of the present invention is shown as follows: Fig.13 . Based on the specific digital data of drawings and the electrical simulation model of basic signal equipment, circuit analysis and status refresh are performed using circuit simulation technology. An instantiation is constructed based on the dual-driven data mechanism for the dynamic simulation model of the signal relay circuit of the entire station. The model is consistent with the actual operation logic of the signal system on site and is the logical center of the simulation verification platform. The input of the model is the driving conditions of various relay circuits, and the output is the collection information of various relay circuits and the status of trackside signals, switches, and track circuits. It includes three key technologies: the construction of a signal basic equipment electrical simulation model library, the construction technology of the static model of the signal relay circuit of the entire station based on drawing data, and the dynamic refresh technology of the simulation model status. The specific contents are as follows:

[0164] 1. Signal basic equipment electrical simulation model library:

[0165] The basic simulation model of equipment is the basic unit for moving real-world signal equipment into the software system, and is a necessary condition for building a dynamic and operational overall simulation model of station signals. The model of each equipment should adopt object-oriented thinking, define the main electrical characteristics of the equipment involved in operation (including static parameters and functional actions), and execute the same action logic as the actual equipment when electrically driven.

[0166] The signal basic equipment electrical simulation model library is the basic condition for building an operational full-station relay circuit dynamic simulation model, including relays, wires, power supplies, transformers, resistors and capacitors, signal machines, switch machines, tracks, etc. Each equipment model constructs three types of information: physical parameters, static electrical parameters, and dynamic characteristics.

[0167] Taking the JWXC-1700 relay as an example, the relevant information of its electrical model is shown in Table 1. Its dynamic characteristics are encapsulated as a specific algorithm using a computer program. When the relay is powered on or off, the relay automatically changes its suction or drop state and automatically connects the front and rear contacts.

[0168] Table 1 JWXC-1700 relay electrical model information

[0169]

[0170]

[0171] According to programming thinking, the construction of simulation model of equipment is the process of defining objects. Objects contain properties and methods, and equipment contains static electrical parameters and functional actions. Taking the most commonly used relay in the signal system as an example, its static electrical characteristics include that each relay includes 8 groups of contacts, each group of nodes includes 3 contacts, front, middle and back, and relay type, etc. can be used as static attributes of the model; its dynamic characteristics drive it to be attracted after excitation and fall after power failure. In theory, this module should model all equipment and devices involved in circuit wiring and logic processing.

[0172] Due to the complexity of the circuit types of the entire station and the wide variety of equipment, the internal structure of the complex type of equipment does not affect the verification results of the circuit operation. At this time, the internal components of this type can be replaced with logical equivalents to simplify the design of the model. The main models are as follows:

[0173] (1) Construction of relay model

[0174] As a commonly used component in automatic control systems and remote control systems, relays are widely used in signal circuits. They use the principle of electric excitation switches to connect and disconnect circuits to issue control commands, reflect equipment status, and perform logical operations. According to circuit requirements, there are many types of relays used in signal circuits. The physical structure and electrical characteristics of each type of relay are different, and their pickup conditions are also inconsistent. The construction of the logical model must be based on a complete understanding of the characteristics of each type of relay, such as JWXC-1700, JZXC-H18, JWJXC-H125 / 80, JPXC-1000, JYJXC-160 / 260, JWJXC-480, JYJXC-, JWJXC-H, RXYC-75.

[0175] (2) Construction of DBQ model:

[0176] Model construction based on equivalent substitution method: DBQ is used for circuit detection mechanism in scenarios such as over-voltage, under-voltage, phase loss, phase failure, and reverse phase in industrial three-phase electricity. According to the requirements of this project, the construction of this model mainly considers the circuit logic in the case of phase failure. Therefore, the role of this device can be logically summarized into the following two points:

[0177] 1. The A, B and C lines of three-phase electricity can be directly connected to DBQ;

[0178] 2. Output a constant DC power of about 20V to drive the protection relay (BHJ).

[0179] (3) Traffic signal machine model (basic device combination circuit):

[0180] The basic colors of railway signal lights are red, yellow, and green; the auxiliary colors are blue, white, and purple (for turnout indicators). The railway signal light source is white light produced by incandescent lamps. The functions of signal lights are as follows: red light is a stop signal, yellow light is a warning or deceleration signal, green light is a signal to run at a specified speed, blue light is used as a shunting prohibition signal, white light is used as a shunting permission signal, and purple is used as a turnout indicator to indicate that the turnout is open in the straight direction.

[0181] Luminescence principle:

[0182] The light emitting principle of LED bulbs is the use of light emitting diodes.

[0183] The principle of incandescent lamp light is that when current passes through a resistor, the current does work and consumes electrical energy, generating heat, which heats the filament to an incandescent state.

[0184] The terminal voltage of the color light signal bulb is rated at 12V and the rated power is 25W.

[0185] Such as train signal 10.2 ~ 11.4V; shunting signal 9 ~ 11.4V; permission signal 7.8 ~ 10.2V.

[0186] (4) Switch machine model

[0187] A switch is a device used in railway transportation. It is usually installed at places where tracks cross or fork, allowing trains to enter another track. Its main function is to ensure that trains can travel smoothly to their destinations and avoid accidents and congestion. A switch is mainly composed of motors, switches, sensors, controllers and other components. It receives signals and instructions through the controller and converts them into motor action commands.

[0188] Principle description:

[0189] The starting circuit sends 380V AC power to the three-phase motor of the switch machine. The indicating circuit is the circuit that makes the corresponding indicating relay pick up. The circuit of the outdoor part is that the three-phase power continues to be sent to the inside of the switch machine through the cable box, and then the contacts of the automatic switch are connected to the three-phase AC motor for rotation. The essence of the starting circuit of the switch machine is to connect the circuit that turns the motor in different directions. When the motor rotates, the fourth row of contact seats will also be brought over and connected. At this time, the 2DQJ will change the connection phase sequence of the three-phase AC motor after the pole is turned, so that the demand of operating the turnout to the opposite position at any time can be realized.

[0190] Turnout rotation limit:

[0191] 1. Section locking: When there is a car in the switch section, the switch should not be switched.

[0192] 2. Approach locking: When the approach is in the locked state, the switches on the approach should no longer be switched.

[0193] 3. After the switch start circuit has been activated, if the vehicle subsequently enters the switch section, it should be ensured that the switch mechanism can continue to switch to the end and not stop due to the restriction of (1) above.

[0194] 4. After the turnout starting circuit is activated, if the motor circuit is blocked due to poor contact of the automatic switch contactor of the switch machine or poor contact between the commutator and the brush of the motor, the starting circuit should automatically stop working and recover to ensure that the turnout will not switch again.

[0195] 5. In order to facilitate maintenance and testing, and to enable the turnout to return to its original position when an obstacle is sandwiched between the point rail and the main rail, causing the turnout to fail to turn to the bottom, it must be ensured that no matter what position the turnout is turned to, it can be turned back by manual operation at any time.

[0196] 6. After the turnout is switched, the circuit of the motor should be automatically cut off.

[0197] Example 1: ZD6 series switch machine: DC switch machine

[0198] Working current: ≤2.0A.

[0199] Rated voltage: DC 160V.

[0200] 2. S700K type switch machine: AC switch machine, powered by three-phase AC power supply or single-phase AC power supply. Rated voltage 380V.

[0201] Working current: Normal current is 2A, maximum starting current can reach 6A.

[0202] Rated voltage: The control voltage is 220V and the control frequency is 50Hz.

[0203] ZYJ7 type switch machine: electro-hydraulic switch machine

[0204] Rated voltage: DC160V

[0205] Rated conversion force: ≥54000N

[0206] Action time: ≤5s (4 seconds for switch switching, 2 seconds for locking)

[0207] Normal operating current: ≤1.8A

[0208] (5) Isolation Transformer Model

[0209] An isolation transformer is a special transformer that achieves electrical isolation and voltage conversion by electrically isolating the input and output. The main components of an isolation transformer include input windings, output windings, and magnetic cores. There is no electrical connection between the input winding and the output winding, but electrical isolation is achieved through the interaction of the magnetic field of the magnetic core. The number of turns of the input winding and the output winding is different, so voltage conversion can be achieved between the input voltage and the output voltage. The main function of the isolation transformer is to achieve electrical isolation and voltage conversion. It can be used for safety protection of electrical equipment, signal isolation, interference suppression, etc.

[0210] Such as isolation transformer BXG-35:

[0211] The electrical performance of the transformer shall comply with the requirements in Table 2:

[0212] Table 2 Transformer electrical characteristics

[0213]

[0214] When the primary side of the transformer is 220V, the rated voltage between the terminals on the secondary side is shown in Table 3 below:

[0215] Table 3 Transformer rated voltage

[0216]

[0217] 1. No-load characteristics

[0218] When the secondary winding of the transformer is open-circuited and the rated voltage at the rated frequency is applied to the primary winding, the effective value of the no-load current shall comply with the provisions of Table 1, and the effective value of the voltage between the secondary terminals shall be the rated value, and the error shall not be greater than +5% of the rated value.

[0219] 2. Load characteristics

[0220] Under rated load conditions, the output voltage between the secondary terminals of the transformer should not be less than 90% of the rated value.

[0221] 3. Efficiency

[0222] Under rated input voltage and output voltage conditions, the transformer efficiency should not be less than 85%.

[0223] 4. Insulation resistance

[0224] a) Under the standard atmospheric conditions of the test, the resistance between the primary and secondary windings and between the windings and the core should be no less than 1000MΩ.

[0225] b) The wet insulation resistance should not be less than 1.5MΩ.

[0226] 5. Insulation withstand voltage

[0227] When the atmospheric pressure is not less than 89.8kPa (the altitude does not exceed 1000m), the transformer windings and the windings to the core should be able to withstand the AC sine wave 50Hz, effective value 2000V test voltage, lasting 1min without breakdown or flashover phenomenon, and the leakage current should not be greater than 10mA. The test voltage value of the repeated test is 75% of the original test voltage value.

[0228] (6) Power supply model

[0229] Railway signal power refers to the power provided to ensure the normal operation of the railway signal system. Its main function is to provide stable and reliable power for signal equipment to ensure that the signal equipment can function accurately. The voltage, current and frequency parameters of the railway signal power supply need to comply with the standards and railway industry standards to ensure the normal operation of the signal system.

[0230] According to the circuit requirements, select the power supply type including direct current (DC) and alternating current (AC). Select appropriate components to represent the power supply. In the power supply model, determine the parameters such as the voltage value, current value and internal resistance value of the power supply. The complex power supply circuit can be simplified into an equivalent voltage source or current source.

[0231] 1. DC power supply

[0232] DC power supply refers to the power supply that provides DC power for railway signal systems. The output voltage of DC power supply is generally 24V, 48V, 60V, 110V, etc., and the current is generally between tens of amperes and hundreds of amperes.

[0233] 2. AC power supply

[0234] AC power supply refers to the power supply that provides AC power for railway signal systems. The output voltage of AC power supply is generally 220V, 380V, etc., and the current is generally between tens of amperes and hundreds of amperes.

[0235] The voltage parameters of the power supply are determined according to the terminal markings in the drawing, such as: KZ, KF (24V), DJZ, DJF (220V), XJZ, XJF (220V), AC-380-A, AC-380-B, AC-380-C (380V), etc.

[0236] (7) Resistance model

[0237] Resistor types include fixed resistors, variable resistors, and sensitive resistors. The resistor value is determined according to the specific model of the device and instantiated into the circuit diagram. The resistance value, power, and accuracy level of the resistor are determined. The resistor model can be simplified, such as merging multiple resistors into an equivalent resistor.

[0238] Determine according to the resistor model marked on the drawing, such as: RXYC-75 / 1KΩ.

[0239] (8) Capacitor model

[0240] According to the circuit requirements, determine whether the capacitor is an electrolytic capacitor, ceramic capacitor, or film capacitor. Different types of capacitors have different electrical characteristics. Capacitance is composed of two conductors. In essence, it is a measure of the ability of two conductors to store charge under a certain voltage. There is a certain amount of capacitance between any two conductors. The capacitance C can be simply defined as: the ratio of the amount of charge stored on a single conductor (Q) to the voltage between the conductors (V), C = Q / V.

[0241] The rated voltage of the capacitor, each capacitor will be marked with the insulation withstand voltage, the capacitance value has a voltage drop effect so it is generally 1.5-2 times higher than the rated voltage. For example, if the rated voltage of a capacitor is 10V, its capacitance will be attenuated when used at 10V. It can be used at 5V. The recommended working voltage is half of the rated voltage.

[0242] In the capacitor model, the parameters of the capacitor, such as the capacity, withstand voltage, polarity, etc., are determined. The capacitor model can be simplified by combining multiple capacitors into one equivalent capacitor.

[0243] For example, the compensation capacitor of the station coding section:

[0244] 80μF (microfarad) capacitors are used in track sections with carrier frequencies of 1700HZ or 2000HZ;

[0245] The 60μF capacitor is used in track sections with a carrier frequency of 2300HZ or 2600HZ.

[0246] Interval blocking partition compensation capacitor:

[0247] 55μF capacitor is used for blocking partition with carrier frequency of 1700HZ;

[0248] 50μF capacitor is used for blocking partition with carrier frequency of 2000HZ;

[0249] 46μF capacitor is used for blocking partition with carrier frequency of 2300HZ;

[0250] The 40μF capacitor is used for blocking partitions with a carrier frequency of 2600HZ.

[0251] (9) Switch model

[0252] According to the requirements of the circuit diagram, establish the connection relationship between the switch and other components to ensure that the connection is correct and reasonable. Determine the type of switch: mechanical switch, relay, etc. Different types of switches have different electrical characteristics and action mechanisms. A switch is an electronic component that opens a circuit, interrupts the current, or allows it to flow to other circuits. The "closed" contact means that the electronic contact is conductive and allows current to flow; the "open" switch means that the electronic contact is not conductive and forms an open circuit, and does not allow current to flow.

[0253] (10) Fuse model

[0254] Railway signal equipment electronic fuse, relates to an overcurrent protector for railway signal equipment. It consists of a housing, a detection circuit, an alarm indication circuit, and a power supply circuit. If the current flowing through the detected line is within the rated value, the protected circuit is disconnected. In the model, its action characteristics need to be considered, that is, when the overcurrent reaches a certain value, the state of the fuse changes.

[0255] Determine the type of fuse. Different types of fuses have different protection characteristics and operating characteristics. Determine the fuse's rated current value, breaking capacity, voltage level and other specification parameters.

[0256] (11) Three-phase motor model

[0257] Determine the type of motor. Different types of motors have different working principles and electrical characteristics. Determine the rated voltage, rated current, rated power and other parameters of the motor. Three-phase AC voltage, three-phase voltage value: 380V.

[0258] (12) Wire model

[0259] Wires are components that connect components. The resistance of wires is ignored in the model.

[0260] (13) Alternating current model

[0261] Three-phase alternating current is a combination of three-phase symmetrical sinusoidal alternating currents with a phase difference of 120 degrees. It is generated by three symmetrical windings of a three-phase generator. Each winding and its external circuit are called A phase, and the combination of A, B and C is called a three-phase system. They are usually powered by three-phase three-wire and three-phase four-wire systems, that is, triangle connection and star connection. The phase voltage is 220V and the line voltage is 381 (approximate value).

[0262] Single-phase AC power is usually single-phase two-wire, which means it consists of only one phase line (L) and one neutral line (N). These two lines are used to obtain 220V single-phase voltage to power electrical equipment.

[0263] (14) Orbital model

[0264] Track circuit is the basic equipment for railway signal automatic control. Track circuit can automatically detect the position of trains and vehicles, control the display of signal machines, and transmit ground signals to locomotives through track circuit, so as to control the operation of trains. Track circuit is composed of two steel rails of railway lines as conductors, with both ends electrically insulated or electrically divided, and connected to power transmission and receiving equipment.

[0265] When the two rails are intact and no vehicle is occupying them (the track circuit is idle), the current passes through the two rails and the track relay, causing the track relay to be attracted and the front contact closure signal to be open. When a train occupies the track circuit, the current passes through the wheelset of the locomotive vehicle, and the track circuit is shunted. Since the resistance of the wheelset is much smaller than that of the track relay, the output current of the power supply is significantly increased, and the voltage drop on the current limiting resistor increases accordingly. The voltage between the two rails decreases, and the current flowing through the track relay is reduced to its drop value, causing the track relay to drop, and the rear contact closure signal is closed. At the same time, when the track circuit is broken or disconnected, the track relay will also drop.

[0266] For example, the composition of 25Hz track circuit equipment:

[0267] 1. The equipment at the power transmission end consists of: power transmission choke transformer BE25, track transformer BG25, resistor R0, fuse RD1, and fuse RD2.

[0268] 2. The equipment at the power receiving end consists of: power receiving choke transformer BE25, track transformer BG25, resistor R0, insurance RD1, lightning protection FB, protection box FH, 25HZ track relay GJ (JRJC1-70 / 240).

[0269] 25Hz phase sensitive track circuit characteristics:

[0270] 1. The effective voltage on the track coil of the track relay should be ≥15V, and the track voltage phase angle should lag behind the local voltage phase angle by 90±30°. The effective voltage at the receiving end of the JXW-25 microelectronic phase-sensitive track circuit receiver should be ≥16V, the allowable misalignment angle should be within ±30°, and the DC voltage output should be 20V~30V.

[0271] 2. Equal resistance lines should be used from the choke transformers at the power supply and receiving ends of the track circuit to the rails, and the wiring resistance should not be greater than 0.1Ω.

[0272] 3. The connection resistance from the track transformer to the choke transformer at the power supply and receiving ends of the track circuit shall not exceed 0.3Ω.

[0273] 4. The allowable voltage drop of the cable from the track circuit power panel to the primary side of the track transformer at the power transmission end is 30V. The cable resistance between the track relay and the track transformer is not more than 150Ω.

[0274] 5. The resistance values ​​of the current-limiting resistors RX and RS at the power supply and receiving ends of the track circuit should be fixed according to the values ​​given in the reference adjustment table in the atlas and shall not be adjusted down.

[0275] 6. In the coded section, when a 0.06Ω standard shunt resistor line is used for shunting at the locomotive signal input end, the minimum short-circuit current requirement for the actuating locomotive signal shall be met (for ZPW-2000A type, when a 0.15Ω standard shunt resistor line is used for shunting, 1700, 2000, 2300Hz ≥ 500mA, 2600Hz ≥ 450mA).

[0276] 7. The 25Hz power supply panel outputs a track voltage of 220±6.6V, a local voltage of 110±3.3V, and a local voltage phase angle that is 90°±1° ahead of the track voltage phase angle. The output JXW-25 DC voltage should be 24(1±15%)V.

[0277] 8. Applicable to the track circuits in stations and forecast sections of AC electrified traction sections where the total continuous traction current in the rails is ≤800A and the unbalanced current in the rails is ≤60A.

[0278] 2. Construction of static model of signal relay circuit of the whole station based on drawing data

[0279] As mentioned above, after the basic simulation model library of equipment has been established, the construction process of the dynamic simulation model is equivalent to connecting the equipment involved in the drawing through wiring according to the drawing data, and it is necessary to analyze and calculate the circuit according to the connection relationship and electrical characteristics of the equipment, and solve the current, voltage and other values ​​of each node of the circuit, so as to know the overall operation status of the circuit, that is, the process of circuit simulation. After the circuit simulation model is built, it can be used for circuit analysis and circuit logic verification.

[0280] This embodiment refers to the installation of equipment and wiring in actual construction, and uses the station-wide relay circuit static model construction algorithm based on the station's own digital drawing data. The software automatically instantiates all indoor equipment and cabinets related to the station's signal circuits, and instantiates the controlled trackside equipment such as signal machines, switch machines, and track circuits. It then instantiates indoor and outdoor wiring, mounts simulated power supplies, and establishes connections between indoor and outdoor signal equipment to construct a station-wide signal relay circuit static model based on the drawing data. However, because circuit analysis technology has not been added, the static model cannot be run. Schematic diagram of the static simulation model structure of the station entry signal Fig.14 .

[0281] The dynamic simulation model of the entire station has constructed the static circuit connection relationship between each device. According to the digital extraction of the drawings, the obtained devices and terminals are instantiated to check the duplicate lines and loops, and finally the static circuit model is generated. Taking the interlocking combination cabinet as an example, the drawing data object is instantiated into a model object in the following order:

[0282] 1. Obtain the number of interlocking combination cabinets from the digital structure of the whole station drawing. According to the digital structure data, instantiate the basic equipment models into objects one by one, and assign them corresponding names, number of layers and other basic information to form a combination cabinet model that is consistent with the number of interlocking combination cabinets designed in the drawing. At this time, the combination cabinet model object is in an empty cabinet state.

[0283] 2. Traverse the combination cabinets, initialize the side terminal block information of each layer of each combination cabinet, set the contact points of each side terminal, and bind the side terminal block model with the corresponding integrated cabinet after initialization.

[0284] 3. According to the combination type of each layer of the combination cabinet, check the corresponding combination internal table to determine the category and model of the equipment contained therein, and create equipment model objects such as relays, circuit breakers, and wires at each position.

[0285] 3. Dynamic refresh of the status of the whole station signal circuit simulation model:

[0286] After building the dynamic simulation model of the entire station signal equipment, through dynamic simulation, the equipment drive state is changed in conjunction with test cases or artificial scene settings, so that the dynamic simulation model runs according to the real logic to find circuit design wiring problems or operation logic problems. The dynamic refresh technology of the simulation model state is the "engine" that enables the static model to move, and is the core technology for building the dynamic simulation model of the entire station signal circuit.

[0287] (1) Basic principles of circuit analysis

[0288] 1) Recursive algorithm

[0289] Existing research mostly uses recursive algorithms to realize dynamic simulation of signal relay circuits. Based on graph theory, it abstracts the circuit into a graph form, and uses the electrical connection point of each component as a node of the graph structure. It combines the depth-first search and breadth-first search algorithms to realize the circuit conduction path search, and then determine the state of the circuit. However, recursive path finding has certain limitations in application. On the one hand, for complex circuits, recursive algorithms are difficult to solve problems. For example, in the case of multi-branch parallel branches or short circuits, it is impossible to completely select the path or find errors. On the other hand, the recursive algorithm searches each path of the circuit and cannot calculate the real-time voltage and current of each device, which limits the subsequent expansion of applications. Recursive algorithms are not suitable for this topic.

[0290] 2) Improved Node Algorithm (MNA)

[0291] The Modified Node Algorithm (MNA) is a mature and general circuit simulation algorithm that can solve the real-time voltage and current of each device in the circuit. MNA is based on Kirchhoff's Current Law (KCL), Kirchhoff's Voltage Law (KVL) and Ohm's Law. The KCL law means that the algebraic sum of the currents of all branches connected to the same node in the circuit is zero, and the KVL law means that the algebraic sum of the branch voltages of each loop in the circuit is zero. According to the law, an equivalent set of equations for the actual circuit is established, and then the equations are solved. According to the MNA method, a set of equations can be established for any circuit. The general form of the equations formed by the MNA method is:

[0292]

[0293] Where Y is the admittance matrix, B, C and D represent the contributions of the loop branch equations, and Si and Sv represent the node currents and the voltages of the loop branches.

[0294] (2) Dynamic refresh technology of the whole station signal circuit simulation model state

[0295] Signal relay circuits are all conventional analog circuits, so this study uses mature and universal analog circuit simulation technology to simulate and analyze signal relay circuits according to actual electrical characteristics, and uses the modified contact algorithm (MNA) to solve the real-time voltage and current of each device in the circuit, thereby determining the real-time status of the signal circuit and the device. Fig.15 The specific steps include:

[0296] Step a, obtaining circuit data from the instantiated static model of the whole station signal circuit.

[0297] Step b, analyze the circuit and generate a matrix.

[0298] There are three main methods based on circuit theory: Kirchhoff's voltage law (KVL), Kirchhoff's current law (KCL), and branch constitutive equations.

[0299] MNA is used to include only passive components. Active components, independent voltage sources, and current sources can be written in the form of matrix equations: [A] · [x] = [z]

[0300] For a circuit with N nodes and M independent voltage sources:

[0301] The matrix dimension of the A matrix is ​​(N+M)×(N+M), and it only contains known quantities; the N×N part is in the upper left corner of the matrix and satisfies: it only contains passive components, grounded components only appear on the diagonal, and ungrounded components appear both on the diagonal and in other positions of the matrix; the rest of the A matrix outside the N*N part only contains 1, -1, 0, depending on the independent voltage source and current source at the corresponding position;

[0302] The x matrix is ​​a (N+M)×1 vector containing unknown quantities, including node voltages and currents flowing into the voltage source. The upper N elements are the node voltages, and the lower M elements are the currents flowing into the voltage source.

[0303] The z matrix is ​​a (N+M)×1 vector that contains only known quantities. The upper N elements are independent current sources in the circuit, and the lower M elements are independent voltage sources in the circuit.

[0304] The circuit is solved by matrix operations: [x] = [A] - 1·[z].

[0305] For example, a common one-port linear element, assuming that the branch where the one-port element is located is k, the voltage and current are associated with the reference direction s→t, and the impedance element is:

[0306] Assume the element admittance is y, and the branch constraint equation is:

[0307]

[0308] Where i1 is the branch current where Yuanniu is located

[0309] Arrange the above formula to get:

[0310]

[0311] The corresponding MNA matrix form is:

[0312]

[0313] Step c, update the current status of the components in the circuit to the matrix, such as whether a relay is currently connected at the front contact or the rear contact:

[0314] Traverse all the components in the netlist. Every time a component is encountered, the contribution value of the corresponding type of component is added to the corresponding sub-matrix. At the end of the traversal, each sub-matrix has the correct value, thus directly generating a set of equations; the contribution value of each component is a constant, and the contribution value is compiled into a table for query, which is also called the "tabular method".

[0315] Step d, solve the matrix and calculate the real-time voltage and current of each device in the circuit:

[0316] The LU decomposition method is used to solve the matrix. The full name is Lower-Upper decomposition. LU decomposition is a method of decomposing a matrix into the product of a lower triangular matrix L and an upper triangular matrix U. This method is particularly effective in solving linear equations because it allows solutions to be found efficiently through forward substitution and back substitution processes;

[0317] The basic idea of ​​LU decomposition:

[0318] Given a square matrix A (in MNA, this is usually a coefficient matrix based on circuit elements and connections), the goal of LU decomposition is to find two matrices L and U such that A = LU. Among them, L is a lower triangular matrix whose elements on the diagonal are all 1 (or can be non-zero, but are usually made 1 by row transformation to simplify calculation), and U is an upper triangular matrix.

[0319] The specific steps of LU decomposition are as follows:

[0320] Gaussian elimination: First, use Gaussian elimination or Gaussian elimination with partial pivots to convert the matrix A into an upper triangular form. In this process, each step eliminates the elements at the bottom of the matrix by multiplying it by an elementary row transformation matrix. These row transformations are accumulated to form an inverse matrix L of the lower triangular matrix L. -1 ;

[0321] Record the transformations: While converting A to upper triangular form, record the row transformations at each step so that L can be constructed, which is obtained by applying the same sequence of row transformations to the identity matrix I;

[0322] Form U: After all rows are transformed, the matrix A will become an upper triangular matrix, which is U;

[0323] Solution: With L and U, solve the linear equation system Ax = b through the following two steps:

[0324] Forward substitution: First solve Ly = b to find y, which is done by forward substitution because L is lower triangular;

[0325] Back Substitution: We then solve Ux=y to find x, which is done by back substitution since U is upper triangular.

[0326] Step e, determining the state of the component according to the real-time voltage and current of the device and the dynamic characteristics of the device electrical model.

[0327] For example, the dynamic characteristics are determined according to the relay model, such as JWXC-1700:

[0328] The electrical parameters are as follows:

[0329] Rated voltage: DC 24V;

[0330] Rated current: 10A;

[0331] Working value: no more than DC16.8V;

[0332] Release value: not less than DC3.4V;

[0333] Reverse working value: no more than DC18.4V;

[0334] Coil resistance: single coil 850Ω, 2 sets of coils total 1700Ω;

[0335] The action logic is as follows:

[0336] When the excitation coil is connected to a 24V DC power supply, the relay contacts are excited and attracted; when the coil is de-energized, the contacts fall. This relay is a stepless relay and can work with current flowing in both directions.

[0337] Step f, refreshes steps c, d, and e at a fixed period or when receiving an external drive instruction.

[0338] In addition, in order to ensure the operating efficiency of the dynamic simulation model of the entire station signal circuit in large-scale stations, the antagonistic components are equivalently simplified according to the correlation between various signal circuits and the electrical characteristics of signal equipment, and the timing relationship of state changes between various circuits is considered. Based on the improved contact algorithm (MNA), multi-threading technology is comprehensively utilized to improve the state refresh response speed of the dynamic simulation model.

[0339] The equivalent simplification of antagonistic components mainly includes the following contents:

[0340] (1) Relay components were simplified. The coil part, which originally relied on inductance design, later used a software algorithm timer to simulate the delay effect and reduce the MNA matrix size and iteration number;

[0341] (2) In specific application scenarios, AC circuits are equivalent to DC circuits, such as in a relatively stable environment like inside a switch machine.

[0342] Based on the improved joint algorithm (MNA), the contents of comprehensive use of multi-threading technology are as follows:

[0343] 1. Optimize the MNA algorithm

[0344] MNA algorithm optimization:

[0345] Equation compression: Reduce redundant equations and variables in the MNA equation group, compress the equation size through circuit analysis and sparse matrix technology, and thus improve the solution efficiency.

[0346] Preprocessing: Preprocess the circuit, such as node reordering, branch reordering, etc., to optimize the bandwidth and sparsity of the matrix and reduce the computational complexity.

[0347] High-precision solver: Use efficient numerical solvers (such as iterative solvers or direct solvers) to solve the MNA equations to ensure a balance between solution speed and accuracy.

[0348] 2. Introducing multithreading technology

[0349] Multi-threaded design:

[0350] Task division: Divide the MNA solution process into multiple independent or parallel tasks, such as circuit matrix construction, solver initialization, and each step of iterative solution calculation.

[0351] Thread management: Use OpenMP to manage these threads, including thread creation, scheduling, synchronization, and destruction.

[0352] Parallelization strategy:

[0353] Data parallelism: For data parts that can be processed in parallel (such as matrix multiplication and addition, etc.), use multi-threaded parallel computing to speed up data processing.

[0354] Task parallelism: Different tasks in the entire solution process are assigned to different threads or thread groups for parallel execution, such as simulating different parts of a circuit at the same time.

[0355] 3. State refresh and dynamic simulation

[0356] Condition Monitoring:

[0357] Real-time status detection: Detect the circuit status (such as voltage, current, etc.) in real time during the simulation process, and quickly obtain and update the status information through a multi-threaded mechanism.

[0358] Dynamic feedback: Dynamically adjust simulation parameters or models according to changes in circuit status to achieve more accurate simulation results.

[0359] Optimize response speed:

[0360] Cache strategy: Use the cache mechanism to store and reuse intermediate calculation results, reduce repeated calculations, and improve response speed.

[0361] Asynchronous processing: For time-consuming computing tasks, asynchronous processing is adopted. The background thread completes the calculation without affecting the execution of the main thread, and notifies the main thread of the results.

[0362] By establishing a simulation model library with electrical parameters for basic signal equipment such as relays, wires, power supplies, transformers, signal machines, switch machines, and tracks, and using SPICE-based circuit simulation technology, combined with digital data of drawings and the electrical simulation model library of basic signal equipment, a dynamic simulation subsystem of the entire station signal relay circuit driven by both data and models is instantiated and constructed. The simulation subsystem is consistent with the actual operation on site. Based on the constructed dynamic simulation model of the entire station signal equipment, the correctness of the basic data of the drawings and the correctness of the circuit operation scenario can be further verified.

[0363] like Figure 1 As shown, in step S300, signal circuit test cases / test sequences related to railway stations are selected from a pre-built simulation test case library, and a test case / test sequence list is established. The test is completed by traversing the test case / test sequence list using the dynamic simulation model of the signal relay circuit of the entire station, and the dynamic simulation model operation result is obtained. It is determined whether the simulation model operation result is correct, and a dynamic simulation verification report is generated.

[0364] Basic methods of dynamic simulation verification:

[0365] Dynamic simulation verification draws on the content and methods of on-site interlocking relationship simulation tests, simulated conduction interlocking tests, opening tests and other signal field tests. It takes driving conditions as input and collected information and equipment status as expected outputs, and designs each test item as a test case. The number of cases is continuously expanded and enriched to form a general test case library that covers most of the test items.

[0366] After the dynamic simulation model of the signal circuit of the whole station is built, the test cases related to the station are traversed and run on the dynamic simulation model to determine whether the simulation operation of each test case meets expectations. When the case passes the test, it means that the relevant test content is correct. Since the dynamic simulation model is built based on the design drawing data of this station, the correctness of the model also means the correctness of the drawing.

[0367] Construction of test case library:

[0368] The design of test cases comprehensively considers the characteristics of various types of test objects, the application methods of test cases, the interface with other sub-modules, the human-computer interaction of the test case library, the needs of programming, etc. The basic structure of the test case includes the following attributes:

[0369] (1) Number: unique identifier.

[0370] (2) Applicable line standards: conventional automatic blocking, semi-automatic blocking, automatic station-to-station blocking, passenger-only trains, passenger-freight shared lines, new train control, etc.

[0371] (3) Applicable equipment models: different models of interlocking, train control center, track circuit, switch machine, coding, etc.

[0372] (4) Test objects: correspond one-to-one with the combination of the general design diagram, including signal machines, track circuits, switch machines, coding (receiving trains, departure trains, tracks, approach tracks, etc.), block circuits, directional circuits, block combination circuits, interlocking combination / communication circuits, mining and driving, and other circuits.

[0373] (5) Test content: such as testing whether a signal light is lit or whether a switch performs positioning / reversing operations.

[0374] (6) Preset conditions: external circuit conditions of the circuit under test, such as track circuit occupancy.

[0375] (7) Test item driving condition: The relay driving condition corresponding to the test item point.

[0376] (8) Expected test results: corresponding to the collected information and the status of the object under test.

[0377] (9)Others.

[0378] Each state of the signal circuit (signal, switch, track circuit, coding, field circuit, etc.) is designed as a simulation test case, and the route or complex scenario is designed as a simulation test sequence consisting of multiple test cases.

[0379] Taking the UU light of the station entry signal as an example, the specific content of this test case is shown in Table 3. The general equipment status is set as a general test case, and the software realizes automatic operation of the test case; complex circuits such as electronic coding are designed as manually assisted test cases, and the software automatically runs after the relevant conditions are set manually; special contact circuits such as field connection / self-closing combination can set the special test case of this station according to the actual situation of this station; extremely special / complex scenarios are set by full manual operation in the dynamic interactive interface.

[0380] Table 3 Basic structure of the test case

[0381]

[0382] Signal drawing dynamic simulation verification process based on test cases:

[0383] After the dynamic simulation model of the signal circuit of the whole station is built, the dynamic simulation model is used to run test cases for dynamic simulation verification. The technical process of dynamic simulation verification of signal drawings based on test cases is shown in the figure. Fig.16 , mainly including test case selection, test case simulation operation process control, and comprehensive analysis of simulation test results.

[0384] (1) Test case selection

[0385] According to the specific combination type in the signal drawing of the verified station and the station configuration parameters such as line standard, equipment model, coding type, general indication / sub indication, etc., the corresponding test cases are selected from the test case library through feature matching, and a test case / sequence list is established.

[0386] (2) Test case simulation process control

[0387] The steps for automatically traversing and running basic test cases are as follows:

[0388] a. Select a common test case from the test list / test sequence of this site in sequence;

[0389] b. Set test case preset conditions from the dynamic simulation model;

[0390] c. Set the test case driving conditions from the dynamic simulation model;

[0391] d. The dynamic simulation model runs automatically;

[0392] e. Obtain the running results of the dynamic simulation model;

[0393] f. Compare the running results of the dynamic simulation model with the expected test results of this test case;

[0394] g. Analyze and record the test results of this test case.

[0395] According to the characteristics of the signal circuit under test, the simulation operation modes of the test cases are divided into the following categories, and dynamic simulation tests are performed on each category.

[0396] 1) Fully automatic operation: test cases for three basic circuits: signal machines, track circuits, and switch machines, and test sequences for commonly used standardized section block circuits and coded circuits. Automatically convert the prerequisites and driving conditions of such test cases / sequences and input them into the dynamic simulation model. After the simulation model runs automatically, compare the running results with the expected test results of the case, and analyze and record the test results of the case.

[0397] 2) Manual assisted operation: some special coded circuits, field-linked circuits, etc. Some prerequisites need to be preset manually, such as track occupancy, signal lighting of the other station, etc. After the prerequisites are set manually, the test case will be automatically run.

[0398] 3) Fully manual interface setting category: For some complex multi-route and multi-vehicle special scenarios, the scenarios are set manually in the dynamic interaction interface. The dynamic interaction interface converts the scenarios into driving conditions for the dynamic simulation model. The simulation model runs according to these conditions and returns the running results. The running results are displayed on the dynamic interaction interface, and the human judges whether the results meet expectations.

[0399] 4) Traverse the route according to the interlocking table: By cooperating with the interlocking software, the drive information output by the interlocking software after processing the route is input into the whole station signal circuit simulation model, and the model returns the collected information to the interlocking software after running. This verification can be combined with the simulation test of the interlocking software to verify the software function while checking the combination of the software and the external circuit. During the interlocking simulation test, not only the basic functions of the test software, but also the software input, output, logical relationship, and timing relationship are verified; it can also analyze the external circuit principle, action timing, transportation operation scenario, program characteristics, etc.

[0400] (3) Comprehensive analysis of simulation test results

[0401] Analyze the test results of each step, analyze the reasons for failed test cases / sequences and point out possible drawing errors, mark the digital drawing data according to the categories of verified data, failed data, and unverified data, and integrate the test results of all dynamic simulation test items such as fully / semi-automatic test cases / sequences and manually set test scenarios to form a dynamic simulation verification report.

[0402] Technical verification and implementation:

[0403] Based on the above key technology research results, this embodiment first carried out technical verification and optimization of key technologies such as signal drawing original data acquisition technology, signal drawing design information digitization and static verification technology, full-station signal circuit dynamic simulation model construction technology based on data mechanism dual drive, and signal drawing dynamic simulation verification technology based on test cases. Then, the development of railway signal drawing digitization and dynamic simulation verification platform was completed, and the overall structure of the platform is shown in the figure. Fig.17 .

[0404] The software adopts a modular design concept. The system input is the signal two-dimensional drawings and station configuration parameters. The test case library and the signal basic equipment electrical simulation model library are two basic databases. The system output is the drawing information digital database and drawing verification report. After engineering application testing, taking the computer interlocking design drawing as an example, the verification accuracy of the drawing type that this platform has adapted is 100%, and the verification time for a set of drawings for a four-track standard station is less than 4 hours.

[0405] Corresponding to the above-disclosed method for digitally verifying the correctness of railway signal drawings based on dynamic simulation, the embodiment of the present invention further discloses a digitally verifying system for digitally verifying the correctness of railway signal drawings based on dynamic simulation, such as Fig.18 As shown, it specifically includes:

[0406] The digital processing and verification module is used to digitally process the railway signal drawings, convert them into digital drawing data, and perform static verification on the digital drawing data;

[0407] The simulation model building module is used to build a static model of the signal relay circuit of the whole station based on the pre-established signal basic equipment electrical simulation model library and the digital drawing data, and dynamically refresh the static model of the signal relay circuit of the whole station based on the dynamic refresh technology of the simulation model state to obtain a dynamic simulation model of the signal relay circuit of the whole station;

[0408] The test module is used to select signal circuit test cases / test sequences related to railway stations from a pre-built simulation test case library, and establish a test case / test sequence list, use the dynamic simulation model of the entire station signal relay circuit to traverse and run the test case / test sequence list to complete the test, obtain the dynamic simulation model operation results, and determine whether the simulation model operation results are correct, and generate a dynamic simulation verification report.

[0409] It should be noted that, for the detailed description of a system for digitally verifying the correctness of railway signal drawings based on dynamic simulation provided in an embodiment of the present invention, reference can be made to the relevant description of a method for digitally verifying the correctness of railway signal drawings based on dynamic simulation provided in an embodiment of the present application, which will not be repeated here.

[0410] In addition, an embodiment of the present invention also provides an electronic device, comprising: a processor and a memory; the memory is used to store one or more program instructions; the processor is used to run one or more program instructions to execute the steps of a method for digitally verifying the correctness of railway signal drawings based on dynamic simulation as described in any of the above items.

[0411] It should be noted that, for the detailed description of an electronic device provided in an embodiment of the present invention, reference can be made to the relevant description of a method for digitally verifying the correctness of railway signal drawings based on dynamic simulation provided in an embodiment of the present application, which will not be repeated here.

[0412] In addition, an embodiment of the present invention further provides a computer-readable storage medium, on which a computer program is stored. When the computer program is executed by a processor, the steps of a method for digitally verifying the correctness of railway signal drawings based on dynamic simulation as described in any of the above items are implemented.

[0413] It should be noted that, for the detailed description of a computer-readable storage medium provided in an embodiment of the present invention, reference can be made to the relevant description of a method for digitally verifying the correctness of railway signal drawings based on dynamic simulation provided in an embodiment of the present application, which will not be repeated here.

[0414] Those skilled in the art will appreciate that all or part of the functions of the various methods in the above-mentioned embodiments can be implemented by hardware or by computer programs. When all or part of the functions in the above-mentioned embodiments are implemented by computer programs, the program can be stored in a computer-readable storage medium, and the storage medium can include: read-only memory, random access memory, disk, optical disk, hard disk, etc., and the program is executed by a computer to implement the above-mentioned functions. For example, the program is stored in the memory of the device, and when the program in the memory is executed by the processor, all or part of the above-mentioned functions can be implemented. In addition, when all or part of the functions in the above-mentioned embodiments are implemented by computer programs, the program can also be stored in a storage medium such as a server, another computer, disk, optical disk, flash disk or mobile hard disk, and can be downloaded or copied and saved in the memory of the local device, or the system of the local device is updated, and when the program in the memory is executed by the processor, all or part of the functions in the above-mentioned embodiments can be implemented.

[0415] The above specific examples are used to illustrate the present invention, which is only used to help understand the present invention and is not intended to limit the present invention. For those skilled in the art, according to the concept of the present invention, some simple deductions, modifications or substitutions can be made.

Claims

1. A method for digitally verifying the correctness of railway signal drawings based on dynamic simulation, characterized in that: The method comprises: Digitally process railway signal drawings, convert them into digital drawing data, and perform static verification on the digital drawing data; Based on the pre-established signal basic equipment electrical simulation model library and drawing digitized data, a static model of the signal relay circuit of the entire station is constructed, and the static model of the signal relay circuit of the entire station is dynamically refreshed based on the simulation model state dynamic refresh technology to obtain a dynamic simulation model of the signal relay circuit of the entire station; Select signal circuit test cases / test sequences related to railway stations from the pre-built simulation test case library, and establish a test case / test sequence list. Use the dynamic simulation model of the signal relay circuit of the entire station to traverse and run the test case / test sequence list to complete the test, obtain the dynamic simulation model running results, and determine whether the simulation model running results are correct, and generate a dynamic simulation verification report.

2. A method for digitally verifying the correctness of railway signal drawings based on dynamic simulation as claimed in claim 1, characterized in that: The railway signal drawings are digitized and converted into digital drawing data, including: Split the railway signal drawing into sub-graphs and obtain the sub-graph list; Traversing the sub-graph list, filtering each sub-graph, filtering out unnecessary graphs and tables, identifying required tables, extracting the identified tables and converting them into Excel tables; Parse the Excel spreadsheet contents, integrate the parsing results according to business needs, obtain structured data and store it.

3. A method for digitally verifying the correctness of railway signal drawings based on dynamic simulation as claimed in claim 2, characterized in that: The railway signal drawings are digitized and converted into digital drawing data, including: A multi-level drawing digital data structure is adopted, including station - station / section - interlocking / coding / blocking - cabinet - cabinet layer - side / interior - equipment - terminal.

4. A method for digitally verifying the correctness of railway signal drawings based on dynamic simulation as claimed in claim 1, characterized in that: Static verification of digital drawing data, including: Based on the preset verification rules, a single static verification is performed on the digital data of the railway signal drawings to find errors and risk points, and the results are recorded and analyzed to form a static verification report. The static verification includes static verification rules for the compliance of the wiring double ends, the wiring formation of the power loop, and the correctness of the relay type.

5. A method for digitally verifying the correctness of railway signal drawings based on dynamic simulation as claimed in claim 1, characterized in that: Based on the pre-established signal basic equipment electrical simulation model library and drawing digitized data, a static model of the signal relay circuit of the entire station is constructed, including: Each equipment electrical model in the simulation model library includes physical parameters, static electrical parameters and dynamic characteristic information; referring to the installation equipment and wiring work in actual construction, according to the digital data of the station's own signal drawings, all the indoor equipment and cabinets related to the station's signal circuits are instantiated, and the controlled trackside equipment including signal machines, switch machines, and track circuits are instantiated. Then, the indoor and outdoor wiring are instantiated, the simulation power supply is mounted, and the connection between indoor and outdoor signal equipment is established to construct a static model of the signal relay circuit of the entire station based on the drawing data, which is consistent with the operating logic of the actual signal system.

6. A method for digitally verifying the correctness of railway signal drawings based on dynamic simulation as claimed in claim 1, characterized in that: Based on the dynamic refresh technology of simulation model state, the static model of the signal relay circuit of the whole station is dynamically refreshed to obtain the dynamic simulation model of the signal relay circuit of the whole station, which specifically includes: According to the input driving conditions of various relay circuits, the dynamic refresh technology of simulation model state based on MNA algorithm is adopted to simulate and analyze the signal relay circuit according to the actual electrical characteristics. The real-time voltage and current of each device in the circuit are solved by MNA algorithm, and then the real-time state of the signal circuit and the device is determined.

7. A method for digitally verifying the correctness of railway signal drawings based on dynamic simulation as claimed in claim 1, characterized in that: The construction method of the simulation test case library specifically includes: With preset conditions and driving conditions as inputs, and collected information and equipment status as expected test results, each state of the railway signal circuit is designed into a simulation test case, and the basic composition structure of the simulation test case is defined; For routes or complex scenarios, a simulation test sequence consisting of multiple test cases is designed; Based on the obtained simulation test cases and simulation test sequences, a simulation test case library is constructed.

8. A method for digitally verifying the correctness of railway signal drawings based on dynamic simulation as claimed in claim 1, characterized in that: The test cases / test sequence lists are run through the dynamic simulation model of the signal relay circuit of the entire station to complete the test and obtain the running results of the dynamic simulation model, including: According to the characteristics of the signal circuit under test, the test cases are classified according to the simulation operation mode, and dynamic simulation tests are carried out one by one. The categories include fully automatic operation, manual assisted operation, fully manual interface setting, and traversal according to the interlocking table. For fully automatic operation: automatically convert the preset conditions and driving conditions of such test cases / test sequences and input them into the dynamic simulation model. After the dynamic simulation model runs automatically, obtain the running results of the dynamic simulation model, compare the running results with the expected test results of the test case, and analyze and record the test results of the case. For manual assisted operation: some preset conditions are preset manually, and the test cases are automatically run after the preset conditions are set manually; For the fully manual interface setting type: it is necessary to manually set the scene in the dynamic interaction interface. The dynamic interaction interface converts the scene into the driving conditions of the dynamic simulation model. The dynamic simulation model returns the running results after running according to the corresponding conditions, and displays the running results on the dynamic interaction interface. It is up to the human to judge whether the results meet expectations; For processing the route according to the interlocking table traversal: through cooperation with the interlocking software, the driving information output by the interlocking software after processing the route is input into the dynamic simulation model, and the dynamic simulation model returns the collected information to the interlocking software after running.

9. A method for digitally verifying the correctness of railway signal drawings based on dynamic simulation as claimed in claim 1, characterized in that: Determine whether the simulation model operation results are correct and generate a dynamic simulation verification report, including: Analyze the test results of each step, analyze the reasons for failed test cases / test sequences and point out possible drawing errors, mark the digital drawing data according to the categories of verified data, failed data, and unverified data, and integrate the test results of all dynamic simulation test cases / test sequences to form a dynamic simulation verification report.

10. A digital verification system for the correctness of railway signal drawings based on dynamic simulation, characterized in that: The system comprises: The digital processing and verification module is used to digitally process the railway signal drawings, convert them into digital drawing data, and perform static verification on the digital drawing data; The simulation model building module is used to build a static model of the signal relay circuit of the whole station based on the pre-established signal basic equipment electrical simulation model library and the digital drawing data, and dynamically refresh the static model of the signal relay circuit of the whole station based on the dynamic refresh technology of the simulation model state to obtain a dynamic simulation model of the signal relay circuit of the whole station; The test module is used to select signal circuit test cases / test sequences related to railway stations from a pre-built simulation test case library, and establish a test case / test sequence list, use the dynamic simulation model of the entire station signal relay circuit to traverse and run the test case / test sequence list to complete the test, obtain the dynamic simulation model operation results, and determine whether the simulation model operation results are correct, and generate a dynamic simulation verification report.

Images