The purpose of this paper is to provide a new scheduling model of a large constellation of imaging satellites that does not use a heuristic solving method. The objective is to create a mixed-integer linear model that would be competitive in speed and in its closeness to reality against a current model using simulated annealing, while trying to improve both models. Each satellite has the choice between a number of possible events, each event having a utility and a cost, and the chosen schedule must take into account numerous time-related constraints. The main difficulties appeared in modeling realistically a battery level and in handling infeasible configurations due to inaccurate parameters. The obtained linear model has enabled a better understanding of the performance of the simulated annealing solver, and could also be adapted to different real-world scheduling problems.

本文的目的是提供一种新的不使用启发式求解方法的大型成像卫星星座调度模型。目标是创建一个混合整数线性模型，该模型在速度和与现实的接近度方面与使用模拟退火的当前模型相比具有竞争力，同时尝试改进这两种模型。每颗卫星都可以在许多可能的事件之间进行选择，每个事件都有效用和成本，并且选择的时间表必须考虑许多与时间相关的限制。主要困难出现在对电池电量进行真实建模以及处理由于参数不准确而导致的不可行配置方面。获得的线性模型能够更好地理解模拟退火求解器的性能，