国外图书馆科研支持服务研究

介绍了图书馆科研支持服务的背景,分析了国外图书馆科研支持服务的种类,举例说明了国外图书馆科研支持服务的具体实践.     

孩子坐车,警惕8大杀手

<正>怀抱孩子坐车怀抱孩子坐车,一旦遇到事故,很容易让孩子成为大人的"安全气囊",造成婴幼儿的受伤、截瘫甚至死亡。即使是低速行驶时,汽车发生碰撞或紧急制动的冲击力,也远远超出父母胳膊能支撑的限度,婴儿可能被甩出车窗。而发生猛烈碰撞时,家长的胸部会自然向下压,猛烈压向孩子头颈,可能对儿童造成挤压伤害。让孩子使用成人安全带汽车的安全带都是给成人设计的,并不适合儿童体型。发生事故时,如果绑得太紧,会造成致命的腰     

从三个角度考察柯西不等式

柯西不等式是高等数学中的重要不等式,它在解析几何、数学分析与高等代数这3门数学专业主干基础课程中均有渗透.从这3门课程的角度,分别给出柯西不等式的不同形式和证明过程,并简要地阐述它们的联系,最后做出小结.     

浅析《穆斯林的葬礼》中玉器对情节的推动

《穆斯林的葬礼》作者霍达以一个回族的玉器世家梁家作为故事的根基,以"月"和"玉"为中心构成两条线索平行推进又交叉铺叙,将两个完整独立又相互缠绕的爱情故事娓娓道来,抒写了在混乱的社会背景下,玉器世家第一、二代人梁亦清及其弟子韩子奇与梁君璧、梁冰玉的人生悲剧。在《穆斯林的葬礼》中,玉的意象频频出现,整理并分析那些推动了情节发展的重要玉器,借此角度重新审阅这一小说的行文结构与情节设置手法。     

欧洲艺术废墟上的交响乐 —— 谈罗曼·罗兰创作的艺术风格

罗曼·罗兰是20世纪法国的一个有代表性的作家之一.他以"不创作,毋宁死"!作为自己的创作动机,开始了他的文艺生涯,在创作过程中,充分体现了其为人生的艺术,浪漫主义与现实主义的结合,以真诚、朴实的创作风格完成了其"生死攸关"的事,最终成为西方欧洲世界的文学家.在他作品永远都是值得我们珍惜的,他歌咏的人类在精神方面所追求与超越,经历的艰险、对人类最终臻善的信念和博爱的精神,也许罗曼·罗兰在勾勒的那条精神道路在他的作品中更具某种标尺性涵义.     

公理化局部有限空间中映射连续性的扩展

用公理化方法研究了局部有限空间中的连续映射及其扩张问题。给出了局部有限空间的公理化定义方法;利用邻近关系研究了局部有限空间中的连续映射、同胚和局部同胚等问题;通过对局部有限空间变形的研究,定义了局部有限空间的一种特殊收缩核,有效地解决了局部有限空间中连续映射的扩张问题。     

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

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

四元数辛李代数MAD子代数的共轭性

利用四元数理论, 证明了四元数体上辛李代数为实半单李代数, 其极大可交换ad-\!\!可对角化(简称MAD)子代数是相互共轭的.     

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

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

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

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