Method for verifying DoDAF model of aviation equipment combat system architecture based on DM2 and OODA

Abstract

The invention discloses an aviation equipment combat system architecture DoDAF model verification method based on DM2 and OODA. The method comprises the following steps: firstly, carrying out DM2-based structure completeness verification on a DoDAF model; then, content completeness verification based on an OODA ring is carried out on the DoDAF model; and finally, carrying out data dynamic verification on the DoDAF model. According to the method, an effective programmed verification method is provided for aeronautical equipment system architecture model verification from the aspects of model structure completeness and content completeness, and the problem that traditional manual review based on texts lacks normalization is solved.

Description

Technical Field

[0001] The present invention belongs to the technical field of aviation equipment, and in particular relates to a DoDAF model verification method for aviation equipment combat system architecture based on DM2 and OODA. Background Art

[0002] As the model-based systems engineering (MBSE) method is gradually promoted in the design of aviation equipment combat system architecture, the Department of Defense Architecture Framework (DoDAF) is generally used as a guide for effective and standardized system architecture construction at home and abroad. Whether the data in the DoDAF model can fully and correctly describe the system content is first determined by the structural completeness and content completeness of the model data. At present, the verification of the aviation equipment combat system architecture model mainly focuses on the verification of the logical integrity level, which is insufficient in quickly adapting to battlefield changes and evaluating the dynamic performance of the model. The existing DoDAF model verification method often focuses on static analysis and ignores the dynamic adaptability of the model in the actual combat environment. In addition, the traditional verification process relies too much on manual review, which is time-consuming and easily affected by subjective judgment. When dealing with large-scale and highly interconnected combat systems, it often lacks sufficient flexibility and scalability, and it is difficult to support the verification of complex dynamic system architectures such as aviation equipment combat system architecture. Summary of the invention

[0003] In order to overcome the shortcomings of the prior art, the present invention provides a DoDAF model verification method for aviation equipment combat system architecture based on DM2 and OODA. First, the DoDAF model is verified for structural completeness based on DM2; then the DoDAF model is verified for content completeness based on the OODA loop; finally, the DoDAF model is dynamically verified for data. The present invention provides an effective procedural verification method for aviation equipment system architecture model verification from the perspective of model structural completeness and content completeness, making up for the lack of standardization of traditional text-based manual review.

[0004] The technical solution adopted by the present invention to solve the technical problem is as follows:

[0005] Step 1: Verify the structural integrity of the DoDAF model based on DM2;

[0006] Step 1-1: Construction of verification matrix based on DM2;

[0007] The elements of the DoDAF model include actors, activities, capabilities, resources, and rules. V is the set of all elements in the DoDAF model, and M is the set in the same order as V. Let v i ∈V,m j ∈M;

[0008] Construct the verification matrix A, element a in A ij The values ​​are:

[0009]

[0010] Step 1-2: Verify the structural integrity of the DoDAF model;

[0011] Verify the verification matrix A. Assuming that there are N elements in the set V, the verification expression of the i-th element is:

[0012]

[0013] when When , the structure of this element in the DoDAF model is complete. , then the structure of the element in the model is incomplete; thus, N verification matrices are constructed to verify each element in the set V one by one;

[0014] Step 2: Verify the content completeness of the DoDAF model based on the OODA loop;

[0015] Step 2-1: Construction of verification matrix based on OODA loop;

[0016] E represents the set of all active elements in the model, and F represents the set of the four elements of OODA; i ∈E,f j ∈F, create the overlapping matrix G, the element g in G ij The values ​​are:

[0017]

[0018] e i With f i Overlap refers to e i This activity belongs to a certain link of the OODA loop. The in-and-out resource flow refers to the resource exchange before and after the activity. If any pair of in-and-out resource flows are heterogeneous, it means that the resources enter the next link after this activity; if any pair of in-and-out resource flows are homogeneous, it means that the resources do not enter the next link of the OODA loop after the activity occurs, and this activity is not in the complete OODA loop.

[0019] Step 2-2: Verify the content completeness of the DoDAF model;

[0020] According to the constructed relationship matrix G, verify each data entity element respectively; assuming there are N elements in set E, the verification expression for the integrity of the active data content is:

[0021]

[0022] Among them, P represents the number of elements with heterogeneous resource flows in set E, and K j represents the number of elements with heterogeneous resource flows in set E corresponding to the j-th element in set F;

[0023] According to the OODA loop theory, if P = N and any K j ≥ 1, then all activities enable the flow of combat resources in the OODA loop, and a complete OODA loop can be formed among the activities; if P < N and any K j ≥ 1, it indicates that at least one activity is not in a complete OODA loop, and combat resources cannot enter the next link when passing through some activities, but there is a certain probability of a complete OODA loop; if P = N and there exists K j < 1, it indicates that all activities enable the flow of combat resources in the OODA loop, but a complete OODA loop cannot be formed among the activities; if P < N and there exists K j < 1, it indicates that at least one activity is not in a complete OODA loop, and combat resources cannot enter the next link when passing through this activity, and there is no complete OODA loop;

[0024] Step 3: Conduct dynamic data verification on the DoDAF model;

[0025] Step 3-1: Define combat tasks and nodes;

[0026] According to military requirements, clarify the overall goal, task system architecture and expected use of this military task; determine key combat tasks and key parameter indicators of combat nodes;

[0027] Step 3-2: Establish a combat activity model and add specific parameters;

[0028] Based on the combat task styles in the advanced combat concept model, further refine combat content and basic combat processes through OV-5b, including combat activities and their logical sequences, and implement them in the form of a swimlane diagram; add specific parameters to the model, such as fuel consumption rate, task completion rate, and key indicators of combat efficiency;

[0029] Step 3-3: Conduct simulation and deduction, obtain key indicators, and conduct comprehensive evaluation;

[0030] Use the established models and parameters to conduct simulations; during the simulation, automatically execute combat activities according to preset rules and parameters, record changes in key indicators, and display data through visualization tools. Evaluate the rationality of the combat activity model by analyzing the data recorded during the simulation, and make necessary adjustments and optimizations to the combat activity model based on the evaluation results.

[0031] A computer program, wherein the computer program enables a computer to execute the DoDAF model verification method.

[0032] An electronic device comprises: a processor and a memory; the memory is used to store a computer program, and the processor is used to execute the computer program stored in the memory, so that the electronic device executes the above-mentioned DoDAF model verification method.

[0033] A computer-readable storage medium stores a computer program, which implements the DoDAF model verification method when executed by a processor.

[0034] A chip includes: a processor, which is used to call and run a computer program from a memory, so that a device equipped with the chip executes the above-mentioned DoDAF model verification method.

[0035] A computer program product, the computer program product comprising a computer storage medium storing a computer program, the computer program comprising instructions executable by at least one processor, and the DoDAF model verification method is implemented when the instructions are executed by the at least one processor.

[0036] The beneficial effects of the present invention are as follows:

[0037] The present invention provides an effective procedural verification method for the aviation equipment system architecture model verification from the perspective of model structure completeness and content completeness, making up for the lack of standardization in traditional text-based manual review. Based on the cross-linking relationship between the elements in DM2, a mathematical verification matrix based on DM2 is constructed; based on the resource exchange relationship of combat activities in the OODA loop as a theoretical basis, a mathematical verification matrix based on the OODA loop is constructed. The above matrix provides theoretical support for the verification of each element in the model and can be applied to different aviation equipment system architecture DoDAF models. BRIEF DESCRIPTION OF THE DRAWINGS

[0038] Figure 1 It is an implementation flow chart of the present invention;

[0039] Figure 2 is a schematic diagram of a high-level operational concept model of an embodiment of the present invention;

[0040] Figure 3 is a schematic diagram of a combat resource flow description model according to an embodiment of the present invention;

[0041] Figure 4 is a schematic diagram of a combat activity decomposition model according to an embodiment of the present invention;

[0042] Figure 5 is a schematic diagram of a capability classification model according to an embodiment of the present invention;

[0043] Figure 6 is a schematic diagram of a combat resource flow description model supplemented by an embodiment of the present invention;

[0044] Figure 7 is a schematic diagram of a combat activity model according to an embodiment of the present invention;

[0045] Figure 8 It is a curve diagram of oil volume variation at each combat node when the number of refueling racks is 1 in an embodiment of the present invention;

[0046] Fig. 9 This is a curve diagram of oil volume changes at each combat node when the number of refueling racks is 2 according to an embodiment of the present invention. DETAILED DESCRIPTION

[0047] The present invention is further described below in conjunction with the accompanying drawings and embodiments.

[0048] The purpose of this invention is to address the verification problem of the DoDAF model of the aviation equipment combat system architecture. From the perspective of model structure completeness and content completeness, a procedural aviation equipment system architecture model verification method is proposed to make up for the lack of standardization of traditional text-based manual review. At the same time, it should have the characteristics of good interpretability and strong applicability.

[0049] In order to overcome the shortcomings of the prior art, according to the purpose of the present invention, a DoDAF model verification method for aviation equipment combat system architecture based on DM2 and OODA is proposed. The implementation process is as follows: Figure 1 As shown, the process mainly includes the following steps.

[0050] Step 1: Verify the structural integrity of the DoDAF model based on DM2.

[0051] Step 1.1: Construction of verification matrix based on DM2.

[0052] The DoDAF model is usually constructed from a variety of elements, including executors, activities, capabilities, resources, rules, etc. V is the set of all elements in the DoDAF model, and M is the set in the same order as V. i ∈V,m j ∈M. From Table 1, we can construct the verification matrix A, and the element a in A ij The values ​​are:

[0053]

[0054] where v i With m j Whether there is overlap is determined by Table 1.

[0055] Table 1 DM2 instance of DoDAF model

[0056]

[0057] Step 1.2: Verify the structural integrity of the DoDAF model.

[0058] Verify the verification matrix A constructed above. Assuming that there are N elements in the set V, the verification expression of the i-th element is:

[0059]

[0060] when When , the structure of the element in the model is complete. When , the structure of the element in the model is incomplete. Therefore, N verification matrices can be constructed to verify each element in the set V one by one.

[0061] Step 2: Verify the content completeness of the DoDAF model based on the OODA loop.

[0062] Step 2.1: Construction of verification matrix based on OODA loop.

[0063] On the basis of verifying the structural integrity of the model, the model content is verified with operational activities as the entry point. According to the OODA loop operational rules, it is first necessary to verify whether the inflow and outflow resource flows of each activity are heterogeneous resource flows, that is, whether the resource flows have entered the next link; secondly, it is necessary to verify whether there are at least four different activities in the entire system architecture that belong to the OODA loop. Based on this, E represents the set of all activity elements in the model, and F represents the set of the four OODA elements. Among them, e i ∈E,f j ∈F, create the overlapping matrix G, the element g in G ij The values ​​are:

[0064]

[0065] e i With f i Overlap refers to e iThis activity belongs to a certain link of the OODA loop. The in-out resource flow refers to the resource exchange before and after the activity. If any pair of in-out resource flows is heterogeneous, it indicates that the resources enter the next link after this activity; if any pair of in-out resource flows is homogeneous, it indicates that the resources do not enter the next link of the OODA loop after the activity occurs, and this activity is not located in the complete OODA loop.

[0066] Step 2.2: Verify the content completeness of the DoDAF model.

[0067] According to the constructed relationship matrix, verify each data entity element respectively. Assume that there are N elements in the E set, then the verification expression for the integrity of the activity data content is:

[0068]

[0069] According to the OODA loop theory, if P = N and any K j >= 1, then all activities can transfer combat resources in the OODA loop, and a complete OODA loop can be formed among the activities; if P < N and any K j >= 1, it indicates that at least one activity is not in a complete OODA loop, and combat resources cannot enter the next link when passing through some activities, but there may still be a complete OODA loop; if P = N and there exists K j < 1, it indicates that all activities can transfer combat resources in the OODA loop, but a complete OODA loop cannot be formed among the activities; if P < N and there exists K j < 1, it indicates that at least one activity is not in a complete OODA loop, and combat resources cannot enter the next link when passing through this activity, and there is no complete OODA loop.

[0070] Step 3: Verify the data dynamics of the DoDAF model.

[0071] Step 3.1: Define the combat mission and nodes.

[0072] First of all, it is necessary to clarify the overall goal, mission system architecture and expected use of this military mission according to military requirements. Determine the key combat missions, combat nodes (such as command agencies, weapons and equipment, etc.) and key parameter indicators.

[0073] Step 3.2: Establish a combat activity model and add specific parameters.

[0074] In view of the combat mission style in the advanced combat concept model, OV-5b is used to further refine the combat content and basic combat process, including the main combat activities and their logical sequence, usually in the form of a swim lane diagram. Specific parameters are added to the model, such as fuel consumption rate, mission completion, combat efficiency and other key indicators.

[0075] Step 3.3: Conduct simulation, obtain key indicators, and conduct comprehensive evaluation.

[0076] Use the established models and parameters to conduct simulations. During the simulation, combat activities are automatically performed according to preset rules and parameters, and changes in key indicators are recorded and displayed through visualization tools. By analyzing the data recorded during the simulation, the rationality of the combat activity model is evaluated, and based on the evaluation results, the combat activity model is adjusted and optimized as necessary, such as changing the order of combat tasks, adjusting resource allocation, or improving combat strategies.

[0077] Example:

[0078] Assume that in the mission, the tanker provides fuel to the bombers and fighters at a distance of 1500km from the take-off point, the fighters provide escort for the tanker and bombers, and command the bombers to carry out air-to-surface strikes on the blue side's surface ships at a target point 1100km away from the refueling point. The DoDAF model constructed for this mission is used as an example for model verification. The specific model is as follows Figure 2 to Figure 5 , as shown in Table 2.

[0079] Table 2 OV-6a combat rules model

[0080]

[0081]

[0082] Step 1: Verify the structural integrity of the DoDAF model based on DM2. First, summarize the elements in the DoDAF model as shown in Table 3.

[0083] Table 3 Summary of elements of combat system architecture

[0084]

[0085] The DM2 verification matrix based on combat elements is as follows:

[0086]

[0087] Verifying this matrix yields:

[0088]

[0089] From this result, we can see that the structural element with the executor as the core is complete. Verifying with combat activities as the core element, we can get the binary matrix:

[0090]

[0091] Verifying this matrix yields:

[0092]

[0093] From this result, we can see that the third, fifth, tenth and thirteenth activities are not complete. Analysis of the reasons shows that the third and fifth activities are structurally incomplete due to the lack of corresponding fuel resources, and the tenth and thirteenth activities are structurally incomplete due to the lack of corresponding flight status information.

[0094] Step 2: Verify the content completeness of the DoDAF model based on the OODA loop.

[0095] When verifying the OODA loop based on the structural completeness, you can use any of the three elements, executors, activities, and capabilities, as the entry point for verification. Here, activities are used as the entry point for verification. First, complete the missing resource flows, such as Figure 6 shown.

[0096] The verification matrix based on the OODA loop is constructed as follows:

[0097]

[0098] Verifying this matrix yields

[0099] P=14

[0100] K j =(11111)

[0101] From this result, we can see that from the perspective of the OODA loop, the content of the combat system architecture model can support combat strike missions, so the content of the combat system architecture model is complete.

[0102] Step 3: Dynamically verify the data of the DoDAF model.

[0103] First, set the parameters of the combat aircraft, the data are shown in Table 4.

[0104] Table 4 Setting parameters for each aircraft

[0105]

[0106] By building the OV-5b view in the DoDAF model, key parameters are added to each activity to perform automated simulations based on data. Figure 7 shown.

[0107] The model is simulated, and the changes in the fuel volume of each aircraft are shown as follows: Figure 8 , Fig. 9 shown.

[0108] From the results, we can see that when the number of tankers is 1, the fuel volume when the tanker returns is -2.8 tons, that is, the remaining fuel after refueling the fighters and bombers cannot support their return, so the combat activities cannot be completed in actual situations; when the number of tankers is 2, the fuel volume of any combat node at any time in the combat activities is positive, that is, the combat activities can be completed in actual situations.

[0109] From the obtained results, it can be seen that due to the comprehensive consideration of the structural completeness, content completeness and practical rationality of the model, the aviation equipment system architecture DoDAF model can be effectively verified, and the redundant or missing elements in the model can be found, which has a good verification effect.

Claims

1. A DoDAF model verification method for aviation equipment combat system architecture based on DM2 and OODA, characterized in that: The steps include: Step 1: Verify the structural integrity of the DoDAF model based on DM2; Step 1-1: Construction of verification matrix based on DM2; The elements of the DoDAF model include actors, activities, capabilities, resources, and rules. V is the set of all elements in the DoDAF model, and M is the set in the same order as V. Let v i ∈V,m j ∈M; Construct the verification matrix A, element a in A ij The values ​​are: Step 1-2: Verify the structural integrity of the DoDAF model; Verify the verification matrix A. Assuming that there are N elements in the set V, the verification expression of the i-th element is: when When , the structure of this element in the DoDAF model is complete. , then the structure of the element in the model is incomplete; thus, N verification matrices are constructed to verify each element in the set V one by one; Step 2: Verify the content completeness of the DoDAF model based on the OODA loop; Step 2-1: Construction of verification matrix based on OODA loop; E represents the set of all active elements in the model, and F represents the set of the four elements of OODA; i ∈E,f j ∈F, create the overlapping matrix G, the element g in G ij The values ​​are: e i With f i Overlap refers to e i This activity belongs to a certain link of the OODA loop. The in-and-out resource flow refers to the resource exchange before and after the activity. If any pair of in-and-out resource flows are heterogeneous, it means that the resources enter the next link after this activity; if any pair of in-and-out resource flows are homogeneous, it means that the resources do not enter the next link of the OODA loop after the activity occurs, and this activity is not in the complete OODA loop. Step 2-2: Verify the content completeness of the DoDAF model; According to the constructed relationship matrix G, each data entity element is verified respectively; assuming that there are N elements in the set E, the verification expression for the integrity of the active data content is: Where P represents the number of heterogeneous elements in the resource flow in set E, K j represents the number of heterogeneous elements in the E set corresponding to the jth element in the F set; According to the OODA loop theory, if P = N and any K j >= 1, then all activities enable the flow of combat resources within the OODA loop, and a complete OODA loop can be formed among the activities; if P < N and any K j >= 1, it indicates that at least one activity is not in a complete OODA loop. When combat resources pass through some activities, they cannot enter the next link, but there is a certain probability that a complete OODA loop exists; if P = N and there exists K j < 1, it indicates that all activities enable the flow of combat resources within the OODA loop, but a complete OODA loop cannot be formed among the activities; if P < N and there exists K j < 1, it indicates that at least one activity is not in a complete OODA loop. When combat resources pass through this activity, they cannot enter the next link, and there is no complete OODA loop; Step 3: Dynamically verify the data of the DoDAF model; Step 3-1: Clarify combat tasks and nodes; Clarify the overall objectives, mission system architecture and expected use of this military mission based on military needs; determine key combat missions and key parameter indicators of combat nodes; Step 3-2: Establish a combat activity model and add specific parameters; Based on the combat mission style in the advanced combat concept model, the combat content and basic combat process are further refined through OV-5b, including combat activities and their logical sequence, in the form of a swim lane diagram; specific parameters are added to the model, such as fuel consumption rate, mission completion, and key indicators of combat efficiency; Step 3-3: Conduct simulation, obtain key indicators, and conduct comprehensive evaluation; Use the established models and parameters to conduct simulations; During the simulation, combat activities are automatically executed according to preset rules and parameters, and the changes in key indicators are recorded and displayed through visualization tools. The rationality of the combat activity model is evaluated by analyzing the data recorded during the simulation, and necessary adjustments and optimizations are made to the combat activity model based on the evaluation results.

2. A computer program, characterized in that The computer program enables a computer to execute the method as claimed in claim 1.

3. An electronic device, characterized in that: include: Processor and memory; The memory is used to store a computer program, and the processor is used to execute the computer program stored in the memory, so that the electronic device executes the method as claimed in claim 1.

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

5. A chip, characterized in that: include: A processor, used to call and run a computer program from a memory, so that a device equipped with the chip executes the method as claimed in claim 1.

6. A computer program product, characterized in that The computer program product comprises a computer storage medium storing a computer program, wherein the computer program comprises instructions executable by at least one processor, and when the instructions are executed by the at least one processor, the method according to claim 1 is implemented.

Images