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

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

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...     

紧凑热交换器优化设计

对各种传热表面的板翅式紧凑热交换器进行了优化设计计算，建立了通用优化程序系统。此程序既适用于一般地面热交换器，也适用于飞机空调中的热交换器。与传统的设计计算相比较，优化设计的效果很好。热交换优化后，肋片的形状变得更加合理，芯体传热表面更加紧。通过各种肋片的计算得出，条状肋片为板翅式肋片中的最佳者。     

概率安全评定方法的计算程序及其工程应用

考虑四种主要随机因素：载荷（作用应力）、缺陷尺寸、断裂韧性、流变应力等参数的不确定性,针对较为常见的焊接结构型式,如平板、球罐、圆柱形容器等结构上可能存在的不同缺陷类型,基于双判据失效准则,编制了较为通用的含缺陷焊接结构概率安全评定程序。对国产ＣＦ－６２钢制容积为１５３１ｍ３的球罐可能存在的缺陷进行了概率安全评定,通过对评定参数的敏感性分析,指出了影响其可靠性的关键因素。     

CROMEMCO LISP符号微分程序系统

本文说明了符号微分程序系统的一些特征、功能、设计思想和程序设计技术。 该系统是使用人工智能专用语言LISP写成的,并且已经在CROMEMCO系统Ⅲ微型计算机上正确地运行。文中还给出了在该机器上求出的一些复杂函数的符号微分实例。     

航天器测试语言及其运行平台研究

针对测试序列自动执行程度低影响航天器测试效率的问题,提出了一种可控制流程的 高级语言形式的新型航天器测试语言（STL）,并对其语言执行机构进行研究,设计并实现 了基于插件技术的以解释器为核心的集成开发环境——航天器测试语言运行平台。实践表 明航天器测试语言具有较强的通用性与实用性,该语言运行平台能够有效降低航天器地面测 试强度,节约测试成本,提高测试效率。
     

基于谷歌地球的仪表飞行程序

在Google Earth的三维地形数据的基础上,建立了完整的计算机辅助仪表飞行程序设计系统,在GoogleEarth上绘制出飞行程序保护区。并建立机场数据库,存储机场数据以及保护区各重要位置点数据,导入AUTOCAD,完成AUTO CAD出图。实现计算机辅助飞行程序设计。     

简讯

林左鸣访问德国ANECOM公司4月20日,中航工业董事长、中国航空研究院董事会主席林左鸣一行8人访问了德国ANECOM公司。林左鸣一行参观了ANECOM公司风扇/压气机性能测试实验室和发动机噪声实验室等有关实验设施。在听取了ANECOM公司总经理埃迪曼德阿勒斯博士关于公司技术能力的介绍后,     

光电瞄准系统仿真试验环境

光电瞄准系统是火控系统的组成部分,在航空电子系统综合试验中,为了验证系统设计是否合理,通常由半实物仿真平台来实现航电系统的动态试验,这样可以缩短试飞周期,节省研制经费。对于仿真试验来说,仿真环境的组建是一项关键技术。本文在分析光电瞄准系统功能的基础上,介绍了仿真环境的组建和仿真试验程序。     

新疆地区首个RNP AR程序通过试飞验证

我国西部地形复杂,高原和山地较多,航空公司不仅需要选派特殊改装的飞机和经过严格训练的精英机组执行这些机场的飞行任务,还要承担大量起飞减载、返航、备降、取消航班等不正常航班所造成的经济损失。使用RNPAR程序可以使航空器有效绕开超高障碍物,缓解空域矛盾,很适于在地形复杂、气候多变的高原机场推广使用。