在深入分析成像卫星任务规划问题模型要素的基础上,以有色Petri网为理论工具,提出一种基于CPN(Coloured Petri Net)的成像卫星任务规划模型。该模型分为顶层模型、控制模型、目标成像任务规划模型和图像传输任务规划模型,具有良好的模块化和通用化特点。通过设计典型仿真实例,考察所建模型在无任务冲突情况下和在有任务冲突情况下的任务规划能力,验证了所建模型的有效性。所建模型可以为成像卫星任务规划方案的制定提供理论依据。
提出并描述了一个基于树型层次结构的计算资源共享与聚集系统(tree-based layered sharing and aggregation,TLSA)。TLSA系统由对等网络环境下的空闲节点组成,形成一个类似B树的层次结构,使在节点加入和退出的时候可以自动的维持平衡。树型结构的网络拓扑通过自组织的可用性协议来维护,保证了系统的比较低的消息通信量和平衡的处理器负载。通过内部的资源发现协议,节点可以寻找到系统中最近最合适的空闲计算资源来完成大量的子任务。通过模拟测试结果表明对于大规模的子任务,TLSA可以在很短的时间内寻找到空闲资源,而且网络消息通信量不超过O(logmN),具有低消息通信量、非集中性、可扩展性、自组织等特性。
