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

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

高速公路隧道施工技术及控制关键点研究

隧道施工是高速公路建设中的重点与难点,而且存在较多的风险性,容易对施工安全和质量产生影响.强化对隧道施工技术的控制,可以使各个施工环节和流程得到优化,确保技术应用符合行业标准,以达到预期质量控制目标,提高高速公路工程项目的整体效益.隧道施工的环节较多,因此技术控制的难度也较多,应该结合过往施工经验进行不断总结,提升技术应用水平.文章将对高速公路隧道施工的特点进行分析,探索高速公路隧道施工技术的应用措施,对高速公路隧道施工技术控制的关键点进行研究,为实践工作提供参考.     

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

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

中国工业碳排放效率及其影响因素的空间计量分析

分析了中国工业碳排放效率的区域差异性以及空间自相关性,并用1998—2013年中国大陆30个省份的面板数据,建立空间面板数据模型,对工业碳排放效率的影响因素进行实证研究。研究结果表明:除少许年份外,中国及各地区的工业碳排放效率都呈现出不同程度的上升趋势且存在区域差异,中国省际工业碳排放效率在空间分布上表现出较强的正相关性和空间集聚特征,能源结构、能源强度、工业结构、能源价格水平和技术因素是影响中国工业碳排放效率的主要因素,对提高中国省际工业碳排放效率有正向作用,是空间格局演变的重要因素,且具有空间自相关性和空间溢出效应。     

“双限”视阙下众泰新能源汽车SWOT分析及战略研究

本文介绍了众泰汽车企业的背景,根据目前新能源汽车的发展环境,对"双限"政策下众泰新能源汽车的市场做SWOT分析,并做出战略矩阵分析,最后提出众泰新能源汽车发展的战略调整,必须抓住机遇,发挥优势,创出自主品牌纯电动汽车的一片天地。     

电动汽车热泵全生命周期气候性能评估模型与环保制冷剂减排分析

为满足我国“双碳”(碳达峰、碳中和)目标和《<蒙特利尔议定书>基加利修正案》的要求,采用低全球变暖潜能值(global warming potential, GWP)的热泵系统有助于从直接和间接两个方面全面减少新能源汽车碳排放.然而,目前对于采用何种低GWP工质尚无定论,几乎所有研究仅仅采用GWP值来衡量制冷剂的环保性能,对低GWP工质热泵系统全生命周期气候性能(life cycle climate performance, LCCP)的认识明显不足,同时也缺少适用于新能源汽车热泵的LCCP评估模型.为此,本文基于7个城市的气候数据、当地供电特性、真实世界驾驶循环、乘员舱冷热负荷与舒适性、热泵系统台架测试等,新开发了适用于电动汽车热泵的完整LCCP模型.基于该模型,对传统高GWP工质R134a和R410A、低GWP工质CO₂,以及先前开发的新型高效环保工质CO₂/R41(GWP为49)、M2(非共沸混合物, GWP为137)在电动汽车热泵中的全生命周期环境影响作了评估.结果表明,建立的LCCP模型对热泵系统性能系数(coeffic...     

医院门诊住院楼机电安装工程施工技术与质量控制分析

本文结合佛山市中医院三水医院门诊住院楼工程案例,分析并探讨了建筑工程机电安装施工技术与质量控制措施,供同行们参考。