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

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

一种小型化宽频带微带阵列天线设计

介绍一种小型化宽频带微带阵列天线设计，采用矩形渐变切角结构和E 型开槽结构，实现微带天线 的宽带化和小型化。馈电网络采用多级并联式T 型功分网络，保证宽频带馈电形式。基于项目需求设计、加 工了一套4×6 单元的微带阵列天线，测试结果表明，该天线在10% 的频带内反射系数优于-10dB，增益大于 20dBi。     

仿壁虎刚毛阵列对卫星表面吸附能力模型与计算

壁虎脚的粘着机理对航天机器人脚掌的研制和开发具有重要启发意义.通过单根刚毛与光滑表面黏着力模型与计算、卫星粗糙表面分布模型与接触概率与计算、刚毛阵列与卫星粗糙表面黏着力模型与计算等，分析仿壁虎刚毛阵列对卫星表面的吸附能力，发现在一定条件下仿壁虎刚毛阵能够在太空失重环境中黏着在卫星表面，对航天舱内爬行机器人、管道机器人的研制和开发具有重要的启示意义.     

椭圆振动切削加工的同步控制研究

利用椭圆振动切削加工的回转体表面微织构是在机床主轴旋转、平台进给和装置椭圆振动的联合运动下得到的,机床主轴转动与装置位移输出如果不能保持完全的实时同步,会造成微织构加工的偏差。为了解决这一问题,提出了一种新的基于转角的同步控制方法,该方法在主轴的对位基准处实现装置正弦信号的复位,以修正转速漂移造成的加工位置误差,并通过判断主轴角度信号实时输出对应幅值电压来实时同步信号输出和机床旋转运动。基于LabVIEW FPGA搭建同步控制模块,经试验验证,利用该方法加工的矩形阵列微织构轴向排列与中轴线平行,与周向排列的夹角和仿真结果的偏差不超过0.1°,织构深度随转角的不同发生预设的变化,因此,同步控制方法具有实时同步控制椭圆振动切削装置的能力。     

模块化永磁直线游标电机等效磁网络及漏磁分析

在模块化永磁直线游标电机的初始设计及优化设计中,使用有限元方法(FEM)计算漏磁系数时需要耗费大量的建模和计算时间。针对这一问题,建立该种电机的等效磁网络模型,在建模期间,考虑气隙中的边缘效应,并计算永磁体组与定子齿在不同相对位置时的等效磁导,得到该种电机在一个周期内不同相对位置时的漏磁磁导和漏磁系数的数学解析表达式。采用FEM验证了该数学解析表达式的准确性。研究结果为模块化永磁直线游标电机的设计提供了理论依据。     

直线电机位置伺服系统的增强复合非线性控制

针对高性能机电系统中常用的直线伺服电机,设计了一个能实现快速与准确的定点运动的位置控制器。控制器采用线性控制律与平滑非线性控制律相结合的方案,并利用一个降阶线性状态观测器对电机运动速度(未量测)加以估计。为了消除未知扰动带来的稳态误差,控制律中嵌入了积分控制作用。整个控制律采用全参数化设计,可实现动态增益控制,方便了在线参数整定与性能优化。控制方案应用于一个实际的永磁直线电机位置伺服系统,基于TMS320F28335 DSC进行了试验测试,结果表明系统能对各目标位置进行准确的跟踪,且具有理想的瞬态性能。     

直线模拟加载系统的研究进展与发展趋势

直线模拟加载系统是一种用于在实验室条件下模拟承载对象工作时所受直线负载力的半实物仿真系统，可用于模拟各类飞行器关键部件在工作过程中所受的气体阻力载荷。针对目前常用的机械式、电液式和电动式直线模拟加载系统，分析其基本加载原理和研究进展，结合自行研制的电动式直线模拟加载系统进行了深入探讨。针对多余力抑制方法的关键问题，详细论述了直线负载模拟器的结构补偿方法和控制策略。最后，展望了直线模拟加载系统的发展趋势，归纳了电动式直线模拟加载系统的高精度、大载荷发展方向。     

航天器太阳电池阵驱动装置的新进展

通常长寿命三轴稳定卫星都采用帆板式太阳电池阵进行能源供应，并使用太阳电池阵驱动装置使电池阵对日定向。国际上从20世纪60年代开始，不断开发研制太阳电池阵驱动装置,以满足在大功率、小型化、适应恶劣环境等方面的特殊需求，经过几代的发展，取得了长足的进步。根据国内收集的相关信息和资料，通过介绍国际该领域的发展及对应需求的典型产品，尝试分析该领域中相应的应用、研究的重点及发展的方向。     

考虑根铰间隙的空间框架展开机构动力学分析

利用Kane法多体动力学基本理论并考虑根铰间隙影响因素，建立适用于空间柔性太阳电池阵的多框架展开机构多体系统动力学模型，对框架展开机构的展开方式和展开过程进行仿真分析，获得了机构组成部件在展开过程中的几何位置、速度、加速度等动力学特性，分析了框架展开机构各个关节点运动特性、铰链间隙与外部驱动力的相互作用规律。结果表明：合理控制框架展开机构各运动部件的驱动力矩是保证框架按照确定规律展开的必要条件；根铰间隙对太阳电池阵框架展开机构角加速度影响较为明显，进而影响到展开框架展开过程的稳定性，对转角和角速度几乎没有影响；在进行空间太阳电池阵框架展开机构设计时应严格控制铰链轴间隙，并通过动力学仿真校核间隙对太阳电池阵展开过程的影响；研究结果为空间柔性太阳电池阵多模块框架展开机构设计提供指导。