排序方式: 共有183条查询结果,搜索用时 31 毫秒
21.
随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质. 相似文献
22.
针对多个地球静止轨道目标的巡游轨道设计 《空间控制技术与应用》2016,42(5):37
运行在螺旋巡游轨道上的航天器无需施加控制力就可以长期巡游在指定轨道附近,利用该特点,克服地基目标监视系统的不足,可提高空间目标监视能力.在现有的设计基础之上,改进对地球静止轨道多个目标螺旋巡游轨道的初始轨道设计;通过施加控制提出两种可以对地球静止轨道上多个目标进行绕飞观测的螺旋巡游轨道设计;通过仿真验证,对比二者各自的优势. 相似文献
23.
基于标定场的激光雷达两步标定方法 《空间控制技术与应用》2017,43(4):57-62
针对激光雷达大测量范围高精度测角测距问题,提出一种基于标定场的激光雷达两步标定方法.该方法在分析激光雷达测角误差和测距误差的基础上,提出激光雷达误差修正模型.该模型将距离修正从标定模型中分离,首先利用靶标场完成全视场的角度标定,并确定其外部参数,再利用基线场实现距离标定.以降低距离标定参数与角度标定参数之间的耦合性,保证激光雷达角度和距离标定的精度和准确度.实验结果表明方法合理有效,能够实现激光雷达的高精度标定. 相似文献
24.
25.
航天器分布式智能计算体系的数学建模与调度算法研究#br# 《空间控制技术与应用》2019,45(6):38
航天器对大容量高效计算的要求越来越高,现有的星载计算体系的能力已经难以满足其需求,需要建立具有自组织能力的智能计算体系,还要实现高效的任务调度.给出了航天器分布式智能计算体系的模型和任务调度问题的多目标优化模型,并根据该模型设计了改进粒子群算法和改进蚁群算法结合的DPSO EACO算法,先利用粒子群算法生成初始调度方案,再用该方案初始化蚁群算法,利用蚁群算法生成最终调度结果.仿真结果表明,该算法的性能与改进粒子群算法和改进蚁群算法相比具有明显的性能优势. 相似文献
26.
27.
28.
29.
30.