2009年总目录

·航海与船舶驾驶·先令舵及其操船要点……池立波1-（1） ECDIS和AIS组合使用的优势和前景……陈华飞1-（4） 奥里诺科河（ORINOCO）介绍及航法……郑睿1-（6） 接新船之浅见……马广贺1-（8） 关于大风浪中船舶航行安全的综合分析……关腾飞2-（1）     

形式化可测性约束在软件模型实现过程中的研究

在软件测试中,软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型,但原始的UML模型,由于缺乏严格的定义及必要的约束,如果要生成高精度的软件模型,必须对其添加必要的形式化可测性约束。这正是文章研究的重点。     

离子鱼专题：马岛战争启示录2——直升机在两栖登陆战中的价值

直升机在朝鲜战场上首次体现了其技术特点在战术使用上的优势,对起降场地要求低和使用灵活的优点弥补了其速度不足的缺陷,因此在后来的越南战争中被大规模应用于人员和装备运输,而且还开始进行直接火力支援。越南战争后,世界各主要军事强国都非常重视直升机的作用,使直升机获得了快速发展。发生于上世纪80年代初期的马岛战争虽然规模不大,但却是从水下到空中、从海上到陆地的立体化战争,     

在-48V电源系统中的阀控式密封铅酸蓄电池使用及注意事项

为确保通信供电的稳定、可靠、不问断,蓄电池的作用越来越突出,而蓄电池的正确使用与科学维护直接决定着蓄电池的寿命,现以目前应用最广泛的阀控式密封铅酸蓄电池（以下简称阀控式蓄电池）为例,加以说明。     

嵌入式智能操作面板设计

本文介绍了一种新型的嵌入式智能操作面板,以提供人机界面和网络通信为基本功能框架,以ARM处理器和嵌入式Windows CE操作系统为核心,通过串口或以太网口和其他控制系统交换数据。     

港口设备敌障记录与分析系统

在港口的现场操作中,由于设备故障造成的停机、换机对现场生产影响很大,直接导致操作效率降低,某些特殊情况甚至可能影响船舶离港。为应对此类问题,广州南沙海港集装箱码头有限公司技术部建立设备故障记录和分析系统,对故障记录与分析工作进行优化,统一抢修故障内容描述,将抢修故障分为机构、系统、类别、停机时间、频率等几大类,     

多耗油的九个关键时段

车辆耗油量的大小除了跟车辆本身的排量大小有关外,与司机的操作习惯很有关系。因而,“有的放矢”节油很关键,其中有九个关键时段要把握住。     

中华人民共和国交通行业标准牵引杆挂车转盘JT/T××××-××××

1 范围 本标准规定了牵引杆挂车转盘的型号、基本参数系列、技术条件、检验规则、标志、使用说明书、运输和贮存。     

在役预应力混凝土桥梁缺损状况的检测及评价技术研究

基于近年来大量的相关括性的介绍,给出对不足之处的研究思路和研究方法的框图模型,可为在这方面的进一步应用、发展和研究提供参考.     

Stena Bulk公司披露其零碳型船舶设计理念

Stena Bulk公司透露了InfinityMAX混合散货船设计理念,针对零碳、多式联运船舶设计.该InfinityMAX 概念设计用于在模块化舱室中载运干货和湿货,以几个新的核心原则建造.