摘要:
对卫星测控调度问题的建模技术进行了研究,分析了问题的特点。首先对场景、需求和任务进行了形式化建模;然后针对测控调度问题中涉及的资源、时间、关系等主要约束类型进行了分析和模型描述,并按照不同类型的测控需求确定了测控调度的目标函数;最后在此基础上建立了问题的约束满足问题(constraint satisfied problem, CSP)模型,并针对模型进行了求解方法研究。
凌晓冬, 武小悦, 刘冰, 薛国虎, 吴金美. 卫星测控资源调度CSP模型研究[J]. Journal of Systems Engineering and Electronics, 2012, 34(11): 2275-2279.
LING Xiao-dong, WU Xiao-yue, LIU Bing, XUE Guo-hu, WU Jin-mei. Study on the CSP model of satellite TT&C resource scheduling[J]. Journal of Systems Engineering and Electronics, 2012, 34(11): 2275-2279.