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

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

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

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

海洋类院校专业硕士英语视听说课程研究

大连海洋大学从2009年开始海洋类专业硕士扩招,随着对外学术交流机会的增多,这些专业硕士研究生使用英语的机会逐渐增多.本文通过分析大连海洋大学专业硕士研究生英语视听说水平的现状,从优化课程设置、改进教学和教学方法方面研究海洋类院校专业硕士英语听说课程改革中能力培养的策略.并且,文中敦促建设研究生英语网络教学平台,从而帮助学生完成自主学习,科学有效地将课内外所学融会贯通,进而达到最理想的学习效果.     

逯高清教授荣获首届澳中成就奖

<正>2014年12月,澳大利亚外交贸易部公布了荣获第一届澳中成就奖的获奖者名单,澳大利亚著名华裔科学家逯高清,布里迪斯托庄园和悉尼交响乐团荣列榜单.澳中成就奖旨在颁发给为促进澳中艺术、企事业及教育发展做出突出贡献的个人、机构或社团,三个领域中各选一位个人或组织获奖.首届澳中成就奖共有80多位个人和组织获得提名,12位个人与组织进入最后一轮选拔.经过严格的评选,澳中     

爱因斯坦的洞察力

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

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

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

如何防治果树球坚蚧和桑白蚧？

球坚蚧又称桃球坚蚧，俗称“杏虱子”，通常指的是寄生于桃、杏、梅、李等核果类果树的朝鲜球坚蚧，和寄生于苹果树、梨树等仁果类果树的日本球坚蚧两种。这两种球坚蚧每年均发生一代，以二龄若虫在枝条上越冬。     

暗夜舞者

一个偶然的机会,把我带进了这些微小鳞翅目昆虫的世界     

相关熵及其有限性的条件

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