【摘 要】
：
对卫星测控调度问题的建模技术进行了研究,分析了问题的特点。首先对场景、需求和任务进行了形式化建模;然后针对测控调度问题中涉及的资源、时间、关系等主要约束类型进行了
【机 构】
：
中国卫星海上测控部,国防科学技术大学信息系统与管理学院,
论文部分内容阅读
对卫星测控调度问题的建模技术进行了研究,分析了问题的特点。首先对场景、需求和任务进行了形式化建模;然后针对测控调度问题中涉及的资源、时间、关系等主要约束类型进行了分析和模型描述,并按照不同类型的测控需求确定了测控调度的目标函数;最后在此基础上建立了问题的约束满足问题(constraint satisfied problem,CSP)模型,并针对模型进行了求解方法研究。
其他文献
随着现代国家向法治政府、服务型政府的转变，公民的权利意识正在迅速的觉醒，作为与社会公民权益息息相关的行政规划制度在现实的生产、生活中发挥着巨大的作用，但是目前我国的构
物业管理费拖欠问题给物业管理带来了困难。针对业主拖欠物业管理费问题的成因,通过改革定价方式提高业主参与协商物业费定价的程度,加强物业服务质量标准制度建设,以及立法
随着时代和社会的快速发展,人才的竞争日益激烈,而人才的发展在于教育,这就使得教育的地位显得尤为重要。邓小平同志曾说过:"教育要从娃娃抓起"。因此,小学教育是这条育人之
20世纪90年代中期,贵州省与挪威政府合作,开始了在中国建设生态博物馆的尝试;与此同时,云南的一批学者在美国福特基金会的资助下,也开始进行名为"民族文化生态村建设"的应用
急性冠脉综合征是一组冠心病急危重症，其具有发病急、变化快、死亡率高的基本特点，严重威胁人们生命及生活质量，是导致冠心病以及心血管病死亡的主要原因，成为全球关注的问题。目
高校思想政治理论课开设的历史悠久,自新中国成立以来,就已成为大学教育的重要课程内容。尽管其间高校思想政治理论课的教学几经曲折,但其重要地位从未动摇。2004年中共中央
财务管理目标是企业进行财务活动所要达到的根本目的,不同的财务管理目标会产生不同的财务管理运行机制。科学合理地确定企业财务管理目标,对优化企业理财行为,实现企业财务
白塞病是一种自身免疫性疾病,可分为血管型、胃肠型及神经型。其中血管型白塞病常导致较高的致死率及致残率。白塞病合并动脉瘤破裂未经诊治后果严重,病死率极高。白塞病的病
目的：本文旨在总结宫丽鸿教授对眩晕的临床诊治经验，为临床治疗眩晕和提高疗效提供新思路。材料与方法：①查阅文献，通过整理并提炼有关眩晕病因病机和辨证论治的资料，撰写关于眩晕
目的探究预防产后出血的有效措施,借此降低产妇在产后大出血的发生率。方法选取2016年2月~2017年3月之间在我院进行分娩的600名孕妇作为实验对象,将其平均分成两组进行实验,