千兆三余度AFDX 帧管理的形式化建模与验证

为了提升新一代航空电子全双工交换以太网（AFDX）网络的传输速率和余度设计可靠性,在AFDX 网络标准的基础上（ARINC 664 p7）,建立千兆三余度AFDX 网络的帧管理机制模型并进行了形式化建模, 而且实现了AFDX 网络标准中描述的SkewMax 机制。使用UPPAAL 形式化工具对千兆三余度AFDX 网络帧 管理机制进行形式化验证,验证帧管理机制的完整性检查及冗余管理功能的可用性。结果表明,千兆三余度 AFDX 网络帧传输过程中不存在死锁。此外,针对标准AFDX 的冗余管理中一个帧的丢失可能会导致其冗余备 份的丢失的现象,提出在接收端设置一个队列,记录那些比连续帧更晚到达的冗余备份的帧序号,从而减少不 必要的丢帧,提高QoS 和数据完整性。形式化验证的结果可以作为千兆AFDX 网络标准制定和实际应用的参考。     

基于AFDX网络终端系统SoC的FPGA原型验证

基于商业以太网技术的AFDX网络,具有高带宽,低延迟,强实时性,高可靠性的特点已应用于在空客A380等型号上。ARINC664 Part7协议定义了AFDX网络的终端系统,交换机,以及通信机制。其中AFDX网络终端系统（ES,EndSystem）为航电系统上层应用与AFDX网络之间提供信息收发的通道。基于ARM9的AFDX—ESSoC是国内首款AFDX终端系统智能协议芯片,结合项目实践以SoC验证方法学为指导,以应用需求和ARINC664 Part7协议标准为依据,介绍了在FPGA环境下搭建验证平台,开发测试向量实施验证的过程,并对验证结果进行了分析,为成功流片提供了可靠保证。     

AFDX网络端系统测试技术研究

介绍了AFDX网络端系统的功能,在基于ATCS平台对AFDX端系统的测试中,设计了一种命令/响应型测试策略,并给出了测试方法和步骤。     

航空电子全双工交换式以太网端系统研究与设计

航空电子全双工交换式以太网(Avionics Full Duplex Switched Ethernet,简称AFDX)是新一代机载数据总线的最佳选择.AFDX端系统(End System,简称ES)是各个航空电子子系统和AFDX网络之间信息交换的接口部件,为信息在各个子系统和AFDX网络之间的传递提供了数据通道,是保障AFDX网络服务质量的关键.对AFDX端系统进行了深入的研究,基于ARINC664规范第7部分,提出了一种AFDX端系统的设计方案,并对端系统虚拟链路层进行了分析设计.在测试平台上对端系统的验证结果表明本文提出的方案可行,满足ARINC664规范要求.     

一种可靠的MDIO接口逻辑设计

本文介绍了一种可靠的MDIO 接口逻辑设计的方法。目前已使用在AFDX交换机专用集成电路芯片上。该设计采用VHDL 进行描述,并使用Modelsim进行了仿真,结果表明,该设计的正确性和可靠性。同时在AFDX交换机板级调试过程中,也验证了设计的正确性。     

Eclipse插件开发技术浅探

Eclipse平台是一个开放源码的、可扩展的、基于Java的集成开发环境(IDE).Eclipse本身不提供强大的用户功能,其全部功能都是利用其插件(Plug-in)机制来实现的.本文基于Eclipse平台的体系结构,重点分析了在Eclipse平台下进行插件开发的原理,并实现一个简单插件来展示eclipse插件开发的全过程.     

基于FPGA的千兆级AFDX端系统设计与实现

传统航空电子全双工交换式以太网(AFDX)带宽为10 Mbit/s或100 Mbit/s。为满足机载网络对带宽增长的需求,必须进行千兆级AFDX的研究。AFDX端系统是AFDX网络的重要组成部分,为航空电子子系统接入AFDX网络提供了接口,保证航空电子子系统之间进行安全可靠的数据交换。着重研究了千兆级AFDX端系统,给出了基于现场可编程门阵列(FPGA)的千兆级AFDX端系统的设计。     

基于AFDX网络的时间同步分析与实现

时间同步技术对分布式网络是不可缺少的。根据AFDX网络的完整性、冗余性等特点,提出一种AFDX网络时间同步模型和实现方法。分析了时间同步过程中产生的时间延迟,并提出两种延迟补偿方法,分别为一次性补偿法和分段补偿法。对两种时间延迟补偿方法进行对比后,采用较为理想的分段补偿法给出AFDX网络的时间同步实现。提出一种时间同步精度的测量方法,并对AFDX网络的时间同步进行了实验和测量。结果表明,方法具有较高的同步精度,能够满足AFDX网络的使用要求。     

基于OpenFlow的AFDX网络虚拟链路动态优先级接纳控制

为了在航空电子全双工交换式以太网(AFDX)中更加灵活地对虚拟链路(VL)实行接纳控制,将OpenFlow引入AFDX网络中,建立了相应的网络模型、消息模型和流量模型。利用网络演算方法分析了优先级VL在基于OpenFlow的AFDX网络中的端到端延迟上界,结合粒子群优化算法,提出了动态优先级接纳控制算法。理论分析结果表明:与动态非优先级接纳控制方法和传统静态优先级分配方法相比,本算法的消息延迟分别降低了49.2%和26.4%,并且本算法能够更加灵活地对VL实行接纳控制,提高网络资源的利用率。最后通过仿真对理论分析的结果进行了验证。本算法为提高接纳控制方法的性能提供了参考,增强了AFDX网络的通信效率与实时性能。     

AFDX虚拟链路路径实时寻优算法

航空电子全双工交换式以太网(AFDX)使用虚拟链路(VL)进行消息数据流通信,为提高AFDX的网络实时传输性能,以VL路径配置寻优为基础,提出了一种基于遗传算法的AFDX VL路径优化算法(POGA)。POGA以提高网络实时性为优化目标,并综合考虑网络负载均衡,以VL的路径信息作为染色体,通过遗传算子进行遗传寻优操作,选择促使AFDX网络实时性能最优的VL路径作为优化结果。利用仿真优化方法对POGA进行了实现,在典型AFDX网络1 000条VL的配置下,与负载均衡算法和最短路径算法进行了分析对比,结果显示分别有76.4%和77.4%的VL的传输实时性得到了增强,网络的实时传输性能分别提高了13.2%和12.9%。     

分布式实时控制系统执行软件的研究与设计

 用“数据驱动”(Data-Driven)和“事件驱动”(Event-Driven)代替常规的“时间驱动”(Time-Driven)作为分布式实时控制系统执行软件的驱动机制,可以使系统中数据传输效率和系统的实时性都有较大的提高。本文所述的执行软件在这方面做了一些尝试,取得了较好的效果。     

FATIGUE DISLOCATION CONFIGURATIONS IN HEXAGONAL ZIRCALOY-4

ＦＡＴＩＧＵＥＤＩＳＬＯＣＡＴＩＯＮＣＯＮＦＩＧＵＲＡＴＩＯＮＳＩＮＨＥＸＡＧＯＮＡＬＺＩＲＣＡＬＯＹ－４￥ＸｉａｏＬｉｎ（ＩｎｓｔｉｔｕｔｅｏｆＥｎｇｉｎｅｅｒｉｎｇＭｅｃｈ．，Ｘｉ＇ａｎＪｉａｏｔｏｎｇＵｎｉｖｅｒｓｉｔｙ，Ｘｉ＇ａｎ，Ｃｈｉｎａ...     

网络虚拟现实系统综述

虚拟现实是发展迅速的技术,有很大的应用潜力。网络虚拟现实已引起越来越多的关注。本文概述了目前典型的网络虚拟现实系统以及设计和实现网络虚拟现实系统的关键技术。最后指出,网络虚拟现实作为一个具有吸引力又富于挑战的领域,仍有许多有待研究和突破的问题。     

传感器射频综合技术探讨

分析了射频综合的频段划分和各传感器内部功能模块的横向划分;讨论了美国国防部开放式系统联合任务组(OS-JTF)提出的RF开放式系统实现方法;并对在国内开展射频综合技术研究提出了初步想法。     

TD-SCDMA 中外环功率控制的研究

CDMA系统是干扰受限的系统,降低干扰可以提高系统的容量.TD-SCDMA系统的功率控制就是在保证用户的QoS前提下,降低发射功率,减少系统干扰从而增大系统的容量.本文介绍了TD-SCDMA中外环空率控制的算法,并且分析了功率控制参数对系统性能的影响.     

PDM技术及其在直升机研制中的作用

本文首先分析了当前直升机在运用CAD/CAE/CAM技术进行研制中存在的一些问题,接着提供了解决的方法,介绍了PDM的概念、构成、主要功能。最后简述了PDM技术在直升机研制中的作用,以及企业在实施PDM当中应注意的一些问题。     

基于Traits泛化技术的SLE API编译码处理

在对CCSDS(Consultative Committee for Space Data Systems,空间数据咨询委员会)制定的SLE(Space Link Extension,空间链路扩展)的标准API(Application Program Interface,应用程序接口)设计开发过程中,需要对各种不同服务类型的操作进行ASN.1(Abstract Syntax Notation One,抽象语法标记1)编码译码,使用一般方法处理会存在大量的冗余且可扩展性不强。因此,设计了基于Traits技术的SLE API编码译码泛化模型,该模型从服务、协议数据单元、操作等3个层级,以及编码、译码这2个方向分别定义模板,并进行特化、偏特化以及萃取,从而实现了对编码、译码过程的泛化,并通过实例描述了应用过程。该模型有效提高了SLE API设计的灵活性、层次性、通用性,以及SLE服务的可拓展性。     

基于先验误差模型的机载高分宽幅DBF-SAR自聚焦算法

高分宽幅（HRWS）数字波束形成（DBF）合成孔径雷达（SAR）利用多通道空间采样代替部分时域采样,可以有效缓解SAR成像时高分辨率与宽测绘带间的矛盾,具有重要的军用和民用价值。现有常规DBF-SAR成像算法都假设雷达传感器相对位置精确已知,实际应用中受传感器位置测量误差影响,由位置不精确导致的相位误差会严重影响DBF-SAR高精度成像能力。在极坐标格式算法（PFA）框架下,推导了DBF-SAR成像处理后,残留相位误差的解析模型,分析了该误差对成像质量的影响。依据推导的先验相位误差解析结构模型,提出了一种基于图像对比度最优化准则的自聚焦算法。新算法通过引入先验相位结构信息,极大降低了待估参数的空间维数,可以同时改善自聚焦算法的参数估计精度和计算效率。数据处理结果验证了理论分析的正确性和所提算法的有效性。     

激光金属沉积技术研究现状与应用进展

增材制造是融合材料科学、机械自动化及信息技术的先进制造技术,在近30年的发展中,发挥着越来越重要的作用。激光金属沉积(Laser metal deposition,LMD)是基于定向能量沉积(Directed energy deposition,DED)的一种增材制造技术,在近年来受到广泛关注和研究。阐述了LMD技术的基本工作原理及系统组成,重点介绍LMD技术国内外研究进展及应用现状,列举了一些基于LMD的工艺技术开发及装备研发制造,指出了LMD技术在成形效率和成形精度、工艺稳定性及性能一致性等方面的不足。最后,总结了LMD技术未来的5个发展趋势:材料体系集约化、工艺参数系统化、成形过程高效化、设备集成智能化和应用领域广泛化。     

航空电子系统MIL-STD-1553通信网络接口验证测试

MIL-STD-1553数据总线为航空电子系统提供了一个系统支撑数据交换网络,它是航空电子系统集成的纽带,其通信完成的质量直接影响航空电子系统设计的成败。本文首先介绍了航空电子系统MIL-STD-1553基于OSI模型的通信终端的基本结构;然后给出了对网络接口执行测试的内容,包括MIL-STD-1553标准协议验证测试、应用网络通信协议验证测试和实时通信验证测试。这三种类型的测试将全面验证MIL-STD-1553通信终端的设计是否满足MIL-STD-1553标准通信协议及航空电子系统通信协议的要求。