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

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

石英玻璃的等离子体抛光技术研究现状

具有耐腐蚀、热膨胀系数低等诸多优良物理化学特性的石英玻璃在高性能光学系统中被广泛使用。要求元件达到纳米级别的表面粗糙度,而且没有损伤层和残余应力,因此精加工之后的超精密抛光工序尤为重要。本文介绍了气囊、磁流变、弹性发射、离子束等几种石英玻璃的精密抛光方法,侧重阐述了国内外等离子体的抛光技术,包括等离子体辅助化学刻蚀、等离子体喷射加工、等离子化学蒸发加工研究进展及取得的成果;且对等离子体的未来发展进行概述。     

腹板开口对复合材料梁腹板剪切承载性能的影响

针对平面编织复合材料梁腹板结构剪切载荷作用下的面内剪切屈曲失稳和后屈承载能力问题,采用实验与有限元方法进行了研究。结合实验所得应变分布规律与有限元分析所得失稳模态分析了梁腹板结构剪切失稳特点。后屈曲承载分析中引入了平面织物复合材料Hashin失效准则,获得的结构主要失效模式包括纬向纤维压溃和经向纤维拉断,与实验结果符合良好。基于经实验结果验证的有限元模型进行了参数化研究,分析了腹板开口尺寸和开口形式对平面织物复合材料梁腹板剪切稳定性、承载能力和破坏模式的影响。研究结果可为复合材料结构设计和强度评估提供参考。      

考虑几何非线性的气动弹性模型缩比方法

随着飞机性能和需求的提高,大展弦比高柔性机翼逐渐成为新型飞机的主要结构形式。这类机翼具有高升阻比、大变形和重量轻等特性,几何非线性效应明显。然而机翼的大展弦比高柔性会带来更大的机翼变形,而机翼大变形则会引起相关的非线性气动弹性行为。为了评估这些非线性气动弹性行为并同时降低设计风险和成本,一般要使用缩比模型进行风洞试验以研究和确认真实飞机的气动弹性特性。基于此,首先使用了传统线性缩比方法来进行缩比,通过刚度质量耦合匹配模态响应法与刚度质量解耦匹配模态响应法这2种线性缩比方法,不断优化缩比结构的设计参数来满足目标缩比值。同时,提出一种动力学有限元模型的非线性静响应-模态协同优化方法,该方法是基于等效静态载荷法的几何非线性气动弹性模型缩比方法,通过2个不同的优化子程序分别匹配全尺寸飞机的非线性静响应和模态振型。结果表明,相比于传统线性缩比模型,考虑几何非线性的缩比模型能够更好地再现全尺寸飞机的非线性气动弹性行为。      

基于SAGWO算法的UCAVs动态协同任务分配

通过分析无人作战飞机（UCAV）优势概率和任务联合威胁以及定义任务时间,建立了以目标价值毁伤、编队损耗代价和时间消耗为性能指标的多无人作战飞机（UCAVs）多约束动态任务分配数学模型,采用改进的灰狼优化（GWO）算法对数学模型进行求解;针对基本GWO算法求解早熟的缺点,给出了自适应调整策略和跳出局部最优策略,引入了二次曲线控制方法;对UCAVs动态协同任务分配特点,设计了目标任务序列编码方式,提出了基于自适应GWO（SAGWO）算法的UCAVs多目标动态任务分配方法。从静态与动态2种情况分别对该方法进行仿真验证;仿真结果表明,该方法是有效的,相比较于其他算法,其优化过程快速精准。      

高温高压超音速气液两相流场数值模拟

采用欧拉-拉格朗日方法对燃气-蒸汽发射动力装置内高温高压超音速燃气中的横向喷雾的气液两相流进行了数值模拟研究,气相采用RK-AUSM+格式求解N-S方程,液相应用颗粒轨道模型,两相之间的耦合通过在气相各守恒方程中添加源项来实现。针对不同的喷水孔径、喷水压差以及水汽质量比进行了数值模拟计算,分析了各种条件下的液滴蒸发情况以及对气相流场和能量输出的影响,为燃气-蒸汽发射动力装置的设计优化和能量调节技术提供了理论依据     

空间实验室大面积太阳电池阵技术研究

介绍了空间实验室大面积太阳电池阵的方案构型，并进行了模态分析、热结构耦合分析和动力学仿真分析。生产出了全尺寸的集成演示样机，进行了展开试验、主展开机构的模态试验，以及半刚性太阳电池板和二自由度驱动机构的振动试验。计算和试验结果表明，技术方案是可行的。     

基于数据包络分析的民航发动机维修效果评价

对民航发动机维修效果进行评价可以为发动机承修厂的选择提供决策支持,同时有助于发现发动机承修厂的潜在问题。为了实现发动机维修效果的评价,首先提出了评价指标选择的原则,在此基础上给出了发动机维修效果评价指标体系,建立了基于数据包络分析的C2WH模型的发动机维修效果评价模型,并对模型的构建过程进行了描述。针对决策单元输入输出...     

基于Ansys Fluent的近场翼尖涡数值模拟与分析

为了进一步研究飞机远场尾涡,提供网格分配及湍流模型的参考,并为整机模拟提供必要的参考依据,通过基于Ansys Fluent的数值模拟方法,研究了NACA0012机翼的近场翼尖涡流场,采用有限体积法求解不可压缩雷诺平均Navier-Stokes方程,其中雷诺应力项分别以S-A和Realizable k-ε模型封闭,模拟了近场翼尖涡卷起的过程,分析了机翼表面压力以及涡核参数,包括轴向涡量、涡核位置、涡核粘性等,并与风洞实验结果进行了对比。结果分析表明:基于局部O-网的六面体网格,RKE模型要优于S-A模型,与实验值更为吻合。     

复杂曲面零件散乱点云特征点提取

复杂曲面零件的几何特征提取对加工质量的检测及逆向重构具有重要意义。提出了一种复杂曲面零件散乱点云特征点提取方法。首先,提出了基于高斯权重的邻域主成分分析的方法,通过估计每一点邻域的局部变化程度对点云模型进行初始标记;然后,采用基于标记的自动识别法实现特征点的提取;最后,通过特征点聚类的方式去除了特征点集中的异常点,完善了提取的点云特征。该方法直接操作于散乱点云,无需任何的拓扑连接信息。试验结果表明:该方法简单、有效,不需要过多地人为调节参数,特征点提取完整。