全自动汽车安全性能检测系统的设计与实现

介绍了全自动汽车安全性能检测系统的设计思想和系统构成，重点介绍了该集散型控制系统的特点及在上、下位机设计中需解决的问题和实现方法.     

气压ABS系统流量特性的实验研究

开发了气压ABS电磁阀测试系统，建立了气室充、放气过程压力变化的微分方程，结合两者研究了气压ABS系统的流量特性，获得了某中型客车ABS系统在不同情况下的流量系数。讨论了ABS电磁阀的结构参数和动作频率对整个系统流量特性的影响，并得到了几种典型动作频率下的流量系数。建立的气室压力模型和所求得的流量系数为气压ABS控制逻辑的设计提供了依据。     

砂堤的荷载与稳定性分析

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

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

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

机场跑道填缝胶的研究

通过制备聚硫填缝胶，并对其进行抗拉伸、耐高低温等性能测试，讨论溶剂、环氧树脂、DBP、填料、催化剂等各因素对其性能的影响，总结其最佳实验配方。     

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

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

基于多旅行商问题的应急设施服务区划分模型

基于多旅行商问题，增设集散中心需求及应急服务设施资源容量约束条件，以最小化遍历区域内全部集散中心的综合旅行时间成本为优化目标，构建一种应急设施服务区划分模型，确定各应急设施的服务区范围.设计一种复合算法求解模型，首先基于P-中值选址模型的优化理念，形成初始方案；继而加入禁忌搜索算法，结合LKH求解器对模型进行迭代优化求得最优解.基于宁波市北仑区实际拓扑网络进行案例分析，验证了模型和求解方法的有效性.     

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

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

基于NFFD 算法的船体几何变形技术

本文以非均匀有理B样条基函数作为参数体属性,并结合非均匀控制点网格,建立了适用于船体几何的NFFD变形技术。重点阐述了NFFD方法的基本原理和变形规则,并以矩阵表示方法为基础构建了数学模型。研究了控制点数量和分布对变形结果的影响,增加了控制点变形几何的能力并获得了更大的设计空间。最后,以某CNG运输船为例完成了球鼻艏、船艏和船艉部分几何的自动变形。本文的工作为船型优化提供了良好的变形工具。