基于微分动态逻辑的无线闭塞中心交接协议建模与验证

ETCS-2级列车运行控制系统呈现复杂的混成性。按照无线闭塞中心(RBC)交接协议的内容,建立RBC交接协议的UML图;基于微分动态逻辑理论,从混成系统角度对ETCS-2级列控系统规范中的RBC交接协议进行建模。建立的RBC交接协议模型包括列车子模型、移交子模型和接收子模型。根据模型的性质,构造微分不变式,运用证明工具KeYmaera验证模型的安全性和活性。结合专业知识对关键性的约束条件进行分析并将其反馈至模型,实现模型的精化。在模型验证过程中,发现了交接安全及交接效率的参数约束条件,由此参数约束条件可知,RBC交接效率受RBC离散控制时间和列车运行状况的共同影响。     

GPS/GIS在城市公共交通调度系统中的应用研究

城市公共交通的合理调度已成为城市交通发展的重要课题。本文从GPS和GIS的特点出发，探讨了基于GPS和GIS技术的城市公共交通实时调度系统的建构过程，并对系统实现的有关技术问题进行了分析。     

线在建筑速写中的运用

用线造型是建筑速写的主要表现方法,对线的造型性、线的节律性以及线的表现力进行了讨论,阐述了线在建筑速写中所起到的重要作用。     

6500m3/h绞吸船用泥泵四叶片叶轮研发

为适应绞吸挖泥船超长排距时的施工需要,在6500m³/h绞吸挖泥船原三叶片高效高压泥泵的基础上,保证叶轮外形尺寸不变、叶轮流道通过能力不下降的情况下,分别对叶轮轴面和轴面流线进行水力设计,设计叶轮为四叶片扭曲叶片,并结合数值模拟对叶片包角进行优化计算,确定叶片包角为138°。通过模型泵试验,对比测试与模拟计算结果,验证叶轮的水力性能。通过对比四叶片与原三叶片高效高压泥泵的性能参数,预测两者在不同土质、不同排距下的生产率与能耗情况。结果表明,四叶片泥泵扬程比原三叶片高效高压泥泵提高了18 m以上,最高效率达到86%,且通过球径均为425 mm;土质为0.2 mm细砂时,研发泥泵的生产率提高了9%以上,排距提高了14%以上,耗功最小值降低了约3.5%。     

接岸引堤大块石回填地质成孔常见问题及解决措施

为了在接岸引堤大块石回填地质条件下进行灌注桩基础施工,采用泥浆护壁冲孔灌注桩施工工艺。成孔过程中通过加大孔径纠偏,加大护筒厚度防止挤孔,加大护筒长度及孔内回灌混凝土堵漏,加大锤径、冲锤质量穿透孤石等施工措施,有效提高成孔效率,保证成孔质量,积累特殊地质条件下灌注桩成孔的施工经验,可供同类工程参考。     

引江济淮工程派河口复线船闸建设规模

针对引江济淮工程派河口复线船闸的建设规模问题,根据工程建设区域船型特点,运用随机过闸排挡仿真方法计算不同闸室尺度方案的船闸通过能力指标。结合闸室尺度对船舶组合的适应性因素,初步筛选闸室尺度方案。进而从船闸建设场地条件、通过能力需求、过闸船型适应性以及运营调度策略等角度进行对比分析,对船闸建设规模进行综合论证。     

装配重力式混凝土护岸结构的设计及施工

装配式建筑施工效率高、质量可靠,且符合国家提倡的绿色低碳、可持续的发展理念,是未来发展的方向。结合近年来我国现有装配重力式混凝土护岸结构工程实例,通过对结构选型、构件拆分、构件连接、模具组合、运输吊装等关键技术进行全面、系统的研究分析和提炼,形成成套技术。该技术可为装配重力式混凝土护岸结构的设计和施工提供安全可靠、经济适用、示范性强的方法。     

国外潜艇燃料电池AIP现状及启示

本文综述并深入比较世界各国FC/AIP潜艇研究现状、性能特点及发展方向,指出质子交换膜燃料电池(PEMFC)最具吸引力.分析了PEMFC主要特点,梳理了PEMFC应用中关键技术,得出发展启示,为潜艇采用FC/AIP技术发展提供针对性的指导.     

双断级滑行艇阻力性能优化方法

阻力性能是双断级滑行艇水动力性能最为重要的内容之一,本文提出一种基于CFD模拟的优化方法,结合艇底斜升角、断级高度、断级总长等因素对某双断级滑行艇进行了静水阻力优化及试验验证。结果表明:CFD计算值与模型试验结果吻合度较高,各因素对艇体阻力均有较为明显的影响,断级高度和断级总长的增大一定程度地增强了双断级滑行艇的滑行效率。优化研究实现了双断级滑行艇阻力系数R/▽低于0.25的技术指标,验证了基于CFD的优化方法的可靠性。     

复杂条件下城市过河隧道结构方案研究

以上海市某过河隧道为例,综合考虑充分利用地下空间、发挥道路交通功能、保护周边环境等因素,对隧道过河的明挖、暗挖方案进行深入对比,确定了明挖叠层结构方案,结合围堰分幅施工;同时根据周边环境条件,采用合理的基坑支护体系,对基坑开挖施工进行了全过程数值模拟。结果表明,开挖对周边环境的影响满足规范要求。