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

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

Mission Scheduling of Key Distribution Experiment in Quantum Science Experimental Satellite

The first quantum satellite was launched on 16 August 2016. One of the satellite's important scientific experiments is the quantum key distribution, and its process is more complicated than other common experiments between the ground and space. In this paper, due to the multiple scheduling constraints and high timeliness requirement problem in the key distribution experiment of quantum science experimental satellite, based on analyses of key distribution process and constraints, a constraint satisfaction scheduling model is proposed. Taking the minimum mission completion time as the model's optimization objective, and considering the distribution of optic and data receiving resources, algorithm based on depth first search is proposed, and the problem of tight coupling and high timeliness was solve commendably. Simulation analyses results showed that the proposed model and algorithm are valid, and the interaction requirements between quantum science experimental satellite and the station in key distribution experiment can be satisfied. In future, further study will be made on the optimization of the algorithm.