公路特长隧道通风与照明系统协同集约化设计探索

为了降低公路特长隧道通风与照明系统设施总规模和工程全寿命周期成本,以浙江杭绍台 高速公路陈家山特长隧道为依托,提出通风系统与照明系统协同设计的理念,即适应通风烟雾浓度、按需配置照明灯具光源类型。采用LED+高压钠灯的混合光源方式,隧道末端的烟雾浓度指 标要求可以提高,而隧道需风量相应可降低约17%。在此基础上,积极采用互补式通风模式,利用下坡隧道中的低浓度空气去稀释上坡隧道中的污浊空气,实现相邻隧道通风负荷的均衡。相对于优化之前采用的单竖井送排通风模式及纯LED光源类型,隧道通风照明系统总安装功率下降30%以上,从而有效提高了特长公路隧道通风系统设施规模的集约化水平,为减少今后运营期间的设备闲置打下良好基础。     

临近交叉口的车辆跟驰换道行为研究

临近交叉口的车辆往往呈现出复杂多样的跟驰换道行为.基于二维最优速度(OV)交通流模型,本文构建了一个改进的双车道车辆跟驰换道模型,以刻画交叉口前路段上的车辆跟驰换道机制及车流宏观特征.借助模型分析了换道车辆比例、换道期望参数和跟驰安全距离等对交通流宏观特征的影响.结果表明:换道车辆比例对通过停车线的进口道流量有负面影响,换道行为越多,进口道流量越小.换道期望参数越大,换道成功率越大;当道路拥堵时,增大换道期望会减少进口道流量.增大安全距离,容易提升换道成功率但会减小进口道流量,同时促使拥堵发生.     

基于轻量级模型的隧道岩性快速识别方法

为了解决隧道岩性现有识别方法中识别时间长、安全性低、主观性大等问题,结合不同岩性表面具有不同的成分特征,提出了一种基于轻量级模型与岩石图像的隧道岩性快速识别方法.首先,通过相机采集隧道常见的片麻岩、花岗岩、石灰岩、大理岩、凝灰岩、砂岩等6类主要岩石,建立了岩石图像数据集并划分训练集、验证集与测试集;然后,基于轻量级模型...     

城市建成区智能化轨道快运系统的线路规划

介绍了智能化轨道快运系统的技术特点及优势,分析了建成区道路拓宽困难、道路交通流量大、用地空间有限等现实条件,并从线路敷设、路权方式、车站设置等方面讨论了智能化轨道快运系统规划的相关内容.以重庆市南滨路智能化轨道快运系统线路为应用案例提出规划建议.     

A Logical Characterization for Linear Higher-Order Processes

Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of higherorder processes constrained by linearity. Linearity respects resource-sensitiveness and does not allow processes to duplicate themselves arbitrarily. We provide a modal logic that characterizes linear higher-order processes,particularly the bisimulation called local bisimulation over them. More importantly, the logic has modalities for higher-order actions downscaled to resembling first-order ones in Hennessy-Milner logic, based on a formulation exploiting the linearity of processes.     

地铁隧道上方长距离并行基坑开挖的施工影响及变形控制

在深圳市桂庙路快速化改造工程施工过程中,前海下沉段需要长距离并行既有的地铁11号线隧道。这不可避免地会使下卧地铁隧道产生结构变形和附加受力,进而影响地铁隧道的运行安全。借助数值分析软件对基坑施工过程进行动态模拟,对比分析了不同工况下的坑顶土体放坡开挖、坑内土体开挖、主体结构施工等不同施工步序对下卧地铁隧道结构的受力和变形影响。在此基础上,提出了基坑分段开挖、控制基坑一次纵向开挖长度、前一段基坑开挖完毕后迅速施工底板等施工控制措施。现场监测数据验证了所提施工方法能有效控制下卧地铁隧道的变形。     

基于潜在类别模型的出行决策机理异质性研究

传统的离散选择模型是基于随机效用最大化准则构建的,然而考虑到决策者的异质性,不同的群体可能采用不同的决策机理.为此,本文考虑了两种不同的决策机理:随机效用最大化准则和相对优势最大化准则,并采用潜在类别模型来验证出行决策机理异质性的存在.首先,基于SP实验设计收集出行数据;其次,分别构建基于随机效用最大化准则的logit...     

���dz��ж³���Ϣ�ij��⳵����ϵͳ

在目前的出租车调度系统中,调度的出租车可能需要经过城市堵车区域,不能及时为乘客提供服务,本文对城市道路堵车对出租车调度的影响进行研究.根据出租车自动上传的城市道路堵车信息,建立出租车通过堵车区域的损耗方程,结合城市各道路交叉路口之间的距离,采用Dijkstra算法对最佳调度路径进行求解.实验仿真结果给出了发生堵车时,不同单位额外损耗(β)情况下对应的调度路程、路径和规避堵车区域发生的时间.最后与未考虑城市道路堵车的调度系统进行比较.比较结果表明,通过设置合理的β值,系统可根据堵车严重程度,合理规划出租车路径,规避堵车较严重区域.     

基于车流结构的计重收费可变附加值模型研究

计重收费是一种最主要的货车收费形式。为了分析货车流对公路交通的影响,均衡货车交通量的时空分布,需对传统计重收费方式进行优化。分析车流结构对公路使用寿命、通行能力、交通安全的影响,建立可变附加值模型,并分别对按车型收费、轮轴收费、计重收费、可变附加值计重收费4种方式在不同车流结构或货车总质量下的100km收费额度进行对比分析。分析表明,若按车型收费,在货车总质量和流量较小的情况下适用性较好;而按可变附加值计重收费则可更加合理地反映货车对道路及交通流的影响。     

基于平面三元阵的水声定位误差分析

水下平台引信采用声、磁、水压、电场等不同物理场对目标进行探测、识别和定位,其中,声引信是目前在水下平台引信中应用最普遍、效果最好的方式。水下平台要实现对目标的精确定位,除了主要受信噪比影响之外,其他诸多因素也会影响定位精度,如声速、阵间距、时延等,分析这些因素对定位精度的影响程度并采取相应的补偿措施,有利于更精确地实现对目标的定位。