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

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

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

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

粉喷桩加固软土复合路基受力特性试验研究

对杭州绕城高速公路(北线)进行了路堤荷载下粉喷桩加固软基现场试验研究，以期对软土复合路基的桩土应力比及桩身应力加深认识。     

Hub location with flow economies of scale

A characteristic feature of hub and spoke networks is the bundling of flows on the interhub links. This agglomeration of flows leads to reduced travel costs across the interhub links. Current models of hub location do not adequately model the scale economies of flow that accrue due to the agglomeration of flows. This paper shows that current hub location models, by assuming flow-independent costs, not only miscalculate total network cost, but may also erroneously select optimal hub locations and allocations. The model presented in this paper more explicitly models the scale economies that are generated on the interhub links and in doing so provides a more reliable model representation of the reality of hub and spoke networks.     

柴油机曲轴有限元计算与台架试验数据对比分析

目前，国内柴油机行业普遍使用的曲轴弯曲疲劳强度试验台架，均采用音叉共振板结构。该试验台架对于大多数常规结构曲轴的连杆轴颈圆角疲劳强度的测定是比较准确的，但对于有些特殊结构曲轴的试验，却未能取得理想结果。以某曲轴台架试验、台架仿真模型及有限元计算模型数据为基础，分析对比了不同模型数据的差异及产生原因。     

Fuzzy-logic applied to yaw moment control for vehicle stability

In this paper, we propose a new yaw moment control based on fuzzy logic to improve vehicle handling and stability. The advantages of fuzzy methods are their simplicity and their good performance in controlling non-linear systems. The developed controller generates the suitable yaw moment which is obtained from the difference of the brake forces between the front wheels so that the vehicle follows the target values of the yaw rate and the sideslip angle. The simulation results show the effectiveness of the proposed control method when the vehicle is subjected to different cornering steering manoeuvres such as change line and J-turn under different driving conditions (dry road and snow-covered).     

海底单层保温管线总传热系数分析

总传热系数K是海底热油管道的运行管理中的一个非常关键的参数.文中通过对中海油涠洲11 -1油田至涠洲12 -1油田之间的海底管道总传热系数进行理论计算,并与投产前根据实际预热数据反算的总传热系数进行对比,得出理论计算的总传热系数与实际预热反算得到的总传热系数相近,同时指出海管接口的散热损失较大,海底管线应对接口部分进行...     

基于鲁棒性的船体中横剖面多目标优化

工程应用中在进行鲁棒性优化设计时,要求所求出的解既要具有较高的质量,又要满足一定的鲁棒性要求。将鲁棒性优化问题转化为一个双目标的优化问题,即一个目标为解的最优性,另一个目标为解的鲁棒性,并针对一艘最大应力接近许用应力的多用途船进行基于鲁棒性的中横剖面优化设计。首先,用支持向量机的方法建立船体舱段的近似模型,用于求取舱段的最大应力,并结合蒙特卡罗积分的思想构造出表示最大应力鲁棒性的函数;随后,以最大应力最小和最大应力的鲁棒性函数值最小为目标函数,设计出一种求解鲁棒性最优解的粒子群多目标优化算法。优化结果不仅能降低船体结构的最大应力,同时还可较大程度地提高最大应力的鲁棒性,证明了该方法的可行性。     

制动卡钳活塞漏油改善研究

某车型在结构耐久试验过程中出现了后制动卡钳活塞防尘罩处渗油。制动卡钳在生命周期内是不允许有漏油发生的。本文针对上述故障产生的原因进行了分析排查出活塞漏油的原因,并通过设计和工艺优化,对该问题进行了改善。