平地机施工时平整度的控制与施工工艺

以“二级公路”施工为分析点，对平地机的特点进行分析，对施工工艺加以总结，就如何提高平地机的使用效率，如何提高其施工过程的平整度，如何达到所规定的质量技术指标进行探讨。     

砂堤的荷载与稳定性分析

结合福州闽江橘园洲砂堤工程 ,详细分析了砂堤受到的各项荷载 ,研究了反向渗流力对砂堤稳定安全系数的影响 ,结果说明 ,反向渗流力对稳定所起的作用有时是相当可观的。本文通过大量计算 ,探讨了在几种情况下反向渗流力对稳定安全系数的影响 ,结果显示强度指标组合、坡比对反向渗流力所起作用的程度影响不明显 ,而上、下游水位差成为显著的影响因素。当水位差与堤身高度的比例到 70 %时 ,考虑反向渗流力将使安全系数提高 2 5 %以上     

双离合器式自动变速器换挡特性研究

介绍了双离合式自动变速器工作原理，建立了换挡过程的数学模型，并对升、降挡的换挡特性进行了仿真与试验分析，为DCT的开发设计提供了参考依据。     

回收粉在环氧沥青混凝土中的应用研究

大跨径钢桥面铺装用环氧沥青混凝土对集料有很高的要求。通过室内试验和实际生产验证。分析环氧沥青混凝土生产中使用回收粉的可行性，并结合具体工程给出使用量。     

极地破冰船冰区结构设计规范对比研究

通过对各主要船级社关于破冰船结构设计的规范进行比较和分析,研究了不同规范关于冰级定义、船体加强区域划分、材料和腐蚀余量、船体外形参数、冰载荷、冰区总强度、冰区构件尺寸以及结构设计细则的具体要求;总结了各种规范体系的特点,为今后极地破冰船的结构设计研发提供了规范参考,具有一定的现实意义。     

基于合作教学法的过程性评价实践与反思

基于合作教学法在课堂教学改革中取得实效的背景下,结合教学实践,以"英语精读"课程为例,探讨过程性评价的实践做法,即明确过程性评价标准并尝试提供一套切实可行的过程性评价考核方式,最终实现课程考核对教学的正反拨作用,并对过程性评价在实践中的局限进行反思。     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

铁路路基动态变形模量的数值模拟分析

介绍铁路路基动态变形模量理论计算公式的推导及动态变形模量的测试原理,采用有限元软件模拟动态变形模量的测试过程,分析承载板与土体接触压力、路基动态变形模量的影响因素,并计算动态变形模量的有效测试深度.结果表明:在承载板中心一定范围内,接触压力模拟结果较理论计算值大;土体的动弹性模量对接触压力影响很小,可以忽略;路基动态变形模量测试冲击荷载作用下,土体只发生弹性变形;动态变形模量与土体动弹性模量呈线性关系,路基动态变形模量的模拟结果大于理论计算值;土体的泊松比对动态变形模量影响较小;动态变形模量有效测试深度建议取0.5~0.6 m.     

考虑移步需求的无桩型共享单车动态调度研究

共享单车系统自发的不均衡性导致单车数量分布与用户需求分布之间产生偏移，降低了系统服务能力，需要调度实现再平衡. 现有动态调度算法缺乏考虑起点车辆供给不足，用户在出行过程中“再次”取车的移步需求，难以准确识别用户真实的出行需求分布，降低了调度效果. 本文提出以用户出行选择行为为下层，以调度车辆路径规划为上层的双层规划模型框架，设计结合仿真系统的启发式求解算法. 算例场景基于上海市虹口、杨浦区共享单车历史出行数据搭建，并进行网格化处理. 算例结果表明，模型能有效识别移步需求，提高共享单车的供需匹配能力. 针对各类调度资源配置情况，共享单车的供需匹配率提升18.07%~ 19.89%，提高了共享单车系统的管理效率.