基于CSOP的低轨卫星测控数传资源静态调度模型研究
A CSOP-Based Static Scheduling of Low-Orbit Satellite Measurement and Control Data Transmission Resources Model

针对低轨卫星测控数传资源调度问题，提出了一种基于约束满足优化问题(CSOP)的静态调度模型。通过分析多星测控数传资源调度原理和特点，对相关概念进行了定义及规范，实现了对象和调度过程的建模。本文将给航天器测控数传任务分配测控数传资源过程与为航天器选取合适的时间窗口视为等价过程，用航天器在测控数传资源可见圈内测控数传次数及测控数传持续时间描述其任务需求，在对测控需求、数传需求及约束条件进行规范化描述的基础上，构建了一种基于CSOP的六元组静态调度模型。
Aiming at the problem of low-orbit satellite measurement and control data transmission resource scheduling, a static scheduling model based on the constraint satisfaction optimization problem (CSOP) is proposed. By analyzing the principle and characteristics of multi-satellite measurement and control data transmission resource scheduling, the related concepts are defined and standardized, and the modeling of the object and the scheduling process is realized. In this paper, the process of assigning measurement and control data transmission resources to spacecraft measurement and control data transmission tasks and selecting a suitable time window for the spacecraft are regarded as equivalent processes. The number of measurement and control data transmissions and the measurement and control data transmission duration in the visible circle of measurement and control data transmission resources are used by the spacecraft. Time describes its task requirements. Based on the standardized description of measurement and control requirements, data transmission requirements and constraints, a CSOP-based six-tuple static scheduling model is constructed.