下承式系杆拱桥稳定性影响参数研究

基于拱桥稳定性分析理论,通过有限元分析软件ANSYS对天门市陆羽大桥的稳定性影响因素进行了分析,探讨了矢跨比、系梁抗弯刚度、拱肋抗弯刚度、吊杆刚度和横撑形式等参数对拱桥稳定性的影响。     

船舶操纵模拟器中DIS/HLA网关原型的设计

通过详细分析网关的具体工作流程，提出了网关应具备的基本功能，并在此基础上对网关的模块进行了设计与实现。通过网关原型的设计实现，达到了快速将原有DIS船舶模拟器与HLA系统互连，为进一步实现大规模的分布航海仿真提供了基础。     

非线性优化AHP法在公交服务水平评价中应用

本文应用非线性优化AHP法确定指标权重系数,改进了传统AHP法的不足之处,针对评价指标的模糊性,建立城市公交服务水平模糊综合评价模型,并通过实例分析和计算,验证了该方法的可行性和实用性。     

Timed RAISE方法在列控系统等级转换场景中的应用研究

高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转换(CTCS-2级至CTCS-3级)场景进行描述,并对其场景交互一致性和实时性进行验证,结果表明该场景不会出现场景交互一致性错误,也不会违反时间的约束。     

桁材开孔腹板的线性屈曲强度分析

船体在总纵弯曲时甲板纵桁和船底纵桁承受较大的轴向压力,而在桁材腹板上开孔会影响其腹板的屈曲强度.针对这一问题,应用有限元屈曲特征值分析方法对受轴向压力开孔腹板的屈曲载荷进行计算.通过对计算结果的分析,对开孔尺寸和开孔位置对腹板屈曲强度影响的规律进行了归纳,并对腰圆孔和圆孔对腹板屈曲的影响程度做出了比较,对船体结构中腹板开孔尺寸及位置提出了一些建议.     

Numerical simulation of level ice impact on landing craft bow considering the transverse isotropy of Baltic Sea ice based on XFEM

Ice bending is a major failure mechanism of level ice when ships and marine structures interact with level ice. This paper aims to investigate the ice bending and ice load when level ice collides on ships and marine structures using numerical simulation method, and compare the numerical results with field test. The fracture of ice is simulated with extended finite element method (XFEM), and cohesive zone concept is used to describe the crack propagation. In order to consider the characteristics of S2 columnar ice, a transversely isotropic elastic material model is used for the ice bulk elements, and a transversely isotropic Tsai-Wu failure criterion is adopted to predict the initiation of cracks. A well-controlled field test of a landing craft bow colliding with level ice in Baltic Sea is simulated to verify the numerical scheme. The ice plate's continuous deformation, crack initiation and crack propagation at different impact velocities and angles are simulated and the results are discussed. In the simulation, the bending crack emerges at the midline of the top surface of ice plate, then propagates towards free boundary, and finally a circumferential crack forms. It is found that with the impact velocity increases, the bending load increases and the fracture size (perpendicular distance from the crack to the contact edge) decreases. And as the angle between the landing craft bow and vertical direction increases, the bending load and the fracture size decrease. The simulated results corresponds well with the field test. The competition between the circumferential crack and radial crack is also found in the simulation and will be discussed in this paper. The results show that this method well simulates the bending of level ice and predict the ice load, and provides a good approach for investigating the mechanism of different forms of level ice fracture.     

一类三角矩阵的特征值反问题

对一类奇阶上三角矩阵的特征值反问题进行研究,通过两个给定特征对(λ,x),(μ,y)对矩阵的存在性及唯一性的条件进行讨论,在满足条件的前提下进行求解并给出表达式,通过数值例子验证算法的可行性.     

Optimal development of alternative fuel station networks considering node capacity restrictions

A potential solution to reduce greenhouse gas (GHG) emissions in the transport sector is the use of alternative fuel vehicles (AFV). As global GHG emission standards have been in place for passenger cars for several years, infrastructure modelling for new AFV is an established topic. However, as the regulatory focus shifts towards heavy-duty vehicles (HDV), the market diffusion of AFV-HDV will increase as will planning the relevant AFV infrastructure for HDV. Existing modelling approaches need to be adapted, because the energy demand per individual refill increases significantly for HDV and there are regulatory as well as technical limitations for alternative fuel station (AFS) capacities at the same time. While the current research takes capacity restrictions for single stations into account, capacity limits for locations (i.e. nodes) – the places where refuelling stations are built such as highway entries, exits or intersections – are not yet considered. We extend existing models in this respect and introduce an optimal development for AFS considering (station) location capacity restrictions. The proposed method is applied to a case study of a potential fuel cell heavy-duty vehicle AFS network. We find that the location capacity limit has a major impact on the number of stations required, station utilization and station portfolio variety.     

基于GPS技术的实时拥挤收费系统

通过拥挤收费来缓解中心城市交通拥挤,是交通管理者探讨的一个热点,也出现了一些成功实施的案例。针对目前ERP系统的不足,本文利用ITS先进技术将拥挤收费与交通信息平台相结合,提出一个基于GPS技术的实时拥挤收费系统,描述了系统的工作流程与基本功能,并且建立起多车型多准则弹性需求下的拥挤收费费率优化双层规划模型。     

基于MSC与UPPAAL的列控系统等级转换场景形式化验证

等级转换是C3级列控系统的重要场景,是列控系统兼容性的集中体现,转换的成功与否直接关系到列车的运行安全和行车效率。因此,有必要对设计规范中所描述的转换过程进行形式化建模和验证,以保障系统的安全性和实时性。为保证设计规范与所建模型的一致性,采取消息顺序图(MSC)与时间自动机相结合的方式,建立等级转换场景中C2级向C3级转换过程的MSC模型,并将其转换为时间自动机模型。应用UPPAAL对模型的安全性和受限活性进行仿真验证,结果表明设计规范中所描述的转换过程是安全可靠的,可以满足C3级列控系统的兼容性和安全性要求。