基于元胞自动机的附加导流岛型出口仿真建模

为研究附加导流岛型出口对快速路交通流的影响，本文建立针对附加导流岛型出口的元胞自动机模型。基于KKW (Kerner Klenov Wolf)模型，引入3种换道规则并分段设定，以描述附加导流岛型出口影响下的车辆换道行为。针对主辅路直接衔接的几何特点，对主路车辆经由出口驶出的过程等效简化，定义附加导流岛型出口下的车辆驶出规则。模型的数值仿真结果表明：导流岛通过引导辅路车辆在导流岛上游向外侧车道合流，能够使辅路下游的内侧车道起到辅助车道的作用。在此设置下，辅路车流对车辆驶出造成的直接干扰得到缓解，主路的通行效率显著提高。然而，辅路车辆经过导流岛后的强制换道会对驶出的平稳交通流造成扰动而诱发局部拥堵， 影响驶出车流的进一步疏散，导致主路饱和流量和平均速度的下降。此外，导流岛使得辅路形成道路缩减瓶颈，在其影响下，辅路总饱和流量大幅下降。导流岛对辅路内侧车道的占用使得其流量和平均速度均低于外侧车道，通行效率受到更大的影响。     

中外斜坡堤胸墙波浪力计算对比

斜坡堤胸墙对于减轻越浪危害至关重要,国内外各胸墙波浪力计算方法的结果差异较大。基于国内外几种斜坡堤胸墙波浪力计算方法,结合工程案例和试验数据进行对比研究。结果表明:1)特定条件下,我国规范计算的水平波浪力压强分布高度远小于Jensen法和Pedersen法结果,后两法计算结果与实测高度一致。2)Jensen法和Pedersen法计算的水平波浪力及浮托力均比国内港工方法大,也大于实测值。3)港工规范计算的总水平波浪力比实测值小,其计算出的浮托力与实测值较为接近。4)Jensen法考虑了掩护棱体肩台高度的作用,Pedersen法考虑了掩护棱体肩台高度与宽度的影响。此二法考虑得相对全面,但其按深水波长计算0.1%超越概率的波浪力,计算结果偏于保守。5)建议重要工程以模型试验结果为准。     

海堤越浪量的物理模型试验及人工智能算法模型预测

通过物理模型试验,研究不规则波作用下,平均破波参数、相对坡肩宽度、相对防浪墙高度和相对堤顶超高对海堤越浪量的影响,采用人工智能算法构建海堤越浪量的预测模型,并结合实际工程进行验证。结果表明,海堤越浪量随平均破波参数的增大而增大,随其余3个影响因素的增大而减小,越浪量与这4个因子具有复杂的非线性函数关系;人工智能算法模型具有良好的预测精度和泛化性能,测试组超过90%的数据预测误差控制在±10%范围内。     

新型客机座舱环境下的旅客登机效率研究

通过优化旅客登机序列可以有效地缩短登机时间，减少航班过站时间.登机效率的提高可通过调整座舱结构，增加过道通过能力来实现，如安装可侧向滑动的Side-slip 座椅来增加过道宽度，进而减少登机冲突.本文研究Side-slip座椅提高登机的效率.在掌握旅客登机行为以及与登机环境相互作用的基础上，建立考虑旅客异质性的元胞自动机旅客登机仿真模型；以行人流动态特性分析为基础，开展登机时间与登机影响因素间的敏感性分析；对新型座椅的有效性进行比较评价.结果表明，Side-slip座椅可大幅提高登机效率，同时可吸收行李分布变化、非熟练操作等不确定因素对登机时间稳定性的干扰.     

浅谈通航环境信息在海图上的表示

通航环境是影响船舶航行安全的诸多因素之一,海图是描述通航环境信息的重要载体。本文将结合海图工作实际,从通航环境对船舶航行的影响、海图的重要性、目前通航信息在发布等方面存在的问题及建议等浅谈通航环境信息在海图上的表示。     

多元协同演绎在一阶逻辑ATP中的应用

一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一. 目前一阶逻辑自动定理证明大多采用二元归结方法，每次只有2个子句进行归结，只消去1组互补对，导致演绎归结式文字数较多，影响了演绎效率. 为此，基于矛盾体分离规则提出了一种多元协同演绎算法，该算法每次允许多个子句进行协同演绎，消去多组互补对，从而演绎分离式文字数较少且可控，能有效提高推理能力；并且，该算法通过有效演绎权重和无效演绎权重调整子句演绎顺序，利用回溯机制搜索较优路径，有效规划演绎路径. 将该算法应用于国际顶尖证明器Eprover 2.1，以CADE2017竞赛例（FOF组）为测试对象，对加入多元协同演绎算法的Eprover 2.1证明器进行试验. 试验结果表明其能力超过了Eprover 2.1:多证明定理8个；能证明Eprover 2.1未证明定理31个，占未证明总数的28.2%.      

路面低温变色复配物的制备及热色特性

为提升路面冬季运营安全，实现路面低温动态预警，开展了路面低温变色复配物的制备及热色特性的研究。考虑变色温度、变色色差，确定了低温变色复配物各组成材料；通过改变各组分用量，讨论了其对变色复配物热色特性的影响规律；基于加权优序法优选出变色复配物的最优组成比例；在此基础上，通过差示扫描量热法和红外光谱试验揭示了变色复配物的显色机制，并将变色复配物应用于变色标线的制备中，体现出了良好的变色性能与耐久性，验证了变色复配物在道路工程应用的可行性。研究结果表明：显色剂种类决定变色色差，溶剂种类决定变色温度，随着显色剂用量的增加，变色复配物的变色色差和变色温度均减小，随着溶剂用量的增加，变色复配物的变色色差先增加后减小，变色温度升高；通过加权优序法确定隐色剂、显色剂、溶剂的最佳质量比为1∶1∶20；变色复配物的热变色行为是由温度主导的结晶紫内酯与正癸醇之间的相互竞争引起的，低温时结晶紫内酯争夺得到更多的双酚A使体系有色，高温时正癸醇俘获较多的双酚A使体系无色，通过室外耐候耐久试验、磨耗试验、耐污试验证明了变色标线具有良好的变色效果和耐久性。     

新建下穿隧道对既有隧道影响的可拓学分析

为了探讨新建隧道下穿既有隧道时对既有隧道的静力影响程度,应用可拓学物元理论,考虑新建下穿隧道与既有隧道间的相互关系,建立了考虑既有隧道洞径、新建隧道洞径、两隧道净距、围岩级别以及既有隧道埋深的静力影响程度评价模型,并将该模型得到的工程实例评价结果与实际结果进行了比较.结果表明,所建立的模型能够满足实际工程需要,可用于对下穿隧道对既有隧道静力影响程度的定性分析和定量评价.