Behavior-consistent service substitutions in dynamic environments

In this paper, a novel approach for service substitutions based on the service type in terms of its interface type and behavior semantics is proposed. In order to analyze and verify behavior-consistent service substitutions in dynamic environments, we first present a formal language to describe services from control-flow perspective, then introduce a type and effect system to infer conservative approximations of all possible behaviors of these services. The service behaviors are represented by concurrent behavior expressions （CBEs）. Built upon the interpretation of CBEs, behavior-consistent service substitutions are defined and analyzed by subtyping technology. The correctness of the analysis approach is guaranteed by type safety theorem, which is mechanically proved in the Coq proof assistant. Finally, applications in web services show that our method is effective and feasible.     

教学实习船“育明”号挡火风闸安装情况分析

上海海事大学48000DWT远洋教学实习船"育明"号是目前世界上吨位最大、设施最先进、功能最齐全的教学实习船。它虽然以散货船为母型船,但由于舱室布置和通风管系复杂,所以挡火风闸的安装布置也较普通散货船复杂很多,基本上SOLAS公约中涉及挡火风闸的各类条款,在该教学船上均有所体现。     

电感式传感器在吊具导向轮检测中的应用

汽车涂装车间设备种类繁多,许多运动设备故障隐蔽,在日常巡检过程中不易发现,常由于小问题而酿成大的设备损坏及安全事故。通过引入电感式传感器检测技术,有针对性的创新改造,实时在线的对这些设备进行监控,达到设备故障提前检测、预防维修的目的。     

浅谈城市轨道交通线路设计

为了提高城市轨道交通线路设计质量及工作效率,促进城市轨道交通又快又好发展,对线路设计的总体性、复杂性、阶段性3个特征进行了分析,总结了线路平面、纵断面、横断面、辅助线、调线调坡设计内容,提出了线站位方案研究的技术路线与方法,以及方案比较时需重点考虑的影响因素.     

浅析TDCS中心架构方案的网络冗余性验证方法

针对高速铁路的快速发展,铁路通信网络瞬间中断将会对铁路行车指挥造成严重的后果,包括业务不能访问和由于网络故障导致业务数据丢失等问题。以TDCS中心网络为研究对象,从网络架构方案入手,搭建网络冗余性验证模拟环境,制定整体验证方法,并分别从链路冗余验证和HSRP验证2个方面验证了TDCS中心架构方案的网络冗余性。验证表明:当TDCS中心网络发生意外故障时,网络仍然能够正常通信,关键业务不会造成数据丢失,为铁路行车安全提供了稳定数据网络传输保障。     

The Redemption of Zhejiang Shipping Industry Under the Crisis

The autumn is approaching and the chill is being felt, which is the general feeling of the shipping industry. Since the first quarter of 2011 till now, the coastal shipping market in Zhejiang has been vibrating at the low level initially and then dropping drop continuously. This     

舰机协同反潜导航问题研究

文章从目前舰机协同反潜中存在的导航精度不高和抗干扰性差的问题出发,分析了影响反潜导航的因素,提出了应用舰艇编队雷达组网方法提高导航能力的思路。     

兰渝线桐子林隧道岩溶特征及整治方案探讨

文章介绍了兰渝线桐子林隧道施工中揭示的3处岩溶、暗河、岩溶水的发育特征,以及对不同岩溶提出了几种针对性的整治方案,并进行了方案分析、比选探讨.目前隧道施工已穿过岩溶地段,并已取得初步成效,特别是隧道通过后未产生新的水环境问题.     

Design and evaluation of an integrated inventory and transportation system

This paper proposes the adoption of an integrated inventory and transportation system (IITS) to minimize the total costs of inventory and transportation. A non-linear programing is developed by analyzing transportation and inventory costs with one supplier and many retailers in the distribution environment. The paper compares the proposed model with the traditional approach in computing total costs with numerical data. The results indicate that the total costs can be optimized by adopting integrated programing rather than the traditional approach, along with achieving improved customer service levels. In particular, sensitivity analysis is applied to determine the performance of the IITS under various transportation costs, holding costs and shortage costs. It shows that the transportation cost per unit is most sensitive in the proposed model. In this situation, the IITS is more effective for cost saving when set-up cost, holding and shortage costs are high, but is less effective for situations involving high per-unit transportation costs.     

开拓岸电技术引领绿色水运——连云港岸电技术介绍

为了进一步节能减排，建设绿色港口，连云港在吸取国内外岸电技术成功技术的基础上，开拓了自己的岸电技术。介绍了连云港港岸电技术的由来，其在绿色水运中的意义，技术方案及其优点。阐述了实施该方案需要解决的问题。对中国在岸电方面引领世界的前景进行了展望。