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

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

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

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

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

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

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

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

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

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

浅析公路施工养护企业高效灵活的机械设备管理方法

机械设备管理是一门重要科学,是公路施工养护企业经营管理和技术管理的结合。目前市场经济体制和建筑行业的快速发展,施工养护企业通过高效灵活的专业化人员的配备、科学的管理制度和方法、多样化的成本核算等机械设备管理手段来不断壮大和增强市场竞争力,有关经验可供相关专业人员参考。     

地铁车辆的静态限界试验

阐述了地铁车辆静态限界试验的前提条件、工装设备、控制点的计算及试验过程,并提出需进一步改进之处。     

浅谈不良地质高边坡局部坍塌处理

文中简要介绍了江西武宁至吉安高速公路B14标段高边坡局部坍塌处理及验算的过程.     

全幅双柱大挑臂预应力盖梁施工支架的搭设与受力验算

介绍山岭重丘区高速公路的部分桥梁因受地形限制,下部结构采用全幅双柱大挑臂预应力盖梁施工时,支架的搭设与受力验算的施工经验和建议。     

一种基于编码的OBDD模型检测的算法实现

文章根据OBDD模型检测的基本思想并结合一个微波炉模型实例来介绍一种基于状态编码的OBDD模型检测算法实现。该算法实现通过介绍自行开发的OBDD模型检测器,具体描述了OBDD的生成、化简以及使用OBDD进行模型检测的具体实现算法以及OBDD模型检测的全过程,该算法实现简洁易读,可以直接应用于相关程序的开发。