基于TRSL的RBC等级转换场景研究

无线闭塞中心等级转换场景作为中国列车运行控制系统主要场景之一,切换成功与否直接影响高速列车的安全和运行效率。通过对形式化验证方法的分析,采用基于定理证明的时间化工业软件工程规范语言的严格方法(Timed Rigorous Approach to Industrial Software Engineering Specification Language,TRSL),在对等级转换过程进行分析的基础上,设计交互信息图,构建状态迁移图,并结合域建模方法实现对该场景的TRSL描述,最后利用语言推理规则,结合系统特性,实现对切换正确性和实时性的双重验证,结果表明:该场景满足系统规范对功能性和实时性的要求,继而说明该方法的有效性、正确性和通用性,为我国列控系统的设计开发和验证提供一种新的途径和依据。     

“120km/h速度等级B型地铁ZMA120型转向架”项目通过湖南省科技成果鉴定

<正>2009年1月8日,由湖南省科技厅在株洲主持召开了"120km/h速度等级B型地铁ZMA120型转向架"项目的科技成果鉴定会。会议聘请了中国铁道科学研究院、上海地铁运营公司、南车戚墅堰机车有限公司、西南交通大学、湖南大学、中南大学、南车资阳机车有限公司等有关单位的专家组成鉴定委员会。     

船舶噪声等级规则对中小船企的影响及应对措施

随着MSC.337（91）决议通过了《船舶噪声等级规则》,并经由MSC.338（91）决议正式将该规则纳入了《国际海上人命安全公约》（SOLAS）第II-1章第3-12条,并在2014年7月1日起强制实施。至此,造船业将面临继全面实施PSPC之后的又一场技术革命。然而新《规则》的生效却可能给中小船企带来沉重打击,尤其是当前新造船价格低迷,如何做好船舶噪声控制,使其满足《规则》要求,同时合理控制降噪成本,将是未来一段时间内中小船企能否维持自身竞争力的关键所在。本文从中小船企在船舶噪声控制面临的主要问题着眼,结合新造船与现有船在噪声控制方面的不同之处进行阐述,提出了切实可行的降噪措施,为降低船舶噪声等级提供一些参考。     

关于执行马绍尔群岛海事通告No．2-011-31的通知—避免、阻止和拖延海盗袭击的船舶保安计划和措施

马绍尔群岛主管当局近期下发海事通告要求,依据ISPS规则所制定的船舶保安计划（SSP）中所包括的关于防止恐怖袭击、海盗和武装抢劫的保安措施至少要满足该通告所描述的在国际间所接受的“最佳管理经验”（BMP）和马绍尔主管当局的要求。     

船舶实施保安规则中存在问题及对策

国际海事组织(IMO)于2002年12月13日通过了<1974年国际海上人命安全公约>(SOLAS 公约)关于国际反恐的修正案 ,并出台了于2004年7月1日生效的<国际船舶和港口设施保安规则>(ISPS规则).由于此规则实施时间不长,还有许多不尽完善的地方,船舶在实施过程中产生了许多问题.文章重点对此存在的问题进行梳理和分析,提出了一些对策和建议.     

中国英语能力等级量表视域下商务英语口语课程个性化培养路径研究

《中国英语能力等级量表》口语分量表面向运用,强调以学生为中心,不仅可以为商务英语口语学习者自我评价提供参照标准,也为面向运用的商务英语口语分级教学提供依据.针对目前商务英语口语教学中存在的问题,提出将《口语量表》引入商务英语口语教学,改革传统教学形式,通过设计个性化培养目标以及多层次分级教学任务,探索商务务英语口语课程...     

公路施工质量通病的原因及措施

前言近年来,我国公路建设成绩喜人,公路通车里程剧增,公路等级有了较大提高,尤其是高速公路得到了很大发展,一个四通八达、快速便捷的公路交通网络已初步形成。从工程质量上看,应该说总体情况较好,质量事故不多,较好地满足了设计要求。但同时应看到质量问题仍有不少,像路基整体及局部沉降、水泥路面的裂缝及断板、沥青路面的松散和坑槽等早期损坏、构造物表面粗糙、路面不平整。相当一部分桥梁桥头跳车等质量通病仍然存在。投     

以市场为导向推进汽车维修培训

汽车维修的社会培训机构在政府劳动主管部门的指导下,按照汽车维修各个等级的培训大纲与规定的内容进行教学服务,让已在汽车维修厂工作的维修技工经过几个月短期的业余学习,通过政府主管部门组织的技能鉴定,取得社会认可的技能等级证书。学员在取得合格的技能等级证书后,也就取得了合法的从业资格或执业资格。深圳市政府对已取得合格技能等级证书的劳动者提供一系列的优惠扶助,如按不同等级发放定额的经济补助,正式调入深圳市户口并享受社会福利房或租赁廉价房等。所以汽车维修培训机构把学员的技能鉴定作为一项主要任务。     

追求“台”后的安宁

每年的7到9月是西北太平洋传统意义上的台风季节,也是台风光顾广东最频繁的月份。每年这个时节及前后延伸数月,各种防范准备、全面部署与扫尾工作接踵而至。2013年的台风季,因为有了中心风力达14级的超强台风"尤特"的加入,险情应急等级瞬间提升。对于年年此时战斗在第一线的海事部门来讲,台风就是他们宿命里的敌人。每到这个季节,他们都在不断地拷问自己:防范到位不到位?措施得力不得力?救援及时不及时?其实,这些问题不仅仅是看组织了     

汽车喷烤漆房:跨过那道坎儿——访中国船级社质量认证公司高工吴冰

汽车喷烤漆房痼疾不除,资源、环境与发展的矛盾将随着汽车保修行业的加速和扩张而进一步加剧。上世纪90年代之后,中国汽车喷烤漆房市场"火"了。据统计,目前全国在用汽车喷烤漆房登记在册的有40000台,北京市登记在册的有2616台。而事实上,民间汽车喷烤漆房的数量早已超