基于约束满足的多卫星调度模型研究.pdfVIP

2004 8 Aug. 2004 26 8 Systems Engineering and Electronics Vol. 26 o.8 : 1001-506X(2004) 08-1076-04 刘 洋, 贺仁杰, 谭跃进 ( 国防科技大学人文与管理学院, 湖南长沙410073) : 卫星调度是空间资源管理的一项重要内容, 其本身也是一类 杂的资源分配问题约束满足技术是求 解 杂资源分配问题( constraint satisfaction problem, CSP) 的有效方法在约束满足问题的理论基础上, 首先分析了 多卫星调度问题的约束条件( 包括任务约束关联约束和互斥约束) ; 建立了多卫星调度问题的模型; 最后,以地球资 源观测卫星为对象, 给出了示例 : 约束满足; 卫星; 调度;模型 : 945 :A Modeling the scheduling problem of mult-i satelli tes based on the constraint satisfaction LIU Yang, HE Ren-jie, TA Yue-jin ( School of H umanity and Management, National University of Def ence Technology , Changsha 4100 3 , China) Abstract: The satellite scheduling isa main content of the space resource management, and it isalso a com- plex resource allocation problem. The constraint satisfaction problem ( CSP) is a good method to it. The con- straintson the scheduling problem of mult-i satellites are analyzed based on the constraint satisfaction problem firstly, including task constraints, bundled constraints and exclusion constraints. On this basis, modeling is made. An example is given for the earth observation satellites at last. Key words: constraint satisfaction; satellite; scheduling; modeling , 1 , [4] , , CSP P = { V, D, C} , V : V = { V , 1 V , ,, V } ; D : D = { D , D , ,, D } , D ,