摘要
在深入分析成像卫星任务规划问题模型要素的基础上,以有色Petri网为理论工具,提出一种基于CPN(Coloured Petri Net)的成像卫星任务规划模型。该模型分为顶层模型、控制模型、目标成像任务规划模型和图像传输任务规划模型,具有良好的模块化和通用化特点。通过设计典型仿真实例,考察所建模型在无任务冲突情况下和在有任务冲突情况下的任务规划能力,验证了所建模型的有效性。所建模型可以为成像卫星任务规划方案的制定提供理论依据。
Based on thorough analysis of model elements of mission planning for imaging satellite （MPIS） problem, and taking Coloured Petri Net （CPN） as the theoretical tool, we propose a CPN-based MPIS model. The model is divided into four modules： the top model, the control model, the target imaging mission planning model and the image transmitting mission planning model. It has the characteristics of good modularisation and universality. By designing typical simulation examples, we examine the mission planning ability of the model built in conditions of without mission conflict case and with mission conflict case, and test its validity as well. The model built can provide theoretical basis for developing the solution of MPIS.
出处
《计算机应用与软件》
CSCD
北大核心
2012年第12期324-328,共5页
Computer Applications and Software
基金
国家自然科学基金项目(F020704)
关键词
成像卫星
任务规划
有色PETRI网
建模
约束条件
任务冲突
Imaging satellite Mission planning Coloured Petri net Modelling Constraint condition Mission conflict
