STCW公约马尼拉修正案2012年1月1日起生效

STCW公约及其附则已全面修订,并在2010年6月IMO在菲律宾马尼拉召开的外交级大会通过(称马尼拉修正案)。马尼拉修正案2012年1月1日起生效,并有一个直至2017年1月1日的长达5年的过渡期。过渡期内,缔约国仍可发出、更新、重新验证、认可符合2012年1月1日前有关规定的     

基于CSP的CTCS-1级列控系统RDC数据验证的研究

区域列控数据中心（RDC）作为CTCS-1级列控系统地面设备的核心部分，为车载设备提供线路数据、临时限速信息、进路信息等，因此，RDC数据的正确性对列车正常运行至关重要。通过对RDC所包含的静态数据进行分析，总结出数据应满足的约束条件，以轨道区段数据为例，基于实体数据应满足的域值条件以及数据之间的关系建立数据约束规则，将数据验证规则加入数据验证流程，利用通信顺序进程（CSP）形式化语言对数据验证流程进行建模，用模型检验工具ProB对CSP语义模型进行检验。验证结果正确，表明数据验证方法可行，为RDC静态数据自动化验证奠定了基础。     

“客滚船和液货船破损稳性验证研究”结题评审会在上海召开

“破损客滚船甲板积水残存稳性研究”和“液货船破损稳性验证研究”结题评审会于2011年12月22日在上海举行。来自交通运输部海事局、中国船级社、上海交通大学、中国船舶重工集团公司第七0二研究所、     

船用诱导通风装置流动特性计算分析及试验验证

本文针对某船用反吹风结构形式的诱导通风装置进行了射流特性数值及实验研究。基于诱导射程指标,首先进行了一维性能仿真初估,给出喷嘴的大致直径,并采用CFD技术对有无导流两种结构形式的喷嘴进行了射流特性仿真对比,确定采用有导流的喷嘴结构形式,进而对诱导通风装置的整机进行CFD仿真,确定了整机的压损、气流组织和射流特性,并与后期试验数据进行了对比,验证了设计和数值计算的准确性。本文给出了一种结合一维设计和三维仿真的诱导通风装置前期设计方法,能节省试验成本,可为后续不同性能指标的诱导通风装置提供设计参考。     

舰船舰桥整体设计及验证方法研究

舰桥包括驾驶室、桥翼区域及其安装设备,是舰船执行航行指挥的核心部位。其整体设计包括对驾驶室位置、布置、涂装等设计,也包括对驾控台及相关设备的要求设计。本文通过对国内外相关规范的整理,结合舰船任务特点,从航行任务设计、人机环境设计、信息体系构建等方面进行整体设计,并结合虚拟仿真计算和半实物模型评估对设计进行验证,论述了一种完整的舰桥整体设计和验证方法。     

关于制造设备的能力验证

能力验证作为一种科学的、规范的方法，在现代制造设备评定中日益受到重视。介绍了制造设备能力验证在企业中的实际应用，指出制造设备能力验证方法在控制产品质量过程中的作用。     

直流车辆用蓄能器

直流车辆用文中所述的蓄能器能在显著降低功率消耗的同时,又在节能方面迈出了重要一步,而且车辆可在局部无接触导线区运行.样车试验证实了这些设想.     

快速实现白车身品质保证的思路探讨

国内的整车厂家数量众多,在开发能力上差异巨大,因此在车型整体装备的开发中,不仅需要专业设计公司采用逆向与正向相结合进行车身设计,而且也需要专业公司承担起模具、夹具、检具和整车匹配和协调等车身开发整体外包任务。本文介绍了在白车身匹配和协调过程中制约冲焊件质量提升的种种因素(包括产品、制件及夹具等);通过对冲压件验证和工装验证过程中暴露出来的问题的阐述,说明了在白车身匹配和协调前期进行充分技术准备的必要性和迫切性;通过现场实例说明了快速实现白车身品质保证所做的思路探讨。     

EPA07发动机在HFF6137K07D客车上的匹配

通过对比目前各排放标准，了解美国排放标准，研究EPA07发动机在客车上的匹配，通过试验进行了验证。     

联锁软件的Petri网形式化定义

用Petri网对联锁系统中的核心部分－联锁机中的联锁软件进行表式化定义和分析，以减少联锁系统中的不确定性因素，降低联锁软件的复杂性，保证联锁软件定义的正确性，并对该定义进行了形式化验证。同时以进程建立过程作为事例，说明了用Petri我形式化定义联锁软件的具体过程，采用分层模型化技术对联锁软件中的各个变迁（模块）进行逐级分解和验证，最终得到经过验证的，足够详细的联锁软件模型，利用该模型能对系统的一些重要性能（如安全性和实时性）进行分析和改进。