A software-defined massive satellite network multi-control domain partitioning method and system

Abstract

The application discloses a software-defined large-scale satellite network multi-control domain division method and system, which comprises the following steps: step one, obtaining the corresponding formal description according to the LEO satellite network, defining the benchmark topology template of the control domain, and enumerating all templates meeting the benchmark topology structure; step two, constructing the reliability condition and comprehensive constraint according to the formal description of the LEO satellite network; step three, judging whether the benchmark topology template meets the full-terminal reliability constraint and the comprehensive constraint, and obtaining multiple benchmark topology templates meeting the constraint; and step four, traversing the starting points of the multiple benchmark topology templates, and obtaining the benchmark topology template and the corresponding topology division mode with the minimum population aggregation index under the full-terminal reliability constraint and the comprehensive constraint. The application is suitable for the LEO satellite network, especially for large-scale constellation applications, effectively deals with the complexity of resource limitation, signal delay and network management, and provides a new control domain division strategy for future satellite network architecture.

Description

TECHNICAL FIELD

[0001] The present application relates to the technical field of satellite network, and particularly relates to a software-defined large-scale satellite network multi-control domain division method and system. BACKGROUND

[0002] In the traditional satellite network, network configuration and management are often complex due to resource limitations and signal delay problems. Software-defined satellite network (SDSN) is a new technology architecture that applies the concept of software-defined network (SDN) to satellite communication network. By dividing the network into logically independent data and control planes, the abstraction of satellite resources and the flexible and reliable network management are realized. With the development of communication technology and the significant reduction of satellite manufacturing and launching costs, the scale of satellite network is expanding. The emerging LEO mega-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 scale of satellite network, a distributed deployment strategy of multiple controllers is adopted. According to a specific division strategy, the entire network is divided into several independent control domains, and each domain 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, and work collaboratively in a master-slave relationship. At present, the related researches on SDSN mainly focus on the quality of service (QoS) guarantee, the optimization algorithm of controller deployment, and the network architecture design. However, little attention is paid to the main problem brought by the introduction of SDN into large-scale LEO satellite network, i.e. control domain division.

[0003] In addition, the large-scale satellite network is in an open and harsh space environment, which not only faces many potential risks such as space debris, radiation and solar storm, but also may become a direct target of military weapons. At the same time, the small satellites using commercial off-the-shelf components have a shorter life and are more prone to hardware failure and functional failure in nature. Some nodes may lose connection with other parts of the network due to link failure and topology change, resulting in the network being divided into multiple independent sub-networks, and the communication links between these sub-networks being completely interrupted. The existing work formulates the software-defined satellite network control domain division problem as a mixed integer nonlinear programming problem to minimize the network overhead under the constraints of network resources and transmission requirements. However, the existing method does not consider the influence of node failure on the connectivity of control domain (i.e. reliable control domain division under random failure of network links), especially in large-scale satellite networks where nodes and links frequently fail. At the same time, the existing control domain division method is complex to solve for large-scale network topology, and it is difficult to quickly obtain a feasible division method. SUMMARY

[0004] In order to at least partially solve the reliable control domain division under the random failure of network link and the problem that the existing control domain division method is applied to large-scale network topology and is complex to solve, the application provides a software-defined large-scale satellite network multi-control domain division method and system, the application utilizes the highly regular topology structure of the satellite network, limits the control domain to a unified rectangular topology, and is called a reference topology template. The reference topology template restricts the topology shape of the control domain in the set of all possible local topology structures of a specific number of satellites, and quickly screens out the topology template meeting the control domain reliability and controller overhead constraints through enumeration. The starting point search aims to find the topology division mode with the maximum population concentration in a limited number of iterations according to the topology template, solves the reliable control domain division problem under the random failure of network link, and can quickly obtain a feasible division mode.

[0005] In order to achieve the above-mentioned purpose, the technical scheme of the application is:

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

[0007] Step one: according to the corresponding formal description of the LEO satellite network, define the reference topology template of the control domain, and enumerate all templates meeting the reference topology structure according to the formal description, so as to facilitate the consistency of the control domain network topology;

[0008] Step two: construct the reliability condition and the comprehensive constraint according to the formal description of the LEO satellite network, to provide a basis for the division of the LEO satellite control domain;

[0009] Step three: judge whether the reference topology template meets the full-terminal reliability constraint and the comprehensive constraint, obtain a plurality of reference topology templates meeting the full-terminal reliability constraint and the comprehensive constraint, and use the reference topology templates to preliminarily screen the reference topology templates;

[0010] Step four: traverse the starting points of the plurality of reference topology templates, obtain the reference topology template with the minimum population aggregation index under the full-terminal reliability constraint and the comprehensive constraint and the corresponding topology division mode, and complete the division of the plurality of control domains.

[0011] Further, the reference topology template comprises an m*n rectangle.

[0012] Further, the full-terminal reliability constraint is represented by the following formula:

[0013]

[0014] Wherein, R i (G i , p) is the control domain G itotal edges in the control domain G i total edges in the control domain G i is the number of edge cut sets with i edges, η is the minimum number of edges needed for the control domain connection, and p is the probability of each link failure under random failure mode.

[0015] Further, 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] where O master is the management overhead of the master controller, is the management overhead in the i-th control domain, O max is the preset maximum management overhead, ξ is the preset tolerance, |V i | is the size of the cluster C i , V max is the preset maximum size of the cluster, D i is the diameter of the cluster C i , D max is the preset maximum diameter of the cluster, C i is the i-th cluster, x ik is a binary variable, Z + is a set of positive integers, G i is the network topology representation of the cluster C i , and Con(G i ) is the connectivity of the cluster C i .

[0023] Further, the management overhead of the master controller is expressed by the following formula:

[0024]

[0025] where s iThe communication cost of the i-th control domain controller to the global master controller.

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

[0027]

[0028] Wherein, c ij The one-way communication cost of the j-th satellite in the i-th control domain to its SDN controller.

[0029] Further, the population aggregation index is represented by the following formula:

[0030]

[0031] Wherein, f(G, t n ) is the population aggregation index, P i is the total population under the satellite coverage in the control domain, M is the total number of disjoint clusters, t n is the n-th time slot.

[0032] The second aspect of the present application provides a software-defined large-scale satellite network multi-control domain division system, comprising:

[0033] A reference topology template module is configured to obtain a corresponding formal description according to a LEO satellite network, define a reference topology template of a control domain, enumerate all templates satisfying the reference topology structure according to the formal description, and facilitate to ensure the consistency of the control domain network topology.

[0034] A constraint module is configured to construct reliability conditions and comprehensive constraints according to the formal description of the LEO satellite network, and provide a basis for the division of the LEO satellite control domain.

[0035] A judgment module is configured to judge whether the reference topology template satisfies the full-terminal reliability constraint and the comprehensive constraint, obtain a plurality of reference topology templates satisfying the full-terminal reliability constraint and the comprehensive constraint, and perform preliminary screening on the reference topology template.

[0036] A division module is configured to traverse the starting points of the plurality of reference topology templates, obtain a reference topology template with the minimum population aggregation index under the full-terminal reliability constraint and the comprehensive constraint and a corresponding topology division mode, and complete the division of the plurality of control domains.

[0037] The third aspect of the present application provides an electronic device, comprising a processor, a memory, and a computer program stored in the memory and configured to be executed by the processor, wherein the processor implements the software-defined large-scale satellite network multi-control domain division method according to the first aspect when executing the computer program.

[0038] The fourth aspect of the present application provides a computer readable storage medium, the storage medium comprising a stored computer program, wherein the computer program controls the device where the storage medium is located to perform the software-defined large-scale satellite network multi-control domain division method according to the first aspect above when the computer program is running.

[0039] The beneficial effects of the present application are:

[0040] (1) The present application uses the template idea to divide the multi-control domain in the large-scale satellite network based on software-defined network (SDN). By constructing the control domain reliability, the cost and the population concentration model, the control domain is limited to a rectangular topology of uniform size, and the rapid verification and feasible division are realized in the large-scale network topology. The present application optimizes the reliability and the controller cost of the control domain, and improves the population concentration, and guarantees the reliable control domain division under the random failure of the network link.

[0041] (2) The present application is suitable for LEO satellite network, especially for large-scale constellation application, 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. BRIEF DESCRIPTION OF DRAWINGS

[0042] Figure 1 One of the flowcharts of the software-defined large-scale satellite network multi-control domain division method provided by the embodiment of the present application.

[0043] Figure 2 The second flowchart of the software-defined large-scale satellite network multi-control domain division method provided by the embodiment of the present application.

[0044] Figure 3 The schematic diagram of the software-defined satellite network architecture provided by the embodiment of the present application.

[0045] Figure 4 The schematic diagram of the benchmark topology template search provided by the embodiment of the present application.

[0046] Figure 5 The schematic diagram of the starting point position search provided by the embodiment of the present application.

[0047] Figure 6 The schematic diagram of the control domain division mode based on the template idea provided by the embodiment of the present application.

[0048] Figure 7 The architecture diagram of the software-defined large-scale satellite network multi-control domain division system provided by the embodiment of the present application. DETAILED DESCRIPTION

[0049] In order to make the objects, technical solutions and advantages of the present application clearer, the technical solutions in the embodiments of the present application will be clearly described below with reference to the drawings in the embodiments of the present application. Obviously, the described embodiments are some but not all of the embodiments of the present application. Based on the embodiments in the present application, all other embodiments obtained by those of ordinary skill in the art without creative work fall within the protection scope of the present application.

[0050] Embodiment 1

[0051] As shown in Figure 1 and Figure 2 , a software-defined massive satellite network multi-control domain division method comprises the following steps:

[0052] S101: obtaining a corresponding formal description according to a LEO satellite network, defining a reference topology template of a control domain, and enumerating all templates satisfying the reference topology structure according to the formal description.

[0053] Specifically, as shown in Figure 3 , the data plane in the SDSN is composed of a LEO satellite constellation, and the formal description adopts Walker coding , which means that the constellation is composed of P uniformly distributed circular orbital planes, and P / 2 satellites are uniformly distributed on each orbital plane, and the phase difference of satellites in adjacent orbital planes is F. The constellation networking adopts a grid connection mode, and each satellite is equipped with four laser terminals to form laser inter-satellite links (ISLs) with four satellites in the same orbital plane and four satellites in the adjacent orbital plane. The controllers in the control plane can be deployed on MEO satellites, GEO satellites or 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 using the repeated mode in the network topology, the topology shape of each control domain is limited to the same local topology structure as other control domains. This design restricts the topology shape of the control domain within the set of all possible local topology structures of a certain number of satellites. Each such local topology structure is called a reference topology template, and the topology shape of each control domain is unified based on this concept, thereby ensuring the consistency of the control domain network topology. As shown in Figure 4 , inspired by the grid-like characteristics of the LEO satellite network topology, the reference topology template is defined as an m×n rectangle G i (m,n), that is, each control domain is composed of m×n satellites, and the mode 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 combinations of m and n will not exceed 1584. Considering constraints such as control domain size and overhead, the actual solution space will be even smaller.

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

[0057] Specifically, based on 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 set of ISLs, 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 spatiotemporal graph G(t n Cluster the data to form M disjoint clusters C = {C1, C2, ..., Cn}. M Each cluster C i The network topology is represented as G i (V i E i ), where V i For the i-th LEO satellite, E i For the i-th ISL in a dynamically changing set of ISLs, satisfying Furthermore, when i ≠ j,

[0058] For the reliability metric of the control domain, the all-terminal connectivity index under random link failures is used. In the random failure mode, the probability of each link failure is p, and they are independent of each other. Control domain G i Full-terminal reliability R i (G i The probability that p) is a connected path exists between any two nodes in the network is defined as follows: The full terminal reliability constraint is expressed by the following formula:

[0059]

[0060] Among them, R i (G i p) represents the control domain G i Full terminal reliability, N j Let be the number of edge cut sets with j edges, η be the minimum number of edges required to connect the control domain (i.e., the minimum number of edges whose removal would cause the control domain to break), p be the probability of each link failing in random failure mode, and e = |E i |For control domain Gi the total number of edges in G.

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

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

[0063] In each control domain, the satellites act as repeaters, and the routing configuration is responsible for issuing flow tables 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, state updates, and other overheads. The management overhead in the i-th control domain increases with the number of managed satellites, denoted as:

[0064]

[0065] where c ij is the one-way communication cost of the j-th satellite in the i-th control domain to its SDN controller, s i denotes the communication cost of the i-th control domain controller to the global master controller.

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

[0067]

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

[0069] Unlike terrestrial networks, due to the uneven distribution of population, the traffic demand of LEO satellite networks presents significant differences in different regions. In order to achieve clear and stable routing domains in network routing, an intuitive idea is to divide satellites with higher traffic correlation and shorter physical distance into the same control domain, in order to reduce the average number of hops across domains and reduce the computing overhead of the master controller. The traffic load of a satellite is directly related to the population p i it covers, so the population concentration index is used to measure the concentration trend of traffic distribution, which is expressed by the following formula:

[0070]

[0071] where f(G, t) is the population aggregation index, t n is the n-th time slot, M is the total number of disjoint clusters, To control the total population under the coverage of the satellite in the domain. When all p i Equal, uniform distribution, f(G,t) reaches the maximum value 1. When one of P i The higher the proportion of the total, the smaller f(G,t) is, and tends to 1 / M, the more concentrated the flow distribution is.

[0072] According to the above constraints, the comprehensive constraints are obtained, 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] Where O master is the management overhead of the master controller, is the management overhead in the i-th control domain, O max is the preset maximum management overhead, ξ is the preset tolerance, |V i | is the size of the cluster C i , that is, the number of satellites in the cluster, V max is the preset maximum size of the cluster, D i is the diameter of the cluster C i (the number of hops of the longest shortest path between any two satellites in C i ), D max is the preset maximum diameter of the cluster, C i is the i-th cluster, x ik is a binary variable, which is 1 when node i belongs to cluster k, and 0 otherwise, Z + is a set of positive integers, G i is the network topology representation of the cluster C i , and Con(G i ) is the connectivity of the cluster C i .

[0080] S103: Determine whether the reference topology template meets the overall terminal reliability constraint and the comprehensive constraint, and obtain multiple reference topology templates that meet the overall terminal reliability constraint and the constraint condition.

[0081] S104: Traverse the starting points of the multiple reference topology templates to obtain the reference topology template with the minimum population aggregation index under the overall terminal reliability constraint and the comprehensive constraint, and the corresponding topology division method, and complete the multiple control domain division.

[0082] Specifically, the starting point of traversing the multiple reference topology templates is the starting point search. The starting point search aims to find the topology division method with the best metric value according to the reference topology template. Due to the symmetry of the satellite constellation topology, some starting points are equivalent, for example Figure 5 For the (3, 3) rectangular topology template in the middle, the control domain division method obtained when the starting point is set at (Orbit 1, Sat 1) and (Orbit 4, Sat 4) is equivalent. Finally, the search range of the starting point position is limited within the rectangular region composed of satellite coordinates (Orbit 0, Sat 0) to (Orbit m, Sat n). It should be noted that when the number of orbits P cannot be divided by m or the number of satellites per orbit T / P cannot be divided by n, a small number of control domains are allowed not to meet the reference topology template, but still need to meet other constraint conditions, otherwise skip this starting point from the search range.

[0083] The process of obtaining the reference topology template with the minimum population aggregation index under the overall terminal reliability constraint and the comprehensive constraint is represented by the following formula:

[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] Where C1 represents the fact that the overall terminal reliability of each cluster after clustering is not less than the minimum value R. min C2 requires a global master controller management overhead of O. master and all 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 within each cluster, ensuring it does not exceed a set tolerance γ to guarantee the balance of system management overhead. In C4 and C5, V... max and D max It is a preset threshold for cluster size and diameter, |V i | A value greater than 0 guarantees the non-emptiness of the cluster, D i A minimum of 2 is required to ensure that each cluster has at least two ISL connections to adjacent clusters, preventing cluster disconnection due to a single link failure. To ensure clear topology boundaries between clusters, in C6, Con(G) i Defined as cluster C i The connectivity of C. i If a path exists between any two satellites, then Con(G) i ) = 1, otherwise Con(G) i ) = 0. x in C7 ik It is a binary variable, which is 1 when node i belongs to cluster k, and 0 otherwise.

[0094] like Figure 6 As shown, the final result is based on the optimal baseline topology template (m) * ,n * ) and optimal starting point location (x * ,y * The network is divided into multiple rectangular control domains of the same size.

[0095] The application provides a software-defined satellite network multi-control domain division method based on a template idea, which decomposes an original control domain division problem into two sub-problems, i.e., a topology template search and a starting point position search.

[0096] Embodiment 2

[0097] Based on the above-mentioned embodiments, as shown in the figure, the embodiment of the application provides a software-defined large-scale satellite network multi-control domain division system, which comprises: Figure 7

[0098] A reference topology template module is configured to define a reference topology template of a control domain, obtain a corresponding formal description according to a LEO satellite network, and enumerate all templates satisfying the reference topology structure according to the formal description.

[0099] A constraint module is configured to construct a reliability condition and a management overhead constraint according to the formal description of the LEO satellite network.

[0100] A judgment module is configured to judge whether the reference topology template satisfies a full-terminal reliability constraint and a management overhead constraint, and obtain a plurality of reference topology templates satisfying the full-terminal reliability constraint and the management overhead constraint.

[0101] A division module is configured to traverse starting points of the plurality of reference topology templates, obtain a reference topology template with a minimum population aggregation index under the full-terminal reliability constraint and the management overhead constraint and a corresponding topology division mode, and complete multi-control domain division.

[0102] It should be noted that the software-defined large-scale satellite network multi-control domain division system provided by the embodiment of the application is used to realize the above-mentioned software-defined large-scale satellite network multi-control domain division method, and the functions can be referred to the above-mentioned method embodiments, which will not be described here.

[0103] Embodiment 3

[0104] ​On the basis of the above-mentioned embodiments, the embodiments of the present application further provide a terminal device, comprising a processor, a memory, and a computer program stored in the memory and configured to be executed by the processor, wherein the processor implements the software-defined large-scale satellite network multi-control domain division method in one of the above-mentioned embodiments when executing the computer program.

[0105] The present application also provides a computer-readable storage medium, comprising a stored computer program, wherein the device where the storage medium is located executes the software-defined large-scale satellite network multi-control domain division method in one of the above-mentioned embodiments when the computer program is running.

[0106] In summary, the present application uses the template idea to divide the multi-control domain in the large-scale satellite network based on software-defined network (SDN). By constructing the control domain reliability, overhead and population concentration model, the control domain is limited to a rectangular topology of uniform size, and the rapid verification and feasible division are realized in the large-scale network topology. The present application optimizes the reliability and controller overhead of the control domain, and improves the concentration of the covered population, and guarantees the reliable control domain division under the random failure of the network link. The present application is suitable for LEO satellite network, especially for large-scale constellation application, 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.

[0107] Finally, it should be noted that: the above embodiments are only used to illustrate the technical solutions of the present application, and not to limit them; although the present application has been described in detail with reference to the foregoing embodiments, those skilled in the art should understand that: it can still modify the technical solutions recorded in the foregoing embodiments, or make equivalent replacement for part of the technical features; and these modifications or replacements do not make the essence of the corresponding technical solutions deviate from the spirit and scope of the technical solutions of the embodiments of the present application.

Claims

1. A method for partitioning multiple control domains in a software-defined large-scale satellite network, characterized in that, include: Step 1: Obtain the corresponding formal description based on the LEO satellite network, define the baseline topology template for the control domain, and enumerate all templates that satisfy the baseline topology structure based on 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 baseline topology template satisfies the full terminal reliability constraints and the comprehensive constraints, and obtain multiple baseline topology templates that satisfy the full terminal reliability constraints and the comprehensive constraints; Step 4: Traverse the starting points of multiple baseline topology templates to obtain the baseline topology template with the smallest population agglomeration index under the full terminal reliability constraint and comprehensive constraint and the corresponding topology partitioning method, and complete the partitioning of multiple control domains; The full-terminal reliability constraint is expressed by the following formula: Among them, R i (G i p) represents the control domain G i Full terminal reliability, e is the control domain G i The total number of edges in N i Let η be the number of edge cut sets with i edges, η be the minimum number of edges required for the control domain connection, and p be the probability of each link failing in random failure mode. The comprehensive constraint is expressed by the following formula: 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, For the management overhead within the i-th control domain, O max ξ represents the preset maximum management overhead, ξ represents the preset tolerance, and |V i |For cluster C i Size, V max D is the preset maximum cluster size. i For cluster C i The diameter, D max C is the preset maximum cluster diameter. i The i-th cluster, x ik Z is a binary variable. + G is the set of positive integers. i For cluster C i Network topology representation, Con(G) i ) for cluster C i Connectivity; The management overhead of the main controller is expressed by the following formula: Among them, s i The communication cost from the i-th control domain controller to the global master controller; The management overhead within the i-th control domain is expressed by the following formula: Among them, c ij The cost of one-way communication from the j-th satellite in the i-th control domain to its SDN controller; The population agglomeration index is expressed by the following formula: Where, f(G,t) n P represents the population agglomeration index. i To control the total population within the satellite coverage area, M represents the total number of disjoint clusters, and t n This is the nth time slot.

2. The method for partitioning multiple control domains in a software-defined large-scale satellite network according to claim 1, characterized in that, The baseline topology template includes an m×n rectangle.

3. A software-defined large-scale satellite network multi-control domain partitioning system, characterized in that, include: The baseline topology template module is used to obtain the corresponding formal description based on the LEO satellite network, define the baseline topology template for the control domain, and enumerate all templates that satisfy the baseline topology structure based on the formal description. The constraint module is used to construct reliability conditions and integrated constraints based on the formal description of the LEO satellite network. The judgment module is used to determine whether the baseline topology template satisfies the full terminal reliability constraints and the comprehensive constraints, and to obtain multiple baseline topology templates that satisfy the full terminal reliability constraints and the comprehensive constraints. The partitioning module is used to traverse the starting points of multiple baseline topology templates, obtain the baseline topology template with the smallest population agglomeration index under the full terminal reliability constraint and comprehensive constraint and the corresponding topology partitioning method, and complete the partitioning of multiple control domains; The full-terminal reliability constraint is expressed by the following formula: Among them, R i (G i p) represents the control domain G i Full terminal reliability, e is the control domain G i The total number of edges in N i Let η be the number of edge cut sets with i edges, η be the minimum number of edges required for the control domain connection, and p be the probability of each link failing in random failure mode. The comprehensive constraint is expressed by the following formula: 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, For the management overhead within the i-th control domain, O max ξ represents the preset maximum management overhead, ξ represents the preset tolerance, and |V i |For cluster C i Size, V max D is the preset maximum cluster size. i For cluster C i The diameter, D max C is the preset maximum cluster diameter. i The i-th cluster, x ik Z is a binary variable. + G is the set of positive integers. i For cluster C i Network topology representation, Con(G) i ) for cluster C i Connectivity; The management overhead of the main controller is expressed by the following formula: Among them, s i The communication cost from the i-th control domain controller to the global master controller; The management overhead within the i-th control domain is expressed by the following formula: Among them, c ij The cost of one-way communication from the j-th satellite in the i-th control domain to its SDN controller; The population agglomeration index is expressed by the following formula: Where, f(G,t) n P represents the population agglomeration index. i To control the total population within the satellite coverage area, M represents the total number of disjoint clusters, and t n This is the nth time slot.

4. An electronic device, characterized in that, It includes a processor, a memory, and a computer program stored in the memory and configured to be executed by the processor, wherein the processor, when executing the computer program, implements a software-defined large-scale satellite network multi-control domain partitioning method as described in any one of claims 1 to 2.

5. A computer-readable storage medium, characterized in that, The storage medium includes a stored computer program, wherein, when the computer program is executed, it controls the device where the storage medium is located to perform a software-defined large-scale satellite network multi-control domain partitioning method as described in any one of claims 1 to 2.

Images