摘要：对卫星测控调度问题的建模技术进行了研究，分析了问题的特点。首先对场景、需求和任务进行了形式化建模；然后针对测控调度问题中涉及的资源、时间、关系等主要约束类型进行了分析和模型描述，并按照不同类型的测控需求确定了测控调度的目标函数；最后在此基础上建立了问题的约束满足问题（constraint satisfied problem，CSP）模型，并针对模型进行了求解方法研究。

关键词：卫星测控 资源调度 约束满足问题 

单位：中国卫星海上测控部 江苏江阴214431 国防科学技术大学信息系统与管理学院 湖南长沙410073