日照港股份轮驳公司机务管理系统进展顺利

2013年,日照港股份轮驳公司创新船舶设备管理模式,积极推进机务管理系统建设。机务管理系统建成后,将提升机务管理的手段和能力,提高船岸传输、设备台账、船级符号的同步能力,提高设备管理效率。     

偶图符号控制数的下界

设G=（V,E）是一个图,一个实值函数f：V→{-1,＋1}满足∑v∈N[u]f（v）≥1对一切u∈V（G）都成立,则称f为图G的一个符号控制函数。图G的符号控制数定义为γs（G）=min{∑v∈V（G）f（v）｜f为图G的符号控制函数}。研究了偶图的符号控制问题,主要给出了偶图符号控制数的两个下界。     

太平洋海工4艘LEG船订单生效

南通太平洋海洋工程有限公司日前宣布,该公司从挪威Odfjell Gas Shipowning AS获得的4艘2.2万立方米液化乙烯气体(LEG)船选择权订单正式生效,预定于2016年9月至2017年6月交付。该型船采用MAN最新的5G45ME-C9.5型主机,满足TierⅡ排放标准要求;油耗低,达到船舶能效设计指数(EEDI)第二阶段要求,并符合DNV GL绿色船级符号的所有要求。该船液货舱由4对双耳独立C型罐组成,另配置两个甲板货罐,可同     

驾车收发短信,事故暴升23倍

<正>有数据显示,在驾车时用手机收发文字短信,导致发生事故的几率暴升23倍。分心驾驶的危害不言而喻。加拿大一家全国性致力减少伤亡的组织调查的数据显示,分心驾驶造成的车祸伤亡,更甚于超速或是酒后驾驶。而在由于分心造成的交通事故中,尤以13至19岁的青少年在车祸中     

基于生产力进步指数法的我国汽车产业人才需求量预测

我国汽车产业发展迅速,已成为汽车生产和销售的大国。汽车产业的迅速发展拉动了对汽车人才的巨大需求。本文根据中国汽车工业历史统计数据,采用生产力进步指数法对我国汽车产业人数和工程技术人员数进行预测,并就汽车行业人才的培养、开发提出一定的建议。     

象数相生符号相从--从彩陶花纹看数字符号的起源

本文从彩陶花纹的形式类比与寓意象征中控探寻其计数规律，从花纹组合的形式演变中识别其数字符号的寓意性质，从而揭示了甲骨文数字符号起源的历史之迷，也消除了过去关于数字符号起源的种种推测假说。     

CTCS-3级列控系统规范建模与验证

结合统一建模语言UML与符号模型检验SMV形式化方法,提出需求规范严格建模和验证方法。利用需求管理工具,保证了模型和规范的一致性和对规范的覆盖性,同时实现了规范验证结果对模型、转换规则和规范的跟踪。给出了CTCS-3级列控系统严格建模与验证的方法体系和流程,并以CTCS-3级列控系统需求规范中的模式转换部分为例,说明了规范的建模、验证和分析过程。     

基于UML的CTCS-3级列控系统需求规范形式化验证方法

采用UML与符号模型检验相结合的方法,对CTCS-3级列控系统需求规范进行形式化验证.使用引入事件、可见变量抽象的方法,对需求规范UML模型进行扩展和抽象.根据转换规则,建立需求规范的NuSMV模型,并对NuSMV模型进行领域无关特性和领域相关特性的验证,通过反例对错误进行追踪、定位和修改.以需求规范中的模式转换为例,采用给出的形式化验证方法对其进行验证,验证结果确认模式转换满足活性、转移性、无死锁性、确定性及安全性的要求;验证过程表明UML与符号模型检验相结合的方法适用于CTCS-3级列控系统需求规范的验证.     

助航设备的海图表示方法与航海应用

文章针对各种助航设备的特点,详细介绍了其航海应用及制图综合原理,为航海人员能更好地阅读海图和使用海图,避免海上交通事故,保证航行安全具有重要意义。