Reliability Analysis Method of a Control System for Subsea All-Electric Christmas Tree

The subsea all-electric Christmas tree (XT) is a key equipment in subsea production systems. Once it fails, the marine environ-ment will be seriously polluted. ...     

可潜式滚装码头锚泊系统试验研究

可潜式滚装码头由趸船、双体滚装平台和设有特种垂直锚装置的组合锚泊系统等组成。较详细介绍了趸船模型的设计、锚链的模拟方法,全面地分析了不同的锚泊组合方式下锚系的受力状况,得到囤船在风浪流组合条件下相关力学特性和响应规律。     

冀东南堡油田1号人工端岛无填料振冲加固地基的质量控制

无填料振冲加固地基在冀东南堡油田1号人工岛工程中的实践,充分证明运用质量控制理论,结合施工方案、参数控制、抓好关键施工控制点是质量管理的重要保证,已完成的预处理区5万m2无填料振冲加固地基工程质量全部达到预期效果,为今后施工提供了有益的经验。     

改性无砂混凝土路用性能评价

无砂混凝土因其强度不如普通密级配混凝土,限制了它的使用,因此如何提高无砂混凝土的强度和疲劳寿命是其应用的关键。将一种新型的胶体作为改性剂掺加到无砂混凝土中,通过强度、干缩及疲劳试验,与普通无砂混凝土以及同水泥用量、同强度等级的两种普通混凝土对比,试验表明该胶体改性剂能较大幅度提高无砂混凝土强度,达到规范混凝土面层强度要求,同时具备良好的抗干缩性能,特别是拥有优异的抗疲劳性能,使无砂混凝土具有了良好的应用前景。     

北部湾、泛北部湾港口崛起的号角——中国-东盟港口发展与合作论坛札记

2007年10月28日,第4届"中国-东盟国家博览会"在广西南宁隆重开幕.这届博览会,参展企业1908家,共设展位3400个,其中东盟10国1134个,比上届提高35%.商品贸易成交额14.2亿美元,同比增长12.1%;签约国际合作项目投资额61.5亿美元,比上届增长5.3%;签约国内合作项目投资额582.1亿元人民币,比上届增长5.1%,均超过了前3届.     

变频调速技术应用的经验

介绍变频调速技术的特点,以及在港口装卸设备电气传动控制系统改造中选择和应用变频器的技巧和经验.     

改善预应力连续箱梁耐久性措施探讨

近年来大量预应力混凝土箱梁在运营阶段相继出现了影响结构正常使用及结构耐久性的受力裂缝。从以下几个方面探索改善预应力连续箱梁耐久性的措施、建立全寿命成本分析优化设计理念;加快抗裂、抗渗等高性能混凝土材料的推广和应用;改善原有预应力连续箱梁施工工艺、结构形式;设计时充分考虑桥粱使用时所处的环境,针对具体的环境采取适当的措施减少环境对桥梁耐久性的影响,加强运营阶段的管理和维护。     

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

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

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公约中涉及挡火风闸的各类条款,在该教学船上均有所体现。