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

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

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

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

基于评论分析的评分预测与推荐

推荐系统广泛地应用在网络平台中,推荐模型需要预测用户的喜好,帮助用户找到适合的电影、书籍、音乐等商品.通过对用户评分和评论信息的分析,可以发现用户关注的商品特征,并根据商品的特征,推测用户对该商品的喜好程度.本文提出将评论中隐含的语义内容与评分相结合,设计并实现了一种新颖的商品推荐模型.首先利用主题模型挖掘评论文本中隐含的主题分布,用主题分布刻画用户偏好和商品画像,在逻辑回归模型上训练主题与打分的关系,最终评分可以被视为是对用户偏好和商品画像的相似程度的量化表示.最后,本文在真实数据上进行了大量对比实验,结果证明该模型比对比系统性能优越且稳定.     

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

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

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

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

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

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

城市轨道交通工程GPS平面控制网的建立与精度分析

本文全面介绍了苏州轨道交通2号线延伸线、4号线及支线工程GPS平面控制网的布设方案,包括GPS控制网布设与观测、基线解算及检核、控制网平差及精度分析和可靠性检验等,同时对轨道交通GPS平面控制网建立的有关问题提出一些建议。     

聚二甲基硅氧烷/聚醚酰亚胺平板复合膜CO2/CH4的研究

利用聚二甲基硅氧烷/聚醚酰亚胺（PDMS/PEI）非对称平板复合膜,以CO2/CH4混合体系作为研究对象,考察了原料气组成、原料气压力、渗余相流量、温度对分离过程的影响。结果表明：随着原料气中CH4组成的提高,CO2渗透速率下降,分离因子先升高,但在CH4体积分数大于0.5时,分离因子开始下降;随着原料气压力的提高,CO2的渗透速率和分离因子均为下降趋势;在不同压力和温度下,随着渗余相流量的增大,CO2渗透速率基本维持稳定,分离因子略有上升,其中在低压或者低温下,CO2分离因子变化不大,在高压或者高温下,CO2分离因子上升明显。