关于空集装箱返还问题的讨论

经历了半个世纪的发展,集装箱运输已经成为当今交通运输现代化的重要形式。近年来,我国集装箱运输有了长足发展,相应的规范集装箱运输的多部法规也不断完善,但是仍然不能完全避免实践中产生纠纷。就集装箱运输中经常遇到的返还空集装箱的问题进行讨论。     

设备交接单的签收与应用

设备交接单作为集装箱及与集装箱运输有关的机械设备交接单证，系由用箱人或其拖箱人与箱主或其代理人共同签收。当集装箱或相关的机械设备进出码头堆场时均应制作并签收设备交接单，以划分、明确双方各自对集装箱或相关机械设备应承担的责任。在设备交接单实际签收与应用中，     

基于微分动态逻辑的无线闭塞中心交接协议建模与验证

ETCS-2级列车运行控制系统呈现复杂的混成性。按照无线闭塞中心(RBC)交接协议的内容,建立RBC交接协议的UML图;基于微分动态逻辑理论,从混成系统角度对ETCS-2级列控系统规范中的RBC交接协议进行建模。建立的RBC交接协议模型包括列车子模型、移交子模型和接收子模型。根据模型的性质,构造微分不变式,运用证明工具KeYmaera验证模型的安全性和活性。结合专业知识对关键性的约束条件进行分析并将其反馈至模型,实现模型的精化。在模型验证过程中,发现了交接安全及交接效率的参数约束条件,由此参数约束条件可知,RBC交接效率受RBC离散控制时间和列车运行状况的共同影响。     

基于Timed-UML顺序图的RBC交接形式化建模与分析

在CTCS-3级列控系统中,采用RBC技术将线路划分成多个管辖区段。当列车行驶并跨越相邻RBC交界区域时,控制权将会移交至前方相邻RBC,整个过程称为RBC交接。在运行中,RBC交接过程能否实时安全可靠地执行,直接影响着列车的行车效率和乘客的生命安全。采用一种基于添加实时约束的UML顺序图与时间自动机结合的模型来建立RBC交接场景。以双车载电台的RBC切换策略出发,建立切换的Timed-UML顺序图模型,然后按照UML-TA转换规则,建立得到完整的时间自动机网络模型。并利用UPPAAL验证工具对RBC交接模型进行形式化建模及分析,对模型的死锁和功能实现做了验证,从而达到对CTCS-3级RBC子系统的实时性以及设计规范合理性的验证目的。     

船用油品常识百问百答（七）

28、问：标准密度在贸易交接中使用意义如何？ 答：石油标准密度的使用意义重大，规范性的供油商均能严格按照标准密度和标准体积进行商品质量交接，这是国家贸易交接的统一要求。而个别企业和一些私企使用直读出来的石油视密度，或违法使用长期自定石油产品密度的行为均能给用户造成很大损失。     

行标《石油及液体石油产品船舶油舱计量交接标准》修订探讨

船舶舱是石油计量交接重要的计量工具,为了适应油价高涨带来更高准确度的需求,以及计量新技术的发展,行标《石油及液体石油产品船舶油舱计量交接标准》的修订迫在眉睫。本文对该标准修订的内容给予了阐述。     

编队协同防空作战中制导交接问题分析与建模

以水面舰艇编队防空作战为背景,着眼于编队协同作战能力的提高,引入协同制导和制导交接的概念,并对制导交接一般过程、制导交接方式以及交接平台主要任务等问题进行深入的分析和讨论,在此基础上建立了制导交接系统的基本模型,为制导交接的精度分析及其效能评估等问题的进一步研究奠定基础.     

国家标准《集装箱进出港站检查交接要求》简介

GB/T11601-2000<集装箱进出港站检查交接要求>(代替GB/T11601-1989)是根据国家质量技术监督局1996年标准制修订计划的安排,由天津港务局、天津港集装箱公司、原交通部标准计量研究所共同修订完成的.     

散货船货物运输管理和港口风险管控

文章以载运镍矿、粮食、煤炭、水泥、硫磺等固体散货为例,重点阐述了散货船舶货物运输管理和港口风险管控,为强化过程管控提供借鉴.