基于Pi演算的卫星任务规划流程设计与验证

摘要：

　　本文针对卫星观测系统中卫星任务规划软件模块，根据卫星任务规划特点，设计了卫星任务规划软件流程。同时，对卫星任务规划流程进行适当简化，利用Pi演算理论，对工作流程的正确性和可替代挂进行验证，最后实验结果表明设计实现的卫星任务规划平台基本流程符合实际应用需求。

关键词： Pi演算理论 卫星任务规划 可替代性 流程设计

作者: 王智勇 王钧 李军 吴秋云 陈浩

作者单位: 圆防科学技术太学电子科学与工程学院,410073

会议类型: 国内会议

会议名称: 2011年小卫星技术交流会

会议地点: 北京

会议语种:中文

页码: 1-5

在线出版日期: 2011-09-01（万方平台首次上网日期，不代表论文的发表时间）