Timed RAISE方法在列控系统等级转换场景中的应用研究

高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转换(CTCS-2级至CTCS-3级)场景进行描述,并对其场景交互一致性和实时性进行验证,结果表明该场景不会出现场景交互一致性错误,也不会违反时间的约束。     

6月份资本市场概览

5月29日～6月5日全球股市本周依旧维持上涨态势,亚太市场最为抢眼.美国市场方面,虽然周五有所振荡调整,但是全周表现强势.     

一汽-大众获最具社会责任汽车企业称号

作为一个企业公民，一汽-大众公司长期坚持从事捐赠、公益和慈善事业，成立17年来，爱心捐助足迹遍布中，国云南、广西、陕西、吉林等地，一次次的感动，使一汽-大众成为涌动爱潮的拥有着高度责任感的优秀企业。特别是在2008年，从年初的南方雪灾捐助、5．12汶川大地震捐助、地震灾区儿童救助专项基金的设立、湿地保护、护航奥运圣火等一系列行动，使得今年的主流媒体联盟成员在关于社会责任汽车企业投票时，     

无机陶瓷涂料在地铁车辆上的应用

阐述了轨道交通车辆防火的概念,给出了欧洲一些国家关于轨道交通车辆的防火标准。无机陶瓷涂料具有良好的防火性能、耐腐蚀性和超高的硬度等特性。与有机涂料相比,它是一种具有环保性的新型装饰材料。介绍了无机陶瓷涂料在地铁车辆上的应用情况,并总结了该技术在应用中的特点。     

儿童安全不容忽视

儿童安全是应该足够引起人们和国家重视的。但就我国目前的情况，和发达国家相比，实在相差太远。我国基本没有行车安全方面对于儿童保护的立法，而人们对于儿童安全意识的薄弱，也使得儿童在交通事故中的伤亡率偏高。     

简易钢管栈桥码头在喀纳斯湖的应用

阐述了在国家级自然保护区喀纳斯湖采用简易网箱栽植钢管栈桥码头的最优选择与实用性,明确了建设简易钢管栈桥码头的关键技术问题,指出了简易钢管栈桥码头营运维护应注意的问题。简易网箱栽植钢管栈桥码头成功经验表明其具有广泛的应用前景。     

接触网不同安装方式下接地保护的动作分析

介绍了跨座式单轨交通接触网接触轨在轨道梁上的不同安装方式及接地保护的动作原理,对正极接触轨支持绝缘子在不同安装方式下发生闪络或击穿故障时引起接地保护动作的工况及对行车造成的影响进行了分析,给出了接触网接触轨在轨道梁上安装方式的建议。     

安徽召开营运客车类型划分及等级评定工作座谈会

为贯彻执行交通行业标准《营运客车类型划分及等级评定》（JT／T325—2006），加强源头管理，加快调整我省旅客运输的运力结构，安徽省运管局于2月28日在合肥召开了营运客车类型划分及等级评定工作座谈会，全国17家主流客车生产企业安徽区域的销售负责人参加。     

交流牵引供电创新的保护和控制装置

为保证牵引供电系统的正常运行，需要高质量的保护和控制装置。为此，西门子公司运输部开发了新一代7ST6系列数字化接触网保护和控制装置，不仅能满足目前牵引供电系统的需要，也为未来技术发展预留了空间。7ST6系列保护装置适用于世界上主要牵引供电频率（16．7Hz、25Hz、50Hz和60Hz），具有远距离保护等功能，并具有大电流快速切断功能，能满足瑞士联邦铁路、