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

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

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

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

大尺寸内螺纹参数的测量

本文介绍了采用万能方法测量大尺寸内螺纹参数的原理和过程，分析了这种测量方法的误差，并给出了这种测量方法所需装置及测量精度。     

浅析GB/T 4458.4-2003实施中的有关问题

通过对GB/T4458.4-2003和GB/T4458.4-1984的对比分析,说明了机械制图与技术制图有关注法的一致性和协调性,从而加深了对新国标的理解。     

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

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

导引头部件公差分析与设计技术研究及应用

研究了公差分析与优化设计的方法,分析了导引头伺服机构公差分析与设计的主要关键技术.并以导引头伺服机构为对象,针对设计要求,计算了尺寸变化敏感度和尺寸变化作用率,对设计结果进行了分析优化.     

空间环境对聚合物基复合材料性能的影响分析

文章介绍了空间飞行器工作过程中的空间环境条件。为满足这些要求，在设计与选材时须考虑一些因素。此外对某型号任务中使用的P75S／环氧648复合材料耐空间环境条件的性能做了简要评述。     

保证数控铣加工的尺寸精度

本文介绍了数控编程和数控加工中保证零件的尺寸和公差要求的方法.一种方法是用公差的中间值作为终点坐标的尺寸编程;另一种方法是用公称尺寸编程,用公差的中间值作与公称尺寸的差值作为刀补值,通过刀具补偿保证尺寸要求.     

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

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