基于伪距差分增强的分布式节点时间同步方法

传统时频同步方法维持分布式节点之间同步的精度较高，但并不适用于空间非接触节点的时频同步问题.本文提出一种基于伪距差分增强的时间同步方法，给出了系统原理和基本组成，运用总体最小二乘法解算分布式节点的先验钟差信息，并利用卡尔曼滤波构建了主从节点间的时间同步算法模型.仿真校验与结果分析显示，相比独立GPS授时同步，本文提出的系统同步算法能够提高空间分布式节点同步精度，在基线距离平均为25km的条件下，可将节点同步精度控制在亚纳秒量级.      

分布式多媒体系统模型与传输控制算法的研究

作为分布式多媒体系统通信与表现控制研究的基础,提出分布式多媒体系统整体模型DMISIM(Distributed Multimedia Information System Integrated Model),将分布式多媒体系统抽象为3元组——多媒体同步时间单元SIU(Synchronization Interval Unit)、通信信道以及信道与SIU序列之间的一一映射关系．模型描述多媒体信息和通信网络的静态属性,反映系统通信传输的动态过程．基于DMISIM,对分布式多媒体通信传输控制机制进行研究,提出最小偏差调度算法MDSA(Minimum Deviation Scheduling Algorithm)作为古典列表调度算法CLSH(Classic List Scheduling Heuristic)的改进．理论分析和逻辑推导证明,在不增加算法时间复杂度,不降低多媒体同步表现质量的同时,算法提高了系统目的端缓冲区利用率,降低了缓冲区需求及多媒体数据溢出的可能性．算法与底层通信传输机制无关,可以广泛应用于分布式多媒体系统的通信传输过程中．      

基于AFDX网络的飞行管理仿真系统

系统建模与数字仿真是大型客机飞行管理系统研发的重要阶段.初步建立了基于航空电子全双工交换式以太网(AFDX,Avionics Full-Duplex Switched Ethernet)的飞行管理系统分布式实时仿真系统模型.对飞行计划、飞行导引、轨迹预测、性能计算、综合导航、导航数据库、综合显示等核心功能进行了分析建模和算法开发.并在此基础上对飞行管理计算机、综合导航系统、自动飞行系统等仿真子系统进行了设计,在满足实时性要求的前提下,基于AFDX网络与分布式仿真结构实现了对以飞行管理计算机系统为核心的航空电子仿真系统的集成,给出了一种通用的、基于AFDX网络的飞行管理系统分布式仿真框架.仿真系统的运行结果证明:基于AFDX网络的分布式仿真结构能够有效满足实时性要求,提高网络通信性能.      

用面向对象技术实现相关分离的双语言描述

介绍了一种新的形式化描述思想,即"相关分离"的思想,并分析了基于此思想的双语言方法,与传统的单一语言的描述技术相比,"相关分离"的思想和双语言方法更适合于分布式多媒体的描述.结合对面向对象技术在分布式多媒体的形式化描述中应用的方法分析,本文提出了一种以LOTOS/QTL或Esterel/QL为基础,融合面向对象技术的形式化描述方案,该方案可用于建立分布式多媒体系统的时间模型和同步模型.     

多导弹分布式自适应协同制导方法

针对多导弹的齐射攻击问题,提出了一种具有异构"领弹-被领弹"的分布式自适应协同制导方法.该方法在局部通信和传统比例导引基础上,基于分布式网络同步原理设计了领弹和被领弹的分布式协同制导律.领弹的分布协同制导基于固定系数的比例导引律,而被领弹的分布协同制导则基于自适应可变系数的比例导引律,并设计了被领弹比例导引系数的分布式自适应调节规律.给出了5枚导弹协同目标攻击的仿真结果,验证了该自适应分布式协同制导算法的有效性.     

网络分区中混合消息集传输模式的精确配置

针对分布式综合模块化航空电子网络分区方法,指出其对消息传输模式配置存在不确定性;通过形式化描述将问题转化为包括实时性约束、带宽约束、缓存约束的最优化问题;提出了基于遗传模拟退火的传输模式配置算法,以系统的消息端到端延迟均衡为优化目标.通过给出两个具体算例对算法有效性进行了验证,同时比较了本算法与传统遗传算法的性能.对比结果表明,本算法能够解决传输模式的配置问题,尽管计算时间较传统遗传算法高出18.1%,但所得到的适应度值高出28.7%.本算法为网络分区在实际航电系统中的应用提供了参考.     

基于AFDX的航空电子系统可调度性分析

航空电子全双工交换式以太网(AFDX,Avionics Full Duplex Switched Ethernet)是新一代大型飞机机载网络的首选方案,构建其上的航空电子系统应保证强实时应用在时限内完成.针对现有AFDX实时性研究仅给出网络延迟上界的不足,综合考虑了任务的响应时间以及实时消息在AFDX网络中的传输延迟.建立了使用AFDX网络的航空电子系统模型,分析了分布式任务序列的整体时间需求.应用全局分析思想,给出任务序列的最坏情况响应时间,为系统实时性的评价和优化提供了理论依据.仿真结果表明该分析给出了紧凑的任务序列响应时间上界.     

攻击机动目标的多导弹分布式协同制导律

在分布式通信和增广比例导引的基础上,基于网络同步原理设计了一种多导弹拦截机动目标的分布式协同制导律.该分布式协同制导律由导弹本地导引律和分布式协调策略两部分组成:本地导引律由增广比例导引得到;基于网络同步原理设计了导弹之间的分布式协调策略,实现多弹对机动目标的同时协同攻击.该分布式协同制导律只需要视距内相邻导弹之间传输状态信息,具有通信量小、可扩展性好等特点.仿真结果表明多弹网络系统采用该制导律能够有效地协同攻击机动目标.     

空间多模冗余热备份嵌入式电子系统精确同步算法研究

为了使空间嵌入式电子系统冗余的热备份多模之间获得精确时间同步,基于IEEE1588协议,在空间多模冗余热备份嵌入式电子系统的全交织网络基础上,采用FPGA/ASIC技术,结合软件和硬件同步提出了一种精确时间同步算法.该算法既有硬件同步的精度优势,又具有软件同步的成本优势和容错能力,并且时间同步精度可达到百纳秒量级,经过系统仿真验证了此算法的有效性.     

多导弹分布式协同制导与控制方法

针对多枚导弹三维空间协同攻击机动目标要求,提出了一种多导弹分布式协同制导与控制方法.基于网络同步原理设计了一种多导弹三维位置同步算法,将目标视作领弹,与攻击导弹组成“领弹-从弹”的拓扑结构,实现了导弹对目标的协同攻击引导.同步算法给出了惯性坐标系导弹3个方向速度的指令,基于坐标变换将其转化为自动驾驶仪可以跟踪的速度及弹道倾角指令.基于切换控制方法设计了导弹自动驾驶仪,实现了多导弹协同制导与控制的闭环仿真.仿真结果验证了该方法的有效性.      

航空电子高速交换式网络的服务质量保证方法

以保证航空电子高速交换式网络的实时性和高带宽为目的,提出光纤通道(FC,Fibre Channel)通信协议承载于波分复用(WDM,Wavelength Division Multiplexing)传输机制之上的架构.采用适用于实时交换的周期性数据流模型,提出了基于负载匹配的输出轮询(LOR,Load-matching Output Round)调度算法.该算法仅使用一次仲裁即可达到输入/输出的最大匹配(100%).给出LOR算法的核心代码,时间复杂度仅为O(1),易于在硬件中实现.最后通过将LOR算法嵌入到网络处理器中,注入时间敏感的负载流量,以服务质量特性(延迟、吞吐和超时消息数)为性能衡量指标进行实验,结果表明LOR算法在轻负载(30%)下,服务质量特性与经典算法(iSLIP, DRR, EDRR)基本持平;在重负载(70%)下,仅LOR算法能满足延迟的实时性要求,且LOR吞吐率高于经典算法近10个百分点,超时消息数比经典算法少了100个以上.      

软件定义时间触发网络的调度算法优化

软件定义时间触发以太网（TTE）作为优化航空电子系统中消息调度的一种新模式,其动态在线调度算法必须尽力保证任何情况下所有消息的传输确定性。针对时间触发（TT）消息调度间隔小于消息帧长（小时隙）时,速率约束RC消息延迟增大、传输确定性降低的问题,对TT消息调度算法进行改进。首先,构建了TTE的系统模型,阐明了最小延迟（MID）调度算法和背靠背（B2B）调度算法的机制;然后在其基础上提出了大孔隙（MAV）调度算法,以减少（RC）消息的等待延迟;最后,利用OMNeT++实验分析这3种调度算法的性能。实验结果表明:当无小时隙TT消息时,B2B算法的消息延迟最大、MAV调度算法和MID调度算法的消息延迟接近。当有小时隙TT消息时,MAV调度算法的消息传输确定性更好,相比于MID调度算法,MAV调度算法下RC消息的传输确定性提高了87.3%。      

保证速率的AFDX交换机实时调度算法

针对AFDX(Avionics Full Duplex Switched Ethernet)网络关键技术——交换机实时调度算法,提出一种保证速率的优先级实时调度算法(PRTRG,Priority Real Time sched-uling algorithm based on Rate-Guaranteed),并运用网络演算理论分析了此调度算法的实时性.在AFDX网络典型配置下,与(FIFO,First In First Out)结果进行分析对比,证明PRTRG算法有效地减少了高优先级数据的端到端延迟上界,同时保证了低优先级数据端到端延迟的确定性,并且阻止了数据流拥塞的扩散,在交换机内部实现了流量隔离.     

航空电子WDM光网络可靠性建模

为了构建先进综合化航空电子系统的统一网络,提出了基于WDM （Wave-length Division Multiplexing）光网络的航电骨干网与外接边缘网互连方式的航电统一网络,并采用多跳ShuffleNet网络作为航电光骨干网的模型.针对综合化航电网络的可靠性问题,建立了基于航电任务与任务路径的可靠性建模方法,给出了保证任务执行成功的可靠度计算公式.以ShuffleNet航电光骨干网作为建模实例,通过对航电任务可靠度的分析计算,得到了系统任务的执行时间、网络规模、任务路径的跳数对系统可靠度影响最大,而同等条件下光纤链路的复用波长数对任务可靠度影响不明显的结论.仿真结果显示,基于任务的可靠性建模与计算方法可以为航电系统的可靠性分析提供理论基础.     

基于轨迹方法的AFDX网络路由配置算法

针对航空电子全双工交换式以太网(AFDX,Avionics Full Duplex Switched Ethernet)的网络关键技术——虚拟链路(VL,Virtual Link)的静态路由算法,提出了一种基于AFDX轨迹方法的VL路由配置算法——TRJ算法,保证配置VL的端端确定性最大延迟满足给定的时延约束.TRJ算法计算每条VL基于轨迹方法得到的初始延时约束比,按照延时约束比从小到大的顺序结合轨迹方法进行VL静态路由配置.在AFDX网络典型配置下,将该路由算法与最小跳路由和均衡路由算法进行比较,结果表明最小跳路由算法用了最少的资源,均衡路由算法平衡了网络流量,但只有该算法保证了所有VL的端端最大延迟满足时延约束,证明该算法的有效性.     

基于度中心性的AFDX网络拓扑生成

航空电子系统随着任务需求和技术的发展不断向深度综合演进,其系统的复杂性给网络的设计和验证带来了巨大的挑战,如何通过网络生成实现受限资源条件下航电信息交互的实时性能保障是目前亟待解决的问题。针对目前存在的无法对航电网络进行实时性调控的拓扑设计方法进行改进,依据终端节点之间所有虚拟链路的最大通信帧长之和的大小关系,提出一种基于度中心性理论的航空电子全双工交换式以太网（AFDX）网络拓扑生成算法。将终端节点之间数据帧长作为节点度的衡量标准,对所有终端节点进行集合划分,并根据集合中终端节点的数据帧长对交换机进行连接。采用确定性网络演算以及仿真的方法对基于度中心性的AFDX网络拓扑生成算法进行效能评估。利用确定性网络演算方法,在小规模虚拟链路（VL）的组网下,结果显示:基于度中心性的拓扑生成算法生成的网络拓扑中75%的VLs实时性能优于原始人工设计的网络拓扑,且端到端延迟平均减小9.37%。利用OMNet++仿真方法,在1 400条虚拟链路的组网规模下,结果显示:基于度中心性的拓扑生成算法生成的网络拓扑中94.3%的VLs实时性能优于人为规划网络拓扑,且端到端延迟平均减小50.2%。由此表明:基于度中心性的拓扑生成算法很大程度上提高了网络的实时性能保障。      

基于强化学习的时间触发通信调度方法

未来航空电子系统中将会更广泛地选择基于时间触发的通信机制进行信息传输,以保证信息交互的确定性。如何合理地进行时间触发通信调度设计是时间触发应用于航空电子互连系统的关键。针对时间触发调度的周期性任务,提出了一种基于强化学习的周期调度时刻表生成方法。首先,将流量调度任务转换为树搜索问题,使之具有强化学习所需要的马尔可夫特性;随后,利用基于神经网络的强化学习算法对调度表进行探索,不断缩短延迟时间以优化调度表,且在训练完成后,可以直接使用到消息分布相近的任务中。与使用Yices等可满足模理论（SMT）形式化求解时间触发调度表方法相比,所提方法不会出现无法判定的问题,能够保证时间触发调度设计结果的正确性和优化性。对于包含1 000条消息的大型网络,所提方法的计算速度为SMT方法的数十倍以上,并且调度生成消息的端到端延迟在SMT方法的1%以下,大大提高了消息传输的及时性。