排序方式: 共有87条查询结果,搜索用时 15 毫秒
1.
Kerberos认证是云计算安全采用的信息安全技术之一,对Kerberos协议进行形式化验证可以有效发现和避免协议设计缺陷和攻击。采用一种自动安全协议建模和分析工具SPEAR Ⅱ对Kerberos协议的安全性进行了分析。首先设计了窃听、重放和篡改攻击场景并分析了以上场景中通信主体的特点,在此基础上提出推理假设,然后通过SPEAR Ⅱ中基于Prolog的分析引擎从协议假设条件推导到协议目标。结果表明,Kerberos协议可以抵抗窃听和重放攻击,保护合法用户密钥的安全,但在篡改攻击下,若信任主体被攻陷,则攻击者可以通过伪造密钥骗取合法用户的信任,并与合法用户建立通信。 相似文献
2.
为了评价表面活性类温拌剂在河北寒区沥青路面上的适用性,以河北张承高速某试验段为工程实例,选用韩国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#基质沥青的黏度降低作用不显著. 相似文献
3.
橡胶热再生混合料低温性能与细观特征研究 总被引:1,自引:0,他引:1
以橡胶沥青再生混合料为研究对象,对冻融前后的小梁试件分别进行低温弯曲试验,研究不同胶粉掺量(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%. 相似文献
4.
4C/ID是提高复杂认知技能的方法,文章阐述了如何运用4C/ID教学设计模型对高校计算机专业"电子技术实践课程"进行教学改革。实践证明,该方法有效地提高了学生实践设计能力,加强了学生对专业知识的领悟能力,实现了教学模式的创新与形成,为应用性大学工科专业的实践教学提出新的探索。 相似文献
5.
异构环境下的信息数据共享和集成是目前企业应用中的一个难题,如何有效降低数据访问的复杂性,提高开发效率,降低开发和维护成本是一个亟需解决的难题。本文首先简单的介绍SOA架构及其相关技术,接着讲述一个基于SOA的信息交换平台的设计,包括信息交换平台的整体设计及其三个主要模块的设计。利用该平台达到数据层与其它业务应用系统分离的目的,实现一个点对多个点的信息交换,从而达到资源共享.信息资源的最大增值。 相似文献
6.
语言交际是人类以维系社会关系的重要手段,因而人们在交际中通常避免使用引起对方不快、不满或伤害他人感情从而损害双方关系的语言,而是采取含蓄、委婉的方法来表达思想,交流信息。委婉语的使用是一种普遍存在的现象,它广泛应用于社会各阶层以及各个领域,它不仅是人们社交时的需要,更是言语交际中协调人际关系和社会关系的重要手段,它的使用具有重要的社会功能。文章从心理补救、掩饰、交际、美学四个方面对委婉语的功能进行探讨。 相似文献
7.
<正>汽车发动机的修理技术是通过维修人员凭着丰富的时间经验和理论知识,依靠发动机的规定和技术要求进行分解和修复,现对维修中所存在的技术问题进行分析、总结。现通过对发动机维修时常遇见的问题做简要的分析,以供有关人员在今后的工作中参考: 相似文献
8.
提出了一种新的同位素检测方法,即利用简并四波混频非线性技术来确定矿物中同位素的含量,以达到测定岩石年龄的目的。此方法精度高、成本低、结构紧凑和使用方便,具有一定的实用价值和发展潜力。 相似文献
9.
针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证. 相似文献
10.
长江三峡升船机运行状态故障诊断 总被引:2,自引:0,他引:2
利用故障树分析理论,建立了三峡升船机运行各个阶段的故障树,实现了故障诊断算法,并且研制了三峡升船机诊断演示系统,系统包括一个基于WINDOWS的软件包和一个故障模拟装置。 相似文献