Abstract
Satellite task planning not only plans the observation tasks to collect images of the earth surface, but also schedules the transmission tasks to download images to the ground station for users’ using, which plays an important role in improving the efficiency of the satellite observation system. However, most of the work to our knowledge, scheduling the observation and transmission tasks separately, ignores the correlation between them in resource (e.g., energy and memory) consumption and acquisition. In this paper, we study the single-satellite observation and transmission task planning problem under a more accurate resource usage model. Two preprocessing strategies including graph partition and nondominated subpaths selection are used to decompose the problem, and an improved label-setting algorithm with the lower bound cutting strategy is proposed to maximize the total benefit. Finally, we compare the proposed method with other three algorithms based on three data sets, and the experimental result shows that our method can find the near-optimal solution in much less time.
1. Introduction
Earth observation satellite (EOS) collects images of the earth surface and downloads them to the ground station for users’ using, which has been widely used in environmental monitoring, resource management, agricultural analysis, military reconnaissance, and another aspect of life [1–3]. At present, the contradiction between the overloaded requirements for remote sensing images and the limited EOS resources is increasingly acute. Satellite task planning is to optimize the observation and transmission activities to maximize the total benefit that receives much attention from the government and space agency [1, 4–6].
As is shown in Figure 1, the EOS orbits the earth. The observation payload takes images and stores them in the storage when a target is in the view of the EOS; this process is called “observation.” The transmission payload downloads images to the ground and frees the corresponding storage when the EOS is in the visible range of a ground station; this process is called “transmission.” Energy is consumed in the process of observation and transmission and acquired when the EOS is in the sun. There is a strong correlation between the observation tasks and the transmission tasks in resource (e.g., energy and memory) consumption and acquisition, which makes the problem intractable to solve.
In this paper, we study the single-satellite observation and transmission tasks planning problem (SOTTP) under a more accurate resource usage model. The main contribution includes the following: (1) we develop a directed acyclic graph model and propose two preprocessing strategies including graph partition and nondominated subpaths selection. These two preprocessing strategies decompose the graph model into a series of subgraphs that effectively reduce the complexity of the problem. (2) We construct an equivalent mathematical model and propose an improved label-setting algorithm with the lower bound cutting strategy to solve the SOTTP. This strategy removes the low-benefit paths in each subgraph that improves the search efficiency. (3) Numerical experiments on three data sets show that our method can find the near-optimal solution in much less time.
This paper is organized as follows. Section 2 places the related work of our research. Section 3 describes the problem which includes the time-dependent resource change relation and the resource constraints. In Section 4, two preprocessing strategies including graph partition and nondominated subpaths selection are used to decompose the problem, and an equivalent mathematical model is developed. In Section 5, an improved label-setting algorithm with the lower bound cutting strategy is adopted to solve the problem. Section 6 describes experimental result on three data sets. Section 7 provides concluding remarks and future works.
2. Relate Works
Satellite task planning is a typical combinatorial optimization problem and proved to be NP-Hard [1, 2, 6, 7], which has been widely concerned by scholars and made great achievements. According to the planning approach, the research can be mainly classified into three categories: separate planning, hierarchical planning, and coordinate planning.
In separate planning, the observation tasks and the transmission tasks are scheduled separately. Either the satellite observation task planning problem (SOTP) or the satellite transmission task planning problem (STTP, it is also called the satellite ground station scheduling problem) is generally formulated by some mathematical models, such as graph model [8–10], integer programming model [1, 2, 7, 8, 11, 12], or constraint satisfaction programming model [6, 13, 14]. Then they are solved by metaheuristic algorithms (like genetic algorithm [3, 6, 13], tabu search [14, 15], and ant colony optimization [9]), mathematical programming methods (like Lagrangian relaxation [2, 12], branch and cut [7], and column generation [8]), and other domain knowledge based heuristic approaches [10, 16]. However, the memory constraint is ignored or the storage is assumed to be large enough in the SOTP [1–3, 8–11, 14–18]. The energy and memory constraints are neglected or simplified, and the minimum download time is used as the primary optimization objective in the STTP [6, 7, 12, 13, 19–21]. Though the separate planning approach simplifies the problem, it disregards the correlation between the observation tasks and the transmission tasks in resource (e.g., energy and memory) consumption and acquisition.
In hierarchical planning [22, 23], the observation tasks are first planned by an algorithm; then the transmission tasks are scheduled by another algorithm based on the selected observation tasks in the previous stage. The quality of solution not only depends on the performance of the two algorithms, but also relates to the way to bond them. The planning result of the observation tasks can be easily destroyed while scheduling the transmission tasks.
In coordinate planning [5, 24, 25], the observation tasks and the transmission tasks are scheduled together. Such studies are not much and still in the exploring stage. Li et al. [24] proposed a -shortest path genetic algorithm to balance the response time and resource utilization. Wang et al. [25] studied the scheduling problem of four optical satellites and four SAR satellites and presented a priority-based heuristic method to maximize the rewards of the images taken and transmitted. Chen et al. [5] considered the specific constraints of electromagnetic detection satellites and adopted a genetic algorithm with solution repairing strategy to solve the problem. Because of the limitation of the TT&C (Telemetry, Tracking, and Command) network resource, the maximum working time is used to model the resource constraint (e.g., the working time of the EOS in each orbital period is the same) in the above research. In the real world, the resource (e.g., energy and memory) status is continuous and correlated [7, 26, 27]. The more resources consumed in the current orbital period, the fewer resources available in the next cycle. It is evident that the traditional resource usage model is imprecise that usually limits the capacity of the EOS. With the emergence of autonomous satellite [26] and the use of data relay satellite [28], it is possible to get the resource status in real time and use the onboard resource usage model to accurately represent the realistic constraints of the EOS rather than the traditional model.
In this paper, we study the single-satellite observation and transmission task planning problem from the perspective of resource consumption and acquisition and coordinately plan the observation tasks and the transmission tasks. A more accurate resource usage model is considered, and an approximate path searching method is proposed to solve the problem.
3. Problem Description
In the problem, we consider the following hypotheses:(1)The observation tasks and the transmission tasks are given before planning.(2)The energy and the memory are renewable resources, but they are limited by the battery capacity and storage capacity, respectively.(3)The EOS may view more than one ground station simultaneously, but it can only download the images to one ground station at a time.(4)The EOS cannot transmit the images to the ground station during observing.(5)Once an observation task or a transmission task is executed, it cannot be interrupted or removed.
3.1. Planning Horizon
is the planning horizon, where is the start time and is the end time. All observation and transmission tasks must be in the planning horizon.
3.2. Data Set
(1) Task Set . The observation task and the transmission task are collectively referred to as task. , it is expressed by a 3-tuple :(i): the start time of task , which is a constant(ii): the end time of task , which is a constant(iii): the benefit of task . For an observation task, , the higher the value, the more important the task. For a transmission task, it does not take any pictures except downloading them to the ground station such that the benefit is set as zero.
(2) Light Window Set . The EOS can only recharge the battery in the light window. , it is expressed by a 2-tuple :(i): (a constant) the start time of light window , which means the EOS goes into the sunshine from the shadow(ii): (a constant) the end time of light window , which means the EOS goes into the shadow from the sunshine.
3.3. Temporal Relation between Tasks
The EOS cannot perform two tasks at a time in our problem. As a result, a setup time (, where is the maximum setup time) is required for any two tasks and , . Note that is a constant and predefined before planning. Then the temporal relation can be presented as follows:
3.4. Time-Dependent Resource Change Relation
(1) The Change of Energy. The EOS collects energy by the solar panel and stores it in the battery to support the basic functionality and perform tasks. The change of energy is described as follows: where is the energy consumption rate of basic functionality, is the energy consumption rate of satellite payloads, and is the charging rate. If the EOS wants to charge in the high charging rate, it must adjust the attitude that points the solar panel to the sun when it is idle (e.g., no task to do) and a minimum charging time is needed. As a result, is defined by a piecewise function (see (3)), as is shown in Figure 2. where is the low charging rate, is the high charging rate, () is the minimum charging time, and is the available charging time which is defined by
(2) The Change of Data. The change of data is described as where is the change rate of data, when the EOS is performing an observation task at time , and when the EOS is performing a transmission task at time ; otherwise .
3.5. Energy and Memory Constraints
The energy level cannot exceed the lower bound and upper bound of energy at any time because of the limitation of battery capacity. When the energy level reaches the upper bound, it will stop increasing. Let be the energy level at time , be the lower bound, and be the upper bound; then the energy constraint is represented as follows:
The memory constraint is similar to the energy constraint. The difference is that the data level will stop decreasing when it reaches the lower bound of memory (e.g., all images are downloaded to the ground). Let be the data level at time and ( in the problem) and be the lower bound and upper bound of memory; then the memory constraint is formulated as follows:
Definition 1 (resource vector). Let be the plan in the period ; then the resource usage of plan can be expressed by the resource vector (Figure 3); for the computation, one can refer to Appendix A. (i) and : the maximum and minimum change of energy while performing plan .(ii) and : the maximum and minimum change of data while performing plan .(iii) and : the change of energy and memory after plan is performed.
Theorem 2. Let and be the energy and data level at time . If is a feasible plan in the period , it must satisfy the following constraints:
Proof. See Appendix B.
Theorem 3. Let and be the energy and data level at time . If is a feasible plan in the period , the energy and data level at time can be computed as follows:
Proof. See Appendix C.
3.6. Optimization Objective
The objective of the SOTTP is to plan the observation and transmission tasks in the planning horizon which maximize the total benefit without violating all constraints.
4. The Preprocessing Strategies and the Planning Model
In this section, we first develop a directed acyclic graph model for the problem. Then the graph is partitioned into several subgraphs by the graph partition strategy, and the nondominated subpaths in each subgraph are searched by the nondominated subpaths selection strategy. Finally, an equivalent planning model is established.
4.1. The Directed Acyclic Graph Model
Given the tasks and sorting them in chronological order, the directed acyclic graph (Figure 4) is used to model the problem, where is the set of nodes and is the set of edges. Each node is expressed as , where are the start time and end time of task , . Each edge is denoted by , where is the resource vector (edge is a plan in the period , see Definition 1) and is equal to the benefit of task , . , , if they satisfy the constraints (1), (8a), and (8b), there is a directed edge point from to . There are also two virtual nodes (the source node) and (the sink node) in the graph. The goal is to find an elementary path from to that maximizes the total benefit without violating the energy and memory constraints.
Some notations used in the model are defined as follows:(i), : the amounts of energy and data that the EOS stored at the beginning of the planning horizon(ii), : the minimum and maximum allowable amounts of energy to be stored in the battery (e.g., the lower bound and upper bound of energy)(iii), : the minimum and maximum allowable amounts of data to be stored in the storage (e.g., the lower bound and upper bound of memory)(iv): the decision variable; means edge is selected; otherwise it is not, (v): the decision variable, which represents the total amount of energy spilled throughout edges that point to node , (vi): the decision variable, which represents the total amount of data spilled throughout edges that point to node , .
Then the mathematical model can be formulated as follows:
The objective function (10) is used to maximize the total benefit over the planning horizon. Constraints (11), (12), (13), and (14) are the outdegree and indegree constraints of each node. Constraints (15), (16), (17), and (18) ensure that the energy and data level at each node cannot exceed the lower bound and upper bound of energy and memory.
4.2. Graph Partition
In this subsection, a virtual common node based edge-cut method is used to partition the graph. The definition of the virtual common node is as follows.
Definition 4. Partition point and virtual common node: given a time , let be the set of nodes whose start time is less than and be the set of nodes whose end time is greater than . If the following two conditions are satisfied (as is shown in Figure 5), then time is a partition point and node is a virtual common node of graph . (1), (2).
If node is a virtual common node of graph , then the edges that connect the nodes on the left and right side of are updated (e.g., edges are added in the graph and edge is removed, , ). After all virtual common nodes are found and the edges are updated, the graph is partitioned (as is shown in Figure 6). Note that there is also an edge that connects two neighbor virtual common nodes.
Lemma 5. If node is a virtual common node of graph , the connectivity and the resource vector between any two nodes are consistent before and after graph partition.
Proof. From requirement (1) and requirement (2), , , , so there is an edge or path connecting node and node before and after graph partition. That is, the connectivity is consistent.
, , let , , and be the charging rate on edges , , and , respectively. If requirement (1) or requirement (2) is met, from formula (3), we know that ; , ; , . That is, the charging rates in the period are the same before and after graph partition. From Definition 1, we can conclude that the resource vector is consistent.
By using the graph partition strategy, the graph model can be described as , where is the th subgraph and is the number of subgraphs. Let be the set of virtual nodes where and ; is the set of nodes in ; then , .
4.3. Nondominated Subpaths Selection
After the graph is partitioned, the label-setting algorithm [18, 29, 30] is used to search the nondominated subpaths in each subgraph. The dominance relation used in this algorithm is relaxed, which is defined as follows.
Definition 6 (dominance relation). Let be the set of paths from node to node . , if they satisfy one of the following three conditions, then path is dominant to path and expressed as , where is the total benefit of , and are the change of energy and memory of (see Definition 1), and are the relaxation factor of benefit, energy, and memory, respectively. In these conditions, are nonnegative, and can be positive or negative. (1), , and .(2), , and .(3), , and .
For , if with that satisfies , then is a nondominated path; otherwise it is a dominated path.
The process of nondominated subpaths selection in subgraph is to search the nondominated paths from node to node ; for details, one can refer to [30]. Note that the subpaths violating constraint (8a) or (8b) are also removed in the process.
4.4. The Equivalent Planning Model
Through preprocessing, the graph model is partitioned into several subgraphs, and the problem is transformed to search a feasible subpath from each subgraph without violating the resource constraint. An equivalent planning model is developed in this subsection. The notations used in the model are summarised as follows.
Parameters (i): the number of subgraphs in graph (ii): the number of subpaths in subgraph , (iii): the end time of subgraph , which is equal to the end time of node (iv): the set of subpaths (from node to node ) in subgraph (v): the set of paths (from node to node ) in subgraph (vi): the th subpath in (vii): the total benefit of subpath (viii): the resource factor of subpath (a plan in the period ); for details, refer to Definition 1(ix), , , , , : refer to Section 4.1.
Variables(i): the binary value that represents whether subpath is selected, , (ii): the energy level at the end of subgraph , (iii): the data level at the end of subgraph , .
Then the planning model is formulated as follows:
The objective function (19) is the same as (10). Equation (20) enforces that there is one and only one subpath that can be selected in each subgraph. Constraints (21) and (22) initialize the amount of energy and data that satellite stored at the beginning of the planning horizon. Constraint (23) defines the energy level at the end of each subgraph. Constraint (24) defines the data level at the end of each subgraph. Constraint (25) ensures that the energy level cannot be less than the lower bound of energy in each subgraph. Constraint (26) ensures that the data level cannot be greater than the upper bound of memory in each subgraph.
5. The Improved Label-Setting Algorithm
In this section, we propose an improved label-setting algorithm with the lower bound cutting strategy (LSLBC) to search the near-optimal solution of the SOTTP. The label-setting algorithm (LS) is an exact path searching algorithm that can find all nondominated paths in each subgraph. However, only the nondominated path with the maximum benefit is selected in our problem, and low-benefit paths in each subgraph are mostly useless. The lower bound cutting strategy is used to remove the paths in each subgraph whose benefit is less than the lower bound, which avoids enumerating all nondominated paths and improves search efficiency.
5.1. The Lower Bound Cutting Strategy
The lower bound of each subgraph is the key of the lower bound cutting strategy, but they are hard to be computed. In fact, there is a connection between them and the lower bound of the problem, such that we can compute the approximate lower bound of a subgraph based on this relation.
5.1.1. The Lower Bound of the Problem
We design a two-phase hierarchical algorithm (called GS-BC) to find the lower bound of the problem. Before discussing the algorithm, the concept it used is given as follows.
Definition 7 (energy efficiency). where is the energy efficiency of subpath and is the smallest constant in the computer used to avoid zero-division error.
The energy efficiency represents the amount of energy consumed per unit of benefit and satisfies .
In the first phase of GS-BC, the observation tasks are planned by the energy efficiency based greedy search algorithm (GS, as is shown in Algorithm 1). This algorithm selects a subpath from each subgraph one by one until reaching the end. When it searches a subgraph, the subpath with the maximum benefit is added to the solution. If the energy constraint is violated, then the subpath with the minimum energy efficiency in the solution is replaced by another subpath (it is not searched and has the maximum benefit) until the conflict is removed. In the second phase of GS-BC, the branch and cut algorithm (BC) [7] is used to schedule the transmission tasks based on the selected observation tasks in the first phase.
| ||||||||||||||||||||||||||||||||
5.1.2. The Lower Bound of the Subgraph
Let be the solution of GS-BC, be the selected subpath in subgraph , and be the benefit of subpath ; then we define the lower bound of a subgraph as where is the discount function that represents the relation between the lower bound of a subgraph and the lower bound of the problem. is obtained by the statistical method; for details, refer to Section 6.2.2.
5.2. The Improved Label-Setting Algorithm
After the lower bound of each subgraph is computed, the improved label-setting algorithm with the lower bound cutting strategy is used to find the near-optimal solution of the problem. This algorithm incrementally searches the nondominated paths from the first subgraph to the last subgraph one by one until reaching the end. When it searches a subgraph, the low-benefit paths are removed by the lower bound cutting strategy, and the dominated paths are discarded based on the dominance relation (see Definition 6) that avoids exploring the whole paths in the solution space. For details, refer to Algorithm 2.
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
6. Computational Experiments
6.1. Test Data
In the experiment, there are one satellite and four ground stations [25] (Kashi, Miyun, Sanya, and Beiji). The EOS is selected from the STK (Satellite Tool Kit) satellite database. The planning horizon is set as a typical 1 day from 2017-04-01 00:00:00 to 2017-04-02 00:00:00.
There is no acknowledged benchmark data set in the single-satellite observation and transmission tasks planning problem, so we randomly generate three data sets: regional city data set, global city data set, and global point data set. Cities in the regional city data set and global city data set are selected from the STK city database. In the regional city data set, all targets are randomly distributed in the area: 0°N~65°N and 0°E~150°E. In the global city data set and global point data set, all targets are randomly distributed in the area: −65°S~65°N and −180°W~180°E. The access times between the EOS and the ground station or the EOS and the target are calculated by STK. Each access time is corresponding to a task.
There are nine problem sets in each data set. Each problem set contains ten problems (i.e., a total of 90 problems in each data set). The number of observation tasks in each problem set is from 100 to 500 with step of 50.
All algorithms in the experiment are implemented and compiled with Microsoft C# complier and run on Windows 7 OS with an Intel E5-2650 2.30 GHz CPU and 8 GB memory.
6.2. Parameter Study
6.2.1. The Effect of the Relaxation Factors
To investigate the effect of the three relaxation factors in our method, we conduct several experiments based on the global city data set.
Figures 7 and 8 show the result of LS under single relaxation factor. The horizontal axis represents the number of observation tasks, the vertical axis represents the average benefit or average CPU time, and the legend “” means the relaxation factor of benefit is and the other two relaxation factors are set as zero.
(a)
(b)
(c)
(a)
(b)
(c)
In Figure 7, the average benefit falls with the increase of each relaxation factor. In Figure 7(a), the average benefit is drastically reduced when is greater than . It reveals that LS is sensitive to the relaxation factor of benefit. In Figures 7(b) and 7(c), the gap of benefit is pretty narrow when or is less than .
In Figure 8, the average CPU time apparently decreases with the increase of each relaxation factor. It illustrates that these relaxation factors have a significant effect on the CPU time.
Based on the above analysis, we primarily investigate three combinations of them: “0.001-0.005-0.005”, “0.002-0.005-0.005”, “0.02-0.01-0.01”. The parameters in a combination represent the relaxation factor of benefit, energy, and memory, respectively. The result is shown in Figures 9 and 10.
(a) Regional city data set
(b) Global city data set
(c) Global point data set
(a) Regional city data set
(b) Global city data set
(c) Global point data set
In Figure 9, the average benefit of “0.001-0.005-0.005” is slightly more than “0.002-0.005-0.005” and the worst is “0.002-0.01-0.01,” and the maximum gap between them is less than 0.3%.
In Figure 10, the average CPU time of “0.001-0.005-0.005” is more than “0.002-0.005-0.005” and “0.02-0.01-0.01.” The larger the relaxation factors, the more paths removed and the less CPU time.
6.2.2. The Effect of the Lower Bound Cutting Strategy
We first describe the computation of the discount function mentioned in Section 5.1.2. Based on the amount of training data (the same size as the test data), we compute by regression analysis. The process is as follows:(1)Select one problem from the training data set.(2)Let ( is the selected subpath in subgraph ) be the solution of CPLEX solver (used as the optimal solution) and be the solution of GS-BC (used as the estimate solution). The relational data , , is recorded. where and are the benefit of subpaths and , respectively. The relational data describes the relation between the estimate solution and optimal solution at a subgraph.(3)Return to (1) until all problems are solved.(4)Compute the regression curve of the lower boundary of the relational data.
Figure 11 shows the distribution of the relational data and the approximate regression curve of the lower boundary, where the blue point is the relational data, the mauve point is the lower boundary, and the red line is . In fact, a piecewise function is used as the approximate expression of and confirmed to be effective.
Next, we analyze the effect of the lower bound cutting strategy in LSLBC. The average CPU time is shown in Figure 12. The average benefit is almost the same as Figure 9 that it is not shown here.
(a) Regional city data set
(b) Global city data set
(c) Global point data set
Comparing Figures 10 and 12, the CPU time is greatly reduced by using the lower bound cutting strategy. It is because the strategy removes a large number of low-benefit paths during searching.
Through the above analysis, we finally select , , and (e.g., the combination “0.002-0.005-0.005”) as the parameters of LSLBC.
6.3. Comparison Study
Three algorithms including the improved genetic algorithm (IGA) with a stochastic greedy conflict repairing strategy [5], the hierarchical algorithm [7] (called GA-BC), and the CPLEX solver [31] are used as baselines for comparison in this subsection. The stochastic greedy conflict repairing strategy in the IGA is slightly modified to meet the needs of our problem. In the repairing strategy, the observation task with the lowest benefit is removed when the solution violates constraints (6) and (7) until all conflicts are resolved. In the hierarchical algorithm, the observation tasks are firstly planned by the genetic algorithm [3]; then the transmission tasks are scheduled by the branch and cut algorithm [7] based on the selected observation tasks in the previous stage.
The parameters of genetic algorithm in IGA and GA-BC are set as follows: the population size is 50, the crossover probability is 0.8, the mutation probability is 0.008, and the iterative number is 10000. If the solution is not improved in 500 iterations, then the algorithm stops. In CPLEX solver, the gap is set as 0.01, the stop time is set as 5 hours, and other parameters are executed in the default settings. All experiments are repeated 50 times. The following information is recorded; note that these statistics are computed only considering the problems that are solved by all algorithms.(i): the average benefit of an algorithm in a problem set. For example, the average benefit of LSLBC in a problem set is calculated as (LSLBC), where (LSLBC) is the (average) benefit of LSLBC on the th problem in the problem set.(ii): the average CPU time of an algorithm in a problem set, measured in seconds. For example, the average CPU time of LSLBC in a problem set is calculated as (LSLBC), where (LSLBC) is the (average) CPU time of LSLBC on the th problem in the problem set.(iii): the average benefit gap between an algorithm and the CPLEX solver. For example, the average benefit error of LSLBC in a problem set is calculated as .
Computational results on three data sets are given in Tables 1, 2, and 3.
In Tables 1, 2, and 3, the benefit of LSLBC is better than IGA and GA-BC, except in a few problems that the number of observation tasks is 100 in the regional city data set and the global point data set. The average CPU times of LSLBC are all less than IGA and GA-BC in the above three data sets. This is because the two preprocessing strategies and the lower bounding cutting strategy in LSLBC remove a large number of redundant paths (the nondominated paths and the low-benefit paths). Though the IGA have a strong global search capability, the local search capability is weak. Besides, the stochastic greedy repair strategy does not consider the correlation between the observation tasks and the transmission tasks in resource consumption and acquisition. The GA-BC breaks up the optimal solution of the observation tasks during scheduling the transmission tasks.
Tables 1, 2, and 3 show that the average benefit gap of LSLBC is from −0.08% to 0.72% in three data sets. As the number of observation tasks increases, the number of edges in the graph model grows dramatically. The CPLEX solver has to take longer in the preprocessing, which even makes five problems unsolved (in Table 3). In the experiment, the gap of CPLEX solver is 1% which means the solution is not optimal. The LBLSC is an appropriate algorithm that it may be better than CPLEX solver in some problems when the relaxation factors are small, for example, some problems in the global point data set when the number of observation tasks is 200, 250, and 500 (in Table 3). Though the CPLEX solver can find a better solution for most problems, the CPU time is too long that it is difficult to meet the real requirement. The result verifies the ability of LSLBC to solve the SOTTP.
When comparing Tables 1, 2, and 3, we can know that the benefit gap of LSLBC in the global point data set is the least, the next is in the global city data set, and the largest is in the regional city data set. This reveals that our LSLBC has better performance on decentralized targets.
7. Conclusion
In this paper, we study the single-satellite observation and transmission tasks planning problem under a more accurate resource usage model. Two preprocessing strategies including graph partition and nondominated subpaths selection are used to decompose the problem, and an improved label-setting algorithm with the lower bound cutting strategy is used to solve the problem, which avoids exploring the whole nondominated path set and accelerates the solving procedure. The optimality and feasibility of the proposed method are validated on three data sets, totaling 270 problems. The results demonstrate that our method can find the near-optimal solution in much less time and indicate the ability of our method to solve the SOTTP under different task size.
The future work of our study is mainly focused on two aspects: (1) extending our approach to the scheduling of an agile satellite, which not only selects the tasks to be performed, but also determines the start time of them; (2) extending our approach to the onboard task planning problem for an autonomous satellite. The onboard dynamic situations are considered, such as the arrival of new tasks and cloud disturbances.
Appendix
A. The Computation of the Resource Vector
We define a set of intervals within the period ; whenever time is an extreme point of or , a new interval is started (as is shown in Figure 3). This indicates that the energy level and data level are monotonously increasing or decreasing in each interval.
Let be the set of time points in the period , where is the number of intervals, , . The resource vector of plan can be calculated by
The energy level and data level at each time point can be calculated by
B. The Proof of Theorem 2
Proof. In Appendix A, , it must satisfy the constraint . We can get the following relation from formula (A.2a): From (A.1) and formula (A.2a), the energy constraints of plan can be described by the following formulation: From (A.1) and formula (A.2b), the memory constraint of plan is similarly equivalent to the following formulation:
C. The Proof of Theorem 3
Proof. According to Appendix A, let and reaches the maximum when .
If , , , then If , then and , , such that Similarly, the data level at the end time of subgraph is computed by the following equation:
Conflicts of Interest
The authors declare that there are no conflicts of interest regarding the publication of this paper.
Acknowledgments
This work is supported by the National Natural Science Foundation of China (61101184 and 61174159).