通信卫星试验活动规划的约束规划
Constraint programming for planning test campaigns of communications satellites
摘要：
通信卫星的有效载荷必须经过一系列测试，以确保其在太空中生存的能力。每次测试都涉及有效载荷的一些设备处于活动状态，这对有效载荷的温度有影响。对卫星制造商来说，一个非常重要的目标是，以确保有效载荷的热稳定性和尽量缩短试验活动的总时间的方式安排这些试验的顺序。这个问题可以分解为两个子问题，对应于两个目标：第一，必须最小化运行测试所需的不同配置的数量。这可以被建模为包装的测试到配置，我们引入了一组隐含的约束，以提高模型的下限。其次，测试必须按顺序进行，以便最大限度地减少设备单元必须打开或关闭的次数。我们模拟这方面使用的约束开关，其中一个缓冲区的容量有限，代表当前活跃的设备单位，我们介绍了改进的传播算法，这个约束。然后，我们介绍了一个搜索策略，我们顺序解决的子问题（包装和排序）。在真实和随机实例上进行的实验显示了我们贡献的各自兴趣。
英文摘要：
The payload of communications satellites must go through a series of tests to assert their ability to survive in space. Each test involves some equipment of the payload to be active, which has an impact on the temperature of the payload. Sequencing these tests in a way that ensures the thermal stability of the payload and minimizes the overall duration of the test campaign is a very important objective for satellite manufacturers. The problem can be decomposed in two sub-problems corresponding to two objectives: First, the number of distinct configurations necessary to run the tests must be minimized. This can be modeled as packing the tests into configurations, and we introduce a set of implied constraints to improve the lower bound of the model. Second, tests must be sequenced so that the number of times an equipment unit has to be switched on or off is minimized. We model this aspect using the constraint Switch, where a buffer with limited capacity represents the currently active equipment units, and we introduce an improvement of the propagation algorithm for this constraint. We then introduce a search strategy in which we sequentially solve the sub-problems (packing and sequencing). Experiments conducted on real and random instances show the respective interest of our contributions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
