Boolean rule-based interlocking logic modularization method and system, and storage medium

Abstract

The invention relates to a Boolean rule-based interlocking logic modularization method, which comprises the following steps of: S1, dividing an interlocking function into a plurality of independent modules, determining a variable of each module, and setting a constraint relationship of each module; s2, setting equipment associated with each module according to the variable of each module; and S3, splicing the modules to form interlocking logic. According to the method, the calling relation between the modules and the module content variable is simple, the coupling between the modules is low, and the influence range is controllable. The same functions among different products are simple to reuse, high in flexibility and easy to expand. Modularized management and analysis can be carried out, and the maintenance, management and analysis cost is low.

Description

Technical Field

[0001] The present invention relates to the field of rail transit, and in particular to a Boolean rule-based interlocking logic modularization method, system and storage medium. Background Art

[0002] Boolean rules mainly involve Boolean operations, which are a digital symbolic logic deduction method. Logical operations are composed of several Boolean expressions. Interlocking logic based on Boolean rules is a formula for set operations and logical operations, including three operations: AND, OR, and NOT. A typical Boolean expression is as follows: A=B+C*.ND, which indicates the calculation method of the value of variable A. + indicates OR operation, * indicates AND operation, and .N. indicates negation operation. Interlocking logic is formed by sorting several similar expressions in a given order.

[0003] At present, the development modules of Boolean rules are simply distinguished according to different rule bases. The modules are of little significance. The variables involved in the rules are global variables and can be used anywhere, which easily leads to complex parameter calling relationships, high coupling between modules, large impact range of modifications, difficulty in reusing the same functions between different products, poor flexibility, difficult management, and high development and maintenance costs. At the same time, the application of non-standard modular design in interlocking logic may lead to problems such as low development quality control, inadequate design, and unstable execution. These problems are directly related to the security and stability of the system. Summary of the invention

[0004] In order to solve the above technical problems, the present invention proposes a modular method for interlocking logic of Boolean rules. The method aims to adopt a modular approach to develop interlocking logic using Boolean algebra, so that the development logic is as simple and standardized as possible, easy to understand and maintain, and at the same time, the same functional modules between different products can be reused to reduce development costs.

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

[0006] S1. Divide the interlocking function into multiple independent modules, determine the variables of each module, and set the constraint relationship of each module;

[0007] S2. According to the variables of each module, set the devices associated with each module;

[0008] S3. Connect the modules to form interlocking logic.

[0009] Furthermore, setting the constraint relationship includes:

[0010] S11, dividing the interlocking function into a basic interlocking function module, a combined circuit function module, an external interface function module and a command interaction module;

[0011] S12, determining the input variables, output variables and internal variables of each module;

[0012] S13. Set the constraint relationship between each module.

[0013] Further, the basic interlocking function module includes the following functions: route establishment, approach locking, signal opening, signal closing and route normal unlocking;

[0014] The combined circuit function block includes the following functions: semi-automatic block combination, automatic block combination, station-linked circuit combination and field-linked circuit combination;

[0015] The external interface functional block includes the following functions: interfacing with RBC and interfacing with TCC;

[0016] The command interaction module includes the following functions: receiving commands from the host computer and performing legality processing, and the processed commands are used for calling other modules.

[0017] Furthermore, modules interact with each other only through input variables and output variables with module labels. Only the output variables generated by each module with module labels can be called by other modules and must be declared as input variables of other modules. The internal variables of each module cannot be used by other modules. Internal variables include general variables, self-protection variables and time variables.

[0018] Furthermore, the general variable is only used after the variable is declared; the self-preserving variable and the time variable can be used both before and after the variable is declared.

[0019] Furthermore, the time variable has a delay characteristic, and the value of the time variable becomes true only after a delay of a period of time when the variable logic is established.

[0020] Furthermore, the input variables include host computer commands, external collection and internal input; the output variables include display status sent to the host computer, external output and internal output.

[0021] Furthermore, the host computer command comes from the operation information of the host computer, including a signal button pressing command, a blocking command, a signal reopening command, a total person release command, a total cancellation command, a turnout action, a single lock, a single release, an unblocking command, and a section fault release command;

[0022] The external data collected comes from the trackside equipment, including the signal filament status, signal relay contact status, turnout position indication status, section occupation clearing status and related logic status of the combined circuit;

[0023] The internal input comes from output variables with module labels generated by other modules;

[0024] The upper computer display status comes from the result of module operation;

[0025] The external output includes a signal relay drive command, a switch operation relay control command and a combined circuit related logic output drive command;

[0026] The internal output is an output variable with a module tag generated by this module and serves as an input variable of other modules.

[0027] Furthermore, step S2 includes: setting a reference device for the module according to the functions realized by the module, and sequentially setting association relationships between all variables defined in the module and the reference device.

[0028] Furthermore, the reference equipment includes train routes, shunting routes, switches, signals and track sections.

[0029] Furthermore, the association relationship refers to: a device query syntax based on a reference device, and finding the device corresponding to the variable from the interlocking information table through the reference device according to the query logic of the query syntax.

[0030] Furthermore, step S3 includes:

[0031] S31, define a timing table to determine the entry function of the interlocking main program, wherein the timing table is a table consisting of several modules in a certain order to determine the operation order of the Boolean expression;

[0032] S32, according to the functions realized by the modules and the requirements of the interlocking logic implementation, all the divided modules are respectively inserted into the timing table, and a parameter sequence is defined for each module;

[0033] The parameter sequence includes ASCII code sequence and reverse sequence, route sequence and reverse sequence, and equipment sequence and reverse sequence;

[0034] S33. Generate all Boolean expressions of each module in sequence according to the sequence of modules defined in the timing table. Adjust the sequence of all expressions inside the module according to the sequence of parameters in the module specified in the timing table. Connect all modules together to form interlocking logic.

[0035] Furthermore, the ASCII code order and reverse order are sorted from small to large and from large to small according to the character ASCII codes defined in the international standard; the route order and reverse order are according to the order in which the elements in the route in a specific station field appear, the direction from the beginning to the end of the route is the route order, and the direction from the end to the beginning is defined as the route reverse order; the equipment order and reverse order refers to the sorting of all variables associated with the same equipment based on the route order and reverse order.

[0036] In addition, the present invention also proposes a modular interlocking logic system based on Boolean rules, including: multiple independent modules divided according to interlocking functions, each module is provided with variables, and the modules interact through some variables; the variables of each module are associated with the equipment; and the modules are spliced ​​to form interlocking logic according to the set Boolean expression operation order.

[0037] Furthermore, the present invention proposes a storage medium storing the interlocking logic modular system based on Boolean rules.

[0038] The invention has the following beneficial effects: the calling relationship between modules and the module content variables is simple, the coupling between modules is low, and the impact range is controllable. The same functions between different products are easy to reuse, the flexibility is high, and it is easy to expand. Modular management and analysis can be performed, and the maintenance management and analysis costs are low. BRIEF DESCRIPTION OF THE DRAWINGS

[0039] Figure 1 It is a flow chart of the interlocking logic modularization method of the present invention;

[0040] Figure 2 It is a definition structure diagram of the module of the present invention;

[0041] Figure 3 It is a schematic diagram of the structure of the interlocking main timing model of the present invention. DETAILED DESCRIPTION

[0042] The following is a further detailed description of a Boolean rule-based interlocking logic modularization method, system and storage medium proposed by the present invention in combination with the accompanying drawings and specific embodiments. According to the following description, the advantages and features of the present invention will be clearer. It should be noted that the accompanying drawings are in a very simplified form and use non-precise proportions, which are only used to conveniently and clearly assist in explaining the purpose of the embodiments of the present invention. In order to make the purposes, features and advantages of the present invention more obvious and easy to understand, please refer to the accompanying drawings. It should be noted that the structures, proportions, sizes, etc. illustrated in the accompanying drawings of this specification are only used to match the contents disclosed in the specification for people familiar with this technology to understand and read, and are not used to limit the limiting conditions for the implementation of the present invention, so they have no technical substantive significance. Any modification of the structure, change of the proportional relationship or adjustment of the size, without affecting the effects that the present invention can produce and the purposes that can be achieved, should still fall within the scope of the technical content disclosed by the present invention.

[0043] like Figure 1 As shown, the interlocking logic modularization method based on Boolean rules proposed in the present invention mainly includes three stages.

[0044] S1. Divide modules and set constraints.

[0045] The specific steps of dividing modules according to interlocking functions and setting module constraint relationships mainly include the following steps:

[0046] S11. Module division: First, according to the functional requirements that the interlocking needs to achieve, the interlocking function is divided into several independent modules, and each module should have clear responsibilities.

[0047] Specifically, the interlocking function can be divided into a basic interlocking function module, a combined circuit function module, an external interface function module and a command interaction module.

[0048] Among them, the basic interlocking function module includes the following functions: route establishment, approach locking, signal opening, signal closing and route normal unlocking;

[0049] The combined circuit function module includes the following functions: semi-automatic block combination, automatic block combination, station-linked circuit combination and field-linked circuit combination;

[0050] The external interface function module includes the following functions: interface function with RBC and interface function with TCC;

[0051] The command interaction module includes the following functions: receiving commands from the host computer and performing legality processing, and the processed commands are used for calling other modules.

[0052] S12. Determine the input, output and internal variables of the module.

[0053] According to the functional logic implemented by the module, the input variables of the module, the output variables generated, and the internal variables used in the module are defined for the several modules divided in S1 in turn. It should be noted that the modules interact through the defined input variables and output variables to realize the transmission of information and the coordination of functions, and the functions of the modules are realized in combination with the internal variables of each module. Specifically, the modules can only interact with each other through the input variables and output variables marked with the module tags. The output variables generated by the module can only be called by other modules if they are marked with the internal output of the module tags, and must be declared as input variables of other modules. In addition, the general variables, self-protection variables, and time variables used in each module are internal variables and cannot be used by other modules.

[0054] The general variable can only be used after the variable is declared, and cannot be used before the variable is declared. Self-preserving variables and time variables can be used before and after the variable is declared, among which time variables have a delay characteristic, and the value of the variable becomes true after a delay period of time when the variable logic is established.

[0055] The internal variables are defined according to the design intent when implementing the module functions. General variables have no memory function and are released after use. Self-preservation variables and time variables have memory functions and require dedicated memory to be allocated to the variables.

[0056] Furthermore, the input variables include host computer commands, external collection and internal input, and the output variables include display status sent to the host computer, external output and internal output.

[0057] Furthermore, the host computer commands in the input variables are from the operation information of the host computer, including signal button pressing commands, blocking commands, signal reopening, total human release, total cancellation commands, turnout actions, single locking, single release, unblocking commands, and section fault release commands;

[0058] The external data collected comes from the trackside equipment, including the signal filament status, signal relay contact status, turnout position indication status, section occupation clearing status and related logic status of the combined circuit;

[0059] The internal input comes from the output variables with module tags generated by other modules and serves as the input variables of this module.

[0060] Furthermore, the upper computer display status in the output variable comes from the result of the module operation and is sent to the upper computer for display;

[0061] The external output includes a signal relay drive command, a switch operation relay control command, and a combined circuit related logic output drive command;

[0062] The internal output is based on the correlation between other modules and this module. The final operation result is calculated by this module as the output variable of this module, which is used as the input variable of other related modules. The output variable should also be attached with a module tag.

[0063] S13. Set module constraint relationships.

[0064] After determining the input variables, output variables and internal variables of the module, it is necessary to set the constraints within the module and between modules to ensure that the modules can transfer information and interact through the interface and that the dependencies are reasonable.

[0065] S2. Set module-related devices.

[0066] After the module division and module constraint relationship are completed, the corresponding devices need to be associated with the general variables, self-protection variables and time variables defined in the module before the module can run normally. The devices used by the input variables, output variables and defined internal variables involved in each module should be obtained from a specific reference device to ensure that the devices are not incorrectly associated.

[0067] Specifically, firstly, a reference device is set for the module according to the functions realized by the module. The reference device may be a train route, a shunting route, a turnout, a signal and a track section, etc.

[0068] Then, the association relationship between all variables defined in the module and the reference device is set in turn. The association relationship refers to writing a set of device query syntax based on the reference device, and finding the device corresponding to the variable from the interlocking information table according to the query logic of the query syntax through the reference device.

[0069] The interlocking information table refers to a table generated by an interlocking data preparation tool that contains the interlocking relationship between all equipment related to a specific station.

[0070] Finally, each variable is instantiated in turn according to the query result. The instantiation refers to converting the variable into a "device-variable" format according to the device corresponding to the variable queried by the query syntax.

[0071] Taking the divided approach locking module as an example, this module mainly completes the approach extension function of the signal, and sets the signal X that needs to be approached and extended as the reference device. The internal logic of the approach locking module defines the general parameter P1 that needs to be extended to the first train route ahead and its corresponding device query syntax find1 and the self-protection parameter P2 and its corresponding device query syntax find2. According to the query syntax find1 of P1, based on the reference device X, the device T1 associated with P1 is found from the interlocking information table. According to the query syntax find2 of P2, based on the reference device X, the device T2 associated with P2 is found from the interlocking information table. Finally, specific variables T1-P1 and T2-P2 are generated.

[0072] like Figure 2 As shown, the definition structure of module division, setting constraint relationships and setting module-associated devices.

[0073] The Boolean rule-based interlocking logic modularization method provided by the present invention further includes: S3, module splicing to generate interlocking logic.

[0074] After each module variable is determined, the module can run independently, but to realize the entire interlocking function, all modules need to be spliced ​​in a certain order to form the interlocking main sequence, such as Figure 3 shown.

[0075] First, a timing table is defined to determine the entry function of the interlocking main program. The timing table is a table composed of several modules in a certain order to determine the operation order of Boolean expressions.

[0076] Then, according to the functions implemented by the modules and the requirements of the interlocking logic implementation, all the divided modules are inserted into the timing table respectively, and the parameter sequence is defined for each module.

[0077] The parameter order includes ASCII code order and reverse order, route order and reverse order, and equipment order and reverse order; wherein the ASCII code order and reverse order are sorted from small to large and from large to small according to the character ASCII codes defined in the international standard; the route order and reverse order are based on the order in which the elements in the route in a specific station appear, and the direction from the beginning of the route to the end is the route order, where the elements include the beginning of the route, the end, the section and the turnout, etc., and the direction from the end to the beginning is defined as the route reverse order; the equipment order and reverse order refers to sorting all variables associated with the same equipment based on the route order and reverse order.

[0078] Finally, according to the module sequence defined in the timing table, all Boolean expressions of each module are generated in turn. The order of all expressions inside the module is adjusted according to the parameter sequence in the module specified in the timing table, and all modules are spliced ​​together to form the interlocking logic of a specific station.

[0079] In addition, the present invention also proposes a modular interlocking logic system based on Boolean rules, including: multiple independent modules divided according to interlocking functions, each module is provided with variables, and the modules interact through some variables; the variables of each module are associated with the equipment; and the modules are spliced ​​to form interlocking logic according to the set Boolean expression operation order.

[0080] Furthermore, the present invention proposes a storage medium storing the interlocking logic modular system based on Boolean rules.

[0081] Compared with the prior art, the present invention provides a modular interlocking logic method based on Boolean rules. The method can be applied to all interlocking products developed using Boolean rules, has clear logic, low maintenance cost, good scalability, and reduces the development cost of duplicate functions. In short, the calling relationship between the modules and the module content variables of this method is simple, the coupling between modules is low, and the impact range is controllable. The same function between different products is simple to reuse, with high flexibility and easy expansion. Modular management and analysis can be performed, and the maintenance management and analysis costs are low.

[0082] Although the content of the present invention has been described in detail through the above preferred embodiments, it should be appreciated that the above description should not be considered as a limitation of the present invention. After reading the above content, it will be apparent to those skilled in the art that various modifications and substitutions of the present invention will occur. Therefore, the protection scope of the present invention should be limited by the appended claims.

Claims

1. A modular method of interlocking logic based on Boolean rules, characterized in that: The following steps are involved: S1. Divide the interlocking function into multiple independent modules, determine the variables of each module, and set the constraint relationship of each module; S2. According to the variables of each module, set the devices associated with each module; S3. Connect the modules to form interlocking logic.

2. The interlocking logic modularization method based on Boolean rules as claimed in claim 1, characterized in that: The constraints set in S1 include: S11, dividing the interlocking function into a basic interlocking function module, a combined circuit function module, an external interface function module and a command interaction module; S12, determining the input variables, output variables and internal variables of each module; S13. Set the constraint relationship between each module.

3. The interlocking logic modularization method based on Boolean rules as claimed in claim 2, characterized in that: The basic interlocking function module includes the following functions: route establishment, approach locking, signal opening, signal closing and route normal unlocking; The combined circuit function block includes the following functions: semi-automatic block combination, automatic block combination, station-linked circuit combination and field-linked circuit combination; The external interface functional block includes the following functions: interfacing with RBC and interfacing with TCC; The command interaction module includes the following functions: receiving commands from the host computer and performing legality processing, and the processed commands are used for calling other modules.

4. The interlocking logic modularization method based on Boolean rules as claimed in claim 2, characterized in that: Modules interact with each other only through input variables and output variables with module labels. Only the output variables generated by each module with module labels can be called by other modules and must be declared as input variables of other modules. The internal variables of each module cannot be used by other modules. Internal variables include general variables, self-protection variables and time variables.

5. The interlocking logic modularization method based on Boolean rules as claimed in claim 4, characterized in that: The general variables are used only after they are declared; the self-preserving variables and the time variables can be used both before and after they are declared.

6. The interlocking logic modularization method based on Boolean rules as claimed in claim 5, characterized in that: Time variables have a delay characteristic. The value of the time variable will become true only after a delay of a period of time when the variable logic is established.

7. The interlocking logic modularization method based on Boolean rules as claimed in claim 2, characterized in that: The input variables include host computer commands, external acquisition and internal input; the output variables include display status sent to the host computer, external output and internal output.

8. The interlocking logic modularization method based on Boolean rules as claimed in claim 7, characterized in that: The host computer commands come from the operation information of the host computer, including signal button pressing command, blocking command, signal reopening, total release, total cancellation command, turnout action, single lock, single release, unblocking command and section fault release command; The external data collected comes from the trackside equipment, including the signal filament status, signal relay contact status, turnout position indication status, section occupation clearing status and related logic status of the combined circuit; The internal input comes from output variables with module labels generated by other modules; The upper computer display status comes from the result of module operation; The external output includes a signal relay drive command, a switch operation relay control command and a combined circuit related logic output drive command; The internal output is an output variable with a module tag generated by this module and serves as an input variable of other modules.

9. The interlocking logic modularization method based on Boolean rules as claimed in claim 1, characterized in that: Step S2 includes: setting a reference device for the module according to the functions realized by the module, and sequentially setting association relationships between all variables defined in the module and the reference device.

10. The interlocking logic modularization method based on Boolean rules according to claim 9, characterized in that: The reference equipment includes train approaches, shunting approaches, switches, signals and track sections.

11. The interlocking logic modularization method based on Boolean rules according to claim 9, characterized in that: The association relationship refers to: a device query syntax based on a reference device, and finding the device corresponding to the variable from the interlocking information table through the reference device according to the query logic of the query syntax.

12. The interlocking logic modularization method based on Boolean rules according to claim 1, characterized in that: The S3 steps include: S31, define a timing table to determine the entry function of the interlocking main program, wherein the timing table is a table consisting of several modules in a certain order to determine the operation order of the Boolean expression; S32, according to the functions realized by the modules and the requirements of the interlocking logic implementation, all the divided modules are respectively inserted into the timing table, and a parameter sequence is defined for each module; The parameter sequence includes ASCII code sequence and reverse sequence, route sequence and reverse sequence, and equipment sequence and reverse sequence; S33. Generate all Boolean expressions of each module in sequence according to the sequence of modules defined in the timing table. Adjust the sequence of all expressions inside the module according to the sequence of parameters in the module specified in the timing table. Connect all modules together to form interlocking logic.

13. The interlocking logic modularization method based on Boolean rules according to claim 12, characterized in that: The ASCII code order and reverse order are sorted from small to large and from large to small according to the character ASCII codes defined in the international standard; the route order and reverse order are based on the order in which the elements in the route in a specific station field appear. The direction from the beginning to the end of the route is the route order, and the direction from the end to the beginning is defined as the route reverse order; the equipment order and reverse order refers to the sorting of all variables associated with the same equipment based on the route order and reverse order.

14. A Boolean rule-based interlocking logic modular system, characterized in that: include: Multiple independent modules are divided according to interlocking functions. Each module has variables, and the modules interact with each other through some variables. The variables of each module are associated with the equipment. The modules are spliced ​​to form interlocking logic according to the set Boolean expression operation order.

15. A storage medium, characterized in that: A system as claimed in claim 14 is stored.

Images