基于多维异构特征与反馈感知调度的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在冰下环境中能够有效消除码间干扰。     

高压气动系统负载容腔压力伺服控制仿真研究

为满足某气体发生系统安装空间小、重量轻、动态响应快、控制精度高等要求，设计了高压气动压力伺服控制系统，并采用高压电-气伺服阀实现了负载压力的高响应高精度控制。建立了系统数学模型，包括高压气瓶热力学方程、高压电-气伺服阀传递函数与流量方程、负载容腔压力变化与排气流量方程等子模型，并设计了反馈线性化PID控制器。基于MATLAB/Simulink平台建立了高压气动系统仿真模型，仿真研究了高压气瓶容积与初始气源压力、负载容腔排气孔通径等参数对系统负载压力控制性能的影响规律。研究结果为该系统的优化设计与实验研究提供重要理论依据。     

《Paper 360°》2020年全球造纸排名前75位的公司名单

全球造纸排名前75位的公司是按照纸浆、纸和纸板、纸加工及纸品贸易的净销售额进行的排名。2020年数据为2019年修订后的财务数据。除非原文指出,财务年度报告是从2020年1月1日到2020年12月31日。销售收入指税后和去除特殊项目后的净收益。NA为数据不详。     

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

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

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

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