军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

复杂背景下机场道面细带状结构病害检测算法

机场道面裂缝、角隅断裂、接缝破碎、修补等病害宽度狭小、长短不一、图像中像素占比少,呈细带状结构,且与复杂背景对比度低,现有检测算法效果不佳。针对以上问题,提出了一种基于注意力机制与特征融合的深度神经网络模型DetMSPNet。首先,利用注意力机制模块CBAM,使得特征学习更加专注于细带状结构病害区域,抑制干扰信息;其次,构建残差空洞金字塔模块,提取不同尺度空间下的特征信息;然后,设计最大池化支路,便于之后浅、深层不同层次特征进行融合,加强模型对于病害的定位能力,并且将深层特征输入3种不同扩张率的扩张卷积和金字塔池化模块,使得病害特征包含更多全局上下文信息;最后,对所有层输出的病害特征信息进行融合,实现不同尺度、不同层次特征的信息互补。与目前3种经典的目标检测算法在机场道面病害图像数据集APD上做了对比实验,结果表明:所提算法的mAP达到78.51%,优于对比算法。所提DetMSPNet模型,提高了算法对机场道面细带状结构病害检测中宽度狭小、长短不一、图像中像素占比少、与复杂背景对比度低等情况的适应能力。      

简讯

全国民航工作会议在北京召开National Civil Aviation Work Conference held in Beijing一年一度的全国民航工作会议于1月13-14日在北京召开。出席会议的人员共200多人,8名全国政协委员和民航局特聘专家作为特邀代表参会。中共中央政治局委员、国务院副总理张德江出席会议并作     

中性点谐振接地实施中电容电流的实测新方法

中性点谐振接地实施过程中，电容电流的确定是一个关键。本文根据补偿电网的等值接线图、单相接地故障时电压及电流向量变化图加以分析，提出一种新的电容电流的实测方法，并与计算值进行了比较。     

业务流程重组在机场用电管理信息化的运用探讨

业务流程重组或称为企业过程再工程即BPR(Business Process Reengineering)是最早由美国的Michael Hammer和Jame Champy提出的的一种管理思想。它强调以业务流程为改造对象和中心、以关心客户的需求和满意度为目标、对现有的业务流程进行根本的再思考和彻底的     

基于HLA的战役航材备件需求仿真研究

在分析系统功能要求的基础上,提出基于HLA的战役航材备件需求系统仿真框架,对仿真系统联邦成员的功能进行划分,分析系统的信息交互,探讨系统实现所需的关键技术,构建了战役航材备件需求仿真平台,给出了仿真平台的工作流程。     

属地化后的机场安全管理

机场安全管理作为航空安全管理的重要组成部分,其质量直接关系到整个系统的安全。民航改革冲击着机场安全管理的方方面面,包括原有的思维模式、工作方式等。目前民航机场管理体制改革已经进入新的发展阶段,机场管理隶属关系、机场定位的改变以及机场公安属地化管理使得传统的安全管理的组织结构和方法已不能适应市场经济体制下日趋激烈的经营环境,同时实质性行业安全监管和运行机制还没有完全形成,安全工作容易出现疏漏,只有积极研究如何适应民航发展的形势,开拓创新,切实提高机场安全管理水平、增进员工安全意识、提高航空安全保障能力,才能保证民航改革取得真正成功并为改革的进一步深化打好基础。     

世界最大客机空客A380将诞生

5月将拉开总装序幕经济低迷并没未影响到空中客车公司对A380飞机未来的乐观情绪。空中客车公司的负责人称,这是一个长远的项目,不会受到航空公司的行业周期影响。今年5月,这一举世瞩目的世界上最大的客机的将开始进行总装。按计划,A380将于2005年首飞,2006年投入运营。5月,空中客车公司在法国图卢兹将启用A380巨大的总装厂房。空中客车公司还在德国汉堡等地建有新的厂房设施。A380项目总计107亿美元的投资正顺利到位。同样,空中客车公司也没有重新修改对于市场的预期,在2010年前,每月仍将生产4架A380飞机。如果能够达成上述目标,空中客车…     

明确职责依法监管——监管办执法工作座谈会侧记

7月22-23日,民航“监管办执法工作座谈会”在北京召开,民航总局副局长高宏峰出席会议并作报告。各有关司局、各地区管理局及各监管办有关领导80余人参加了会议。目前公司重组、机场下放、省局撤消给安全监管造成了新问题,新成立的各地方安全监督管理办公室面临着不少新任务,在此基础上,民航总局法规司主持召开了此次座谈会。会议的主要任务是:以邓小平理论和“三个代表”重要思想为指导,贯彻落实《全面推进依法行政实施纲要》,总结前一阶段安全监督管理办公室的执法工作,进一步明确下一步的任务。民航总局局长杨元元到会发表了重要讲话,他充…     

从美国的航空规章看中国民航运行控制的管理思路

本文所言“运行控制”是指航空公司(承运人)使用用于飞行动态控制的系统和程序,对某次飞行的起始、持续和终止行使控制权的过程。这种过程是在空管部门提供管制间隔服务的前提下,航空公司对本公司飞机的运行安全负责的实施过程。由于近年来民航飞标部门制定的中国民用航空规章(CCAR)主要参考了美国联邦航空规章(FAR),因此研究和分析一下FAR在这方面的来龙去脉和管理思路,将有助于我们更好地理解和应用我们自己的CCAR,提高对航空公司运行控制的管理水平。一、 美国的运行控制(一) 历史背景在航空早期时代,运行控制实质上并不存在。通常…