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

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

寒区表面活性剂类温拌沥青的性能评价 及降黏效果分析

为了评价表面活性类温拌剂在河北寒区沥青路面上的适用性,以河北张承高速某试验段为工程实例,选用韩国SK70#和SK90#基质沥青以及河北某新材料公司研发的YC型表面活性温拌剂制备温拌沥青结合料.综合考虑河北寒区的气候条件和施工现状,分析不同温拌剂掺量对SK70#和SK90#基质沥青性能的影响,并确定YC型温拌剂最佳掺量;基于数理统计方法和Refutas黏温方程,对河北寒区YC型温拌沥青混合料的降黏效果进行分析.研究结果表明:YC型温拌剂与基质沥青的最佳拌合时间为5 min.同一温度下,YC型温拌剂掺量对SK70#沥青针入度的影响显著性要大于SK90#沥青. YC型温拌剂的添加能显著增大沥青结合料的温度敏感性,即沥青的温度敏感性随温拌剂掺量的增加而增大. YC型温拌剂对沥青的软化点无显著影响,对于SK70#和SK90#沥青,单考虑沥青的低温延度因素时,推荐YC型温拌剂最佳掺量为沥青用量的0.7%. Refutas黏温关系式能较好地表征YC型温拌沥青的黏温关系,YC型温拌剂的添加对SK70#和SK90#基质沥青的黏度降低作用不显著.     

橡胶热再生混合料低温性能与细观特征研究

以橡胶沥青再生混合料为研究对象,对冻融前后的小梁试件分别进行低温弯曲试验,研究不同胶粉掺量(6.4%,9.2%和14.1%)、不同胶粉细度(20目,40目和80目)和不同RAP掺量(25%,35%和50%)条件下的橡胶热再生沥青混合料的低温性能.基于工业CT无损检测技术,对冻融前后的橡胶热再生混合料试件分别进行扫描,并定量表征冻融前后试件体积指标的变化.研究结果表明:RAP掺量为25%,胶粉细度为80目,胶粉掺量为9.2%的橡胶热再生沥青混合料冻融后的低温性能下降幅度最小;相较于基质沥青热再生混合料,橡胶沥青热再生沥青混合料具有更好的耐久性及低温性能;通过对比工业CT扫描结果发现,冻融后的橡胶热再生沥青混合料试件闭口空隙率增大了20.3%,且在0~25mm3体积范围内的空隙数量减少了13.8%,在25~50 mm3体积范围内的空隙数量则增加了62.9%.     

磁铁矿增强土壤吸附典型雌激素的热力学规律

通过考察掺杂0.5%,5%,15%和30%磁铁矿的土壤吸附雌激素(雌酮(E1)、雌二醇(E2)、雌三醇(E3)、17α-乙炔基雌二醇(EE2)和双酚A(BPA))的热力学规律,探讨磁铁矿存在条件下雌激素在水和土壤中的迁移规律,通过对比吸附前后磁铁矿土壤的红外光谱分析其吸附机理,并利用红外光谱对雌激素的增强吸附机理进行定性分析.结果表明:雌激素吸附的热力学规律符合Langmuir等温式,雌激素吸附是分配作用和表面吸附共同作用的结果;土壤对雌激素的吸附能力随磁铁矿掺杂比例的升高而增强;掺杂0.5%磁铁矿的土壤对E2和BPA的去除率显著提高;掺杂磁铁矿的土壤对E2具有显著的吸持效果;在吸附过程中掺杂磁铁矿的土壤和雌激素之间,以及雌激素相互之间的氢键作用是雌激素增强吸附的主要因素.     

基于4C/ID模型的大学电子技术实践课程教学设计

4C/ID是提高复杂认知技能的方法,文章阐述了如何运用4C/ID教学设计模型对高校计算机专业"电子技术实践课程"进行教学改革。实践证明,该方法有效地提高了学生实践设计能力,加强了学生对专业知识的领悟能力,实现了教学模式的创新与形成,为应用性大学工科专业的实践教学提出新的探索。     

基于SOA的信息交换平台设计

异构环境下的信息数据共享和集成是目前企业应用中的一个难题，如何有效降低数据访问的复杂性，提高开发效率，降低开发和维护成本是一个亟需解决的难题。本文首先简单的介绍SOA架构及其相关技术，接着讲述一个基于SOA的信息交换平台的设计，包括信息交换平台的整体设计及其三个主要模块的设计。利用该平台达到数据层与其它业务应用系统分离的目的，实现一个点对多个点的信息交换，从而达到资源共享．信息资源的最大增值。     

从语用学角度分析英汉委婉语的功能

语言交际是人类以维系社会关系的重要手段,因而人们在交际中通常避免使用引起对方不快、不满或伤害他人感情从而损害双方关系的语言,而是采取含蓄、委婉的方法来表达思想,交流信息。委婉语的使用是一种普遍存在的现象,它广泛应用于社会各阶层以及各个领域,它不仅是人们社交时的需要,更是言语交际中协调人际关系和社会关系的重要手段,它的使用具有重要的社会功能。文章从心理补救、掩饰、交际、美学四个方面对委婉语的功能进行探讨。     

发动机维修技术分析与总结

<正>汽车发动机的修理技术是通过维修人员凭着丰富的时间经验和理论知识,依靠发动机的规定和技术要求进行分解和修复,现对维修中所存在的技术问题进行分析、总结。现通过对发动机维修时常遇见的问题做简要的分析,以供有关人员在今后的工作中参考:     

考古测年新方法探析

提出了一种新的同位素检测方法,即利用简并四波混频非线性技术来确定矿物中同位素的含量,以达到测定岩石年龄的目的。此方法精度高、成本低、结构紧凑和使用方便,具有一定的实用价值和发展潜力。     

业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.