详细化学反应机理对预混丙烷钝体熄火模拟影响

航空发动机熄火预测是重要关键问题之一，湍流和化学反应的非线性相互作用使预测非常困难。本文采用大涡模拟（LES）对湍流进行高精度模拟，采用概率密度函数输运方程湍流燃烧模型（TPDF）耦合JL4、Z66和H73三种化学反应机理，对预混丙烷钝体熄火现象和规律进行研究。JL4的反应机理最简单，反应释热快，局部放热高，火焰宽度大，火焰两侧温度梯度大，燃烧更加趋于稳定，无法模拟出熄火状态。H73机理绝热火焰温度低，火焰温度低，回流区中部OH含量高；在近熄火状态，大量CO被氧化，释放热量过高导致无法模拟出熄火现象。Z66机理可以模拟出火焰正常状态，在低当量比下也可以模拟出熄火状态。本文算例中，局部Da数大于1的区域超过35%则会发生熄火。     

一种高传输带宽海量数据高性能固态存储技术

基于高分辨率对地观测卫星高数据带宽及海量存储的需求,介绍了一种高性能固态存储技术。以多路高速串行数据总线作为对外接口,以非易失性存储器阵列作为数据存储介质,实现了高速海量载荷数据的传输、存储和文件管理。经高分七号卫星验证,结果表明:采用该技术的存储系统具有传输速率高、存储容量大及数据多维检索等能力,可为今后卫星载荷数据存储提供新的设计思路和方法。     

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

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

人工智能技术在嵌入式代码审查中的应用与展望

代码审查是航天嵌入式软件开发中的重要环节.近年来，随着嵌入式软件开发需求的增多，传统以人工为主的代码审查方法逐渐不能满足快节奏的软件开发流程.为了减轻审查人员的压力，提升审查效率，研究者们逐渐将目光转向以深度学习技术为首人工智能领域，尝试寻求技术上得突破，以开发更智能的审查系统.本文对近年来人工智能技术在代码审查及程序理解中应用的相关工作进行了归纳总结.首先简要介绍了嵌入式代码审查工作目前面临的困境及解决方案.然后引出了代码审查中的一项重要活动，即程序理解.并详细阐述了目前基于人工智能的程序理解在代码审查中的应用情况.最后根据相关领域的发展情况，对未来代码审查的发展方向作了进一步的探讨.     

一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

规划使用保障初探

规划使用保障是 ＧＪＢ ３８７２— ９９《装备综合保障通用要求》中提出的一个新概念，本文主要探讨了规划使用保障的定义、工作内容、基本程序以及涉及的主要分析方法等。     

埃尔比特公司为以色列空军提供F-161模拟器系统

埃尔比特系统公司将从以色列空军的F-161机组人员飞行和系统训练器提供航空电子模拟系统，系统包括显示和瞄准头盔（DASH）。任务计算机系统、平显系统，显示处理器和数字地图以及存储管理系统，埃尔比特在训练器开发项目中的份额为1000万美元。公司所开发的航空电子系统将模拟真实的F-16航空电子系统，埃尔比特公司子公司5VR系统公司将提供视频显示器和座舱模拟器。