An automatic updating system and method for interlocking logic rule configuration files

Abstract

The present invention relates to an automatic updating system and method for an interlocking logic rule configuration file, the system comprises an input interface module, a parameter table updating module, a general rule database updating module, a special search logic table updating module, a specific application expression library updating module, a timing table updating module and an output interface module; the input interface module is used to send the updated version of the interlocking logic rule configuration file template and configuration method file, the previous version of the interlocking logic rule configuration file template and configuration method file, and the previous version of the interlocking logic rule configuration file configured to the parameter table updating module, the general rule database updating module, the special search logic table updating module, the specific application expression library updating module, and the timing table updating module. Compared with the prior art, the present invention has the advantages of greatly reducing the workload and improving the design efficiency of the interlocking logic rule configuration file.

Description

Technical Field

[0001] The present invention relates to a train signal control system, and more particularly to an automatic update system and method for an interlocking logic rule configuration file. Background Art

[0002] When implementing the interlocking software by using a Boolean file written in the logical method of Boolean algebra in the lower computer control unit of the interlocking system, since the number of logical statements of the interlocking software is very large and the manual compilation is very difficult, currently, an automated method mentioned in CN104049975A is mostly adopted to generate Boolean logical statements. To facilitate the generation of Boolean logic, it is necessary to first complete the interlocking logic rule configuration file. The interlocking logic rule configuration file defines a general rule library sub-table, a timing table, a special logic search sub-table, a parameter declaration sub-table, etc. In the special logic search sub-table and the parameter declaration sub-table, signal devices in the station yard such as signal lamps, switches, routes, and other scattered trackside signal devices are arranged and configured according to the corresponding logic, and cooperate with the general rule library sub-table and the timing table as the input file for generating Boolean logical statements.

[0003] Therefore, for the Boolean file to be generated, first, signal personnel need to write the interlocking logic rule configuration file according to the specified process and specifications, and then generate the Boolean file through the configuration file. After the first version of the Boolean file is generated, due to reasons such as requirement changes or design changes, when the existing interlocking logic rule configuration file is upgraded, signal personnel need to re-perform the Boolean data production work according to the specified process. During the upgrade process, a large amount of time will be invested, and there are problems such as a long data production cycle and a cumbersome process. For the upgrade of the interlocking logic rule configuration file, the scope of changes may be very limited. Therefore, for signal personnel in the field of track signals, simplifying the upgrade process and providing a technology for rapid upgrade are urgent problems to be solved. Summary of the Invention

[0004] The purpose of the present invention is to overcome the defects existing in the above-mentioned prior art and provide an automatic update method and system for an interlocking logic rule configuration file, which can cope with the changes of the interlocking logic rule configuration file and quickly and efficiently upgrade the existing configuration data in the previous version of the interlocking logic rule configuration file.

[0005] The purpose of the present invention can be achieved by the following technical solutions:

[0006] According to the first aspect of the present invention, an automatic update system for an interlocking logic rule configuration file is provided. The system includes an input interface module, a parameter table update module, a general rule database update module, a special search logic table update module, a specific application expression library update module, a timing table update module, and an output interface module;

[0007] The described input interface module is used to send the updated version of the interlock logic rule configuration file template and configuration method file, the previous version of the interlock logic rule configuration file template and configuration method file, and the previously configured interlock logic rule configuration file to the parameter table update module, the general rule database update module, the special search logic table update module, the specific application expression library update module, and the timing table update module respectively;

[0008] The parameter table update module, the general rule database update module, the special search logic table update module, the specific application expression library update module, and the timing table update module perform corresponding processing on the received files and then output the updated interlock logic rule configuration file and change record through the output interface module.

[0009] As a preferred technical solution, the interlock logic rule configuration file is an input file for automatically generating an arithmetic logic Boolean file, including a general rule database sub-table, a parameter table sub-table, a special search logic sub-table, a specific application expression library sub-table, and a timing table sub-table;

[0010] Among them, the general rule database sub-table is used to define general interlock logic rules;

[0011] The parameter table sub-table is used to define and declare the signal device names in a specific station yard and the device logic state variables associated with them;

[0012] The special search logic sub-table is used to define the logical relationships of signal device objects;

[0013] The specific application expression library sub-table is used to define the Boolean logic expressions for special applications on specific projects;

[0014] The timing table sub-table is used to define the generation order of Boolean logic statements.

[0015] As a preferred technical solution, the input interface module reads the content in the file after parsing the data structure of the input file.

[0016] As a preferred technical solution, the parameter table update module takes the configuration project number as a reference and compares each configuration item and configuration principle file of the parameter table sub-tables of the old template and the new template.

[0017] As a preferred technical solution, (a) if the bit name and configuration method corresponding to the configuration number remain unchanged, it is considered that the update scope of the interlocking logic rule configuration file does not involve this configuration item, and directly assign the signal devices and bit names configured in the signal device name corresponding to this configuration number in the previous version to the interlocking logic rule configuration file, the signal device name column and bit name column corresponding to this configuration number;

[0018] (b) If the bit name corresponding to the configuration number changes but the corresponding configuration method remains unchanged, it means that the configuration method and principle remain unchanged, but the corresponding implementation method has been modified. At this time, assign the signal devices configured in the signal device name corresponding to this configuration number in the old template file to the signal device name column corresponding to this configuration number in the target file, and assign the bit name corresponding to this configuration number in the old template file to the bit name column corresponding to this configuration number in the target file;

[0019] (c) If the configuration method corresponding to the configuration number changes, it means that the configuration method and principle have changed, and the previous signal device name configuration cannot be directly copied. Only assign the bit name corresponding to this configuration number in the new template file to the bit name column corresponding to this configuration number in the target file, and record this result in the change record file at the same time.

[0020] As a preferred technical solution, after the parameter table update module completes the update, compare the template of the interlocking logic rule configuration file in the previous version before the update and the interlocking logic rule configuration file that has been configured in the previous version. For the newly added configuration items in the parameter table sub-table of the interlocking logic rule configuration file that has been configured in the previous version, directly assign the content of its configuration item number, signal device name, and bit name column to the end of the parameter table sub-table of the target file, and record this result in the change record file at the same time.

[0021] As a preferred technical solution, the general rule database update module directly assigns the content in the general rule database sub-table in the new template as the update result to the target file.

[0022] As a preferred technical solution, after the general rule database update module completes the update of the general rule database, check the format legality of the general rule database, and compare one by one whether the parameter names called in the general interlocking logic rules are all defined in the bit name column of the parameter table sub-table. If there is a parameter name that is not defined, there is an error in the new template file, and an error prompt is made in the change record file, and the target file is not output.

[0023] As a preferred technical solution, the special search logic table update module is based on the sub-table name in the special search logic sub-table, and compares the name of the signal device code position name column of each sub-table in the special search logic sub-table of the old template and the new template, as well as the configuration principle file.

[0024] As a preferred technical solution, (a) if the name of the special search logic sub-table has not changed, and the name of the signal device code position name column and the configuration principle under the sub-table have not changed, it is considered that the update scope of the interlocking logic rule configuration file does not involve this sub-table, and all the content under this sub-table in the previous version, including the sub-table name, signal device object, signal device code position name column and all the content under the column, is directly assigned to the special search logic sub-table of the target file;

[0025] (b) If the name of the special search logic sub-table and the name of the signal device code position name column under the sub-table have not changed, but the configuration method has changed, it means that the configuration method and the interlocking relationship defined by the sub-table have changed, and the previous signal device code position name configuration cannot be directly copied. Only the column name of the signal device code position corresponding to this sub-table in the new version is assigned to the target file, and the content under this column is not assigned. At the same time, this result is recorded in the change record file;

[0026] (c) If the name of the special search logic sub-table has not changed, but the name of the signal device code position name column under the sub-table has changed, including deleting or adding a signal device code position name column; for the deleted device code position name column, the configuration of this column is directly skipped; for the newly added device code position name column, only the header name of the corresponding device code position name column is added under the sub-table name of the target file, and no configuration is performed; at the same time, this result is recorded in the change record file;

[0027] (d) If the name of the special search logic sub-table has changed, a sub-table has been added or deleted; for the deleted sub-table, the configuration of this sub-table is directly skipped; for the newly added sub-table, only the sub-table name and the header name of the corresponding device code position name column are added to the target file, and no configuration is performed. At the same time, this result is recorded in the change record file.

[0028] As a preferred technical solution, after the special search logic table update module completes the update, it retrieves the header name of each signal device code position name column in the general rule database sub-table. If a header name does not appear in any expression in the general rule database sub-table, there may be an error in the signal device code position name column of the new template file. A warning message is given in the change record file, and the target file is not output.

[0029] As a preferred technical solution, the specific application expression library update module first updates the specific application expression library sub-table of the new template file to the target file, and then compares row by row the contents of the rule library name column and the Boolean expression column in the specific application expression library sub-table of the new template file and the interlocking logic rule configuration file that has been configured in the previous version;

[0030] Then, compare row by row the contents of the rule library name column and the Boolean expression column in the specific application expression library sub-table of the old template file and the interlocking logic rule configuration file that has been configured in the previous version; if a row of content in the specific application expression library sub-table of the interlocking logic rule configuration file that has been configured does not appear in the old template file at all, it means that this row belongs to the category of project-specific applications, and the entire content of this row is assigned to the end of the specific application expression library sub-table of the target file.

[0031] As a preferred technical solution, the step of comparing row by row the contents of the rule library name column and the Boolean expression column in the specific application expression library sub-table of the new template file and the interlocking logic rule configuration file that has been configured in the previous version is specifically as follows: if in a certain row, the contents of the rule library name column and the Boolean expression column are exactly the same, then assign the variable configured in the variable name column of this row in the specific application expression library sub-table of the interlocking logic rule configuration file that has been configured in the previous version to the same row of the target file; if any one is inconsistent, directly skip the configuration of this row.

[0032] As a preferred technical solution, the timing table update module first updates the timing table sub-table of the new template file to the target file, and then compares the timing table sub-table of the old template file and the interlocking logic rule configuration file that has been configured in the previous version. For the rule library names and positions added in the interlocking logic rule configuration file that has been configured in the previous version compared with the old template file, take the previous rule library name of the newly added rule library name as the comparison benchmark, and add the newly added rule library name and the sorting method to the next position of the previous rule library name in the timing table sub-table of the target file; at the same time, record this result in the change record file.

[0033] According to the second aspect of the present invention, there is provided a method for an automatic update system of an interlocking logic rule configuration file, the method including the method and logic process for automatic update of the parameter table sub-table, the method and logic process for automatic update of the general rule database sub-table, the method and logic process for automatic update of the special search logic table sub-table, the method and logic process for automatic update of the specific application expression library sub-table, and the method and logic process for automatic update of the timing table sub-table.

[0034] According to a third aspect of the present invention, there is provided an electronic device, including a memory and a processor, wherein a computer program is stored on the memory, and when the processor executes the program, the method described above is implemented.

[0035] According to a fourth aspect of the present invention, there is provided a computer-readable storage medium, on which a computer program is stored, and when the program is executed by a processor, the method described above is implemented.

[0036] Compared with the prior art, the present invention has the following advantages:

[0037] 1. Based on the current automatic generation of Boolean files, in the design process of the interlocking logic rule configuration file, the configuration of specific station data takes a large amount of work. Generally speaking, the interlocking logic rule configuration file of the previous version has been verified and confirmed, and the data configuration is correct. The above method can solve the problem of quickly and accurately updating each sub-table after the interlocking logic rule configuration file is upgraded, greatly reducing the workload and improving the design efficiency of the interlocking logic rule configuration file.

[0038] 2. The automatic update method of the interlocking logic rule configuration file of the present invention can perform basic format checks on the configuration of the station signal equipment after the upgrade while realizing automatic update, confirm the matching of the previous version of the configuration to the current version, and record the inspection results to ensure the reliability and correctness of the automatic update process. BRIEF DESCRIPTION OF THE DRAWINGS

[0039] Figure 1 It is the architecture and data flow diagram of the automatic update system of the interlocking logic rule configuration file of the present invention;

[0040] Figure 2 It is the update logic schematic diagram of the parameter table update module of the present invention;

[0041] Figure 3 It is the logic schematic diagram of the general rule database update module of the present invention;

[0042] Figure 4 It is the logic schematic diagram of the special search logic table update module of the present invention;

[0043] Figure 5 It is the logic schematic diagram of the specific application expression library update module of the present invention;

[0044] Figure 6 It is the logic schematic diagram of the timing table update module of the present invention. DETAILED DESCRIPTION OF THE EMBODIMENTS

[0045] The following will clearly and completely describe the technical solutions in the embodiments of the present invention with reference to the accompanying drawings in the embodiments of the present invention. Obviously, the described embodiments are part of the embodiments of the present invention, rather than all embodiments. All other embodiments obtained by those of ordinary skill in the art based on the embodiments of the present invention without creative efforts shall fall within the scope of protection of the present invention.

[0046] The automatic update system for the interlocking logic rule configuration file of the present invention is completed through the following modules: input / output interface module, special search logic table update module, parameter table update module, specific application expression update module, timing table update module, and general rule database update module. The data flow between each block in the rule automatic update system is shown in the appendix Figure 1 .

[0047] The interlocking logic rule configuration file is an input file for automatically generating an operation logic Boolean file, including several types of tables such as a general rule database sub-table, a parameter table sub-table, a special search logic sub-table, a specific application expression library sub-table, and a timing table sub-table.

[0048] The configuration principle file defines the configuration methods of configurable items in each sub-table of the interlocking logic rule configuration file, providing configuration guidance for signal designers.

[0049] Among them, for the above-mentioned interlocking logic rule configuration file:

[0050] The general rule database sub-table mainly defines general interlocking logic rules. The interlocking logic rule is a language that combines general logic statements and a search method based on the device topology structure, and is the benchmark for generating specific interlocking yard Boolean statements. It can cooperate with the device names defined in the parameter table sub-table and the logical relationship of signal device objects defined in the special search logic sub-table to generate Boolean logic expressions;

[0051] The parameter table sub-table is mainly used to define and declare the signal device names in a specific yard and the device logic state variables associated with them. For the functional division and device layout of a specific yard, signal designers configure according to the configuration principles of each configurable item in the configuration principle file;

[0052] The special search logic sub-table mainly defines the logical relationship of signal device objects. For example, in the special search logic sub-table, the route name, the name of the protection section corresponding to the route, and the name of the staff protection switch corresponding to the route can be defined. Given a route, the protection section and staff protection switch associated with the route can be searched through the elements defined in the special search logic sub-table.

[0053] The specific application expression library subtable mainly defines the Boolean logic expressions of special applications on specific projects. The specific application expression library subtable is divided into two parts. The first part is the template of Boolean logic expression given in the interlocking logic rule configuration file template for application, and the other part is independently designed by the user according to the rule template and grammar requirements based on specific application requirements;

[0054] The timing table subtable is mainly used to define the generation order of Boolean logic statements. Boolean logic statements are divided into different functional modules according to their functions. The timing table defines the Boolean logic expressions corresponding to each functional module and the generation order of each Boolean logic expression within each different functional module.

[0055] Combination Figure 1 The architecture and data flow diagram of the automatic update system of the interlocking logic rule configuration file, and the technical solution for implementing the interlocking logic rule configuration file include:

[0056] Input interface module: for input files, i.e., updated version of interlocking logic rule configuration file template (hereinafter referred to as: new template file), updated previous version of interlocking logic rule configuration file template (hereinafter referred to as: old template file), and previous version of interlocking logic rule configuration file that has been configured, parse its data structure and read the content in the file;

[0057] Parameter Table Update Module: The data structure format in the sub-table of the parameter table is shown in Table 1. The sub-table contains three parts: the configuration item number, the signal device name, and the code bit name. Each row of the configuration item number in the sub-table of the parameter table is unique. In the parameter table update module, based on the configuration item number, compare each configuration item and the configuration principle file in the sub-tables of the parameter tables of the old template and the new template. If <1> neither the code bit name nor the configuration method corresponding to the configuration number has changed, it is considered that the update scope of the interlocking logic rule configuration file this time does not involve this configuration item, and directly assign the signal device and the code bit name configured in the signal device name corresponding to this configuration number in the previous version to the signal device name column and the code bit name column corresponding to this configuration number in the interlocking logic rule configuration file (hereinafter referred to as: the target file); <2> if the code bit name corresponding to the configuration number has changed, but the corresponding configuration method has not changed, it means that the configuration method and principle have not changed, but the corresponding implementation method has been modified. At this time, assign the signal device configured in the signal device name corresponding to this configuration number in the old template file to the signal device name column corresponding to this configuration number in the target file, and assign the code bit name corresponding to this configuration number in the old template file to the code bit name column corresponding to this configuration number in the target file; <3> if the configuration method corresponding to the configuration number has changed, it means that the configuration method and principle have changed, and the previous signal device name configuration cannot be directly copied. Only assign the code bit name corresponding to this configuration number in the new template file to the code bit name column corresponding to this configuration number in the target file, and record this result in the change record file to prompt the signal designer to check this configuration item.

[0058] Table 1

[0059] Configuration Item Number Signal Equipment Name Code Bit Name Number 1 Code Bit Name A, Code Bit Name B, … Number 2 Code Bit Name C, Code Bit Name D, … … …

[0060] Since for a specific project, there will be a situation where signal personnel need to add logical variable declarations according to the actual application of a specific station yard. Therefore, after the above steps are completed, compare the interlocking logic rule configuration file template of the previous version before the update and the interlocking logic rule configuration file that has been configured in the previous version before the update. For the newly added configuration items in the sub-table of the parameter table of the interlocking logic rule configuration file that has been configured in the previous version, directly assign the content of its configuration item number, signal device name, and code bit name column to the end of the sub-table of the parameter table of the target file. At the same time, record this result in the change record file to prompt the signal designer to check the applicability of the configuration of this item to the new template file.

[0061] General Rule Database Update Module: The general interlocking logic rules defined in the sub-tables of the general rule database are given by the signal development team and do not require any modification by the signal designers. Therefore, the content in the sub-tables of the general rule database in the new template can be directly used as the update result and assigned to the target file. After the general rule database is updated, the module needs to check the format legality of the general rule database. Compare one by one whether the parameter names called in the general interlocking logic rules are defined in the code position name column of the parameter table sub-table. If there is an undefined parameter name, the new template file has an error, and an error prompt will be given in the change record file, and the target file will not be output;

[0062] Special Search Logic Table Update Module: The data structure format in the special search logic sub-table is shown in Table 2. The sub-table contains three parts: sub-table name, signal device object, and signal device code position name. Several sub-table names can be defined in the special search logic sub-table, and each sub-table name is unique. Under each sub-table, several device object names are defined. Based on the signal object name, there can be multiple signal device code position name columns, and there is an interlocking relationship between each signal device object and its corresponding signal device code position name columns.

[0063] Table 2

[0064]

[0065]

[0066] Analogous to the parameter table update module, in the special search logic table update module, based on the sub-table name in the special search logic sub-table, compare the names of the signal device code bit name columns of each sub-table in the special search logic sub-tables of the old template and the new template, as well as the configuration principle file. If <1> the sub-table name has not changed, and the names of the signal device code bit name columns and the configuration principles under the sub-table have not changed, it is considered that the update scope of the interlocking logic rule configuration file does not involve this sub-table, and directly assign all the content under this sub-table in the previous version, including the sub-table name, signal device object, signal device code bit name column and all the content under the column, to the special search logic sub-table of the target file; <2> the sub-table name and the name of the signal device code bit name column under the sub-table have not changed, but the configuration method has changed, which means that the configuration method and the interlocking relationship defined by the sub-table have changed, and the previous signal device code bit name configuration cannot be directly copied. Only assign the column name of the signal device code bit corresponding to this sub-table in the new version to the target file, and do not assign the content under this column. At the same time, record this result in the change record file to prompt the signal designer to check this configuration item; <3> the sub-table name has not changed, but the name of the signal device code bit name column under the sub-table has changed, such as deleting or adding a signal device code bit name column. For the deleted device code bit name column, directly skip the configuration of this column; for the added device code bit name column, only add the header name of the corresponding device code bit name column under the sub-table name in the target file without any configuration. At the same time, record this result in the change record file to prompt the signal designer to add the configuration item according to the change by himself; <4> the sub-table name has changed, a sub-table has been added or deleted. For the deleted sub-table, directly skip the configuration of this sub-table; for the added sub-table, only add the sub-table name and the header name of the corresponding device code bit name column in the target file without any configuration. At the same time, record this result in the change record file to prompt the signal designer to add the sub-table configuration according to the change by himself. The header name of the signal device code bit name column in the special search logic sub-table represents the interlocking relationship with the signal device object. This interlocking relationship, as a special search logic, is reflected in the search methods of each general expression in the general rule database sub-table. After the special search logic table update module completes the update, retrieve the header name of each signal device code bit name column in the general rule database sub-table. If a header name does not appear in any expression in the general rule database sub-table, there may be an error in the signal device code bit name column of the new template file, and a warning prompt will be given in the change record file, and the target file will not be output;

[0067] Specific application expression library update module: The data structure format in the specific application expression library sub-table is shown in Table 3. The specific application expression library sub-table contains three parts: rule library name, variable name, and Boolean expression.

[0068] Table 3

[0069]

[0070] Different from the previous types of tables, the sub-table of the specific application expression library does not have a unique identifier as the basis for judgment (the rule library names can be repeated). Therefore, in the specific application expression library update module: First, update the sub-table of the specific application expression library in the new template file to the target file. Then, compare the content of each row in the rule library name column and the Boolean expression column of the sub-table of the specific application expression library in the new template file and the interlocking logic rule configuration file that has been configured in the previous version one by one. If the content of the rule library name column and the Boolean expression column in a certain row is exactly the same, assign the variable configured in the variable name column of this row in the sub-table of the specific application expression library of the interlocking logic rule configuration file that has been configured in the previous version to the same row in the target file; if any of them is inconsistent, directly skip the configuration of this row. Then, compare the content of each row in the rule library name column and the Boolean expression column of the sub-table of the specific application expression library in the old template file and the interlocking logic rule configuration file that has been configured in the previous version one by one. If a certain row content in the sub-table of the specific application expression library of the interlocking logic rule configuration file that has been configured does not appear in the old template file at all, it means that this row belongs to the category of project-specific applications, and assign the whole content of this row to the end of the sub-table of the specific application expression library in the target file.

[0071] Timing table update module: The data structure format in the timing table sub-table is shown in Table 4. The timing table sub-table includes two parts: the rule library name and the rule library sorting method. For project-specific applications, there may be a situation where new rule library names are added. Therefore, in the timing table update module, first update the timing table sub-table in the new template file to the target file, and then compare the timing table sub-table in the old template file and the interlocking logic rule configuration file that has been configured in the previous version. For the rule library names and positions added in the interlocking logic rule configuration file that has been configured in the previous version compared with the old template file, use the previous rule library name (set as rule library name A) of the newly added rule library name as the comparison benchmark, and add the newly added rule library name and sorting method to the next position of rule library name A in the timing table sub-table of the target file. At the same time, record this result in the change record file to prompt the signal designers to check the applicability of this rule library and the new template file.

[0072] Table 4

[0073] Rule Base Name Rule Base Sorting Method Rule Base Name 1 Method 1 Rule Base Name 2 Method 2 …

[0074] According to the above solution, after completing the update of all sub-tables, reconstruct the application data according to the specified data structure and output it as an interlocking logic rule configuration file in the specified format.

[0075] The present invention provides an automatic update method for an interlocking logic rule configuration file, which is used for the logic operation of a signal system or the simulation of trackside equipment in a teaching system. According to Figure 1 and the foregoing explanations, those skilled in the art can easily understand the use of the interlocking logic rule configuration file described herein and its data structure.

[0076] Refer to Figure 2 , and introduce the method and logical process of the automatic update of the sub-table of the parameter table of the present invention. An example of the update of the sub-table of the parameter table is described as follows: In a certain modification of the interlocking logic rule configuration file, the modification involves the configuration item numbers CIDSR-A-0001 and CIDSR-A-0002. Among them, the configuration item number CIDSR-A-0001 configures all the train route names of this station, and the configuration principle remains unchanged, but the code position name JLA is added; the configuration principle of the configuration item number CIDSR-A-0002 has changed, and it is required to change all the train signal lights of this station to all the train signal lights that can be the end of the route of this station, but the corresponding code position name has not changed. The configuration item number CIDSR-A-0003 is deleted. The configuration item number CIDSR-A-1000 is newly added. At the same time, according to the project-specific requirements, the configuration item number CIDSR-B-0001 is added to the interlocking logic rule configuration file that has been configured in the previous version:

[0077] Step 1-1: The automatic update system reads in the new template file, the old template file, and the interlocking logic rule configuration file that has been configured in the previous version. At the same time, it reads in the configuration principle files corresponding to the new template file and the old template file;

[0078] Step 1-2: The automatic update system parses the read new template file, old template file, and interlocking logic rule configuration file that has been configured in the previous version according to the data structure of the file, and parses the sub-tables of the parameter tables corresponding to the three files;

[0079] Step 1-3: The parameter table update module compares each configuration item and its corresponding configuration method in the parameter table sub-tables of the new template file and the old template file one by one. Comparison result: The bit name of configuration item number CIDSR-A-0001 has changed, but the configuration principle remains unchanged. Then, directly assign the route name configured for item CIDSR-A-0001 in the interlocking logic rule configuration file that has been configured in the previous version to item CIDSR-A-0001 in the target file; The configuration principle of configuration item number CIDSR-A-0001 has changed, and the signal device configured in the previous version cannot be directly used. Skip the configuration of this item and explain it in the record file; For the newly added configuration item number CIDSR-A-1000, there is no assignment benchmark in the previous version. Skip the configuration of this item and prompt the designer to configure it manually in the record file.

[0080] Step 1-4: After the comparison of the parameter table sub-tables of the new template file and the old template file is completed, compare the old template file with the interlocking logic rule configuration file that has been configured in the previous version. It is found that the configuration item number CIDSR-B-0001, which is an additional configuration item for project-specific requirements in the interlocking logic rule configuration file that has been configured in the previous version, is directly added to the end of the parameter table sub-table of the target file as a whole, and at the same time, explain it in the record file to prompt the designer to confirm the applicability of this configuration item under the new template file.

[0081] Step 1-5: After the file update is completed, reconstruct the file according to the specified data structure and output it to the specified folder.

[0082] Reference Figure 3 , this invention introduces the method and logical process for the automatic update of the general rule database sub-table.

[0083] Step 2-1: The automatic update system reads in the new template file;

[0084] Step 2-2: The automatic update system parses the data structure of the read new template file and parses the corresponding general rule database sub-table;

[0085] Step 2-3: The content in the general rule database sub-table is completely provided by the general application platform. Without any modification by the user, directly assign the general rule database sub-table in the new template file to the target file;

[0086] Step 2-4: For the updated general rule database sub-table, perform a syntax legality check in combination with the parameter table sub-table that has been updated in Embodiment 1. Check one by one the parameter names that appear in all the expressions in the general rule database sub-table in the parameter table sub-table. If a parameter name is not defined in the parameter table sub-table, it is considered that there is an error in the general rule database sub-table in the new template file, report an error in the record file, and the target file will not be output.

[0087] Step 2-5: After the file update is completed, reconstruct the file according to the specified data structure and output it to the specified folder.

[0088] Reference Figure 4 , introduce the method and logical process of the automatic update of the special search logic table sub-table of the present invention. An example of the update of the special search logic table sub-table is described: In a certain modification of the interlock logic rule configuration file, one of the sub-tables in the special search logic table sub-table - the Signal sub-table was deleted; one of the sub-tables - the ROUTE sub-table was modified. In the old template file, the ROUTE sub-table contained two signal device code position name columns, the FHQD column and the PF column. On the basis of the old template file, the new template file added a signal device code position name column, the CKM column. Among them, the configuration principle of the signal device code position name column FHQD column did not change, and the configuration principle of the signal device code position name column PF column changed.

[0089] Step 3-1: The automatic update system reads in the new template file, the old template file, and the interlock logic rule configuration file that has been configured in the previous version. At the same time, read in the configuration principle files corresponding to the new template file and the old template file;

[0090] Step 3-2: The automatic update system parses the read new template file, old template file, and the interlock logic rule configuration file that has been configured in the previous version according to the data structure of the file, and parses the special search logic table sub-tables corresponding to the three files;

[0091] Step 3-3: The parameter table update module compares each sub-table included in the special search logic table sub-tables of the new template file and the old template file one by one. Comparison result: The Signal sub-table has been deleted, and any content of the previous version in the Signal sub-table will no longer be reflected in the target file; the ROUTE sub-table still exists, and the table headers under the ROUTE sub-table in the new template file, including the signal device object column and the signal device code position name column, are assigned to the ROUTE sub-table in the target file.

[0092] Step 3-4: For the ROUTE sub-tables that still exist in Step 3-3, compare the signal device code position name columns in sequence. The configuration principle of the FHQD column remains unchanged. Directly assign the configuration of the signal device object column and the FHQD column in the ROUTE sub-table of the special search logic table sub-table in the interlocking logic rule configuration file that has been configured in the previous version to the target file. The configuration principle of the PF column in the signal device code position name column has changed, and the signal device configured in the previous version cannot be directly used. Skip the configuration of this item and explain it in the record file; for the newly added CKM column in the signal device code position name column, there is no assignment reference in the previous version. Skip the configuration of this item and explain it in the record file to prompt the designer to configure it manually.

[0093] Step 3-5: After completing the file update, reconstruct the file according to the specified data structure and output it to the specified folder.

[0094] Reference Figure 5 , introduce the method and logical process of the automatic update of the specific application expression library sub-table of the present invention. An example of the update of the specific application expression library sub-table is described: In a certain modification of the interlocking logic rule configuration file, it involves the change of the rule library name to GZK1 expression in the specific application expression library sub-table, and its Boolean expression BOL1 is modified; at the same time, in the interlocking logic rule configuration file that has been configured in the previous version, the signal designer manually wrote the Boolean expression BOL2 for a specific project application, and named the corresponding rule library name column the new rule library GZK2; other parts remain unchanged.

[0095] Step 4-1: The automatic update system reads in the new template file, the old template file, and the interlocking logic rule configuration file that has been configured in the previous version.

[0096] Step 4-2: The automatic update system parses the read-in new template file, old template file, and interlocking logic rule configuration file that has been configured in the previous version according to the data structure of the file, and parses the specific application expression library sub-tables corresponding to the three files.

[0097] Step 4-3: Due to the particularity of the specific application expression library sub-table, directly assign all the contents of the specific application expression library sub-table in the new template file to the target file. Compare row by row the contents of the rule library name column and the Boolean expression column in the specific application expression library sub-table of the new template file and the interlocking logic rule configuration file that has been configured in the previous version. For rows where the contents of the rule library name column and the Boolean expression column are exactly the same, assign the variables configured in the variable name column of that row in the specific application expression library sub-table of the interlocking logic rule configuration file that has been configured in the previous version to the same row in the target file; for those where the contents of the rule library name column and the Boolean expression column are inconsistent, specifically, if the Boolean expression BOL1 under the rule library name GZK1 is inconsistent, directly skip the configuration of that row and indicate in the record file to prompt the designer that there are changes in this project and they need to configure it themselves;

[0098] Step 4-4: Compare row by row the contents of the rule library name column and the Boolean expression column in the specific application expression library sub-table of the old template file and the interlocking logic rule configuration file that has been configured in the previous version. The part that is more in the specific application expression library sub-table of the interlocking logic rule configuration file that has been configured in the previous version than in the old template file, namely the rule library name GZK2 and its corresponding Boolean expression BOL2, is the newly added expression for the specific application. Assign the contents of the rule library name GZK2, the expression BOL2, and the corresponding variable name column to the end of the specific application expression library sub-table in the target file, and prompt the designer to check the applicability of this Boolean expression under the new template file;

[0099] Step 4-5: After completing the file update, reconstruct the file according to the specified data structure and output it to the specified folder.

[0100] Reference Figure 6 , introduce the method and logical process of the automatic update of the timing table sub-table of the present invention. Illustrate with an example of the update of the timing table sub-table: In the interlocking logic rule configuration file that has been configured in the previous version, the signal designer has written the Boolean expression BOL2 for a specific project application by themselves, and named the corresponding rule library name column of this Boolean expression as the new rule library GZK2. In the timing table, GZK2 is defined as the next one after GZK1.

[0101] Step 5-1: The automatic update system reads in the new template file, the old template file, and the interlocking logic rule configuration file that has been configured in the previous version;

[0102] Step 5-2: The automatic update system parses the read-in new template file, old template file, and interlocking logic rule configuration file according to the data structure of the files, and parses the specific application expression library sub-tables corresponding to the three files;

[0103] Step 5-3: Directly assign all the contents of the timing table sub-table in the new template file to the target file;

[0104] Step 5-4: Compare one by one the content in the rule library name column of the timing table sub-table between the old template file and the interlocking logic rule configuration file with the configuration completed in the previous version. For the part that is more in the timing table sub-table of the interlocking logic rule configuration file with the configuration completed in the previous version than in the old template file, the rule library name GZK2 is the rule library name newly added for a specific application. If the position where the rule library name GZK2 appears in the timing table is after the rule library GZK1 and the rule library GZK1 is still defined in the timing table sub-table of the new template file, then assign the rule library name GZK2 and its corresponding rule library sorting method after the rule library GZK1 in the target file, and prompt the designer to check the applicability of this rule library under the new template file;

[0105] Step 5-5: After completing the above file update, reconstruct the file according to the specified data structure and output it to the specified folder.

[0106] The above is an introduction to the embodiments of the system and method. The following further illustrates the solution of the present invention through embodiments of electronic devices and storage media.

[0107] The electronic device of the present invention includes a central processing unit (CPU), which can execute various appropriate actions and processes according to computer program instructions stored in a read-only memory (ROM) or computer program instructions loaded from a storage unit into a random access memory (RAM). In the RAM, various programs and data required for device operation can also be stored. The CPU, ROM, and RAM are connected to each other through a bus. An input / output (I / O) interface is also connected to the bus.

[0108] Multiple components in the device are connected to the I / O interface, including: an input unit, such as a keyboard, a mouse, etc.; an output unit, such as various types of displays, speakers, etc.; a storage unit, such as a magnetic disk, an optical disc, etc.; and a communication unit, such as a network card, a modem, a wireless communication transceiver, etc. The communication unit allows the device to exchange information / data with other devices through a computer network such as the Internet and / or various telecommunication networks.

[0109] The processing unit executes the various methods and processes described above, such as the method of the present invention. For example, in some embodiments, the method of the present invention may be implemented as a computer software program tangibly embodied in a machine-readable medium, such as a storage unit. In some embodiments, part or all of the computer program may be loaded and / or installed onto the device via the ROM and / or the communication unit. When the computer program is loaded into the RAM and executed by the CPU, one or more steps of the method of the present invention described above may be performed. Alternatively, in other embodiments, the CPU may be configured to execute the method of the present invention by any other suitable means (e.g., by means of firmware).

[0110] The functions described above herein may be performed at least in part by one or more hardware logic components. By way of example and not limitation, exemplary types of hardware logic components that may be used include: field programmable gate arrays (FPGAs), application specific integrated circuits (ASICs), application specific standard products (ASSPs), system on a chip (SOCs), complex programmable logic devices (CPLDs), and the like.

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

[0112] In the context of the present invention, a machine-readable medium may be a tangible medium that can contain or store a program for use by or in connection with an instruction execution system, apparatus, or device. A machine-readable medium may be a machine-readable signal medium or a machine-readable storage medium. A machine-readable medium may include, but is not limited to, electronic, magnetic, optical, electromagnetic, infrared, or semiconductor systems, apparatus, or devices, or any suitable combination of the foregoing. More specific examples of a machine-readable storage medium would include an electrical connection based on one or more wires, a portable computer diskette, a hard disk, a random access memory (RAM), a read-only memory (ROM), an erasable programmable read-only memory (EPROM or Flash memory), an optical fiber, a portable compact disc read-only memory (CD-ROM), an optical storage device, a magnetic storage device, or any suitable combination of the foregoing.

[0113] As described above, it is only the specific implementation manner of the present invention, but the protection scope of the present invention is not limited thereto. Any person skilled in the art within the technical scope disclosed by the present invention can easily think of various equivalent modifications or substitutions, and these modifications or substitutions should all be covered within the protection scope of the present invention. Therefore, the protection scope of the present invention shall be subject to the protection scope of the claims.

Claims

1. An automatic updating system for interlocking logic rule configuration files, characterized in that: The system includes an input interface module, a parameter table update module, a general rule database update module, a special search logic table update module, a specific application expression library update module, a timing table update module and an output interface module; The input interface module is used to send the updated version of the interlocking logic rule configuration file template and configuration method file, the previous version of the interlocking logic rule configuration file template and configuration method file, and the previous version of the interlocking logic rule configuration file to the parameter table update module, the general rule database update module, the special search logic table update module, the specific application expression library update module, and the timing table update module respectively; The parameter table update module, general rule database update module, special search logic table update module, specific application expression library update module, and timing table update module process the received files accordingly and then output the updated interlocking logic rule configuration files and change records through the output interface module; The interlocking logic rule configuration file is an input file for automatically generating an operation logic Boolean file, including a general rule database subtable, a parameter table subtable, a special search logic subtable, a specific application expression library subtable and a timing table subtable; The general rule database subtable is used to define general interlocking logic rules; The parameter table subtable is used to define and declare the signal equipment name in a specific station field and the equipment logic state variables associated therewith; The special search logic sub-table is used to define the logical relationship of signal device objects; The specific application expression library subtable is used to define Boolean logic expressions for special applications on specific projects; The timing table sub-table is used to define the generation order of Boolean logic statements; The input interface module performs file parsing on the data structure of the input file and reads the content in the file; The parameter table update module compares each configuration item and configuration principle file of the parameter table sub-table of the old template and the new template based on the configuration item number; The general rule database update module directly assigns the content of the general rule database subtable in the new template as the update result to the target file; The special search logic table update module uses the sub-table name in the special search logic sub-table as a reference, compares the names of the signal device code position name columns of each sub-table of the special search logic sub-table of the old template and the new template, and the configuration principle file; The specific application expression library update module first updates the specific application expression library sub-table of the new template file to the target file, and then compares the content of each row in the rule library name column and the Boolean expression column in the specific application expression library sub-table of the interlocking logic rule configuration file that has been configured in the previous version with the new template file one by one; Then, the contents of each row in the rule base name column and the Boolean expression column in the specific application expression base subtable of the interlocking logic rule configuration file that has been configured in the previous version are compared one by one; If a row of content in the specific application expression library subtable of the configured interlocking logic rule configuration file does not appear in the old template file at all, it means that the row is within the scope of the project-specific application. The content of the row is assigned as a whole to the end of the specific application expression library subtable of the target file; The timing table update module first updates the target file according to the timing table subtable of the new template file, and then compares the timing table subtable of the old template file with the interlocking logic rule configuration file of the previous version that has been configured. For the rule base name and position added in the interlocking logic rule configuration file of the previous version that has been configured compared with the old template file, the previous rule base name of the newly added rule base name is used as a comparison benchmark, and the newly added rule base name and sorting method are added to the next position of the previous rule base name of the timing table subtable of the target file; and the result is recorded in the change record file at the same time.

2. The automatic updating system of the interlocking logic rule configuration file according to claim 1, characterized in that: (a) If the code position name and configuration method corresponding to the configuration number have not changed, it is considered that the update scope of this interlocking logic rule configuration file does not involve this configuration item, and the signal device and code position name configured in the signal device name corresponding to the configuration number of the previous version are directly assigned to the interlocking logic rule configuration file, and the signal device name column and code position name column corresponding to the configuration number are assigned to the interlocking logic rule configuration file; (b) If the code position name corresponding to the configuration number has changed but the corresponding configuration method has not changed, it means that the configuration method and principle have not changed, but the corresponding implementation method has been modified. At this time, the signal device configured in the signal device name corresponding to the configuration number in the old template file is assigned to the signal device name column corresponding to the configuration number in the target file, and the code position name corresponding to the configuration number in the old template file is assigned to the code position name column corresponding to the configuration number in the target file; (c) If the configuration method corresponding to the configuration number has changed, it means that the configuration method and principle have changed. The previous signal device name configuration cannot be directly copied. Only the code position name corresponding to the configuration number of the new template file is assigned to the code position name column corresponding to the configuration number of the target file, and the result is recorded in the change record file.

3. The automatic updating system of the interlocking logic rule configuration file according to claim 2, characterized in that: After completing the update, the parameter table update module compares and updates the previous version of the interlocking logic rule configuration file template, and updates the interlocking logic rule configuration file that has been configured in the previous version. For the newly added configuration items in the parameter table subtable of the interlocking logic rule configuration file that has been configured in the previous version, the configuration item number, signal device name, and code position name column are directly assigned to the end of the target file parameter table subtable, and the result is recorded in the change record file.

4. The automatic updating system of an interlocking logic rule configuration file according to claim 1, characterized in that: After the general rule database is updated, the general rule database update module checks the format legality of the general rule database, and compares one by one whether the parameter names called in the general interlocking logic rules are all defined in the code position name column of the parameter table subtable. If there are undefined parameter names, the new template file is wrong, an error prompt is given in the change record file, and the target file is no longer output.

5. The automatic updating system of interlocking logic rule configuration files according to claim 1, characterized in that: (a) If the name of the special search logic subtable has not changed, and the name and configuration principle of the signal device code name column under the subtable have not changed, it is considered that the update scope of this interlocking logic rule configuration file does not involve the subtable, and all contents under the subtable of the previous version, including the subtable name, signal device object, signal device code name column and all contents under the column, are directly assigned to the special search logic subtable of the target file; (b) If the name of the special search logic sub-table and the name of the signal device code position name column under the sub-table have not changed, but the configuration method has changed, it means that the interlocking relationship between the configuration method and the sub-table definition has changed, and the previous signal device code position name configuration cannot be directly copied. Only the signal device code position name column name corresponding to the new version of the sub-table is assigned to the target file, and the content under the column is not assigned. At the same time, the result is recorded in the change record file; (c) If the name of the special search logic sub-table has not changed, but the name of the signal device code name column under the sub-table has changed, including deleting or adding a signal device code name column; for the deleted device code name column, directly skip the configuration of the column; for the newly added device code name column, only add the header name of the corresponding device code name column under the name of the sub-table in the target file without any configuration; and record the result in the change record file; (d) If the name of the special search logic subtable changes, a new subtable is added or deleted; for the deleted subtable, the configuration of the subtable is skipped directly; for the newly added subtable, only the subtable name and the header name of the corresponding device code name column are added to the target file without any configuration, and the result is recorded in the change log file.

6. The automatic updating system of the interlocking logic rule configuration file according to claim 5, characterized in that: After completing the update, the special search logic table update module retrieves the header name of each signal device code name column in the general rule database subtable. If a header name does not appear in any expression in the general rule database subtable, the signal device code name column of the new template file may be incorrect, and a warning will be given in the change record file, and the target file will no longer be output.

7. The automatic updating system of interlocking logic rule configuration files according to claim 1, characterized in that: The described one-by-one comparison of the contents of each row in the rule library name column and the Boolean expression column in the specific application expression library subtable of the interlocking logic rule configuration file that has been configured in the previous version is as follows: if in a certain row, the contents of the rule library name column and the Boolean expression column are exactly the same, then the variables configured in the variable name column of the row in the specific application expression library subtable of the interlocking logic rule configuration file that has been configured in the previous version are assigned to the same row in the target file; if any one is inconsistent, the configuration of the row is directly skipped.

8. A method for an automatic updating system of the interlocking logic rule configuration file of claim 1, characterized in that: The method includes a method and a logical process for automatically updating a parameter table sub-table, a method and a logical process for automatically updating a general rule database sub-table, a method and a logical process for automatically updating a special search logic table sub-table, a method and a logical process for automatically updating a specific application expression library sub-table, and a method and a logical process for automatically updating a timing table sub-table.

9. An electronic device comprising a memory and a processor, wherein a computer program is stored in the memory, wherein: When the processor executes the program, the method as claimed in claim 8 is implemented.

10. A computer-readable storage medium having a computer program stored thereon, characterized in that: When the program is executed by a processor, the method as claimed in claim 8 is implemented.

Images