基于逻辑推理的网络攻击想定生成系统

本文研究并实现基于逻辑推理的网络攻击想定自动生成系统,用于网络安全模拟演练.采用Datalog描述与安全相关的网络配置信息和攻击规则,使用XSB推理引擎构造实现攻击目的的攻击路径图;遍历攻击路径图,得到所有可能的攻击路径;根据攻击路径生成攻击想定脚本,由仿真平台解释并执行相应的攻击操作序列.给出原型系统的设计与实现,及其实验结果.     

利用协方差矩阵信息的多天线频谱感知算法

为了降低多天线信号频谱偏移、相位随机性和噪声的不均匀性、不确定性对频谱感知性能的影响,该文利用接收信号协方差矩阵主对角线包含主用户的主要信息,以及协方差矩阵元素的平均方差反映元素波动程度的特点,构造对角线元素绝对值的平方和与其平均方差之比的频谱感知的检验统计量,推导了该统计量服从的概率分布函数,给定虚警概率,得到判决门限。加性高斯白噪声信道和瑞利衰落信道下的仿真结果表明:本文算法性能优于局部方差法,随着接收天线数和采样点数增加,本文算法性能提升大于局部方差法。      

莱斯衰落信道下大规模MIMO系统中的信道估计方法

日趋重要的高速移动工具,如高速铁路、无人驾驶飞机等,大多都处在开阔地带.由于视距传播的存在,瑞利衰落模型已经不能很好地描述该环境下的信道情况,而莱斯衰落信道模型由视距分量和多径分量组成,更能准确地表述上述信道变化.基于此模型,在大规模天线系统下,在已存在的基于叠加训练序列信道估计方法的基础上,提出了改进的信道估计方法和对应的解码方法.改进后的信道估计方法分为直射分量已知和未知两种情况,分别推导了相应的信道估计公式和解码方法.数值仿真结果验证了本文所提方案性能的优越性.     

使用树结构定位符的MANETs路由模型

为了解决现有MANETs路由机制的可扩展性问题,提出一种使用树结构定位符的路由模型(TLR),通过DHT方法对节点的标识符和定位符进行分离,并使用基于位置的定位机制来提供一种具有可扩展性的路由服务.定位符描述一个节点在网络拓扑中的相对位置并随着节点的移动发生变化,定位符空间采用树结构进行组织.最后量化分析了该路由模型和其他路由机制的性能.分析结果表明,TLR的可扩展性优于平面主动式路由.在假设条件下,TLR的开销的复杂度小于反应式路由的复杂度.因此,相比于现有的MANETs路由机制,TLR具备很好的可扩展性.     

简析(JS)防水涂料用复合型改性丙烯酸酯弹性乳液的制备

利用水性聚氨酯体系强度高，弹性好的性能特点，复合于丙烯酸酯乳液体系中，从而改良其在（0S）防水涂料中抗拉强度差及耐水方面的诸多不足，大幅提高强度及弹性。     

多小区OFDMA系统中分数频率复用方法的优化分析

在以OFDMA为基本多址方式的第四代移动通信系统中,频率复用作为提高系统性能的有效方法受到了广泛的关注,特别是分数频率复用和软频率复用。然而,如何进一步优化基于这些频率复用方法的OFDMA系统还有待研究。本文分析了多小区OFDMA系统负载和频率集合分配比例对小区总吞吐量和小区边缘用户数据速率的影响。同时,给出了在保证小区边缘用户服务质量的条件下,使小区总吞吐量最优的小区中心频率分配比例,并用仿真进行验证。仿真结果还表明了,随着分配比例的增大,小区总吞吐量先增大后减小。     

把握隐藏节点提高EoC网络的数据流量

本文叙述了对EoC双向网络测试点选取依据及测试过程,通过对载波侦听多路访问/碰撞监测(CSMA/CD)竞争访问技术协议的分析,加上用定量计算的方法解剖了隐藏节点的产生过程,指出了深隐藏节点对EoC网络的危害,提出了预防深隐藏节点的方法.     

一种正交空时分组码盲识别方法

由于正交空时分组码(OSTBC)编码矩阵具有正交特性,可得正交空时分组码的虚拟信道矩阵的相关矩阵为对角矩阵。根据此原理,文中提出相关矩阵的非主对角元素能量与主对角元素能量之比的特征参数和基于此特征参数的正交空时分组码识别方法;同时利用最小描述长度(MDL)准则估计出信号子空间维数,即每组发射信号所含符号数。仿真结果表明,在不同发射天线数和接收天线数下,所提出的识别方法都具有较好的识别性能;符号数的估计性能与正确识别概率具有相同的变化规律。     

基于对分课堂的创新型人才培养模式研究

针对高层次创新型人才培养过程中存在的问题,结合课题组多年对于本科生、硕士生培养的实际经验,利用对分课堂理念对培养方案、授课内容、教学方式、考核方法等方面进行了改革,对以控制科学与工程为代表的工科专业人才培养模式进行试点改革,从而切实有效地提升高层次创新型人才的培养质量.     

一种MANET可生存性模型的建模方法

文中提出了一种针对移动Ad hoc网络可生存性模型的建模方法,构建MARC（MANET Actor,Role and Coordinator Model）可生存性描述模型,并且支持利用该方法构建的可生存性模型向仿真实例的自动转换。详细分析并形式化描述了MARC模型中涉及的网络服务和事件等概念,并以此为基础设计了可生存性模型描述语言MARCDL,列举了语言中主要的EBNF范式描述。实例分析表明,运用该建模方法,不仅可以抽象地构造出面向战术环境的移动Ad hoc网络可生存性模型,而且为可生存性模型的从高层描述到低层仿真的自动转换提供了有力支持。