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

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

基于光学测角数据的风云四号同步轨道卫星精密定轨

针对风云四号同步卫星的精密定轨和精度评估需求，首先利用地面光学测角数据对FY-4A卫星进行精密定轨，定轨后方位角和高度角的残差rms分别为0.25＂和0.45＂。与基于测距数据的轨道相比，位置精度在有测角数据的弧段内小于50m。进一步联合测角数据和测距数据对FY-4A卫星进行联合定轨，定轨后轨道重叠精度优于15m。利用联合定轨结果评估了基于测距数据的实时轨道产品精度，可以明显发现轨道精度随着测距数据的积累而逐步提高。     

紧凑型横向变焦系统关键器件的设计方法与功能验证

变焦系统可实现连续的光学变焦，可对不同景深的目标实现连续成像。在焦深延拓和光学检测等领域具有广泛地应用和发展潜力。本文提出了一种紧凑型可实现连续变焦功能的扁平化位相衍射元件，并设计分析和验证了横向调制相位型变焦衍射元件的功能。通过标量衍射基本理论模型，借助菲涅尔波带和多台阶相位衍射元件的设计方法，实现了横向变焦关键器件的设计仿真和实验验证。并以多波长响应的空间光调制器为基础，搭建了器件相位调制验证实验系统，通过测试证明了所设计器件的变焦能力，仿真和实验测试均可实现5倍变焦目标的有效调制。     

某航天器输氢管道系统结构完整性评估

为保障某航天器在服役年限内不发生事故，针对航天器上采用插入焊接技术的精密管道系统进行结构完整性评估。在考虑到系统存在整圈的环形未焊透缺陷基础上，结合工程实践，假设在焊接区域存在更危险的平面缺陷。首先，开展高压气相热充氢试验下的标准拉伸和三点弯试验得到管道系统材料"J-75"在临氢环境下应力应变曲线和断裂韧性。其次，采用有限元程序计算系统在内压、惯性载荷与离面位移作用下的应力分布，考虑到间隙配合中的不确定性，改变模型中的最大间隙多次模拟计算，发现最大应力位置基本不变，以此区域作为假想缺陷的具体萌生区域。最后，采用失效评估图（FAD）方法对存在4种缺陷模式的系统分别进行结构完整性评估。通过引入安全裕度的概念，发现系统在含有初始尺寸（0.15 mm）的4种平面缺陷时，均处于安全状态，并且安全裕度都在2倍以上；通过工程临界分析（ECA）发现随着缺陷尺寸的增大，系统中含有缺陷2（位于管道焊接区域最大应力处的轴对称平面且沿焊深方向扩展的缺陷）时最为危险，且当缺陷深度超过0.61 mm时将断裂失效；考虑到测试数据的弥散性，针对系统最危险的模式，以安全裕度为可靠性指标，将失效评估图方法与可靠性评价相结合，得到系统在含有尺寸为0.15 mm的缺陷2情况下保有足够安全裕度的可靠性下限值超过0.999 5。     

基于Ansys Icepak 的负载器热设计与热分析

基于热设计的基础理论与负载器的工作原理，应用Ansys Icepak仿真软件对供配电负载器工作过程中内部散热情况进行仿真，找出负载器内部温度最高部位，指导实际测试，避免实际测试的盲目性。另外，通过优化负载器散热孔设计，降低负载器温升值。     

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

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

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

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

Remote-controlled flexible pose measurement system and method for a moving target in wind tunnel

The measurement of position and attitude parameters for the isolated target from a high-speed aircraft is a great challenge in the field of wind tunnel simulation technology. This paper proposes a remote-controlled flexible pose measurement system in wind tunnel conditions for the separation of a target from an aircraft. The position and attitude parameters of a moving object are obtained by utilizing a single camera with a focal length and camera orientation that can be changed based on different measurement conditions. Using this proposed system and method, both the flexibility and efficiency of the pose measurement system can be enhanced in wind tunnel conditions to meet the measurement requirements of different objects and experiments, which is also useful for the development of an intelligent position and attitude measurement system. The position and the focal length of the camera also can be controlled remotely during measurements to enlarge both the vertical and horizontal measurement range of this system. Experiments are conducted in the laboratory to measure the position and attitude of moving objects with high flexibility and efficiency, and the measurement precision of the measurement system is also verified through experiments.     

合理运用SI技术快速收敛高速数字电路设计

随着数字电路集成度和工作频率的不断提高,信号完整性(Signal Integrity, SI)问题在产品研制过程中越来越突出。以惯导系统中的某导航计算机为例,针对故障信号回路,使用仿真软件对其SDRAM时钟信号进行信号完整性仿真,并进行优化设计。通过对比优化前和优化后的仿真与测量结果,验证了由于端接参数不匹配造成SDRAM时钟信号的非单调性畸变问题。仿真与测量结果表明,在产品研制流程中加入信号完整性仿真环节有利于设计快速收敛,提前规避风险,缩短研发周期,降低设计成本,提高电路产品的可靠性和电磁兼容性。     

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

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