侧滑仪与检测工作站通信技术研究

汽车前轮定位参数的正确与否,对汽车的行驶平顺性、安全性、秉坐的舒适性及操纵的灵巧等方面有很大影响.因此,作为前轮定位参数的重要部分--侧滑量的检测在汽车检测系统中占有不可或缺的地位.     

安装中央制动器的某型变速器的后壳体设计与开发

针对某型变速器后壳体进行改型设计,增加了安装中央制动器的结构,对改型设计及加强设计的后壳体进行了有限元分析计算、台架试验和道路试验。计算及试验表明,加强设计的后壳体强度完全满足使用要求,此状态的后壳体已进入批量生产阶段。     

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     

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

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