临近空间伞张式飞艇气囊结构原理性研究

针对常规布局临近空间飞艇存在的超压控制系统重量大、能耗高等问题,通过借鉴南瓜型高空长航时气球的工作原理,提出了一种新型的省却了副气囊和超压控制系统的临近空间伞张式飞艇概念,该飞艇主要由一种能随气囊内外压差变化实现自主变形的伞张式气囊组成。针对伞张式气囊,通过开展气囊结构概念设计、气囊原理样件研制和地面原理试验研究,验证了伞张式飞艇气囊结构原理的可行性。研究结果表明,临近空间伞张式飞艇气囊结构原理上基本可行。     

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

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

一种跟随式大磁矩磁力矩器高反电势抑制技术

摘要： 提出一种可以实现大磁矩磁力矩器磁棒电流续流时间自动调节的控制方法,该方法既可以抑制大磁矩磁力矩器高反电势的产生,又无需增加功率器件为磁棒电流提供续流回路,大幅减小控制线路的体积及热设计难度,同时可以满足输出磁矩在小幅值内频繁变换方向的使用要求.     

基于双椭球模型的双星系统稳定性研究

太阳系中存在着数量众多的双星系统。研究双星系统对于认识小行星的起源和演化有着重要意义。本文以双椭球模型,使用Joshua推导的四阶精度相互势,对双互锁双星系统进行研究。并通过KTC定理证明其稳定性。研究结果验证了卫星和主星存在相对滚转角速度是双互锁系统的一种可能的绕转方式。     

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

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

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

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

涡轮叶冠间隙流动特性实验

针对叶冠腔内有冷却气流的转子叶片叶冠,通过改变主流雷诺数、前后孔岀流比、叶尖间隙等参数得到静止状态下叶冠间隙流动的总压损失系数.实验结果表明:增大主流雷诺数与前孔岀流比,叶冠总压损失系数增大;减小叶尖间隙,总压损失系数也增大,小叶尖间隙下,总压损失系数随主流雷诺数与前孔岀流比增长更快,而后孔岀流比对叶冠总压损失系数影响不大.      

分布估计算法在飞翼飞行器控制分配中的应用

针对飞翼飞行器多操纵面气动布局的结构特点与当前控制分配方法中存在的不足,提出了以多操纵面协调控制的综合效果尽量接近期望单操纵面控制的效果为优化目标,得到了多操纵面控制分配的连续多变量目标函数,并给出基于分布估计算法的控制分配求解策略,完成了飞翼飞行器多操纵面的优化分配。仿真结果验证了该方法的有效性。     

星载软件可测试性设计方法

随着星载软件复杂度的增加,提高软件测试效率对保证软件质量越来越重要,软件的可测试性设计成为提高软件测试效率的关键手段。文中针对星载软件的可测试性设计提出了四种方法:设计可测试的分层体系结构可将软件故障限制在层次范围内;合约式任务模板可规范任务的输入输出,降低任务间的耦合性;状态序列编码可用于动态指示软件的切换与流向;多任务调度记录与堆栈使用记录可用于静态复现一段时间内软件的详细工作过程。可测试性设计方法应用在某项目的软件研制中,软件测试效率有明显提高,证明方法可行有效。     

基于变化映射表的WSN通信数据语义安全算法

提出一种基于变化映射表的语义安全算法.该算法首先针对无线传感器网络(WSN,Wireless Sensor Networks)应用对临界值敏感的特点,采用变精度状态采集方法,建立了一个原始语义与其标识数值的映射表;在此基础上,网关和节点之间通过同步映射表进行通信数据的语义加密和解密,为提高安全性,在通信过程中,映射表基于通信携带的随机变更因子而不断更新.最后给出算法分析及仿真验证,结果表明提出的算法可以有效抑制已知明密文对攻击和实现语义安全.