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

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

超声波激振刀具镗孔机制及试验研究

介绍了超声波激振刀具镗孔的切削机制 ,研究了切削参数对表面粗糙度、圆度的影响规律 ,并考查了加工表面的冷作硬化程度。     

基于JC-Z05石英的薄膜电路基板工艺适用性研究

为满足低损耗的设计需求,太赫兹微波组件中一般使用熔融石英基板。不同于光学系统对熔融石英材料的要求,应用于太赫兹等高频段微波组件的熔融石英基板材料不仅需要具备稳定的介电性能,还需要更优异的表面镀膜特性与电路图形、外形等加工精度要求。本文基于薄膜电路制造工艺要求,针对JC-Z05石英基板膜层附着力、表面刻蚀精度、切割质量、粘接强度等关键工艺特性研究,并通过改进工艺参数,进一步优化JC-Z05石英基板工艺适用性,提升国产石英基板材料作为在太赫兹频段薄膜电路制备的可靠性。研究结果表明,国产化熔融石英基板,结合优化后的薄膜电路制作工艺,制作出的电路具有膜层附着力强、外形切割公差小以及粘接可靠性高的特点,可满足复杂宇航环境中的高可靠应用。这一工作可为后续熔融石英电路基板在太赫兹领域的应用提供参考。     

冲压发动机点火前内流场数值仿真研究

冲压发动机在点火前由于燃烧室的压力较低,内通道流场状态与发动机正常工作时的差别很大。因此,在发动机设计时,必须要考虑形成正常点火条件对发动机结构的约束。本文利用有限体积法对N-S方程进行空间离散,对发动机点火前的不同内通道结构下的冷流场进行了数值模拟,结果表明稳定器和喷油装置对形成合理的点火条件很重要,稳定器的布局对点火状态有很大影响。     

纤维缠绕复合材料壳体中金属嵌件的受力分析及优化设计

本文对一纤维缠绕复合材料壳体中金属嵌件进行了受力分析及形状设计。通过受力分析与设计使得复合材料与金属嵌件接触面应力分布合理化，保证了接触面的变形协调，得到了优化的金属嵌件形式。     

远程导引可行飞行方案寻求算法研究

提出了一种寻求远程导引可行飞行方案的算法，能够满足远程导引对测控、日照、燃料和时间等各方面的要求；重点论述了Lambert一次变轨方案，给出了算法的具体步骤和主要模块的实现方法；最后给出了一个算例，说明算法是切实可行的。     

动态三维流场的全息层析干涉测量

设计了一种适用于拍摄大视角动态全息图的光照，用精心选模的高性能调Ｑ Ｎｄ：ＹＡＧ倍频脉冲激光器拍摄了几种动态三维流场的双曝光全息图，在用层析法对双高斯函数的温度场作了模拟验证性计算的基础上，给出了双芯乙醇灯温度场的两个横截面上温度分布的重建结果。     

航空电子综合测试系统的发展现状及趋势

现代先进战斗机大量采用各种先进的航空电子系统，传统的检测手段一般采用人工方法直接测试将故障定位到电路板级，操作复杂，所需时间长，不能满足现代化战争的快速要求，而且操作人员的劳动量大，不利于连续作战。所以，应用现代化的检测手段检测和确定故障备受关注。本文总结了现役战斗机测试系统的现状，存在的问题，并阐述了测试设备的发展趋势。     

钛合金激光焊接残余应力试验与数值模拟

采用小孔释放法对钛合金薄板激光焊接残余应力进行了试验研究,并基于ANSYS分析软件,针对钛合金薄板的焊接残余应力进行了数值模拟,分析了不同焊接工艺参数对激光焊接残余应力分布的影响.     

含旋转自由度杂交型单元

文中把杂交理论与旋转自由度技术相结合提出了二个在航空航天领域得到应用的新单元，一系列典型例题完全证实了这些单元的杰出性能。