单快拍相干信号自适应波束形成方法

针对低快拍条件下相干信号波束形成问题,提出一种单快拍相干自适应波束形成方法。首先,构造Duvall特征消除器滤除阵列接收信号中的期望信号,再利用空间平滑方法解相关。然后,依据Hung Tuner算法对平滑后的协方差矩阵进行Gram Schmidt正交化,快速重构干扰信号子空间。最后,将静态权矢量在干扰子空间内的正交投影作为波束形成最优权矢量。该算法可有效避免协方差矩阵求逆和特征分解造成的复杂计算,且能降低由于期望信号泄露造成的子空间估计误差,在单快拍条件下性能良好。仿真分析验证了算法的优越性和理论分析的有效性。     

高校图书馆服务与MOOC融合发展研究

介绍了MOOC的基本概念及其发展情况，探讨了MOOC时代高校图书馆的角色定位，分析了MOOC时代高校图书馆的独特优势，指出高校图书馆只有与MOOC融合发展，才能适应信息化社会的需要。     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

影壁对于入口空间的营造及其现代应用研究

影壁是中国传统建筑中大门内外的一堵具有特殊功能的墙壁,蕴含了深厚的文化内涵。本文介绍了传统影壁对于入口空间营造,包括门前场空间、门内转折空间、门侧围合空间,并进一步论述了这种空间营造方式在现代生活中的传承及应用。     

医药洁净室的计算流体动力学模拟及实测对比

采用计算流体动力学(CFD)模拟,研究3个医药洁净室的气流流型及颗粒物浓度.采用标准k-ε双方程模型,通过模拟颗粒物在洁净室的分布,分析合理的污染物散发位置及散发比例.对比参考发尘量下的结果与实测数据的差异,根据实测数据确定污染散发量,通过试验不同的单位容积发尘量,计算对应的洁净度,得到与实测数据吻合最好的单位容积发尘量.在单位容积发尘量为1 000pc·(m3·min)-1计算条件下,各房间的模拟结果与实测数据数值比较吻合,且经CFD预测的3个房间的洁净度变化趋势与实测一致.     

爱因斯坦的洞察力

<正>今年12月2日是爱因斯坦广义相对论论文发表100周年纪念日坐在办公桌前或常年在实验室中独自忙碌,直到——灵感产生——觉察到了一切。这就是科学工作的神话,而且这个过程几乎总是错的。在现实生活中,科学的进步是循序渐进的,大多数研究人员是在团队中工作,孤独的天才总是难以找到揭示宇宙的革命性的新理论。然而,阿尔伯特·爱因斯坦(Albert Einstein)却做到了。来自于哈勃空间望远镜的图像:遥远星系由于地球附近星系团质量的存在而发生弯曲——这种弯曲是由广义相对论所预言的(又称引力透镜现象)     

采空区注氮参数设计及三维流场分析

为了合理设计采空区注氮防火方案,以南山矿18-5采空区为研究背景,利用FLUENT软件,结合含变渗透系数的Forchheimer运动方程,对具有抽放巷和注氮管的复杂采空区模型三维流场进行了数值分析。结果表明,大流量注氮在采空区浅部即可取得很好的氧气惰化效果,随着注氮管的深入,惰化效果逐渐降低;小流量注氮取得的惰化效果具有相反的变化趋势,即二者存在不同的最佳注氮位置;受抽放巷影响,模型回风侧存在氧气富集区,仅靠注氮无法对其有效稀释,应配合工作面长距离封堵,减弱高抽巷引起的漏风。依据研究结论和现场施工条件,设计了合理的防火方案,在注氮工作之前,应首先对采空区规模、通风条件和制氮设备能力进行预先评估。     

带变量核的分数次积分交换子在变指数Herz-Morrey空间上的有界性

证明了带变量核的分数次积分算子T_(Ω,μ)与Lipschitz函数b生成的高阶交换子[b~m,T_(Ω,μ)]在变指数Herz-Morrey空间MK_(q,p)~(α,λ)(·)(R~n)上的有界性.     

具有sn-网的空间

证明了具有σ—点有限sn—网及σ—局部可数sn—网的空间可刻划为度量空间在某些确定映射下的象.