论文部分内容阅读
本文针对卫星观测系统中卫星任务规划软件模块，根据卫星任务规划特点，设计了卫星任务规划软件流程。同时，对卫星任务规划流程进行适当简化，利用Pi演算理论，对工作流程的正确性和可替代挂进行验证，最后实验结果表明设计实现的卫星任务规划平台基本流程符合实际应用需求。
基于Pi演算的卫星任务规划流程设计与验证
【摘 要】
：
本文针对卫星观测系统中卫星任务规划软件模块，根据卫星任务规划特点，设计了卫星任务规划软件流程。同时，对卫星任务规划流程进行适当简化，利用Pi演算理论，对工作流程的正确性
【机 构】
：
圆防科学技术太学电子科学与工程学院,410073
【出 处】
：
2011年小卫星技术交流会
【发表日期】
：
2011年9期
其他文献
据预测,深圳市将于2029年正式步入人口老龄化社会.《条例》出台正当其时,体现出深圳作为社会主义先行示范区在养老服务领域的治理能力现代化迈出了坚实一步.《条例》厘清了政
期刊
本文首先对系统级转阶段评审概要描述，然后对卫星系统转阶段评审方式的现状进行了详尽的分析，最后提出了更加合理可行的转阶段评审方式。
分析了2000-2009年10年间全球小卫星市场的发展，对小卫星的质量发展趋势、小卫星的用户分布以及小卫星的应用领域进行了统计分析。同时，给出了小卫星技术未来的发展趋势。
国外在地球重力场测量卫星、空间引力实验卫星方面进展巨大，成就斐然。简要回顾了国外CHAMP、GRAcE、GOCE等地球重力场测量卫星以及GP-A、GP-B、MICROSCOPE、LISA等空间引
关键路径进度优化是缩短项目工期的有效方法，是项目计划管理重要问题，当前对于项目优化的研究方法集中于朝着既定的工期目标，调整资源用量。
本文从有效调配关键路径占
一、促免疫rn促免疫保健的必要性rn免疫系统不是生来就充分发育的,它的后天发育受多方面因素的制约.其中,免疫抑制性垂直传播性疾病越来越多,包括先天性垂直传播;霉菌毒素的
期刊
通过对QC-LDPC码校验矩阵中的环路进行分类，提出一种检测所有长度小于12的环的无重无漏方法。利用该环路检测方法，提出了一种新的基于启发搜索的大固长QC-LDPC码构造法，该构
新时代,我国的快速发展为意识形态领域带来了机遇和挑战,党的十九大和十九届四中全会为学院意识形态教育培训工作指明了方向,赋予了光荣使命.学院作为党员干部意识形态教育培
本文对卫星在轨常见故障进行了分析，总结了测控信道，能源，通信三类故障的自动检测，隔离和恢复方法；并针对卫星在轨发生故障后，任务中断，只能依赖地面重新注入任务的问题，提出了通