中文摘要：

约束修正是卫星成像调度的重要组成部分,负责处理成像调度方案的约束满足与优化的问题。为得到优化可行的成像调度方案,针对一类带有卫星存储器和数据下传等约束的卫星成像调度问题,提出一种新的约束修正方法。首先构建时间序有向图模型,将约束修正问题归结为点带约束成本的路径搜索问题,针对该模型提出一种基于标记更新的约束修正算法。通过针对实际问题的实验分析,表明该方法能够在规定的时间内求得问题的最优解,有效的解决了卫星成像调度的约束满足与优化问题。

英文摘要：

Constraint modification is the important part of imaging scheduling of earth observing satellite , it solves the problem of constraint satisfaction and optimization of the imaging scheduling. For acquiring optimal and workable scheduling project, we proposed an approach to modify the satellite imaging scheduling. At first, the approach constructed the time ordered directed graph model to the problem and abstracted constraint modification problem to the shortest path problem of node with cost. Then, we proposed a constraint modification algorithm on the base of lable-setting. At the end, we carried out some experiments upon real application problems and confirmed that the proposed approach is effective in solving the constraint modification problem of the imaging scheduling.