×
埃曼纽尔·希伯拉德;Marie-JoséHuguet;丹尼尔·维瑟尔;卢奥迪尔·博切·沙万;伯特兰卡邦

规划通信卫星测试活动的约束编程。 （英语） Zbl 1387.90134号

约束条件 22，第1期，73-89（2017）.
摘要：通信卫星的有效载荷必须经过一系列测试，以证明其在太空中生存的能力。每次测试都涉及有效载荷的一些激活设备，这对有效载荷的温度有影响。卫星制造商的一个非常重要的目标是，以确保有效载荷的热稳定性并将测试活动的总持续时间降至最低的方式对这些测试进行排序。这个问题可以分解为两个子问题，对应两个目标：首先，运行测试所需的不同配置的数量必须最小化。这可以建模为将测试打包到配置中，并且我们引入了一组隐含的约束来改进模型的下限。其次，必须对测试进行排序，以便将设备单元必须打开或关闭的次数降至最低。我们使用约束对此方面进行建模交换机，其中容量有限的缓冲区表示当前活动的设备单元，我们针对该约束引入了传播算法的改进。然后我们介绍了一种搜索策略，在该策略中我们顺序地解决子问题（打包和排序）。在真实和随机实例上进行的实验表明了我们贡献的各自兴趣。

MSC公司：

90立方厘米 整数编程
90 C90 数学规划的应用

关键词：

排序;通信卫星;全局约束

软件：

糖
PDF格式BibTeX公司 XML格式引用
\textit{E.Hebrard}等人，《限制条件》22，第1期，第73--89页（2017年；Zbl 1387.90134）
全文： 内政部 arXiv公司

参考文献：

[1] Bessiere，C.、Hebrard，E.、Mönard，M.-A.、Quimper，C.-G.和Walsh，T.（2014）。缓冲资源约束：算法和复杂性。第十一届约束编程中人工智能和操作规则技术集成国际会议论文集（CPAIOR）（第318-333页）·Zbl 1407.68447号
[2] Boche-Sauvan，L.、Cabon，B.、Huguet，M.-J.和Hébrard，E.（2014）。通信卫星测试排序的启发式方法。第十届建模、优化和仿真国际会议（MOSIM）论文集·Zbl 1131.68521号
[3] Boussemart，F.、Hemery，F.，Lecoutre，C.和Sais，L.（2004）。通过加权约束促进系统搜索。第十六届欧洲人工智能会议（ECAI）论文集（第146-150页）·Zbl 1186.68076号
[4] Carlsson，M.和Beldiceanu，N.（2002年）。字典排序约束链的弧一致性。技术报告T2002-18，瑞典计算机科学研究所。
[5] Chekuri，C.和Khanna，S.（1999）。关于多维包装问题。在第十届ACM-SIAM离散算法研讨会的会议记录中，第十届年度ACM-SIAM离散算法研讨会（SODA）（第185-194页）·Zbl 0938.68067号
[6] Frisch，A.M.、Hnich，B.、Kiziltan，Z.、Miguel，I.和Walsh，T.（2006）。字典排序约束的传播算法。人工智能，170（10），803-834·Zbl 1131.68521号 ·doi:10.1016/j.artint.2006.03.002
[7] Hentenryck，P.V.和Carillon，J.-P（1988年）。一般性与特殊性：人工智能和手术室技术的经验。《第七届全国人工智能大会论文集》（第660-664页）·Zbl 1186.68076号
[8] Maillet，C.、Verfaillie，G.和Cabon，B.（2011年）。优化卫星验证计划的约束编程。第七届空间规划与调度国际研讨会论文集。
[9] Michel，L.和Hentenryck，P.V.（2012年）。基于活动的黑盒约束编程求解器搜索（第228-243页）。
[10] Prud’homme，C.、Fages，J.-G.和Lorca，X.（2015）。Choco文档。TASC，INRIA Rennes，LINA CNRS UMR 6241，COSLING S.A.S.公司。
[11] Refalo，P.（2004）。基于影响的约束编程搜索策略。《约束编程原理与实践》（CP）（第557-571页）·Zbl 1152.68577号
[12] Régin，J.-C.（1994）。CSP中差异约束的过滤算法。第十二届全国人工智能会议（AAAI）论文集（第362-367页）。
[13] Tamura，N.、Taga，A.、Kitagawa，S.和Banbara，M.（2008）。将有限线性CSP编译成SAT.约束，14（2），254-272·Zbl 1186.68076号 ·doi:10.1007/s10601-008-9061-0
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。