排序方式: 共有21条查询结果,搜索用时 0 毫秒
1.
2.
【目的】为了解山东省极端气温事件趋势变化和时空格局,【方法】基于1965—2019年93个气象站点逐日最高气温和最低气温,采用sen′s趋势、去趋势波动分析、皮尔逊相关性检验等方法及Arcgis软件分析了山东省极端气温事件的时空变化特征及影响因素。【结果】结果表明,与基准期(1965—1989年)相比,当前气候状况下(1990—2019年),山东省极端气温指数的暖指数、极值指数以及作物生长期指数大多呈现明显的增加趋势,冷极端气温指数和日气温较差则呈现减少趋势。【结论】除夏季日数外,其他极端气温指数未来变化趋势与过去相一致。当前气候状况下极端气温指数空间差异较为明显,青岛、烟台和威海等东部沿海城市以及临沂极端暖事件(冷事件)增加(减少)速率较其他地区更快。部分极端气温指数与经度和海拔呈现显著的相关性,与纬度相关性较低。山东省极端气温指数的时空变化与AMO、AO和EA/WR密切相关。欧亚大陆上空反气旋的增强加速了山东省升温。 相似文献
3.
4.
开端协议(Open-ended Protocol)的分析是安全协议领域中一个待解决的重要问题,而IKE则是一个有代表性的具有"开端"结构的安全协议.本文基于串空间的Athena方法,针对IKEv2协议中的"开端"结构涉及的DH(Diffie-Hellman)问题,增加了群、散列函数等原语,给出并证明了一个新的消减规则;针对"开端"结构,引入了集合的数学概念,建立了新的消息类型,重新定义了串空间中的消息项、替换、入侵者模型,以及Athena相应的内在项、目标和目标绑定,给出了一个新的替代关系.应用扩展后的方法,分析了协议,发现一个新的认证性缺陷,给出了解决该缺陷的方法. 相似文献
5.
6.
吴光伟 《机械工人(热加工)》2004,(11):75-75,79
对焊弯头广泛用于石油、化工、纺织及电工等现代工业的管线中。其成形方法主要包括挤压、衍用冲压、推制和热成形。其中,挤压、衍用冲压和推制均在常温下成形,是目前管道配件厂常用的方法,但各有各的特点。 相似文献
7.
8.
基于串空间的Athena分析技术研究 总被引:1,自引:2,他引:1
基于串空间模型的研究是当前安全协议领域的一个研究热点。Song对串空间模型进行了扩展,将模型检验和定理证明结合起来,提出了一种取名为Athena的安全协议分析方法,并基于该方法开发了自动证明工具APV,Song的工作被认为是串空间理论发展的一个重要事件。本文对Athena进行了系统的分析,介绍了Athena的假设条件,给出了Athena的语法和语义,分析了该逻辑的优点和局限性,在此基础上,分析了Athena的核心算法,讨论了Athena算法自动高效的原因,以及该算法如何避免状态空间爆炸的技术,指出了该算法的缺陷,形成原因以及解决的一般方法。最后对Athena方法的发展方向进行了讨论。 相似文献
9.
10.
近些年,纳米纤维被用于燃料电池材料时具有优异的性能,引起了人们的广泛关注。静电纺丝技术是一种低成本,高效可控,操作简单的纤维制备方法。电极材料的微观形貌对于电池性能具有显著影响。将静电纺丝技术的影响因素归纳为内部参数、工艺参数和环境参数三类,分别讨论其对材料微观形貌的影响。同时对于静电纺丝所形成电池纤维结构进行了相关归纳,并对比了不同微观结构所获得的性能。此外,总结归纳了静电纺丝应用于固体氧化物燃料电池材料的最新研究进展,特别强调了复合电极材料的发展现状,以及其微观形成机理,为相关研究者提供研究思路。 相似文献