论文部分内容阅读
成像卫星调度问题是利用在太空中运行的多个对地观测卫星,根据用户的需要,最大限度利用卫星系统的资源实现对地面目标进行观测。该系统涉及多个成像卫星的调度和规划,因此一直以来都是一个富有挑战性的课题。在分析成像卫星工作原理和调度任务约束条件的基础上,首先建立了一个满足多卫星、多监测目标的混合线性模型,并对模型的合理性加以论证。其次,采用一种数学建模语言(a mathematical programming language,AMPL)解决该调度问题的新方法以应对目前约束规划问题求解方法多样、求解性能差异大的问题,并对从卫星工具包上得到的数据进行实验。该建模语言可以根据模型种类,智能调用各类综合多种成熟算法的解法器。实验结果显示,相对于常用求解算法,该方法更加有效地解决了中短期卫星的调度问题。
Imaging satellite scheduling problem is the use of multiple earth observation satellites operating in space, according to user needs, maximize the use of satellite system resources to achieve ground targets observed. The system involves the scheduling and planning of multiple imaging satellites and has therefore always been a challenging topic. Based on the analysis of the working principle of imaging satellite and the constraints of scheduling task, a hybrid linear model satisfying multi-satellite and multi-monitoring objectives is first established and the rationality of the model is demonstrated. Secondly, we use a mathematical programming language (AMPL) to solve the new problem of the scheduling problem in order to solve the problem that the solution to the current constrained programming problem is diverse and solve the big difference in performance. Data experiment. According to the model, the modeling language can intelligently call various kinds of solvers that synthesize various mature algorithms. The experimental results show that the proposed method can solve the scheduling problem of medium and short term satellites more effectively than the commonly used algorithms.