1.一种基于功能分离的时变星间链路着色Petri网建模方法,其特征在于:包括以下步骤:S1、构建基于功能分离的时变星间链路基础框架;
所述基础框架包括:数据功能模块、管理功能模块和控制功能模块;
所述数据功能模块实现的功能包括:数据产生和回收、数据存储转发;
管理功能模块用于卫星网络拓扑结构管理与故障分析;
控制功能模块用于控制所有网络协议的运行;
S2、根据基础框架建立同构的时变星间链路着色Petri网模型;
Petri网模型包括7个库所与9个替代变迁;
所述库所用于数据记录,分别为:库所Forwarded、库所Cached、库所Sent、库所Propagated、库所Received、库所Link和库所Infor;
库所Forwarded代表新产生的数据和需要继续借助星间链路传输的数据;
库所Cached代表发送缓存中等待发送的数据;
库所Sent代表正在发送的数据;库所Sent为星间数据,使用颜色集MsgInSIL标记;
库所Propagated代表正在传播的数据;
库所Received代表等待回收或中转的数据;
库所Link保存卫星建链关系;
库所Infor保存星间链路详细属性;
所述替代变迁包括:替代变迁generate_arrive、替代变迁preprocess、替代变迁send、替代变迁propagate、替代变迁receive、替代变迁transfer、替代变迁route_traverse、替代变迁next_route和替代变迁slot_switch;
数据的产生与回收功能由替代变迁generate_arrive完成,具体为:替代变迁generrate_arrive回收库所Received中到达目标节点的数据或在库所Forwarded中产生新数据,模拟数据的产生与回收;
数据的存储转发功能由替代变迁send、替代变迁propagate、替代变迁receive、替代变迁transfer完成,具体为:替代变迁send借助库所Infor中的星间链路信息对库所Cached中数据执行发送操作;
而库所Cacehed代表发送缓存中等待发送的数据,其数据来源于由替代变迁preprocess对库所Forwarded预处理后的数据;
库所Forwarded中的数据来源于:替代变迁transfer对库所Received中需借助星间链路传输的中转数据;
库所Received的数据来源于:替代变迁receive对库所Propagated中完成传播的数据进行接收后处理得到的数据;
而替代变迁propagate借助库所Infor中的星间链路信息对库所Sent中数据执行传播操作;
控制功能由替代变迁route_travese和替代变迁next_route完成,具体为:替代变迁route_traverse根据库所Link中建链信息,以指定卫星为起点进行路由遍历;
替代变迁next_route为库所Cached中等待的数据提供下一跳端口,并绑定下一跳星间链路;
管理功能由替代变迁slot_switch完成,具体为:替代变迁slot_switch用于更新库所Link与Infor中的星间链路拓扑信息,获得星间链路拓扑结构;
S3、根据Petri模型计算星间链路时延指标,完成模型评价。
2.如权利要求1所述的一种基于功能分离的时变星间链路着色Petri网建模方法,其特征在于:时延指标计算公式如下:Ttotol=Tgenerate+Tsend_process+Tsend+Tpropagate+Treceive_process+Ttransfer+Tarrive其中Ttotol为端到端总时延;Tgenerate为数据生成时延;Tsend_process为数据发送前预处理时延;Tsend为数据发送时延;Tpropagate为数据传播时延;Treceive_process为数据接受后处理时延;
Ttransfer为数据中转时延;Tarrive为数据回收时延。