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

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

潘云鹤中国著名智能CAD和计算机专家

M:现在,智能CAD可以说是制造技术领域的热门话题,您作为我国智能CAD的开拓者,目前研究的重点是什么? 潘云鹤院士:我的研究重点是智能机器人技术、产品创新设计和虚拟现实等方面,总的方法是把人工智能与计算机辅助设计结合起来,把信息技术与设计技术结合起来,推动设计技术更好地前进.我研究的另一个课题是把科学与文化结合起来,我曾经很长时间研究过计算机美术和计算机书法,因为我在计算机方面的一个重要研究领域是计算机图形学,与艺术和设计有很大关系,希望能使我国的多媒体技术和设计技术更上一层楼.     

飞行器振动智能分析与诊断

本文通过综合多个领域知识，引进功能特征描述概念，运用证据理论，提出了对飞行器等复杂系统进行分析诊断的一个新方法并初步完成了专家系统原型，通过具体实例，再现了故障现象     

人工智能产生式系统的分析(上)

产生式系统是一种问题求解系统,可用于人工智能的各个领域。本文从理论上详细地分析了产生式系统的三个重要组成部分,即一个综合数据库,一组产生式规则和一个控制系统;讨论了属于不同领域若干例题,如华容道游戏、皇后问题、机器人的积木世界、求最短路径问题,以及古老的梵塔问题。文章还附有用LISP语言编写的程序和在Cromemco系统Ⅲ计算机上求出的结果。     

黑板框架的知识表达方法

本文介绍了黑板框架知识表达方法的设计思想和技术。黑板框架是由框架、知识源和黑板模型组成,是产生式规则、谓词、框架等多种知识表达功能的组合形式,它将知识表达和知识处理结合成一体,既能表达静态的知识,又能表达动态的知识;既能方便地表达断言性知识,又能自然地表达结构性知识。表达功能强、灵活性大;方便知识调度,加快推理速度,提高推理效率;方便知识获取并有利于机器学习。 黑板框架是一种能表达特定领域复杂知识结构的良好的方法,具有表达充分、推理充分、推理效率和获取效率高的特点。 文中还对目前各种知识表达方法进行了评价,对黑板模型、知识源、黑板框架的概念进行了描述,并对黑板框架给出了严格的BNF定义。 黑板框架的知识表达方法,已在医学专家系统开发工具BFBEST中获得了成功的应用,并取得满意的效果。     

防空体系中的对抗策略

在说明防空体系基本功能和基本组成的基础上，探讨防空体系的对抗策略，阐述防空体系中各类传感器具应有的功能，重点提出“电磁环境侦察系统”在防空体系实现“电磁沉默”作战模式中所起了关键作用；同时强调人工智能是防空体系在进行识别，定位和作战决策过程中必不可少的至关重要技术；对防空体系中必不可少的至关重要技术；对防空体系中的硬杀伤武器系统和软杀伤装备的配置及作用提出了一些基本想法，最后给出防空体系在防空作战     

大型捆绑运载火箭姿态控制系统

本文介绍了大型捆绑运载火箭姿态控制系统方案、工作原理和首发飞行试验结果,并将部分参数同美国航天飞机进行比较。     

运载火箭控制系统仿真的发展方向

为拓宽仿真系统、仿真计算机、仿真软件和与人工智能相结合等方面的应用范围,本文全面阐述了运载火箭控制系统仿真的发展方向,可供预先研究做选题参考。