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

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

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

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

Simultaneous anti-windup synthesis for linear systems subject to actuator saturation

A synthesis method for global stability and performance of input constrained linear systems, which uses a linear outputfeedback controller and a static anti-windup compensator is investigated. Different from the traditional two-step anti-windup design procedure, the proposed method synthesizes all controller parameters simultaneously. Sufficient conditions for global stability and minimizing the induced L2 gain are formulated and solved as a linear matrix inequalities(LMIs) optimization problem, which also provides an opportunity to search for a better performance tradeoff between the linear controller and the anti-windup compensator.The well-posedness of the close-loop system is also guaranteed.Simulation results show the effectiveness of the proposed method.     

爱因斯坦的洞察力

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

如何成长为高层次科技人才?——基于“双一流”建设高校校长的履历分析

探究高层次科技人才的成长路径与流动规律有助于正确、高效地培养和引进高层次科技人才。基于137位中国"双一流"建设高校校长的履历数据,通过利用统计手段与社会网络分析法对其成长规律进行实证研究。研究发现,高层次科技人才普遍拥有境外成长经历,但博士阶段的学习主要在国内完成;博士后经历并不是高层次科技人才的必备经历;高层次科技人才普遍拥有在政府和其他高校工作的经历,行政因素是影响其职业成长的重要因素;高层次科技人才主要围绕中国、美国、德国、日本和英国进行流动;美国是高层次科技人才境外流动的主要目的国家和中介国家。为此建议:①科技人员应避免过分追逐境外经历,要积累丰富的行政、教学与科研经验,切实提升综合能力与素质;②政府部门在行政任免时应遵循"选贤任能,人尽其才"原则,不断完善人才国际交流合作机制;③开发、成立专门的科技人才管理系统和部门,着手建设精细化管理的高层次科技人才数据库。     

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

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

雷电波分析与比较研究

本文对双指数雷电流模型和 IEC1 3 1 2—— 1推荐的雷电流模型进行了分析和研究 ,计算了这两种雷电流模型的雷电流参数。在此基础上 ,用 FFT方法分析了雷电流的频谱分布     

具有sn-网的空间

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