A method and system for supporting complex system indicator correlation fusion and verification

Abstract

The present invention discloses a method and system for supporting the correlation, fusion and verification of complex system indicators, including decomposing satellite communication system indicators layer by layer according to the mission-task-system-system, constructing a multi-level indicator model to uniformly describe the composition and decomposition relationship of indicators at each level; based on the constructed multi-level indicator model, sorting out the mutual correlation relationship between the multi-level indicators, obtaining the indicator correlation spectrum, constructing the indicator traceability matrix, and realizing the expression of the multi-level indicator correlation relationship; by converting the constructed multi-level indicator model and the indicator correlation traceability model into an ontology knowledge model, the correlation fusion of system indicators is realized. The present invention adopts the above-mentioned method and system for supporting the correlation, fusion and verification of complex system indicators, which can solve the technical problems of the difficulty in realizing the construction of a multi-level heterogeneous indicator model for a complex system, the expression of the correlation relationship between the elements of the multi-level heterogeneous indicator model, and the traceability and verification of the multi-level heterogeneous indicators.

Description

Technical Field

[0001] The present invention relates to the technical field of complex equipment system engineering, and in particular to a method and system for supporting complex system indicator correlation fusion and verification. Background Art

[0002] Model-Based System Engineering (MBSE) is the formal application of modeling starting from the conceptual design stage to support system requirements, design, analysis, verification and validation activities, and continues throughout the development and subsequent life cycle stages. With the continuous expansion of system scale and the gradual increase in complexity, the system level division continues to increase, the indicators involved in the system are becoming increasingly complex, the degree of coupling of indicators at all levels of the system is high, and the relationship between indicators is complicated and complex. It is usually necessary to use a variety of different modeling languages ​​to build models, and the underlying semantic syntax of each model built using different modeling languages ​​is heterogeneous. Therefore, it is difficult to use a single modeling tool to uniformly build a multi-level heterogeneous indicator model, and it is difficult to achieve the description of the coupling relationship between the indicator elements of the multi-level heterogeneous model. In the subsequent evaluation and verification process, it is difficult for engineers to capture accurate indicator dependencies during the design process, and it is difficult to achieve the management and traceability verification of the indicator elements of the multi-level heterogeneous model, and it is difficult to ensure the effectiveness of indicator design and the accuracy of system design.

[0003] In response to the above difficulties, the existing technology covers the construction of multi-level indicator models by supporting as many general modeling languages ​​as possible, and realizes the association traceability description and traceability verification between the elements of the multi-level indicator model through the traceability matrix. Although the existing MBSE tools can support the construction of multi-level models under specific modeling languages, they can build the association relationship between multi-level indicators and support the traceability verification of multi-level indicators by building a traceability matrix. However, for the increasingly complex systems, it is necessary to use multiple heterogeneous modeling languages ​​to describe multi-level indicators, and it is necessary to realize the construction and verification of the association relationship between multi-level heterogeneous indicator elements. In this regard, it is difficult for existing modeling tools to support the construction of multi-level, multi-domain heterogeneous indicator models for complex systems, to support the expression of the association relationship between the elements of multi-level, multi-domain heterogeneous indicator models, to support the traceability verification of the elements of multi-level, multi-domain heterogeneous indicator models, and to meet the needs of complex system indicator design and verification. Summary of the invention

[0004] The purpose of the present invention is to provide a method and system that supports the correlation fusion and verification of complex system indicators, which can solve the technical problems of the difficulty in realizing the construction of a multi-level heterogeneous indicator model for a complex system, the expression of the correlation relationship between the elements of the multi-level heterogeneous indicator model, and the traceability verification of the multi-level heterogeneous indicators.

[0005] To achieve the above object, the present invention provides a method for supporting complex system indicator association fusion and verification, comprising the following steps:

[0006] S1. Based on the domain knowledge and system requirements of satellite communication systems, sort out the multi-level indicators of the system; decompose the satellite communication system indicators layer by layer according to mission-system-system to obtain the system indicator system; based on the system indicator system, build a multi-level indicator model to uniformly describe the composition and decomposition relationship of indicators at each level;

[0007] S2. Based on the constructed multi-level indicator model, sort out the mutual correlation between the multi-level indicators to obtain the indicator correlation pedigree; based on the indicator correlation pedigree and the multi-level indicator model, construct the indicator traceability matrix to realize the expression of the multi-level indicator correlation relationship;

[0008] S3. By converting the constructed multi-level indicator model and indicator association traceability model into an ontology knowledge model, the association and fusion of system indicators can be achieved.

[0009] Preferably, it includes a data layer, a functional layer and an application layer;

[0010] The data layer is used to provide data support to the functional layer; the data layer is used to encapsulate the modeling language KARMA data, the design structure matrix DSM data and the OWL ontology data;

[0011] The functional layer includes: model construction module, indicator association traceability model construction module and indicator association fusion and traceability verification module; the functional layer constructs the satellite communication system mission indicator model, system level indicator model and system level indicator model by acquiring data from the data layer;

[0012] The application layer includes: a satellite communication system mission-system-system multi-level indicator model construction module, a satellite communication system mission-system-system multi-level indicator association relationship expression module, and a satellite communication system mission-system-system multi-level indicator model association fusion and traceability verification module; the application layer is used to interact directly with users. Based on the functional layer, through the user interface, it supports users to construct a mission-system-system multi-level indicator model, express the association relationship between indicators, and associate, fuse and trace the constructed multi-level indicator model.

[0013] Preferably, the data layer has the following functions:

[0014] (1) The modeling language KARMA data provides data support for the mission indicator model construction submodule, system level indicator model construction submodule, and system level indicator model construction submodule in the functional layer model construction module, as well as the ontology knowledge model construction of the satellite communication system mission-system-system indicator model;

[0015] (2) Design the structural matrix DSM data to construct the indicator association traceability model for the functional layer submodule to provide data support for constructing the indicator association traceability model and the ontology knowledge model for the satellite communication system mission-system-system indicator model;

[0016] (3) OWL ontology data provides data support for the functional layer to visualize the ontology knowledge model, conduct quantitative analysis of the ontology knowledge model, and perform reasoning and query on the ontology knowledge model for the mission-system-system indicator model of the satellite communication system.

[0017] Preferably, in the functional layer, the model building module includes: a mission task indicator model building submodule, a system level indicator model building submodule and a system level indicator model building submodule;

[0018] The mission indicator model construction module, system-level indicator model design submodule and system-level indicator model design submodule of the model construction module, according to the satellite communication system indicator system obtained through analysis, sort out the mission element composition, system-level indicator element composition and system-level indicator element composition respectively; based on the domain knowledge and modeling specifications of the satellite communication system, construct the mission indicator model, system-level indicator model and system-level indicator model respectively, and obtain the satellite communication system mission-system-system multi-level indicator model.

[0019] Preferably, the model building module is configured to decompose the satellite communication system indicators hierarchically according to mission-system-system based on the mission, system requirements, domain knowledge, and modeling specifications of the satellite communication system; based on the indicator decomposition results, a satellite communication system mission task indicator model, a satellite communication system system level indicator model, and a satellite communication system subsystem level indicator model are constructed.

[0020] Preferably, in the functional layer, the indicator association tracing model construction module includes: an indicator association tracing model construction module and a consistency checking module;

[0021] The indicator association traceability model construction submodule in the indicator association traceability model construction module constructs an indicator association traceability model based on the association relationship between the mission indicator model, the system level indicator model and the system level indicator model in the mission-system-system indicator model of the satellite communication system and the design structure matrix DSM data; the indicator association traceability model expresses the association relationship between the elements of the mission indicator model, the system level indicator model and the system level indicator model in the multi-level indicator model of the mission-system-system of the satellite communication system, and outputs the indicator association traceability model to the model consistency check submodule;

[0022] The model consistency check submodule performs consistency check on the model elements in the indicator association traceability model and the model elements of each level corresponding to the model elements according to the mission indicator model, system level indicator model and system level indicator model of the satellite communication system; among which, the model elements of each level corresponding to the model elements refer to the elements in the mission indicator model, system level indicator model and system level indicator model of the satellite communication system; through the consistency check of the model consistency check submodule, it is ensured that the model elements in the indicator association traceability model are consistent with the model elements of each level.

[0023] Preferably, the indicator association tracing model construction module is configured to construct an indicator association tracing model based on the association relationship between the mission indicator model, the system level indicator model, and the system level indicator model in the satellite communication system mission-system-system unified model, and perform consistency checks on the multi-level indicator models.

[0024] Preferably, in the functional layer, the indicator association fusion and traceability verification module includes: an ontology knowledge model construction submodule, an ontology knowledge model quantitative analysis submodule and an ontology knowledge model reasoning query submodule;

[0025] The ontology knowledge model construction submodule is used to convert the mission-system-system multi-level indicator model and the indicator association traceability model into an ontology knowledge model, call the built-in model of the ontology knowledge model construction submodule to the ontology code generator, and export the multi-level indicator model and the indicator association traceability model into an ontology file in OWL format;

[0026] The ontology knowledge model quantitative analysis submodule is used to analyze the scale and volume of the components of the ontology knowledge model; the ontology model quantitative analyzer built into the ontology knowledge model quantitative analysis submodule is called to calculate and count the number of various elements in the ontology knowledge model to enhance knowledge understanding; the ontology model quantitative analysis displayer built into the ontology knowledge model quantitative analysis submodule is called to visualize the quantitative analysis results on the front-end interface;

[0027] The ontology knowledge model reasoning query submodule is used to retrieve the association relationship between the elements of the mission-system-system multi-level indicator model, and call the ontology model reasoning query built in the ontology knowledge model reasoning query submodule. Users can edit the reasoning query script to query other indicator elements associated with a certain indicator element in the multi-level indicator model, and input it into the ontology model reasoning query to obtain the reasoning query result.

[0028] Preferably, the indicator association fusion and traceability verification module is configured to convert the satellite communication system mission-system-system indicator model and the indicator association traceability model into an ontology knowledge model; perform quantitative analysis and visualization on the indicator elements in the ontology knowledge model; and perform traceability verification on the indicator elements in the ontology knowledge model.

[0029] Preferably, in the application layer, the following functions are provided:

[0030] (1) A satellite communication system mission-system-system multi-level indicator model construction module, which is used to receive the mission indicator model, system-level indicator model and system-level indicator model created, edited and constructed by the user through the user interface;

[0031] (2) Satellite communication system mission-system-system multi-level indicator association relationship expression module, which is used to support users to create an indicator association traceability model through the user interface and describe the association relationship between indicator elements in the multi-level indicator model;

[0032] (3) The satellite communication system mission-system-system multi-level indicator model association fusion and traceability verification module is used to support users to export the multi-level indicator model and design structure matrix into an ontology knowledge model through the user interface, and realize the visualization of the ontology knowledge model, the display of the quantitative analysis results of the front-end ontology knowledge model, support users to perform reasoning queries, and realize the traceability verification of multi-level indicators.

[0033] Therefore, the present invention adopts the above-mentioned method and system for supporting complex system indicator association fusion and verification, and the beneficial effects are as follows:

[0034] (1) The present invention is developed based on the multi-architecture modeling language KARMA, which can customize the modeling language in combination with the domain characteristics of complex systems, support the integrated description of multi-level and multi-domain heterogeneous indicator models of complex systems, and thus realize the unified formal expression of multi-level indicators of complex systems;

[0035] (2) The present invention supports the expression of the association and traceability relationship between the elements of multi-level, multi-domain heterogeneous indicator models by constructing an indicator association and traceability model. This can overcome the difficulty in expressing the association and traceability relationship between indicators caused by the heterogeneity of the underlying semantic syntax of the multi-level, multi-domain heterogeneous model, formally describe the association and traceability relationship between indicators at all levels of the complex system, and improve the traceability of the system indicator design;

[0036] (3) The present invention can support the management and traceability verification of multi-level and multi-domain heterogeneous indicator model elements. By converting the multi-level and multi-domain heterogeneous indicator model of a complex system and the indicator association traceability model into an ontology knowledge model, the association and fusion of the multi-level and multi-domain indicators of the system are realized. Based on the ontology knowledge model, the management and traceability verification of indicators are supported, thereby ensuring the accuracy of the design of complex system indicators and the effectiveness of the indicators.

[0037] The technical solution of the present invention is further described in detail below through the accompanying drawings and embodiments. BRIEF DESCRIPTION OF THE DRAWINGS

[0038] Figure 1 A schematic diagram of a method flow chart for supporting complex system indicator association fusion and verification according to the present invention;

[0039] Figure 2 A schematic diagram of the structure of the indicator association fusion and traceability verification system provided by the present invention;

[0040] Figure 3 The working principle diagram of the mission indicator model design provided by the present invention;

[0041] Figure 4 A schematic diagram of the system indicator model design work provided by the present invention;

[0042] Figure 5 A working principle diagram of the system indicator model design provided by the present invention;

[0043] Figure 6 The design working principle diagram provided for the present invention;

[0044] Figure 7 A working principle diagram of the ontology knowledge model construction of the indicator association fusion and traceability verification module provided by the present invention;

[0045] Figure 8 A working principle diagram of the ontology knowledge model quantitative analysis of the indicator association fusion and traceability verification module provided by the present invention;

[0046] Fig. 9 This is a working principle diagram of the ontology knowledge model reasoning query of the indicator association fusion and traceability verification module provided by the present invention. DETAILED DESCRIPTION

[0047] The technical solution of the present invention is further described below through the accompanying drawings and embodiments.

[0048] like Figure 1 As shown, the present invention provides a method for supporting complex system indicator association fusion and verification, comprising the following steps:

[0049] S1. Based on the domain knowledge and system requirements of satellite communication systems, the multi-level indicators of the system are sorted out and the satellite communication system indicators are decomposed layer by layer according to mission-system-system to obtain the system indicator system; based on the system indicator system, a multi-level indicator model is constructed to uniformly describe the composition and decomposition relationship of indicators at each level;

[0050] S2. Based on the constructed multi-level indicator model, sort out the inter-correlation relationship between multi-level indicators, including the correlation relationship between indicators and indicators at the same level, the traceability relationship between indicators and upper-level indicators, and the transmission relationship between indicators and lower-level indicators, and obtain the indicator correlation pedigree; based on the indicator correlation pedigree and the multi-level indicator model, construct the indicator traceability matrix to express the multi-level indicator correlation relationship. The expression elements can be synchronously modified according to the changes in the indicator model, support the inspection of changes in the indicator model and indicator relationship, and ensure the correctness of the indicator traceability relationship;

[0051] S3, by converting the constructed multi-level indicator model and indicator association traceability model into an ontology knowledge model, the association fusion of system indicators is realized;

[0052] Based on the ontology model, the multi-level indicators of the satellite communication system are traced and verified by using ontology reasoning query and other functions, so that errors in the indicator design process can be discovered in time in the early design stage.

[0053] like Figure 2 As shown, a system that supports the correlation, fusion and verification of complex system indicators includes a data layer, a function layer and an application layer. The specific description is as follows:

[0054] 1. The data layer is used to provide data support to the functional layer. The data layer is used to encapsulate the modeling language KARMA data, the design structure matrix DSM data and the OWL ontology data.

[0055] (1) The modeling language KARMA data provides data support for the mission indicator model construction submodule, system level indicator model construction submodule, and system level indicator model construction submodule in the functional layer model construction module, as well as the ontology knowledge model construction of the satellite communication system mission-system-system indicator model.

[0056] (2) Design the structural matrix DSM data to construct the indicator association traceability model for the functional layer submodule to provide data support for constructing the indicator association traceability model and the ontology knowledge model of the satellite communication system mission-system-system indicator model.

[0057] (3) OWL ontology data provides data support for the functional layer to visualize the ontology knowledge model, conduct quantitative analysis of the ontology knowledge model, and perform reasoning and query on the ontology knowledge model for the mission-system-system indicator model of the satellite communication system.

[0058] 2. The functional layer includes: model construction module, indicator association traceability model construction module and indicator association fusion and traceability verification module. The functional layer obtains data from the data layer to build the satellite communication system mission indicator model, system level indicator model and system level indicator model.

[0059] (1) The model construction module includes: mission indicator model construction sub-module, system level indicator model construction sub-module and system level indicator model construction sub-module.

[0060] The mission indicator model construction module, system level indicator model design submodule and system level indicator model design submodule of the model construction module sort out the mission element composition, system level indicator element composition and system level indicator element composition respectively according to the satellite communication system indicator system obtained through analysis. Based on the domain knowledge and modeling specifications of the satellite communication system, the mission indicator model, system level indicator model and system level indicator model are constructed respectively to obtain the mission-system-system multi-level indicator model of the satellite communication system.

[0061] The configuration of the model building module is based on the mission, system requirements, domain knowledge, and modeling specifications of the satellite communication system, and the satellite communication system indicators are decomposed hierarchically according to the mission-system-system; based on the indicator decomposition results, a satellite communication system mission task indicator model, a satellite communication system system-level indicator model, and a satellite communication system subsystem-level indicator model are constructed.

[0062] (2) The indicator association traceability model construction module includes: an indicator association traceability model construction module and a consistency check module.

[0063] The indicator association traceability model construction submodule in the indicator association traceability model construction module constructs an indicator association traceability model based on the association relationship between the mission indicator model, the system level indicator model and the system level indicator model in the mission-system-system indicator model of the satellite communication system and the design structure matrix DSM data. The indicator association traceability model expresses the association relationship between the elements of the mission indicator model, the system level indicator model and the system level indicator model in the multi-level indicator model of the mission-system-system of the satellite communication system, and outputs the indicator association traceability model to the model consistency check submodule.

[0064] The model consistency check submodule performs consistency checks on the model elements in the indicator association traceability model and the model elements of each level corresponding to the model elements according to the mission indicator model, system level indicator model and system level indicator model of the satellite communication system. Among them, the model elements of each level corresponding to the model elements refer to the elements in the mission indicator model, system level indicator model and system level indicator model of the satellite communication system. Through the consistency check of the model consistency check submodule, it is ensured that the model elements in the indicator association traceability model are consistent with the model elements of each level.

[0065] The configuration of the indicator association traceability model construction module is to build an indicator association traceability model for the association relationship between the mission indicator model, the system level indicator model, and the system level indicator model in the satellite communication system mission-system-system unified model, and perform consistency checks on the multi-level indicator models.

[0066] (3) The indicator association fusion and traceability verification module includes: ontology knowledge model construction submodule, ontology knowledge model quantitative analysis submodule and ontology knowledge model reasoning query submodule.

[0067] The ontology knowledge model construction submodule is used to convert the mission-system-system multi-level indicator model and the indicator association traceability model into an ontology knowledge model, call the built-in model of the ontology knowledge model construction submodule to the ontology code generator, and export the multi-level indicator model and the indicator association traceability model into an ontology file in OWL format.

[0068] The ontology knowledge model quantitative analysis submodule is used to analyze the scale and volume of the components of the ontology knowledge model. The ontology model quantitative analyzer built into the ontology knowledge model quantitative analysis submodule is called to calculate and count the number of various elements in the ontology knowledge model to enhance knowledge understanding. The ontology model quantitative analysis displayer built into the ontology knowledge model quantitative analysis submodule is called to visualize the quantitative analysis results on the front-end interface.

[0069] The ontology knowledge model reasoning query submodule is used to retrieve the association relationship between the elements of the mission-system-system multi-level indicator model, and call the ontology model reasoning query built in the ontology knowledge model reasoning query submodule. Users can edit the reasoning query script to query other indicator elements associated with a certain indicator element in the multi-level indicator model, and input it into the ontology model reasoning query to obtain the reasoning query result.

[0070] The configuration of the indicator association fusion and traceability verification module is to convert the satellite communication system mission-system-system indicator model and the indicator association traceability model into an ontology knowledge model; to quantify and visualize the indicator elements in the ontology knowledge model; and to trace and verify the indicator elements in the ontology knowledge model.

[0071] For the indicator elements in the satellite communication system mission-system-system multi-level indicator model, an indicator correlation traceability model is constructed, that is, a design structure matrix. The multi-level indicator model and indicator correlation traceability model are transformed into an ontology knowledge model, and quantitative analysis and traceability verification are carried out.

[0072] The model building module and indicator association and traceability model building module of the functional layer realize the construction of the complex equipment mission-system-system multi-level indicator model and the expression of the multi-level indicator association relationship of the application layer. On this basis, the indicator association fusion and traceability verification module of the functional layer realizes the satellite communication system mission-system-system multi-level indicator model association fusion and traceability verification of the application layer.

[0073] 3. The application layer includes: the satellite communication system mission-system-system multi-level indicator model construction module, the satellite communication system mission-system-system multi-level indicator association relationship expression module and the satellite communication system mission-system-system multi-level indicator model association fusion and traceability verification module. The application layer is used to interact directly with the user. Based on the functional layer, through the user interface, it supports users to build the mission-system-system multi-level indicator model, express the association relationship between indicators, and associate, fuse and trace the constructed multi-level indicator model.

[0074] (1) A satellite communication system mission-system-system multi-level indicator model construction module, which is used to receive the mission indicator model, system-level indicator model and system-level indicator model created, edited and constructed by the user through the user interface.

[0075] (2) The satellite communication system mission-system-system multi-level indicator association relationship expression module is used to support users to create an indicator association traceability model through the user interface and describe the association relationship between indicator elements in the multi-level indicator model.

[0076] (3) The satellite communication system mission-system-system multi-level indicator model association fusion and traceability verification module is used to support users to export the multi-level indicator model and design structure matrix into an ontology knowledge model through the user interface, and realize the visualization of the ontology knowledge model, the display of the quantitative analysis results of the front-end ontology knowledge model, support users to perform reasoning queries, and realize the traceability verification of multi-level indicators.

[0077] The present invention provides a computer-readable storage medium, wherein a plurality of instructions are stored in the storage medium; the plurality of instructions are used for a processor to load and execute the method as described above.

[0078] An electronic device provided by the present invention comprises: a processor for executing multiple instructions; a memory for storing multiple instructions; wherein the multiple instructions are stored in the memory and loaded and executed by the processor according to the method described above.

[0079] Example

[0080] This embodiment provides a method for supporting complex system indicator association fusion and verification, which specifically includes the following steps:

[0081] S1, such as Figure 1 and Figure 2 As shown, the modeling object is clearly defined as the satellite communication system, and the mission, system requirements, domain knowledge, and modeling specifications of the satellite communication system are input. The indicators of the satellite communication system are decomposed hierarchically according to the mission-system-system.

[0082] S11. Define the modeling object as the satellite communication system, input the mission, system requirements, domain knowledge, and modeling specifications of the satellite communication system, and decompose the indicators of the satellite communication system hierarchically according to the mission-system-system.

[0083] At the mission level, the satellite communication system mission mainly includes: global communication coverage capability, multiple communication service support capability, etc. At the system level, the satellite communication system architecture includes: satellite part, ground station part and user terminal part, etc., and the structure includes the following capability indicators: coverage capability, capacity, information transmission capability, information processing capability, information protection capability, business service capability, adaptive capability and interoperability, etc. At the system level, the indicators of satellite system, ground station and user terminal system are analyzed respectively.

[0084] Among them, the satellite system includes the following indicators: ground coverage range, orbital coverage range, time coverage range, minimum elevation angle, average elevation angle, interruption rate, single-satellite access capacity, system access capacity, average access capacity, average access time, blocking rate, transmission rate, transmission delay, maximum communication time, bit error rate, call drop rate, packet loss rate, signal mediation and regeneration capability, anti-interference capability, anti-destruction capability, information security and confidentiality capability, resource scheduling capability, system reliability, mobile communication capability, standardization, and compatibility.

[0085] Among them, the ground station includes the following indicators: ground coverage range, time coverage range, average elevation angle, interruption rate, system access capacity, average access capacity, average access time, blocking rate, transmission rate, transmission delay, bit error rate, call drop rate, packet loss rate, signal mediation and regeneration capability, signal conversion and processing capability, anti-interference capability, anti-destruction capability, information security and confidentiality capability, resource scheduling capability, voice service capability, data service capability, image service capability, video service capability, security authentication capability, network interconnection and communication capability, terminal ease of use, system reliability, networking flexibility, publicness, standardization, and compatibility.

[0086] Among them, the user terminal system includes the following indicators: average access time, transmission rate, transmission delay, maximum communication time, bit error rate, call drop rate, packet loss rate, signal mediation and regeneration capability, anti-interference capability, information security and confidentiality capability, voice service capability, data service capability, image service capability, video service capability, security authentication capability, network interconnection and communication capability, terminal usability, system reliability, networking flexibility, mobile communication capability, publicness, standardization, and compatibility.

[0087] S12. Based on the existing satellite communication system mission-system-system meta-model library and system requirements, domain knowledge, modeling specifications, and indicator system analysis results, construct satellite communication system mission indicator model, system indicator model, and system indicator model.

[0088] S121, such as Figure 3 As shown in the figure, based on the mission and task metamodel in the mission and task-system-system metamodel library of the satellite communication system constructed above, as well as the system requirements, domain knowledge, modeling specifications, and indicator system analysis results, the satellite communication system mission and task indicator model is constructed based on the model construction module. Select the mission and task metamodel "mission and task indicator model" in the mission and task metamodel library; configure the label of the mission and task hierarchical model such as "satellite communication system mission and task indicator model" and the model unique id, and generate a blank model of the mission and task hierarchical model. Open the model canvas, instantiate the objects in the model such as "global communication coverage capability" and "multiple communication service support capability", "satellite communication system", etc. by dragging and dropping, establish the relationship between the model objects such as "satellite communication system" contains "global communication coverage capability" and "multiple communication service support capability", complete the construction of the "satellite communication system mission and task" model at the mission and task level of the satellite communication system, and output the satellite communication system mission model to the indicator association traceability model construction module.

[0089] S122, such as Figure 4As shown in the figure, based on the system indicator graph metamodel in the mission-system-system metamodel library of the satellite communication system constructed above, as well as the system requirements, domain knowledge, modeling specifications, and indicator system analysis results, the satellite communication system system indicator model is constructed based on the model construction module. Select the system indicator graph metamodel "system indicator model" in the mission-system metamodel library; configure the label of the system indicator model such as "satellite communication system system indicator model" and the model unique id; generate a blank model of the system level model. Open the model canvas, instantiate the objects in the model such as "coverage capability", "capacity", "information transmission capability", "information processing capability", "information protection capability" and "multiple communication service support capability", "satellite part", "ground station part" and "user terminal part" by dragging and dropping, establish the relationship between the model objects such as "satellite part" contains "information transmission capability" and "information processing capability", complete the construction of the "satellite communication system system indicator" model at the system level of the satellite communication system, and output the satellite communication system system indicator model to the indicator association traceability model construction module.

[0090] S123, such as Figure 5 As shown in the figure, based on the system indicator graph metamodel in the mission-system-system metamodel library of the satellite communication system constructed above, as well as the system requirements, domain knowledge, modeling specifications, and indicator system analysis results, the satellite communication system system indicator model is constructed based on the model construction module. Select the system indicator graph metamodel "system indicator model" in the mission-system metamodel library; configure the label of the system indicator model such as "satellite communication system system indicator model" and the model unique id; generate a blank model of the system level model. Open the model canvas, instantiate the objects in the model such as "satellite system", "ground station", "user terminal system", "information processing capability", "information protection capability" and "multiple communication service support capability", "satellite part", "ground station part", "orbital coverage" and "ground coverage" by dragging and dropping, establish the relationship between the model objects such as "satellite system" contains "ground coverage", "orbital coverage", "time coverage", "minimum elevation angle", "average elevation angle" and "interruption rate", etc., complete the construction of the "satellite communication system indicator" model at the satellite communication system level, and output the satellite communication system indicator model to the indicator association traceability model construction module.

[0091] S2. Construct an indicator correlation traceability model based on the correlation relationship between indicator elements in the mission, system, and system models in the multi-architecture unified model; perform consistency check of elements based on the indicator correlation traceability model, convert the satellite communication system mission-system-system multi-architecture indicator model and indicator correlation traceability model into an ontology knowledge model, and conduct quantitative analysis on the ontology knowledge model.

[0092] S21, such as Figure 6 As shown in the figure, the satellite communication system mission indicator model, system level indicator model and system level indicator model are input, the correlation between indicator models at each level is sorted out, and an indicator correlation traceability model is constructed based on the design structure matrix DSM to express the correlation between indicator models at each level; the name of the indicator correlation traceability model is configured, such as "satellite communication system mission-system-system indicator correlation relationship" and a unique id; model elements with correlation relationships are imported; the correlation between model elements is configured, such as "traceability" and "transfer", so as to realize the expression of correlation between indicator models at different levels and different indicator elements at the same level, and complete the construction of the satellite communication system indicator correlation traceability model; the indicator correlation traceability model, mission indicator model, system indicator model and system indicator model are output to the indicator correlation fusion and traceability verification module.

[0093] S22, the model consistency check submodule performs consistency check on the model elements in the association matrix model and the model elements of each level corresponding to the model elements according to the mission and task indicator model, system indicator model and system indicator model of the satellite communication system. Among them, the model elements of each level corresponding to the model elements refer to the elements in the mission and task indicator model, system indicator model and system indicator model of the satellite communication system, so as to ensure that the model elements in the association matrix model are consistent with the model elements in the level, obtain the mission and task indicator model instance, system level model instance, system level model instance and association matrix model, call the consistency check engine, perform model consistency check; output the model consistency check result to the console, and identify the inconsistent model instances in the association matrix model.

[0094] In the model construction module, by calling the mission-system-system indicator metamodel library, it supports the construction of mission indicator model, system-level indicator model, and system-level indicator model. The indicator association traceability model construction module calls the data of the mission indicator model construction, system-level indicator model construction, and system-level indicator model construction submodules, and engineers manually build the association relationship between indicators at each level to achieve the association traceability expression of model elements at different levels.

[0095] S3. To verify whether the mission, system indicators, and traceability relationship between system indicators of the satellite communication system involved meet the requirements, for example, whether the mission "global communication coverage capability" is delivered to the system requirements; whether the system-level indicators "coverage capability" and "information transmission capability" are delivered to the system requirements. Call the indicator association fusion and traceability verification module to perform traceability verification of the system's multi-level indicators.

[0096] S31, such as Figure 7As shown in the figure, obtain the mission indicator model, system level indicator model, system level indicator model and indicator association traceability model of the satellite communication system; choose to export as "KARMA OWL ontology"; configure the project where the mission-system-system multi-level indicator model and indicator association traceability model are located; configure the unique ID of the ontology knowledge model to be exported; configure the target address for the ontology knowledge model export; complete the construction of the ontology knowledge model, and output the ontology knowledge model to the ontology knowledge model quantitative analysis submodule; output the ontology knowledge model to the ontology knowledge model reasoning query submodule.

[0097] S32, such as Figure 8 As shown, the above ontology knowledge model is input into the ontology knowledge model quantitative analysis submodule, and the ontology model quantitative analyzer built into the ontology knowledge model quantitative analysis submodule is called to calculate and count the number of various elements in the ontology knowledge model; the ontology model quantitative analysis result displayer built into the ontology knowledge model quantitative analysis submodule is called to visualize the quantitative analysis results on the front-end interface.

[0098] S33, such as Fig. 9 As shown, the ontology knowledge model is input into the ontology knowledge model reasoning query submodule, and the ontology model reasoning query built in the ontology knowledge model quantitative analysis submodule is called to trace and verify the indicators. The user writes the indicator reasoning query script according to the reasoning script writing specification; the user inputs it into the ontology model reasoning query on the front page; the ontology model reasoning query displays the reasoning query result on the front end; the user modifies the model according to the reasoning query result. If the indicator reasoning query result is none, it means that there is an error in the indicator design process. There are two possibilities:

[0099] 1) If the indicator association traceability model is constructed during construction, and the association relationship of the indicator is forgotten, the engineer can make corresponding changes to the indicator association traceability model.

[0100] 2) The indicator design is redundant. Engineers can delete the indicator element in the indicator model where the indicator is located.

[0101] Through the interactive relationship between modules, the construction, traceability, and traceability verification of different levels of indicator models of complex equipment mission-system-system are integrated. It supports the construction of multi-level indicator models of complex system mission-system-system at the application layer, the expression of multi-level indicator correlation relationships of complex system mission-system-system, and the correlation fusion and traceability verification of indicator models of complex system mission-system-system.

[0102] Therefore, the present invention adopts the above-mentioned method and system for supporting the correlation fusion and verification of complex system indicators, which can solve the technical problems of the difficulty in constructing a multi-level heterogeneous indicator model for a complex system, expressing the correlation relationship between the elements of the multi-level heterogeneous indicator model, and tracing and verifying the multi-level heterogeneous indicators.

[0103] Finally, it should be noted that the above embodiments are only used to illustrate the technical solution of the present invention rather than to limit it. Although the present invention has been described in detail with reference to the preferred embodiments, those skilled in the art should understand that they can still modify or replace the technical solution of the present invention with equivalents, and these modifications or equivalent replacements cannot cause the modified technical solution to deviate from the spirit and scope of the technical solution of the present invention.

Claims

1. A system supporting complex system indicator association fusion and verification method, characterized by: Includes data layer, functional layer and application layer; The data layer is used to provide data support to the functional layer; the data layer is used to encapsulate the modeling language KARMA data, the design structure matrix DSM data and the OWL ontology data; In the data layer, there are the following functions: (1) The modeling language KARMA data provides data support for the mission indicator model construction submodule, system level indicator model construction submodule, and system level indicator model construction submodule in the functional layer model construction module, as well as the ontology knowledge model construction of the satellite communication system mission-system-system indicator model; (2) Design the structural matrix DSM data to construct the indicator association traceability model for the functional layer submodule to provide data support for constructing the indicator association traceability model and the ontology knowledge model for the satellite communication system mission-system-system indicator model; (3) OWL ontology data provides data support for the functional layer to visualize the ontology knowledge model, conduct quantitative analysis of the ontology knowledge model, and perform reasoning query on the ontology knowledge model for the mission-system-system indicator model of the satellite communication system; The functional layer includes: model construction module, indicator association traceability model construction module and indicator association fusion and traceability verification module; the functional layer constructs the satellite communication system mission indicator model, system level indicator model and system level indicator model by acquiring data from the data layer; In the functional layer, the model building module includes: mission task indicator model building submodule, system level indicator model building submodule and system level indicator model building submodule; In the functional layer, the indicator association traceability model construction module includes: an indicator association traceability model construction module and a consistency check module; In the functional layer, the indicator association fusion and traceability verification module includes: ontology knowledge model construction submodule, ontology knowledge model quantitative analysis submodule and ontology knowledge model reasoning query submodule; The application layer includes: a satellite communication system mission-system-system multi-level indicator model construction module, a satellite communication system mission-system-system multi-level indicator association relationship expression module, and a satellite communication system mission-system-system multi-level indicator model association fusion and traceability verification module; the application layer is used to interact directly with users. Based on the functional layer, through the user interface, it supports users to construct a mission-system-system multi-level indicator model, express the association relationship between indicators, and associate, fuse and trace the constructed multi-level indicator model. A method for supporting complex system indicator correlation fusion and verification includes the following steps: S1. Based on the domain knowledge and system requirements of satellite communication systems, sort out the multi-level indicators of the system; decompose the satellite communication system indicators layer by layer according to mission-system-system to obtain the system indicator system; based on the system indicator system, build a multi-level indicator model to uniformly describe the composition and decomposition relationship of indicators at each level; S2. Based on the constructed multi-level indicator model, sort out the mutual correlation between the multi-level indicators to obtain the indicator correlation pedigree; based on the indicator correlation pedigree and the multi-level indicator model, construct the indicator traceability matrix to realize the expression of the multi-level indicator correlation relationship; S3. By converting the constructed multi-level indicator model and indicator association traceability model into an ontology knowledge model, the association and fusion of system indicators can be achieved.

2. A system for supporting complex system indicator association fusion and verification method according to claim 1, characterized in that: The mission indicator model construction module, system-level indicator model design submodule and system-level indicator model design submodule of the model construction module, according to the satellite communication system indicator system obtained through analysis, sort out the mission element composition, system-level indicator element composition and system-level indicator element composition respectively; based on the domain knowledge and modeling specifications of the satellite communication system, construct the mission indicator model, system-level indicator model and system-level indicator model respectively, and obtain the satellite communication system mission-system-system multi-level indicator model.

3. A system for supporting complex system indicator association fusion and verification method according to claim 2, characterized in that: The configuration of the model building module is based on the mission, system requirements, domain knowledge, and modeling specifications of the satellite communication system, and the satellite communication system indicators are decomposed hierarchically according to the mission-system-system; Based on the indicator decomposition results, a satellite communication system mission indicator model, a satellite communication system system level indicator model and a satellite communication system subsystem level indicator model are constructed.

4. A system for supporting complex system indicator association fusion and verification method according to claim 1, characterized in that: The indicator association traceability model construction submodule in the indicator association traceability model construction module constructs an indicator association traceability model based on the association relationship between the mission indicator model, the system level indicator model and the system level indicator model in the mission-system-system indicator model of the satellite communication system and the design structure matrix DSM data; the indicator association traceability model expresses the association relationship between the elements of the mission indicator model, the system level indicator model and the system level indicator model in the multi-level indicator model of the mission-system-system of the satellite communication system, and outputs the indicator association traceability model to the model consistency check submodule; The model consistency check submodule performs consistency check on the model elements in the indicator association traceability model and the model elements of each level corresponding to the model elements according to the mission indicator model, system level indicator model and system level indicator model of the satellite communication system; among which, the model elements of each level corresponding to the model elements refer to the elements in the mission indicator model, system level indicator model and system level indicator model of the satellite communication system; through the consistency check of the model consistency check submodule, it is ensured that the model elements in the indicator association traceability model are consistent with the model elements of each level.

5. A system for supporting complex system indicator association fusion and verification method according to claim 4, characterized in that: The configuration of the indicator association traceability model construction module is to build an indicator association traceability model for the association relationship between the mission indicator model, the system level indicator model, and the system level indicator model in the satellite communication system mission-system-system unified model, and perform consistency checks on the multi-level indicator models.

6. A system for supporting complex system indicator association fusion and verification method according to claim 1, characterized in that: The ontology knowledge model construction submodule is used to convert the mission-system-system multi-level indicator model and the indicator association traceability model into an ontology knowledge model, call the built-in model of the ontology knowledge model construction submodule to the ontology code generator, and export the multi-level indicator model and the indicator association traceability model into an ontology file in OWL format; The ontology knowledge model quantitative analysis submodule is used to analyze the scale and volume of the components of the ontology knowledge model; the ontology model quantitative analyzer built into the ontology knowledge model quantitative analysis submodule is called to calculate and count the number of various elements in the ontology knowledge model to enhance knowledge understanding; Call the built-in ontology model quantitative analysis displayer of the ontology knowledge model quantitative analysis submodule to visualize the quantitative analysis results on the front-end interface; The ontology knowledge model reasoning query submodule is used to retrieve the association relationship between the elements of the mission-system-system multi-level indicator model, and call the ontology model reasoning query built in the ontology knowledge model reasoning query submodule. Users can edit the reasoning query script to query other indicator elements associated with a certain indicator element in the multi-level indicator model, and input it into the ontology model reasoning query to obtain the reasoning query result.

7. A system for supporting complex system indicator association fusion and verification method according to claim 1, characterized in that: The configuration of the indicator association fusion and traceability verification module is to convert the satellite communication system mission-system-system indicator model and the indicator association traceability model into an ontology knowledge model; to quantify and visualize the indicator elements in the ontology knowledge model; and to trace and verify the indicator elements in the ontology knowledge model.

8. The system for supporting complex system indicator association fusion and verification method according to claim 1, characterized in that: In the application layer, the following functions are provided: (1) A satellite communication system mission-system-system multi-level indicator model construction module, which is used to receive the mission indicator model, system-level indicator model and system-level indicator model created, edited and constructed by the user through the user interface; (2) Satellite communication system mission-system-system multi-level indicator association relationship expression module, which is used to support users to create an indicator association traceability model through the user interface and describe the association relationship between indicator elements in the multi-level indicator model; (3) The satellite communication system mission-system-system multi-level indicator model association fusion and traceability verification module is used to support users to export the multi-level indicator model and design structure matrix into an ontology knowledge model through the user interface, and realize the visualization of the ontology knowledge model, the display of the quantitative analysis results of the front-end ontology knowledge model, support users to perform reasoning queries, and realize the traceability verification of multi-level indicators.

Images