论文部分内容阅读
以中继卫星(Racking and Data Relay Satellite,TDRS)为研究对象,以有色Petri网(Colored Petri Net,CPN)为数学工具,根据自顶向下的原则和层次化建模思想,提出一种基于CPN的TDRS操作规划模型,该模型分为顶层模型、控制模型、前向链路数据接收任务与发送任务的操作规划模型和返向链路数据接收任务与发送任务的操作规划模型,有效地描述了TDRS的动态行为特性。最后,通过仿真实验得到了TDRS操作规划方案,验证了所建模型的有效性。与PDDL模型比较分析表明:所建模型可以有效引入TDRS的领域知识,能够有效提高求解效率。所建模型可以为TDRS操作规划方案的制定提供理论参考。
Taking TDRS as a research object and Colored Petri Net (CPN) as a mathematical tool, a top-down and hierarchical modeling method is proposed based on the principle of hierarchical Petri Net CPN TDRS operational planning model, the model is divided into top-level model, the control model, the forward link data receiving task and sending task operation planning model and the return link data receiving task and sending task operation planning model to effectively describe The dynamic behavior of TDRS. Finally, the TDRS operational planning scheme is obtained through the simulation experiment, which verifies the validity of the proposed model. The comparison with PDDL model shows that the proposed model can effectively introduce the domain knowledge of TDRS and can effectively improve the efficiency of the solution. The model can provide a theoretical reference for the formulation of TDRS operational planning scheme.