四拱肋三系梁钢管混凝土拱桥设计与施工

慈城大桥是杭州湾跨海大桥南岸接线工程跨越慈江的一座下承式钢管混凝土系杆拱桥,桥梁采用四榀拱肋三系梁设计。通过设计计算和监测桥梁施工过程表明,系梁钢束张拉与吊杆索力是四拱肋三系梁钢管混凝土拱桥桥梁的成桥状态重要控制因素。     

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

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

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

对于一阶逻辑定理证明器,子句集化简一直是必不可少的步骤,这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断,提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性,根据该原则删除子句,不会影响原始子句集的不可满足性或者可满足性. 此外,依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（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方法更为有效.      

汽车四轮定位对汽车使用性能的影响

经常检测车轮定位参数,并对它进行适时调整,使其处于合理的范围内,对提高汽车的动力性、操纵稳定性、安全性以及经济性有着重要的意义。     

高阶紧致格式在非线性数值模拟中的应用

对比分析迎风型格式及中心耗散格式优劣性,采用傅里叶分析方法分析显式格式及紧致格式在波数空间可准确模拟的波数范围。通过编程研究6种紧致格式,其中为保证紧致格式在内点及边界点的一致性,采用高精度边界格式,加入了滤波运算和采用更小的CFL数来控制紧致格式的稳定性。数值试验表明,中心紧致格式有更小的耗散误差及色散误差;通过4阶Pade格式计算模型绕流,验证了边界处理的正确性,也更加认识到紧致格式有非常严格的稳定性限制。     

天津港下一目标建第四代港口

<正>全国人大代表、天津港集团董事长于汝民提出:港口是一个沿海城市经济发展的晴雨表,2011年天津市经济增长16.5%,排名全国第一。     

8月广东辖区水上交通安全形势向好

2012年8月,广东海事局辖区发生列入统计范围的一般等级以上的水上交通事故1宗(一般事故),死亡失踪0人,沉船0艘,直接经济损失0万元。事故四项指标环比三降一平,事故数、沉船数和直接经济损失分别下降75%、100%和100%,死亡失踪人数持平;事故四项指标同比全面下降,分别下降83.3%、100%、     

侯马北站驼峰溜放车辆途停问题的分析与对策

在对侯马北站驼峰溜放车辆技术参数进行采集分析的基础上,以太原北站驼峰车辆溜行作为参照对象,对导致侯马北站驼峰溜放车辆途停的原因进行了初步分析并提出整治建议和措施,对同类型编组站和有驼峰作业的区段站的调车安全和设备管理有一定的借鉴作用。     

含分数阶微分的二自由度悬架系统动力学分析

研究了含分数阶项的二自由度悬架系统,利用改进的平均法、拉氏变换法、谐波平衡法和复频域法得到了简谐激励下系统响应的解析解,比较了解析解和数值解,二者逼近的精度很高,证明了解析解的准确性。分析了分数阶参数对悬架系统的动力学行为的影响,发现含分数阶微分悬架系统响应稳态幅值能够大幅降低,其动力学性能得到极大提高。     

高速铁路“四电”集成技术的应用、创新与发展

我国新建高速铁路在设计及施工中大量采用先进技术,其中"四电"技术是保证电气化高速铁路安全运营的关键问题之一。以国内外铁路建设新技术发展为基础,探讨了集成技术的内涵意义,并阐述了"四电"集成技术的应用和创新,展望了其发展方向。