Bipartite graph-based control flow checking for COTS-based small satellites

Single event upset(SEU)effect,caused by highly energized particles in aerospace,threatens the reliability and security of small satellites composed of commercial-off-the-shelves(COTS).SEUinduced control flow errors(CFEs)may cause unpredictable behavior or crashes of COTS-based small satellites.This paper proposes a generic software-based control flow checking technique(CFC)and bipartite graph-based control flow checking(BGCFC).To simplify the types of illegal branches,it transforms the conventional control flow graph into the equivalent bipartite graph.It checks the legality of control flow at runtime by comparing a global signature with the expected value and introduces consecutive IDs and bitmaps to reduce the time and memory overhead.Theoretical analysis shows that BGCFC can detect all types of inter-node CFEs with constant time and memory overhead.Practical tests verify the result of theoretical analysis.Compared with previous techniques,BGCFC achieves the highest error detection rate,lower time and memory overhead;the composite result in evaluation factor shows that BGCFC is the most effective one among all these techniques.The results in both theory and practice verify the applicability of BGCFC for COTS-based small satellites.     

采用移动粒子法对蒸发管结构优化

采用数值模拟方法研究在驻涡燃烧室试验中出现的部分燃油在外环冷却腔中燃烧的现象,分析导致过低的燃烧效率的原因,并通过优化设计对此现象加以解决.通过移动粒子半隐式方法的计算,结果基本还原了燃油回溅现象,查找出蒸发管结构设计中直段长度过短,并对蒸发管直段结构进行优化加长.在结构优化后的计算中,燃油回溅现象已经得到了很好的抑制,计算溅出的粒子由总数的50%降低至10%左右;试验结果得到的温升法燃烧效率也相应的由50%左右上升至80%～90%,从而验证了优化设计的正确性.     

机器人镗孔加工系统稳定性分析

为了解决大型飞机装配现场主起落架交点孔的镗孔精加工问题,提出了采用六自由度工业机器人及专用末端执行器组合的创新解决方案。压脚是抑制机器人镗孔加工系统颤振的核心环节。通过对施加压脚前后的机器人镗孔加工系统进行动力学建模,对系统的稳定性进行分析,得出压脚装置对加工系统稳定性叶瓣图的影响。最后通过实际镗孔加工实验验证了机器人镗孔系统在不同压脚压力下的加工稳定性,表明合理的压脚压力可提高稳定切深,拓展加工稳定区域,有效避免加工颤振。     

电介质测量中的谐振腔Q因子特性

对同轴线-集中电容负载谐振腔, 采用传输测量使用的3dB 三频法决定有载Q_l, 计及谐振频率下的插入损耗后获得无载Q_u, 对同一腔体, 也用单端口反射测量技术的xdB 三频法, 并通过测量回程损耗在谐振点和xdB 点的输入反射系数振幅来获得无载Q_u. 在500MHz 下40 个不同的耦合状况下, 两种方法得到无载Q_u的算术平均值和标准差为2519±34. 这两种技术被用来调节和实现传输型谐振腔的输入、输出的等耦合和电介质测量, 本文从介质损耗测量的观点讨论了如何使用有载Q_l和无载Q_u.      

脉管制冷机液氦温区高频特性

从主动制冷的角度,探索冷端无运动部件的低温制冷机-脉管制冷机高频下达到液氯温区的条件,在前期理论设计的基础上,研制了一台预冷型的单级高频脉管制冷机,采用低温惯性管和低温气库为调相方式,开展了频率、平均充气压力、预冷温度以及输入功率等对制冷机性能影响的实验研究.实验结果表明:当采用氦-4为工质,预冷温度为4.54 K,工作压力为0.775 MPa,工作频率为40 Hz时,该制冷机最低无负荷制冷温度达4.23 K.     

JP-10燃料在HZSM-5/不锈钢筛网复合膜上的常压催化裂解

研究了常压下JP-10燃料在HZSM-5/不锈钢筛网复合膜上的催化裂解。研究发现,HZSM-5/不锈钢筛网复合膜对JP-10裂解具有较好的催化活性。400℃、停留时间6.51 s时,高密度碳氢燃料JP-10在空白不锈钢筛网上不发生任何裂解,而在HZSM-5/不锈钢筛网复合膜上的裂解转化率为15.2%;500℃、停留时间5.67 s时,JP-10在空白不锈钢筛网上的裂解转化率为3.1%,而在HZSM-5/不锈钢筛网复合膜上的裂解转化率高达42.1%。JP-10催化裂解的主要产物为C1-C4、苯、环戊二烯和甲苯,苯的含量随停留时间增加而逐渐增加,而环戊二烯的含量则逐渐减少,C1-C4和甲苯的含量随停留时间变化不大。根据产物分布,提出了JP-10在HZSM-5/不锈钢筛网复合膜上催化裂解的可能反应途径。     

重复折展锁解式太阳翼多体系统动力学建模与分析

为研究重复折展锁解式太阳翼展开力学特性,针对其有根树链式拓扑结构特点,依据一阶模态刚度分析假设模型,由Jourdain变分原理建立太阳翼树形柔性多体系统动力学理论模型;结合太阳翼关节铰机构运动规律,采用单向递推组集建模方法构建太阳翼展开过程正逆混合动力学模型;基于重复折展锁解式太阳翼结构参数和物理性能参数进行数值仿真,研究蜂窝夹层复合式基板柔性结构对太阳翼展开力学规律的影响,得到太阳翼各基板质心运动规律及其展开过程所需施加的驱动力矩. 所得结果可较好地预测太阳翼展开过程的动态行为,为其后续工程应用提供依据.      

空间充气薄膜衍射成像结构的热力耦合分析

随着空间光学技术的发展,衍射成像系统成为空间光学领域的研究热点。提出了一种充气薄膜衍射成像结构设计方案,针对其在空间热载荷作用下的热力耦合效应开展研究。建立了充气薄膜衍射成像结构的热力耦合顺序分析框架,基于I DEAS和ANSYS软件二次开发技术,实现了热力耦合数值分析,得到了结构在轨运行时的瞬态温度场、热应力、热变形等。分析结果表明,充气支撑结构产生了较大热变形,但最大热应力远小于聚酰亚胺薄膜材料的抗拉强度,而镜面中心处没有出现较大的热变形响应,为充气薄膜衍射成像结构的防热设计提供了技术支持。     

惯性颗粒在非均匀加速流中的输运问题

基于新型碳基颗粒增强或碳基纤维材料的再入体热烧蚀问题对飞行器的气动力/热性能影响机制尚不明确。初步研究不考虑化学反应和气体引射效应,把热烧蚀问题中的颗粒剥离问题模化为驻点流中的离散颗粒启动问题。由于高速气流在驻点温度达上万度量级,局部马赫数接近于0,研究近似假设靠近壁面的流体动力学为不可压缩的,并使用不可压缩颗粒解析的直接数值模拟方法（PR-DNS）研究一个惯性颗粒在平面挤压流和壁面驻点流中的动力学,从而揭示在驻点流中的颗粒输运机制。研究发现颗粒在壁面驻点流中的输运机制是水平输运,几乎没有垂直输运,与平行剪切颗粒床输运非常不同,这是驻点流特有的垂直向下挤压作用导致的。