基于SPEAR Ⅱ的Kerberos协议安全性分析

Kerberos认证是云计算安全采用的信息安全技术之一,对Kerberos协议进行形式化验证可以有效发现和避免协议设计缺陷和攻击。采用一种自动安全协议建模和分析工具SPEAR Ⅱ对Kerberos协议的安全性进行了分析。首先设计了窃听、重放和篡改攻击场景并分析了以上场景中通信主体的特点,在此基础上提出推理假设,然后通过SPEAR Ⅱ中基于Prolog的分析引擎从协议假设条件推导到协议目标。结果表明,Kerberos协议可以抵抗窃听和重放攻击,保护合法用户密钥的安全,但在篡改攻击下,若信任主体被攻陷,则攻击者可以通过伪造密钥骗取合法用户的信任,并与合法用户建立通信。     

L-蛋氨酸缩邻香草醛Zn(Ⅱ)配合物对S .Pombe作用的热动力学研究

目的合成L-蛋氨酸缩邻香草醛Zn(Ⅱ)配合物,并通过微量热法研究配合物对S.Pombe的作用。方法以L-蛋氨酸、邻香草醛和氯化锌为原料合成了L-蛋氨酸缩邻香草醛Zn(Ⅱ)配合物,利用红外光谱、紫外光谱和元素分析等分析方法进行表征。于32℃条件下,采用微量热法测得不同浓度配合物作用下S.Pombe的生长热曲线(P-t),研究其最大产热功率P_(max)、生长速率常数k、传代时间tG、抑制率I等热动力学参数与配合物浓度c的定量关系,以及配合物的半抑制浓度IC50。结果随配合物浓度c的增大,S.Pombe的最大产热功率P_(max)呈直线递减趋势,生长速率常数k减小,传代时间tG增大,配合物的抑制率I增大,其半抑制浓度IC50为0.091 1g·L-1。结论该配合物对S.pombe生长有良好的抑制作用。     

基于HF-RBF的初始地应力场预测研究与应用

用水压致裂法(HF)测量地应力时存在实测数据数量少、不连续、精度低的问题.为此,建立基于HF-RBF的初始地应力场预测方法,首先构建埋深和水平主应力之间的学习样本,然后利用径向基函数(RBF)神经网络对学习样本进行训练,建立埋深与水平主应力之间的非线性映射,最后利用检验样本对初始地应力场预测效果进行检验.在黑龙江某矿山利用2个勘探钻孔开展了水压致裂法测量地应力试验,应用HF-RBF方法获得了该矿区水平主应力分布规律,训练样本最大预测误差为28.6%,检验样本水平最小、最大主应力预测误差都在10%以内,满足工程设计要求.表明了在矿山钻孔勘探期间,HF-RBF法能较好地预测矿区初始地应力场.     

湖南省地市经济增长的σ趋同评价分析

近年来,“俱乐部趋同”逐渐成为区域经济增长趋同研究的重点.先根据2003-2013年湖南省及各市州人均GDP、城镇居民可支配收入、城镇化率3个统计指标对15个研究对象进行聚类区域分组,分出3类经济水平带;再采用方差分解方法分别计算了2003-2013年湖南省各地区的总差异、带间差异与带内差异.结果表明,湖南省各地区的人均GDP地区差异在变大,经济增长趋异;城镇居民人均可支配收入的地区差异在变大,收入增长趋异;城镇化率的地区差异先变大后变小,城市化率增长先趋异后趋同.从3个经济带的方差分析结果看,人均GDP、城镇居民可支配收入分析不能实证湖南省经济带内存在显著的“俱乐部趋同”现象,城镇化率分析能说明经济带内存在“俱乐部趋同”现象.     

基于傅里叶系数插值的短波信道迭代频偏估计

针对短波突发通信中存在的频偏问题,结合短波调解器的波形格式以及低信噪比的信道条件,提出了一种基于傅里叶系数插值的迭代频偏估计算法.该算法首先利用离散傅里叶变换(DFT)确定频谱峰值;然后对其结果进行Jacobsen插值,通过对插值结果进行误差分析,得出其方差与训练序列长度及信噪比的函数关系,并依此自适应调节其置信度为0.99999时的置信区间,将其作为精频偏估计的搜索区间;最后在搜索区间内进行迭代,并利用抛物线插值获取更精确的结果.仿真结果表明:对于长度为128、256、512的训练序列,在低信噪比条件下,文中算法均可逼近Cramer-Rao下界(CRLB),特别是在信噪比为0 d B时,两次迭代即可使算法的均方误差与CRLB的比值达到1.005左右.     

处理金属逸出功实验数据的三种方法

金属逸出功实验数据处理比较麻烦,本文对常用的作图法、最小二乘法、origin软件作图法分别做一介绍。     

面向重用的三维CAD模型检索算法

针对现有CAD领域的检索算法对模型的局部细节特征描述不足的现状,提出了一种基于最大公共子图的三维CAD模型检索算法,通过提取CAD模型的B-Rep信息,将模型用属性邻接图来表示.根据如果2个CAD模型存在相似的特征或局部结构,CAD模型所对应的属性邻接图应存在公共子图的原理,通过检测属性邻接图中的公共子图,得到了2个与CAD相似的局部细节特征,并利用这2个相似的局部细节特征对CAD模型进行了相似性评价.实验表明,该方法能够实现三维CAD模型检索,且检索的效率能够满足工程检索的要求,因此可以实现CAD模型设计和制造知识的重用.     

逆向工程中一种鲁棒的平移对称提取算法

为了解决逆向工程中平移对称提取的问题,提出了一种鲁棒的提取算法.首先利用特征线将模型分割成体素的集合,然后计算各个体素的形状分布曲线,通过形状分布曲线匹配的方式获取了几何形状相似的体素,并利用最小包围盒从中提取大小相似的体素,以构成对称体素的集合.利用鲁棒的PCA方法估算对称体素的初步对称信息,在此基础上利用迭代最近点算法对提取的平移对称进行优化.采用一个机械零件的三角网格模型进行实验的结果表明,体素分割结果对应构成模型的各个特征,具有明显的工程语义,对称提取结果的误差较小并具有较强的鲁棒性.