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

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

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

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

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

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

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

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

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

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

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

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

资源卫星用的高密度数字记录器

资源卫星所用的高密度数字记录器（ＨＤＤＲ）是为资源卫星专门研制的一种新型记录器。该记录器可记录５０Ｍｂ／ｓ的ＮＲＺ－Ｌ信号，记录时间为１５ｍｉｎ，总容量达４．８×１０１０ｂｉｔｓ。本文对该记录器的信道作了系统的介绍。对于作为通用接口的指令、系统、工作原理、电路结构、ＰＲＯＰ码的帧结构、纠错系统、接口指令、运带机构及其设计应考虑的几个因素等作了介绍，最后，给出其指标。结论认为，误差指标远优于用户要求，功耗也比国外同类产品的低，性能优良。     

美国航空航天局地基测控网述评

美国航空航天局(NASA)拥有用于不同用途的三种航天测控网,即地基网、天基网和深空网。其中地基网采取用户驱动方式,可为各种低地球轨道(LEO)、地球同步轨道(GEO)、高椭圆轨道、亚轨道以及发射轨道等多类不同任务用户提供覆盖任务生命周期的多频段遥测、遥控和跟踪服务。     

一种组合自适应模糊控制方法及其在月球探测车上的应用

自适应模糊控制是解决不确知非线性系统问题的一种有效手段。文中以月球探测车的驱动控制为背景,针对这类非线性MIMO系统,提出一种组合自适应模糊控制方法,用于系统模型不能准确获知的情形。在本方法中,控制律由3部分组成:监督控制项、跟踪控制项和补偿控制项。在控制律的设计中,通过自适应项来同时补偿模糊逻辑系统的逼近误差以及外部干扰的影响,且无需假设模糊逻辑系统最小逼近误差的上确界已知。基于Lyapunov方法,证明了闭环系统是全局稳定的,系统输出误差渐近收敛。将该方法应用于月球探测车的驱动控制中,仿真结果表明了方法的有效性。     

用I—DEAS软件实现通用件的参数化设计

利用计算机建立通用件库可减少大量的重复操作，提高设计效率，达到较高的标准化水平。基于尺寸驱动的参数化设计可以实现同类零件的相互调用。本文介绍了用I-DEAS软件建立通用件库的过程，并以典型的微波器件为例，详细介绍了通用件库的设计方法。