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

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

基于超效率DEA-ESDA 的中国生态效率时空格局分析

采用改进的数据包络分析法（超效率DEA）计算出中国30 个省在不同时期的生态效率，运用全局和局部空间相关分析方法（ESDA）研究中国生态效率的空间自相关性和空间异质性。结果表明：中国生态效率东、中、西区域差异明显，东部发达地区生态效率高，中西部欠发达地区生态效率低；2004—2012 年全局自相关 Moran’sⅠ值均为正数，表明省域之间生态效率呈现正相关的空间集聚分布，2004—2012 年生态效率的空间聚集程度先略有缩小后加强；区域生态效率的空间异质性主要表现为生态效率的“热点”区相对稳定，主要集中在北部、东部和南部沿海地区，“冷点”区主要集中在东北、大西南、大西北、长江中游和黄河中游地区；生态效率的空间差异与区域经济发展水平、产业结构和能源消耗强度等密切相关，基于空间探索性数据分析方法研究我国区域生态效率的空间异质性，为国家制定提高区域生态效率相关调控政策提供参考。
     

Banach空间中一类带有f－投影算子的双层集值投影动力系统

在乘积Banach空间中引进并研究一类包含广义f－投影算子的双层投影集值投影动力系统.在恰当的条件假设下，利用广义f－投影算子的性质及熟知的Nadler不动点定理，证明了该双层集值投影动力系统的均衡点集是非空的和闭的.     

单自由度状态下SMA-KBF耗能减震能力研究

SMA和隅撑支撑(KBF)分别为近些年发现的有超弹性力学性能的一种金属材料和新型结构框架,并被国内外学者广泛关注,应用在了很多的工程试验中。以此为基础该文的主要研究在地震荷载下,通过实验模拟SMA阻尼器隅撑构件的耗能以达到结构减震的目的。     

采空区注氮参数设计及三维流场分析

为了合理设计采空区注氮防火方案,以南山矿18-5采空区为研究背景,利用FLUENT软件,结合含变渗透系数的Forchheimer运动方程,对具有抽放巷和注氮管的复杂采空区模型三维流场进行了数值分析。结果表明,大流量注氮在采空区浅部即可取得很好的氧气惰化效果,随着注氮管的深入,惰化效果逐渐降低;小流量注氮取得的惰化效果具有相反的变化趋势,即二者存在不同的最佳注氮位置;受抽放巷影响,模型回风侧存在氧气富集区,仅靠注氮无法对其有效稀释,应配合工作面长距离封堵,减弱高抽巷引起的漏风。依据研究结论和现场施工条件,设计了合理的防火方案,在注氮工作之前,应首先对采空区规模、通风条件和制氮设备能力进行预先评估。     

图像增强技术在古籍图书电子化中的应用

为提高古籍图书电子化的处理质量,文章以带插图的书页和具有背景干扰的书页为处理对象,使用二值化法、直方图均衡法和对比度拉伸法对书页进行图像增强处理,并使用Visual Studio 2010软件和Open CV进行实验.结果表明:带插图的古籍书页适合采用对比度拉伸法处理,带背景干扰的书页适合采用二值化法处理.     

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

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

"重分布"思想在结构设计中的应用

介绍了一种利用钢筋混凝土的塑性性能,采用重分布思想进行结构设计的思路和方法。