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

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

单向电永磁作动器结构优化与动态特性分析

针对电磁作动器的使用要求，设计出一种具有能耗低、吸力大及响应快等特点的新型单向电永磁作动器。结合有限元仿真软件，利用有限元法研究作动器的结构参数如铁芯齿形结构、平面结构、无永磁结构、铁芯的倾斜角度及衔铁位移（气隙厚度）等因素对作动器电磁吸力和响应速度的影响。结果表明，电磁吸力随着作动衔铁位移的增加而大幅度减小；倾角结构的铁芯设计能使作动器性能达到最佳，且铁芯的倾斜角度为50°时，电磁吸力有最大值3071N。     

异构无人系统协同作战关键技术综述

针对异构无人系统的规模、异构性强弱，对异构无人系统进行了分类，引入了异构无人系统协同作战班组的概念以及应用设想，并通过城市环境中异构无人系统协同作战问题为牵引，提出了异构无人系统协同作战面临的挑战与解决思路，在此基础之上，从异构无人系统协同控制架构、协同任务规划、智能交互、目标感知、环境感知等主要方面对异构无人系统协同作战的关键技术进行了分析，最后对异构无人系统协同作战目前的研究进展与挑战进行了总结。     

高温存储对Sn-Pb-Ni凸点界面金属间化合物生长的影响

倒装焊工艺由于具有信号处理速度快、封装密度高、可靠性高等特点，已广泛应用于高密度集成电路封装工艺中。高可靠倒装焊器件的互连焊点通常采用10Sn90Pb等高铅焊料，该焊料具有剪切强度高、可靠性高等优点，但其熔点高、回流工艺窗口窄等特性给封装工艺带来一定难度，此外该焊料在高温存储环境的可靠性有待进一步提高。本文采用Ni元素对10Sn90Pb焊料进行改性，研究高温存储下Sn-Pb-Ni体系凸点的力学性能以及金属间化合物（Intermetallic compound,IMC）的生长演变规律，以此评估Ni元素对10Sn90Pb凸点可靠性的影响。主要结果如下：适量添加Ni元素可以细化10Sn90Pb焊点界面处IMC晶粒，降低高温存储条件下的IMC生长速度，但在一定程度上会降低凸点的剪切强度。0.05%~0.1%含量的Ni元素添加对10Sn90Pb凸点综合性能提升较为显著。     

多臂空间机器人的视觉伺服与协调控制

针对多臂空间机器人自主目标抓捕任务，首先建立多臂空间机器人的运动模型和其与目标的相对运动模型，采用Kane方法建立多臂空间机器人的动力学模型；其次，研究基于视觉伺服的机械臂在线轨迹规划算法，并引入零反作用机动，消除机械臂运动对平台姿态的扰动；再次，在不使用零反作用机动功能时，分别使用基于角动量前馈补偿的协调控制算法和逆动力学方法设计了协调控制器，在机械臂运动时保持平台姿态和相对目标的位置。最后，开发了基于Matlab的仿真软件MASS（多臂空间机器人仿真），仿真结果校验了上述方法的有效性。     

我国月面巡视探测器定位方法研究

月球自动巡视勘查技术中的月面巡视探测器的导航控制,需要研究月面巡视探测器的定位技术。文章通过对国外漫游车定位方法的研究,提出了我国月面巡视探测器在全局坐标系和局部坐标系中进行定位的方法。月面巡视探测器在全局坐标系中的定位可以采用星敏感器以及陆标辨识的方式;局部坐标系的定位可以采用惯性导航系统 里程计以及着陆器帮助下定位和视觉里程计的定位方法。这几种定位方式的组合应用,能够满足月面巡视探测器导航方面的定位要求。     

防空导弹对机动目标杀伤效果分析

为了分析目标机动对寻的式防空导弹杀伤概率的影响,设计了基于蒙特卡洛试验方法的仿真试验系统。分别建立了基于典型作战飞机和巡航导弹的机动目标仿真模型,建立了基于某型寻的式防空导弹的仿真模型。通过对机动目标进行大量的统计仿真,获得了防空导弹拦截机动目标的全空域杀伤概率。对仿真结果的分析表明,机动目标的航路捷径、机动方式、机动时机是影响寻的式防空导弹拦截效果的主要因素。本文的研究成果可以作为武器系统作战效能评估和战术使用研究的理论依据。     

在计算机语言教学中渗透"工程"思想

本文结合计算机专业课程教学中程序设计语言课的教学和软件工程的思想、观点和方法,阐明工程的思想对计算机专业人才的重要性,以及教学过程中怎样才能很好地培养学生,使之具备软件人员的基本素质.     

航天飞行器防热部件烧蚀行为的数值模拟

对航天飞行器防热部件在氧－煤油发动机火焰喷吹下的烧蚀行为进行了有限元数值模拟。利用“杀死”单元的方法建立防热部件瞬态温度场的有限元模型，实现了烧蚀边界的退缩，从而完成了对烧蚀尺寸变化的定量描述。烧蚀开始于4．59s，到12s时线烧蚀量为1．47mm。计算结果与试验的实测结果一致。     

多体分离抛撒初条件与分离特征参数

多次风洞自由飞多体分离抛撒实验均证实了被抛撒物运动初条件对抛离成功与否有决定性影响;为此可采取"戴帽"措施;但数值计算结果与此相反,因而需深入开展研究,解决问题。常规形式的风洞测力方法,无法模拟各分离体之间很大的相对速度。分离过程中"特征时间"是很小的,因而风洞实验以及数值计算必须计及非常小的"特征时间"所反映的非定常气动力。多体分离的实践表明,至少在快速分离过程中运动动力学相似是必需的。