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

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

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

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

In vivo comprehensive multiphase NMR

Traditionally, due to different hardware requirements, nuclear magnetic resonance (NMR) has developed as two separate fields: one dealing with solids, and one with solutions. Comprehensive multiphase (CMP) NMR combines all electronics and hardware (magic angle spinning [MAS], gradients, high power Radio Frequency (RF) handling, lock, susceptibility matching) into a universal probe that permits a comprehensive study of all phases (i.e., liquid, gel-like, semisolid, and solid), in intact samples. When applied in vivo, it provides unique insight into the wide array of bonds in a living system from the most mobile liquids (blood, fluids) through gels (muscle, tissues) to the most rigid (exoskeleton, shell). In this tutorial, the practical aspects of in vivo CMP NMR are discussed including: handling the organisms, rotor preparation, sample spinning, water suppression, editing experiments, and finishes with a brief look at the potential of other heteronuclei (²H, ¹⁵N, ¹⁹F, ³¹P) for in vivo research. The tutorial is aimed as a general resource for researchers interested in developing and applying MAS-based approaches to living organisms. Although the focus here is CMP NMR, many of the approaches can be adapted (or directly applied) using conventional high-resolution magic angle spinning, and in some cases, even standard solid-state NMR probes.     

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

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

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

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

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

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

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

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