基于AR模型的填方路基沉降检评方法

通过运用数理理论之AR模型,开展填方路基沉降的检评工作,完成了工后质量评定任务,并预测其未来的沉降程度及趋势.研究表明:应用数理理论方法得出的结论,不仅具有实用价值和增强了可靠性,而且兼有鲜明的主动、事前的特征.     

圬工拱圈增大截面面积加固承载能力验算方法研究

目前我国大量圬工拱桥进入加固期,大批的加固任务,使承载力计算方法的研究成为加固领域亟须解决的问题。文中以增大截面面积加固法加固圬工拱圈的受力特点为依据,提出一套承载能力验算方法。     

曲线梁桥截面剪扭验算的设计方法

该文针对新旧规范对曲线梁桥箱形截面剪扭验算的不同规定,通过增加梁高、梁厚和提高混凝土标号等多种方法验证曲线梁桥的箱梁截面剪扭。在安全性、经济性等方面分析比较后得出结论,提高混凝土标号是最有效、最经济的满足曲线梁桥箱形截面剪扭的方法。     

9000kN运梁车结构强度与屈曲稳定性验算

以高速铁路架桥用的9000kN运梁车为研究对象,运用大型有限元软件对其结构进行强度与屈曲稳定性计算,分析了该运梁车的应力分布,指出其屈曲稳定性的危险部位,为该运梁车结构改进和现场施工监控提供参考。     

加拿大PSC检查应注意的几个问题

通过加拿大PSC对本船的几次严格检查,总结出加拿大PSC的常规检查时间、重点检查项目及相应的注意事项,最后给出了加拿大PSC检查的特点及为通过PSC检查的有关对策。     

影响集装箱码头作业区检查桥效率的几个问题

基于集装箱码头作业区的生产特性,详细论述了海关、闸口信息采集、闸口停时、堆场、交通设施和查验场地等环节对检查桥效率的影响。     

运行时验证及其在列车运行控制系统中的应用

运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允许"真"和"假"以外的逻辑值来显式的刻画验证过程中可能出现的非确定性,从而使得验证的结果更加精确。针对新的LTL语义给出了基于公式重写的运行监控算法和近似优化策略,并结合欧洲列车运行控制系统的实例,分析探讨了该方法在轨道交通控制领域的应用。     

铁路自助式实名制验证验票系统应用

针对"实名制"购票,铁路部门采用人工对人、证、票的一致性进行检验,识别误差率较高,造成旅客在检票口滞留,影响铁路检票的效率。为此,开发一种提高票证查验速度和准确性的全智能验证验票系统,该系统集验证验票功能、人脸识别功能、远程自动化监控功能为一体,主要包括验证验票子系统、服务器端子系统及设备监控子系统,可与旅客服务信息系统及铁路客票系统进行信息数据交互。通过现场试用,证明系统可高速、精确地实现人、证、票的自动识别和比对,确保验证验票工作质量,提高通行速度,提升旅客体验和满意度。     

公路工程项目收尾管理的措施分析

公路工程项目交工验收前,各参建单位特别是施工单位需相互配合、精心组织、各司其职,并相互监督协调,集中精力作好项目收尾的管理工作,尽早使工程项目发挥投资效益。     

真3维公路设计错误检测算法的研究与实现

由于真3维公路设计与传统2维公路设计的差异,如何在真3维的环境中进行设计错误的检测,至关重要。文章针对该问题,利用数学理论进行了2种检测方法的研究,从编程和精度角度分析其优缺点,利用线段长度比较的方法对平面线设计错误进行检测,达到了很好的应用效果,并能够在进行线位调整的同时,自动给出错误的检测结果,为真3维公路设计提供了参考。