基于抽象原则和模型检测的网络协议安全分析

提出了一种可以缓解状态空间爆炸的抽象原则,对模型设计过程中的辅助变量、报文字段、自动状态机数量进行科学约简,在尽量不影响验证结果准确度的前提下,降低了模型的复杂度.在此基础上,提出了一种半自动化建模框架,只需用户提供少量必须的输入,不需要学习语法,就可以自动生成具有统一规范的模型,方便研究人员查阅和使用.实验结果表明,采用所提的抽象原则和半自动化建模框架创建的模型,可以验证网络协议的相关属性.     

基于Local-map的Mesh光网络简单p圈构造法

圈构造算法是Mesh光网络中p圈法设计的前提。根据简单p圈的特点，针对圈构造算法问题，提出将原来圈上边变为跨接边的图扩展算法。该圈扩展算法构造的圈具有保护性能优良，并且包含所有原来的圈上的点。在圈扩展算法和Local-map概念的基础上提出了基于Local-map的p圈启发式算法，该算法在Local-map中运行固扩展算法，这样既能提高p圈的保护性能，又能使p圈位于局域范围内，保证快速恢复。对比分析Local-map和DFS两种找圈算法的实验结果，该方案构造的圈恢复速度快，容量利用率高，比较适合网状光网络中的p图设计。     

WDM光网络中一种不共享风险的路由算法

在共享风险链路组的约束下,提出了一种共享路径的联合路由算法。该算法使用一种新的K对路由来选择最小代价的工作路由和风险分离的保护路由对。仿真表明,该算法能启发式地接近最佳性能,并能在资源利用率、阻塞率和保护切换时间之间进行性能折中。     

真空压力浸渗法制备金刚石/铝复合材料及其热性能

采用真空压力浸渗法制备了金刚石/铝复合材料,研究了金刚石颗粒尺寸、品级等对复合材料热性能的影响。结果表明:在金刚石体积分数相同情况下,普通研磨级金刚石颗粒的尺寸越小,复合材料的热膨胀系数越低;用MBD4等级金刚石颗粒制备的金刚石/铝复合材料具有最小的热膨胀系数,为6.8×10-6 K-1,其热导率最高;MBD4等级的金刚石颗粒与铝基体存在选择性粘附现象,金刚石的(100)面更容易与铝结合。     

线性预编码OFDM系统的迭代接收机

线性预编码是OFDM系统在频率选择性衰落信道中利用频率分集的有效方法.为了进一步提高性能,本文提出了一种线性预编码OFDM系统的迭代接收机,该迭代接收机采用基于线性最小均方误差准则(LMMSE)的turbo均衡算法及其简化方法,具有很低的计算复杂度.本文同时还提出通过使用长度不小于等效离散时间信道的时延扩展长度的线性预编码器和迭代接收机,可获得完全的频率分集增益.仿真表明本文提出的方法在多径干扰严重的信道条件下的误码率性能接近AWGN下界.     

WDM网双故障的共享子通路保护算法

研究了WDM网中双故障导致的多链路失效问题,提出了一种共享子通路保护算法。共享子通路保护为每条业务请求计算一条最短的工作路由,并为工作路由上每段子通路各计算两条共享风险链路组分离且代价最小的保护路由。仿真表明,共享子通路保护不仅能有效地保护双故障导致的多链路失效,而且能在资源利用率(阻塞率)和保护切换时间之间进行性能折衷。     

WDM光网络中基于传输损伤的公平RWA算法

在WDM光网络中,物理层上存在使信号传输质量恶化的因素,当信号质量劣化到一定程度会导致连接失败,因此有必要在选路和波长分配RWA（Routing and Wavelength Assignment）算法中考虑物理层的传输损伤。连接公平性问题是指网络中长路径连接请求的阻塞率表现比短路径差,文中分析传输损伤约束的引入对连接公平性的影响,提出基于传输损伤的动态RWA算法：固定波长配额FWQ（Fixed Wavelength Quota）算法和非固定波长配额UFWQ（UnFixed Wavelength Quota）算法。     

用目标模拟器仿真真实目标能量的计算方法

光学制导导弹控制精度的提高导致对目标模拟器仿真的逼真度要求也越来越高,对目标逼真度的要求不仅体现在形状大小方面,而且在辐射能量的仿真方面.从通用目标模拟器仿真原理方面,分别推导了红外点源和红外成像目标仿真系统中目标辐射能量仿真的计算方法,给出了目标模拟器光学系统出瞳处的辐射照度计算公式,从中分析了影响辐射能量仿真的主要因素,从而能够在系统研制前对目标的辐射能量进行预估,以便确定辐射源和系统其他器件的选择.     

一种WDM光网络中的递归式子通路保护算法

研究了具有抗毁性能的波分复用光网络中的子通路保护路由算法问题,提出了一种递归式子通路保护算法,目的在于引入一种更为灵活有效的方法来对工作通路进行分段,并为各个工作子通路计算相应的保护子通路,算法中采用了递归的思想来计算工作子通路和保护子通路．相比传统的等分子通路保护算法,该算法能够在故障恢复时间和波长资源利用率两者之间取得更好的折衷。     

WDM网状网中双链路失效的保护设计

本文研究了WDM网状网中双链路失效的动态共享链路保护设计问题,提出了一种新的启发式算法TBP (Two Backup Paths) 和一种改进的启发式算法OBP (One Backup Path).两种保护算法都能根据当前网络状态动态地动态调整链路代价,所选路由都是最小代价的路径.文本还研究了双链路失效的保护切换时间,详细描述了保护切换过程.仿真表明,(1)两种算法都能有效地保护双链路失效;(2)TBP的性能优于OBP;(3)与其他算法相比,TBP具有最快的保护切换时间.