量子科学实验卫星密钥分发实验任务规划

针对量子科学实验卫星密钥分发实验任务规划约束条件多以及时效性要求高的特点,基于对密钥分发实验过程及约束分析,建立了约束满足规划模型.以完成时限最短为优化目标,综合考虑任务规划所需光学及数传站资源分配,利用深度优先搜索算法对模型进行求解,解决了实验过程中多要素紧耦合、强时间约束的难题.仿真分析结果表明,所提出的模型及算法有效,能够满足量子科学实验卫星密钥分发实验星地交互的需求.