左转影响下的车队离散模型研究

为了分析车队离散模型在实际中的适用性,首先剖析Roberston模型存在的不足,考虑左转影响下车队的离散特性,建立左转影响下直行车的离散模型.以北京市调查数据为基础,利用实际数据对离散模型进行验证,结果表明,A取0.1与实际数据比较吻合,左转影响下的离散模型预测的效果更佳.     

级配曲线走向与沥青混凝土空隙率关系的研究

基于11组不同走向矿料级配的沥青混合料试验数据,对沥青混合料空隙率随级配曲线走向改变的变化规律进行了研究,分析了沥青混合料空隙率对级配变化的敏感程度.随着细集料由偏细的上限级配变化到偏粗的下限级配,沥青混合料空隙率逐渐变大;粗集料采用中间级配时空隙率最小,采用上限级配时空隙率最大.秩和检验表明:粗、细集料及4.75mm通过率的变化均对沥青混合料空隙率产生影响.其中,细集料级配的变化是导致沥青混合料空隙率变化的最显著因素.     

浅谈沥青混合料摊铺过程中的质量检测及缺陷分析

摊铺是道路面层施工的关键工序,摊铺的平整度和密实度直接影响到路面的质量,从而直接影响到行车速度和行车的舒适性,加剧车辆的轮胎磨损,甚至影响到车辆的安全行驶,结合实际,浅谈沥青混合料摊铺过程中的质量检验及缺陷分析。     

茅荆坝隧道斜井与正洞交叉口段施工

根据现场围岩实际情况,结合超前地质预报结果及监控量测数据,总结出斜井快速进入正洞的挑顶、支护等施工经验,为同类工程施工提供参考。     

盾构刀具设计理念及应用

随着隧道建设事业的蓬勃发展,盾构机和盾构刀具的国产化进程逐步加快,通过不断的施工检验,在很多施工中国产刀具已代替洋品牌。国内的盾构刀具生产企业先进的设计理念逐渐得到认可,甚至在许多重难点工程中发挥出更优于进口刀具的水平。现以山东天工岩土工程设备有限公司近年来自主研发的一系列盾构刀具为例,就目前国内盾构刀具生产厂家所倡导的设计理念及应用作进一步探讨。     

拉索高强镀锌平行钢丝摩擦系数的进一步确定

准确识别斜拉索内平行钢丝间的摩擦系数值是确定拉索局部弯曲应力大小的必要的前提条件。为了进一步精确测定斜拉索高强镀锌平行钢丝摩擦系数值,利用自行设计的装置在所需加力范围内对钢丝施加正压力,所施加的正压力可以达到实桥中拉索工作时所受的正压力值的大小,在加力范围内,测定出一系列钢丝间的摩擦系数值。试验结果表明:随着正压压力的增大,斜拉索内高强镀锌平行钢丝的摩擦系数明显降低;但当压力增大到较大值时摩擦系数的降幅明显减缓。     

基于虚拟点云的二阶段多模态融合网络

针对点云的稀疏性和无序性对目标检测准确率的影响,本文提出了一种基于虚拟点云的二阶段多模态融合网络VPC-VoxelNet。首先,利用图像检测目标信息构造虚拟点云,增加点云的密集程度,从而提高目标特征的表现;其次,增加点云特征维度以区分真实和虚拟点云,并使用含置信度编码的体素,增强点云的相关性;最后,采用虚拟点云的比例系数设计损失函数,增加图像检测有监督训练,提高二阶段网络训练效率,避免二阶段端到端网络模型存在的模型误差累计问题。该目标检测网络VPC-VoxelNet在KITTI数据集上进行了测试,检测精度优于经典三维点云检测网络和某些多传感器信息融合网络,车辆检测精度达到了86.9%。     

非严格优先权下许可相位左转车辆侵占时距分布模型

提出侵占时距的概念来描述非严格优先权下许可相位左转车流的微观特性,并根据左转车辆通过时,交叉口内对向直行车辆的不同存在形式,划分成了4种交通状态.基于大量的实测数据,利用7种不同的模型对侵占时距分布进行拟合.采用最大似然估计法进行参数估计,通过Kolmogorov-Smirnov检验对不同模型在不同状态下的拟合优度进行判定.最终得到Log-Logistic模型对不同交通状态下的拟合效果最优,并且其模型参数值的大小与对向直行车辆的不同存在状态有关.最后,选取了2个交叉口作为验证组,验证了Log-Logistic模型在不同交叉口不同交通状态下的适用性.     

铁路建设检验批的数据特征研究

介绍铁路建设项目管理中检验批数据应用的相关背景,检验批数据的空间、时间和专题三大数据特征,以及检验批数据与质量控制、进度控制、安全控制、投资控制以及物资设备管理的关联关系,并建立相应的关联关系模型,形成采用计算机存储和管理的检验批数据规范.     

基于STAMP与模型检验的全自动无人驾驶复杂运营场景安全验证方法

与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂运营场景安全验证方法。首先,基于STAMP理论构建运营场景分层控制结构模型,辨识潜在的不安全控制行为、分析危险致因和安全约束;其次,定义分层控制结构模型与安全状态机模型间的基本转换规则,基于分层控制结构模型、安全约束和转换规则,构建运营场景安全状态机模型;最后,针对提取的安全约束,利用数据流图建立安全属性验证模型,结合模型检验技术,对运营场景安全状态机模型进行形式化验证。以全自动无人驾驶运营场景中列车自动进站停车为例,对方法进行验证分析。结果表明,当STAMP理论提取的安全约束通过了场景安全状态机模型的验证时,表示在该场景中对应的不安全控制行为没有发生且不导致相应危险。该方法结合系统安全分析与形式化建模验证的优势,降低了运营场景建模的难度,构建的运营场景形式化模型满足系统安全约束,可以作为全自动无人驾驶系统安全设计和安全...