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.     

压缩空气与超级电容混合储能系统能量控制策略

结合压缩空气储能和超级电容储能两种储能方式的特点,提出了一种混合储能技术方案.压缩空气储能作为主要能量存储环节,实现大容量存储和持续的能量转化;超级电容储能作为辅助储能环节,实现功率快速响应和间断的能量补充.本文研究了混合储能系统的能量管理控制策略,提出了采用自适应功率调节和规则基础法控制来实现能量分配管理的策略,设计了15 kW混合储能系统的参数.仿真和试验验证了控制方案的可行性.     

图ω（4g,4h＋3）的（r1,r2,···,r（4g,4h＋2））-冠的优美性

给出了ω4g,4h＋3的（r1,r2,…,r4g,4h＋2）-冠的定义,讨论了ω4g,4h＋3的（r1,r2,…,r4g,4h＋2）-冠的优美性,用构造性的方法给出了一些特殊的ω4g,4h＋3的（r1,r2,…,r4g,4h＋2）-冠的优美标号。证明了一些特殊的ω4g,4h＋3的（r1,r2,…,r4g,4h＋2）-冠是交错图。     

摩洛哥布里格里格河谷斜拉桥主梁设计

以摩洛哥布里格里格河谷斜拉桥工程为背景,介绍了混凝土边主梁与钢横梁组成的结合梁这种新颖的主梁设计,总结了这种主梁的技术特点,与混凝土主梁,以及钢主梁与混凝土桥面板的结合梁相比,这种主梁具有自重较轻、施工方便快捷、造价经济的优点,在桥面较宽的斜拉桥主梁型式选择时,经济上具有较强的竞争优势。     

自升式移动平台污油水系统设计

分析了自升式移动平台防止污油水污染系统设计所依据的法律法规,污油水产生的来源。运用最新的规范法规,对自升式平台钻采系统和机器处所处产生的污染物分别进行设计、处理,能够达到公约和沿岸国地区规则排放的要求,具有较强的实际应用意义。     

水泥稳定碎石混合料施工防离析技术研究

根据水泥稳定碎石混合料基层施工的现场资料,对施工时产生的离析现状和成因进行了分析,并提出解决和缓解的对策,对提高水泥稳定碎石混合料的施工质量有一定的工程意义。     

交通艇费用管理及选型

依据宁波大港弓『航有限公司二十年来的4种不同类型交通艇的使用情况,估算后期费用,提出管理方法,为相关单位建造安全、经济、舒适的交通艇提供参考。     

基于自适应粒子群优化算法的交通量短时预测模型

在考虑交通量短时变化的时空特性和波动性基础上,建立了非线性交通量短时预测模型.根据我国城市道路交通流非线性、时变性、随机性等特点,提出自适应粒子群优化算法对非线性交通量短时预测模型进行在线修正.该自适应粒子群优化算法采用两步优化策略,对算法参数进行调整,避免算法早熟收敛,有效提高了算法的运算精度和效率.利用城市道路的实测数据,通过Mat-lab软件工具箱对该模型进行计算机仿真验证.     

ATB船装载计算软件的设计和开发

分析了ATB船船型及其配积载特点,给出了ATB船装载软件的基本设计流程,并以国内首艘ATB船为研究对象,在船舶稳性和强度计算理论的基础上进行建模,采用可视化编程软件VB．NET编制了ATB船装载计算软件．该软件界面友好,与装载手册结果比较表明,软件计算精度满足要求．     

解析高职院校项目教学法中教师的角色

随着现代科学技术及生产组织形式对职业教育要求的不断提高,项目教学法越来越突显出其在高职院校教学过程中培养学生实践能力、社会能力及其他关键能力的重要性。本文在明确高职院校项目教学法内涵的基础上,揭示教师在项目教学法实施过程中应扮演的角色,并在此基础上设计出教师角色模型,并对角色综合运用产生的扩散效应进行阐述。