吉尔·西蒙宁;Artigues，克里斯蒂安;埃曼纽尔·希伯拉德;皮埃尔·洛佩兹 安排彗星探测的科学实验。 （英语） Zbl 1314.90041号 约束条件 20，第1期，77-99（2015）. 概述：罗塞塔/菲莱任务于2004年由欧洲航天局（ESA）发射。它计划于2014年11月到达彗星67P/Churyumov-Gerasimenko，此前它已经飞行了60多亿公里。Philae模块随后将与轨道器（Rosetta）分离，尝试首次在彗星表面着陆。如果成功，它将在彗星上进行一系列科学探索实验。在本文中，我们描述了一个用于调度任务的不同实验的约束规划模型。一个可行的计划必须满足由能源、任务优先关系和工具之间不相容性引起的一些限制。此外，一个非常重要的方面与仪器产生的所有数据的传输（先传输到轨道器，然后传输到地球）有关。内置存储器的容量以及着陆器和轨道飞行器之间在可视窗口内传输的限制，使得在着陆器CPU上执行的传输策略容易丢失数据。我们引入了一个全局约束来处理数据传输。此约束的目的是确保数据生成任务的调度方式不会丢失数据。由于这一限制和我们提出的过滤规则，任务控制现在能够在几秒钟内计算出以前经常需要几分钟的场景的可行计划。此外，在许多情况下，数据传输现在得到了更准确的模拟，从而提高了计划的可靠性。 引用于1文件 MSC公司： 90B35型 运筹学中的确定性调度理论 68平方米 计算机系统环境下的性能评估、排队和调度 关键词：全局约束;行程安排;数据传输;能量和内存限制;太空实验 软件：炸薯条 PDF格式BibTeX公司 XML格式引用 \textit{G.Simonin}等人，《约束20》，第1期，第77--99页（2015；Zbl 1314.90041） 全文： 内政部 哈尔 参考文献： [1] Aggoun，A.和Beldiceanu，N.（1993年）。扩展CHIP以解决复杂的调度和布局问题。数学与计算机建模，17（7），57-73·doi:10.1016/0895-7177（93）90068-A [2] Philippe，B.，Le Pape，C.，Nuijten，W.（2001）。基于约束的调度：施普林格·邮编1094.90002 [3] Beldiceanu，N.和Carlsson，M.（2001年）。扫掠作为一种应用于非重叠矩形约束的通用修剪技术，In:第七届约束编程原理与实践国际会议（CP 2001），LNCS 2239，第377-391页。斯普林格·Zbl 1067.68612号 [4] Cesta，A.、Cortellessa，G.、Denis，M.、Donati，A.、Fratini，S.、Oddi，A.，Policella，N.、Rabenau，E.、Schulster，J.（2007）。Mexar2:人工智能解决任务规划问题。IEEE智能系统，22（4），12-19·doi:10.1109/MIS.2007.75 [5] Philippe，L.（2003）。人工智能规划和调度中传播资源约束的算法：现有方法和新结果。人工智能，143（2），151-188·Zbl 1079.68622号 ·doi:10.1016/S0004-3702（02）00362-4 [6] Mancel，C.和Lopez，P.（2003）。空间系统中的复杂优化问题，in：第13届国际自动化规划与调度会议（ICAPS'03），博士联合会·Zbl 1079.68622号 [7] Oddi，A.和Policella，N.（2007年）。提高航天器下行链路调度的稳健性。IEEE系统、人与控制论汇刊，C部分，37（5），887-896·doi:10.1109/TSMCC.2007.900661 [8] Righini，G.和Tresoldi，E.（2010年）。Mars Express内存转储问题的数学编程解决方案。IEEE系统、人与控制论汇刊，C部分，40（3），268-277·doi:10.1109/TSMCC.2009.2034838 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。