A method and system for functional verification of secondary virtual circuits in an intelligent substation

Abstract

A method and system for functional verification of secondary virtual circuits in an intelligent substation. By importing existing SCD model files, virtual terminal connection information is obtained. Through the extraction and processing of knowledge, a generalized virtual circuit relationship rule base based on a knowledge graph is formed. Through the consistency reasoning of entity virtual circuits, the correctness of secondary virtual circuit connections is verified. The present invention solves the problem that conventional SCD verification tools cannot verify the correctness of virtual circuit connections. It improves efficiency compared to manual inspection and reduces the possibility of missed or misdetected inspections.

Description

Technical Field

[0001] The present invention belongs to the technical field of intelligent substation model verification, and particularly relates to a method and system for verifying the correctness and locating errors of virtual terminal connections. Background Art

[0002] In an intelligent substation, the substation configuration description file SCD model plays a crucial role. The instantiated function configurations of various intelligent electronic devices (IEDs) in the substation need to be obtained from the SCD model file. Therefore, the verification of the SCD model is of great importance. Currently, there are clear standards for verifying the syntax and semantics of SCD, but there is a lack of verification basis for the functional verification of virtual terminal connections, and a set of virtual terminal functional rule libraries need to be established to support the verification system.

[0003] Chinese Patent CN113780598A, "A Method for Verifying Virtual Terminals in an Intelligent Substation", discloses a method for verifying virtual terminals in an intelligent substation. By establishing a typical IED template, setting the voltage level and wiring mode of the substation, and selecting different types of typical IED templates to generate a substation template, comparing the IED virtual terminal connection relationship in the SCD file to be verified with the virtual terminal connection relationship in the typical IED template, and outputting the virtual terminal verification result, the verification of virtual terminals in the intelligent substation is realized. However, to achieve the verification function, it is necessary to enumerate various IED hardware configurations, the configuration and management of the template library are complex, and the adaptability to unknown IEDs is poor.

[0004] Chinese Patent CN114491973A, "A Method, Device and Terminal Equipment for Verifying a Virtual Terminal Loop", discloses a method for verifying a virtual terminal loop. By receiving the configuration description file of the substation to be verified, extracting the system specification description information of the substation to be verified and the device names of secondary equipment from the configuration description file. According to the system specification description information, determining the first topological structure of the substation to be verified; according to the device name information, determining the second topological structure of the substation to be verified. Using a preset virtual terminal loop verification rule to verify the virtual terminal loop. Since the SSD part has not been actually promoted in the substation configuration in China, this method has certain limitations in actual applications. Summary of the Invention

[0005] To address the deficiencies in the existing technologies, the present invention provides a method and system for functional verification of secondary virtual circuits in an intelligent substation. By importing the existing SCD model file, obtaining the virtual terminal connection information, through the extraction and processing of knowledge, a generalized virtual circuit relationship rule library based on a knowledge graph is formed. Through the consistency reasoning of the entity virtual circuit, the correctness of the secondary virtual circuit connection is verified. The present invention takes the primary equipment interval as the unit, ignores the differences in the model and quantity configuration of the physical devices, and verifies whether the virtual circuit connection relationships within and between intervals can meet the functional requirements by establishing a functional knowledge graph that can reflect the correct virtual terminal connection. The ontology library and relationship rule library of the virtual terminal are completely independent, easy to maintain, and have high accuracy.

[0006] The present invention adopts the following technical solutions.

[0007] A method for functional verification of secondary virtual circuits in an intelligent substation includes the following steps:

[0008] Step 1, construct the ontology model of the interval and virtual terminal;

[0009] Step 2, construct a generalized virtual terminal ontology library;

[0010] Step 3, construct a relationship rule library based on the interval;

[0011] Step 4, import the SCD file, parse and obtain the interval and virtual terminal connection information of the substation, perform function marking on the virtual terminal, and organize and form a virtual terminal knowledge base;

[0012] Step 5, extract the interval graph for each interval, perform consistency reasoning with the generalized interval graph, and verify the correctness of the secondary virtual circuit connection;

[0013] Step 6, generate a verification report and display the results;

[0014] Step 7, reason about the attributes of the unrecognized entities, obtain incremental data, and update it into the ontology library and relationship rule library.

[0015] Preferably, in step 1, the ontology model of the interval includes voltage level, primary equipment type, description, relationship; the ontology model of the virtual terminal includes description, type, set number, function identifier, belonging IED, 61850 index.

[0016] Preferably, in step 2, the generalized virtual terminal local library forms a set of standardized virtual terminal information according to the requirements of the Q / GDW 1396—2012 standard for the device model; the virtual terminals are distinguished by function identifier and type, without considering the physical device division, only considering the logical function differences.

[0017] Preferably, in step 3, the relationship rule base is divided into virtual terminal relationships within an interval and virtual terminal relationships outside an interval; the relationship rules within an interval are based on the receiving virtual terminal and describe its external sending virtual terminals; the relationship rules between intervals are based on the receiving virtual terminals of a certain type of interval and describe the interval type and virtual terminals of its external sending end; each relationship is configured with a corresponding degree of association, including strong correlation and weak correlation. When it is strongly correlated, it means that this relationship must exist; when it is weakly correlated, this relationship is optional.

[0018] Preferably, in step 5, the consistency reasoning includes the following steps:

[0019] Step 5.1, select any interval, obtain the primary type attribute value A of the interval, and extract the graph of the interval.

[0020] Step 5.2, in the typical graph, search for and extract the graph with the primary type attribute value A.

[0021] Step 5.3, traverse the vertex P1 with an in-degree of 2 in the graph extracted in the above steps i , and find the vertex P2 whose relationship with this vertex is GOOSE or SV i . Form a dictionary G = {P1 i functional identifier, P2 i functional identifier} with the functional identifier of P1 i as the key and the functional identifier of P2 i as the value.

[0022] Preferably, in step 6, it is displayed according to the hierarchy of voltage level - interval - device.

[0023] Preferably, in step 7, it includes two parts: the complementary reasoning for the entity functional identifier attributes and the addition of typical relationship rules.

[0024] The complementary reasoning includes the following steps:

[0025] Step 701, traverse the virtual terminal table and search for virtual terminals with empty functional identifiers.

[0026] Step 702, extract the attributes and relationships of the virtual terminal to be complemented and the opposite - side virtual terminal, import them into the virtual terminal knowledge base, and match the type, set number, IED to which it belongs, subordination relationship of the virtual terminal to be complemented, and the type, set number, functional identifier, IED to which it belongs, subordination relationship of the opposite - side virtual terminal.

[0027] Step 703, if consistent knowledge is matched, mark the functional identifier of the matched knowledge in the functional identifier of the virtual terminal to be complemented.

[0028] The addition of typical relationship rules includes the following steps:

[0029] Step 711: Import the SCD, and parse the virtual terminal information and other relevant information in the SCD;

[0030] Step 712: Select the virtual terminal loop instances of the typical relationship rules that need to be added;

[0031] Step 713: Complete the attributes of the virtual terminals at both ends of the virtual loop through the information obtained by parsing the SCD;

[0032] Step 714: After completion, obtain the sending and receiving rules; if there is no virtual loop instance that can be used as a sample, the rules can be manually entered;

[0033] Step 715: Store the generated rules in the relationship rule library.

[0034] An intelligent substation secondary virtual loop functional verification system includes an ontology model construction module, an information library and a rule library construction module, a secondary virtual loop knowledge graph construction module, and a secondary virtual loop verification module.

[0035] The ontology model construction module constructs the ontology models of bays and virtual terminals. A bay includes three attributes: voltage level, primary equipment type, and description; a virtual terminal includes attributes such as description, type, set number, function identifier, and IED to which it belongs.

[0036] The information library and rule library construction module constructs a generalized virtual terminal information library based on the functions of the terminals themselves; based on the virtual terminal information library, a top-down method is used to summarize the typical relationship rules of virtual terminals within and between different types of bays.

[0037] The secondary virtual loop knowledge graph construction module imports and parses the SCD file, extracts the secondary virtual loop information of the substation, performs functional identification on the virtual terminals, and generates a secondary virtual loop knowledge graph based on bay division.

[0038] The secondary virtual loop verification module extracts the bay graph interval by interval, performs consistency reasoning with the generalized bay graphs formed by other modules, verifies the correctness of the secondary virtual loop connection, generates a verification report, and displays the results.

[0039] The beneficial effects of the present invention are as follows. Compared with the prior art,

[0040] 1. The intelligent substation secondary virtual loop functional verification method based on the knowledge graph of the present invention solves the problem that the conventional SCD verification tool cannot verify the correctness of the virtual loop connection. It improves the efficiency compared with manual inspection and reduces the possibility of missed inspection and misjudgment.

[0041] 2. The present invention weakens the influence of hardware configuration changes on the verification work and constructs the knowledge graph completely from the functional perspective. Through graph reasoning, the recognition of unknown terminals is realized, further enhancing the practicality of the verification function. Description of the Drawings

[0042] Figure 1 This is the flowchart of the functional verification method for the secondary virtual circuit of the intelligent substation of the present invention;

[0043] Figure 2 This is the model diagram of the virtual terminal body in the embodiment of the present invention;

[0044] Figure 3 This is the model diagram of the interval body in the embodiment of the present invention;

[0045] Figure 4 This is a schematic diagram of an example of the secondary virtual circuit map between the 110kV line intervals in the embodiment 1 of the present invention;

[0046] Figure 5 This is a schematic diagram of an example of the secondary virtual circuit map within the 110kV line interval in the embodiment 1 of the present invention. Detailed Embodiment

[0047] To make the objectives, technical solutions and advantages of the present invention clearer, the technical solutions of the present invention will be clearly and completely described below with reference to the accompanying drawings in the embodiments of the present invention. Taking the 110kV line interval of a 220kV intelligent substation as an example, the embodiments described in this application are only a part of the embodiments of the present invention, rather than all embodiments. Based on the spirit of the present invention, all other embodiments obtained by those of ordinary skill in the art without creative efforts shall fall within the protection scope of the present invention.

[0048] Embodiment 1 of the present invention provides a functional verification method for the secondary virtual circuit of an intelligent substation, as Figure 1 shown, including the following steps:

[0049] Step 1: Construct the ontology models of the interval and the virtual terminal.

[0050] In Step 1, construct the ontology model of the interval. As Figure 3 shown, the interval includes four attributes: voltage level, primary equipment type, description, and relationship. The voltage level is the voltage level where the interval is located. For the main transformer interval, the high-voltage side voltage level is used as the standard. The primary equipment type is the primary equipment protected by the interval where it is located, such as transformers, buses, lines, sections, bus couplers, motors, capacitors, etc. There is a relationship between intervals, and the relationship can be described as GOOSE input, GOOSE output, SV input, and SV output. The interval models used in this embodiment are the 110kV bus interval model and the 110kV line interval model. During the system construction stage, various typical interval models of 220kV, 110kV, and 35 / 10kV will be built.

[0051] Construct the virtual terminal ontology model. AsFigure 2 As shown, the virtual terminal includes description, type, bay number, function identifier, the IED it belongs to, and 61850 index. Among them, the type refers to the functional type of the virtual terminal, including GOOSE input, GOOSE output, SV input, and SV output. The 61850 index is the identification of data by the IEC61850 standard, which is described according to the tree-like hierarchy of the IED model: PHD (Physical Device) → LD (Logical Device) → LN (Logical Node) → DO (Data Object) → DA (Data Attribute). Except that the IEDname is the unique identifier of the PHD (Physical Device) and is different for each device, the other parts are defined standardly by the IEC61850 standard and relevant specifications in China, and have the ability of self-description of functions, and the functions of virtual terminals can be analyzed and identified according to their content. The bay number refers to the bay number of the IED where the virtual terminal is located. The function identifier is the mark of the function of the virtual terminal, which is obtained by analyzing the entity when imported from the SCD. The IED it belongs to can be extracted from the index of the entity virtual terminal. There is a subordinate relationship between the virtual terminal and the bay, and connections are formed with other virtual terminals. The relationships can be divided into two categories: SV connections and GOOSE connections, that is, the virtual secondary circuits that need to be verified.

[0052] Step 2: Construct a generalized virtual terminal ontology library.

[0053] In Step 2, according to the requirements of the Q / GDW 1396—2012 standard for the device model, a set of standardized virtual terminal information is formed and imported into the system to form a generalized virtual terminal information library. The virtual terminals are distinguished by "function identifier and type", that is, without considering the division of physical devices, only considering the differences in logical functions. For example, GOOSE input (such as "Protection TJR three trips"), GOOSE output (such as "Circuit breaker position"), SV input (such as "Cascaded bus protection voltage phase A 1"), and SV output (such as "Protection current phase A 2") are all defined by the functions of the terminals themselves.

[0054] Step 3: Construct a relationship rule library based on bays.

[0055] The relationship rule library is divided into two parts. One part is the relationship of virtual terminals within the bay, and the other part is the relationship of virtual terminals outside the bay. Using the top-down method, the typical relationships of virtual terminals within different types of bays and the typical relationships of virtual terminals between bays are summarized. The relationship rules within the bay are based on the receiving-end virtual terminal to describe its external sending-end virtual terminal, and are recorded as a rule. The relationship rules between bays are based on the receiving virtual terminal of a certain type of bay to describe the bay type and virtual terminal of its external sending-end, and are recorded as a rule. Each relationship is configured with a corresponding correlation degree, including strong correlation and weak correlation. When it is strongly correlated, it means that this relationship must exist; when it is weakly correlated, this relationship is optional.

[0056] Step 4: Import the SCD file, parse and obtain the bay and virtual terminal connection information of the substation, perform functional marking on the virtual terminals, and organize and form a virtual terminal knowledge base.

[0057] Import the SCD file, parse the model data, divide the bays of IED devices according to the standardized IEDname parsing and natural semantic recognition methods, and identify the voltage level and primary equipment type of the bays. In this embodiment, the bay is Line 1 of 110 kV in a certain 220 kV substation. There are two related bays in total. One is the bay of Line 1 of 110 kV, and the other is the bay of 110 kV bus. Among them, the bay of Line 1 of 110 kV includes the integrated protection and measurement device PCL1101X and the integrated merging and intelligent device MIL1101X; there are 5 devices in the bay of 110 kV bus, namely the 110 kV bus protection device P_M1112X, the 110 kV bus merging units M_M1112A and M_M1112B, and the intelligent terminals I_M2201X and I_M2202X of 110 kV Bus I and II. Since it is a standardized IEDname, the voltage level and primary equipment type of the bay can be directly identified from the IEDname.

[0058] Extract the secondary virtual circuit information of the substation from the inputs tag of the SCD file and store it based on the receiving end. Perform functional identification on the virtual terminals at both ends of the secondary virtual circuit, and the identification label content should exist in the virtual terminal ontology library generated in Step 2. Integrate the above information to generate a set of secondary virtual circuit knowledge graphs based on bay division. The secondary virtual circuit graphs within the entity bay and the secondary virtual circuit graphs between bays can be extracted.

[0059] Step 5: Extract the bay graph interval by interval, perform consistency reasoning with the generalized bay graph, and verify the correctness of the secondary virtual circuit connection.

[0060] A typical graph structure of various generalized bays can be obtained from Step 2 and Step 3, and the secondary virtual circuit knowledge graphs of each entity bay can be extracted from Step 4. The two are compared for the functional identification attributes through the attribute consistency reasoning method. The knowledge graphs within the bay and between bays are as Figure 4 、 5 shown.

[0061] The consistency reasoning includes the following steps:

[0062] Step 5.1: Select any bay, obtain the primary type attribute value of the bay as A, and extract the graph of this bay;

[0063] Step 5.2: In the typical graph, search for and extract the graph with the primary type attribute value of A;

[0064] Step 5.3: Traverse the vertex P1 with an in-degree of 2 in the graph extracted in the above stepsi and find the vertex P2 whose relationship with this vertex is GOOSE or SV i . Form two with P1 i 's function identifier as the key, and P2 i 's function identifier as the value dictionary G = {P1 i function identifier, P2 i function identifier};

[0065] After completing the verification in step 5, there are the following results:

[0066] 1. The function identifiers at both ends of the virtual circuit are complete, but do not exist in the typical atlas, that is, the redundant virtual circuit;

[0067] 2. One end of the virtual circuit has an empty function identifier attribute, but the other end can match the typical atlas, that is, the virtual circuit with doubtful correctness at one end;

[0068] 3. One end of the virtual circuit has a mismatched function identifier attribute, but the other end can match the typical atlas, that is, the virtual circuit with a connection error at one end;

[0069] 4. The relationship that exists in the typical atlas but does not exist in the entity atlas. According to the correlation degree, the relationship lacking strong correlation is an error, and the relationship lacking weak correlation is a hint.

[0070] Step 6, generate a verification report to display the results.

[0071] In step 6, it is displayed according to the hierarchy of voltage level - bay - device. All virtual circuit information is based on the receiving end and attributed to each entity device. The display of virtual circuits includes two ways: the device virtual circuit diagram and the virtual circuit list. The virtual circuit diagram takes the receiving end device as the center, displays all the virtual circuits and the missing virtual circuits of the device, and differentiates them by color. Among them, the correct circuit is represented by green, the wrong circuit is represented by red, and the missing circuit is represented by a dotted line.

[0072] Step 7, infer the attributes of the unrecognized entities, obtain incremental data, and update them to the ontology library and the relationship rule library.

[0073] In step 7, it includes two parts: the complementary reasoning of the entity function identifier attribute and the addition of typical relationship rules.

[0074] The complementary reasoning includes the following content:

[0075] 1. Traverse the virtual terminal table to find the virtual terminals with empty function identifiers.

[0076] 2. Extract the attributes and relationships of the virtual terminals to be completed and the virtual terminals on the opposite side, import them into the virtual terminal knowledge base, and match the types, sets, IEDs to which they belong, subordination relationships of the virtual terminals to be completed, and the types, sets, function identifiers, IEDs to which they belong, and subordination relationships of the virtual terminals on the opposite side.

[0077] 3. If consistent knowledge is matched, mark the function identifier of the matched knowledge in the function identifier of the virtual terminal to be completed.

[0078] The newly added typical relationship rules include the following:

[0079] 1. Import the SCD, and parse the virtual terminal information and other relevant information in the SCD.

[0080] 2. Select the virtual terminal loop instance of the typical relationship rule that needs to be newly added.

[0081] 3. Complete the attributes of the virtual terminals at both ends of the virtual loop through the information obtained by parsing the SCD.

[0082] 4. After completion, the following sending and receiving rules are obtained. If there is no virtual loop instance that can be used as a sample, the rules can be manually entered as follows:

[0083] Sending end: Special mark. Voltage level. Interval (this interval / outer interval). Type of the device to which it belongs (line / main transformer / bus, etc.). IED type (protection / measurement and control / merging unit / smart terminal, etc.). Device set (the first set / the second set / single set). Virtual terminal model

[0084] Receiving end: Special mark. Voltage level. Type of the device to which it belongs (line / main transformer / bus, etc.). IED type (protection / measurement and control / merging unit / smart terminal, etc.). Device set (the first set / the second set / single set). Virtual terminal model

[0085] 5. Store the generated rules in the relationship rule library.

[0086] Embodiment 2 of the present invention provides an intelligent substation secondary virtual loop functional verification system, which runs the intelligent substation secondary virtual loop functional verification method described in Embodiment 1, and includes: an ontology model construction module, an information library and a rule library construction module, a secondary virtual loop atlas construction module, and a secondary virtual loop verification module.

[0087] The ontology model construction module constructs the ontology models of intervals and virtual terminals. The interval includes three attributes: voltage level, primary equipment type, and description; the virtual terminal includes attributes such as description, type, set, function identifier, and IED to which it belongs.

[0088] The information database and rule database construction module constructs a generalized virtual terminal information database based on the functions of the terminals themselves; based on the virtual terminal information database, a top-down method is adopted to summarize the typical relationship rules of virtual terminals within and between different types of bays.

[0089] The secondary virtual circuit graph construction module imports and parses the SCD file, extracts the secondary virtual circuit information of the substation, functionally identifies the virtual terminals, and generates a secondary virtual circuit knowledge graph based on bay division.

[0090] The secondary virtual circuit verification module extracts the bay graph interval by interval, performs consistency reasoning with the generalized bay graphs formed by other modules, verifies the correctness of the secondary virtual circuit connections, and generates a verification report to display the results.

[0091] The present disclosure may be a system, a method, and / or a computer program product. The computer program product may include a computer-readable storage medium having thereon computer-readable program instructions for causing a processor to implement various aspects of the present disclosure.

[0092] The computer-readable storage medium may be a tangible device that can retain and store instructions for use by an instruction execution device. The computer-readable storage medium may be, for example, but is not limited to, an electrical storage device, a magnetic storage device, an optical storage device, an electromagnetic storage device, a semiconductor storage device, or any suitable combination of the foregoing. More specific examples (a non-exhaustive list) of the computer-readable storage medium include: a portable computer disk, a hard disk, a random access memory (RAM), a read-only memory (ROM), an erasable programmable read-only memory (EPROM or flash memory), a static random access memory (SRAM), a portable compact disc read-only memory (CD-ROM), a digital versatile disc (DVD), a memory stick, a floppy disk, a mechanically encoded device such as a punch card or raised structures in a groove having instructions stored thereon, and any suitable combination of the foregoing. The computer-readable storage medium as used herein is not construed as an instantaneous signal itself, such as a radio wave or other freely propagating electromagnetic wave, an electromagnetic wave propagated through a waveguide or other transmission medium (e.g., an optical pulse through an optical fiber cable), or an electrical signal transmitted through a wire.

[0093] The computer-readable program instructions described herein may be downloaded from a computer-readable storage medium to various computing / processing devices, or downloaded to an external computer or external storage device through a network, such as the Internet, a local area network, a wide area network, and / or a wireless network. The network may include a copper transmission cable, an optical fiber transmission, a wireless transmission, a router, a firewall, a switch, a gateway computer, and / or an edge server. The network adapter or network interface in each computing / processing device receives the computer-readable program instructions from the network and forwards the computer-readable program instructions for storage in the computer-readable storage medium in each computing / processing device.

[0094] The computer program instructions for performing the operations of the present disclosure may be assembly instructions, instruction set architecture (ISA) instructions, machine instructions, machine-related instructions, microcode, firmware instructions, state setting data, or source code or object code written in any combination of one or more programming languages, including object-oriented programming languages such as Smalltalk, C++, etc., and conventional procedural programming languages such as the "C" language or similar programming languages. The computer-readable program instructions may be executed entirely on the user's computer, partially on the user's computer, executed as a stand-alone software package, partially on the user's computer and partially on a remote computer, or entirely on the remote computer or server. In the case of a remote computer, the remote computer may be connected to the user's computer through any type of network, including a local area network (LAN) or a wide area network (WAN), or may be connected to an external computer (e.g., through the Internet using an Internet service provider). In some embodiments, by using the state information of the computer-readable program instructions to customize an electronic circuit, such as a programmable logic circuit, a field programmable gate array (FPGA), or a programmable logic array (PLA), the electronic circuit can execute the computer-readable program instructions to implement various aspects of the present disclosure.

[0095] Finally, it should be noted that the above embodiments are only used to illustrate the technical solutions of the present invention and not to limit them. Although the present invention has been described in detail with reference to the above embodiments, those of ordinary skill in the art should understand that: modifications or equivalent replacements can still be made to the specific embodiments of the present invention, and any modifications or equivalent replacements that do not depart from the spirit and scope of the present invention should be covered by the protection scope of the claims of the present invention.

Claims

1. A method for functional verification of secondary virtual circuits in an intelligent substation, characterized in that, it includes the following steps: Step 1, construct the ontology models of intervals and virtual terminals; In Step 1, the ontology model of the interval includes voltage level, primary equipment type, description, relationship; the ontology model of the virtual terminal includes description, type, set number, function identifier, affiliated IED, 61850 index; Step 2, construct a generalized virtual terminal ontology library; In Step 2, the generalized virtual terminal local library forms a set of standardized virtual terminal information according to the requirements of the device model in the Q / GDW 1396—2012 standard; the virtual terminals are distinguished based on function identifiers and types, and distinguished based on logical functions; Step 3, construct a relationship rule library based on intervals; In Step 3, the relationship rule library is divided into the relationship of virtual terminals within an interval and the relationship of virtual terminals outside an interval; the relationship rule within an interval is based on the receiving-end virtual terminal and describes its external sending-end virtual terminal; the relationship rule between intervals is based on the receiving virtual terminal of a certain type of interval and describes the interval type and virtual terminal of its external sending-end; each relationship is configured with a corresponding correlation degree, including strong correlation and weak correlation; when it is strongly correlated, it means that this relationship must exist; when it is weakly correlated, this relationship is optional; Step 4, import the SCD file, parse and obtain the interval and virtual terminal connection information of the substation, perform function marking on the virtual terminals, and organize and form a virtual terminal knowledge base; Step 5, extract the interval graph for each interval, perform consistency reasoning with the generalized interval graph, and verify the correctness of the secondary virtual circuit connection; In Step 5, the consistency reasoning includes the following steps: Step 5.1, select any interval, obtain the primary type attribute value of the interval as A, and extract the graph of this interval; Step 5.2, in the typical graph, search for and extract the graph with the primary type attribute value of A; Step 5.3, traverse the vertex P1 with an in-degree of 2 in the graph spectrum extracted in the above steps i , and find the vertex P2 whose relationship with this vertex is GOOSE or SV i , and form two dictionaries G = {P1 i function identifier, P2 i function identifier} with the function identifier of P1 i as the key and the function identifier of P2 i as the value; Step 6, generate a verification report and display the results; Step 7, perform reasoning on the attributes of unrecognized entities, obtain incremental data, and update it into the ontology library and the relationship rule library.

2. The method for functional verification of secondary virtual circuits in an intelligent substation according to claim 1, characterized in that: in Step 6, it is displayed according to the hierarchy of voltage level - interval - device.

3. The method for functional verification of secondary virtual circuits in an intelligent substation according to claim 1, characterized in that: in Step 7, it includes two parts: the complementary reasoning for the entity function identifier attribute and the addition of typical relationship rules.

4. The method for functional verification of secondary virtual circuits in an intelligent substation according to claim 3, characterized in that: in Step 7, the complementary reasoning includes the following steps: Step 701, traverse the virtual terminal table to find the virtual terminals with empty function identifiers; Step 702, extract the attributes and relationships of the virtual terminals to be complemented and the opposite-side virtual terminals, import them into the virtual terminal knowledge base, and match the type, set number, affiliated IED, subordinate relationship of the virtual terminals to be complemented, and the type, set number, function identifier, affiliated IED, subordinate relationship of the opposite-side virtual terminals; Step 703, if consistent knowledge is matched, mark the function identifier of the matched knowledge in the function identifier of the virtual terminal to be complemented.

5. An intelligent substation secondary virtual circuit functional verification method according to claim 3, characterized in that: In step 7, the newly added typical relationship rules include the following steps: Step 711, import the SCD, and parse out the virtual terminal information and other relevant information in the SCD; Step 712, select the virtual terminal circuit instance of the typical relationship rule to be newly added; Step 713, complete the attributes of the virtual terminals at both ends of the virtual circuit through the information obtained by parsing the SCD; Step 714, after completion, obtain the sending and receiving rules; if there is no virtual circuit instance that can be used as a sample, the rules can be manually entered; Step 715, store the generated rules in the relationship rule library.

6. An intelligent substation secondary virtual circuit functional verification system that runs an intelligent substation secondary virtual circuit functional verification method according to any one of claims 1-5, including an ontology model construction module, an information library and a rule library construction module, a secondary virtual circuit knowledge graph construction module, and a secondary virtual circuit verification module; characterized in that: The ontology model construction module constructs the ontology models of intervals and virtual terminals; the interval includes three attributes: voltage level, primary equipment type, and description; the virtual terminal includes attributes such as description, type, set number, function identifier, and IED to which it belongs; The information library and rule library construction module constructs a generalized virtual terminal information library based on the functions of the terminals themselves; Based on the virtual terminal information library, use a top-down method to summarize the typical relationship rules of virtual terminals within and between different types of intervals; The secondary virtual circuit knowledge graph construction module imports and parses the SCD file, extracts the secondary virtual circuit information of the substation, performs functional identification on the virtual terminals, and generates a secondary virtual circuit knowledge graph based on interval division; The secondary virtual circuit verification module extracts the interval graph for each interval, performs consistency reasoning with the generalized interval graphs formed by other modules, verifies the correctness of the secondary virtual circuit connection, and generates a verification report to display the results.

7. A terminal, including a processor and a storage medium; characterized in that: The storage medium is used to store instructions; The processor is used to operate according to the instructions to execute the steps of the method according to any one of claims 1-5.

8. A computer-readable storage medium, on which a computer program is stored, characterized in that, When the program is executed by a processor, it implements the steps of the method according to any one of claims 1-5.

Images