旧水泥混凝土路面沥青罩面层的设计与施工探讨

结合316国道十堰段旧水泥混凝土路面的改造工程，介绍旧水泥混凝土路面上加铺沥青面层的结构设计和施工方法，以及玻纤格栅和土工布的应用。     

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

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

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

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

基于强化学习的平行航班动态定价

由于平行航班之间的竞争越来越激烈,为提高航空公司收益,对机票销售系统中的航班和旅客分别建模。将航班的动态定价问题建模成马尔可夫博弈过程,对混合类型旅客建立Logit选择模型。利用多Agent的强化学习算法对实例进行求解,结果表明WoLF-PHC算法收敛所需迭代的次数大于Nash-Q算法,但在计算速度上WoLF-PHC算法优势明显,且具有较强的适应能力。此外,航空机票的定价策略与其他易逝品有所不同,整体呈现上升趋势。而旅客环境参数的变化,也会影响定价策略。基于WoLF-PHC算法得到的定价策略对于收益提升具有积极作用。     

城市轨道交通车辆产品标准体系探索

分析了国内外城市轨道交通车辆产品标准体系的现状,重点介绍了城市轨道交通车辆产品标准体系的总体要求、结构搭建、产品标准的制修订,以及标准的实施和改进措施。     

诺伊达地铁车辆制动系统模块化工艺设计

介绍了印度诺伊达地铁车辆制动系统结构,采用模块化工艺设计方法对制动零部件进行设计,分别设计出风源模块、制动控制模块、辅助控制模块及管路模块,从而优化产品结构,简化组装,提高了工作效率,并且方便后续维护,提高产品竞争力。     

移动闭塞系统区间通过能力分析及参数计算

移动闭塞条件下“闭塞分区”呈现出“移动”和“长度变化”的特征,其区间通过能力的计算较固定闭塞系统更加复杂。本文建立了移动闭塞系统区间通过能力的数学模型,对区间通过能力与列车追踪运行速度、跟驰车距和列车性能等参数之间的相互关系进行了定性、定量分析,并就关鍵参数的计算方法进行了深入的讨论,对移动闭塞条件下的列车运行控制与行车组织有一定的参考价值。     

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

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

螺柱焊在船舶焊接卡马中的应用

本文介绍了螺柱焊焊接工艺及其在船舶焊接卡马中的应用,并结合实船使用情况,对螺柱式焊接卡马和普通焊接卡马在工效和成本方面进行了对比分析。