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

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

国际要闻

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

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

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

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

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

国际要闻(2010年12月1日-31日)

12月1日,空中客车公司宣布为A320系列推出新型发动机选装方案,有两款新型发动机供客户选择——CFM国际公司生产的LEAP-X发动机和普惠公司生产的静洁动力(PurePower)PW1100G发动机。12月3日,国际航协宣布理事会一     

论集团统一代码在企业中的贯彻

从集团统一代码的意义、集团代码相关政策标准、企业与集团代码工作对接、集团统一代码的申请及应用等方面分析阐述了集团统一编码在企业信息化建设中的重要作用.开展集团统一编码工作不仅会在全集团范围内有效共享编码工作成果,为企业提供全集团统一的、规范的数据,而且从一定程度上能减少企业信息编码工作量、提高编码工作效率,有效推动企业信息化建设的进程.     

南方航A380首飞国际航线

10月12日，备受期待的南方航A380广州-洛杉矶航线正式开通，这是A380超大型客机执飞的首条中美航线。也是其执飞的首条国际航线。据介绍，南方航将与因航共同运营这条航线，A380航班将实现代码共享。目前南方航共有4架A380飞机，     

企业信息代码的编制

介绍了代码编制的原则、一般方法，并结合信息化建设的实际提出了西航公司代码编制应采取的步骤、方案及代码编制中应注意的问题。     

代码共享对中国民航市场的影响

AnAnalysisoftheCodeShareEffectsonChineseAirTransportMarket代码共享是国际航空业的一次战略革命，代码共享风云已波及中国民航市场。本文将从巾场机制、巾场需求、民航企业产品、中国民航市场和国际市场的关系等多方面探讨代码共享对中国民航市场的影响。一、代码共享的影响1．积极影响（1）代码共享的引入将加速中同民航市场的培育成长。代码共享的引入将健全民航市场机制，进一步完善市场经济法制法规。代码共事既为中国民航企业打入「由际巾场提供了机会，k为外航进入中因航空巾场提供了契机，竞争将会空前激烈。民航市场将由以…     

实现ASP页面代码重用的几种方法

在开发计算机应用程序时，重用代码是一个简洁、高效的设计方法，然而，不少程序员却常常忽视这一设计思想。文章针对这一问题展开讨论，分析了在开发网页和Web应用时，实现ASP页面代码重用的方法和过程，并给出示例。