Coloured Petri net-based traffic collision avoidance system encounter model for the analysis of potential induced collisions

The Traffic Alert and Collision Avoidance System (TCAS) is a world-wide accepted last-resort means of reducing the probability and frequency of mid-air collisions between aircraft. Unfortunately, it is widely known that in congested airspace, the use of the TCAS may actually lead to induced collisions. Therefore, further research regarding TCAS logic is required. In this paper, an encounter model is formalised to identify all of the potential collision scenarios that can be induced by a resolution advisory that was generated previously by the TCAS without considering the downstream consequences in the surrounding traffic. The existing encounter models focus on checking and validating the potential collisions between trajectories of a specific scenario. In contrast, the innovative approach described in this paper concentrates on quantitative analysis of the different induced collision scenarios that could be reached for a given initial trajectory and a rough specification of the surrounding traffic. This approach provides valuable information at the operational level. Furthermore, the proposed encounter model can be used as a test-bed to evaluate future TCAS logic changes to mitigate potential induced collisions in hot spot volumes. In addition, the encounter model is described by means of the coloured Petri net (CPN) formalism. The resulting state space provides a deep understanding of the cause-and-effect relationship that each TCAS action proposed to avoid an actual collision with a potential new collision in the surrounding traffic. Quantitative simulation results are conducted to validate the proposed encounter model, and the resulting collision scenarios are summarised as valuable information for future Air Traffic Management (ATM) systems.     

基于FLAC软件模拟强夯加固吹填砂地基

基于港区陆域吹填项目,采用FLAC软件建立三维模型,模拟了不同夯能、夯击次数对强夯效果的影响,对强夯前后杨氏模量的变化进行了分析研究。结果表明,表层吹填砂厚度和下卧软土层分布对夯能的大小起着决定作用。对于下卧松散砂层,可适当加大夯击能量和夯击次数(7~8击),增加其处理深度和效果;而对于下卧软黏土层,可以适当减小夯击能量并增加夯击次数,以提高加固效果。夯击之后,表层吹填砂的杨氏模量有较大的提高,从原来的10 MPa提高到20~40 MPa。     

高速高频船舶舵机系统动态特性分析与研究

为船舶高速高频舵机的设计提供理论依据和技术支撑,提出了基于ADAMS、SIMULINK和AMESim的联合仿真分析的新方法,分析了船舶舵机分系统单元、非线性因素与整机系统动态特性的关系。基于ADAMS、SIMULINK和AMESim建立了船舶舵机系统联合仿真模型,从时频角度研究了变量泵、控制系统、反馈机构及传感器的特性,以及间隙、死区、泄露、灵敏度等非线性因素对舵机系统频响特性的影响关系和规律,得出了高速高频舵机设计的一般准则。     

液压驱动转盘在海洋固定平台模块钻机上的设计与应用

海洋固定平台模块钻机空间狭小、布局紧凑、要求设备具有尺寸小、质轻、集成度高、运行安全可靠等特点,而传统电机驱动转盘的驱动方式存在传动链长、传动部件多、传动装置复杂、结构尺寸庞大等问题,在模块钻机尺寸有特殊要求的情况下安装难度大、使用和维修不便,影响总体布局和结构形式的设计。针对上述情况,通过液压驱动转盘与电驱动转盘进行对比,总结出液压驱动转盘小巧轻便、易于建造安装、能够优化钻台结构、操作维护费用低、安全可靠等特点,可为空间有特殊要求的海洋固定平台模块钻机提供一定的参考。     

长江口北港重大工程对河势演变的影响

北港是长江口的二级入海汊道。近年来,北港修建了诸多水利工程,如南北港分流口固沙工程、青草沙围水工程和横沙东滩促淤圈围工程等,它们对北港河势有一定的稳定作用,但在流域来沙锐减的背景下,也带来一些新的潜在问题。分流口固沙工程的建设一定程度上增强了新桥通道南侧沙体的稳定性,但与此同时,由于扁担沙尾部继续向新桥通道挤压推移,导致北港分流比减小。青草沙水库建设后,北港上段继续冲刷,由于横沙通道的不断发展,致使北港主槽曲率进一步增大。北港拦门沙河段的淤积和横沙东滩的促淤圈围工程促使了北港北汊的发展,但该汊道中增强的涨潮流对青草沙水库"蓄淡避咸"产生了一定的影响。     

并列双线船闸单侧闸墙长廊道输水系统布置及水力学模型试验研究

长洲三线四线船闸为目前国内规模最大的单级船闸。针对其并列布置方案,提出单侧闸墙主廊道闸底横支廊道的输水系统形式。通过水力计算分析及1∶32的水工模型试验研究,提出输水系统的具体布置,确定船闸不同运行方式下的阀门开启方式,得到输水过程的相关水力特性,解决了单侧闸墙廊道布置下闸室水流分布不均的问题。研究表明:提出的输水系统布置是合理可行的,各水力特征值均满足规范和设计要求,且输水系统布置于两线船闸之间,便于管理,减小了工程量,并可减少船闸耗水量。研究成果可为巨型船闸设计及船闸节水研究提供借鉴。     

基于有限元及试验对舵系无键连接的可靠性分析

以舵系的实际工况和参数为依据,采用无键连接的方式来优化舵系的连接,并利用有限元分析舵系新型无键连接的可靠性,通过有限元计算在不同工况下无键连接方式的应变及应力的分布初步验证了该连接方式的可靠性;同时以舵系实际工况的弯矩、扭矩和过载为依据建立了舵系无键连接的实验平台来验证有限元分析的结果。实验数据和分析结果表明:通过液压螺母在舵系上形成的预加载荷使舵柄和舵杆之间产生适当的静摩擦力,该静摩擦力可以提供舵系所需要的弯矩、扭矩并能够保证超载条件下舵系工作状态的稳定性及可靠性。     

某万吨级货船轴系液压联轴节更新安装及相关参数分析

文章从某万吨级货船轴系的液压联轴节更新安装出发,介绍液压联轴节的原理,装配及轴上的安装方法,分析影响扭矩传递能力的安装参数的计算及相互关系。为类似船舶液压联轴节的故障分析和更新安装提供参考。     

海河综合开发工程新建桥梁结构技术特点

该文主要介绍海河综合开发工程3座新建桥梁(大沽桥、奉化桥、蚌埠桥)的结构形式特点,并分别描述这些桥梁的设计难点以及特殊构造处理措施。     

深圳地铁地面接触网避雷器运行分析及改造

根据避雷器的作用和原理,以及地面接触网避雷器的设计安装原则,分析深圳地铁避雷器在运行中存在的问题,提出整改措施及提高防雷技术的建议。