凯克天文台多普勒系外行星观测的自动化调度

精确的系外行星多普勒研究需要对观测节奏（即观测的时间与间隔）进行精细控制。我们提出了一种新颖的框架，用于在W. M. 凯克天文台（WMKO）调度一组具有不同节奏需求的多普勒巡天。对于一组观测项目和仪器上分配的夜晚，我们的软件在给定观测学期内优化约1000次观测的时间与顺序。我们使用分层整数线性规划（ILP）框架在实时中实现了接近最优的解。我们的调度公式在约10^3000种可能的排序上进行优化。顶层优化根据请求中指定的频率，找到分配给请求目录中每个主星的最规则夜晚序列。第二层优化方案最小化仪器的转动和停机时间。我们使用模拟数据以及2023年加州行星搜索的真实多普勒观测套件评估了算法的性能。