基于有色Petri网的成像卫星任务规划建模
MODELLING MISSION PLANNING FOR IMAGING SATELLITE BASED ON COLOURED PETRI NET作者机构:运城学院计算机科学与技术系山西运城044000
出 版 物:《计算机应用与软件》 (Computer Applications and Software)
年 卷 期:2012年第29卷第12期
页 面:324-328页
学科分类:081203[工学-计算机应用技术] 08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术(可授工学、理学学位)]
主 题:成像卫星 任务规划 有色Petri网 建模 约束条件 任务冲突
摘 要:在深入分析成像卫星任务规划问题模型要素的基础上,以有色Petri网为理论工具,提出一种基于CPN(Coloured Petri Net)的成像卫星任务规划模型。该模型分为顶层模型、控制模型、目标成像任务规划模型和图像传输任务规划模型,具有良好的模块化和通用化特点。通过设计典型仿真实例,考察所建模型在无任务冲突情况下和在有任务冲突情况下的任务规划能力,验证了所建模型的有效性。所建模型可以为成像卫星任务规划方案的制定提供理论依据。