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

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

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

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

基于变分不等式的多商品流供应链网络模型

针对多商品流的供应链网络均衡问题，考虑电子商务对供应链网络的影响，得到了制造商、零售商及需求市场的均衡条件，利用变分不等式形式把供应链网络均衡模型表述出来，得到了系统均衡的模型，利用拟牛顿法，得到了具多商品流的供应链网络均衡模型的求解方法。 用具体的数值算例验证了模型的合理性。
     

中立型分数阶微分控制系统能控性

研究一类分数阶中立型微分控制系统的能控性问题,对系统状态方程的分析,利用拉普拉斯变换通过基本控制系统的基础解给出了控制系统通解的表达式,并且通过构造格拉姆矩阵,研究了控制系统能控性的充分必要条件;最后通过举出一个格拉姆矩阵的计算举例来进行验证。     

高速实时可见光通信技术研究及应用

 介绍了可见光通信技术的发展历史及研究现状。基于带宽拓展技术搭建了1 W荧光型LED做光源、PIN光电二极管做探测器、单路速率610 Mb/s的实时传输演示系统，该系统在传输距离为6.2 m时的误码率为3.48×10^-5。在此基础上搭建了荧光型LED为光源、PIN光电二极管做探测器的、双向100 Mb/s无线光上网演示系统。     

解决一类优化问题的变分迭代法

考虑利用变分迭代方法求解最优化问题,分别给出了求解一般的有约束和无约束最优化问题的基本步骤,并通过实例说明了所给方法的有效性.     

四川省主要旅游目的地气候舒适度研究

枢纽中心和拥有高价值吸引物的旅游目的地是区域旅游经济的增长极,其旅游细分市场很大程度受气候舒适度的制约.四川省尚无目的地尺度的气候舒适度评估,据此,获取了四川省28个主要旅游目的地1986-2015年的气温和相对湿度数据,利用Terjung舒适指数、系统聚类以及月气候舒适集中指数等方法,评价了上述目的地的气候舒适度.结果显示:1)25个目的地至少有5个月及以上的整体气候舒适度适宜旅游,23~25个目的地4,5,9,10月的气候舒适度适宜旅游天数比较集中;2)按照气候适宜旅游的程度,28个目的地的气候舒适度可分为5种类型,即:长季舒暖型,中长季暖夏型,中季热夏型,中季闷夏型,短季凉夏型;3)西昌、九寨沟、北川、雅安等目的地的气候舒适度适宜夏季避暑,而所研究的目的地的气候舒适度都不适宜冬季避寒.     

VaR模型在股票风险管理中的应用研究

采用VaR模型对股票进行风险管理.介绍了VaR的3种主要计算方法,分别是参数模拟法、历史模拟法和蒙特卡罗模拟法,选取2016年沪深300指数每日收盘价序列作为分析目标,采用参数模拟法,通过MATLAB软件估计VAR值,计算出在一定的持有期内,在相应的置信度水平下的最大损失.对股票市场的风险管理提出了相关建议,并提出VaR模型未来的发展方向.     

爱因斯坦的洞察力

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

CRH380A型动车组转向架检修及分解工艺

介绍了CRH380A型动车组转向架三级检修工作的主要内容，以及三级检修过程中的分解工艺和检修注意事项，为日后检修工作提供必要的理论依据。