基于多维异构特征与反馈感知调度的SDN内生安全控制平面

为弥补现有研究在软件定义网络(Software-Defined Networking,SDN)控制平面未知漏洞防御方面的空白,本文提出了一种基于多维异构特征与反馈感知调度的内生安全控制平面的设计方案.该方案以"冗余、异构和动态"为切入点,通过组合执行体冗余集构建策略、多维异构元素着色策略和动态反馈感知调度策略,有效增加SDN控制平面对攻击者所呈现的执行体时空不确定性(逆转攻防不对称性).相关仿真结果表明该方案可以收敛全局执行体数目、增加执行体之间的多维异构度并降低系统全局失效率.     

FPGA互连测试中的反馈桥接故障覆盖问题

现场可编程门阵列(FPGA)内部资源众多,其中互连资源出现故障的概率远远高于片内其他资源,而在以往许多互连测试研究中,所生成的测试配置存在无法覆盖反馈桥接故障的难题,所以较难有测试配置实现故障列表的100%覆盖。因此通过约束桥接故障只发生在单个查找表(LUT)内的信号线上,并结合单项函数,对反馈桥接故障模型进行优化改进,从根本上解决难题；然后对优化后的反馈桥接故障设置相应的约束条件,再使用布尔可满足性理论(SAT)生成满足约束条件的测试配置。采用优化后的故障模型对ISCAS"89基准电路进行了测试配置生成实验,结果表明生成的测试向量解决了反馈桥接故障的覆盖难题,并且在实现故障列表的100%覆盖下,优化后的故障模型所需要的测试配置数最少。     

冰下单载波水声通信试验研究

北极地区战略地位的提高促进了极区各种应用的快速发展，冰下水声通信成为其中一个热点问题。为了研究冰下单载波水声通信性能，在黄海冰区开展冰下试验。重点分析了内嵌锁相环的多通道判决反馈均衡(Multi-channelDecision Feedback Equalization, M-DFE)技术在冰下水声通信中抗多途时延的能力，研究比较了改进比例归一化最小均方(Improved Proportional normalized Least Mean Square, IPNLMS)算法和递归最小二乘(Recursive Least Squares,RLS)算法的均衡性能。试验结果表明IPNLMS和RLS都能克服信道多途效应带来的影响。在牺牲计算复杂度的前提下，RLS具有更好的均衡效果，M-DFE在冰下环境中能够有效消除码间干扰。     

蒸汽直接接触间歇凝结界面行为及压力振荡研究进展

间歇凝结由于具有过冷水周期性进入蒸汽管并排出的特点而不同于蒸汽直接接触凝结的其他流型,该过程伴随汽液界面瞬时热质传递和强湍流。文中主要从典型周期内凝结汽液界面演变过程、压力振荡以及热量传递三个方面进行回顾和评述,就间歇凝结的时空演变而言,可大致分为5个典型阶段,即汽泡增长、汽泡破裂、过冷水被吸入蒸汽管、管内凝结以及蒸汽再次喷出。在压力振荡方面,间歇凝结压力瞬变从负峰值开始后进行正弦波动,并具有低频高振幅的特性。目前,关于汽液界面瞬时传热方面的研究仍有较大提升空间,与之相关的界面传热系数大多通过简化模型获得。此外,在展望部分还对微通道条件下间歇凝结在电器元件高效散热领域的最新应用进行了简要评述。     

面向二进制程序的导向性模糊测试方法

为了解决当前模糊测试技术中变异存在一定的盲目性以及变异生成的样本大多经过相同的高频路径的问题，提出并实现了一种基于轻量级程序分析技术的二进制程序模糊测试方法。首先对目标二进制程序进行静态分析来筛选在模糊测试过程中阻碍样本文件深入程序内部的比较指令；随后对目标文件进行插桩来获取比较指令中操作数的具体值，并根据该具体值为比较指令建立实时的比较进度信息，通过比较进度衡量样本的重要程度；然后基于模糊测试过程中实时的路径覆盖信息为经过稀有路径的样本增加其被挑选进行变异的概率；最后根据比较进度信息并结合启发式策略有针对性地对样本文件进行变异，通过变异引导提高模糊测试中生成能够绕过程序规约检查的有效样本的效率。实验结果表明，所提方法发现crash及发现新路径的能力均优于模糊测试工具AFL-Dyninst。     

基于拥塞反馈的Semi-TCP优化方法

Semi-TCP根据无线多跳网络的特性,利用跨层设计的思想,端到端的拥塞控制调整为节点之间逐跳的拥塞控制,将传输层的拥塞控制下移到MAC层,形成递归逐跳的拥塞控制,旨在提高拥塞控制的效率和拥塞处理的即时性。现有的算法要通过增加或修改MAC控制帧的方式来实现拥塞的控制,因而需要对节点已安装的MAC层协议做适当的修改。文中提出了一种基于拥塞反馈的优化方法,不需要对传统TCP协议进行太多的修改。在EXata平台上进行了仿真,证明了该优化方法的有效性。