基于Eclipse的航天嵌入式软件集成 开发环境设计与实现

针对当前航天器软件研制过程中需要使用多种开发工具的问题,设计实现了集工程管理、代码编辑、语法检查、编译链接和调试测试于一体的航天嵌入式软件集成开发环境.研究成果已应用于航天器嵌入式软件的研发,缩短了软件研发周期并提高了软件质量,同时也为软件集成开发环境的研发提供借鉴.     

一种针对金星探测器的姿态指向设计

摘要： 金星探测需要超长距离低码率传输,因而金星探测器需要保持其数传天线指向地球.相对于地球轨道飞行器来说,金星探测器距离太阳更近,需要固定散热面来维持探测器内的温度.提供一种基于在金星探测器偏置安装天线的姿态指向设计,能够保证从金星向地球传输数据并且维持散热面远离太阳.而此设计旨在减少数传天线的数量至一根同时将两个固定平面作为散热面.还提供两种详细方案来控制姿态机动来保证在数传天线始终指向地球的同时在特定节点切换散热面.     

带有阻尼机构的多柔体航天器动力学建模

对通过阻尼机构连接的多柔体航天器动力学问题进行研究,考察的系统由航天器本体、若干六自由度刚性阻尼平台以及固连于阻尼平台的大柔性附件构成,阻尼平台与航天器本体之间以弹性 阻尼装置连接,为典型的多柔体系统.以混合坐标描述系统的运动,利用Kane方程建立了具有较强通用性且有利于系统控制器设计的含有约束阻尼的动力学模型.数值仿真结果表明,阻尼器可有效衰减柔性附件的振动,有利于星体受扰后的快速稳定     

基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

针对多个地球静止轨道目标的巡游轨道设计

运行在螺旋巡游轨道上的航天器无需施加控制力就可以长期巡游在指定轨道附近,利用该特点,克服地基目标监视系统的不足,可提高空间目标监视能力.在现有的设计基础之上,改进对地球静止轨道多个目标螺旋巡游轨道的初始轨道设计;通过施加控制提出两种可以对地球静止轨道上多个目标进行绕飞观测的螺旋巡游轨道设计;通过仿真验证,对比二者各自的优势.     

基于标定场的激光雷达两步标定方法

针对激光雷达大测量范围高精度测角测距问题,提出一种基于标定场的激光雷达两步标定方法.该方法在分析激光雷达测角误差和测距误差的基础上,提出激光雷达误差修正模型.该模型将距离修正从标定模型中分离,首先利用靶标场完成全视场的角度标定,并确定其外部参数,再利用基线场实现距离标定.以降低距离标定参数与角度标定参数之间的耦合性,保证激光雷达角度和距离标定的精度和准确度.实验结果表明方法合理有效,能够实现激光雷达的高精度标定.     

《燃气涡轮试验与研究》征稿

1 《燃气涡轮试验与研究》(季刊)是经国家科委批准的全国性正式期刊,系综合性技术刊物,由中国航空工业总公司第624研究所主办。其读者对象是:从事燃气轮机试验、研究、设计和加工的科技人员、管理干部及有关大专院校的师生。其他机电行业的人员也可以从中吸取有益的信息。     

航天器分布式智能计算体系的数学建模与调度算法研究#br#

航天器对大容量高效计算的要求越来越高，现有的星载计算体系的能力已经难以满足其需求，需要建立具有自组织能力的智能计算体系，还要实现高效的任务调度.给出了航天器分布式智能计算体系的模型和任务调度问题的多目标优化模型，并根据该模型设计了改进粒子群算法和改进蚁群算法结合的DPSO EACO算法，先利用粒子群算法生成初始调度方案，再用该方案初始化蚁群算法，利用蚁群算法生成最终调度结果.仿真结果表明，该算法的性能与改进粒子群算法和改进蚁群算法相比具有明显的性能优势.