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

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

FAR 25部最新修正案分析

在对美国联邦航空条例FAR 25《运输类飞机适航标准》25-125号修正案之后颁布的最新修正案总体分析的基础上,重点分析了25-129号防/除冰相关修正案以及2013年以后颁布的25-137号和25-138号修正案,并对修正案中涉及的技术要求进行了研究。最后结合修正案分析结果给出国内规章修改建议及国内大型客机研制和审定的建议。     

某机载印制电路板在模拟海洋大气环境中腐蚀行为

根据航空机载设备在装备中的局部使用环境、热带海洋环境特征和主要环境因素影响作用等,设计了印制电摘路板(Printed Circuit Board,PCB)在模拟热带海洋大气环境中的盐雾和交变湿热组合循环试验方案。通过开展 PCB的组合循环试验,采用体式显微镜和 SEM电镜等研究分析了不同试验时间下的 PCB的腐蚀行为和电气性能变化规律。结果表明:PCB的腐蚀主要在焊点、焊盘、印制导线和引线头等金属部位;电气性能受表观腐蚀的影响,其接触电阻在试验后增幅达到 50%且受是否带电试验的影响较小。同层间、异层间绝缘电阻变化规律相似,主要分为 2个阶段:前 1 000 h其绝缘电阻较为平稳;试验 1 000 h后则出现明显的下降趋势,最终降低在 1~4 GΩ之间,且整个循环试验中 PCB均能承受 500 V交流电压 60 s。     

民航计算机运输服务又跨上一个新水平

USAS2000系统升档是今年民航计算机建设的一大重要任务,它的投产将使计算机运输系统为航空公司的服务上到一个新的水平。民航计算机信息管理中心目前运行的定座、离港系统软件是国际上80年代中期的产品,虽然当时属于国际上较先进的水平,但随着近十年来国际航空运输领域的变化和国内市场改革开放的需要,这套系统的处理水平     

民用运输类飞机型号豁免要求研究

<正>本文对型号豁免的定义和各适航当局的相关规定及要求进行了对比分析,并对A340、A380和B747系列型号所批准采用的豁免情况进行了分析研究,可为国内民机型号的豁免申请提供参考。豁免是指在民用飞机型号合格审定中,申请人可以由于技术原因向适航当局合格审定部门申请暂时或永久免除适航规章和环境保护规章中的某些条款。根据该定义知豁免包括两种类型:暂时豁免和永久豁免。豁免是构成民用运输类飞机型号合格审定基础的四个要素之一,其他三个要素包括适用的航空规章(适航规章25部、环境保护规章34部和36部、运行规章91部和121部)、专用条件和等效安全。这些要素均需在最终获得批准的型号合格证数据单     

国内轻型运动飞机(固定翼)适航取证分析研究

梳理了当前我国轻型运动飞机适航取证政策要求,以固定翼轻型运动飞机为例,分析梳理轻型运动飞机取证适航管理要求、适航性技术要求,从审定基础、设计保证体系构建、适航性设计和符合性验证、符合性验证试飞、制造符合性等方面进行分析研究,梳理固定翼轻型运动飞机取证需注意的问题,为固定翼轻型运动飞机研制单位适航取证提供参考.     

技术标准规定批准书申请预审工作解析

分析了技术标准规定批准书(CTSOA)申请的必要条件、适航性程序要求以及预审查工作的工作流程、资料内容及汇报方式,并对首次开展CTSOA申请的机载设备研制单位预审工作给出了预审工作开展建议。     

代理人业务发展与腾飞的平台：中国航信代理人前端销售平台的设计构想

现代人要求得到的服务是方便、快捷的信息化服务航空运输业由于投资巨大，历来对信息化、现代化的管理非常重视，许多新的管理理念与方法也首先得到推广和应用。通过大型集中式的实时预订计算机系统，连接销售代理人，使分销渠道得到极大的扩展，就是非常具有代表意义的实践之一。在这种管理思路的指导下，在计算机信息技术手段的支持下，十多年来，国内航空代理业务经历了由创业、发展、辉煌到激烈竞争的几个阶段。在激烈的市场竞争中，代理人在以往高额利润所掩盖下的高人力投入、高运营成本、工作效率低、服务水平低下，导致的旅客忠诚度…     

汉字处理在民航计算机旅客定座系统上的实现

民航计算机信息管理中心的计算机旅客定座系统使用的主机是美国UNISYS 公司的产品,旅客定座系统的应用软件包也是由他们提供的。软件设计目标是为了满足航空公司的定座业务需求,为旅客提供方便快捷的定座服务。它追求的是软件运行速度和系统安全性,所有数据都是西文的,     

TMS320C6711上电自举系统的设计与实现

介绍了利用TMS320C6711软件编程来实现对FLASH ROM的读写操作，设计并实现了一个上电自举系统，给出了一个简单的实例。整个方案有较大的灵活性和实用性。