Method and system for dividing multiple control domains of software-defined large-scale satellite network

Abstract

The invention discloses a software-defined large-scale satellite network multi-control domain division method and system, and the method comprises the steps: 1, obtaining a corresponding formalized description according to an LEO satellite network, defining a reference topology template of a control domain, and enumerating all templates meeting a reference topology structure; 2, constructing a reliability condition and a comprehensive constraint according to the formal description of the LEO satellite network; step 3, judging whether the reference topology templates meet all-terminal reliability constraints and comprehensive constraints or not to obtain a plurality of reference topology templates meeting the constraints; and 4, traversing the starting points of the plurality of reference topology templates to obtain the reference topology template with the minimum population gathering index under the full-terminal reliability constraint and the comprehensive constraint and the corresponding topology division mode. The method is suitable for the LEO satellite network, especially for the application of large-scale constellations, effectively deals with the complexity of resource limitation, signal delay and network management, and provides a new control domain division strategy for the future satellite network architecture.

Description

Technical Field

[0001] The present invention relates to the field of satellite network technology, and in particular to a software-defined large-scale satellite network multi-control domain division method and system. Background Art

[0002] In traditional satellite networks, network configuration and management are often complicated due to resource limitations and signal delay issues. Software Defined Satellite Network (SDSN) is an emerging technology architecture that applies the concept of software defined networking (SDN) to satellite communication networks. By dividing the network into logically independent data and control planes, it realizes the abstraction of satellite resources and flexible and reliable network management. With the development of communication technology and the significant reduction in satellite manufacturing and launch costs, the scale of satellite networks is expanding. The emerging LEO giant constellation forms a large-scale network system by densely deploying small satellites. In view of the limited on-board processing capacity and the rapidly expanding satellite network scale, a distributed deployment strategy of multiple controllers is adopted. According to a specific partitioning strategy, the entire network is divided into several independent control domains, each of which is managed and controlled by a slave controller. These slave controllers are independent of each other and are uniformly managed by a global master controller. They work in a master-slave relationship. At present, the relevant research on SDSN mainly focuses on quality of service (QoS) guarantee, optimization algorithm for controller deployment, and network architecture design. However, little attention is paid to the main problem brought about by the introduction of SDN into large-scale LEO satellite networks, namely control domain partitioning.

[0003] In addition, large-scale satellite networks are located in an open and harsh space environment. They are not only exposed to multiple potential risks such as space debris, radiation, and solar storms, but may also become direct targets of military weapons. At the same time, small satellites using commercial off-the-shelf products have a short lifespan and are inherently more prone to hardware failures and functional failures. Some nodes may lose connection with the rest of the network due to link failures and topology changes, resulting in the network being divided into multiple independent sub-networks, and the communication links between these sub-networks are completely interrupted. Existing work formulates the control domain partitioning problem of software-defined satellite networks as a mixed integer nonlinear programming problem to minimize network overhead under constraints such as network resources and transmission requirements. However, existing methods do not consider the impact of node failures on control domain connectivity (i.e., reliable control domain partitioning under random failures of network links), especially in large-scale satellite networks where nodes and links frequently fail. At the same time, the existing control domain partitioning methods are complex to solve the topology of large-scale networks, and it is difficult to quickly obtain a feasible partitioning method. Summary of the invention

[0004] In order to at least partially solve the problem of reliable control domain division under random failure of network links and the problem that the existing control domain division method is complex to solve in large-scale network topology and difficult to quickly obtain a feasible division method, the present invention provides a software-defined large-scale satellite network multi-control domain division method and system. The present invention utilizes the highly regular topological structure of the satellite network to limit the control domain to a unified rectangular topology, which is called a baseline topology template. The baseline topology template constrains the topological shape of the control domain to a set of all possible local topological structures of a specific number of satellites, and quickly screens out topological templates that meet the control domain reliability and controller overhead constraints through enumeration. The starting point search aims to find a topological division method with the maximum coverage population concentration in a finite number of iterations based on the topological template, which solves the problem of reliable control domain division under random failure of network links and can quickly obtain a feasible division method.

[0005] In order to achieve the above object, the technical solution of the present invention is:

[0006] The first aspect of the present invention proposes a software-defined large-scale satellite network multi-control domain division method, comprising:

[0007] Step 1: Obtain the corresponding formal description according to the LEO satellite network, define the reference topology template of the control domain, and enumerate all templates that meet the reference topology structure according to the formal description to ensure the consistency of the control domain network topology;

[0008] Step 2: Construct reliability conditions and comprehensive constraints based on the formal description of the LEO satellite network to provide a basis for the division of the LEO satellite control domain;

[0009] Step 3: Determine whether the reference topology template satisfies the full terminal reliability constraint and the comprehensive constraint, and obtain multiple reference topology templates that satisfy the full terminal reliability constraint and the comprehensive constraint, which are used for preliminary screening of the reference topology templates;

[0010] Step 4: Traverse the starting points of multiple benchmark topology templates, obtain the benchmark topology template with the smallest population aggregation index under the full terminal reliability constraint and comprehensive constraint and the corresponding topology division method, and complete the division of multiple control domains.

[0011] Furthermore, the reference topology template includes an m×n rectangle.

[0012] Furthermore, the full terminal reliability constraint is expressed by the following formula:

[0013]

[0014] Among them, R i (G i ,p) is the control domain G iThe total terminal reliability, e is the control domain G i The total number of edges in N i is the number of edge cut sets with i edges, η is the minimum number of edges required for control domain connection, and p is the probability of failure of each link under random failure mode.

[0015] Furthermore, the comprehensive constraint is expressed by the following formula:

[0016]

[0017] 0<|V i |≤V max ,i=1,2,…,M

[0018] 2≤D i ≤D max ,i=1,2,…,M

[0019] Con(G i )=1,i=1,2,…,M

[0020]

[0021] V max ,D max ∈Z +

[0022] Among them, O master The management overhead of the main controller, is the management overhead in the ith control domain, O max is the preset maximum management overhead, ξ is the preset tolerance, |V i |For cluster C i The size of V max is the maximum size of the preset cluster, D i For cluster C i Diameter, D max is the preset maximum cluster diameter, C i The i-th cluster, x ik is a binary variable, Z + is a set of positive integers, G i For cluster C i The network topology representation of Con(G i ) is cluster C i connectivity.

[0023] Furthermore, the management overhead of the main controller is expressed by the following formula:

[0024]

[0025] Among them, s iis the communication cost from the ith control domain controller to the global master controller.

[0026] Furthermore, the management overhead in the i-th control domain is expressed by the following formula:

[0027]

[0028] Among them, c ij is the one-way communication cost from the jth satellite to its SDN controller in the i-th control domain.

[0029] Furthermore, the population concentration index is expressed by the following formula:

[0030]

[0031] Among them, f(G,t n ) is the population concentration index, P i is the total population under satellite coverage in the control domain, M is the total number of disjoint clusters, and t n is the nth time slot.

[0032] The second aspect of the present invention proposes a software-defined large-scale satellite network multi-control domain division system, which includes:

[0033] The reference topology template module is used to obtain the corresponding formal description according to the LEO satellite network, define the reference topology template of the control domain, and enumerate all templates that meet the reference topology structure according to the formal description, so as to ensure the consistency of the control domain network topology;

[0034] The constraint module is used to construct reliability conditions and comprehensive constraints based on the formal description of the LEO satellite network, which is used to provide a basis for the division of the LEO satellite control domain;

[0035] A judgment module is used to judge whether the reference topology template meets the full terminal reliability constraint and the comprehensive constraint, and obtain multiple reference topology templates that meet the full terminal reliability constraint and the comprehensive constraint, which are used for preliminary screening of the reference topology templates;

[0036] The partitioning module is used to traverse the starting points of multiple benchmark topology templates, obtain the benchmark topology template with the smallest population aggregation index under the full terminal reliability constraint and comprehensive constraint and the corresponding topology partitioning method, and complete the partitioning of multiple control domains.

[0037] The third aspect of the present invention proposes an electronic device, comprising a processor, a memory, and a computer program stored in the memory and configured to be executed by the processor. When the processor executes the computer program, it implements a software-defined large-scale satellite network multi-control domain division method as described in the first aspect above.

[0038] The fourth aspect of the present invention proposes a computer-readable storage medium, which includes a stored computer program, wherein when the computer program is running, the device where the storage medium is located is controlled to execute a software-defined large-scale satellite network multi-control domain division method as described in the first aspect above.

[0039] Beneficial effects of the present invention:

[0040] (1) The present invention uses the template concept to perform multi-control domain partitioning in a large-scale satellite network based on software-defined networking (SDN). By constructing a control domain reliability, overhead, and coverage population concentration model, the control domain is restricted to a rectangular topology of uniform size, achieving rapid verification and feasible partitioning in a large-scale network topology. The present invention optimizes the reliability and controller overhead of the control domain, while improving the coverage population concentration, and ensuring reliable control domain partitioning under random failures of network links.

[0041] (2) The present invention is applicable to LEO satellite networks, especially for large-scale constellation applications, and can effectively address resource limitations, signal delays, and the complexity of network management, providing a new control domain division strategy for future satellite network architectures. BRIEF DESCRIPTION OF THE DRAWINGS

[0042] Figure 1 One of the flowcharts of a method for dividing multiple control domains of a software-defined large-scale satellite network provided in an embodiment of the present invention.

[0043] Figure 2 The present invention provides a second flowchart of a method for dividing multiple control domains in a software-defined large-scale satellite network according to an embodiment of the present invention.

[0044] Figure 3 A schematic diagram of a software-defined satellite network architecture provided in an embodiment of the present invention.

[0045] Figure 4 A schematic diagram of a reference topology template search provided by an embodiment of the present invention.

[0046] Figure 5 A schematic diagram of a starting point location search provided by an embodiment of the present invention.

[0047] Figure 6 A schematic diagram of a control domain division method based on a template concept provided in an embodiment of the present invention.

[0048] Figure 7 An architectural diagram of a software-defined large-scale satellite network multi-control domain partitioning system provided in an embodiment of the present invention. DETAILED DESCRIPTION

[0049] In order to make the purpose, technical solution and advantages of the present invention clearer, the technical solution in the embodiment of the present invention will be clearly described below in conjunction with the drawings in the embodiment of the present invention. Obviously, the described embodiment is a part of the embodiment of the present invention, not all the embodiments. Based on the embodiments of the present invention, all other embodiments obtained by ordinary technicians in this field without creative work are within the scope of protection of the present invention.

[0050] Example 1

[0051] like Figure 1 and Figure 2 As shown, a method for dividing multiple control domains of a software-defined large-scale satellite network includes:

[0052] S101: Obtain a corresponding formal description according to the LEO satellite network, define a reference topology template of the control domain, and enumerate all templates that meet the reference topology structure according to the formal description.

[0053] Specifically, Figure 3 As shown in Figure 2, the data plane in SDSN is composed of LEO satellite constellations, and its formal description uses Walker coding. This means that the constellation consists of P evenly distributed circular orbital planes, and each orbital plane is evenly distributed satellites, the phase difference between satellites in adjacent orbital planes is F. The constellation network adopts a grid connection method. Each satellite is equipped with 4 laser terminals, which form laser inter-satellite links (ISL) with 4 satellites in the same orbital plane and adjacent orbital planes respectively. The controller of the control plane can be deployed on MEO satellites, GEO satellites or on the ground. With the development of on-board computing resources, the control function can even be implemented inside the LEO satellite to realize the function of in-band control.

[0054] By taking advantage of the repetitive patterns in the network topology, the topological shape of each control domain is constrained to the same local topological structure as other control domains. This design constrains the topological shape of the control domain to the set of all possible local topological structures of a specific number of satellites. Each such local topological structure is called a baseline topological template, and based on this concept, the topological shape of each control domain is unified to ensure the consistency of the control domain network topology. Figure 4 As shown in the figure, inspired by the grid-like topology of the LEO satellite network, the benchmark topology template is defined as an m×n rectangle G i (m,n), that is, each control domain is composed of m×n satellites. This pattern is repeated in the entire constellation, and finally s satellites are divided into l control domains.

[0055] After defining the topology template as a rectangle, it is easy to enumerate all feasible control domain topologies. Taking the Starlink first shell constellation WalkerCode (1584, 72, 1) as an example, the combination of m and n will not exceed 1584. Considering the constraints such as the control domain size and overhead, the actual solution space will be smaller.

[0056] S102: Construct reliability conditions and comprehensive constraints based on the formal description of the LEO satellite network.

[0057] Specifically, according to the formal description of the LEO satellite network, the LEO satellite network is modeled as a spatiotemporal graph G = {(V, E, T, N)}, where V is the total number of LEO satellites, E is the dynamically changing ISL set, T is the observation time range, and N is the number of time slots into which the observation time range is divided. Specifically, the observation time range T is divided into N time slots, represented as T = {t1, t2, …t N}. In time slot tn, for the space-time graph G(t n ) to form M disjoint clusters C = {C1, C2, ..., C M Each cluster C i The network topology is represented as G i (V i ,E i ), where V i is the i-th LEO satellite, E i is the ith ISL in the dynamically changing ISL set, satisfying In addition, when i≠j,

[0058] For the reliability measurement of the control domain, the full terminal connectivity indicator under random link failure is used. Under the random failure mode, the probability of failure of each link is p and they are independent of each other. i The total terminal reliability R i (G i ,p) is defined as the probability that there is a connected path between any two nodes in the network. The full terminal reliability constraint is expressed as follows:

[0059]

[0060] Among them, R i (G i ,p) is the control domain G i Full terminal reliability, N j is the number of edge cut sets with j edges, η is the minimum number of edges required for the control domain to be connected (i.e., the minimum number of edges whose removal will cause the control domain to be disconnected), p is the probability of failure of each link under random failure mode, e = |E i | is the control domain Gi The total number of edges in .

[0061] When the probability p is close enough to 0, all higher-order summation terms except the first-order summation term can be ignored, and R i (G i ,p) is simplified to:

[0062] R i (G i ,p)≈1-N η p n (1-p) e-η

[0063] In each control domain, the satellite acts as a forwarder, and the routing configuration is issued by the centralized SDN controller. Between control domains, each slave controller exchanges control information with the global master controller to maintain the consistency of the global network view, including routing information, status updates and other overhead. The management overhead in the i-th control domain increases with the increase in the number of managed satellites, expressed as:

[0064]

[0065] Among them, c ij is the one-way communication cost from the jth satellite to its SDN controller in the i-th control domain, s i represents the communication cost from the i-th control domain controller to the global master controller.

[0066] The management overhead of the host controller is defined as:

[0067]

[0068] Where M is the total number of disjoint clusters.

[0069] Unlike ground networks, the traffic demand of LEO satellite networks varies significantly in different regions due to the uneven distribution of population. In order to achieve a clear and stable routing domain in network routing, an intuitive idea is to divide satellites with high traffic correlation and short physical distance into the same control domain to reduce the average number of cross-domain hops and reduce the computational overhead of the main controller. The traffic load of a satellite is proportional to the population it covers. i The population concentration index is directly related to the distribution of traffic, so the population concentration index is used to measure the concentration trend of traffic distribution. The population concentration index is expressed by the following formula:

[0070]

[0071] Among them, f(G,t) is the population concentration index, t n is the nth time slot, M is the total number of disjoint clusters, is the total population under satellite coverage in the control area. i Equal and evenly distributed, f(G,t) reaches a maximum value of 1. When one of the P i The higher the proportion of the total, the smaller f(G,t) is and approaches 1 / M, and the more concentrated the traffic distribution is.

[0072] Based on the above constraints, we can get the comprehensive constraints, which are expressed by the following formula:

[0073]

[0074] 0<|V i |≤V max ,i=1,2,…,M

[0075] 2≤D i ≤D max ,i=1,2,…,M

[0076] Con(G i )=1,i=1,2,…,M

[0077]

[0078] V max ,D max ∈Z +

[0079] Among them, O master The management overhead of the main controller, is the management overhead in the ith control domain, O max is the preset maximum management overhead, ξ is the preset tolerance, |V i |For cluster C i The size of V, that is, the number of satellites in the cluster, max is the maximum size of the preset cluster, D i For cluster C i Diameter (C i The longest and shortest path number between any two satellites in the max is the preset maximum cluster diameter, C i The i-th cluster, x ik is a binary variable, which is 1 when node i belongs to cluster k, otherwise it is 0. + is a set of positive integers, G i For cluster C i The network topology representation of Con(G i ) is cluster C i connectivity.

[0080] S103: Determine whether the reference topology template satisfies the reliability constraint of all terminals and the comprehensive constraint, and obtain multiple reference topology templates that satisfy the reliability constraint of all terminals and the constraint conditions.

[0081] S104: traverse the starting points of multiple benchmark topology templates, obtain the benchmark topology template with the smallest population aggregation index under the full terminal reliability constraint and the comprehensive constraint and the corresponding topology division method, and complete the division of multiple control domains.

[0082] Specifically, the starting points of multiple reference topology templates are traversed, i.e., the starting point search. The starting point search aims to find a topology partitioning method with the best metric value based on the reference topology template. Due to the symmetry of the satellite constellation topology, some of the starting points are equivalent, such as Figure 5 For the rectangular topology template (3,3), when the starting point is set at (Orbit 1, Sat 1) and (Orbit 4, Sat 4), the control domain division method is equivalent. Finally, the search range of the starting point position is limited to the rectangular area formed by the satellite coordinates (Orbit 0, Sat 0) to (Orbit m, Sat n). It should be noted that when the number of orbits P is not divisible by m or the number of satellites in each orbit T / P is not divisible by n, a few control domains are allowed not to meet the baseline topology template, but all other constraints must still be met, otherwise the starting point is skipped from the search range.

[0083] The process of obtaining the benchmark topology template with the minimum population aggregation index under the full terminal reliability constraint and comprehensive constraint is expressed as follows:

[0084] Objective:

[0085] subject to C1:R i (G i ,p)≥R min ,i=1,2,…,M

[0086] C2:

[0087] C3:

[0088] C4: 0<|V i |≤V max ,i=1,2,…,M

[0089] C5: 2≤D i ≤D max ,i=1,2,…,M

[0090] C6: Con(G i )=1,i=1,2,…,M

[0091] C7:

[0092] C8: V max ,D max ∈Z +

[0093] Among them, C1 means that the total terminal reliability of each cluster after clustering is not less than the minimum value R min C2 requires management overhead of the global master controller O master and all the management overhead from the controller The sum does not exceed the preset maximum value O max C3 limits the difference between the overhead of the global master controller and the maximum management overhead in each cluster, ensuring that it does not exceed the set tolerance γ to ensure the balance of system management overhead. max and D max is the preset threshold of cluster size and diameter, |V i | greater than 0 ensures that the cluster is non-empty, D i At least 2 to ensure that each cluster has at least two ISLs connected to adjacent clusters to prevent a single link failure from causing cluster disconnection. To ensure clear topological boundaries between clusters, in C6, Con(G i ) is defined as cluster C i Connectivity. If C i If there is a path between any two satellites in the i )=1, otherwise Con(G i )=0. C7 x ik is a binary variable that equals 1 if node i belongs to cluster k and 0 otherwise.

[0094] like Figure 6 As shown, finally according to the best benchmark topology template (m * ,n * ) and the optimal starting point position (x * ,y * ) divides the network into multiple rectangular control domains of the same scale and size.

[0095] The present invention proposes a method for partitioning multiple control domains of a software-defined satellite network based on a template concept. The method decomposes the original control domain partition problem into two sub-problems, a topology template search and a starting point position search. The control domain is restricted to a unified rectangular topology by utilizing the highly regular topological structure of the satellite network, and is called a baseline topology template. The baseline topology template constrains the topological shape of the control domain to a set of all possible local topological structures of a specific number of satellites, and quickly screens out topological templates that meet the control domain reliability and controller overhead constraints through enumeration. The starting point search aims to find a topological partitioning method with maximum coverage population concentration in a finite number of iterations based on the topological template. The present invention ensures the partitioning of reliable control domains under random failures of network links, and realizes rapid verification and feasible partitioning in large-scale network topologies.

[0096] Example 2

[0097] Based on the above embodiments, Figure 7 As shown, an embodiment of the present invention provides a software-defined large-scale satellite network multi-control domain division system, including:

[0098] The benchmark topology template module is used to define the benchmark topology template of the control domain, obtain the corresponding formal description according to the LEO satellite network, and enumerate all templates that meet the benchmark topology structure according to the formal description;

[0099] The constraint module is used to construct reliability conditions and management overhead constraints based on the formal description of the LEO satellite network.

[0100] The judging module is used to judge whether the reference topology template satisfies the full terminal reliability constraint and the management overhead constraint, and obtain multiple reference topology templates that satisfy the full terminal reliability constraint and the management overhead constraint.

[0101] The partitioning module is used to traverse the starting points of multiple benchmark topology templates, obtain the benchmark topology template with the smallest population aggregation index and the corresponding topology partitioning method under the constraints of full terminal reliability and management overhead, and complete the partitioning of multiple control domains.

[0102] It should be noted that the software-defined large-scale satellite network multi-control domain division system provided in an embodiment of the present invention is to implement the above-mentioned software-defined large-scale satellite network multi-control domain division method. Its specific functions can be referred to the above-mentioned method embodiments and will not be repeated here.

[0103] Example 3

[0104] Based on the above embodiments, an embodiment of the present invention further provides a terminal device, including a processor, a memory, and a computer program stored in the memory and configured to be executed by the processor, wherein when the processor executes the computer program, a software-defined large-scale satellite network multi-control domain division method in the above embodiments is implemented.

[0105] The present invention also provides a computer-readable storage medium, which includes a stored computer program, wherein when the computer program is running, the device where the storage medium is located is controlled to execute a software-defined large-scale satellite network multi-control domain division method in the above embodiment.

[0106] In summary, the present invention uses the template concept to perform multi-control domain division in a large-scale satellite network based on software defined networking (SDN). By constructing a control domain reliability, overhead and coverage population concentration model, the control domain is restricted to a rectangular topology of uniform scale, and rapid verification and feasible division are achieved in a large-scale network topology. The present invention optimizes the reliability and controller overhead of the control domain, while improving the concentration of the coverage population, and ensuring reliable control domain division under random failure of network links. The present invention is suitable for LEO satellite networks, especially for applications for large-scale constellations, and effectively copes with resource constraints, signal delays and the complexity of network management, providing a new control domain division strategy for future satellite network architectures.

[0107] Finally, it should be noted that the above embodiments are only used to illustrate the technical solutions of the present invention, rather than to limit it. Although the present invention has been described in detail with reference to the aforementioned embodiments, those skilled in the art should understand that they can still modify the technical solutions described in the aforementioned embodiments, or make equivalent replacements for some of the technical features therein. However, these modifications or replacements do not deviate the essence of the corresponding technical solutions from the spirit and scope of the technical solutions of the embodiments of the present invention.

Claims

1. A method for dividing multiple control domains in a software-defined large-scale satellite network, characterized in that: include: Step 1: Obtain the corresponding formal description according to the LEO satellite network, define the benchmark topology template of the control domain, and enumerate all templates that meet the benchmark topology structure according to the formal description; Step 2: Construct reliability conditions and comprehensive constraints based on the formal description of the LEO satellite network; Step 3: Determine whether the reference topology template satisfies the full terminal reliability constraint and the comprehensive constraint, and obtain multiple reference topology templates that satisfy the full terminal reliability constraint and the comprehensive constraint; Step 4: Traverse the starting points of multiple benchmark topology templates, obtain the benchmark topology template with the smallest population aggregation index under the full terminal reliability constraint and comprehensive constraint and the corresponding topology division method, and complete the division of multiple control domains.

2. According to claim 1, a method for dividing multiple control domains of a software-defined large-scale satellite network is characterized in that: The reference topology template includes an m×n rectangle.

3. The method for dividing multiple control domains of a software-defined large-scale satellite network according to claim 1, characterized in that: The full terminal reliability constraint is expressed as follows: Among them, R i (G i ,p) is the control domain G i The total terminal reliability, e is the control domain G i The total number of edges in N i is the number of edge cut sets with i edges, η is the minimum number of edges required for control domain connection, and p is the probability of failure of each link under random failure mode.

4. The method for dividing multiple control domains of a software-defined large-scale satellite network according to claim 1, characterized in that: The comprehensive constraint is expressed as follows: 0<|V i |≤V max ,i=1,2,…,M 2≤D i ≤D max ,i=1,2,…,M Con(G i )=1,i=1,2,…,M V max ,D max ∈Z + Among them, O master The management overhead of the main controller, is the management overhead in the ith control domain, O max is the preset maximum management overhead, ξ is the preset tolerance, and |n| is the number of clusters C i The size of V max is the maximum size of the preset cluster, D i For cluster C i Diameter, D max is the preset maximum cluster diameter, C i The i-th cluster, x ik is a binary variable, Z + is a set of positive integers, G i For cluster C i The network topology representation of Con(G i ) is cluster C i connectivity.

5. A method for dividing multiple control domains in a software-defined large-scale satellite network according to claim 4, characterized in that: The management overhead of the main controller is expressed as follows: Among them, s i is the communication cost from the ith control domain controller to the global master controller.

6. The method for dividing multiple control domains of a software-defined large-scale satellite network according to claim 4, characterized in that: The management overhead in the i-th control domain is expressed by the following formula: Among them, c ij is the one-way communication cost from the jth satellite to its SDN controller in the i-th control domain.

7. The method for dividing multiple control domains of a software-defined large-scale satellite network according to claim 1, characterized in that: The population concentration index is expressed by the following formula: Among them, f(G,t n ) is the population concentration index, P i is the total population under satellite coverage in the control domain, M is the total number of disjoint clusters, and t n is the nth time slot.

8. A software-defined large-scale satellite network multi-control domain partitioning system, characterized in that: include: The reference topology template module is used to obtain the corresponding formal description according to the LEO satellite network, define the reference topology template of the control domain, and enumerate all templates that meet the reference topology structure according to the formal description; The constraint module is used to construct reliability conditions and comprehensive constraints based on the formal description of the LEO satellite network; A judgment module, used to judge whether the reference topology template satisfies the full terminal reliability constraint and the comprehensive constraint, and obtain multiple reference topology templates that satisfy the full terminal reliability constraint and the comprehensive constraint; The partitioning module is used to traverse the starting points of multiple benchmark topology templates, obtain the benchmark topology template with the smallest population aggregation index under the full terminal reliability constraint and comprehensive constraint and the corresponding topology partitioning method, and complete the partitioning of multiple control domains.

9. An electronic device, characterized in that: The method comprises a processor, a memory, and a computer program stored in the memory and configured to be executed by the processor, wherein when the processor executes the computer program, a software-defined large-scale satellite network multi-control domain division method as described in any one of claims 1 to 7 is implemented.

10. A computer-readable storage medium, characterized in that: The storage medium includes a stored computer program, wherein when the computer program is running, the device where the storage medium is located is controlled to execute a software-defined large-scale satellite network multi-control domain division method as described in any one of claims 1 to 7.

Images