Trapped Modes in a Three-Layer Fluid

In this work, trapped mode frequencies are computed for a submerged horizontal circular cylinder with the hydrodynamic set-up involving an infinite depth three-layer incompressible fluid with layer-wise different densities. The impermeable cylinder is fully immersed in either the bottom layer or the upper layer. The effect of surface tension at the surface of separation is neglected. In this set-up, there exist three wave numbers: the lowest one on the free surface and the other two on the internal interfaces. For each wave number, there exist two modes for which trapped waves exist. The existence of these trapped modes is shown by numerical evidence. We investigate the variation of these trapped modes subject to change in the depth of the middle layer as well as the submergence depth. We show numerically that two-layer and single-layer results cannot be recovered in the double and single limiting cases of the density ratios tending to unity. The existence of trapped modes shows that in general, a radiation condition for the waves at infinity is insufficient for the uniqueness of the solution of the scattering problem.     

Spectral Wave Modeling in Very Shallow Water at Southern Coast of Caspian Sea

This study evaluates the capability of the Simulating WAves Nearshore (SWAN) wave model (version 41.01) in predicting significant wave height and spectral peak energy content for swell waves in very shallow water of surf zone during depth-induced wave breaking and dissipation. The model results were compared with field measurements at five nearshore stations. The results demonstrated that some breaker index formulations were successful for significant wave height prediction in surf zones. However, an incorrect shape of the energy spectrum and overestimated near spectral peak energy content at shallow water stations were obtained using all of the embedded depth-induced wave breaking formulations in SWAN. The dependent breaker index on relative depth (K_pd) formulation, which was successful in predicting near spectral peak energy content, resulted in an average error of 30%. Finally, this formulation was modified to enhance the model performance in reproducing the spectral peak energy content.     

Improving the coexistence of offshore wind farms and shipping: an international comparison of navigational risk assessment processes

The continued growth and evolution of the offshore wind industry, and the emergence of other novel marine uses such as wave and tidal generators, have upped the ante for spatial planners, as well as consenting and approval authorities in various coastal states. These stakeholders rely on processes such as navigational risk assessments (NRAs) to balance safety and efficiency requirements and to make optimal decisions over use of space. Given the increasingly complex and crowded seascape, however, there are some apprehensions about potential shortcomings in these NRA processes. There is also some concern that these inadequacies may lead to unsafe or inefficient marine spatial use. To understand how NRA processes can be improved further, a literature review is conducted, followed by a survey of respondents who are involved in the planning, consenting and/or approval of offshore wind farms across seven different countries. A summary of the NRA processes in these seven countries is presented, and several shortcomings are identified. Based on the findings of the survey, a list of recommendations is presented to enhance existing NRA processes—and to improve the coexistence of shipping and offshore wind farms (OWFs).     

基于时间自动机模型的安全计算机平台的形式化验证

众多工业控制领域要求计算机控制系统具有高可靠、高可用和高安全的运行基础,2乘2取2冗余结构的安全计算机平台是提高系统安全性、可靠性的一种重要解决方式。CBTC列控系统的安全计算机平台采用2乘2取2冗余结构,它是一个实时系统,控制过程需要考虑时间因素。本文分析CBTC系统安全计算机平台系统的组成结构,提取出系统的功能约束,采用基于时间自动机理论的建模验证工具UPPAAL建立系统的自动机网络模型,进行仿真分析,验证系统的功能性、实时性、安全性要求。     

铁路隔震连续梁桥地震碰撞响应研究

在地震作用下隔震桥梁的梁体位移比非隔震桥梁明显增加,使得相邻梁发生碰撞的概率增大。以1联3跨铁路隔震连续梁桥为例,选用3条人工地震波,采用非线性时程分析方法进行该桥的碰撞响应分析,研究梁间伸缩缝宽度和隔震支座刚度对梁间碰撞响应的影响。结果表明:随着伸缩缝宽度的增大和隔震支座刚度的增大,相邻梁碰撞的发生次数和碰撞力均有明显减小;地震作用下隔震固定墩墩底最大弯矩和最大剪力均随着隔震支座刚度的增加而增加。因此,在进行隔震桥梁设计时,应综合考虑隔震支座的隔震效果和碰撞响应,从而得到既经济又安全的隔震桥梁设计参数。     

基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法

针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。     

高速公路PPP项目利率保障及其期权价值分析

高速公路项目因建设成本较高,贷款融资是其必要的融资方式.市场利率超预期的波动将极大地影响项目债务成本,从而影响收益.通过分析利率风险对项目债务成本的影响,根据"风险共担,收益共享"的原则,提出了包含利率补偿和成本节省共享的利率保障方法.在实物期权理论的基础上通过仿真分析了利率保障的期权价值及其影响因素.研究发现,利率保...     

基于核磁共振与无侧限抗压试验对纤维加固红黏土的宏微观特性研究

红黏土因其具有孔隙比大、易压缩等不良工程特性,常在工程建设中引起一列工程问题.为此,采用聚丙烯纤维对红黏土进行加固,并采用核磁共振(NMR)技术和无侧限抗压强度试验对不同含量纤维加固后土体的宏微观特性进行测试,得到以下结论:1)不同含量纤维加固后红黏土的T2谱形态基本保持一致,均在弛豫时间为1 ms附近出现峰值,且纤维...     

富水砂层盾构始发井防涌水检测与加固

基于广州地铁6号线大坦沙站盾构始发井的实践,研究富水砂层中破除盾构井端头门时防涌水的施工监测和工程检测方法,根据检测和监测结果,基于朗金土压力理论进行计算分析,提出相应的加固措施和方法。介绍了具体的防水加固措施和效果。