约束规划用于通信卫星测试活动规划
人工智能
2017-01-24 v1
摘要
通信卫星的有效载荷必须经历一系列测试以确认其在太空中存活的能力。每个测试涉及有效载荷中某些设备处于激活状态，这会影响有效载荷的温度。以确效载荷热稳定性并最小化测试活动总时长的方式对这些测试排序，对卫星制造商而言是非常重要的目标。该问题可分解为对应于两个目标的子问题：首先，运行测试所需的不同配置的数量必须最小化。这可建模为将测试打包进配置，我们引入一组隐含约束以改进模型的下界。其次，必须对测试排序以使设备单元开关次数最小化。我们使用约束 Switch 对此方面建模，其中具有有限容量的缓冲区表示当前激活的设备单元，并且我们引入了该约束传播算法的改进。然后我们引入一种搜索策略，依次求解子问题（打包与排序）。在真实和随机实例上进行的实验显示了我们各项贡献的相应价值。
引用
@article{arxiv.1701.06388,
title = {Constraint programming for planning test campaigns of communications satellites},
author = {Emmanuel Hébrard and Marie-José Huguet and Daniel Veysseire and Ludivine Sauvan and Bertrand Cabon},
journal= {arXiv preprint arXiv:1701.06388},
year = {2017}
}