路基填筑引起水泥搅拌桩复合地基变形监测分析

针对目前水泥搅拌桩复合地基在路基填筑作用下变形特性研究不足的问题,依托我国海积软土地区某水泥搅拌桩加固铁路路基填筑施工案例,对水泥搅拌桩复合地基变形进行监测,分析路基填筑作用下水泥搅拌桩复合地基变形特性,并为路基填筑速率控制和水泥搅拌桩加固方案设计提供建议。研究结果表明:路基填筑作用下地基加固区压缩量占总沉降的56.1%,沉降速率最大为2.4 mm/d;素填土和淤泥层侧向变形显著,侧向变形速率最大为4.6 mm/d;路基坡脚7 m内、深度5 m以上地层受路基填筑施工扰动较大;坡脚侧向变形速率较地基沉降速率更接近于控制指标,填筑速率的控制应以控制坡脚侧向变形速率为主;本施工案例中水泥搅拌桩加固方案可满足各铁路类别的路基工后沉降的控制要求,类似工程中水泥搅拌桩设计应以控制路基填筑施工对邻近结构物的影响为主。     

四轮转向汽车操纵稳定性研究

为了研究转向工况对四轮转向汽车操纵稳定性的影响,基于Matlab/Simulink建立四轮转向汽车前轮转角比例前馈加横摆角速度模糊PID反馈控制模型,通过与Trucksim车辆模型和Simulink控制模型联合仿真,分别在低速和中高速下进行方向盘角阶跃输入离线仿真和方向盘正弦角输入实时仿真试验,与前轮转向汽车在相同工况下侧向加速度、横摆角速度以及质心侧偏角的仿真结果进行对比分析。试验结果表明:四轮转向控制仿真结果优于前轮转向结果,搭建的四轮转向前轮转角比例前馈加横摆角速度模糊PID反馈控制策略,能提高汽车低速转向时的操纵轻便性和机动性以及中高速转向时的操纵稳定性。     

基于Adams的飞机登机桥运动建模与仿真

为了实现登机桥的自动对接,分析登机桥的工作原理,对其结构进行必要的简化,基于Adams/View建立登机桥多体动力学模型,并依据行业标准进行登机桥路径规划。模拟登机桥连接飞机舱门全运动过程,实现了登机桥的行走运动、升降运动以及对接舱门和遮篷的伸张运动,得到登机桥与飞机舱门之间的距离变化曲线,验证了所建登机桥结构的合理性和路径规划的可行性。     

基于时间阈值的旅客登机模型及动态登机策略

减少登机时间有利于提高旅客体验和航空公司运行效率,故优化基于旅客行为的登机策略尤为重要. 基于旅客登机过程中两个阶段的延时,建立考虑时间阈值的新登机模型;在干扰时间阈值分布的基础上,通过优化算法分配行李,从而使登机时间最小,进一步得到基于不同行李构成的动态旅客登机策略. 通过元胞自动机仿真和现场模拟实验比较动态登机策略的效率. 结果显示：新登机模型能准确反映登机过程,Steffen 次序具有最大的干扰时间阈值和优化空间;本文提出的动态登机策略可以缩短登机时间,使登机效率显著提高.     

一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器,子句集化简一直是必不可少的步骤,这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断,提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性,根据该原则删除子句,不会影响原始子句集的不可满足性或者可满足性. 此外,依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法,并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性,结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.      

磁场饱和与畸变对发电机电感参数计算的影响

为了提高发电机故障检测的灵敏性,需要准确计算发电机电感参数.考虑发电机负载运行时磁路的饱和与位置的畸变,分别应用磁路法和磁场法计算了不同饱和程度与畸变程度下的电感参数,讨论了磁路饱和与磁场畸变对电感参数的影响,指出磁路法计算电感参数的局限性.对一台一对极隐极式发电机样机进行的不同工况下转子匝间短路实验表明：磁场法可以充分考虑物理情况,参数计算结果更加准确.在要求准确计算电感参数的场合使用磁场法更合适.