基于Object-FMA的软件代码审查方法

针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失效模式分析来代替使用传统检查单的代码审查方法.此外,提出了一种对象失效模式分析方法(Object-FMA,Object Fail-ure Modes Analysis),用于系统地分析代码对象的失效模式,为不同层次的代码对象建立失效模式库.在某型号软件的代码审查中对该方法进行了实例应用,结果表明此方法提供了一种从审查代码对象到失效模式库的映射方式,提高了代码审查的效率,审查时不仅能发现传统检查单中记录的代码词法、语法和常见语义的缺陷,还能有效地发现代码中人为疏忽或算法设计错误而引入的代码缺陷.     

PW1100G发动机LPT3叶片断裂风险评估与强制纠正措施决策分析

针对2019年A320飞机运行中因其配装的PW1100G发动机LPT3叶片断裂频发空中停车等问题,首次采用定量风险评估、 根原因分析和强制纠正措施决策的组合技术制定单边适航指令,精准解决中国机队安全监控技术难题。采用区间和比例的风险评估 方法对机队风险指标和符合性时间期限分析计算;分析LPT3叶片失效机理,梳理LPT3叶片断裂根原因;提出可选纠正措施,对不同机 队的风险水平决策。结果表明：南航机队风险高达1.64×10-8,远超过可接受的安全风险水平;起飞阶段未减推力引发机匣共振并变形, 叶片材料抗撞击能力不足,导致LPT3叶片断裂;开展减推力爬升改装,并对中国机队不同风险实施不同的飞机对偶运行时间期限。为 国内外机队安全监控提供了可借鉴的安全风险评估和管理方法。     

通信导航融合定位技术发展综述

详细分析了蓝牙、Wi-Fi、超宽带、移动通信网络等多种无线网络通信导航融合定位技术的发展现状,并阐述了其面临的挑战,提出了多网融合方法可以提升室内无缝高精度位置服务的可靠性。利用5G移动通信网络,与北斗/GNSS卫星导航系统结合,可以实现相互增强。最后,从天地一体定位导航与授时体系和仿生通信定位导航两方面介绍了通信导航融合定位技术的未来发展趋势。     

G650公务机技术分析

湾流公司声称,它最新推出的G650公务机是当今市场上体积最大、速度最快、航程最远的公务喷气机。其定位于填补G550和加拿大庞巴迪公司“全球快车”XRS等超远程公务机与干线客机衍生出来的公务机（如空客ACJ和波音BBJ）之间的空挡。     

美国海军将在2010年部署EA-18G

目前,EA-18G“咆哮者”电子战飞机已经可以进行作战使用为美军在全球实施电子攻击提供了一种新手段。     

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

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

高温合金K38G微晶涂层氧化动力学研究

研究了溅射微晶涂层对K38G在800℃和900℃空气中氧化动力学的影响。发现微晶化后K38G的氧化动力学与经典的抛物线规律存在负偏差。分析认为,微晶化后氧化物形核率大大提高,氧化膜中的扩散由晶格扩散变为晶界短路扩散为主,从而改变了氧化膜的生长动力学。根据Wagner高温氧化的基本理论,对微晶合金高温氧化动力学规律进行了探讨,导出微晶K38G合金氧化动力学遵循四次方规律,即x4=kPt。     

太阳质量损失对行星轨道的影响

本文利用Ｇｙｌｄｅｎ－Ｍｅｓｈｃｈｅｒｓｋｉｉ方程和Ｅｄｄｉｎｇｔｏｎ－Ｊｅａｎｓ定律，讨论太阳质量损失对行星轨道的影响，结果表明由于太阳质量损失会产生轨道半长径α的一阶周期项和二阶混合项；近日点角距ω的一阶周期项、二阶长期项和混合项，行星轨道半长径的长期变化会影响太阳系的稳定性。     

无人机城市超低空运行概念(ConOps)初探

未来各类微轻小型无人机将成为城市超低空空域的主要用户,本文首先调研厘清各类超低空无人机运行场景需求,基于调研数据测算提出了一种城市超低空运行的目标安全水平——致死人数小于1×10-6人/飞行小时;并进一步提出城市超低空无人机运行概念:从空域划设、通信导航监视、运行管控导则3方面进行简要阐述。最终针对该运行概念提出了相应的实现路径和方案建议。     

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

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