自适应SINR门限的自动邻区关系生成算法

在长期演进(LTE)系统中,为保证终端通信的正常进行,每个小区需要维护一张邻区列表,该表决定终端切换的范围和方向.传统的相邻小区列表配置是网络工程师根据现场勘测情况进行配置,这样不仅会消耗大量的时间和人力,而且不具有全网统计性.笔者提出一种基于自适应SINR门限的自动邻区关系生成算法.该算法引入了自适应SINR门限以及"投票模型",充分考虑到了LTE网络中的小区类型,并能有效反映实际的网络环境,最终实现动态的相邻小区列表管理.通过仿真评估不同的SINR取值对相邻小区列表的冗余率和准确率的影响,获取了该算法的增益.     

一种快速三角形电源地平面谐振腔模型

针对等腰直角三角形平面模型效率低和精度差的问题,在双频点近似算法的基础上,提出了一种快速的Spice兼容等腰直角三角形平面谐振腔模型.与电感近似的等腰直角三角形平面模型相比,提出的模型使用最少的谐振腔基本模式与单节的高阶修正电路,不仅提高了等腰直角三角形电源地平面的仿真效率,而且改善了模型精度.仿真结果表明,电感近似模型在分类关键因子为2时,最大误差约为10%;提出的模型在分类关键因子为1.3时,最大误差约为1%,其仿真时间仅为电感近似模型的26%,验证了该模型在提高等腰直角三角形电源地平面的仿真效率和改善模型精度上的有效性.     

天波超视距雷达瞬态干扰抑制方法

瞬态干扰是影响天波超视距雷达检测性能的主要因素之一,因此必须对瞬态干扰进行抑制.提出了一种改进复经验模式分解方法以抑制天波超视距雷达中的瞬态干扰.该方法利用小波包分解将回波信号先分解成一系列窄带信号,再对每一个窄带信号进行复经验模式分解,然后对各个固有模态函数进行归一化相关性筛选处理,最后对剩余信号进行瞬态干扰检测和剔除.该方法的主要优点是无须杂波抑制和数据预测重构.实测数据处理结果表明该方法能有效地检测和抑制瞬态干扰.     

K次程序的定义和构造

在一次程序研究的基础上,针对K次程序的特性和构造理论研究不足问题,以形式化的定义阐明了K次程序的特性,并研究了K次程序的构造条件和构造方法.给出了不可以构造为K次程序的程序特性,为K次程序的构造提供了必要条件;描述了一类可以构造为K次程序的程序特性,以及这类程序的基于一次程序的K次程序构造方法和证明,从而为K次程序的构造提供了理论基础.     

MIMO空间相关信道下格规约辅助的信号检测

针对多输入多输出空间相关信道环境,提出了一种基于格规约理论的最小均方误差检测算法.该算法考虑了空间相关性的影响,利用复数Lenstra-Lenstra-Lovász格规约算法克服了传统的线性最小均方误差检测器分集阶数随相关系数增加而减小的缺点,使检测到的信号在高信噪比下可以达到比传统算法低几个数量级的误码率.理论分析与仿真结果表明,在信道为Kronecker相关平坦衰落模型下,接收端采用最小均方误差信道估计,发射端采用QPSK调制未使用信道编码,当比特信噪比大于18dB时,基于格规约理论的最小均方误差检测器的误码率低于传统最小均方误差检测器的误码率;发射端采用(2,1,3)卷积码、接收端采用硬判决Viterbi译码,当信噪比大于16dB时,基于格规约理论的最小均方误差检测器的误码率低于传统最小均方误差检测器的误码率,且基于格规约理论的最小均方误差检测器的分集阶数不受相关系数的影响,等于接收天线数N.     

带有异或运算安全协议的自动化检测

针对当前模型检测工具普遍不能检测带有异或运算安全协议的问题,提出了一个新的模型检测器SAT#.该模型检测器通过引入抽象异或项的概念及其运算规则,大大降低了攻击者生成的异或消息数量,解决了由于引入传统异或运算导致的状态空间爆炸问题.在此基础上,通过在SAT模型中增加基于抽象异或项的重写规则,扩展了攻击者的异或运算能力,实现了对带有异或运算安全协议的自动化检测.通过对BULL协议的检测,证明了抽象异或项的实用性,同时也证明了SAT#模型检测器的可靠性.     

用混沌序列降低MIMO雷达波形自相关旁瓣和互相关

基于混沌序列的良好相关性和随机性,提出了一种使用混沌序列降低多输入多输出雷达波形自相关旁瓣和互相关的方法.通过不同初值迭代得到混沌序列,然后经过相应的量化和四相编码得到混沌波形.由于不同混沌波形的自相关旁瓣不相关,同时,不同混沌波形的互相关也不相关,因此通过多脉冲压缩积累能够有效地降低自相关旁瓣和互相关在多输入多输出雷达中的影响.输出结果具有较低的旁瓣峰值,从而提高了检测性能。     

云计算环境下基于密文策略的权重属性加密方案

在综合分析现有基于密文策略属性加密方案的基础上,针对现有基于密文策略属性加密方案较少考虑属性权重的现状,将权重的概念引入到基于密文策略的属性加密方案中,提出了基于密文策略的权重属性加密方案,证明了在选择权重属性集模型下安全性。并将此方案引入到云计算环境下,给出了系统级的基于密文策略的权重属性加密方案。分析表明,基于密文策略权重属性的加密方案相比现有方案更适用于云计算环境。     

Rank-1 constraint for camera calibration based on spheres

With the rank-1 constraint, a method for camera intrinsic parameters calculation based on spheres is proposed. The geometric interpretation of the rank-1 constraint is explored from the relation of the image of the absolute conic and the sphere image. Three algebraic equations are derived from the rank-1 constraint. The relation of the sphere images and the camera intrinsic parameters is clearly interpreted in vision geometry. Finally, a nonlinear optimized method is used with the three constraint equations for improving the accuracy. Experimental results show that our method is robust. Compared with the traditional method, it can improve the accuracy of the results of the intrinsic parameters.     

一种利用本原元的快速RS码盲识别算法

建立了一种RS码编码参数的盲识别新方法.该方法利用本原元的校检作用并行搜索码长和域,提高了盲识别的效率;略掉不符合本原元校检的码字,增强了码根搜寻的可靠性;利用码根的连续性采用前进-倒退法搜索生成多项式,简化计算,提高了搜索速度.仿真结果表明,新算法在90%识别率的误比特率上限上有明显提高.