基于主线拥堵场景的快速路级联信号控制方法

城市快速路高峰时段已经呈现出常态性拥堵,对快速路主线拥堵进行疏导尤为必要.本文通过在主线和入口匝道进行三级交通检测判别,设计了多级联动的信号控制流程与实现方式,构建了不同拥堵程度下的分级响应控制策略,基于瓶颈点通行能力最大化下的实时信号控制算法及最大排队长度限制下的实时信号控制算法,建立了主线及匝道车道开关闭、汇合处信号灯控制、主线动态限速、交通信息诱导等于一体的快速路级联信号控制方法.仿真分析结果表明,在主线不同拥堵程度下采取的级联信号控制方法,可以有效提升快速路主线平均车速,并未导致匝道排队的恶化,局部路网平均延误均有明显降低.     

交通可达性与城市经济活动的空间特征分析：以北京市为例

借助开源大数据平台,提出交通可达性及城市经济活动数据采集策略,利用全局常参数和局部变参数回归模型研究北京市六环区域内两者的空间特征.相比于全局模型,局部模型能够较好地刻画交通可达性与城市经济活动间的空间异质性特征.结果表明,私人交通可达性呈现以天安门为中心径向递减的多圈层结构,公共交通呈现轨道交通沿线区域高的特点.交通可达性与经济活动匹配度具有空间非平稳性,空间分离和匹配现象并存.西北部、中部区域空间匹配特征显著,东北部、东部区域次之,西南区域空间分离现象最为严重.丰台及良乡等分离区域,宜重视道路及轨道线网等基础设施建设工作;未来科学城等私人交通匹配,公共交通分离的区域,可考虑修建轨道线路,并增加公交运营服务水平;中关村科学城、北京经济技术开发区等匹配区域,以调整交通运营管理政策为主.     

基于时间阈值的旅客登机模型及动态登机策略

减少登机时间有利于提高旅客体验和航空公司运行效率,故优化基于旅客行为的登机策略尤为重要. 基于旅客登机过程中两个阶段的延时,建立考虑时间阈值的新登机模型;在干扰时间阈值分布的基础上,通过优化算法分配行李,从而使登机时间最小,进一步得到基于不同行李构成的动态旅客登机策略. 通过元胞自动机仿真和现场模拟实验比较动态登机策略的效率. 结果显示：新登机模型能准确反映登机过程,Steffen 次序具有最大的干扰时间阈值和优化空间;本文提出的动态登机策略可以缩短登机时间,使登机效率显著提高.     

基于人口迁徙大数据的城市对外交通客运方式优势出行距离研究

为提高我国城市对外交通中客运多方式协同运行效率,优化客运资源配置,依托人口迁徙大数据,建立量化分析城市对外交通客运方式优势出行距离的方法. 提出用绝对优势出行距离和相对优势出行距离来表征优势出行距离,分别构建城市对外客运方式的绝对优势出行距离模型和相对优势出行距离模型;利用人口迁徙大数据,绘制基于出行距离的客运方式分担率曲线,对优势出行距离模型进行求解. 结果表明,我国城市对外交通中公路、铁路、航空客运方式的绝对优势出行距离分别为[8, 119] km、[119, 1 594] km和[1 594, 3 000] km,相对优势距离分别为[8, 463] km、[318, 983] km和[2 477, 3 000] km.     

基于自适应迭代学习控制的列车自动驾驶算法

针对高速列车自动驾驶系统受到时变外部扰动和受限状态的情况,提出一种基于迭代学习控制的自适应控制算法. 基于Lyapunov 函数,利用列车运行过程中的状态偏差,推导出自适应迭代学习控制律和参数学习更新律. 构造类Lyapunov 函数的复合能量函数,通过迭代域的差分,证明其差分负定性和收敛性. 采用所提控制算法对列车跟踪性能进行计算机仿真和实例仿真验证,结果表明,所提出的自适应迭代学习控制算法对列车期望曲线跟踪具有较高的精度和较快的收敛速度,能够在较短的迭代次数实现对期望曲线的精确跟踪.     

导热系数对寒区隧道温度场时空分布的影响

寒区隧道温度场对其抗防冻设计至关重要,围岩和支护结构的导热系数对温度场时空分布具有显著影响. 以寒区公路运营隧道为计算模型,采用理论推导、现场实测、数值仿真等方法对寒区隧道温度场的时空分布受导热系数的影响规律进行了研究. 研究结果表明:在任意时间点,变温圈内各点的温度均随支护结构导热系数的增大而降低,且支护导热系数越大,同位置处的温度降低速率越小;在任意时间点,支护温度随围岩导热系数的增大而升高,围岩温度随其导热系数的变化呈现分区性;可将围岩变温圈分为Ⅰ区和Ⅱ区:Ⅰ区内的各点温度随围岩导热系数的增大而升高;Ⅱ区内的各点温度随围岩导热系数的增大而降低;时间越长,Ⅰ区和Ⅱ区分界线的斜率和截距越大. 研究成果可为寒区隧道的抗防冻设计及选线提供借鉴和参考.      

一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器,子句集化简一直是必不可少的步骤,这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断,提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性,根据该原则删除子句,不会影响原始子句集的不可满足性或者可满足性. 此外,依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法,并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性,结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.      

基于分析和试验的微型客车白车身刚度研究

采用有限元方法分析了某微型客车自车身扭转刚度和弯曲刚度,以及车身局部变形等刚度特性,并用试验数据验证了分析结果.其结果表明:该车身扭转刚度较低,后门框变形较大,需要改进设计.指出采用车身刚度与质量比参数来综合评价白车身刚度性能更为合理.     

自由测站边角交会网在隧道内平面控制中的应用研究

针对目前高铁隧道洞内导线环网多余观测量少、受旁折光影响大、控制点使用困难和横向误差大等问题,提出用自由测站边角交会网作为隧道洞内平面控制测量的新方法.推导了自由测站边角交会网的边长相对中误差和横向贯通误差计算模型,并进行了仿真计算.计算结果表明,这两项指标能够满足高速铁路工程测量规范的精度要求;隧道贯通精度提高了20%,并提高了测量效率;从定性和定量两方面证明了自由测站边角交会网可以代替洞内导线环网.      

高职院校推进终身化职业教育的探索与实践

通过对浙江交通职业技术学院在服务终身职业教育过程中成功案例的剖析,引导高职院校充分利用自身的办学优势和优质的教学资源,积极改革课程体系,探索教学新模式,并为培养具有较强职业核心能力,具有可持续发展的社会新型人才提供有力保障。