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

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

科学合理做好机场规划及建设工作

机场的发展，离不开建设：机场的建设，必须要有规划。如何做好机场的规划和建设，笔者将工作中的经验总结归纳如下体会与同行探讨，共同摸索和提高。     

国际要闻

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

大直径、高动态性能测试、试验设备研制成功

2007年2月9日,3KTD-550型三轴转台出所验收评审会在九江召开。参加会议的有某军种装备部、海军某部、上海交通大学等单位的代表,项目组的科研人员也参加了会议。     

航天产品工艺定型阶段工艺文件的编制与审查

从编制《工艺定型标准化要求》、审定有关工艺定型文件和编写《工艺定型标准化审查报告》等方面浅述航天产品工艺定型阶段应做好的标准化文件的编制与审查,并对其工作内容作了介绍。     

编制《航天产品分类代码》标准的思路及有关问题探讨

概述了编制《航天产品分类代码》标准的背景,明确了分类编码对象和编制原则,研究了建立分类编码系统的框架思路,探讨了产品分类代码标准的有关问题,并提出了实施标准的建议。     

设计尺寸链的工艺审查

针对生产中反应出的设计尺寸链的问题，阐述了设计尺寸链与工艺工作和产品质量的关系，指出设计单位应重视设计尺寸链的校对、审核工作，生产单位应加强其工艺审查。     

有关审查标准应考虑的几个问题

浅谈了审查标准应考虑的几个问题 ,如研究标准编制说明 ,树立全局观念 ,与相关标准对比分析 ,采取逻辑推演和审、改相结合的方法等 ,并对每个问题作了阐述。     

“零缺陷”质量管理在设计文件标准化审查中的应用

介绍了“零缺陷”质量管理的含义、特点及其在设计文件标准化审查工作中的应用情况,指出了推广“零缺陷”质量管理的核心就是“第一次就把事情做对”的质量管理要求,并结合实际谈了工作体会。     

Sun 3/4专用协处理器PLC系统中Common Lisp编译器的代码优化措施

在简单介绍Sun3/4专用协处理器PLC系统及Common Lisp编译器后,着重讨论了Common Lisp编译器中的代码优化措施,包括优化无用代码、优化程序结构、优化转移指令、优化函数调用环境保存及恢复指令、优化寄存器分配、优化尾递归函数调用等。实例编译结果和模拟运行结果表明:与不经优化指令相比,经过优化后的指令代码长度平均减少25％,运行速度平均提高20％,为提高PLC系统的整体性能提供了一守的保证。