基于TRSL的RBC等级转换场景研究

无线闭塞中心等级转换场景作为中国列车运行控制系统主要场景之一,切换成功与否直接影响高速列车的安全和运行效率。通过对形式化验证方法的分析,采用基于定理证明的时间化工业软件工程规范语言的严格方法(Timed Rigorous Approach to Industrial Software Engineering Specification Language,TRSL),在对等级转换过程进行分析的基础上,设计交互信息图,构建状态迁移图,并结合域建模方法实现对该场景的TRSL描述,最后利用语言推理规则,结合系统特性,实现对切换正确性和实时性的双重验证,结果表明:该场景满足系统规范对功能性和实时性的要求,继而说明该方法的有效性、正确性和通用性,为我国列控系统的设计开发和验证提供一种新的途径和依据。     

节理岩体中隧道开挖后渗流场重分布影响因素研究

在富水地区的节理岩体中开挖隧道会打破原有的渗流平衡,形成新的渗流场,造成突水等灾害。考虑流固耦合作用,运用离散元理论,建立垂直交叉节理岩体模型,以洞周测点的流量为指标,从地应力、水位高度和节理法向刚度等方面进行隧道开挖后节理岩体渗流场重分布的影响因素研究,并从开挖前后节理隙宽和水压力变化分析影响产生的原因,结论可为进一步研究围岩稳定性和突水灾害等提供参考。     

桥面不平顺对下承式系杆拱桥振动影响的试验和模拟研究

为了获得下承式系杆拱桥的汽车荷载冲击系数,在桥面间隔布置橡胶减速条带以形成周期性的不平顺输入,对下承式钢管混凝土系杆拱桥的动挠度进行现场实测.结合自编的车桥耦合(VBI)单元,建立车-桥耦合振动三维有限元分析模型,通过与实测结果对比验证VBI单元的正确性.在此基础上,引入另外3座标准拱桥以形成涵盖4种跨径的下承式系杆拱...     

基于用户认知的新能源汽车内饰研究

在体验经济时代(在消费过程中追求顾客满意、注重自我体验),新能源汽车作为汽车行业的新兴产业,不断受到人们的追捧,其内饰比外观更为重要。在新能源汽车的内饰中,许多零部件具有不可替代的互动性,这也是用户了解新能源汽车内饰的关键因素之一。在智能化时代的背景下,大多数新能源汽车制造商单纯地将智能技术应用到新能源汽车上,其内饰造型、人机交互和使用体验已经不能满足客户对新能源汽车的要求。人机工程学是新能源汽车内饰设计的出发点,掌握用户形象认知是新能源汽车内饰设计的关键。因此,本文从用户的认知角度来研究新能源汽车的内饰设计与创新。     

智能汽车的人机共驾技术研究现状和发展趋势

智能汽车的人机共驾技术(HM IoIV)是解决其智能化级别难以快速跨越至高度自动化水平的有效过渡手段.HMIoIV涉及了L0～L3级别的智能汽车的多种自动化技术,包括先进辅助驾驶系统.针对当前国内外智能汽车人机共驾技术的研究现状,对其概念、结构和研究内容进行总结,根据独立驾驶人参与的数量和驾驶操作方参与的数量将现有的人...     

基于人-车交互的行人轨迹预测

针对行人轨迹预测具有复杂、拥挤的场景和社会交互问题,基于长短时记忆网络(Long Short-term Memory Network,LSTM)对行人与车辆、行人与其他行人的交互进行建模,提出一种基于人-车交互的行人轨迹预测模型(VP-LSTM).该模型同时考虑了行人与行人的交互、行人与车辆的交互,更适用于复杂的交通场...     

On maximum forces exerted by floating ice on a structure due to constrained thermal expansion of ice

The problem of interaction between a floating ice cover and an engineering structure is considered, in which the ice–structure contact forces are caused by an increase in ice temperature due to solar radiation in situations, when the lateral thermal expansion of ice is constrained. The focus is on the determination of the maximum thermally-induced horizontal force exerted on a structure wall, assuming that the magnitude of this force is bound by the smallest force capable of fracturing the ice cover due to its buckling. The ice cover is modelled as a rectangular plate of uniform thickness, with its four edges being constrained by vertical rigid walls, and it is assumed that ice deforms, and eventually fails, by the mechanism of viscous creep buckling. The plate is subjected to in-plane axial compressive stresses developing in ice to prevent its thermal expansion due to solar heating, and is transversely (vertically) bent by the forces caused by the reaction of underlying water. The floating ice is treated as a material whose elastic and viscous properties depend on temperature and the ice porosity, and therefore they vary with time and the depth of ice. The results of numerical simulations, conducted for a variety of the ice plate horizontal dimensions, thicknesses and daytime temperature-change scenarios, illustrate the evolution of the plate deflection surface prior to its failure, and show the time variation of the maximum forces exerted by ice on a structure wall as functions of the ice thickness and maximum daytime temperature rise at the top surface of ice.     

ABAQUS–OlaFlow integrated numerical model for fluid–seabed–structure interaction

In this study, a new one-way integrated numerical model for fluid–seabed–structure interaction is established by integrating the finite element software, ABAQUS, and the open-source fluid dynamics package, OlaFlow. In this new model, the generation and propagation of ocean waves as well as the seepage flow in a porous medium are controlled by OlaFlow; concurrently, the wave-induced dynamic responses of a porous seabed and marine structures are governed by ABAQUS. The reliability of this new model is validated by an analytical solution and a series of wave flume tests. The comparison results show that the new established model has high reliability and feasibility. Finally, this new integrated model is utilized for investigating the wave-induced dynamics of a composite breakwater and its seabed foundation as well as to evaluate the residual horizontal sliding displacement of the caisson of this composite breakwater under wave impact. Because this new integrated numerical model can fully utilize the advantages of both ABAQUS and OlaFlow, it is expected to have broad prospects for application in engineering practice.     

Large deformation coupled analysis of embedded pipeline – Soil lateral interaction

Subsea pipelines buried in the seabed may undergo large lateral displacement under environmental, operational, and accidental loads at different interaction rates and hence different drainage conditions. The undrained shear strength is commonly used in practice to assess the pipe-soil interaction assuming a sufficiently high displacement rate. This approach neglects consolidation effects and the rate-dependent response of the soil and may significantly underestimates the lateral resistance for a pipeline moving slowly relative to the ground. In this study, a coupled large deformation finite element (LDFE) framework is developed via a remeshing and interpolation technique with small strain (RITSS). A Modified Cam-Clay (MCC) model with efficient numerical integration is used. The proposed coupled LDFE framework is verified against selected physical model tests. Effects of the interaction rate and hence drainage condition on the p-y curve, excess pore pressure generation and dissipation, and failure mechanisms are discussed. An empirical relationship between the ultimate resistance and the normalized velocity of the pipe (denoting the drainage condition) is proposed, which may be applied for the integrity and safety analysis of buried pipes in landslide or fault-crossing regions.     

Benchmark study on slamming response of flat-stiffened plates considering fluid-structure interaction

This paper presents a benchmark study on the slamming responses of offshore structures’ flat-stiffened plates. The objective was to compare the fluid-structure interaction (FSI) simulation methodologies, modeling techniques, and established researchers' experiences in predicting slamming pressure. Three research groups employing the most common commercial software packages for numerical FSI simulations (i.e. LS-Dyna ALE, LS-Dyna ICFD, ANSYS CFX, and Star-CCM+/ABAQUS) participated in this study. Wet drop test data on flat-stiffened aluminum plates of light-ship-like bottom structures available in the open literature was utilized for validation of the FSI modeling. A summary of the experimental conditions including the geometry model and material properties, was distributed to the participants prior to their simulations. A parametric study on flat-stiffened steel plates having actual scantlings used in marine installations was performed to investigate the effect of impact velocity and plate rigidity on slamming response. The FE simulation results for the total vertical forces acting on the stiffened plates and their structural responses to those forces, as obtained from the participants, were analyzed and compared. The reliable and accurate predictions of slamming loads using the aforementioned commercial FSI software packages were evaluated. Additionally, equivalent static slamming pressures resulting in the same permanent deflections, as observed from the FSI simulations, were reported and compared with analytical models proposed by the Classification Standards DNV and existing experimental data for calculation of the slamming pressure. The study results showed that the equivalent load model depends on the water impact velocity and plate rigidity; that is, the equivalent static pressure coefficient decreases with an increase in impact velocity, and increases when impacting structures become stiffer.