砂卵石地层中大断面泥水盾构泥膜形态研究

文章以南京地铁十号线越长江隧道为研究对象,采用离散元数值模拟与室内模型试验相结合的方法研究了砂卵石地层条件下,大断面泥水盾构隧道施工过程中泥膜生成—破坏—再生成的动态过程以及泥浆渗透范围,探讨了不同泥水压力条件下盾构施工对周围环境的影响。研究表明,采用的离散元方法能较好地重现泥水盾构施工过程中泥膜的动态变化过程;在泥水盾构施工中,泥水压力的选取对控制地层变形与掌子面稳定性具有十分重要的作用;针对砂卵石地层条件采用试验配置的泥浆,在泥水盾构开挖过程中可以形成渗透性泥膜,试验中泥膜最后形成的外曲线为椭圆的纯圆锥体,锥体最大旋转半径约为0.3D,泥膜最大渗透距离在盾构前方0.4~0.5D处,泥膜范围随着盾构掘进而向前推进。     

基于 FEM/BEM 的浸水结构振动及声辐射特性国内研究综述

文章基于有限元（FEM）或有限元结合边界元（FEM/BEM）分析方法,对浸水结构振动及声辐射特性国内公开发表的文献进行梳理,从低频流固耦合的振动特性、弱耦合与强耦合的声辐射特性、直/间接边界元的非唯一性与奇异性等着重流体数值模拟方面,对国内相关研究进行了综述分析,就浸水结构振动及声辐射特性的研究发展动态做出了总结,为相关科研人员研究浸水结构振动特性及声辐射提供了有益参考。     

半潜钻井平台辐射问题的高精度算法研究

附加质量和阻尼力是决定半潜式钻井平台运动响应的重要参数,该研究采用直交边界边配置多重节点的新方法去除积分边界的奇异性。研究中同时应用了高阶边界单元方法近似真实的空间三维复杂结构,依据波浪与结构物相互作用的辐射和绕射理论建立边界元积分方程,对ISSC型半潜式平台（Semi-Submersible）的附加质量和阻尼力进行了分析研究。研究表明多重节点与高阶边界元相结合的方法对复杂结构的水动力计算具有很高的精度。     

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

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

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

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

考虑状态相关服务的城市交叉口离散事件仿真建模

准确模拟交叉口处车辆运行,对交叉口信号配时优化、交叉口设计等具有重要意义。交叉口排队建模可以较为准确地模拟车辆到达及交叉口服务过程。位相型分布(PH分布),可以无限逼近任意到达和服务规律,车辆到达交叉口时交叉口处容量有限,且车辆通过交叉口时,通过时间具有状态相关性。本文考虑以上三点,建立PH/PH(n)/C_1/C_2的交叉口排队模型,将城市交叉口抽象为离散事件仿真模型,根据PH分布随机变量计算车辆到达过程和交叉口服务过程。文中提出的离散仿真模型充分考虑了车道服务的状态相关性,并利用Simulink构建了考虑状态相关服务的城市交叉口离散事件仿真模型。仿真结果表明考虑状态相关服务的离散事件仿真,可以较好地反映出交叉口处车辆通过的周期性,较为客观地反映交叉口车辆运行情况。     

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

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

基于离散模块梁单元水弹性理论的复杂连接处建模方法

[目的]在离散模块?梁单元(DMB)水弹性理论框架下,提出针对连接形式复杂的超大型浮体结构(VLFS)的新的建模方法,并与已有方法进行对比分析.[方法]首先,概述基于DMB的水弹性分析方法,给出求解连续VLFS结构在波浪作用下的动力响应步骤;然后,针对VLFS复杂连接处进行建模,通过定义连接处的刚度矩阵,对与连接处相邻...