奔驰S600轿车空调器不制冷

故障现象一辆德国奔驰1993年款W140系列600SEL型轿车，开空调后，行驶不到2km即感觉制冷效果不好，再行驶一段里程之后就没有制冷，压缩机不再工作。     

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

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

公路施工网络时间优化方法探讨

利用改变网络计划的逻辑关系和缩短关键工序的持续时间两类方法,对一个初始网络进行时间优化,从而使一个网络计划合理、有效、可行。     

小半径曲线下聚氨酯减振垫浮置板轨道减振性能的测试分析

目前,对于减振垫浮置板轨道的动力性能评价,主要选取直线段轨道进行研究.对于曲线段(尤其是小半径曲线段)减振垫浮置板轨道的减振性能鲜有涉及.本文以深圳地铁小半径(R=450 m)曲线段聚氨酯减振垫浮置板轨道为例,对聚氨酯减振垫浮置板轨道和普通整体道床进行了现场振动测试,在时域和频域内分析了隧道壁垂向振动加速度.结果表明:在小半径曲线段,聚氨酯减振垫浮置板轨道的减振效果仍旧明显.较于普通整体道床,聚氨酯减振垫浮置板轨道减振频段主要为4～8 Hz以及25～200 Hz,且在25～200 Hz频段内更为显著,减振量值范围为3.2～23.9 dB.但是,钢轨垂向最大位移约为普通整体道床的2倍,这主要由于降低轨下支撑刚度所致.     

舰艇编队信息融合中模糊C-均值算法改进研究

在分析舰艇编队信息处理融合的基础上,提出舰艇编队信息融合体系结构、模型和实现框架。针对原C-均值算法在处理数据时的不合理性,提出了改进的模拟C-均值算法,提高分类效果,满足信息融合的实时要求和可靠性要求。     

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

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

低碳环境下车辆路径问题研究

车辆路径问题(VRP)是供应链管理中的关键问题,同时环境问题又是物流领域亟待解决的主要问题之一,所以在研究VRP过程中结合当前环境是研究低碳运输的重要方式。为实现低碳运输,文中计算油耗时考虑了车辆的载重和车速,并以最少成本作为目标函数对VRP进行研究,建立数学模型,对传统的人工蜂群算法进行改进,最后通过matlab软件进行仿真实验。     

基于语义的可定制数据切分和动态加载方法

文章提供一种基于语义的可定制数据切分和动态加载方法，它能够对源数据库建立基于语义的元数据描述，根据不同用户的数据需求，依据数据的语义相关性，转化并归纳为通用的策略模版，基于策略进行数据的切割和数据的级联抽取。之后，采用容错式动态加载方法。这在一定程度上实现了异构数据库之间的批量数据迁移。     

两船并靠状态下的运动响应数值模拟研究

针对两船并靠工况复杂,各种运动相互间存在耦合的情况,基于三维势流理论和波浪的辐射/衍射理论,应用多体水动力学软件,建立了船体、护舷和缆绳的模型,开展了两船在风、浪、流作用下的运动响应数值模拟。模拟结果可作为并靠方案设计和优化的参考依据,也可为两船并靠状态下的护舷力学性能计算提供支撑。     

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

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