复合型安全协议及其验证

根据可信第三方(Trusted third part,TTP)参与通信的方式,安全协议可以分为在线TTP型和离线TTP型两类。分析了两类协议的优缺点,提出了一种复合型安全协议,在同一协议中结合了两种方式,方式的选择由消息发送方和接收方共同决定。该协议由4条规则组成。为了描述协议的动态运行过程,对SVO逻辑系统进行了扩充,增加了3条公理,用于刻划消息接收者的不可否认性。基于扩充后的SVO逻辑系统对复合型安全协议进行了形式化描述,证明了该协议具有不可否认性。     

应用ZigBee无线传感器网络构建电子护栏的研究

根据场区安全防护的需求,研究采用基于ZigBee技术的无线传感器网络构建电子护栏的问题。首先介绍无线传感器网络的特点及其组织结构,分析ZigBee的技术特征,给出ZigBee协议栈模型。在此基础上,提出构建电子护栏系统的设计方案,并分析网络系统的路由协议,给出系统软硬件开发的流程。     

一种ELT报文编码协议的快速判定方法

基于数据进制转换的基本原理和COSPAS/SARSAT规定的ELT编码规范格式,提出一种可以通过不借助专用工具或专门途径直接判读15 Hex ID确定ELT部件实际编码协议的方法,并对其进行了技术可行性论证说明和实证分析研究。     

针对ATN over IP方案的明确拥塞通告模型及映射算法

基于对ATN与IP网络拥塞控制机制的比较,本文针对AT Nover IP方案提出了IP子网隧道中的明确拥塞通告(ECNT)模型,将明确拥塞通告(ECN)引入了AT Nover IP方案;还提出了ECNT模型中实现IP网络明确拥塞通告(ECN)与ATN网络传输层协议COTP中拥塞指示位(CE)的映射算法(ECN/CE),用以解决由于IP网络中TCP协议与ATN网络中COTP协议所采用的两种拥塞避免在机制上的差别而造成的拥塞信息跨网络传输的困难。仿真结果表明,与没有引入ECN的IP子网隧道模型相比,ECNT模型和ECN/CE算法可以解决IP网络为ATN的网络进行数据传输时的拥塞问题。     

深空通信中LTP协议选窗概率优化

为满足深空延迟/容忍网络(DTN)中不同类型不同权重数据差异化传输的需求，提出一种基于自适应遗传算法的选窗概率函数优化方法。该方法以红绿(重要、不重要)数据误码率为适应度函数进行交叉变异与全局优化，使重要数据被大概率选中并以较高的正确率传输，不重要数据不被遗漏并在预期误码率范围内传输。将其应用在DTN网络传输层LTP协议的扩展窗不等差喷泉码编码中，通过与传统遗传算法的仿真结果对比表明自适应遗传的优化算法能降低深空通信中重要数据的误码率和信道总误码率，满足差异性数据传输的要求，减少因误码率高而导致的信息重传，提高数据传输效率，节省信道资源。     

横向联邦学习环境基于身份认证及密钥协商协议

近年来，联邦学习受到多个领域的广泛关注，而认证及会话密钥协商是保证通信实体之间安全传输、可靠通信的关键技术和基本的安全保障。根据横向联邦学习参与方数据特征，提出一种基于身份的无证书轻量级认证及密钥协商协议；参与方在密钥生成中心（KGC）完成注册后，利用公共参数计算各自的临时密钥和长期密钥完成认证、计算会话密钥；最后，采用扩展的CK(eCK)模型对所提协议进行安全性证明。性能分析表明：所提协议在计算性能和通信开销方面可以有效地控制成本，适用于单服务器下横向联邦学习的训练环境。     

航天测控雷达标准化信息处理平台架构研究

随着航天测控雷达功能的多样化和复杂化，传统的根据场合和需求专门定制的雷达信息处理设计方法逐渐显现出设计周期长、灵活性差的弊端。结合航天测控雷达的任务特点和应用需求，按照标准开放体系架构的总体思想，设计航天测控雷达标准化信息处理平台的新型架构，给出其中的总线结构、高速互联协议、通用处理模块等关键硬件实现方式。航天测控雷达标准化信息处理平台未来可为信号处理、数据处理、任务管理等提供统一的支撑和部署平台，实现系统业务处理一体化。     

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

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