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

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

国际要闻

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

基于信息熵的飞机相似机型确定方法

参考类似机型的经验是我国目前民用飞机研制的主要途径之一。为了更好地借鉴国内外类似机型的经验,本文提出了一种基于信息熵的类似机型确定方法,该方法应用信息熵理论,直接通过类似机型数据所蕴含的客观信息计算各属性的权重,消除了依靠人为指定权重的主观因素影响。在此基础上,给出了包含有不精确信息属性的相似度的计算方法,最后应用支线飞机实例进行了验证,表明该方法具有较高的客观有效性。     

三维模型中关键特性标注和提取的实现

关键特性作为"少数重要"的产品信息,是保证产品质量和顾客满意度的重要因素,其指定和标识需要与三维模型相结合才具有更直观的意义,同时也方便对其进行更有效的管理.本文给出了关键特性的定义和分类,提出了三维模型中关键特性的标注方法,通过对UG进行二次开发,实现了关键特性的属性添加和信息提取,并通过某型导弹弹头舱段壳体零件进行了验证.     

对方案有模糊互补偏好关系的模糊多属性决策法

研究了权重为区间数且对方案有模糊互补偏好关系的模糊多属性决策问题.首先,基于模糊互补判断矩阵的主观偏好信息,利用转换函数将决策信息一致化,并建立了目标规划模型.通过求解该模型得到属性的权重,运用加性加权法获得各方案的模糊综合属性值.其次,提出了基于方案的模糊正理想解与其模糊综合属性值相似度的方案排序法.该方法既能充分利用已有的客观信息,又能最大限度地体现决策者的主观意愿,且具有操作简便、易于上机实现的特点.该方法已应用于解决风险投资领域中项目评估问题.     

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

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

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

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

民航飞机起飞决断速度的一种计算方法

起飞决断速度是民航飞机起飞过程中一个至关重要的参考速度．其准确与否直接关系到飞机的起飞安全。传统的查表方法确定起飞决断速度有时不够准确，所以提出了一种迭代求解方法．并通过B757—200大型运输机的基本参数计算了其起飞决断速度，将计算结果与查表所得的结果进行了分析比较，证明了该算法是切实有效的．既满足适航要求，又利于工程计算。     

CMM管理体系在航天器海上测控软件工作中的应用探讨

软件质量三分靠技术七分靠管理，软件过程的规范管理和过程改善成为当前软件管理工作的棱心，CMM正是通过不断优化软件过程来实现软件质量控制的目的。本文主要阐述了CMM的概念和内涵，分析了CMM在我国的应用现状、CSMTC软件工作的现状和影响其软件质量的因素，探讨了CMM管理体系在CSMTC软件开发和维护工作中的应用意义和方法，给出了实施CMM管理需注意的几个问题。     

计算机辅助计划管理和决策总体设计

 介绍一种新机研制计划管理和决策支持系统的总体设计方案及其实现的具体措施。详细介绍了几个主要模块的设计思想。