航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

弱引力下小行星动量驱动机器人的可控跳跃行为

以小行星表面着陆探测为背景,提出一种动量驱动机器人(MoRo)以满足弱引力复杂环境下的探测需求。该机器人利用弱引力环境下的摩擦和碰撞特性,通过主动辨识环境参数,规划和控制动量轮以产生期望的驱动力矩,完成可控性跳跃及腾空后的稳定拍照等任务。首先,基于MoRo的动量轮刹车机构特性,分析了MoRo在弱引力环境下的跳跃机理并对其跳跃方式进行了规划;接着考虑动量轮驱动机构三闭环伺服系统的非线性特性,基于Herze碰撞模型和Karnopp摩擦模型建立了MoRo在小行星表面的跳跃行为动力学模型;其次,使用机器学习算法建立环境参数和MoRo运动的函数关系,并基于环境参数规划动量轮转速实现跳跃距离和腾空高度的可控。最后,通过数值仿真校验了MoRo跳跃规划方法和控制方法的可行性。     

微小空间薄液膜相变传热的微尺度效应

对微小空间的相变传热和流动的微尺度效应的研究进展进行了阐述，包括下列几个方面：固体表面上薄液膜厚度的微尺度效应；圆形截面毛细管管径的微尺度效应；毛细管的截面形状微尺度效应；壁面纳米级粗糙度的微尺度效应；微型热管(MHP)的微尺度效应和连续性极限、堵塞极限；平板热管(FMHP)的壁面粗糙度微尺度效应和沸腾极限；脉动热管(PHP)管径的微尺度效应；薄液膜的稳定性等。研究分析了上述各方面微尺度效应的机理，归纳推知增加每个薄液膜区域的面积和增加薄液膜区域的数量这两种方法均可提高蒸发器的性能，后一种方法可操作性强，为高效蒸发器性能的提高指明了方向。     

滑油量对恒速传动装置的影响

本文介绍了中外航空公司飞机发动机恒速传动装置几个故障典例及造成的危害,分析了填加滑油量不当对发动机恒速传动装置的影响,提出了预防措施。     

LD—10板材拉伸粗晶对贮箱使用性能的影响

运载火箭共底贮箱选用LD-10板材,由6块瓜瓣拼焊,采用拉伸—压型工艺。由于拉伸变形量达到板材的临界变形量,在瓜瓣表面出现粗晶,导致报废。经大量实验,对比临界变形量产生的粗晶与未达临界变形量的细晶材料的力学、焊接、耐腐蚀性能。结果表明:粗晶晶粒度在GB3247-82标准晶粒度4级或4级以下时,对贮箱的使用性能无影响,据此可显著降低废品率;此外,采用减慢变形速率、降低变形温度的上艺技术措施,可增大板材的临界变形量和减小因临界变形所致粗晶尺寸。     

挂弹车液压系统设计中的可靠性技术

导弹挂弹车液压系统主要包括液压驱动系统、液压转向系统和液压六自由度调整系统，它们是由各种液压回路组成，组装后的液压系统既要满足装卸导弹的各项技术指标，又要实现狭小安装空间中多种运动的互不干涉，还要保证导弹弹体的绝对安全，因此设计难度可想而知。本文首先介绍了挂弹车对液压六自由度调整系统的技术要求和回路原理，接着对调整系统的各可靠性回路以及在方案设计中所采用的可靠性技术进行了详细的分析计算，最后外场试验证明了该液压调整系统的设计是成功的。     

高频感应加热的温度控制系统

本文介绍单片机温控仪与高频感应加热设备组成的系统,并用此系统成功地进行了相变超塑性试验。     

广播内存实时网节点卡的LabVIEW驱动开发

广播内存实时网技术是一种高效的网络数据传输技术。本文向读者介绍了LabVIEW环境下利用CIN技术的网络内存节点卡驱动模块的设计方法。     

共析钢的相变超塑性扩散连接

根据高温扩散和空洞蠕变闭合理论，在恒温超塑性扩散连接基础上建立相变超塑性扩散连接数学模型，可确定各工艺参数，诸如循环上限温度、压力、循环次数以及升、降温速率等对连接的影响，作为选择合适工艺参数的依据。经过对T8共析钢相变超塑性扩散连接试验研究，证明该理论模型与试验结果吻合较好。     

压电驱动自耦合射流流动特性实验

为了研究压电驱动狭缝喷口自耦合射流的流动特性,采用PIV、热线风速仪测试手段,对自耦合射流激发器在不同激励因素下的流场和速度场分布进行了实验和分析.结果显示,自耦合射流在狭缝出口处产生了反向涡对,随着自耦合射流的发展,射流呈现出在喷口短轴方向急剧向两侧扩展、而在喷口长轴方向先收缩后缓慢扩展的流动特征;自耦合射流的速度分布在法线方向呈现先上升后下降的趋势,在z/b=10左右速度达到最大值;在射流展向上,短轴方向速度呈规律的对称分布和速度自模的特征,而长轴方向速度近喷口区域呈现马鞍状分布,随着法向距离增加这种趋势消失.研究中发现,激发器存在两个谐振频率,在谐振频率激发下自耦合射流的速度和涡量比较大.与常规射流相比,自耦合射流显示出了独特的流动特性.