盾构法隧道穿越保护建筑的三维数值模拟

既有建筑物的存在,不仅改变了地表沉降槽的形式,而且极大地减小了相关测点的水平位移。采用应力路径法,对隧道施工导致土体扰动情况进行了分析。虽然隧道施工引起土体应力释放并导致土体变形,但在隧道施工过后,隧道周边各区域土单元体在p-q应力空间内的应力状态以向远离土体破坏线的区域发展为主。施工过程中进行全程监测,计算结果与监测结果吻合较好。     

环境变量对SC03空调试验油耗影响的研究

针对两辆满足欧Ⅳ排放法规的汽油车,按照美国EPA 40 CFR PART 86法规进行了SC03空调试验,建立了SC03空调试验流程和操作指南,探讨了空调试验中温度、湿度、光照强度等环境变量及浸车时间对试验油耗结果的影响。基于田口法及环境变量的常用变化范围进行试验设计,通过统计学方法对试验结果进行假设检验,确定了对试验油耗影响较大的环境变量为温度和湿度,且两者之间相互独立,并通过实车试验对检验结果进行了验证。     

基于区间分析的发动机悬置系统稳健优化设计

针对不确定参数发动机悬置系统的优化问题,基于区间分析理论,将稳健设计与多目标优化相结合,提出一种提高发动机悬置系统隔振性能的稳健优化设计方法。该方法在区间数学模型的基础上建立悬置系统稳健优化模型,以动反力及其变化范围最小为目标函数,固有频率的合理配置为约束条件,悬置刚度为优化变量,并将悬置刚度和悬置位置的波动范围作为区间参数变量,对某型轿车发动机悬置系统进行稳健优化设计。结果表明,该方法改善了悬置系统的隔振性能,提高了系统参数的稳健性。     

公交驾驶员驾驶行为对油耗的影响及其评价指标

基于通过车辆无线远程监控系统采集的天津市某公交线路6位不同驾驶员累计达2.5万km的车辆运行数据,分析了描述驾驶员驾驶行为的车辆相对正加速度、加速踏板行程分布和换挡切换速度分布3个因素对行车油耗的影响。再采用因子分析法将3种影响因素归纳成一个综合评价因子。结果表明,该综合评价因子与行车油耗的相关系数达到0.9,可作为驾驶员驾车油耗的有效评价指标。     

武汉长丰大道常码头立交二环线帮宽段设计

以实际工程为背景,介绍了桥梁帮宽的常见形式和帮宽连接设计原则,根据工程实际情况,选择了合适的帮宽连接形式,验算了帮宽前后老桥的受力情况,计算了帮宽后新老桥的位移差。     

转炉钢渣集料微观性能研究

采用现代测试技术研究了不同形态转炉钢渣的矿物组成和钢渣表面元素分布特征。从工程集料优选角度,结合实验结果,得出密实型钢渣更加适用于沥青路面层。钢渣表面丰富的钙元素赋予其与沥青良好的粘附性。     

铅酸蓄电池放电特性研究

电动汽车具有低污染、低排放、低能耗、低噪声、高效率等优点,在环境保护和新能源利用等方面具有无可比拟的优势,是解决能源危机和环境污染问题较为有效的途径。蓄电池作为电动汽车的动力源,直接影响着电动汽车的动力性和经济性,因此本文针对应用最普遍、技术最成熟的铅酸蓄电池放电特性进行研究。本文首先对铅酸蓄电池的放电原理进行研究,建立了铅酸蓄电池放电模型,基于蓄电池综合测试系统进行了不同放电倍率下的放电试验,最后应用归一化数学方法建立了蓄电池放电试验模型,获得了蓄电池端电压与SOC的关系曲线,为蓄电池的进一步研究奠定了试验基础和理论模型。     

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.     

ECE R51方法B新修订版与老版本的差异分析

通过对ECE R51方法 B的新修订版与老版本进行对比分析,发现新修订版在混合动力车总功率的定义、驱动电池的要求、参考点的定义、计算公式、挡位的选择以及结果的计算等方面进行了条款的增加或修订。尤其对混合动力车总功率的定义、挡位的选择和结果的计算这3个条款进行了较大的改动。新修订版不仅弥补了老版本中的一些漏洞还使得技术要求更接近实际情况。