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

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

单快拍相干信号自适应波束形成方法

针对低快拍条件下相干信号波束形成问题,提出一种单快拍相干自适应波束形成方法。首先,构造Duvall特征消除器滤除阵列接收信号中的期望信号,再利用空间平滑方法解相关。然后,依据Hung Tuner算法对平滑后的协方差矩阵进行Gram Schmidt正交化,快速重构干扰信号子空间。最后,将静态权矢量在干扰子空间内的正交投影作为波束形成最优权矢量。该算法可有效避免协方差矩阵求逆和特征分解造成的复杂计算,且能降低由于期望信号泄露造成的子空间估计误差,在单快拍条件下性能良好。仿真分析验证了算法的优越性和理论分析的有效性。     

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

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

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

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-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模型未来的发展方向.