Rule graph-based operation order checking method, system, device and medium

Abstract

The application relates to the technical field of artificial intelligence. By providing a rule graph-based operation order checking method, system, device and medium, wherein the method comprises the following steps: performing feature extraction on a topology change event sent by a power grid monitoring system to obtain an affected device set and a connection relationship change feature; based on the affected device set and the connection relationship change feature, dynamically associating logical symbols in a preset static rule graph to generate an executable checking graph; performing topology evolution simulation on an obtained operation order instruction sequence to generate an expected topology state chain; for each topology state in the expected topology state chain, calling the executable checking graph to perform rule checking and output a checking result set, so that the adaptability of a rule library to a dynamic topology is improved, the simulation capability of operation chain time sequence evolution is enhanced, and the implicit risk of a transition state is reduced.

Description

Technical Field

[0001] This invention relates to the field of artificial intelligence technology, and in particular to a method, system, device and medium for verifying operation tickets based on rule graphs. Background Technology

[0002] With the deepening of smart grid construction, the standardization and security of power system dispatch operations have become core aspects of ensuring stable grid operation. As a key carrier of dispatch instructions, the accuracy of operation tickets directly affects the safety of personnel, equipment, and the power grid.

[0003] Traditional technologies use a predefined static rule base to verify power grid operation tickets. However, this rule base is difficult to adapt to dynamic topology changes, resulting in verification distortion and the inability to prevent erroneous operations such as "closing the ground switch while the circuit is live." Operation ticket verification only adopts a single-step instruction verification method, ignoring the temporal state evolution of the operation chain, which may miss cross-step risks such as "pulling the switch under load." In addition, traditional technologies lack the ability to cascade state chains and cannot dynamically capture constraint conflicts in transition states, resulting in the failure to detect hidden risks such as "protection misoperation." Summary of the Invention

[0004] Therefore, it is necessary to provide operation ticket verification methods, systems, devices and media based on rule graphs to address the above-mentioned technical problems, so as to improve the adaptability of the rule base to dynamic topology, enhance the simulation capability of operation chain temporal evolution and reduce the hidden risks of transition states.

[0005] Firstly, this application provides a method for verifying operation tickets based on rule graphs, the method comprising:

[0006] Feature extraction is performed on topology change events sent by the power grid monitoring system to obtain the set of affected devices and the characteristics of changes in their connection relationships;

[0007] Based on the characteristics of changes in the affected device set and connection relationships, the logical symbols in the preset static rule graph are dynamically associated to generate an executable verification graph.

[0008] Perform topological evolution simulation on the obtained operation ticket instruction sequence to generate the expected topological state chain;

[0009] For each topological state in the expected topological state chain, the executable verification graph is invoked to perform rule verification and output the verification result set.

[0010] In one embodiment, based on the changes in the affected device set and connection relationships, logical symbols in a preset static rule graph are dynamically associated to generate an executable verification graph, including:

[0011] The topological dependency symbols of the preset static rule graph are parsed to obtain the set of logical position symbols;

[0012] Dynamic instance mapping is performed on the set of logical position symbols to generate a symbol-device association matrix;

[0013] Based on the characteristics of changes in the affected device set and connection relationships, the symbol-device association matrix is ​​incrementally updated;

[0014] Based on the updated symbol-device association matrix, the static rule graph is reconstructed by rule instantiation to generate an executable verification graph.

[0015] In one embodiment, based on the changes in the affected set of devices and their connectivity, the symbol-device association matrix is ​​incrementally updated, including:

[0016] Perform symbolic association analysis on the affected set of devices to generate a subset of symbols to be updated;

[0017] Based on the characteristics of changes in connection relationships, a connection relationship remapping is performed on the subset of symbols to be updated.

[0018] Perform local matrix replacement on the remapped subset of symbols to generate an updated symbol-device association matrix.

[0019] In one embodiment, feature extraction is performed on topology change events sent by the power grid monitoring system to obtain the affected set of devices and the characteristics of changes in connection relationships, including:

[0020] Perform event structure parsing on topology change events to obtain the set of changed device identifiers and operation types;

[0021] Based on the current power grid topology model, the topology influence domain is calculated for the changed equipment identifier set and operation type to generate an initial set of affected equipment. The expression for the initial set of affected equipment is as follows:

[0022] in, Indicates the initial set of affected devices. This indicates a change in the device identifier set. Indicates the operation type mapping function, This represents the current power grid topology model. This represents the electrical criticality analysis operator. This represents the operator that influences the propagation path simulation. This represents the path weight fusion operator. The set union operator represents the aggregation operator for the set of devices. This indicates a change in equipment identification;

[0023] The connection relationships of the initial set of affected devices are traced to obtain the topology connection change characteristics. The expression for the topology connection change characteristics is as follows:

[0024]

[0025] in, Indicates the characteristics of topological connectivity changes. Represents the space of all possible connected paths. This represents the device-path associated gradient. Represents the path state change operator. Represents the path differential element. Indicates the initial set of affected devices. Represents path variables. Represents the current power grid topology model;

[0026] By integrating the initial set of affected devices and the characteristics of changes in topology connections, the set of affected devices and the characteristics of changes in connection relationships are generated.

[0027] In one embodiment, topological evolution simulation is performed on the acquired operation ticket instruction sequence to generate a desired topological state chain, including:

[0028] The operation ticket instruction sequence is decomposed into operation atoms to obtain the equipment operation element action sequence;

[0029] Based on the current power grid topology, state transition calculations are performed on the action sequences of equipment operators to generate intermediate topology state sequences.

[0030] The intermediate topological state sequence is marked with key states to generate a expected topological state chain containing rule verification trigger points. The expression for the expected topological state chain is:

[0031]

[0032] in, This represents the expected topological state chain. Represents the state feature encoding function. Represents the intermediate topological state sequence element. This indicates that the rule triggers the detection function. This indicates the trigger point indicator function. This indicates a state-flag binding operator. The operator represents the construction operator of the union of state chains. Indicates the length of the intermediate topological state sequence. An index representing an intermediate topological state. This indicates that the verification map can be executed.

[0033] In one embodiment, based on the current power grid topology, state transition calculations are performed on the sequence of actions of equipment operators to generate an intermediate topology state sequence, including:

[0034] Based on the sequence of device operation elements, topological connectivity analysis is performed on each device operation element to generate local connection change features.

[0035] Based on the characteristics of local connectivity changes, incremental state evolution is performed on the current power grid topology to generate a single-step topology state snapshot;

[0036] The single-step topology state snapshot is serialized and encapsulated to generate an intermediate topology state sequence.

[0037] In one embodiment, the expression for a single-step topology state snapshot is:

[0038]

[0039] in, This represents a snapshot of the topology state in a single step. Indicates the current power grid topology. Indicates the first Each device operation element action. This represents a generator function that describes the characteristics of local connectivity changes. The topological state removal operator is indicated. This indicates that an operator is added to the topological state. This represents the state correction function.

[0040] Secondly, this application also provides an operation ticket verification system based on rule graphs, the system comprising:

[0041] The topology change feature extraction module is used to extract features from topology change events sent by the power grid monitoring system to obtain the affected set of devices and the characteristics of changes in their connection relationships.

[0042] The rule graph dynamic association module is used to dynamically associate logical symbols in a preset static rule graph based on the affected set of devices and the characteristics of changes in connection relationships, and generate an executable verification graph.

[0043] The operation ticket evolution simulation module is used to perform topological evolution simulation on the acquired operation ticket instruction sequence and generate the expected topological state chain;

[0044] The rule verification module is used to call the executable verification graph to perform rule verification for each topological state in the expected topological state chain and output the verification result set.

[0045] Thirdly, this application also provides a computer device, including a memory and a processor, wherein the memory stores a computer program, and the processor executes the computer program to implement the steps of any of the methods in the first aspect of this application.

[0046] Fourthly, this application also provides a computer-readable storage medium having a computer program stored thereon, wherein the computer program, when executed by a processor, implements the steps of any of the methods in the first aspect of this application.

[0047] The operation ticket verification method, system, device and medium based on rule graph provided in this application include: extracting the set of affected devices and the characteristics of changes in connection relationships from topology change events sent by the power grid monitoring system, and dynamically associating logical symbols in a preset static rule graph with the characteristics to generate an executable verification graph, so that the rule system can adapt to the dynamic changes of the power grid topology, thereby improving the adaptability of the rule base to dynamic topology.

[0048] The expected topological state chain is obtained by performing topological evolution simulation on the acquired operation ticket instruction sequence. For each topological state in the state chain, the executable verification graph is called to perform rule verification. This can not only capture the temporal change process of the operation chain more comprehensively and enhance the simulation capability of the temporal evolution of the operation chain, but also perform targeted verification of the transition state in the operation process, effectively reducing the hidden risks of the transition state. Attached Figure Description

[0049] To more clearly illustrate the technical solutions in the embodiments or related technologies of this application, the accompanying drawings used in the description of the embodiments or related technologies will be briefly introduced below. Obviously, the accompanying drawings described below are only some embodiments of this application. For those skilled in the art, other drawings can be obtained based on these drawings without creative effort.

[0050] Figure 1 This is a flowchart of a rule graph-based operation ticket verification method according to one embodiment of the present invention;

[0051] Figure 2 This is a flowchart illustrating an incremental update of the symbol-device association matrix based on the characteristics of changes in the affected set of devices and their connection relationships, according to one embodiment of the present invention.

[0052] Figure 3 This is a structural diagram of a rule graph-based operation ticket verification system according to one embodiment of the present invention. Detailed Implementation

[0053] To make the above-mentioned objects, features, and advantages of this application more apparent and understandable, the specific embodiments of this application will be described in detail below with reference to the accompanying drawings. Many specific details are set forth in the following description to provide a thorough understanding of this application. However, this application can be implemented in many other ways different from those described herein, and those skilled in the art can make similar modifications without departing from the spirit of the application. Therefore, this application is not limited to the specific embodiments disclosed below.

[0054] First, the application scenarios of the embodiments of this application are described. In the embodiments of this application, a method, system, device, and medium for operation ticket verification based on rule graphs are provided, applicable to scenarios such as daily dispatching operations of power systems, power grid equipment maintenance operations, and cross-regional power grid interconnection operations.

[0055] In illustrative purposes, the operation ticket verification method, system, device and medium based on rule graph provided in this application embodiment can also be applied to other industrial control scenarios that require security verification of operation instruction sequences. This is only an example and does not limit the specific application scenario.

[0056] like Figure 1 As shown, this application provides a method for verifying operation tickets based on rule graphs, the method including:

[0057] S101: Extract features from the topology change events sent by the power grid monitoring system to obtain the set of affected devices and the characteristics of changes in their connection relationships.

[0058] For example, a topology change event sent by a power grid monitoring system is received. The event is structurally parsed to extract the set of changed device identifiers and operation types. Based on the current power grid topology model, the topology influence domain is calculated to generate an initial set of affected devices. The connection paths and state changes of the initial set of affected devices are tracked to obtain topology connection change characteristics. The initial set of affected devices and the topology connection change characteristics are fused to obtain the set of affected devices and the characteristics of changes in their connection relationships.

[0059] S102: Based on the changes in the affected set of devices and their connection relationships, dynamically associate the logical symbols in the preset static rule graph to generate an executable verification graph.

[0060] For example, a preset static rule graph is parsed to extract the set of logical position symbols and clarify the rule meanings corresponding to the logical position symbols. Dynamic instance mapping is then performed on the set of logical position symbols to generate a symbol-device association matrix, recording the mapping relationship between logical position symbols and their corresponding devices.

[0061] Based on the changes in the affected device set and their connectivity, the symbol-device association matrix is ​​incrementally updated, adjusting the logical positional mapping relationships related to the affected devices. Using the updated symbol-device association matrix, the static rule graph is reconstructed through rule instantiation to generate an executable verification graph.

[0062] S103: Perform topological evolution simulation on the obtained operation ticket instruction sequence to generate the expected topological state chain.

[0063] For example, the acquired operation ticket instruction sequence is decomposed into operation atomization to obtain a sequence of device operation meta-actions, where each action clearly corresponds to a specific device and operation content. Based on the current power grid topology, state transition calculations are performed on the device operation meta-action sequence to generate an intermediate topology state sequence, recording each intermediate topology state during the operation process. Key state markers are applied to the topology states in the intermediate topology state sequence to identify rule verification trigger points, generating a expected topology state chain containing these rule verification trigger points.

[0064] S104: For each topological state in the expected topological state chain, call the executable verification graph to perform rule verification and output the verification result set.

[0065] For example, an executable verification graph is obtained, which contains dynamic rules and device association information matching the current power grid topology. For each topology state in the expected topology state chain, the corresponding rule set is extracted from the executable verification graph, and the applicable conditions and verification standards of the rules are defined. The rule set is applied to each topology state for rule verification, and the verification results are recorded, including compliant and non-compliant states. The verification results of all topology states are integrated, the reasons for non-compliant states and their locations are supplemented, and a verification result set is output.

[0066] One embodiment of this application also provides an operation ticket verification method based on rule graphs, including: extracting the affected set of devices and connection relationship change features from topology change events sent by the power grid monitoring system, and dynamically associating logical symbols in a preset static rule graph with the features to generate an executable verification graph, so that the rule system can adapt to the dynamic changes of the power grid topology, thereby improving the adaptability of the rule base to dynamic topology.

[0067] The expected topological state chain is obtained by performing topological evolution simulation on the acquired operation ticket instruction sequence. For each topological state in the state chain, the executable verification graph is called to perform rule verification. This can not only capture the temporal change process of the operation chain more comprehensively and enhance the simulation capability of the temporal evolution of the operation chain, but also perform targeted verification of the transition state in the operation process, effectively reducing the hidden risks of the transition state.

[0068] In one embodiment, based on the changes in the affected device set and connection relationships, logical symbols in a preset static rule graph are dynamically associated to generate an executable verification graph, including:

[0069] (1) Perform topological dependency symbol parsing on the preset static rule graph to obtain a set of logical position symbols.

[0070] For example, topology dependency symbol parsing is performed on the preset static rule graph. Based on the physical connection relationship and functional logic of the power grid equipment, the rule entries in the graph are structurally decomposed to identify the abstract logical symbols representing equipment state constraints, operation timing requirements and electrical safety rules.

[0071] Analyze the positional attributes of each logical symbol in the power grid topology, determine the applicable equipment type, connection node and associated operation process, clarify the rule constraints and applicable scenarios corresponding to each logical symbol, and obtain a set of logical locators containing all abstract logical locators.

[0072] Among them, the preset static rule graph is a pre-established static knowledge graph that includes power grid operation safety rules, equipment logical relationships, and operational constraints; topology dependency symbol resolution is a process of structurally decomposing rule entries in the static rule graph based on the physical connection relationships and functional logic of power grid equipment, and identifying abstract logical symbols; the logical position symbol set is an abstract symbol set in the static rule graph used to identify the applicable position of rules, and each symbol corresponds to specific rule constraint content and applicable scenarios.

[0073] (2) Perform dynamic instance mapping on the set of logical position symbols to generate a symbol-device association matrix.

[0074] For example, dynamic instance mapping is performed on the set of logical position symbols to extract each abstract logical position symbol in the set and clarify the meaning of the rules and constraints it represents.

[0075] Based on the changes in the affected equipment set and connection relationships, each abstract logical position symbol is mapped one-to-one with a specific device in the current power grid, ensuring that the mapped devices match the rule meanings and applicable scenarios of the logical position symbols. This mapping relationship is recorded in the form of a two-dimensional matrix, generating a symbol-device association matrix. The rows of this matrix correspond to logical position symbols, the columns to specific devices, and the values ​​in the matrix record the mapping relationship between the logical position symbols and their corresponding devices.

[0076] Among them, dynamic instance mapping is the process of establishing a one-to-one correspondence between abstract logical position symbols in the static rule graph and specific devices in the current power grid, thus establishing a connection between abstract rule symbols and specific devices; the symbol-device association matrix is ​​a two-dimensional matrix that records the mapping relationship between logical position symbols and corresponding devices, and is used to establish a connection between abstract rule symbols and specific devices.

[0077] (3) Based on the changes in the affected set of devices and connection relationships, the symbol-device association matrix is ​​updated incrementally.

[0078] For example, based on the characteristics of changes in the affected device set and connection relationships, the symbol-device association matrix is ​​incrementally updated, and devices related to logical position symbol mapping are selected from the affected device set to determine the changes in the connection relationships of the aforementioned devices after the topology change.

[0079] For logical location symbols related to affected devices in the symbol-device association matrix, their mapping relationships are adjusted according to the characteristics of changes in connection relationships. For example, logical location symbol mappings that are no longer applicable due to changes in device status are removed, or logical location symbol mappings that need to be adjusted due to changes in device connection relationships are modified. At the same time, logical location symbol mappings corresponding to newly added devices due to topology changes are added to ensure that the matrix can reflect the current power grid topology status and changes in the connection relationships of affected devices.

[0080] Incremental updates are a method of locally adjusting the symbol-device association matrix based on the changes in the affected device set and connection relationships. Only the logical position symbols related to the affected devices are modified, maintaining the efficiency and accuracy of the matrix. The affected device set is the set of devices that are clearly affected by the topology change event. The changes in connection relationships are the changes in the connection paths, objects, and states of the devices in the initial affected device set.

[0081] (4) Based on the updated symbol-device association matrix, the static rule graph is reconstructed by rule instantiation to generate an executable verification graph.

[0082] For example, based on the updated symbol-device association matrix, the static rule graph is reconstructed by rule instantiation, and each logical position symbol in the static rule graph is replaced with the corresponding specific device information in the symbol-device association matrix, ensuring that the abstract logical position symbols in the rules are replaced with specific devices that match the current power grid topology.

[0083] Check the logical consistency of the reconstructed rule graph to ensure that the replaced rules still comply with the safety requirements and logical constraints of power grid operation. Integrate the reconstructed rule graph to generate an executable verification graph. This graph contains dynamic rules and device association information that match the current power grid topology, and can be directly used for rule verification of subsequent operation tickets.

[0084] Among them, rule instantiation reconstruction is the process of replacing the abstract logical positional symbols in the static rule graph with the corresponding specific device information in the symbol-device association matrix, so that the static rule graph can be adapted to the current power grid topology state; the executable verification graph is a dynamic rule graph that fits the current power grid topology state and is used for rule verification, containing rules and device association information that match the current topology.

[0085] like Figure 2 As shown, based on the changes in the affected device set and connection relationships, the symbol-device association matrix is ​​incrementally updated, including:

[0086] S201: Perform symbolic association analysis on the affected set of devices to generate a subset of symbols to be updated.

[0087] For example, the existing mapping relationships in the affected device set and symbol-device association matrix are obtained, and the current logical location symbol corresponding to each device in the affected device set is identified. Based on the electrical connection rules and device function association logic of the power grid topology, the degree of association between each affected device and the existing logical location symbol is analyzed, and the sensitivity of the logical location symbol to changes in device state and adjustments to connection relationships is evaluated. Logical location symbols that meet the preset criteria for association with the affected devices and may become invalid or need to be adjusted due to changes in device state or connection relationships are selected, and these logical location symbols are integrated to form a subset of symbols to be updated.

[0088] Among them, symbol correlation analysis is a process of assessing the degree of correlation and sensitivity between the affected equipment and the existing logical position symbols based on the electrical connection rules and equipment function association logic of the power grid topology; the subset of symbols to be updated is a set of logical position symbols that are closely related to the affected equipment and need to be adjusted, selected from the existing logical position symbols.

[0089] S202: Based on the characteristics of changes in connection relationships, perform connection relationship remapping on the subset of symbols to be updated.

[0090] For example, key information such as device connection path adjustments, connection object changes, and connection status changes contained in the characteristics of connection relationship changes are extracted to clarify the new connection attributes of affected devices after the topology change. For each logical locator in the subset of symbols to be updated, the corresponding device is re-matched based on its original rule meaning and applicable scenario, referring to the new connection attributes, to ensure that the mapping relationship between logical locators and devices conforms to the connection logic of the current power grid topology. The mapping target of each logical locator is confirmed and adjusted one by one to complete the remapping of the connection relationship of the subset of symbols to be updated, forming the remapped symbol subset.

[0091] Among them, connection relationship remapping is the process of rematching logical position symbols in the symbol subset to be updated with corresponding devices by combining the new connection attributes in the connection relationship change characteristics; the remapped symbol subset is the set of logical position symbols and devices in the current power grid topology that form a new mapping relationship after the connection relationship is adjusted.

[0092] S203: Perform local matrix replacement on the remapped subset of symbols to generate an updated symbol-device association matrix.

[0093] For example, in the location symbol-device association matrix, the matrix region corresponding to the subset of symbols to be updated is defined, and the original logical position symbols and device mapping data within that region are clearly identified. The new mapping relationships in the remapped symbol subset are then used to replace the original data within the corresponding region of the matrix one by one, ensuring that the replacement process does not affect the mapping information of other unrelated regions of the matrix.

[0094] After the replacement is complete, a data consistency check is performed on the matrix to verify the completeness of the new mapping relationships and to identify any conflicts. Any issues found during the check are then corrected. An updated symbol-device association matrix is ​​then generated, reflecting the correspondence between logical position symbols and devices under the current power grid topology.

[0095] Among them, matrix local replacement is the process of replacing the original data in the corresponding area of ​​the symbol-device association matrix with the new mapping relationship of the remapped symbol subset; the updated symbol-device association matrix is ​​the logical position symbol and device mapping relationship matrix that fits the current power grid topology after local replacement and consistency verification.

[0096] In one embodiment, feature extraction is performed on topology change events sent by the power grid monitoring system to obtain the affected set of devices and the characteristics of changes in connection relationships, including:

[0097] (1) Perform event structure parsing on the topology change event to obtain the set of change device identifiers and operation types.

[0098] For example, upon receiving a topology change event from the power grid monitoring system, the system verifies the completeness of the event information. After confirming that the event includes core content such as changes in equipment status or adjustments to connections, the event content is structurally decomposed. The unique identifiers of the equipment involved in the event that has undergone status or connection changes are extracted one by one. These identifiers are then categorized and organized according to equipment type to form a set of changed equipment identifiers. Based on the standard operation classification of the power grid, the specific operation action attribute corresponding to the event is identified, clarifying the nature and direction of impact of the action to obtain the operation type.

[0099] Among them, a topology change event refers to the event information triggered and transmitted by the power grid monitoring system when the status or connection relationship of equipment in the power grid changes; event structure parsing refers to the process of disassembling and extracting key content after verifying the integrity of the information of the topology change event; the changed equipment identifier set refers to the set of unique identifiers of the equipment whose status or connection relationship has changed in the topology change event; and the operation type refers to the specific operation action attribute corresponding to the topology change event, which is obtained according to the classification of power grid operation standards.

[0100] (2) Based on the current power grid topology model, calculate the topology influence domain for the changed equipment identifier set and operation type to generate an initial set of affected equipment. The expression for the initial set of affected equipment is as follows:

[0101] in, Indicates the initial set of affected devices. This indicates a change in the device identifier set. Indicates the operation type mapping function, This represents the current power grid topology model. This represents the electrical criticality analysis operator. This represents the operator that influences the propagation path simulation. This represents the path weight fusion operator. The set union operator represents the aggregation operator for the set of devices. This indicates a change in the equipment identifier.

[0102] For example, the current power grid topology model is retrieved to clarify the physical connection relationships, electrical association logic, and functional hierarchy of the devices in the model. For each device in the changed device identifier set, the direct electrical connection relationship between the device and other devices is analyzed in conjunction with the action impact logic corresponding to the operation type, and the first-level associated devices that are directly related to the device are identified.

[0103] The simulation examines the propagation path of the impact of the operation type within the current power grid topology model, analyzes the indirect electrical connections between primary and subsequent devices, and assesses the degree to which each connected device is affected by the change. All directly and indirectly connected affected devices are deduplicated to generate an initial set of affected devices.

[0104] Among them, the current power grid topology model refers to the model that reflects the physical connection, electrical association and functional hierarchy of equipment in the power grid in real time; the topology influence domain calculation refers to the process of analyzing the relationship between equipment and determining the scope of affected equipment by combining the set of changed equipment identifiers and operation types; the initial set of affected equipment refers to the deduplicated set of equipment that is directly or indirectly related to the changed equipment and is affected by the topology influence domain calculation.

[0105] (3) The connection relationship of the initial set of affected devices is traced to obtain the topology connection change characteristics. The expression of the topology connection change characteristics is:

[0106]

[0107] in, Indicates the characteristics of topological connectivity changes. Represents the space of all possible connected paths. This represents the device-path associated gradient. Represents the path state change operator. Represents the path differential element. Indicates the initial set of affected devices. Represents path variables. This represents the current power grid topology model.

[0108] For example, each device in the initial set of affected devices is traversed, and its original connection path is located in the current power grid topology model. The node devices and connection methods on the path are recorded. At the same time, the original connection objects of the device are identified, and the device type and functional attributes of the connection objects are clarified. In addition, the original connection status of the device is recorded, including specific attributes such as connected and disconnected.

[0109] By comparing the actual connection paths, connected objects, and connection status of the device after the topology change event, the specific details of path adjustments, object changes, and status changes are identified. All connection change information for all devices is then categorized and associated with each device to obtain the topology connection change characteristics.

[0110] Among them, connection relationship tracing refers to the process of tracing the connection status of devices in the initial affected device set before and after the topology change; topology connection change characteristics refer to the associated set of connection path, object and status change information of each device in the initial affected device set after the topology change.

[0111] (4) Integrate the initial set of affected devices and the characteristics of topological connection changes to generate the set of affected devices and the characteristics of connection relationship changes.

[0112] For example, each device in the initial set of affected devices is associated one-to-one with its corresponding topology connection change characteristics, clarifying the specific details of connection path adjustments, connection object changes, and connection state changes for each device. The associated information is then deduplicated, removing duplicate device and connection change information. The corresponding logic between devices and connection changes is supplemented to ensure the completeness and accuracy of change information for each device. Finally, the associated information is structured and integrated to generate the set of affected devices and their connection relationship change characteristics.

[0113] Among them, the affected set of devices and the characteristics of changes in connection relationships refer to a structured set that, after integrating the initial affected set of devices and the characteristics of changes in topology connection relationships, clarifies the scope of devices affected by the topology change event and the changes in the connection relationships of each device.

[0114] In one embodiment, topological evolution simulation is performed on the acquired operation ticket instruction sequence to generate a desired topological state chain, including:

[0115] (1) Perform operation atomization decomposition on the operation ticket instruction sequence to obtain the device operation element action sequence.

[0116] For example, an operation ticket instruction sequence is obtained, and the sequence is format-validated to confirm that each instruction contains necessary elements such as the operation object, operation action, and execution order, excluding invalid instructions with missing formats. Each instruction in the operation ticket instruction sequence is extracted one by one, and the corresponding equipment object is identified. The equipment identifier is then matched against the power grid equipment ledger to clarify the type, function, and location of the equipment object in the power grid.

[0117] Based on the minimum action unit standard for power grid operation, each instruction is broken down into indivisible single equipment operation actions, clearly defining the equipment and specific operation content corresponding to each decomposed action. Following the original execution order of the operation ticket instruction sequence, all decomposed single equipment operation actions are sorted and organized to ensure that the action sequence is consistent with the operational logic of the original instruction, resulting in the equipment operation meta-action sequence.

[0118] Among them, the operation ticket instruction sequence refers to a set of instructions used to guide equipment operation in power dispatching; operation atomization decomposition refers to the process of first verifying the format of the operation ticket instruction sequence and then breaking down the instructions into the smallest equipment operation units; the equipment operation meta-action sequence refers to a sequence of indivisible single equipment operation actions arranged according to the original order of the operation ticket instructions.

[0119] (2) Based on the current power grid topology, perform state transition calculations on the action sequence of equipment operation elements to generate intermediate topology state sequences.

[0120] For example, the current power grid topology is retrieved, and real-time power grid monitoring data is used to confirm the current operating status of all devices and their interconnections. For the first device operation element in the sequence, the target device is located, and the state change of the target device after execution is simulated. The impact of this state change on the interconnections of directly related devices is analyzed, and the interconnections of these related devices are adjusted to match the new state of the target device. After completing the topology adjustment for this action, all adjusted device states and interconnections are fully recorded, forming the first intermediate topology state. The simulation, analysis, adjustment, and recording processes are repeated for each subsequent device operation element in the order of the sequence. All recorded intermediate topology states are arranged and integrated according to the order of action execution to generate an intermediate topology state sequence.

[0121] Among them, the current power grid topology refers to the set of real-time operating states and connection relationships of power grid equipment when the operation ticket instruction sequence is executed; state transition calculation refers to the process of simulating the change of power grid topology after the execution of equipment operation element actions and recording it; intermediate topology state sequence refers to the set of power grid topology corresponding to each action after execution, arranged in the order of execution of equipment operation element actions.

[0122] (3) Mark the key states of the intermediate topology state sequence to generate the expected topology state chain containing rule verification trigger points. The expression of the expected topology state chain is:

[0123]

[0124] in, This represents the expected topological state chain. Represents the state feature encoding function. Represents the intermediate topological state sequence element. This indicates that the rule triggers the detection function. This indicates the trigger point indicator function. This indicates a state-flag binding operator. The operator represents the construction operator of the union of state chains. Indicates the length of the intermediate topological state sequence. An index representing an intermediate topological state. This indicates that the verification map can be executed.

[0125] For example, an executable verification graph is obtained, and the triggering conditions corresponding to all rules in the graph are extracted to clarify the device state, connection relationship, and other conditions required for each rule to be triggered. Each intermediate topology state in the intermediate topology state sequence is traversed, and the device state and connection relationship in that state are compared with the triggering conditions of the rules in the executable verification graph to check whether the state meets the triggering requirements of any rule.

[0126] For intermediate topology states that meet the triggering conditions, a unique marker is added to clearly identify them as rule verification trigger points, and the corresponding triggering rule type is recorded. For intermediate topology states that do not meet the triggering conditions, the original state information is preserved without additional marking. After all intermediate topology states have been detected and marked, the marked states are integrated according to the original order of the intermediate topology state sequence, preserving the order and integrity of the states, to generate an expected topology state chain containing rule verification trigger points.

[0127] Among them, key state marking refers to the process of marking intermediate topology states as trigger points by comparing the rule triggering conditions of the executable verification map; rule verification trigger point refers to the intermediate topology state that meets the rule triggering conditions in the executable verification map; executable verification map refers to the dynamic rule map that fits the current power grid topology state; expected topology state chain refers to the set of power grid topology states that contain rule verification trigger points and are arranged in the order of execution of equipment operation element actions.

[0128] In one embodiment, based on the current power grid topology, state transition calculations are performed on the sequence of actions of equipment operators to generate an intermediate topology state sequence, including:

[0129] (1) Based on the sequence of device operation elements, perform topological connectivity analysis on each device operation element to generate local connection change features.

[0130] For example, the sequence of device operation elements is obtained, and each device operation element in the sequence is extracted one by one to identify the target device corresponding to each device operation element. The existing connectivity relationships of the target device in the current power grid topology are retrieved, including the connection method and connectivity status between the target device and directly associated devices.

[0131] Analyze the changes in the connectivity state of the target device after executing the device operation meta-action, and the impact of these changes on the connection relationships of its directly associated devices. Identify the specific changes in connection methods and connectivity states of the target device and its associated devices. Organize the connection changes described above for individual device operation meta-actions to generate local connection change characteristics.

[0132] Among them, the equipment operation element action sequence refers to a sequence of indivisible single equipment operation actions arranged according to the original order of the operation ticket instructions; topological connectivity analysis refers to the process of analyzing the changes in the connectivity relationship between the target equipment and its associated equipment after the execution of the equipment operation element action; local connection change characteristics refer to the set of changes in the connection mode and connectivity state of the target equipment and its associated equipment after the execution of a single equipment operation element action.

[0133] (2) Based on the characteristics of local connection changes, incremental state evolution is performed on the current power grid topology to generate a single-step topology state snapshot.

[0134] For example, the current power grid topology is obtained, and the current status and connection relationships of all devices in the structure are determined. Based on the characteristics of local connection changes, the target devices and related devices that need to be adjusted are located. According to the changes in the local connection change characteristics, the connectivity and connection methods of the above devices are adjusted, while keeping the status and connection relationships of other unrelated devices unchanged. After the adjustment is completed, the status of all adjusted devices and the connection relationships between devices are fully recorded to ensure that the record covers all key information of the power grid topology, and a single-step topology status snapshot is generated.

[0135] Among them, local connectivity change characteristics refer to the set of changes in connection mode and connectivity state of the target device and its associated devices after the execution of a single device operation element. The current power grid topology refers to the set of real-time power grid device states and connection relationships before the execution of the device operation element. Incremental state evolution refers to the process of adjusting only the device states and connection relationships affected by the device operation element. A single-step topology state snapshot is a complete record of the adjusted power grid topology after the execution of a single device operation element.

[0136] (3) Serialize and encapsulate the single-step topology state snapshot to generate an intermediate topology state sequence.

[0137] For example, following the execution order of the device operation meta-action sequence, a single-step topology state snapshot corresponding to each device operation meta-action is extracted one by one. Each single-step topology state snapshot is standardized in format to ensure that the representation of device status, connection relationships, and other information in the snapshot is consistent. The standardized single-step topology state snapshots are arranged according to the execution order of the device operation meta-actions, maintaining a correspondence between the snapshot order and the execution logic of the device operation meta-actions. All the arranged single-step topology state snapshots are integrated to form an ordered set of states, generating an intermediate topology state sequence.

[0138] Among them, a single-step topology state snapshot refers to a complete record of the adjusted power grid topology after the execution of a single device operation element action; serialization encapsulation refers to the process of standardizing and arranging the single-step topology state snapshots according to the execution order; and intermediate topology state sequence refers to the set of power grid topology structures corresponding to each action after its execution, arranged according to the execution order of the device operation element actions.

[0139] In one embodiment, the expression for a single-step topology state snapshot is:

[0140]

[0141] in, This represents a snapshot of the topology state in a single step. Indicates the current power grid topology. Indicates the first Each device operation element action. This represents a generator function that describes the characteristics of local connectivity changes. The topological state removal operator is indicated. This indicates that an operator is added to the topological state. This represents the state correction function.

[0142] For example, the current power grid topology and the operation of the kth device are obtained. The operation of the kth device is input into the local connection change feature generation function. The existing connection relationship of the target device corresponding to the operation of the kth device in the current power grid topology is analyzed. The connection mode and the direction of change of the connection state of the target device and its associated devices after the execution of the operation are clarified. The specific changes are sorted out and local connection change features are generated.

[0143] Based on the generated local connection change characteristics, a topology state removal operation is performed on the current power grid topology. This operation locates the device states and connection relationships in the current power grid topology that are no longer valid due to the action of the k-th device operation element. The invalid states and relationships are removed from the current power grid topology, while the device states and connection relationships that are not affected by the action are retained, resulting in a preliminarily adjusted topology.

[0144] Based on local connectivity change characteristics, a topology state addition operation is performed on the initially adjusted topology. New device states and connection relationships contained in the local connectivity change characteristics are extracted and added to the initially adjusted topology. The locations and associated logics of the corresponding devices are matched to obtain the topology to be corrected. The topology to be corrected and the local connectivity change characteristics are input into a state correction function to verify the logical consistency of device states and connection relationships in the topology to be corrected. Conflicting state parameters are adjusted, and connection relationships that do not conform to power grid operation constraints are corrected to ensure the integrity and rationality of the topology, resulting in a single-step topology state snapshot.

[0145] Here, the current power grid topology refers to the set of real-time power grid equipment states and connection relationships before the execution of the k-th equipment operation element action; the k-th equipment operation element action refers to a single indivisible equipment operation action arranged in sequence in the equipment operation element action sequence; the local connection change feature generation function refers to the function used to analyze the connection relationship changes corresponding to the equipment operation element action; the local connection change feature refers to the set of changes in connection mode and connectivity state of the target equipment and its associated equipment corresponding to the k-th equipment operation element action.

[0146] Topology state removal operation refers to the process of removing states and connections in the current power grid topology that have become invalid due to device operation meta-actions. The preliminarily adjusted topology refers to the set of power grid device states and connections after the topology state removal operation. Topology state addition operation refers to the process of adding new states and connections corresponding to device operation meta-actions. The topology to be corrected refers to the set of power grid device states and connections after the topology state addition operation. The state correction function is a function used to verify and correct the consistency of states and connections in the topology. A single-step topology state snapshot is a complete record of the adjusted and corrected power grid topology after the k-th device operation meta-action is executed.

[0147] It should be understood that although the steps in the flowcharts of the embodiments described above are shown sequentially according to the arrows, these steps are not necessarily executed in the order indicated by the arrows. Unless explicitly stated herein, there is no strict order restriction on the execution of these steps, and they can be executed in other orders. Moreover, at least some steps in the flowcharts of the embodiments described above may include multiple steps or multiple stages. These steps or stages are not necessarily completed at the same time, but can be executed at different times. The execution order of these steps or stages is not necessarily sequential, but can be performed alternately or in turn with other steps or at least some of the steps or stages of other steps.

[0148] In one embodiment, such as Figure 3 As shown, this application also provides an operation ticket verification system 300 based on rule graphs, the system 300 including:

[0149] The topology change feature extraction module 301 is used to extract features from the topology change events sent by the power grid monitoring system to obtain the set of affected devices and the characteristics of changes in connection relationships.

[0150] The rule graph dynamic association module 302 is used to dynamically associate logical symbols in the preset static rule graph based on the changes in the affected device set and connection relationship, and generate an executable verification graph.

[0151] Operation ticket evolution simulation module 303 is used to perform topological evolution simulation on the acquired operation ticket instruction sequence to generate the expected topological state chain;

[0152] The rule verification module 304 is used to call the executable verification graph to perform rule verification for each topological state in the expected topological state chain and output the verification result set.

[0153] Specifically, the topology change feature extraction module 301 receives topology change events sent by the power grid monitoring system, performs structural analysis on the events, extracts the set of changed device identifiers contained in the events, and identifies the operation type corresponding to the events. Based on the current power grid topology model and combined with the electrical connection relationships of the devices corresponding to the changed device identifier set in the power grid, the topology influence domain is calculated to determine the range of potentially affected devices, and an initial set of affected devices is generated.

[0154] For each device in the initial affected device set, its original connection relationship in the current power grid topology model is traced. The connection situation after the topology change event is compared, and the changes in connection relationships are extracted to obtain the topology connection change characteristics. The initial affected device set and the topology connection change characteristics are integrated, redundant information is removed, and the corresponding associations between devices and connection changes are supplemented to obtain the affected device set and connection relationship change characteristics.

[0155] Among them, a topology change event refers to an event information triggered and transmitted by the power grid monitoring system when the status or connection relationship of equipment in the power grid changes; the changed equipment identifier set refers to the unique identifier set of equipment whose status or connection relationship has changed in the topology change event; the operation type refers to the specific operation action attribute corresponding to the topology change event; and the current power grid topology model refers to the model that reflects the connection relationship and status of power grid equipment in real time.

[0156] The topology influence domain refers to the range of devices that are electrically connected to the changed device and may be affected by it; the initial set of affected devices refers to the set of potentially affected devices determined based on the topology influence domain; the topology connection change characteristics refer to the changes in the device connection relationships in the initial set of affected devices; the affected device set and connection relationship change characteristics refer to the results of clarifying the scope of affected devices and connection changes after fusion.

[0157] The rule graph dynamic association module 302 parses the preset static rule graph, identifies the abstract logical symbols in the graph based on the power grid operation safety rules and the logical relationships between equipment, clarifies the rule meaning and applicable scenarios of each symbol, and obtains a set of logical position symbols. Dynamic instance mapping is performed on the set of logical position symbols, corresponding each abstract logical symbol to a specific device in the current power grid, and the above mapping relationship is recorded to generate a symbol-device association matrix.

[0158] Based on the changes in the affected device set and their connection relationships, the symbol-device association matrix is ​​incrementally updated, adjusting the logical symbol mapping relationships corresponding to the affected devices and supplementing new mapping content. According to the updated symbol-device association matrix, specific device information is replaced with the corresponding logical symbol positions in the preset static rule graph, reconstructing an executable verification graph that fits the current power grid topology.

[0159] Among them, the preset static rule graph refers to a pre-established static knowledge graph that includes power grid operation safety rules and equipment logical relationships; the logical location symbol set refers to the set of abstract symbols in the static rule graph that identify the applicable location of the rules; and dynamic instance mapping refers to the process of associating abstract logical symbols with specific equipment.

[0160] The symbol-device association matrix is ​​a matrix that records the mapping relationship between logical symbols and devices; incremental update refers to the method of adjusting the matrix mapping relationship for affected devices; and executable verification graph refers to a dynamic rule graph that adapts to the current power grid topology.

[0161] The operation ticket evolution simulation module 303 acquires the operation ticket instruction sequence, performs operation atomization decomposition on the sequence, breaks down each instruction into indivisible single device operation actions, and arranges these actions in the original instruction order to obtain the device operation meta-action sequence. Based on the current power grid topology, it performs state transition calculations for each action in the device operation meta-action sequence, simulates the changes in the device state and power grid connection relationship after executing each action, and records the power grid topology after each change to generate an intermediate topology state sequence.

[0162] For each state in the intermediate topology state sequence, key states are marked according to the rule verification trigger conditions, the state positions that need to be verified by rules are identified, and the marked states are integrated in sequence to generate the expected topology state chain containing the rule verification trigger points.

[0163] Among them, the operation ticket instruction sequence refers to the set of instructions that guide equipment operation in power dispatch; operation atomization decomposition refers to the process of breaking down instructions into the smallest equipment operation units; equipment operation meta-action sequence refers to the set of single equipment operation actions arranged in the original instruction order; and the current power grid topology refers to the real-time power grid status when the operation ticket is executed.

[0164] State transition calculation refers to the process of power grid topology change after simulating equipment operation; intermediate topology state sequence refers to the set of power grid topology structures for each step in the operation process; key state marking refers to the process of identifying rule verification trigger states; expected topology state chain refers to the set of power grid topology states containing rule verification trigger points.

[0165] Rule verification module 304 obtains an executable verification map, which contains rules and device association information matching the current power grid topology state. For each topology state in the expected topology state chain, it extracts the rule set corresponding to that state from the executable verification map, clarifying the applicable conditions and verification standards of the rules.

[0166] For each topology state, apply the corresponding set of rules for rule validation to check whether the state meets the rule requirements. Record the validation results for each state, including compliant and non-compliant states. Integrate the validation results of all topology states, supplement the reasons for non-compliant states, remove redundant information, and output a verification result set that clearly shows the validation status of the operation ticket rules.

[0167] Among them, rule verification refers to the process of checking the compliance of the topology state based on the executable verification map; verification result refers to the judgment information of the compliance of the topology state; verification result set refers to the set that clarifies the verification status of the operation ticket after integrating all verification results.

[0168] The rule graph dynamic association module 302 is also used for:

[0169] The topological dependency symbols of the preset static rule graph are parsed to obtain the set of logical position symbols;

[0170] Dynamic instance mapping is performed on the set of logical position symbols to generate a symbol-device association matrix;

[0171] Based on the characteristics of changes in the affected device set and connection relationships, the symbol-device association matrix is ​​incrementally updated;

[0172] Based on the updated symbol-device association matrix, the static rule graph is reconstructed by rule instantiation to generate an executable verification graph.

[0173] The rule graph dynamic association module 302 is also used for:

[0174] Perform symbolic association analysis on the affected set of devices to generate a subset of symbols to be updated;

[0175] Based on the characteristics of changes in connection relationships, a connection relationship remapping is performed on the subset of symbols to be updated.

[0176] Perform local matrix replacement on the remapped subset of symbols to generate an updated symbol-device association matrix.

[0177] The topology change feature extraction module 301 is also used for:

[0178] Perform event structure parsing on topology change events to obtain the set of changed device identifiers and operation types;

[0179] Based on the current power grid topology model, the topology influence domain is calculated for the changed equipment identifier set and operation type to generate an initial set of affected equipment. The expression for the initial set of affected equipment is as follows:

[0180] in, Indicates the initial set of affected devices. This indicates a change in the device identifier set. Indicates the operation type mapping function, This represents the current power grid topology model. This represents the electrical criticality analysis operator. This represents the operator that influences the propagation path simulation. This represents the path weight fusion operator. The set union operator represents the aggregation operator for the set of devices. This indicates a change in equipment identification;

[0181] The connection relationships of the initial set of affected devices are traced to obtain the topology connection change characteristics. The expression for the topology connection change characteristics is as follows:

[0182]

[0183] in, Indicates the characteristics of topological connectivity changes. Represents the space of all possible connected paths. This represents the device-path associated gradient. Represents the path state change operator. Represents the path differential element. Indicates the initial set of affected devices. Represents path variables. Represents the current power grid topology model;

[0184] By integrating the initial set of affected devices and the characteristics of changes in topology connections, the set of affected devices and the characteristics of changes in connection relationships are generated.

[0185] Operation ticket evolution simulation module 303 is also used for:

[0186] The operation ticket instruction sequence is decomposed into operation atoms to obtain the equipment operation element action sequence;

[0187] Based on the current power grid topology, state transition calculations are performed on the action sequences of equipment operators to generate intermediate topology state sequences.

[0188] The intermediate topological state sequence is marked with key states to generate a expected topological state chain containing rule verification trigger points. The expression for the expected topological state chain is:

[0189]

[0190] in, This represents the expected topological state chain. Represents the state feature encoding function. Represents the intermediate topological state sequence element. This indicates that the rule triggers the detection function. This indicates the trigger point indicator function. This indicates a state-flag binding operator. The operator represents the construction operator of the union of state chains. Indicates the length of the intermediate topological state sequence. An index representing an intermediate topological state. This indicates that the verification map can be executed.

[0191] Operation ticket evolution simulation module 303 is also used for:

[0192] Based on the sequence of device operation elements, topological connectivity analysis is performed on each device operation element to generate local connection change features.

[0193] Based on the characteristics of local connectivity changes, incremental state evolution is performed on the current power grid topology to generate a single-step topology state snapshot;

[0194] The single-step topology state snapshot is serialized and encapsulated to generate an intermediate topology state sequence.

[0195] The operation ticket evolution simulation module 303 also includes the expression for a single-step topology state snapshot:

[0196]

[0197] in, This represents a snapshot of the topology state in a single step. Indicates the current power grid topology. Indicates the first Each device operation element action. This represents a generator function that describes the characteristics of local connectivity changes. The topological state removal operator is indicated. This indicates that an operator is added to the topological state. This represents the state correction function.

[0198] In one embodiment, this application also provides a computer device, including a memory and a processor, wherein the memory stores a computer program, and the processor executes the computer program to implement the steps in the above-described method embodiments.

[0199] In one embodiment, this application also provides a computer-readable storage medium having a computer program stored thereon, which, when executed by a processor, implements the steps in the above-described method embodiments.

[0200] In one embodiment, (1) a scheduling operation intelligent anti-misoperation model is constructed based on a large model and an anti-misoperation rule knowledge graph. The large model, NLP entity recognition, anti-misoperation rule knowledge graph and other technologies are combined with power business. The large model learns scheduling terminology, scheduling procedures and other knowledge. Based on the vectorized scheduling terminology and professional rule knowledge base, the large model's ability to understand operation rules is enhanced through retrieval-Augmented Generation (RAG) technology.

[0201] (2) When the operation ticket is transferred, the big model extracts the key information of the operation task for intent recognition, judges the standard operation process of the operation object in the scheduling instruction, and uses the thinking chain technology to check whether there are problems such as writing errors, steps that violate the operation rules, missing items, multiple items, disordered order, and repeated operations in the operation process of the instruction.

[0202] (3) Before and after the dispatch order is issued, the status of the equipment before and after the operation ticket is checked based on NLP entity recognition technology to solve the problem of inconsistency between the initial and final status of the operation equipment and the current real-time status of EMS.

[0203] (4) During the dispatching process, a professional reasoning model based on logic graphs is constructed to suppress the illusion of large models and form an accurate anti-error verification engine. Based on the current real-time data of the power grid, each step of the operation ticket is simulated to perform logical anti-error verification on the operation ticket, solve problems such as missing items in the operation ticket, disordered step sequence, and misoperation caused by violation of operation rules, and achieve early detection and early resolution of safety hazards, thereby improving the level of safe operation of the power grid.

[0204] System advantages:

[0205] (1) Utilize multi-measurement space technology to form an independent parallel analysis mode for multiple clients and multiple operation tickets during pre-operation verification;

[0206] (2) By using the modified real-time topology, the problem of slow topology analysis speed is solved, and the efficiency of error prevention verification is effectively improved;

[0207] (3) A deep learning-based NLP professional entity recognition model solves the problems of poor accuracy, low efficiency and large computational resource consumption of current entity recognition technology;

[0208] (4) By utilizing a professional reasoning model based on logic graphs, various rules are effectively integrated, and the accuracy verification capability of various anti-mistake rules is achieved. It can adapt to various equipment types, wiring methods, and operation requirements.

[0209] For the device embodiments, since they basically correspond to the method embodiments, the relevant parts can be referred to in the description of the method embodiments. The device embodiments described above are merely illustrative. The components described as separate parts may or may not be physically separate, and the components shown as units may or may not be physical units, that is, they may be located in one place or distributed across multiple network units. Some or all of the modules can be selected to achieve the purpose of this disclosure according to actual needs. Those skilled in the art can understand and implement this without creative effort.

[0210] The above-described embodiments are merely illustrative of several implementation methods of the embodiments of this application, and their descriptions are relatively specific and detailed. However, they should not be construed as limiting the scope of the patent application. It should be noted that those skilled in the art can make various modifications and improvements without departing from the concept of the embodiments of this application, and these modifications and improvements all fall within the protection scope of the embodiments of this application.

Claims

1. A method for verifying operation tickets based on rule graphs, characterized in that, The method includes: Feature extraction is performed on topology change events sent by the power grid monitoring system to obtain the set of affected devices and the characteristics of changes in their connection relationships; The process of extracting features from topology change events sent by the power grid monitoring system yields the affected device set and connection relationship changes, including: The topology change event is parsed to obtain the set of changed device identifiers and the operation type; Based on the current power grid topology model, the topology influence domain is calculated for the changed equipment identifier set and operation type to generate an initial set of affected equipment. The expression for the initial set of affected equipment is as follows: ; in, Indicates the initial set of affected devices. This indicates a change in the device identifier set. Indicates the operation type mapping function, This represents the current power grid topology model. This represents the electrical criticality analysis operator. This represents the operator that influences the propagation path simulation. This represents the path weight fusion operator. The set union operator represents the aggregation operator for the set of devices. This indicates a change in equipment identification; The connection relationships of the initial set of influencing devices are traced to obtain topology connection change characteristics, the expression of which is: ； in, Indicates the characteristics of topological connectivity changes. Represents the space of all possible connected paths. This represents the device-path association gradient. Represents the path state change operator. Represents the path differential element. Indicates the initial set of affected devices. Represents path variables. Represents the current power grid topology model; By combining the initial set of affected devices and the topology connection change characteristics, the set of affected devices and the connection relationship change characteristics are generated. Based on the changes in the affected device set and connection relationships, the logical symbols in the preset static rule graph are dynamically associated to generate an executable verification graph. Perform topological evolution simulation on the obtained operation ticket instruction sequence to generate the expected topological state chain; The step of performing topological evolution simulation on the acquired operation ticket instruction sequence to generate the expected topological state chain includes: The operation ticket instruction sequence is decomposed into operation atoms to obtain the device operation element action sequence; Based on the current power grid topology, state transition calculations are performed on the action sequence of the device operators to generate an intermediate topology state sequence. The intermediate topology state sequence is marked with key states to generate the expected topology state chain containing rule verification trigger points. The expression of the expected topology state chain is: ； in, This represents the expected topological state chain. Represents the state feature encoding function. Represents the intermediate topological state sequence element. This indicates that the rule triggers the detection function. This indicates the trigger point indicator function. This indicates a state-flag binding operator. The operator represents the construction operator of the union of state chains. Indicates the length of the intermediate topological state sequence. An index representing an intermediate topological state. This indicates an executable verification graph; For each topological state in the expected topological state chain, the executable verification graph is invoked to perform rule verification, and a verification result set is output.

2. The operation ticket verification method based on rule graphs according to claim 1, characterized in that, The step of dynamically associating logical symbols in a preset static rule graph based on the changes in the affected device set and connection relationships to generate an executable verification graph includes: The preset static rule graph is parsed for topological dependency symbols to obtain a set of logical position symbols; Dynamic instance mapping is performed on the set of logical position symbols to generate a symbol-device association matrix; Based on the changes in the affected device set and connection relationships, the symbol-device association matrix is ​​incrementally updated; Based on the updated symbol-device association matrix, the static rule graph is reconstructed by rule instantiation to generate the executable verification graph.

3. The operation ticket verification method based on rule graphs according to claim 2, characterized in that, The incremental update of the symbol-device association matrix based on the changes in the affected device set and connection relationships includes: Perform symbol correlation analysis on the affected set of devices to generate a subset of symbols to be updated; Based on the aforementioned connection relationship change characteristics, the connection relationship remapping is performed on the subset of symbols to be updated; The remapped subset of symbols is subjected to local matrix replacement to generate the updated symbol-device association matrix.

4. The operation ticket verification method based on rule graphs according to claim 1, characterized in that, The step of performing state transition calculations on the device operation element action sequence based on the current power grid topology to generate an intermediate topology state sequence includes: Based on the sequence of device operation elements, topological connectivity analysis is performed on each device operation element to generate local connection change features. Based on the aforementioned local connectivity change characteristics, the current power grid topology is subjected to incremental state evolution to generate a single-step topology state snapshot. The single-step topology state snapshot is serialized and encapsulated to generate the intermediate topology state sequence.

5. The operation ticket verification method based on rule graphs according to claim 4, characterized in that, The expression for the single-step topology state snapshot is: ； in, This represents a snapshot of the topology state in a single step. Indicates the current power grid topology. Indicates the first Each device operation element action. The generating function represents the characteristics of local connectivity changes. The topological state removal operator is indicated. This indicates that an operator is added to the topological state. This represents the state correction function.

6. A rule-based operation ticket verification system, characterized in that, The system includes: The topology change feature extraction module is used to extract features from topology change events sent by the power grid monitoring system to obtain the affected set of devices and the characteristics of changes in their connection relationships. The extraction of features from topology change events sent by the power grid monitoring system to obtain the affected set of devices and the characteristics of changes in their connection relationships includes: The topology change event is parsed to obtain the set of changed device identifiers and the operation type; Based on the current power grid topology model, the topology influence domain is calculated for the changed equipment identifier set and operation type to generate an initial set of affected equipment. The expression for the initial set of affected equipment is as follows: ; in, Indicates the initial set of affected devices. This indicates a change in the device identifier set. Indicates the operation type mapping function, This represents the current power grid topology model. This represents the electrical criticality analysis operator. This represents the operator that influences the propagation path simulation. This represents the path weight fusion operator. The set union operator represents the aggregation operator for the set of devices. This indicates a change in equipment identification; The connection relationships of the initial set of influencing devices are traced to obtain topology connection change characteristics, the expression of which is: ； in, Indicates the characteristics of topological connectivity changes. Represents the space of all possible connected paths. This represents the device-path association gradient. Represents the path state change operator. Represents the path differential element. Indicates the initial set of affected devices. Represents path variables. Represents the current power grid topology model; By combining the initial set of affected devices and the topology connection change characteristics, the set of affected devices and the connection relationship change characteristics are generated. The rule graph dynamic association module is used to dynamically associate logical symbols in the preset static rule graph based on the changes in the affected device set and connection relationships, and generate an executable verification graph. The operation ticket evolution simulation module is used to perform topological evolution simulation on the acquired operation ticket instruction sequence to generate a expected topological state chain; the step of performing topological evolution simulation on the acquired operation ticket instruction sequence to generate a expected topological state chain includes: The operation ticket instruction sequence is decomposed into operation atoms to obtain the device operation element action sequence; Based on the current power grid topology, state transition calculations are performed on the action sequence of the device operators to generate an intermediate topology state sequence. The intermediate topology state sequence is marked with key states to generate the expected topology state chain containing rule verification trigger points. The expression of the expected topology state chain is: ； in, This represents the expected topological state chain. Represents the state feature encoding function. Represents the intermediate topological state sequence element. This indicates that the rule triggers the detection function. This indicates the trigger point indicator function. This indicates a state-flag binding operator. The operator represents the construction operator of the union of state chains. Indicates the length of the intermediate topological state sequence. An index representing an intermediate topological state. This indicates an executable verification graph; The rule verification module is used to call the executable verification graph to perform rule verification for each topological state in the expected topological state chain and output the verification result set.

7. A computer device comprising a memory and a processor, wherein the memory stores a computer program, characterized in that, When the processor executes the computer program, it implements the steps of the operation ticket verification method based on rule graphs as described in any one of claims 1 to 5.

8. A computer-readable storage medium having a computer program stored thereon, characterized in that, When the computer program is executed by the processor, it implements the steps of the operation ticket verification method based on rule graphs as described in any one of claims 1 to 5.

Images