安全气囊气体发生器壳体精密成形方法的研究

论述了安全气囊气体发生器壳体的基本结构形式及其不同的成形方法。提出了流动控制成形力的计算公式、控制腔位置的判断准则及其形状和尺寸的设计方法。通过试验表明，所开发的流动控制成形技术可节约原材料、提高工作效率及产品质喇，具有显著的技术经济效益。     

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

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

砂堤的荷载与稳定性分析

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

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

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

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

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

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

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

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

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

“三图四表”管理制度在轨交基坑施工中的应用

结合宁波轨交1号线一期工程TJ-Ⅷ标东环南路站工程,参建单位对基坑结构风险进行了静态分析与评估,并对基坑设计方案进行了优化。在基坑开挖过程中,通过"三图四表"管理制度对基坑开挖过程进行动态实时的控制,采取了一系列针对基坑变形的控制措施,顺利完成了该站主体基坑的开挖作业。可供欠固结土地区深基坑的设计和施工参考。     

港口供电系统改进

目前港口供电系统存在体积大、结构设置不合理和不适应环境等问题,经研究提出了减小体积、优化系统配置、提高箱变安全性和环境适应性等相应对策,在研究的基础上设计了一种新型箱式变电站,解决了目前港口供电系统存在的不足.