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

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

国际要闻

7月9日，新加坡航空公司A380航班正式亮相新加坡-香港航线。7月10日，美国交通部批准美大陆加入由美联航与星空联盟其他8个成员航空公司组成的反垄断豁免联盟。7月13日，大韩航空公司宣布，正式与乌兹别克斯坦航空公司扩大代码共享业务。7月14日，欧盟最新版的“航空公司黑名单”出炉。     

末制导雷达通用检测系统中开关量测量电路的设计

介绍了基于EMP7128S逻辑控制器件并已成功的应用于某型末制导雷达通用检测系统的开关量测量电路的设计和工作原理.     

航空维修业的角色转换

在快速变化和充满挑战的环境中,航空公司、制造商(OEM)和服务供应商(MRO)都在不断地变换自己的角色,力争成为市场的赢家.     

咒

在某些宗教和传统文化中，咒语恐怕是最难说清楚的一种神秘现象了。它不但在东方有，在西方和各民族中都有。从某种意义上讲，咒语实际上是语言中的一个组成部分，而语言作为一种物质形式同自然界的其他声音一样也具有物理性——一切声音都是由物体振动而产生的一种能量转换。     

民机研制中公英制问题的几点考虑

分析民机研制过程中公英制的转换问题,提出解决公英制问题的两种途径:一是做好英制基础标准的转化与应用,二是确定合适的公英制换算方法,对未来民机的研制具有很好的指导意义.     

S波段中功率耦合分配器

介绍一种集Ｓ波段耦合器、分配器和功率转换功能于一体的弹上遥测传输设备。该设备电路由微带电路和表面贴装器件构成，采用了先进的计算机辅助设计技术进行微波电路的仿真分析和优化设计。它具有体积小、重量轻的特点和比较好的耦合、功率分配和功率转换性能，适用于弹上较恶劣的环境条件。文中给出了结构原理图和输入数据文件程序。最后给出测试结果：输入耦合度≥－８ｄＢ，插损≤１．５ｄＢ或０．６ｄＢ，臂间隔离庆≥２０ｄＢ，不平衡度≤＋０．３ｄＢ，输入输出驻波比＜１．２。     

桥式测量转换电路特性与实验教学结合的探索与实践

桥式测量转换电路是众多传感器测量转换电路中非常重要的一种转换电路,其特性的理解和掌握对理解其在多种电路中的应用起着至关重要的作用。通过应变片电阻传感器实验教学可实现对桥式测量转换电路特性的掌握。     

干式变压器数据采集与控制系统的设计

介绍了一种基于V/F变换的高精度干式变压器数据采集与控制系统 ,采用LM2 3 1A/F变换芯片和89C5 2单片机实现工业现场测量对象的A/D转换。V/F变换器具有高精度 ,高线形度 ,且外围电路简单的特点。采用单片机直接与V/F变换器连接进行A/D转换 ,不需要额外的硬件电路 ,充分利用硬件资源 ,精心设计软件 ,系统分辨率可达 12位 ,转换精度可达 0 .0 2 %。当传感器与上位机距离较远时 ,可以采用RS -4 85接口或无线数据发送 /接收模块实现远距离的数据通信     

某型导弹控制转换组合修理研究

控制转换组合是某型进口导弹上的重要分组件,担负整个导弹电力供应及信号转换功能.控制转换组合的修理存在开壳困难、无相关参考方法、内部电路不明确的问题.通过设计控制转换组合壳体分解工装,对控制转换组合进行分解,获得了完整的内部电路,通过对电路典型故障进行分析、修理,解决了控制转换组合的修理难题.