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

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

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

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

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

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

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

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

飞越转弯衔接TF、CF航段保护区算法分析

飞越转弯是基于性能导航中非常重要的一种飞行方式,TF、CF航段是飞越转弯后可选的衔接方式。通过应用风螺旋精确计算方法,可以自动化地实现飞越转弯保护区衔接TF、CF航段的绘制,为飞行程序保护区的自动化处理提供详实的理论依据。     

仪表飞行程序运行安全性评价模型与仿真分析

为对飞行程序设计与运行的安全性进行定量分析,需建立评价指标测度模型。从超障安全和飞行冲突风险水平两方面分析了影响飞行程序安全性的主要因素,提出了飞行程序运行的近地风险模型、飞行程序运行交通流内部以及不同飞行程序运行交通流之间的冲突强度和累计风险模型。以实际的进离场飞行程序为例开展仿真实验,提出了安全指标量化分析的方法,揭示了飞行程序构型、布局等影响安全性的规律。实验结果表明,该模型能客观地反映飞行程序安全性且有计算简便的特点。     

复飞的分析与探讨

引言复飞是飞机进近程序中的一个重要组成部分。飞行员在五边进近过程中,当无法建立稳定安全进近或者是无法保证安全落地条件下,必须要执行复飞程序。管制员在指挥调配五边航空器进近过程中必须要考虑复飞的因素,     

重视空管新技术发展 满足民航安全高效需求

空中交通管理系统是通过管理多架飞机起降和航行来保障飞行秩序和安全的系统,同时还负责空域的管理,参与制定飞行规则和飞行程序,为航空器提供通信、导航、监视服务、航行情报服务、航空气象服务告警服务等,来实施空中交     

矩阵式数控加工在航空结构件批生产中的应用

以大批量数控加工的航空结构件生产为研究对象,运用人工干预环节集中化、数控加工过程自动化的理念,探索利用矩阵式数控加工进行多零件同时生产的应用方案。多零件集中装夹,通过系统自动读入每个零件的加工原点,自动调用零件的加工程序,完成相同(或不同)零件数控加工,在充分利用机床工作台面的同时,解决了批量生产过程中零件频繁装夹、找正、换刀和频繁调用加工程序的难题,达到降低劳动强度,提高生产效率的目的。