AFDX交换机在强实时条件下的分组调度

研究了航空电子全双工交换式以太网(AFDX,Avionics Full Duplex Switched Ethernet)交换机分组调度方法的实时性能,采用实时通信中的周期性任务模型,依据AFDX协议"确定性网络"中关于交换机支持双优先级消息调度原则,推导出了相应的交换机关键参数的数学表达,提出了强实时约束下基于双优先级调度的负载匹配的分组调度方法(DP-LM,Dual Priority-Load Match),比较了单/双优先级分组调度的不同(消息调度、关键参数和匹配方法),算例结果表明:由于低优先级消息的引入将会对高优先级消息的实时传输产生重要影响.     

一种卫星成像调度的约束修正方法

约束修正是卫星成像调度的重要组成部分,负责处理成像调度方案的约束满足与优化的问题.为得到优化可行的成像调度方案,针对一类带有卫星存储器和数据下传等约束的卫星成像调度问题,提出一种新的约束修正方法.首先构建时间序有向图模型,将约束修正问题归结为点带约束成本的路径搜索问题,针对该模型提出一种基于标记更新的约束修正算法.通过针对实际问题的实验分析,表明该方法能够在规定的时间内求得问题的最优解,有效的解决了卫星成像调度的约束满足与优化问题.     

ATN地空通信中的报文传输调度算法

一、ATN地空网络简介 航空电信网（ATN）是通信导航监视／空中交通管理系统（CNS／ATM）的重要组成部分,是实现新一代航行系统的基础。由于历史的原因,航空电信网采用了国际标准化组织（ISO）制定的七层通信模型。航审电信网主要由三个子网组成,即：地地通信子网、空地通信子网、空空通信了刚。目前ATN的地空通信子网主要由甚高频（VHF）数据链、航空移动卫星通信（AMSS）、     

基于改进遗传算法的一类多资源测控调度问题研究

研究一类测控弧段具有优先级约束的多资源、大规模测控调度问题。首先对问题中的约束条件进行分析和处理,并建立问题的数学模型。进而针对问题特点,以遗传算法为基础,通过设计选择适当的交叉、和变异算子,设计了一种改进的遗传算法。最后通过算例计算表明,应用该方法求解此类测控资源调度问题具有较为理想的性能,是合理、有效的。


     

机载网络时间触发通信调度设计优化与评价方法

机载网络是航空电子系统实现信息传输与功能综合的关键组成,引入时间触发（TT）机制并安排合理通信调度可以有效保证机载网络实时可靠通信,但需要首先面对多种调度设计方法的选择问题。在总结了时间触发通信过程与特征的基础上,以时间触发以太网为分析对象,给出了基于可满足性模理论（SMT）、混合整数规划（MIP）和启发式算法等不同约束引导下的调度模型,并形成了基于强化学习（RL）的调度方法;从调度设计的求解能力与性能保障角度出发,建立了包括求解时间、可求解规模、传输延迟和调度模式的评价指标。以工业规模网络为研究案例对不同调度方法进行了验证分析,在评价指标的引导下对比分析了各种方法的适用场景,其中SMT方法可支持小规模案例,MIP方法具有明显的TT消息传输和调度求解运算优势,以遗传算法为典型的启发式方法和RL方法可实现大规模案例调度,虽然其TT延迟略高于MIP方法,但速率约束消息延迟优化程度分别达到7.97%和12.35%。在此基础上,进一步探讨了未来航电系统机载网络时间触发通信调度设计优化技术的发展趋势。     

基于改进遗传算法的移动目标成像侦测任务规划问题研究

基于先验信息调用成像侦察卫星监控陆地或海洋移动目标动态信息是卫星成像侦察面临的新 课题。在已知移动目标位置等先验信息基础上,动态构造目标可变潜在区域及其运动预测模 型,利用STK辅助构造其候选成像观测活动集合;在此集合及目标运动预测模型基础上 对动态可变区域成像卫星调度问题进行建模,并设计了一种基于模拟退火算法及遗传算法的 改进遗传算法对问题进行求解,得到近最优的移动目标成像侦测方案。最后通过实例及算法 对比验证了规划模型及算法对解决该类问题的合理性和有效性。
     

实时嵌入式软件测试执行引擎的设计与实现

自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,并在此基础上提出了测试描述执行引擎的总体设计方案,阐述了编译过程和执行过程的实现方法,给出了符号表管理中哈希函数及其冲突的解决方法和基于SBRMS(Segment-Based Rate Monotonic Scheduling)调度策略的测试描述执行过程.对引擎的执行效率进行了评估和分析,结果表明,通过合理控制测试描述的规模和并发执行个数,测试描述执行引擎能够满足实时嵌入式软件自动化测试对实时、并发特性的要求,并具有良好的可移植性.     

飞机地面除冰运行决策模型研究

对飞机地面除冰过程进行了分析,提出了一种包含航空公司、地面服务公司、机场除冰指挥三类Agent的多Agent飞机除冰调度模型．模型中每类Agent均采用归类式Agent结构。给出三类Agent的行为规则,按照“优先级高先服务”的原则为航班分配除冰资源。运用JADE软件开发框架开发Agent智能体,并就模型的可靠性、公平性、资源效用性进行了仿真研究,仿真结果验证了该模型的有效性.     

一种变参数滑模变结构控制及飞行控制应用研究

提出了一种新的负指数分布变参数滑模变结构控制,采用增益调度方法调节变结构控制器参数。通过自适应调节边界层系数、滑动模系数和控制增益系数实现降低能耗、减弱颤振的目标。对某飞机短周期迎角稳定控制系统进行仿真,结果表明了该控制方案的有效性和实用性。     

高分卫星紧急监测台湾地震灾害

正2月6日凌晨台湾南部地区发生6.7级地震后,中国资源卫星应用中心紧急调度高分一号、高分二号等卫星进行应急观测,并将数据及时提供给中国地震局等部门。获悉震情后,该中心立即启动重大自然灾害应急响应机制,编制应急观测计划,紧急调度高分一号、高分二号和资源一号02C卫星开展4次应急观测。该中心有关负责人表示,将继续对相关区域进