贵州省城市化发展质量测度及区域差异分析

选取人口、经济、空间、社会4个子系统共14个城市化发展质量指标,构建贵州省城市化发展质量的评价体系,并用结构熵权法和均方差决策法计算权重,通过逐层加权法对2000—2013年贵州省9个市(州)城市化发展质量进行综合测度和差异比较.结果表明,贵州省9个市(州)城市化发展质量整体上呈上升状态,但上升速度缓慢;各市(州)之间的城市化发展质量的差异呈现出逐步递减的趋势,但在个别年份上有拉大的现象;贵州省城市化发展质量的空间格局为"一核多区"稳定型和不稳定型城市交替演进.     

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

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

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

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

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

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

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

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

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

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

城市群应急资源协调调配的超网络模型

针对灾害事件跨城域、单个城市应急能力有限等情形,提出了城市群协调应急的超网络结构;通过分析应急优化目标和对受灾点实施资源救助的最优决策行为,构建了城市群资源协调调配的超网络模型,并将其转化成等价变分不等式互补形式进行数值求解;分别设计各城市独自应急和城市群协调应急算例,说明各应急主体间连接的脆弱性和应急能力上限、各受灾点脆弱性、以及城市间协调成本等关键参数对资源调配方案选择的重要影响.     

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

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

带有临界增长的Kirchhoff方程极小能量变号解的存在性

为了深入研究Kirchhoff方程的性质,讨论了带有Hartree项和临界增长非线性项的Kirchhoff方程极小能量变号解的存在性。利用能量泛函在变号Nehari流形上的下确界C_λ收敛于0,得到空间E紧嵌入L~6(R~3)这一技术性结果。结果表明,利用限制变分方法和定量形变引理获得极小化序列对应的极小值点是该问题的非平凡解。研究方法在理论证明方面得到了良好的结果,对研究其他Kirchhoff方程解的存在性有一定的指导意义。