基于多目标帝国竞争算法的进场排序与调度

为兼顾空管、机场、航司以及民众的不同诉求,提出了基于多目标帝国竞争算法的进场排序与调度方法,达到平衡交通需求与进场管理的目的。首先,借鉴机器调度领域研究成果,梳理与精简进场排序与调度的评价指标,并结合运行约束构建多目标进场排序与调度模型。接着,引入非支配排序,设计多目标帝国竞争算法,给出衡量帕累托解集优劣的评价指标。最后,采用通用数据集与长沙黄花机场实际运行数据实施案例进行仿真与验证。结果表明：提出的多目标帝国竞争算法,相对于带精英策略的非支配排序遗传算法以及多目标模拟退火算法而言,解集更占支配地位、分布更均匀、收敛性更好,求解的效率也更高;提出的算法能有效实现进场排序与调度,即便以标准间隔的1.8倍实施仿真,总延误时间、总飞行时间和最大飞行时间,相对于实际运行分别降低了41.2%、11.4%和8.6%。     

直升机热管理与红外辐射特性耦合分析方法

未来高性能直升机面临提高能量利用率和抑制红外辐射特性的重大挑战,迫切需要协同解决这两个问题,需要从整机层面探究热管理和红外辐射特性耦合机制,建立耦合分析方法。直升机红外辐射特性不仅受到旋翼下洗流场、前飞流场和环境等外部因素的影响,还受到各子系统部件的工作状态、机身表面的散热口布置和红外抑制器的设计等热管理优化方法的影响。因此,直升机热管理问题和红外抑制问题是强相互耦合,必须统筹考虑。从直升机整机系统的结构特点、系统工作原理和能量平衡关系出发,基于热/质流产生、收集传输、储存利用和传热关系,分析直升机整机系统框架和传热平衡关系,建立以系统部件为内部边界条件、外环境为外部边界条件的整机耦合传热模型;通过对内外部热量的统筹调控与管理,提出热管理优化方法,实现既保障各系统安全高效工作、又提高整机能量利用率,优化红外辐射性能的目的。该模型和方法能为直升机综合热管理的方案设计和红外抑制方法提供支撑。     

基于Event-B的SpaceOS2操作系统任务管理需求形式化建模与验证

随着中国航天技术的发展,航天器系统的软件规模越来越大、复杂度越来越高,对航天软件的正确性、可靠性、安全性等提出了更为严格的要求.形式化方法是提高软件可信性的一个重要途径.利用形式化方法 Event-B对嵌入式操作系统SpaceOS2的任务管理模块的进行需求建模,依靠不变式来保证模型的正确性,并且在Rodin平台上对模型进行了形式化验证,结果表明模型是正确的.     

生态视阈下的商务翻译人才培养策略研究

本文以生态翻译学为切入点,在介绍生态翻译学这一全新理念的同时,根据翻译适应选择论和翻译生态环境规律,探讨当今国际商务环境下翻译活动的适应与选择,详细考察商务翻译的生态环境,论述商务翻译生态环境中各生态因子的职能作用以及它们之间的相互关系,将其用于指导翻译人才培养方案、课程设置、教材选用、保障机制等方面,以便顺应经济发展转型的需要,培养满足现代服务业需求的高端商务翻译人才。     

空中交通管制专业英语教学新模式探讨

空中交通管制(简称空管)方向学生的英语应用能力主要是听说能力,且应是专业英语听说能力,而传统的以阅读和翻译为主的专业英语教学模式显然不能适应这一要求。本文提出了中外教师课堂合作专业英语教学的新模式,并从课程组建设、学习过程管理和多元化测评体系等方面提出建议,这对提高空管方向学生专业英语应用能力具有重要意义。     

英语教学中语用学的有效应用

通过对语用学相关知识介绍,结合现阶段大学英语教学中所存在的重视语言知识理论层面的教学,对实际应用有意无意忽略的客观现实,指出为全面提升大学英语教学质量,使学生的英语知识能够得到质的提升,应当采取拓展学生西方英美文化知识修养、利用计算机技术所带来的优势,积极引入多媒体教学方式、发挥外籍教师在英语教学中的积极作用的教学策略,以期为相关人员从事英语教学活动提供理论借鉴和实践参考。     

高职学院信息类专业产学研合作人才培养模式及机制探析

随着我国信息化进程的加速,我国信息技术产业迅速发展,信息技术产业对人才的需求也日益扩大。培养信息技术产业需要的、具有较高职业技能的合格人才,成为摆在高职学院信息类专业面前的一个重大课题。本文就高职学院信息类专业如何构建产学研合作人才培养模式及其机制问题谈一点粗浅的看法。     

动态构造网管中被管对象的可视化扩展

随着互联网规模的不断扩大和网络应用的日益丰富,传统网管已经难以适应对大型、异构、动态变化的网络和种类繁多的网络应用的管理需要.动态构造的网络管理是一种新型的网络管理模式,被管对象的扩展是动态构造网管中的重要组成部分.提出了被管对象的可视化扩展方法.通过在管理人机交互界面上构造一棵MOS(被管对象集)树,并提供一系列的编辑工具,供设备厂商和应用开发商可视化定义其设备和应用所实现的MOS模块.这些模块以具有正确语法格式的MOS文件的形式提交给网管系统,由动态MOS编译将其加载到系统中,系统通过对其的访问实现被管对象和管理功能的关联及扩展.     

QAR超限事件飞行操作风险诊断方法

利用某机型的快速存取记录器(QAR,Quick Access Record)数据,对飞机着陆阶段出现的某一QAR超限事件,选取飞机下降率、俯仰角等飞行员综合操作指标在无线电高度20 feet(1 feet=0.304 8 m)的数值以及20~0 feet之间的变化率,分析由这些指标构成的"空间"中发生该QAR超限事件的"高风险子空间".对同一机场同一机型的多个航班数据初步分析得到,着陆总重大于62 t、着陆温度小于32℃时,正常样本与QAR超限样本占比接近,表明环境因素并非该样本空间中QAR超限事件的主要因素.为进一步诊断,以超限事件发生率最大化为目标,以划分空间中包含的样本满足一定数量标准为约束,建立数学模型,并以黄金分割法为基础设计了算法,找出这些操作指标上区间的边界值,以此诊断可能触发该QAR超限事件的高风险区域,为飞行员模拟机针对性训练提供指导.      

一种无人机飞行控制管理软件回归测试方法

针对大型嵌入式软件测试的难题,提出了基于系统快照的自动化回归测试方法,并以无人机飞行控制管理软件为研究案例进行了关键技术解析、测试系统设计及分析.利用系统快照技术实现了彼此之间关系繁杂的测试用例的解耦,将复杂的系统测试转化为灵活的单元测试.结合CPPUnit的测试框架,建立了自动化回归测试的系统结构,并深入分析了各部分的功能和执行过程.进而设计出基于系统快照的自动化回归测试执行流程和测试用例的编制流程.给出了某型无人机飞行控制管理软件在不同方法下的测试结果,通过数据对比验证了测试系统的高有效性.