Simple and efficient password-based authenticated key exchange protocol

Password-based authenticated key exchange (PAKE) protocols are cryptographic primitives which enable two entities, who only share a memorable password, to identify each other and to communicate over a public unreliable network with a secure session key. In this paper, we propose a simple, efficient and provably secure PAKE protocol based on Diffie-Hellman key exchange and cryptographic hash function. Our protocol is secure against dictionary attacks. Its security is proved based on the hardness of the computational Diffie-Hellman problem in the random oracle model.     

减速顶的维修与管理

介绍该站在安装减速顶调速系统以后．通过建立起的一整套的规章制度，并严格按照这些规章制度执行检查。在制定制度的基础上，严格落实．并同时根据现场实际创造出了多种方法保证了减速顶设备的质量，充分发挥了设备的优越功能。为确保车站安全生产做出了贡献。     

Analyzing the impact of a planned transit-oriented development on mode share and traffic conditions

ABSTRACT

Transit-oriented development (TOD) is a popular planning strategy used to maximize accessibility to transit for various trip purposes. The quantitative effects of TOD on travel mode shift and traffic congestion have not been extensively tested in the current literature. This paper utilizes a seemingly unrelated regressions (SUR) mode share model and a mesoscopic dynamic traffic assignment (DTA) model to analyze the impact of a planned TOD in Maryland. The proposed model aims at improving the understanding of the quantitative impacts of such a TOD on mode share and traffic congestion. The main result of the mode share model indicates that the increase in transit ridership for a transit accessible shopping center is not that significant. Local traffic conditions will deteriorate due to a lack of investment in road infrastructure planned for the TOD area. The proposed method could be a valuable tool for other indicative land development or transportation policy analyses.     

新型双体浮吊趸船的设计与运用

船舶螺旋桨和舵叶长期在泥沙含量大的水中运转会发生诸如腐蚀、磨损和断裂等故障,因而需要定期进行维修和更换作业。船舶坞修工期长且成本高,不利于提高船舶的运营效率。常规工程趸船易受风浪影响,其吊梢作业安全系数偏低。基于高效、安全和低成本的基本思想,研究设计了一种新型的双体浮吊趸船专用于进行船舶螺旋桨维修作业,详细论述了该船的基本结构、技术参数和材料选型等主要内容,并对实船运行情况进行了评估。该项新技术在行业内具有显著的推广应用前景。     

ZVS移相全桥电路尖峰抑制方法的研究

移相全桥电路开关管的高频通断会产生高频电压振荡和电压尖峰,本文分析了尖峰产生的几个主要原因,给出了相应的抑制方法,并通过试验验证了相关措施的有效性。     

带转换层高层建筑分段隔震体被动控制参数优化

高层建筑设置转换层已成为现代高层建筑发展的一大趋势,然而,带转换层复杂高层建筑由于竖向构件不连续导致其抗震性能较差,单纯依靠传统的体系和方法设计这类建筑,结构安全难以保证.文章提出一种新型分段隔震体系,以该体系的技术来源和基本原理为基础,从随机振动理论和能量平衡原理出发,提出了基于能量的被动控制参数分析方法.通过MAT...     

交通影响评价中交通量预测算法的实例检验

采用实例分析对交通影响评价中传统的交通量预测算法进行检验.利用某大型项目2004年的预测交通量与2009年调查交通量进行对比,验证了传统预测算法模型及参数的正确性,并对存在的偏差进行原因分析及提出建议,为交通影响评价中预测的准确性提供理论依据.     

加金属丝水平单圆管蓄冰数值模拟

盘管式蓄冰传热瓶颈出现在冰层处,考虑在管外加入一些金属丝来促进管外换热从而提高蓄冰效率.为了描述管外扩展表面给结冰过程带来的影响,把管外金属丝和水的混合区域考虑为多孔介质区域,建立了合理的数学物理模型,进行了理论计算,并采用了密度随温度接近抛物线变化来研究水的自然对流对结冰过程的影响.通过计算,发现自然对流对温度分布的...     

Sensitivity analysis of thermal properties on numerical simulation results of quenching process

A three-factor three-level orthogonal test project has been designed based on the numerical simulation of a Jominy quenching process. Then the data scattering effects of thermal conductivity and enthalpy of tested steel, as well as the heat exchange coefficients of the cooling media, on the results have been studied. The results can be used as a reference for choosing the input thermal parameter in finite element simulation of quenching, and for evaluating the simulation results.     

65m跨连续梁节段悬臂拼装施工技术

广州轨道交通四号线工程主跨65m三跨连续梁采用贝雷梁结构为主的悬臂吊机进行节段悬臂拼装.主要介绍了悬拼吊机的结构、检算及主梁变截面悬臂拼装关键施工技术.施工实践证明,连续梁采用节段悬拼施工具有上期短、质量好、施工安全有保障、费用低、适应性强等优点.