基于时间触发架构的网络技术研究与设计

随着航空电子系统架构朝着网络化的方向发展,机载电子系统时间关键性和安全关键性的通信应用需求加大,交互的信息量级不断提升,传统的机载总线技术已无法胜任。时间触发以太网(TTE)在引入了高精度时钟同步机制的基础上,采用一致性通信、故障容忍和冗余设计等技术提高了通信的实时性、稳定性和安全性。以TTE和时间触发协议(TTP)为例,综合TTE和TTP的优势,提出跨网段的一体式时间触发网络设计方法,为航空机载电子系统领域提供了基于时间触发架构的统一网络服务。     

玻璃纤维复合材料层合板充填孔压缩力学性能研究

为研究玻璃纤维复合材料开孔以及充填孔对层合板压缩性能的影响，本文对填充孔、无孔和开孔的复合材料层合板进行了压缩实验。此外，采用两种不同材料和铺层建立了六种结构对应的三维有限元模型（FEM）用于损伤演化分析。结果表明，两种开孔试件的压缩强度比无孔试件分别降低了40.48%和31.34%；两种充填孔试件的压缩强度比开孔试件分别高54.55%和36.95%，仅略低于无孔试件。有限元计算得到的压缩强度与试验结果的误差仅为8.03%。仿真计算结果表明间隙配合均会降低充填孔结构的压缩强度；而对FH-2试件来说，当干涉量大于90μm时，同样也会降低充填孔结构的压缩强度。     

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

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