考虑人机匹配模式的舰载机甲板机务勤务保障调度算法

舰载机甲板机务勤务保障是全周期起降保障作业的关键环节,为提升机群保障能力并减轻传统人工制定保障计划的负担,研究了多类人机匹配模式下舰载机甲板机务勤务保障调度算法。首先,系统分析机务保障所采用的单机机组模式、大机组模式和一体化联合保障模式等人机匹配模式,基于保障流程约束、资源转移和保障范围等各类资源约束,面向实际保障需求,以机务勤务作业完工时间、保障人员累积转移时间和闲忙比方差和为优化目标,建立了适用多类人机匹配模式的舰载机甲板机务勤务保障调度模型;其次,将机务勤务保障调度问题抽象为典型的资源受限项目调度问题,基于考虑资源转移的串行调度机制,设计了双种群遗传算法,对调度模型进行优化求解;最后,保障场景案例实验表明,调度模型和算法可实现不同人机匹配模式下的机务勤务保障优化,显著提升各项保障目标。在同等条件下,一体化联合保障模式具有更高的保障效率和较好的人员负载均衡性,且该优势随着转移入场飞机数量的增加而增加,而人员累计转移时间最长;单机机组保障模式的优缺点与一体化联合保障模式相反,大机组保障模式则介于两类模式之间。     

基于国产Linux平台的设备管理软件设计与实现

针对国产Linux操作系统不能提供高精度时间,也不能实时响应外部事件的问题,设计和实现了时统中断设备管理软件.该软件采用内核模块技术管理设备,利用设备的中断信号调度应用程序,并为应用程序提供高精度的统一时间.为提高外部中断事件的响应时间,时统中断设备管理程序采用tasklet机制管理中断,为不同的中断事件建立不同的管理队列,采用较小粒度的旋转锁以提高代码的并发性.时统中断设备管理程序能为应用程序提供μs级精度的精确时间,中断响应时间为10 μs级.经过长时间测试,系统运行稳定可靠,开销小,功能和性能都满足工程需求.     

考虑优先级的交叉口航班汇聚排序问题研究

为了有效地利用航路资源,减少飞行延误总成本,建立了改进的航路交叉口汇聚排序模型。为加快求解速度,分析了影响航班延误成本的因素,给出了权重赋值表,改进了现有算法,并用FCFS算法与改进算法进行了算例分析。仿真结果表明,改进算法通过对交叉口航班各属性赋权值可有效进行优先等级划分,完成时隙分配和航班排序的快速计算。采用改进给出的优化排序策略可减少延误飞行的总成本,具有一定的实用性。     

无线网络弱硬实时调度算法

提出了一种结合信道状况考虑的(m, k)-firm弱硬实时调度算法.该算法将消息划分为强制(mandatory)和可选(optional)2种类型,并优先调度强制消息.消息的类型由线下静态分配和线上动态调整共同决定.其中,静态分配使用(m, k)-pattern分配消息类型,动态调整是在不违反(m, k)-firm约束的前提下尽力减少强制消息在差信道状况下传输.理论分析证明:①在假设所有强制消息都实时成功传输的前提下,经动态调整的消息集仍然满足(m, k)-firm;②在使用平均分布(m, k)-pattern时,动态调整之后不改变消息集中强制消息的N次重传可调度性.仿真结果表明,该算法与仅使用静态分配消息类型的算法比较,能够改善弱硬实时的可调度性能,节省无线网络中带宽和能耗的开销.      

基于遗传算法的运载火箭总线消息调度优化设计

运载火箭控制系统采用1553B总线、按照预先设计的调度表传输周期性消息。针对当前总线消息调度表的设计方法对负载均衡考虑较少的缺陷,在构建1553B总线消息周期调度表数学模型的基础上,引入遗传算法进行最优化设计。该算法将负载率参数的多目标优化问题转换为遗传个体适应度的单目标优化问题,采用“精英保留”遗传策略,有效避免了个体退化,算法稳定高效。数学仿真计算结果表明,总线消息周期调度表求解高效,负载均衡大幅提高,验证了优化设计方法的有效性。     

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

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

多网段控制系统实时任务的建模与调度

网络化控制系统中任务的调度影响控制系统与网络的性能。多网段控制系统中节点任务、通信任务与网关任务的调度是具有顺序、时限与网络资源约束的NP完全问题。建立了多网段控制系统控制任务的数学模型,以控制回路的采样周期与网络利用率为优化目标,采用遗传算法实现控制任务调度,优化了系统整体性能,仿真实例证实了调度模型及调度算法的有效性。     

大学英语课堂教学有效任务的设计

本文探讨了目前在英语教学界影响较大的任务型教学法中任务的设计与运用,介绍了在课堂教学中的一些有效任务及其优越性。     

一种基于时间调制的弹性化SAR卫星系统

星载合成孔径雷达(SAR)系统能全天时、全天候观测,在地震、洪涝、台风等自然灾害监测中具有重要作用。双基、多基SAR卫星更具有极高的经济、科学、安全价值。然而,目前在轨的大型星载SAR卫星造价昂贵,且双基SAR卫星需数颗同等规模的卫星。双基SAR卫星系统存在星间同步链路,因此卫星可扩展性不强。提出了一种基于时间调制的低成本弹性化Ka波段调频连续波(FMCW)SAR小卫星星座系统。该系统基于一组独立、模块化的发射卫星和接收卫星。采用Ka FMCW SAR体制和时间调制天线(TMA)技术,可减轻接收星2/3以上的质量。该系统采用自主任务规划技术,具备多样化的工作模式,为单发多收、多发多收等应用需求提供了一种弹性化的解决方案。     

对接机构分系统研制

介绍了我国神舟八号飞船和天宫一号目标飞行器对接试验的对接机构分系统的组成、控制时序、设计方案,以及可靠性与安全性。给出了对接机构分系统研制中总体设计、动力学仿真、试验和关键部件研制等关键技术,以及整机特性测试、连接分离试验、热真空对接与分离试验、寿命试验等验证情况。回顾了对接机构分系统的研制过程。