Robust password and smart card based authentication scheme with smart card revocation

User authentication scheme allows user and server to authenticate each other, and generates a session key for the subsequent communication. How to resist the password guessing attacks and smart card stolen attacks are two key problems for designing smart cart and password based user authentication scheme. In 2011, Li and Lee proposed a new smart cart and password based user authentication scheme with smart card revocation, and claimed that their scheme could be immunity to these attacks. In this paper, we show that Li and Lee＇s sctleme is vulnerable to off-line password guessing attack once the information stored in smart card is extracted, and it does not provide perfect forward secrecy. A robust user authentication scheme with smart card revocation is then proposed. We use a most popular and widely used formal verification tool ProVerif, which is based on applied pi calculus, to prove that the proposed scheme achieves security and authentication.     

江肇高速公路毛毡岭隧道洞口浅埋段施工

江肇高速公路毛毡岭左线隧道肇庆端洞口V级围岩超浅埋且为碎石土与全一强风化泥岩的软弱围岩,针对其实际情况,施工中遵循“早进晚出”的原则提前进洞,减少了隧道施工对烂柯山自然保护区的环境破坏。隧道进洞采用了长管棚、小导管注浆等措施加固岩体,洞内采用双侧壁导坑法施工方法减少了隧道一次性开挖断面,施工中结合监控量测和超前地质预报及时调整支护参数,确保了隧道安全通过超浅埋段,满足了施工工期要求和对自然保护区环境的保护。     

浅述山岭公路隧道监控量测相关标准研究

对山岭公路隧道监控量测中规范规定的量测频率、数据回归分析和险情预报标准等几个方面进行研究,给出了动态计算量测频率的公式、数据回归分析应考虑的因素及险情预报标准。研究结果表明：量测频率在考虑围岩级别,开挖时间、开挖条件、距掌子面距离和量测数据等因素下动态综合判定,更具有合理性;数据回归分析时,应针对不同的围岩选用不同的函数进行回归分析,双曲线函数比较适合塑性围岩的回归分析,指数函数比较适合脆性围岩的回归分析;在综合考虑围岩级别、量测数据和围岩变形的发展趋势等因素的情况下,险情预报才能够准确的预报险情。     

新七道梁特长公路隧道营运通风方案比较与分析

新七道梁隧道为兰临高速公路的控制性工程,属于高海拔区特长公路隧道。本文结合工程实际情况,从通风、防灾救援和工程造价等因素综合考虑,经技术经济必选,确定了技术相对可靠、经济较省的全射流纵向通风加浅竖井送排式通风方案的营运通风方式。     

门碰实验中限位器加强钣开裂问题研究

车门是整车中使用频率最高的开闭件之一,其开闭寿命是汽车质量的重要评价指标。为在项目阶段模拟客户开关车门的实际使用寿命,主机厂一般采用门碰耐久实验台架进行检测。文章以某车型为例,针对其在门碰耐久实验中后门限位器加强钣焊点开裂问题从两方面着手展开分析研究。其一,应用Abaqus软件对开裂焊点进行疲劳寿命计算并验证局部加胶措施的有效性;其二,结合问题零件的截面金相图对焊接工艺及零件质量进行控制调整。最终解决了该车型限位器加强钣开裂问题,为将来此类问题的分析研究提供了宝贵经验。     

公路隧道通风网络理论的研究及应用

主要讨论了通风网络理论及其在公路隧道通风中的应用。推导出交通通风力在通风网络理论中的计算公式,介绍了风机、自然风等各压力源在通风网络中的处理办法。应用隧道通风网络解算程序,对雪峰山隧道的通风方案进行计算分析,取得了良好的工程效果。     

复合地基条件下沉管隧道块石垫层振密试验研究

依托深中通道深层水泥搅拌法(DCM)复合地基处理项目,对工程区域沉管隧道块石垫层开展陆上工艺振密试验研究,分析块石垫层振密时间、振动锤转速、激振力、垫层厚度、振沉量、变形模量等因素对DCM桩顶沉降、桩顶及桩间土应力变化特性的影响.试验结果表明:合理的液压振动锤转速、激振力、振密时间可以对块石层产生有效的振密;增加块石厚...     

UHPC后浇连接的预制墩柱抗震性能研究

随着中国城市化进程的加快,采用标准化的预制装配施工已成为一种趋势。而预制装配桥墩以其节能环保、质量可靠、劳动力要求低等优点在各类桥梁建造中已得到广泛应用。但预制拼装桥墩仍存在着一些问题,如构造措施复杂、施工精度要求高,导致施工效率降低、质量不易保证等。针对这些问题提出一种基于后浇UHPC的预制拼装墩柱的简易连接方式,并设置3种不同连接方式的墩柱,对其开展了拟静力试验,描述、对比分析了3种墩柱的破坏现象、滞回特性、耗能能力等。试验结果表明,UHPC连接墩柱比其他2种连接方式墩柱损伤程度低,峰值承载力比承插式连接墩柱高11%,比波纹管连接墩柱高27%,极限位移和累计耗能约为其他2个墩柱的1.5倍。     

基于深度学习的电力负荷短期预测

为做好电网供需平衡,进一步改善电网的社会效益和经济效益,根据负荷数据的时序性特征,利用卷积神经网络的特征提取能力和长短期记忆神经网络捕捉时间序列关系的能力,采用卷积-长短期记忆混合神经网络进行电力负荷短期预测.首先根据历史数据对该模型进行训练,然后使用已训练好的模型进行预测,最后将其预测结果与长短期记忆神经网络预测结果进行比对.两组不同采样间隔的负荷预测仿真结果表明,卷积-长短期记忆混合神经网络相对于长短期记忆神经网络,可以更好地从负荷数据中提取出时序性特征,预测误差较小,精度较高,能够在电力短期负荷预测问题中提供可靠的预测结果.     

高速公路改扩建工程中央分隔带光缆保通方案探讨

高速公路中央分隔带光缆是高速公路运营单位、其它光缆产权单位通信系统的重要组成部分,是高速公路安全畅通的命脉,是其它产权单位各类业务安全运营的关键。在高速公路改扩建过程中如何对光缆进行保通成为重要问题,本文对中央分隔带光缆保通的两种主要方案进行分析和对比,为其它改扩建项目提供参考和借鉴。