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

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

论新媒体时代艺术院校图书馆的转型与专业化空间建设

该文论述了在新媒体传播、多媒体技术迅猛发展的社会大背景下,艺术类院校图书馆该如何确保其多元的发展空间?该如何转变传统的发展思路,改变目前的日益凸显的窘境,对此该文加以分析并提出相应的对策.现阶段为满足广大艺术读者需求,艺术类院校图书馆应引入新媒体传播观念及新技术,加快转换艺术类图书及相关资料的管理机制,加速内函建设的转型,扩大服务类型,丰富馆藏电子数码资源,适应读者不断增长的新需求,创建高雅化的专业接受空间.     

三态空间电压矢量分布三桥臂开关功放的控制

针对传统电磁轴承开关功放采用两路独立的H桥控制结构存在的体积庞大、功率损耗高等缺点,以空间电压矢量分布(space voltage pulse-width modulation,SVPWM)控制理论为基础,结合H桥三电平控制的优点,提出一种三电平三桥臂功率放大器的实现方法。该方法通过对不同结构载波的选择分别设计了基于对称结构、非对称结构下SVPWM主动电磁轴承开关功放的控制算法,对比分析了在不同载波结构下纹波电流的特性,并在Matlab/Simulink环境下构建出两种原理性仿真模型。在dSPACE实时仿真系统下搭建出一个三桥臂功放电路控制平台,并对两种不同结构下功率系统的频率特性进行了测试。理论与实验结果表明,基于对称结构的三态SVPWM控制算法,不仅可有效地提高电流响应速度,而且还能够使纹波电流频率加倍、纹波幅值显著减小,当频率为1 750rad/s时,其系统增益仅为-3dB。因此,该方法在满足电磁轴承系统低纹波电流和良好动态特性要求的同时也提高了主动电磁轴承系统的可靠性性能。     

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

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

住宅中儿童活动空间设计方法

住宅发展致力于解决住户最基本的生活问题,直到近年来住宅多样化,才出现儿童房等功能分区。然而,儿童活动空间仍未得到住户与设计者足够的重视。由此,试图通过分析儿童在住宅内的行为习惯与设计存在的问题,归纳其需求。在此基础上,研究文献,结合实际提出儿童活动空间的位置选择,家具布置方法,提出可持续设计建议。     

基于网络分析法的长春市开放空间非均衡性测度与响应路径

开放空间作为城市功能空间的重要组成部分,对于城市公平正义的发挥起到重要的促进作用.以长春市开放空间为研究案例,基于网络分析法对长春市开放空间的非均衡性进行了测度,在此基础上分析了其非均衡性发展的效应及问题.结果表明:长春市开放空间布局非均衡且扩展速度迟缓,开放空间发展非协调且割裂现象严重,空间设计主观意愿强烈且缺少公众参与性.在对长春市开放空间非均衡性测度的基础上提出了开放空间优化发展的对策建议,认为开放空间优化应该遵循生态保护与生态文明建设有机协调、开放空间与城市功能空间相互耦合、城市景观与特色文化元素相互融合、开放空间与环境保护治理有机共生.     

参数型Marcinkiewicz积分在一些含变指数空间的有界性

首先借助sharp极大函数证明参数型Marcinkiewicz积分在含变指数Lebesgue空间的有界性.其次,我们进一步证明了此算子在含两个可变指数的齐次Herz和Herz-Morrey空间的连续性.     

一类时间分数阶耦合Boussinesq-Burger方程在不变子空间中的精确解

应用不变子空间方法研究分数阶耦合非线性偏微分方程,并构造时间分数阶Boussinesq-Burger方程组的精确解.在变量变换意义下,由不变条件给出方程的不变子空间,使方程在不变子空间中被约化为一阶常微分方程组,通过求解常微分方程组,最终获得方程组的精确解.     

广义齐型Orlicz-Morrey空间上分数次极大算子的有界性

利用极大算子的估计及齐型空间的性质,得到了分数次极大算子及交换子在广义齐型Orlicz-Morrey空间上有界的充分条件和必要条件。同时在广义齐型弱Orlicz-Morrey空间上也给出了相应的结果。