基于时间自动机的自主化ATP等级转换功能建模与验证

自主化ATP(列车自动保护)系统在国产化ATP系统的基础上,增加了一些新的功能需求。针对自主化ATP系统安全关键功能的安全性和正确性保障的问题,以自主化ATP系统中典型的C2等级转换C3等级的等级转换功能为研究对象,采用时间自动机形式化地分析等级转换功能的安全性、活性和实时性。研究时间自动机的数学理论基础,分析自主化ATP系统等级转换功能的逻辑和与其他系统的数据交互;采用时间自动机建模方法,从ATP、RBC(无线闭塞中心)和应答器3个方面,建立C2等级转换C3等级的时间自动机模型;研究自主化ATP系统等级转换功能需要满足的安全性、活性和实时性要求,利用UPPAAL软件验证等级转换功能的系统性质。结果表明,自主化ATP系统C2等级转换C3等级功能满足期望的系统需求。     

缓和曲线过渡段长度对地铁车辆动力性能的影响

少数地铁车辆通过缓和曲线时会出现高度阀偏离安装位置或其安装座损坏的现象。基于车辆动力学理论,采用SIMPACK动力学仿真软件建立了车辆动力学模型,研究车辆通过曲线段时动力学性能指标的变化规律,进而分析高度阀偏离安装位置等异常现象出现的原因。结果表明:轮轨力的突变发生在缓和曲线过渡段,并且随着缓和曲线过渡段长度的增加轮轨力突变值减小;高度阀偏离安装位置或其安装座损坏主要是由于车辆通过缓和曲线过渡段时产生的异常轮轨力及异常冲击所致,地铁车辆速度为80 km/h时缓和曲线过渡段长度应至少达到3 m。     

船台横移架走轮结构可靠性分析

应用有限元仿真和理论计算,分析船台横移架走轮工作过程中的受力状况和变形最大位置,同时从不同角度对现有的船台横移架走轮进行强度校核以及安全性预报。     

海洋环境下港口工程混凝土界面过渡区氯离子扩散系数模型

通过现场暴露物理试验,实测得到了港口工程混凝土及相对应的水泥砂浆试件中氯离子的浓度分布结果,经回归分析分别得到了这两种试件的氯离子扩散系数。以此为基础,定量评估了粗骨料的稀释、曲折和界面过渡区效应对混凝土中氯离子扩散系数的影响,并建立了混凝土界面过渡区氯离子扩散系数模型。基于混凝土中氯离子扩散的细观数值模拟方法,验证了所建立的混凝土界面过渡区氯离子扩散系数模型的正确性。对细观数值模拟结果的分析可知:界面过渡区对混凝土中仅考虑粗骨料的稀释和曲折效应的氯离子扩散系数的提升效应不可忽略,应充分考虑界面过渡区的存在对混凝土中氯离子浓度分布和扩散特性的影响。     

南宁地铁1号线列车自动运行模式下列车停车精度优化设计

以南宁地铁1号线ATO(列车自动运行)模式下列车停车精度为研究对象,以停车精度的统计数据为依据,通过对ATO制动力和电空制动配合两个方面进行分析,找出了停车精度不准的根本原因。进行了ATO模式停车精度的优化设计,并在实际运营线路上进行了测试验证。测试结果表明,南宁地铁1号线ATO模式下列车停车精度的优化设计方案可行,列车停车精度得到了较大的提高。     

高速公路工程路桥过渡段质量控制措施

在高速公路建设中,路桥过渡段的建设质量会对高速公路的运营和服务产生重要影响。此文在阐述已建有关高速公路工程存在路桥过渡段"桥头跳车"现象,分析所产生病害原因的基础上,针对吉林省某高速公路工程实际,论述消除或减弱路桥过渡段"桥头跳车"现象可采取的质量控制措施,即选择填料、满足路基压实度要求、加强路桥过渡段结构设计、加强施工工序和工艺控制及施工管理、严格施工质量检测等。     

地铁杂散电流腐蚀防护系统相关问题探讨

论述地铁牵引供电系统中的杂散电流腐蚀防护系统,讨论地铁杂散电流腐蚀产生的机理及其危害,阐述治理杂散电流所采用的方法和防治原则,简要介绍目前应用的杂散电流监测系统和排流柜之间的关系,对杂散电流腐蚀防护提出合理建议。     

下穿T2航站楼天府机场高铁站转换厚板结构选型

本文对天府机场高铁站下穿天府国际机场航站楼咽喉区区间隧道转换顶板结构方案进行必选,采用MIDAS/GEN建立实体单元受力分析,比对两种转换形式上受力的优缺点,提出圆拱厚板转换设计的设计建议,为其它隧道结构下穿建构筑物转换工程设计提供参考.     

燃油系统供油单元的配置研究

为了降低营运成本,越来越多的船舶柴油发电机燃用低质燃油(重油),已成为船舶建造发展趋势;而针对主辅机在航行中的不同运行工况和要求,燃油系统在设计中应如何合理配置供油单元,主辅机是共用一套还是各用一套,就此作了分析与研究。     

海口市低碳交通运输体系研究

针对海口市交通运输能源消耗及碳排放现状,立足于海口市经济社会发展及海港城市特色,从低碳视角提出海 口市交通运输发展目标,从综合交通运输体系、城市交通结构、科技水平、运输装备等方面进行战略研究,着重推动港口 绿色发展,形成与海口市经济社会相适应的“绿色、畅达、智慧、慢游”的低碳交通运输体系。