首页> 中文会议>2011年小卫星技术交流会 >基于Pi演算的卫星任务规划流程设计与验证

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《2011年小卫星技术交流会》|2011年|1-5|共5页
会议地点北京
作者
王智勇; 王钧; 李军; 吴秋云; 陈浩;
展开▼
作者单位

航天东方红卫星有限公司;

中国空间科学技术编辑部;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 V474.26;TP311.52;
关键词
Pi演算理论; 卫星任务规划; 可替代性; 流程设计;

相似文献

中文文献
外文文献
专利

1. 基于Pi-演算的移动自助服务系统缴费流程的建模与验证 [J] . 高娟 ,丁志义 . 宁夏工程技术 . 2016,第002期
2. 基于PI-演算的网上并联审批业务流程建模及验证 [J] . 胡庆成 ,邢春晓 ,杨吉江 . 计算机应用研究 . 2007,第012期
3. 基于FSA的卫星任务规划流程定制平台设计 [J] . 谷宏志 . 无线电工程 . 2015,第001期
4. 基于多元Pi-演算的Web服务组合描述与验证 [J] . 胡静 ,饶国政 ,冯志勇 . 天津大学学报 . 2013,第006期
5. 基于多元Pi-演算的Web服务形式化描述模型及其验证 [J] . 胡静 ,冯志勇 . 计算机应用研究 . 2011,第008期
6. 基于Pi-演算的THP协议形式化建模与验证 [C] . . 2008全国软件与应用学术会议(NASAC'08) . 2008
7. 基于Pi演算的多Agent异构系统任务调度模型的研究与实现 [A] . 王海旭 . 2020

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号