简介：本文论述了自由裁量权在海事行政处罚中的表现形式及其必要性,指出了自由裁量在海事行政处罚中存在的问题,提出了如何合理控制自由裁量权的相关对策。

简介：在使用多媒体教学手段的过程中,出现了各种各样的形式主义,究其原因,主要是由于教学理念滞后于教学手段以及存在把改变教学手段当作唯一目的的错误思想认识.所以只有根治错误思想,才能有效运用现代技术手段,不至走入形式主义的误区.

简介：统一建模语言（UML）是一种对软件密集系统进行可视化建模的语言,但UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。B方法是一种较成熟的软件形式化方法,具有精确性、无二义性等特点。文章用B符号来表示UML类图组成元素的语义及其映射关系,并给出了用B方法来描述UML类图的一种方法。

简介：经历过去的十年,中国已成为海工钻井装置市场中更重要的角色,无论是建造量还是船队拥有量,都有显著的增长。截至2017年6月初,中国船东拥有的移动式钻井装置（MODU）共计86台,相当于全球该船队的9%,并且仍有38台在建造中。此外,有44台由国外船东所拥有的移动式钻井装置正在中国船厂建造。

简介：论述学习形式的多样性是历史积淀的结果，通过对航海教育形式的分析认为，航海高职院校成人高等教育保留脱产形式是非常必要的，提出在航海教育办学形式上切忌一刀切，要加强航海教育质量的监管。

简介：2018年以来,航运市场稳中有升,供需基本面总体向好.随着能源新格局和环保新政策带来的市场机遇,全球新造船市场略有好转,新船成交量小幅上涨.但贸易摩擦对航运业前景带来一定冲击与不确定性,船舶市场风险与机遇并存,复苏之路仍将漫长.