简介:统一建模语言(UML)是一种对软件密集系统进行可视化建模的语言,但UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。B方法是一种较成熟的软件形式化方法,具有精确性、无二义性等特点。文章用B符号来表示UML类图组成元素的语义及其映射关系,并给出了用B方法来描述UML类图的一种方法。
简介:2014我们猜对了吗?《海运纵览》2014年1-2月刊曾经对2014年的航运、物流的走势提出了七大猜想。猜想一:中远中海大合并,航运业开启整合大幕(猜想人:张运鸿)作为国内最大的两家航运公司中远与中海的运力总和都不及三大航运巨头其中任一,加之两家公司业务侧重于欧美航线。未来2-3年,随着一批超大型集装箱船的交付,两家公司对于欧美航线的中长期依赖度仍将不断提升。P3联盟对于中远、中海的正面冲击将难以避免。
简介:《海运纵览》2008年12月期曾经对2009年的航运、物流的走势提出了九大猜想。我们猜对了吗?就让我们对曾经的预言做逐一盘点。
简介:加利福尼亚海的阵阵暖风轻抚着在长滩举行的TPM年会,也掩盖了集装箱航运业的重大改变。这些变化标志着集装箱班轮的转折点已至,还是将延续可能引发另一起韩进事件的低运价。
简介:
简介:通过船舶碰撞案例分析和航海避碰实务处理,收集直航船行动规则的某些问题解说,指出其危害性,并给出直航船行动的正确的解读.
简介:数字水印技术是保护数字媒体安全的一种有效手段,但当前对数字水印技术的研究还有待进一步加强。文章阐述了数字水印技术的基本原理,介绍了离散余弦变换(DCT)和离散小波变换(DWT)水印算法,并通过攻击实验,对DCT和DWT水印技术在不可见性、鲁棒性、水印容量等方面进行了比较分析,以期对推进数字水印技术的发展起到一定的积极作用。
简介:在对全球高级船员供求关系的调查和预测的基础上,归纳国际海事组织应对全球高级船员短缺问题的行动,分析全球高级船员短缺预测数据的准确性和可信度,探讨全球高级船员短缺的本质及中国高级船员短缺的内涵,进而提出中国应对高级船员短缺的正确举措。
简介:经过多年的改革,招生制度逐步趋于完善.但在高等教育依然是稀缺资源的今天,涉及千家万户利益的招生公正已成为整个社会关注的热点.近年来,招生工作中所出现的有失公正的现象,实际上与现行的招生制度有着必然的联系.探讨了高校现行招生制度存在的问题,分析了产生招生不公正的根源,并指出了解决办法.
简介:鉴于目前国内外还未有专门对海员开放的英语学习平台。以STCW公约对适任海员的英语能力的要求为标准,阐述如何建设国际海员英语学习平台,包括建设的模块、内容、呈现的方式等。由此使海员的英语学习不受时间和空间的限制,进一步促进海员英语的教学理念和教学方式由传统的面对面模式转变为远程教学和电子教学模式。
简介:针对目前水下探测设备在续航中出现的问题,本文设计了一种基于太阳能的海上电力补给装置,对其理论性能进行分析计算,制作出样机产品并进行了实际性能测试;计算结果表明,输出功率随着输入功率的升高而增大,但其增大的速度逐渐降低,能量传输效率随着输入功率的增加呈先增大后减小的趋势,在本装置设计条件下,理论计算的最大输出功率为80~90W,能量传输最大效率为0.8~0.9;性能实验测试结果表明,装置正常运行,能点亮LED灯.
简介:运用机械仿真设计软件SolidWorks(集成COSMOSMotion与COSMOSWorks)建立了组合连杆式自卸汽车举升机构的仿真模型,并对此机构进行了运动仿真分析,得到关键零部件的最大应力及对应的举升角度,并基于有限元分析,对零件进行了结构改进和强度校核。文章所用的分析方法,有很强的实践应用性,对于设计工作具有一定的指导意义。
简介:当生活的节奏加快,我们有机会成倍地体验各种滋味——包括大大小小的挫折感。如果受够了做负面思考的奴隶,那就来学会“正面思考”吧。何谓“正面思考”?正面思考就是指在遇到挑战或挫折的时候,人们会产生“解决问题”的想法,
简介:船长一词来自拉丁语过程中使用旧的罗马帝国时代的MagisterNavis,即指定为船上最高权威的贵族。随着时代的变迁,现代船长的权利和职责有了什么变化,又面临哪些困惑。
简介:中国南安普顿刚有座著名的“寻亲舱”。“寻亲舱”是由第二次世界大战期间一艘军舰改装成的。二战期间,
简介:大型水面舰船的防护舱壁需要设计成工作在薄膜应力状态下,利用能量法推导了在爆炸荷载作用下防护舱壁塑性大变形的计算公式、探讨了防护舱壁的最大承载能力,对防护舱壁的设计要求进行了讨论,与国外发表的有关试验结果进行了计算比较,结果表明该方法具有一定的应用价值。
简介:论述新的《海船船员适任评估大纲和规范》特点,针对新的评估规范对评估内容、评估要素、评估标准和评分标准要求,结合航海模拟器教学实践,提出应按照新的适任评估大纲组织教学的相应对策。
简介:在民事纠纷中应慎用诉讼的方法解决问题,与诉讼的方法相比,庭外调解更具有亲和力.权利应当争取,但在民事纠纷中用道德的途径解决此类纠纷往往比用诉讼的方式解决更易取得人们的认同和支持.法治社会也是一个需要亲情的社会,以道德解决家庭纠纷同样能带动市场经济的发展,因而提倡法律与道德共同担负治理社会之责,建议在民事纠纷中尽量减少使用诉讼途径.
简介:分析中国航海模拟器的发展现状,回顾模拟器发展的三个阶段,指出当前模拟器发展的趋势,同时探讨模拟器发展中存在的船舶模型的操纵性能仿真性不足,图像仿真性、仿真灵活性、系统稳定性不足,设计标准不统一等问题。
简介:本文分析了21世纪航海教育的发展趋势,论述了航海教育面向21世纪的人才培养模式、培养目标与规格,并指出了当前航海教育界必须重视和研究的几个问题
基于B方法的UML类图形式化研究
曾经的预言 未来的猜想
变化的浪潮
神秘的ACL
关于直航船行动规则的某些解说的质疑
基于DCT与DWT的水印算法的比较分析
高级船员短缺的本质与我国的应对举措
高校招生制度的完善与招生公正的探讨
基于STCW公约的国际海员英语学习平台的建设
基于太阳能的海上电力补给装置的设计
基于SOLIDWORKS的自卸汽车举升机构的仿真设计
正面思考的力量
现代船长的角色
“寻亲舱”的不速之客
爆炸荷载作用下的舰船防护舱壁的承载能力
基于新的适任评估大纲的航海模拟器教学
如何看待用诉讼的方法解决民事纠纷的问题
航海模拟器在我国的发展及存在的问题
21世纪航海教育的发展及我们的责任