一种带松动标识的爱克姆螺纹锁紧装置的设计

为节省列车车厢内部空间、方便快捷地安装配置设备的电气线路和空气管路,高速列车普遍将车辆设备安装布置到车体底架下部。文中结合车下设备的紧固和检修需求提出了一种新型锁紧装置,该装置有效提高了锁闭系统的疲劳寿命,有效地保护列车的行车安全,并降低了生产和劳动成本。     

VTS在海上自主航行船舶（MASS）服务中的责任与策略研究

海上自主航行船舶(Maritime AutonomousSurface Ship,以下简称“MASS”),简单来说是指利用传感、通信、物联网等技术手段,自动感知和获得船舶自身、海洋环境、物流、港口等方面的信息和数据,并基于计算机技术、自动控制技术、大数据技术、智能技术,在航行、管理、维护保养、货物运输等方面实现智能化运行的船舶。     

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

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

河钢塞钢对中国港口开拓海外市场的启示

面对机遇与风险并存的局面,中国港口企业如何学习河钢塞钢管理团队的成功经验,在"走出去"的过程中,用最短时间实现最大化发展近几年,随着"一带一路"倡议转入实体层面的推动,中国港口企业纷纷走出国门,积极开拓海外市场,投资项目的数量和规模不断扩大,取得了不错的成绩。     

面向新型混合交通流的智能交叉口网络布局优化

考虑网联自动驾驶车辆(Connected Autonomous Vehicle, CAV)应用先进的车联网与自动驾驶技术，可以采用智能交叉口的组织形式，大幅提升交叉口的通行效率，为降低CAV与人工驾驶车辆(Human-driven Vehicle, HV)混行条件下城市交通系统的整体出行成本，提出智能交叉口在城 市交通网络中的布局优化问题，建立数学优化模型并求解。首先，基于对两类车辆行驶特性的分析，建立混合用户均衡模型，描述CAV与HV的路径选择行为；其次，从交通规划者的角度，以系统最优为目标，整合混合用户均衡模型，建立面向新型混合交通流的智能交叉口网络布局优化模型，并利用改进的遗传算法求解；最后，选取Sioux-Falls交通网络作为案例分析，验证模型与算法的有效性，并研究CAV渗透率变化对优化结果的影响。研究表明，智能交叉口在城市路网中的合理规划极大地提高了新型混行场景下城市交通系统的出行效率，同时，大幅降低了由于网联自动 驾驶单方面技术优势带来的CAV与HV的出行效率差距，增进了出行公平性。     

杭州至海宁城际铁路智能维保研究

为解决传统维保存在的诸多问题,进一步优化运维方式、降低维保成本、提升管理效率,以杭州至海宁城际铁路(以下简为"杭海城际铁路")智能维保项目为切入点开展相关研究.将智能维保划分为数字化、自动化及智能化3个方面,强调了数据接口、数据共享的重要性,重点阐述了生产计划管理、设施设备管理、生产工具管理、人力资源管理及设施设备智能检测的建设思路,提出了对维保自动化、维保智能化的思考.研究成果已成功运用于杭海城际铁路智能维保建设中.     

智能导引运输车（IGV）在自动化集装箱码头中的应用

采用磁钉导航定位技术的自动导引运输车（AGV）对堆场平行布置的集装箱码头存在应用局限性，本文以广州港南沙四期自动化集装箱码头工程为依托，在分析采用“卫惯导航+多传感器融合”定位技术的新型智能导引运输车（IGV）技术特点和优点的基础上，详细阐述了IGV定位导航、能源补充、维护保养等码头基础设施的设计要点，可为类似自动化集装箱码头工程的设计和建造提供一定的参考。