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混合储能系统的参数.仿真和试验验证了控制方案的可行性.     

钢筋混凝土桩在粘性土中打桩时的混沌效应分析

研究在粘土中打桩出现的混沌现象.首先利用史密斯提出的打桩波动方程作庞加莱截面图,得到打桩中混沌现象的基本特征.接着分析庞加莱截面图,找到贯入度和速度比值最大的点,即为功耗最小的点.同时,通过曲线拟合证明了功耗最小时的锤重和落高满足重锤轻击的施工经验.根据此原理改变冲击力和初值的大小即可得到打桩时不同截面尺寸方形桩和圆形桩功耗最小时所需的锤重和落高.研究结果表明不同截面尺寸的方形桩和圆形桩与其桩顶冲击力,落高和锤重满足一定的关系曲线,因此施工中根据它们的函数关系选取相应的锤重和落高可以节省功耗,降低造价.     

基于工作流的固定资产管理平台设计与实现

针对当前政府部门的固定资产管理需求,采用j2ee平台、java编程语言和oracle数据库来设计并实现一个综合性较强的基于工作流的固定资产管理平台。分析了工作流技术在固定资产管理系统设计中的应用,建立了基于工作流技术的固定资产管理系统模型。平台的用户管理采用统一用户管理系统,构建一种能够同时满足多个异构系统的统一用户认证、统一用户管理的安全平台。该平台满足政府部门的日常办公需求,降低办公成本,提高了办公效率,改进和完善了工作手段与方式,实现了固定资产管理平台的信息化、网络化和智能化。     

高寒地区集包线某运营铁路隧道渗漏水及冻害整治技术

以内蒙古集包铁路某隧道渗漏水整治问题为研究对象,对工程概况进行介绍,并从隧道病害分类、产生原因、整治方法、整治效果等方面对高寒地区运营铁路隧道渗漏水及冻害整治技术进行阐述与分析,主要应采用注浆与加热保温相结合的综合整治技术。实践证明,所采用的整治技术在高寒地区渗漏水整治中实施效果良好,有较好的施工进度和经济性。     

层次分析法在高职课堂教学质量评价体系中的应用

文章基于我国高职课堂教学质量评价体系的现状运用层次分析法建立教学模型,构建高职课堂教学质量评价体系并进行实践应用。研究表明该方法对于高职课堂教学评价具有一定的应用价值,有助于提高高职院校教师水平和课堂教育教学质量。     

波浪与开孔沉箱相互作用的CLEAR-VOF数值模拟

文章利用三步有限元方法离散Navier-Stokes方程,并借助CLEAR-VOF方法、大涡模拟方法追踪水体自由表面和模拟湍流效应,建立了二维数值波浪水槽。籍此研究了规则波作用下开孔沉箱的反射率和波浪总水平力,并与物模试验结果和其他学者的数模结果以及工程实例进行了对比,吻合良好,为波浪与开孔沉箱相互作用问题的研究探索了一种新的数值模式。     

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

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

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

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

交通艇费用管理及选型

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