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.     

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

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

电动化和智能网联化对汽车职业教育的变革需求

<正>目前,汽车动力正由内燃机向电力等新能源驱动过渡,汽车的驾驶技术正经由人工驾驶到机器辅助并希望基于智能网联技术最终实现无人驾驶的快速发展过程中。职业技术学校除了增设新能源汽车、智能网联汽车相关专业外,还应在传统汽车类专业的教学标准中增加电动汽车、智能网联汽车相关课程,根据不同教育阶段和不同专业人才培养目标的差异确定相应的课程教学内容,以使学生的技术技能能够满足行业需求。     

防水混凝土质量缺陷分析及改进措施

针对防水混凝土的质量问题,从防水混凝土的防水原理出发,在防水混凝土的配合比设计、施工缝的留设、混凝土的浇筑顺序以及混凝土的养护等环节提出了一些具体的措施,对防水混凝土的施工具有一定的参考价值．     

圆梁山隧道2号溶洞施工技术

本文主要介绍圆梁山隧道穿越毛坝向斜的2号溶洞突水、涌砂、涌泥情况,及采取的注浆技术,开挖及支护方法。     

圆梁山隧道进口揭煤防突施工技术研究

本文以圆梁山隧道进口平导的工程实际,对隧道穿越煤层时煤层的突出性预测以及揭煤施工进行了阐述,以供类似工程参考。     

确定城市干道检测器最佳布设位置的仿真研究

路段行驶速度和行驶时间判断的准确性是进行交通管理和开发智能交通系统的基本条件。以仿真技术作为研究手段,就城市干道中用于判断路段车辆速度和行驶时间的检测器最佳布设位置的确定进行了大量的实验,并以长沙市五一路为研究对象将实际车速与仿真结果进行了对比分析。     

Green函数法计算弹性地基钢筋混凝土薄板

将钢筋混凝土板在特定域中的Green函数作为影响函数,首先根据板的外边界条件以及非均匀弹性地基条件建立方程,求出虚拟域中的Green函数“源”,继而由求得的“源值”和板上的已知荷载确定板内任意点的挠度和内力。该方法简单实用,易于编程,适用于任意形状、多种边界条件以及非均匀弹性地基的钢筋混凝土弹性薄板。     

基于距离测度法的中枢神经系统损伤检测

基于AR模型的EEG信号距离测度方法可以较好地表征中枢神经系统损伤的情况.主要探讨在这种方法中利用不同的定阶准则建立相应的AR模型及其对距离测度结果的影响.同时,使用自适应滤波器对原始信号进行滤波;将分离后的平稳和非平稳成分再进行距离测度法的研究.对滤波器的参数分析表明,这种方法可以很好地消除EEG信号中可能混有的不同程度的噪声,得到的距离测度结果也能更好地表示损伤的变化情况.     

基于新媒体宣传的红色景点发展研究——以“打卡广东红”为例

广东作为中国近现代革命的策源地之一,拥有着极其丰富的红色资源,活用南粤大地的红色资源对全党全社会学习党史教育至关重要。在此全面盛行学习党史的重要时刻,“打卡广东红”小程序掀起打卡红色景点的热潮,是全国推出的第一个省级线上+线下融合智媒党史学习平台。本文通过问卷调查以及对广东红色景点实地调研及深入访谈,发现当下“打卡广东红”小程序存在宣传力度不足、红色品牌特色不鲜明等问题,建议从深化平台与政企合作、提高网红打卡向高质量转型、打造旅游红色品牌拓宽受众面,利用5G技术推动红色景点五个改进措施和方向设想。