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

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

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

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

二维Hilbert曲线构造与绘制

Hilbert是一种经典的空间填充曲线，具有严格的自相似性，可以将他划分成一些很小的单元，只是方向不一。且具有良好的空间聚集特性，应用也很广泛，譬如在图像置乱加密，数据压缩，数据索引编码等。Hilbert曲线比其他的填充曲线如Z-Ordering、Gray更能保持原始数据的性能。因此详细了解Hilbert曲线原理并使用一种自己熟悉的计算机语言来绘制Hilbert有很大的意义。因此，该文主要介绍二维Hilbert曲线的构造及原理并用C#编程语言将它实现。     

基于超效率DEA-ESDA 的中国生态效率时空格局分析

采用改进的数据包络分析法（超效率DEA）计算出中国30 个省在不同时期的生态效率，运用全局和局部空间相关分析方法（ESDA）研究中国生态效率的空间自相关性和空间异质性。结果表明：中国生态效率东、中、西区域差异明显，东部发达地区生态效率高，中西部欠发达地区生态效率低；2004—2012 年全局自相关 Moran’sⅠ值均为正数，表明省域之间生态效率呈现正相关的空间集聚分布，2004—2012 年生态效率的空间聚集程度先略有缩小后加强；区域生态效率的空间异质性主要表现为生态效率的“热点”区相对稳定，主要集中在北部、东部和南部沿海地区，“冷点”区主要集中在东北、大西南、大西北、长江中游和黄河中游地区；生态效率的空间差异与区域经济发展水平、产业结构和能源消耗强度等密切相关，基于空间探索性数据分析方法研究我国区域生态效率的空间异质性，为国家制定提高区域生态效率相关调控政策提供参考。
     

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

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

具有间隙的二元机翼自激振动的数值分析

利用Runge-Kutta法分析了具有不对称间隙的二元机翼自激振动的动力学响应，研究了当U^*/Ul^*从零逐渐增大到1时系统的周期运动和混沌运动，发现在不对称分段线性系统中存在复杂的运动形式，其中包括从P-1到P-2的倍周期分叉，P-4到P-2，P-2到P-1的倒分岔，同时存在混沌运动形式，而且不同的初值条件所对应的运动形式也有所不同．给出了全局分岔图、局部分岔图、混沌运动的功率谱密度图及3种周期运动的时间历程曲线和相平面图，对于实际的飞行结构设计具有重要的指导意义。     

相关熵及其有限性的条件

就相关熵的性质进行了讨论，证明了在pp密度逼近中使用的作为“距离”的相关熵不满足距离定义中的第三个条件，并给出了三角不等式成立的条件。     

具有sn-网的空间

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

含PM-映射的变分不等式

文章在自反Banach空间中，利用锐角原理讨论了含PM-映射的变分不等式解的存在性问题。