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

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

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

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

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

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

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

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

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

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

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

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

航天电连接器质量检验专题讲座——第8讲 航天电连接器的可靠性预计

本讲座第7讲“航天电连接器的可靠性分析与试验”已在本刊2005年第5期和2006年第1期刊出,现不再重复刊登。本期刊出的第8讲“航天电连接器的可靠性预计”,对于如何准确选用和评估电连接器具有非常实用的指导意义,故在原计划（共7讲）基础上增加一讲专门阐述。     

BTi-62421S 高温钛合金超塑性能及应用

对BTi-62421S高温钛合金进行了高温超塑性拉伸实验,通过研究超塑条件下的力学性能、金相组织及拉伸断口形貌,确定了该合金高温拉伸条件下的断裂机制及超塑成形最佳变形工艺参数,在此基础上进行了BTi-62421S钛合金框架零件的超塑性成形实验。结果表明:BTi-62421S钛合金在920℃,应变速率10-3/s时具有最佳超塑性能,伸长率达到448.5%;该合金拉伸断裂机制以韧性断裂为主,但在不同变形参数下伴随着不同程度的脆性断裂;在超塑条件下可以成形出满足使用要求的航天用钛合金框架零件。     

钢纤维高强混凝土施工技术要求

本文系根据某工程设计要求、当地材料供应情况和施工现场条件等因素提出的钢纤维高强混凝土施工技术要求，可供其它类似工程参考。